WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.85
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code false
--ignore-equiv-appends false
--ignore-standard-headers false
--ignore-string-equiv-fixes false
--ignore-untyped-returns false
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 0.35
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 76
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 7
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-184-50-208 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Sat Sep 21 13:32:25 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU E5-2650 0 @ 2.00GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp9b97db.c /tmp/tmp7409d4.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	p63: true (1)
	p64: true (1)
	p65: true (1)
	p66: true (1)
	p67: true (1)
	p68: true (1)
	p69: true (1)
	p70: true (1)
	p71: true (1)
	p72: true (1)
	p73: true (1)
	p74: true (1)
	p75: true (1)
	p76: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 15.6442)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 3440
cilRep: stmts in weighted_path = 972
cilRep: total weight = 340.2
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: tools/tiff2pdf.c (code bank/base file; atoms [1,3440])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.286807 MB)
search: initial population (sizeof one variant = 0.0204773 MB)
	  7 a(3162,728) 
	  7 d(761) 
	  7 d(839) 
	  7 r(2688,1872) 
	  7 d(1253) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000005/tools/tiff2pdf.c  r(2398,2372)  fails to compile
	  0 r(2398,2372) 
	  7 d(3126) 
	  7 d(2717) 
	  7 r(3129,3128) 
	  7 d(3139) 
	  7 a(2073,370) 
	  7 r(3102,3114) 
	  7 r(2091,2161) 
	  7 r(1275,1278) 
	  7 a(2512,370) 
	  7 d(3151) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000016/tools/tiff2pdf.c  r(938,3164)  fails to compile
	  0 r(938,3164) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000017/tools/tiff2pdf.c  r(728,2317)  fails to compile
	  0 r(728,2317) 
	  7 d(910) 
	  7 d(290) 
	  7 r(1558,1549) 
	  7 r(2177,2073) 
	  7 d(3021) 
	  7 r(2131,2077) 
	  7 a(789,2595) 
	  7 d(1276) 
	  7 d(2664) 
	  7 r(3142,3143) 
	  7 r(2666,2661) 
	  7 d(1182) 
	  7 r(1243,933) 
	  7 d(253) 
	  7 d(2189) 
	  7 a(2577,2545) 
	  7 r(3319,3436) 
	  7 a(2006,836) 
	  7 d(2704) 
	  7 d(948) 
	  7 r(800,3395) 
	  7 original
search: generation 1 (sizeof one variant = 0.287216 MB)
	  7 r(2688,1872) d(787) 
	  7 d(839) d(2049) 
	  7 a(789,2595) d(1304) 
	  7 d(2717) d(2236) 
	  7 r(1275,1278) d(1257) 
	  7 r(1275,1278) r(3397,3328) 
	  7 r(1275,1278) d(2514) 
	  7 r(1275,1278) r(3086,3095) 
	  7 r(2131,2077) d(2675) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000048/tools/tiff2pdf.c  d(839) r(1289,1875)  fails to compile
	  0 d(839) r(1289,1875) 
	  7 r(3319,3436) d(2666) 
	  7 a(789,2595) d(839) 
	  7 d(2664) r(3440,3390) 
	  7 d(1182) a(1274,278) 
	  7 d(290) r(1263,974) 
	  7 r(3142,3143) d(3416) 
	  7 d(1276) r(925,905) 
	  7 r(1243,933) r(2257,2233) 
	  7 d(839) a(3332,3397) 
	  7 r(2131,2077) a(2180,2224) 
	  7 d(839) d(903) 
	  7 r(2131,2077) d(2045) 
	  7 d(1253) d(2045) 
	  7 d(3139) r(3158,3125) 
	  7 d(1253) r(844,832) 
	  7 d(3139) d(897) 
	  7 a(2006,836) r(2371,2355) 
	  7 r(1558,1549) r(268,267) 
	  7 r(2666,2661) a(2049,1384) 
	  7 d(290) a(2194,3306) 
	  7 d(290) d(2162) 
	  7 a(789,2595) d(1268) 
	  7 d(3151) d(2381) 
	  7 d(290) r(3425,3405) 
	  7 d(3151) r(3113,3111) 
	  7 d(290) a(2255,1171) 
	  7 d(761) a(2328,1160) 
	  7 a(2512,370) d(2398) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000077/tools/tiff2pdf.c  d(761) r(271,1558)  fails to compile
	  0 d(761) r(271,1558) 
	  7 a(2512,370) d(2017) 
	  7 d(2704) a(759,3100) 
	  7 d(839) a(1877,2398) 
	  7 d(2704) a(745,3218) 
	  7 d(839) a(3410,3425) 
	  7 r(800,3395) r(2058,2054) 
	  7 r(2131,2077) a(2363,2344) 
	  7 r(800,3395) r(3422,3416) 
	  7 r(3319,3436) a(2330,2118) 
	  7 r(800,3395) d(3401) 
	  7 r(3319,3436) d(254) 
	  7 r(2131,2077) r(3422,3318) 
	  7 r(2091,2161) r(1538,1537) 
	  7 r(2131,2077) d(1305) 
	  7 r(2091,2161) r(898,842) 
	  7 d(2664) r(2297,2361) 
	  7 a(2512,370) d(1256) 
search: generation 2 (sizeof one variant = 0.288059 MB)
	  7 d(3151) d(2381) a(3332,3430) 
	  7 d(2717) d(2236) r(2809,2815) 
	  7 a(2512,370) a(2161,2160) 
	  7 d(3151) d(2381) d(1256) r(730,731) 
	  7 a(2512,370) d(1256) a(900,1391) 
	  7 d(3151) d(2381) a(2405,2527) 
	  7 d(1253) d(2045) r(825,822) 
	  7 d(839) a(3332,3397) d(1992) 
	  7 d(1253) d(2045) r(3306,1287) 
	  7 d(839) a(3332,3397) d(1248) 
	  7 a(789,2595) d(3332) 
	  7 a(2512,370) d(1256) d(839) r(3174,3167) 
	  7 a(789,2595) d(839) a(2729,877) 
	  7 a(2512,370) d(1256) r(2403,2508) 
	  7 d(839) a(3332,3397) d(2012) 
	  7 d(839) d(903) a(3337,2545) 
	  7 d(839) a(3332,3397) a(2140,3013) 
	  7 d(839) d(903) a(3106,3179) 
	  7 r(3142,3143) d(3416) d(3096) 
	  7 r(2131,2077) a(2363,2344) d(2578) 
	  7 r(2091,2161) r(898,842) d(911) 
	  7 r(800,3395) r(2058,2054) d(2727) 
	  7 r(2091,2161) r(898,842) r(3320,3339) 
	  7 r(800,3395) r(2058,2054) r(927,760) 
	  7 d(2704) a(2255,1171) r(2058,2065) 
	  7 d(290) a(745,3218) a(2405,1192) 
	  7 d(2704) a(745,3218) a(2169,1192) 
	  7 d(290) a(2255,1171) a(2091,3176) 
	  7 r(3319,3436) a(2330,2118) r(268,267) r(3328,3412) 
	  7 r(1558,1549) r(2027,2025) 
	  7 r(3319,3436) a(2330,2118) r(3438,3413) 
	  7 r(1558,1549) r(268,267) r(1265,1251) 
	  7 r(3319,3436) d(2666) r(1238,1246) 
	  7 d(2717) d(2236) d(2299) 
	  7 a(2512,370) d(2017) r(262,268) 
	  7 d(839) a(1877,2398) d(2056) 
	  7 d(2704) a(745,3218) r(2516,2525) 
	  7 r(2091,2161) r(1538,1537) r(2122,2186) 
	  7 r(2091,2161) a(2697,819) 
	  7 r(800,3395) d(3401) r(898,842) d(2023) 
	  7 r(2091,2161) r(898,842) r(2733,2725) 
	  7 r(800,3395) d(3401) a(2005,2005) 
	  7 r(3319,3436) r(378,2075) 
	  7 a(789,2595) d(1304) d(254) d(3264) 
	  7 r(3319,3436) d(254) d(3137) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000140/tools/tiff2pdf.c  a(789,2595) d(1304) r(271,3320)  fails to compile
	  0 a(789,2595) d(1304) r(271,3320) 
	  7 d(3139) d(897) a(2756,1384) 
	  7 r(3319,3436) d(254) r(3311,3337) 
	  7 a(2512,370) d(3082) 
	  7 r(1275,1278) r(3086,3095) d(2017) r(2351,2372) 
	  7 a(2512,370) d(2017) r(2235,2232) 
	  7 r(1275,1278) r(3086,3095) d(2372) 
	  7 d(3151) d(2381) d(764) 
	  7 r(1275,1278) r(3397,3328) d(2582) 
	  7 d(2717) d(2236) r(2172,2140) 
	  7 d(839) d(2049) r(2289,2356) 
	  7 d(2717) d(2236) d(2731) 
	  7 d(839) d(2049) r(1275,1160) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000153/tools/tiff2pdf.c  r(1275,1278) r(2130,287)  fails to compile
	  0 r(1275,1278) r(2130,287) 
	  7 r(1558,1549) r(268,267) d(1257) d(359) 
	  7 r(1275,1278) d(1257) d(3135) 
	  7 r(1558,1549) r(268,267) d(295) 
	  7 r(800,3395) d(3401) a(912,3218) 
	  7 r(3319,3436) d(2666) d(2074) 
	  7 r(800,3395) d(3401) a(3102,964) 
	  7 r(3319,3436) d(2666) d(2725) 
search: generation 3 (sizeof one variant = 0.288968 MB)
	  7 r(1275,1278) d(1257) d(3135) r(3387,3310) 
	  7 r(1275,1278) r(3086,3095) d(2372) a(2291,2339) 
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(925,927) 
	  7 d(290) d(2666) r(1238,1246) a(2008,2541) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) 
	  7 d(290) a(2255,1171) a(2091,3176) a(271,3180) 
	  7 r(3319,3436) r(378,2075) r(3138,3133) 
	  7 a(789,2595) d(839) a(2729,877) r(1536,1401) 
	  7 a(2512,370) d(1256) r(2403,2508) r(1271,1277) 
	  7 d(1253) d(2045) r(3306,1287) d(2068) 
	  7 d(3151) d(2381) a(2405,2527) a(3377,3326) 
	  7 d(2717) d(2236) d(2731) d(2387) 
	  7 d(290) a(745,3218) d(2731) a(2291,728) 
	  7 d(2717) d(2236) a(2405,1192) r(921,836) 
	  7 d(290) a(745,3218) a(2405,1192) r(3130,3161) 
	  7 d(2717) d(2236) d(2731) a(911,911) 
	  7 r(2091,2161) r(898,842) r(2733,2725) r(3336,3417) 
	  7 d(3151) d(2381) a(2405,2527) d(1402) 
	  7 d(839) r(898,842) r(2733,2725) d(3088) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) 
	  7 d(839) a(3332,3397) d(2012) d(2233) 
	  7 r(2091,2161) r(898,842) r(2733,2725) d(2235) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000183/tools/tiff2pdf.c  d(2704) r(378,2075) r(877,2135)  fails to compile
	  0 d(2704) r(378,2075) r(877,2135) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) 
	  7 d(2704) a(745,3218) a(2169,1192) r(3393,3365) 
	  7 r(3319,3436) r(378,2075) a(894,239) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000187/tools/tiff2pdf.c  r(800,3395) d(3401) r(898,842) d(2023) r(2545,3330)  fails to compile
	  0 r(800,3395) d(3401) r(898,842) d(2023) r(2545,3330) 
	  7 r(2091,2161) r(1538,1537) r(2122,2186) d(2032) 
	  7 d(839) d(903) a(3337,2545) d(3139) 
	  7 d(3151) d(2381) d(1256) r(730,731) r(256,258) 
	  7 d(1253) d(2045) r(3306,1287) d(874) 
	  7 a(2512,370) d(3082) d(739) 
	  7 r(800,3395) r(2058,2054) d(2727) a(737,948) 
	  7 r(2131,2077) a(2363,2344) d(2578) d(3135) 
	  7 r(800,3395) r(2058,2054) r(927,760) r(2372,2357) 
	  7 r(800,3395) r(2058,2054) r(927,760) d(2331) 
	  7 r(800,3395) r(2058,2054) r(927,760) d(2708) 
	  7 r(800,3395) r(2058,2054) r(927,760) r(975,1163) 
	  7 r(1558,1549) r(2027,2025) d(1281) 
	  7 r(800,3395) d(3401) r(898,842) d(2023) d(2294) 
	  7 d(839) a(3332,3397) d(2012) d(1257) d(3135) d(3394) 
	  7 r(1275,1278) d(2584) 
	  7 d(839) a(3332,3397) d(2012) d(275) 
	  7 r(1275,1278) d(1257) d(3135) d(868) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) 
	  7 r(800,3395) r(2058,2054) d(2727) d(3387) 
	  7 r(800,3395) d(3401) a(3102,964) r(2292,2290) 
	  7 r(3319,3436) d(2666) d(2074) a(2805,295) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(3339,3351) 
	  7 r(1275,1278) d(3416) d(3096) a(768,363) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) 
	  7 r(1275,1278) r(3397,3328) d(2582) d(788) 
	  7 d(2704) a(745,3218) r(3320,3339) a(3098,933) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000214/tools/tiff2pdf.c  r(2091,2161) r(898,842) a(2169,1192) r(2545,1244)  fails to compile
	  0 r(2091,2161) r(898,842) a(2169,1192) r(2545,1244) 
	  7 d(2704) a(745,3218) a(2169,1192) r(2371,2356) 
	  7 r(2091,2161) r(898,842) r(3320,3339) d(3434) 
search: generation 4 (sizeof one variant = 0.289772 MB)
	  7 d(2717) d(2236) d(2731) d(2387) a(242,2398) 
	  7 d(1253) d(2045) r(3306,1287) d(874) d(2667) 
	  7 r(800,3395) d(3401) r(898,842) d(2023) d(2294) d(3439) 
	  7 r(1558,1549) r(2027,2025) d(1281) a(1396,819) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(2676) 
	  7 r(800,3395) r(2058,2054) r(927,760) d(2708) d(283) 
	  7 r(1275,1278) r(3086,3095) d(2372) a(2291,2339) d(2373) 
	  7 d(2717) d(2236) d(2731) d(2387) r(3335,3357) 
	  7 d(839) a(3332,3397) d(2012) d(275) a(273,275) 
	  7 d(2717) d(2236) a(2405,1192) r(921,836) a(899,370) 
	  7 d(290) a(2255,1171) a(2091,3176) a(271,3180) r(1288,1278) 
	  7 r(800,3395) r(2058,2054) r(927,760) r(2372,2357) a(2343,2541) 
	  7 d(3151) d(2381) a(2405,2527) a(3377,3326) r(3137,3167) 
	  7 r(2091,2161) r(898,842) r(2733,2725) a(2169,1192) r(2722,2713) r(1257,1256) 
	  7 r(3319,3436) a(745,3218) d(2235) r(254,256) 
	  7 r(2091,2161) r(898,842) r(2733,2725) d(2235) a(1565,747) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) a(2162,819) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) r(2096,2099) 
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(925,927) d(2337) 
	  7 r(1558,1549) r(2027,2025) a(271,3180) d(1268) 
	  7 d(290) a(2255,1171) a(2091,3176) d(1281) r(3152,3166) 
	  7 r(1558,1549) r(2027,2025) d(1281) a(3403,3435) 
	  7 d(290) a(2255,1171) a(2091,3176) a(271,3180) d(3019) 
	  7 d(1253) d(2045) r(3306,1287) d(874) a(2359,3122) 
	  7 r(3319,3436) d(2666) d(2074) a(2805,295) d(1258) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) d(903) a(3337,2545) d(3139) r(238,236) 
	  7 d(839) r(2722,2713) d(1195) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(1273,1283) 
	  7 d(839) d(903) a(3337,2545) d(3139) a(3146,3163) 
	  7 r(1275,1278) d(3416) d(2582) d(788) r(2704,2700) 
	  7 r(1275,1278) r(3397,3328) d(3096) a(768,363) r(1271,1163) 
	  7 r(1275,1278) d(3416) d(3096) a(768,363) a(925,891) 
	  7 r(1275,1278) r(3397,3328) d(2582) d(788) d(2708) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(2233,2241) 
	  7 r(3319,3436) r(378,2075) r(3138,3133) d(2289) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) d(2586) 
	  7 r(3319,3436) r(378,2075) r(3138,3133) d(2689) 
	  7 r(3319,3436) r(378,2075) r(376,408) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) r(3138,3133) r(1280,1171) 
	  7 r(3319,3436) r(378,2075) r(3138,3133) a(1998,2086) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(738) 
	  7 d(290) a(2255,1171) a(2091,3176) a(271,3180) a(1289,1192) 
	  7 r(2091,2161) r(1538,1537) r(2122,2186) d(2032) r(2120,2161) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(2715,2720) r(2378,278) 
	  7 a(2512,370) d(2017) r(2235,2232) r(3339,3351) d(921) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(3339,3351) d(1265) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) 
	  7 r(3319,3436) d(2666) d(2074) a(2805,295) a(1161,1302) 
	  7 d(839) r(898,842) r(2733,2725) d(3088) r(2811,2809) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(921,836) a(3374,3415) 
	  7 d(2717) d(2236) a(2405,1192) r(2169,3427) d(2405) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(743,749) 
	  7 d(2717) d(2236) a(2405,1192) r(921,836) d(2005) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) r(1536,1401) a(755,1192) 
	  7 a(789,2595) d(839) a(2729,877) d(3391) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) 
	  7 a(789,2595) d(839) a(2729,877) r(1536,1401) r(2130,1256) 
search: generation 5 (sizeof one variant = 0.289856 MB)
	  7 d(839) a(3332,3397) d(2012) d(275) a(273,275) a(277,3176) 
	  7 r(1275,1278) d(3416) d(2582) d(788) r(2704,2700) a(3148,789) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) 
	  7 d(1253) d(2045) r(3306,1287) d(874) a(2359,3122) r(2001,2003) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) d(2586) r(1537,1540) 
	  7 d(839) r(898,842) r(2733,2725) r(2668,2669) a(2700,2718) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) d(3088) r(2811,2809) r(3380,3319) 
	  7 d(839) r(898,842) r(2733,2725) d(3088) r(2811,2809) r(3405,3341) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) d(907) 
	  7 r(1558,1549) r(2027,2025) d(1281) a(1396,819) d(2175) 
	  7 r(800,3395) d(3401) r(898,842) d(2023) d(2294) d(3439) a(3403,1227) 
	  7 r(3319,3436) a(745,3218) d(2235) r(254,256) a(2038,2223) 
	  7 d(839) r(2722,2713) d(1195) r(2160,3164) 
	  7 r(3142,3143) a(3403,3435) d(2008) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3416) d(3096) d(2666) r(2668,2669) d(3393) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) r(362,401) 
	  7 r(1558,1549) r(2027,2025) d(1281) a(3403,3435) a(766,2804) 
	  7 r(1558,1549) a(3337,2545) d(3139) a(3146,3163) r(820,917) 
	  7 d(839) d(903) r(2027,2025) d(1281) a(3403,3435) r(3430,3425) 
	  7 r(1558,1549) r(2027,2025) d(1281) a(3403,3435) d(1227) 
	  7 d(839) d(903) a(3337,2545) d(3139) a(3146,3163) d(2229) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) d(2387) a(242,2398) d(2222) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) d(403) 
	  7 d(2717) d(2236) d(2731) d(2387) a(242,2398) d(3335) 
	  7 r(1275,1278) d(3416) d(3096) a(768,363) a(925,891) a(3403,3435) d(1535) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) 
	  7 r(1275,1278) d(3416) d(3096) a(768,363) a(925,891) a(2017,1778) 
	  7 r(1558,1549) r(2027,2025) d(1281) a(3403,3435) a(2522,3264) 
	  7 r(1275,1278) d(3416) d(2582) d(788) r(2235,2232) r(3339,3351) d(921) r(1182,3392) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) 
	  7 r(1275,1278) d(3416) d(2582) d(788) r(2704,2700) r(3345,3332) 
	  7 a(2512,370) d(2017) r(2235,2232) r(3339,3351) d(921) r(2252,2233) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) 
	  7 d(290) a(2255,1171) a(2091,3176) a(271,3180) r(1288,1278) d(927) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) d(2012) d(927) r(1536,1401) a(755,1192) d(1266) 
	  7 r(2091,2161) a(3332,3397) r(1273,1283) r(1245,1279) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(1273,1283) d(3323) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) r(1536,1401) a(755,1192) d(259) 
	  7 d(2717) d(2236) a(2405,1192) r(921,836) d(2005) d(1528) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(2676) r(2591,2588) 
	  7 r(3142,3143) r(3397,3328) d(2582) d(3439) a(2533,3013) 
	  7 r(800,3395) d(3401) r(898,842) d(2023) d(2294) r(2715,2720) r(2378,278) r(1998,2002) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(2715,2720) r(2378,278) d(856) 
	  7 r(800,3395) d(3401) r(898,842) d(2023) d(2294) d(3439) d(855) 
	  7 r(3319,3436) d(2582) 
	  7 a(789,2595) d(839) a(2729,877) d(3391) r(378,2075) r(376,408) r(3114,3104) 
	  7 r(3319,3436) r(378,2075) r(376,408) d(2179) 
	  7 a(789,2595) d(839) a(2729,877) d(3391) a(2136,2541) 
	  7 r(3319,3436) a(745,3218) a(1559,1539) 
	  7 r(800,3395) r(2058,2054) r(927,760) d(2708) d(283) d(2235) r(254,256) r(757,747) 
	  7 r(3319,3436) a(745,3218) d(2235) r(254,256) d(1253) 
	  7 r(800,3395) r(2058,2054) r(927,760) d(2708) d(283) d(2346) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) 
	  7 a(789,2595) d(839) a(2729,877) d(3391) d(1308) 
	  7 r(1558,1549) r(2027,2025) a(271,3180) d(1268) d(2235) r(254,256) d(2525) 
	  7 r(3319,3436) a(745,3218) a(2030,286) 
	  7 r(1558,1549) r(2027,2025) a(271,3180) d(1268) r(3339,3350) 
	  7 r(3319,3436) a(745,3218) d(2235) r(254,256) d(279) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) r(1536,1401) a(755,1192) d(3391) d(254) 
	  7 a(789,2595) d(839) a(2729,877) a(794,895) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) r(1536,1401) a(755,1192) d(877) 
	  7 a(789,2595) d(839) a(2729,877) d(3391) d(2731) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) 
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(3339,3351) d(1265) r(3411,3401) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(3339,3351) d(1265) a(2713,2725) 
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(925,927) d(2337) a(3349,2756) 
search: generation 6 (sizeof one variant = 0.291235 MB)
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) r(1536,1401) a(755,1192) d(259) d(2170) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(1267) 
	  7 d(839) r(2722,2713) d(1195) r(2160,3164) a(3434,3426) 
	  7 r(3142,3143) r(3397,3328) d(2582) d(3439) r(2237,2248) r(2187,2119) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) a(2533,3013) r(3153,3171) 
	  7 r(3142,3143) r(3397,3328) d(2582) d(3439) a(2533,3013) r(3357,3436) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(835) 
	  7 r(3142,3143) d(3416) d(907) r(288,283) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) d(3096) d(2666) r(2668,2669) d(907) d(3151) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) d(907) r(3409,3394) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) d(907) r(389,400) 
	  7 d(839) r(898,842) r(2733,2725) d(3088) r(2811,2809) r(3405,3341) d(1234) 
	  7 d(839) d(903) a(3337,2545) d(3139) a(3146,3163) d(2229) a(3411,239) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) r(1273,1283) r(1245,1279) d(2302) 
	  7 r(2091,2161) a(3332,3397) r(2813,2808) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(977) 
	  7 r(2091,2161) a(3332,3397) r(1273,1283) r(1245,1279) r(3050,3114) 
	  7 a(789,2595) d(839) a(2729,877) d(3391) d(2731) r(2188,2186) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(1273,1283) d(3323) r(2304,2375) 
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(925,927) d(2337) a(3349,2756) a(1275,271) 
	  7 r(1558,1549) r(2027,2025) d(1281) a(3403,3435) a(766,2804) r(3346,3315) 
	  7 r(3319,3436) a(745,3218) d(2235) r(254,256) a(3146,3163) r(820,917) r(768,378) 
	  7 r(1558,1549) a(3337,2545) d(3139) a(2038,2223) a(285,2053) 
	  7 r(3319,3436) a(745,3218) d(2235) r(254,256) a(2038,2223) a(3020,2199) 
	  7 r(1558,1549) a(3337,2545) d(3139) a(3146,3163) r(820,917) r(2037,2039) 
	  7 d(1253) d(2045) a(745,3218) d(2235) r(254,256) a(2038,2223) d(3322) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) r(285,283) 
	  7 r(3319,3436) a(745,3218) d(2235) r(254,256) a(2038,2223) d(3387) 
	  7 d(839) r(898,842) r(2733,2725) d(3088) r(2811,2809) r(3405,3341) a(288,747) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) d(403) a(923,789) 
	  7 r(3319,3436) d(2582) r(766,755) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) r(2056,2066) 
	  7 r(3319,3436) d(2582) d(2593) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) d(3088) r(2811,2809) r(3380,3319) d(1305) 
	  7 a(789,2595) d(839) a(2729,877) a(794,895) r(2345,2357) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) r(1536,1401) a(755,1192) d(259) a(3394,3391) 
	  7 a(789,2595) d(839) a(2729,877) d(3391) a(2136,2541) d(905) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) d(2387) a(242,2398) d(2222) a(758,2053) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2732) 
	  7 r(800,3395) d(3401) r(898,842) r(2715,2720) d(3333) r(2161,2188) r(237,236) 
	  7 a(2512,370) d(2017) r(2235,2232) d(2023) d(2294) d(3439) a(3403,1227) a(834,2199) 
	  7 r(800,3395) d(3401) r(898,842) d(2023) d(2294) d(3439) a(3403,1227) a(408,397) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) 
	  7 r(3319,3436) a(745,3218) r(3306,1287) d(874) a(2359,3122) d(2067) r(2811,2737) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) a(2030,286) r(2197,2199) 
	  7 r(3319,3436) a(745,3218) a(2030,286) a(2172,2223) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) a(2342,2343) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) d(907) a(1194,874) 
	  7 r(3319,3436) d(2666) d(2593) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) a(3105,2804) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) a(2303,2771) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) d(2659) 
	  7 r(3142,3143) r(287,285) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) r(766,758) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(3352) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) d(1281) 
search: generation 7 (sizeof one variant = 0.292042 MB)
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(925,927) d(2337) a(3349,2756) a(1275,271) r(1872,1876) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) d(907) r(3409,3394) r(1249,1259) 
	  7 r(800,3395) d(3401) r(898,842) d(2023) d(2294) d(3439) a(3403,1227) a(408,397) d(2183) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) r(285,283) r(3382,3374) 
	  7 a(789,2595) d(839) a(2729,877) a(794,895) r(2345,2357) r(1256,1277) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000410/tools/tiff2pdf.c  r(1558,1549) a(3337,2545) d(3139) a(2038,2223) a(285,2053) a(835,2689)  fails to compile
	  0 r(1558,1549) a(3337,2545) d(3139) a(2038,2223) a(285,2053) a(835,2689) 
	  7 r(3142,3143) d(3416) d(3096) d(2666) r(2668,2669) d(907) r(3409,3394) d(2073) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) r(285,283) d(768) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(3404,3306) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) r(1273,1283) d(3323) r(2304,2375) a(375,2402) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(1273,1283) d(3323) r(2304,2375) d(3437) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(3440) 
	  7 r(3319,3436) r(2220,2221) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(2715) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(281) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) a(3105,2804) r(3307,3346) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) r(2516,2527) 
	  7 r(3319,3436) a(745,3218) d(2235) r(254,256) a(3146,3163) r(820,917) r(768,378) r(2237,2254) 
	  7 r(800,3395) d(3401) r(898,842) r(2715,2720) d(3333) r(2161,2188) r(237,236) r(921,901) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) a(2296,1227) d(3109) 
	  7 r(3319,3436) d(2586) r(1999,2006) r(766,758) a(948,1391) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) r(766,758) d(3159) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(1556) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(835) r(2666,2668) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) a(2030,286) r(2197,2199) d(2029) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) a(2199,787) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(3352) d(917) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(906,921) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) r(1288,1278) d(297) d(912) d(2360) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) d(2662) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(3405) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000438/tools/tiff2pdf.c  d(1253) d(2045) r(2199,2253)  fails to compile
	  0 d(1253) d(2045) r(2199,2253) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) r(3404,3349) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) r(285,283) d(2689) 
	  7 r(3319,3436) d(2582) d(3333) r(2161,2188) d(2533) d(1869) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) r(766,755) r(2660,2659) 
	  7 r(3319,3436) d(2582) r(766,755) r(2403,2525) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) d(288) 
	  7 r(1558,1549) a(3337,2545) d(2067) d(2732) r(409,406) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(3139) a(2038,2223) a(285,2053) r(2162,2090) 
	  7 r(1558,1549) a(3337,2545) d(3139) a(2038,2223) a(285,2053) d(2220) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2732) a(2004,2169) 
	  7 r(3142,3143) d(3416) d(907) r(288,283) d(2533) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(3352) d(907) 
	  7 r(1558,1549) r(2027,2025) a(1403,2224) 
	  7 r(3319,3436) d(2582) r(766,755) d(1281) d(3142) d(2659) a(823,1391) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) d(2659) a(914,2199) 
	  7 r(3319,3436) d(2582) r(766,755) r(1875,1873) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) r(285,283) d(2387) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) 
	  7 r(2091,2161) a(3332,3397) r(287,285) d(1307) 
	  7 r(3142,3143) d(2012) d(927) a(3389,3306) d(403) a(923,789) d(1250) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) d(403) a(923,789) r(2528,2518) 
	  7 r(3142,3143) r(287,285) d(398) 
	  7 d(839) r(2722,2713) d(1195) r(2160,3164) d(874) a(2359,3122) d(2067) d(2732) a(2368,2354) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) a(3434,3426) d(2728) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000463/tools/tiff2pdf.c  d(839) r(2722,2713) d(1195) r(2160,3164) a(3434,3426) r(370,2298)  fails to compile
	  0 d(839) r(2722,2713) d(1195) r(2160,3164) a(3434,3426) r(370,2298) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2732) r(2508,2518) 
search: generation 8 (sizeof one variant = 0.292769 MB)
	  7 d(1253) d(2045) d(2586) d(2067) d(2356) d(738) d(2811) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) r(1999,2006) r(285,283) r(3382,3374) r(3364,3347) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) r(285,283) r(3382,3374) d(3425) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) a(3306,1234) 
	  7 r(1558,1549) a(3337,2545) d(2067) d(2732) r(409,406) a(1539,1399) 
	  7 r(3319,3436) r(2220,2221) r(2015,2014) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) d(912) d(2662) a(1536,933) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) a(2359,3122) d(2067) d(2356) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) r(1273,1283) d(3323) r(2304,2375) a(375,2402) a(2296,361) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) d(2662) a(2046,1302) 
	  7 r(1558,1549) a(3337,2545) d(3139) a(2038,2223) a(285,2053) d(2220) r(1553,1396) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(1273,1283) d(3323) r(2304,2375) d(3437) r(2006,1998) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) d(738) a(3131,290) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(288) d(2241) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) d(288) d(2250) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000481/tools/tiff2pdf.c  a(2512,370) d(3405) a(835,2771)  fails to compile
	  0 a(2512,370) d(3405) a(835,2771) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) r(2171,2090) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(3405) d(3154) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) r(766,758) d(3159) a(3384,3384) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) r(1172,1280) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) a(263,1217) 
	  7 r(3319,3436) d(2582) r(766,755) r(2403,2525) d(254) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) d(288) d(2765) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(3139) a(2038,2223) a(285,2053) r(2162,2090) d(1401) 
	  7 r(3319,3436) d(2666) r(1999,2006) r(285,283) d(2689) d(3425) 
	  7 d(1253) d(2045) d(2586) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(2715) d(3384) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(2715) r(1304,1306) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) r(285,283) d(2689) d(1253) 
	  7 r(2091,2161) a(3332,3397) r(287,285) d(1307) r(766,758) d(3159) d(2195) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(728) 
	  7 r(2091,2161) a(3332,3397) r(287,285) d(1307) d(1554) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) r(766,758) d(3159) r(2334,2295) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) a(3105,2804) r(3307,3346) d(1288) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(835) r(2666,2668) a(2379,747) 
	  7 r(3319,3436) d(2666) a(2091,3176) r(925,927) d(2337) a(3349,2756) a(1275,271) r(1872,1876) d(3022) 
	  7 r(3319,3436) a(2255,1171) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2732) a(2004,2169) a(759,789) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2732) a(2004,2169) r(2131,2087) 
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(925,927) d(2337) a(3349,2756) a(1275,271) r(1872,1876) d(2699) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(3440) r(3368,3413) 
	  7 a(789,2595) d(839) a(2729,877) a(794,895) r(2345,2357) r(1256,1277) d(2044) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) r(2715,2720) d(3333) r(2161,2188) d(2533) d(288) d(2527) 
	  7 a(2512,370) d(2017) r(2235,2232) d(874) a(2359,3122) d(2067) d(2732) r(2508,2518) r(3418,3438) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2732) r(2508,2518) a(3394,1391) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000510/tools/tiff2pdf.c  a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) d(288) r(1204,3021)  fails to compile
	  0 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) d(288) r(1204,3021) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) d(403) a(1562,1769) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) d(1276) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) d(403) a(923,789) r(2528,2518) d(832) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(906,921) r(3345,3333) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) a(2296,1227) d(3109) d(3015) 
	  7 r(3142,3143) r(287,285) d(398) d(2345) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(1556) a(731,732) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(3352) d(907) a(3016,2224) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(3404,3306) d(2371) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) r(3404,3306) r(3433,3423) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) a(2199,787) d(3124) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) a(2199,787) r(3356,3397) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(3404,3306) r(2815,2817) 
search: generation 9 (sizeof one variant = 0.29207 MB)
	  7 r(3319,3436) d(2582) a(3332,3397) r(287,285) d(1307) r(766,758) d(3159) d(2195) r(2019,2018) 
	  7 r(2091,2161) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) a(3126,2765) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) d(1403) 
	  7 r(2091,2161) a(3332,3397) r(287,285) d(1307) r(766,758) d(3159) d(2195) d(2227) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(3404,3306) r(2815,2817) d(2506) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2732) r(2508,2518) a(3394,1391) r(2289,2337) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) a(2359,3122) d(2067) d(2356) r(2027,2029) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(3405) d(3154) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) r(2180,2177) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) a(2359,3122) d(2067) d(2356) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) d(3400) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(3405) d(3154) d(948) 
	  7 r(3319,3436) d(2337) d(1868) d(3352) d(907) a(3016,2224) a(2182,2378) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2666) a(2091,3176) a(271,3180) r(906,921) r(3345,3333) d(2005) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(906,921) r(3345,3333) d(3316) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(3352) d(907) a(3016,2224) r(2252,2255) 
	  7 r(3319,3436) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) r(2092,2132) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(2582) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) r(3132,3145) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) a(3309,3437) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) d(2024) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) a(2199,787) r(2722,2713) r(1273,1283) d(3323) r(2304,2375) d(3437) r(2006,1998) d(2057) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) d(3124) a(2381,891) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) a(2199,787) d(3124) d(3366) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(1273,1283) d(3323) r(2304,2375) d(3437) r(2006,1998) r(1271,1281) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(835) r(2666,2668) a(2379,747) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) d(3366) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) a(2359,3122) d(2067) d(2356) d(3096) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(835) r(2666,2668) a(2379,747) r(2137,2141) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) a(2359,3122) d(2067) d(2356) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) r(2705,2692) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) d(2662) a(2046,1302) a(271,3180) r(1288,1278) d(297) d(912) d(2662) a(2046,1302) r(1998,2007) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(734,974) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) d(2662) a(2046,1302) a(269,1384) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) d(2662) a(2046,1302) a(1246,3180) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) r(2171,2090) r(3150,3160) 
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(925,927) d(2337) a(3349,2756) a(1275,271) r(1872,1876) d(2699) d(2771) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(3404,3306) d(2371) a(1304,794) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(1273,1283) d(3323) r(2304,2375) d(3437) r(2006,1998) r(2055,2061) 
	  7 r(3319,3436) d(2582) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) a(3020,1171) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) d(3122) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) r(1254,1258) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) r(1263,1192) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) a(2199,787) r(3356,3397) r(2355,2347) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) d(288) d(2765) a(1172,1227) 
	  7 r(3319,3436) d(2666) r(1999,2006) r(285,283) d(2689) d(3425) d(2356) d(738) d(3392) r(2058,2065) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2587) 
	  7 r(3319,3436) d(2666) r(1999,2006) r(285,283) d(2689) d(3425) d(2231) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) a(2059,2067) 
	  7 a(2512,370) r(3171,3154) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(3440) r(3368,3413) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) a(2199,787) r(3356,3397) a(266,1769) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) a(2199,787) r(3356,3397) a(2328,1160) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(3440) r(3368,3413) r(3400,3355) 
	  7 r(2091,2161) a(3332,3397) d(2012) d(927) a(3389,3306) d(403) a(923,789) r(2528,2518) d(832) d(3345) 
	  7 r(3142,3143) r(287,285) d(398) d(2345) d(2024) 
	  7 d(2717) d(2236) d(1288) r(2294,2345) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) a(3105,2804) r(3307,3346) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) r(766,758) d(3159) a(3384,3384) r(2074,2099) 
	  7 d(2717) d(2236) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) r(766,758) d(3159) a(3384,3384) d(2329) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) a(3105,2804) r(3307,3346) d(1288) r(2585,2580) 
	  7 r(3319,3436) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) d(897) 
	  7 a(2512,370) d(2017) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) d(912) d(2662) a(1536,933) r(761,741) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) d(912) d(2662) a(1536,933) d(2040) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) r(3164,3169) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) a(2366,3180) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000584/tools/tiff2pdf.c  r(3319,3436) r(2220,2221) r(2015,2014) r(1234,1539)  fails to compile
	  0 r(3319,3436) r(2220,2221) r(2015,2014) r(1234,1539) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) d(2373) 
	  7 r(3319,3436) r(2220,2221) r(2015,2014) d(2532) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) a(3159,891) 
	  7 d(1253) d(2045) d(2586) r(1999,2006) r(285,283) d(2689) d(1253) a(3108,943) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(1556) a(731,732) d(743) 
	  7 r(3319,3436) d(2666) r(1999,2006) r(285,283) d(2689) d(3425) d(1399) 
search: generation 10 (sizeof one variant = 0.294032 MB)
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) a(2068,2176) d(2024) d(3311) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) d(297) a(2359,3122) d(2067) d(2356) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) r(2705,2692) a(2700,3241) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) a(2359,3122) d(2067) d(2356) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) r(2705,2692) d(277) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) d(2024) r(387,401) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) d(2024) a(2254,380) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) a(2059,2067) r(2071,2093) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) a(2199,787) r(3356,3397) r(2355,2347) a(1255,1245) 
	  7 a(2512,370) r(3171,3154) d(3264) 
	  7 a(2512,370) r(3171,3154) r(906,909) 
	  7 a(2512,370) d(2017) r(2235,2232) r(2715,2720) d(3333) r(2161,2188) d(2533) a(2199,787) r(3356,3397) r(2355,2347) r(2505,2530) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(3440) r(3368,3413) r(3400,3355) a(2580,927) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) a(3105,2804) r(3307,3346) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) r(766,758) d(3159) a(3384,3384) r(2074,2099) d(2034) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) d(2666) r(1999,2006) r(285,283) d(2689) d(3425) d(1399) a(1544,1402) 
	  7 r(3319,3436) a(2068,2176) a(2366,3180) d(1195) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) a(2366,3180) r(2304,2343) 
	  7 r(3319,3436) d(2666) r(1999,2006) r(285,283) d(2689) d(3425) d(1399) r(964,764) 
	  7 r(3319,3436) a(2255,1171) a(2091,3176) r(925,927) d(2337) a(3349,2756) a(1275,271) r(1872,1876) d(2699) d(2771) d(2315) 
	  7 d(2717) d(2236) d(1288) r(2294,2345) d(748) 
	  7 r(3319,3436) r(3171,3154) r(3138,3145) 
	  7 a(2512,370) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) r(2092,2132) r(3050,2386) 
	  7 r(3319,3436) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) r(2092,2132) d(2587) 
	  7 a(2512,370) r(3171,3154) d(1864) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000613/tools/tiff2pdf.c  r(3319,3436) d(2582) r(2169,3427) r(3306,1287) d(874) r(1217,259)  fails to compile
	  0 r(3319,3436) d(2582) r(2169,3427) r(3306,1287) d(874) r(1217,259) 
	  7 r(3142,3143) r(287,285) d(398) d(2345) d(2024) a(2359,3122) d(2067) d(2356) d(738) d(3392) a(3020,1171) a(2315,1171) 
	  7 r(3319,3436) d(2582) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) a(3020,1171) a(3118,2315) 
	  7 r(3142,3143) r(287,285) d(398) d(2345) d(2024) a(2575,2765) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) a(2199,787) d(3124) r(2528,2518) d(2589) a(3126,2765) d(2024) 
	  7 r(2091,2161) r(766,755) d(761) a(923,789) d(3366) a(759,3306) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) a(2199,787) d(3124) d(3366) d(2591) 
	  7 r(2091,2161) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) a(3126,2765) d(731) 
	  7 r(3319,3436) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) r(2092,2132) a(3361,974) 
	  7 r(1558,1549) r(2027,2025) d(1281) d(3142) r(1238,1246) r(921,836) a(3374,3415) r(2344,2359) a(3105,2804) r(3307,3346) d(2731) r(2254,2241) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) r(766,758) d(3159) a(3384,3384) r(2074,2099) d(1265) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(3352) d(907) a(3016,2224) r(2252,2255) a(3413,1192) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(3352) d(907) a(3016,2224) r(2252,2255) d(2067) 
	  7 r(3319,3436) d(2582) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) a(3020,1171) a(3392,3378) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) d(912) d(2662) a(1536,933) d(2040) r(398,393) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) d(2662) a(2046,1302) a(269,1384) r(253,259) 
	  7 r(3319,3436) d(2582) a(3332,3397) r(287,285) d(1307) r(766,758) d(3159) d(2195) r(2019,2018) a(808,2765) 
	  7 r(3319,3436) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) d(897) d(2804) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) r(1254,1258) r(2061,2067) 
	  7 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) r(1263,1192) d(2067) 
	  7 r(3319,3436) d(2586) r(1999,2006) d(912) d(2662) a(2046,1302) a(1246,3180) a(821,3176) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000633/tools/tiff2pdf.c  r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) d(2662) a(2046,1302) a(1246,3180) r(877,2026)  fails to compile
	  0 r(3319,3436) d(2666) a(2091,3176) a(271,3180) r(1288,1278) d(297) d(912) d(2662) a(2046,1302) a(1246,3180) r(877,2026) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(738) d(3392) r(1263,1192) r(2019,2016) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) d(1403) r(2666,2668) a(2379,747) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) d(3366) r(405,295) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(835) r(1279,1252) 
	  7 r(3319,3436) d(2582) r(766,755) d(761) a(923,789) r(2528,2518) d(2589) d(1403) r(2234,2256) 
	  7 d(290) a(2255,1171) r(1238,1246) r(921,836) a(3374,3415) r(2237,2248) d(835) r(2666,2668) a(2379,747) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) d(3366) a(2593,799) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(3405) d(3154) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) d(2024) d(842) 
	  7 r(3142,3143) r(287,285) d(398) d(2345) r(2180,2177) d(737) 
	  7 r(3319,3436) d(2586) r(1999,2006) a(2296,1227) d(3405) d(3154) r(1273,1283) d(3323) r(2304,2375) a(375,2402) r(3142,3140) r(2180,2177) r(2238,2239) 
	  7 r(3142,3143) r(287,285) d(398) d(2345) d(2024) r(3323,3378) 
	  7 a(2512,370) d(2017) r(2704,2700) r(1996,1995) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) r(3164,3169) r(3107,3103) 
	  7 r(3319,3436) d(2582) a(3332,3397) r(287,285) d(1307) r(766,758) d(3159) d(2195) r(2019,2018) d(1259) 
	  7 r(3142,3143) r(3397,3328) d(2582) r(925,927) d(2337) d(1868) d(3352) d(907) a(3016,2224) r(2252,2255) r(2337,2331) 
	  7 r(3319,3436) a(745,3218) a(2169,1192) r(2722,2713) r(1273,1283) d(3323) r(2304,2375) d(3437) r(2006,1998) r(2055,2061) d(2726) 
	  7 r(3319,3436) d(3394) d(2586) r(1999,2006) r(285,283) r(2162,2181) a(2068,2176) r(2092,2132) a(3174,3170) 
	  7 r(3319,3436) d(2666) r(1238,1246) r(2169,3427) r(3306,1287) d(874) a(2359,3122) d(2067) d(2356) d(3440) r(3368,3413) r(3400,3355) d(287) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 5192
"Test Suite Evaluations": 67.4286

Compile Failures: 18
Wall-Clock Seconds Elapsed: 3190.91
  Activity Name                     Count Seconds = Percent of Total Time
  test                               5125 1358.866 = 49.152%
  compile                             650 1405.564 = 50.8411%
  TOTAL                                   2764.622 = 86.6404% (avg CPU usage)
libtiff-bug-2010-06-30-1563270-1136bdf.tar.gz
Sat Sep 21 14:25:38 EDT 2013
shutting down
