Default timeout (10) is now good for sancov
Default timeout (10) is now good for sancov

riusksk/riufuzz,riusksk/riufuzz,riusksk/riufuzz,google/honggfuzz,anestisb/honggfuzz,riusksk/riufuzz,riusksk/riufuzz,riusksk/riufuzz,riusksk/riufuzz,google/honggfuzz,google/honggfuzz