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 1
--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-178-25-229 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:22 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/tmp7ddabb.c /tmp/tmpcf9f22.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 = 17.2587)
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.0204754 MB)
	  7 r(3411,3376) 
	  7 r(728,3241) 
	  7 r(844,842) 
	  7 r(3169,3149) 
	  7 d(2003) 
	  7 r(3162,3167) 
	  7 d(2135) 
	  7 r(3354,3390) 
	  7 r(1263,1280) 
	  7 a(3380,1192) 
	  7 a(2575,2765) 
	  7 d(3413) 
	  7 r(2728,2708) 
	  7 d(3110) 
	  7 d(1778) 
	  7 d(2662) 
	  7 a(2058,3306) 
	  7 r(3391,3343) 
	  7 d(2723) 
	  7 r(1257,1289) 
	  7 d(3117) 
	  7 r(2593,2594) 
	  7 d(1261) 
	  7 a(925,1300) 
	  7 r(2173,2090) 
	  7 r(3334,3409) 
	  7 d(2758) 
	  7 a(2712,1391) 
	  7 d(1276) 
	  7 r(2711,2700) 
	  7 d(2181) 
	  7 a(3439,1227) 
	  7 d(3328) 
	  7 r(2659,2661) 
	  7 d(1240) 
	  7 r(1280,1161) 
	  7 r(3379,3346) 
	  7 a(1393,1544) 
	  7 d(2337) 
	  7 original
search: generation 1 (sizeof one variant = 0.287255 MB)
	  7 d(2723) d(3110) 
	  7 a(2058,3306) a(3349,3328) 
	  7 d(2723) a(1300,1192) 
	  7 a(2058,3306) r(1874,1875) 
	  7 d(2758) r(277,278) 
	  7 r(728,3241) a(3351,3366) 
	  7 d(2758) a(391,842) 
	  7 r(728,3241) d(2528) 
	  7 d(2723) d(1161) 
	  7 r(844,842) d(3405) 
	  7 d(2723) d(3165) 
	  7 r(844,842) r(2317,2348) 
	  7 r(2728,2708) d(920) 
	  7 a(3380,1192) a(2120,1300) 
	  7 a(2575,2765) d(3171) 
	  7 d(2337) d(909) 
	  7 d(1778) a(2223,2224) 
	  7 d(2135) d(239) 
	  7 r(3354,3390) r(3128,3146) 
	  7 d(2723) a(1872,948) 
	  7 a(2058,3306) d(3218) 
	  7 r(2659,2661) r(2087,2070) 
	  7 a(2058,3306) r(2040,2037) 
	  7 r(2659,2661) d(1551) 
	  7 a(2575,2765) r(2027,2031) 
	  7 d(3110) d(2805) 
	  7 a(1393,1544) r(1539,1546) 
	  7 d(2758) r(911,824) 
	  7 a(1393,1544) r(2093,2172) 
	  7 d(2758) a(1554,1540) 
	  7 r(728,3241) a(3097,927) 
	  7 d(3328) a(3350,794) 
	  7 r(728,3241) d(1554) 
	  7 d(3328) r(743,759) 
	  7 a(2575,2765) r(3426,3367) 
	  7 d(1240) a(2040,2223) 
	  7 d(3117) a(3020,877) 
	  7 d(3328) a(3134,3180) 
	  7 d(1778) r(3085,3086) 
	  7 d(3110) d(1264) 
	  7 d(1276) r(3404,3319) 
	  7 d(3110) d(2393) 
	  7 a(925,1300) r(2386,2392) 
	  7 d(2723) r(3375,3381) 
	  7 a(925,1300) r(2032,2022) 
	  7 d(2723) a(2508,2508) 
	  7 d(3110) a(3316,819) 
	  7 r(1263,1280) d(3438) 
	  7 a(2575,2765) r(3171,3165) 
	  7 d(2337) d(2002) 
	  7 a(2575,2765) d(907) 
	  7 d(2337) d(1996) 
	  7 d(1261) r(3417,3334) 
	  7 d(1261) r(287,289) 
	  7 d(1261) a(760,766) 
	  7 d(1261) d(2506) 
	  7 d(1276) d(2013) 
	  7 a(3380,1192) r(3346,3377) 
search: generation 2 (sizeof one variant = 0.288019 MB)
	  7 d(3328) r(743,759) d(2528) a(2710,787) 
	  7 r(728,3241) a(2317,2338) 
	  7 d(3328) r(743,759) d(2227) 
	  7 r(728,3241) d(2528) d(1995) 
	  7 a(2575,2765) d(907) r(2118,747) 
	  7 d(3110) d(1264) d(891) 
	  7 d(1261) d(1996) d(1871) 
	  7 d(2337) r(3417,3334) d(1302) 
	  7 d(1261) r(3417,3334) r(3311,3354) 
	  7 d(2337) d(1996) r(2362,2304) 
	  7 d(2723) d(1161) d(3388) 
	  7 r(3354,3390) r(3128,3146) d(2304) 
	  7 a(2575,2765) d(1554) a(3362,3378) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000110/tools/tiff2pdf.c  r(728,3241) d(907) r(891,268)  fails to compile
	  0 r(728,3241) d(907) r(891,268) 
	  7 a(2575,2765) d(907) d(912) 
	  7 r(728,3241) d(1554) d(2250) 
	  7 d(3110) d(2661) 
	  7 a(925,1300) r(2032,2022) d(2805) a(2037,2039) 
	  7 d(3110) d(2805) r(3163,3145) 
	  7 a(925,1300) r(2032,2022) r(2258,2229) 
	  7 d(1276) a(3134,3180) d(2525) 
	  7 d(3328) r(3404,3319) d(2589) 
	  7 d(1276) r(3404,3319) a(749,2223) 
	  7 d(3328) a(3134,3180) r(2716,2721) 
	  7 a(2575,2765) d(3171) d(2393) a(1964,1997) 
	  7 d(3110) d(1994) 
	  7 a(2575,2765) d(3171) a(2513,2737) 
	  7 d(3110) d(2393) d(3438) 
	  7 d(2337) d(2002) r(2064,2066) 
	  7 d(2337) d(1996) d(2162) 
	  7 a(2575,2765) d(907) r(2367,2353) 
	  7 a(2575,2765) d(3171) a(912,1204) 
	  7 d(1261) r(287,289) a(908,239) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) 
	  7 d(3117) a(3020,877) d(2075) 
	  7 d(1261) r(287,289) d(1268) 
	  7 r(728,3241) a(3349,3328) d(3375) 
	  7 a(2058,3306) a(3351,3366) r(821,895) 
	  7 r(728,3241) a(3351,3366) d(2294) 
	  7 a(2058,3306) a(3349,3328) a(1538,2804) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000137/tools/tiff2pdf.c  d(2723) a(1300,1192) r(1227,821)  fails to compile
	  0 d(2723) a(1300,1192) r(1227,821) 
	  7 a(3380,1192) r(3346,3377) d(3163) 
	  7 d(2723) a(1300,1192) r(2053,2160) 
	  7 a(3380,1192) r(3346,3377) a(2027,2804) 
	  7 d(3110) r(3393,3313) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) 
	  7 d(3110) d(2393) r(1999,2007) 
	  7 d(2723) r(3375,3381) d(918) 
	  7 d(2723) d(3321) 
	  7 d(2135) d(239) d(3110) r(1282,933) 
	  7 d(2723) d(3110) d(3021) 
	  7 d(2135) d(239) d(3369) 
	  7 a(925,1300) r(2032,2022) d(2811) 
	  7 d(2337) d(2002) r(1554,1557) 
	  7 d(1778) r(3085,3086) d(2398) 
	  7 a(3380,1192) a(2120,1300) r(912,899) 
	  7 a(925,1300) r(2032,2022) a(2223,2224) r(2579,2581) 
	  7 d(1778) a(2012,2737) 
	  7 a(925,1300) r(2032,2022) d(285) 
	  7 d(1778) a(2223,2224) a(2737,745) 
	  7 d(2758) r(3326,3410) 
	  7 d(2723) a(1300,1192) a(1554,1540) r(1536,1545) 
	  7 d(2758) a(1554,1540) r(918,833) 
	  7 d(2723) a(1300,1192) d(1248) 
search: generation 3 (sizeof one variant = 0.288911 MB)
	  7 d(3328) r(3404,3319) d(2589) r(898,834) 
	  7 d(2758) a(1554,1540) r(918,833) r(2090,2087) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000163/tools/tiff2pdf.c  d(2723) a(1300,1192) d(1248) r(1182,383)  fails to compile
	  0 d(2723) a(1300,1192) d(1248) r(1182,383) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) 
	  7 d(2723) a(1300,1192) d(1248) r(1777,1769) 
	  7 d(2337) r(3417,3334) d(1302) a(3426,1300) 
	  7 a(925,1300) r(2032,2022) r(2258,2229) d(2029) 
	  7 d(2337) d(1996) d(2162) d(390) 
	  7 d(3328) d(2662) 
	  7 d(3328) r(743,759) d(2227) r(743,759) d(2528) a(2710,787) d(2807) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3432,3339) 
	  7 d(3328) r(743,759) d(2227) r(3343,3379) 
	  7 a(3380,1192) d(1554) a(3362,3378) r(3324,3357) 
	  7 a(2575,2765) a(2120,1300) r(912,899) d(1875) 
	  7 a(3380,1192) a(2120,1300) r(912,899) d(2364) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) d(1264) d(891) r(833,899) 
	  7 d(3110) a(912,787) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) r(1397,1384) 
	  7 d(3110) d(1264) d(891) r(3174,3144) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000181/tools/tiff2pdf.c  d(1778) r(3085,3086) d(2398) r(2032,2022) a(2223,2224) r(2579,2581) r(794,2719)  fails to compile
	  0 d(1778) r(3085,3086) d(2398) r(2032,2022) a(2223,2224) r(2579,2581) r(794,2719) 
	  7 a(925,1300) r(2334,2336) 
	  7 d(1778) r(3085,3086) d(2398) r(3081,3020) 
	  7 a(925,1300) r(2032,2022) a(2223,2224) r(2579,2581) r(1242,1263) 
	  7 d(1276) d(1264) d(891) r(2334,2345) 
	  7 d(3110) a(3134,3180) d(2525) r(391,402) 
	  7 d(1276) a(3134,3180) d(2525) r(1253,978) 
	  7 d(3110) d(1264) d(891) a(854,3179) 
	  7 d(3328) r(3404,3319) r(2053,2160) r(2525,2532) 
	  7 d(2723) a(1300,1192) d(2589) a(3150,1160) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) 
	  7 d(2723) a(1300,1192) r(2053,2160) r(2349,2340) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) r(820,897) 
	  7 d(1778) a(2012,2737) d(2369) 
	  7 d(2758) a(1554,1540) r(918,833) d(239) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) d(2134) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) d(894) 
	  7 d(2723) a(1300,1192) d(1248) r(1879,1881) 
	  7 d(2723) r(3375,3381) d(918) r(3340,3402) 
	  7 r(3354,3390) r(3128,3146) d(2304) d(3360) 
	  7 d(1276) r(3404,3319) a(749,2223) r(2362,2368) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) r(2221,2223) 
	  7 a(3380,1192) a(2120,1300) r(912,899) d(265) 
	  7 d(2758) a(1554,1540) r(918,833) d(2695) 
	  7 d(3110) d(907) d(912) d(2334) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000206/tools/tiff2pdf.c  a(2575,2765) d(2393) r(1999,2007) d(855)  fails to compile
	  0 a(2575,2765) d(2393) r(1999,2007) d(855) 
	  7 d(3110) d(2393) r(1999,2007) d(730) 
	  7 a(2575,2765) d(907) d(912) r(2333,2349) 
	  7 d(2337) d(1996) d(2162) d(2251) 
	  7 a(2575,2765) d(907) r(2367,2353) d(2713) 
	  7 d(2723) d(3110) d(3021) r(2250,2239) d(1553) 
	  7 a(1393,1544) r(2093,2172) d(3387) 
	  7 d(2723) d(3110) d(3021) d(2098) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) r(1997,2007) 
	  7 d(3110) a(2710,787) d(2334) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) 
	  7 d(3110) d(2393) d(3438) r(921,842) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) 
	  7 d(2758) d(3369) d(1391) 
	  7 d(2135) d(239) d(3369) r(2527,2524) 
	  7 d(2758) r(3326,3410) d(1249) 
search: generation 4 (sizeof one variant = 0.289184 MB)
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) 
	  7 d(2723) a(1300,1192) r(2681,2706) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) a(2700,948) 
	  7 d(2723) a(1300,1192) d(2589) a(3150,1160) r(3114,3110) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) 
	  7 d(1276) a(3134,3180) d(2525) r(1253,978) d(799) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) d(899) 
	  7 d(2758) r(3326,3410) d(1249) d(1865) 
	  7 d(3328) r(743,759) d(2227) r(3343,3379) d(3162) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) r(2221,2223) a(3383,794) 
	  7 d(3328) a(3150,1160) r(2378,3344) 
	  7 d(2723) a(1300,1192) d(2589) r(743,759) d(2227) r(3343,3379) r(2056,2063) 
	  7 d(3328) r(743,759) d(2227) r(3343,3379) d(836) 
	  7 d(2723) a(1300,1192) d(2589) a(3150,1160) d(263) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3432,3339) d(2061) 
	  7 d(2758) r(3326,3410) d(1249) a(400,768) 
	  7 d(2723) d(3110) d(3021) d(2098) a(2701,2804) a(3316,378) 
	  7 d(3328) r(3404,3319) d(2589) r(2368,2366) 
	  7 d(2723) d(3110) d(3021) d(2098) r(3317,3364) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(3354,3370) 
	  7 d(1276) d(1264) d(891) r(2334,2345) d(3434) a(2088,2227) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(2068) 
	  7 d(1276) d(1264) d(891) r(2334,2345) d(750) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) 
	  7 d(2758) d(3369) d(1391) d(2160) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) 
	  7 d(1778) a(1554,1540) r(918,833) d(239) d(3021) 
	  7 d(2758) a(2012,2737) d(2369) r(1564,1550) 
	  7 d(1778) a(2012,2737) d(2369) r(1243,1271) 
	  7 d(2758) a(1554,1540) r(918,833) d(239) r(1544,1529) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) d(894) d(1249) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) d(2134) d(2705) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(3164,874) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) r(2509,2505) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) 
	  7 d(3110) d(2393) r(3432,3339) r(3411,3358) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(1999,2007) d(730) d(2327) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3432,3339) a(732,948) 
	  7 a(1393,1544) r(2093,2172) d(3316) 
	  7 d(3328) r(743,759) d(2227) r(743,759) d(2528) a(2710,787) d(2807) r(2250,2239) d(2134) d(2722) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) d(2134) r(916,799) 
	  7 d(3328) r(743,759) d(2227) r(743,759) d(2528) a(2710,787) d(2807) d(2577) 
	  7 d(2723) r(3375,3381) d(2393) d(2029) a(2235,3100) 
	  7 a(925,1300) r(2032,2022) r(2258,2229) d(2804) r(1397,1384) d(2086) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) r(1397,1384) a(2013,2053) 
	  7 a(925,1300) r(2032,2022) r(2258,2229) d(2029) d(2574) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) d(2393) r(1999,2007) d(730) a(824,3241) 
	  7 d(3110) r(2235,2244) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3094) 
	  7 d(3328) d(2662) a(2173,2087) 
	  7 d(3110) d(1264) d(891) r(3174,3144) d(2298) 
	  7 d(3328) r(3404,3319) r(2053,2160) d(2060) 
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) 
	  7 d(3328) r(3404,3319) r(2053,2160) r(2525,2532) d(1544) 
	  7 d(2337) d(1996) d(2162) d(2251) a(1384,1546) 
	  7 a(1393,1544) r(2093,2172) d(3387) d(2245) 
	  7 d(2723) a(1300,1192) r(2053,2160) r(2349,2340) d(2186) 
	  7 d(1778) a(2012,2737) d(2369) a(1252,1259) 
	  7 d(3110) d(1264) d(891) a(854,3179) r(2666,2668) 
search: generation 5 (sizeof one variant = 0.290718 MB)
	  7 d(3328) r(3404,3319) r(2053,2160) d(2060) d(405) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) d(1537) 
	  7 d(3328) r(3404,3319) r(2053,2160) d(2060) r(750,758) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) d(283) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) r(2364,2294) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) d(894) d(1249) r(3327,3332) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) d(894) d(1249) r(3372,3431) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) a(2371,1385) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3432,3339) d(2061) d(3146) 
	  7 d(1778) a(1554,1540) r(918,833) d(239) d(3021) a(3149,2169) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000295/tools/tiff2pdf.c  d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) r(406,389)  fails to compile
	  0 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) r(406,389) 
	  7 d(1778) a(2012,2737) d(2369) a(1252,1259) d(824) 
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) r(3115,3117) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) r(1397,1384) a(2013,2053) r(3172,3154) 
	  7 d(2723) d(3110) d(3021) d(2098) r(3317,3364) d(730) d(3182) r(2367,2354) 
	  7 d(3110) d(2393) r(1999,2007) r(755,754) 
	  7 d(2723) d(3110) d(3021) d(2098) r(3317,3364) r(1775,1774) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) a(2035,1234) 
	  7 d(2337) d(2134) r(916,799) d(3114) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) r(3417,3334) d(1302) r(2364,2316) d(2698) d(2669) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) a(808,1227) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) d(2134) r(916,799) r(729,738) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) d(2029) a(2235,3100) r(3082,3016) 
	  7 d(2723) r(3218,1565) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) a(3404,380) 
	  7 d(2723) r(3375,3381) d(2393) d(2029) a(2235,3100) r(1536,1565) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) d(899) a(1964,2545) 
	  7 d(2758) a(2012,2737) d(2369) r(1564,1550) r(3338,3309) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3417,3334) d(1302) r(2364,2316) d(2698) r(836,908) 
	  7 d(2337) r(3427,3437) a(3347,3422) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) a(1237,1258) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) d(2701) 
	  7 d(1276) a(3134,3180) d(2525) r(1253,978) d(799) a(297,948) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) d(2695) 
	  7 d(2758) a(1554,1540) r(918,833) d(239) r(1544,1529) a(2018,728) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) r(1397,1384) a(2013,2053) d(2161) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(3022,3013) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) r(2509,2505) a(3312,745) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) r(2509,2505) r(3145,3142) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2221,2222) 
	  7 d(3328) r(743,759) d(2227) r(3343,3379) d(836) r(2009,2008) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000326/tools/tiff2pdf.c  d(3328) r(743,759) d(2227) r(743,759) d(2528) a(2710,787) d(2807) d(2577) r(794,2580)  fails to compile
	  0 d(3328) r(743,759) d(2227) r(743,759) d(2528) a(2710,787) d(2807) d(2577) r(794,2580) 
	  7 d(2723) a(1300,1192) r(2053,2160) r(2349,2340) d(2186) a(2733,927) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3432,3339) a(732,948) a(2340,2316) 
	  7 d(3328) r(743,759) d(2528) a(927,3264) 
	  7 d(2723) a(1300,1192) r(2681,2706) d(2393) d(3438) d(3434) r(1287,978) d(2814) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) r(2699,2725) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(3089,3023) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) r(2509,2505) d(3388) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) d(2134) r(916,799) r(3145,3159) 
	  7 d(3110) d(1264) d(730) d(3182) d(2037) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) 
	  7 d(3110) d(1264) d(891) a(854,3179) r(2666,2668) d(2814) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(391) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(2373) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) a(3116,3264) 
search: generation 6 (sizeof one variant = 0.291068 MB)
	  7 d(2337) d(2134) d(2029) a(2235,3100) r(3082,3016) a(2689,877) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) r(916,799) d(3114) a(395,2774) 
	  7 d(2337) d(2134) r(916,799) d(3114) d(3408) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) d(2029) a(2235,3100) r(3082,3016) d(2362) 
	  7 d(3328) r(3404,3319) r(2053,2160) d(2060) d(405) r(3322,3436) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) r(2509,2505) d(3388) r(3117,3102) 
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) r(3115,3117) d(2816) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3432,3339) a(732,948) a(2340,2316) r(974,2756) 
	  7 d(2337) d(2134) r(916,799) d(3114) a(763,1778) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) a(2371,1385) a(741,290) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(391) r(918,833) d(239) d(3021) a(3149,2169) d(2248) 
	  7 d(1778) a(1554,1540) a(3109,933) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(391) r(3433,3333) 
	  7 d(1778) a(1554,1540) r(918,833) d(239) d(3021) a(3149,2169) a(2065,2224) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) a(808,1227) r(3182,2251) 
	  7 d(2723) r(3375,3381) d(2393) d(2804) r(1397,1384) a(2013,2053) r(3172,3154) r(2327,2331) 
	  7 d(1778) a(2012,2737) d(2369) a(1252,1259) d(824) r(2588,2578) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(3050,2719) 
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) d(2393) d(3438) d(3434) r(1287,978) d(2695) a(2136,1302) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-06-30-1563270-1136bdf/000362/tools/tiff2pdf.c  d(3328) r(743,759) d(2528) r(3115,3117) r(1550,1540)  fails to compile
	  0 d(3328) r(743,759) d(2528) r(3115,3117) r(1550,1540) 
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) r(3115,3117) d(2293) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) d(2695) d(856) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) a(1237,1258) a(3424,2378) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) d(283) a(761,380) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) d(2134) r(916,799) r(3145,3159) d(2247) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) a(2240,2402) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) r(259,253) 
	  7 d(3110) d(2393) a(298,401) r(2369,2299) r(2688,977) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(2341,2332) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) r(1272,1288) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) a(2371,1385) a(3347,3404) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(3022,3013) d(733) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(391) r(3099,3087) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) d(894) d(1249) r(3327,3332) r(3424,3309) 
	  7 a(2575,2765) d(1554) d(2029) a(2235,3100) r(3082,3016) a(766,3100) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3417,3334) d(1302) r(2364,2316) d(2698) r(836,908) d(1252) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3417,3334) d(1302) r(2364,2316) d(2698) r(836,908) r(1379,2527) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) d(2029) a(2235,3100) r(3082,3016) d(2073) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) d(899) a(1964,2545) r(2334,2328) 
	  7 d(2723) d(3110) d(3021) d(2098) r(3317,3364) d(730) d(3182) r(2367,2354) r(2702,2676) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) a(3116,3264) r(2291,2335) 
	  7 d(1276) a(3134,3180) d(2525) r(1253,978) d(799) a(297,948) d(1227) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) r(3417,3334) d(1302) r(3089,3023) d(729) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(2364,2316) d(2698) d(2669) r(3370,3372) 
	  7 a(1393,1544) r(2093,2172) r(2250,2239) r(3417,3334) d(1302) r(2364,2316) d(2698) d(2669) d(2593) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(3089,3023) r(289,283) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) a(3116,3264) r(2049,2065) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(3089,3023) d(2720) 
	  7 d(2337) r(3417,3334) d(1302) r(1999,2007) d(730) d(3182) d(2373) r(2529,2509) 
	  7 d(3110) d(2393) r(2364,2316) d(2698) a(808,1227) r(821,893) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) a(808,1227) a(825,921) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(2373) d(740) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3408,3415) r(3328,3389) d(1560) d(2177) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3427,3437) a(1237,1258) a(1240,789) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) a(1237,1258) r(3397,3341) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) d(1304) 
search: generation 7 (sizeof one variant = 0.291972 MB)
	  7 d(1778) a(1554,1540) r(918,833) d(239) d(3021) a(3149,2169) a(2065,2224) r(3357,3360) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) d(2695) d(856) r(3088,3018) 
	  7 d(1276) a(3134,3180) d(2525) r(1253,978) r(3375,3381) d(2393) d(2029) a(2235,3100) r(3082,3016) d(2362) d(898) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) d(799) a(297,948) d(1227) d(3135) 
	  7 d(1276) a(3134,3180) d(2525) r(1253,978) d(799) a(297,948) d(1227) d(923) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) d(2029) a(2235,3100) r(3082,3016) d(2362) a(3384,964) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) a(2240,2402) r(2187,2189) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) r(3328,3389) d(1560) d(1304) d(3105) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) d(1304) d(3362) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) a(2240,2402) d(917) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) a(2240,2402) r(1304,1300) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) r(916,799) d(3114) a(395,2774) d(1564) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) a(2240,2402) r(272,275) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(3089,3023) d(2720) r(2727,2716) 
	  7 d(2337) d(2134) r(916,799) d(3114) a(763,1778) d(410) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) r(916,799) d(3114) a(395,2774) a(2350,1217) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) d(283) a(761,380) r(2348,2367) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) d(2695) d(856) a(1305,290) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(3089,3023) r(289,283) d(3358) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(391) r(918,833) d(239) d(3021) a(3149,2169) d(2248) d(363) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) d(2029) a(2235,3100) r(3082,3016) d(2073) r(3130,3150) 
	  7 d(3328) d(3434) r(1287,978) d(2695) d(856) a(2581,891) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) d(2695) d(856) r(3336,3314) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) d(2029) a(2235,3100) r(3082,3016) d(2073) d(1271) 
	  7 d(2337) r(3417,3334) d(1302) r(2364,2316) d(2698) a(3116,3264) r(2291,2335) d(2765) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(2364,2316) d(2698) d(2669) r(3370,3372) d(736) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(391) r(3433,3333) r(3325,3328) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) r(2509,2505) d(3388) r(3117,3102) r(3314,3339) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) r(916,799) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(3050,2719) d(2086) 
	  7 d(2135) d(3114) a(395,2774) a(3357,2224) 
	  7 d(3328) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) r(916,799) d(3114) a(395,2774) r(2354,2345) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(3050,2719) d(2034) 
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) r(3115,3117) d(2816) d(2028) 
	  7 d(3110) d(2393) a(298,401) r(2369,2299) r(2688,977) d(3425) 
	  7 d(3328) r(743,759) r(1379,2527) r(2335,2341) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3417,3334) d(1302) r(2364,2316) d(2698) r(836,908) d(2528) d(2393) d(3438) d(3434) r(1287,978) d(2695) d(856) d(2757) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) d(2695) d(856) a(2516,3180) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3417,3334) d(1302) r(2364,2316) d(2698) r(836,908) r(1379,2527) a(2669,1300) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) d(2393) r(1999,2007) d(730) d(3182) d(2373) d(740) d(761) 
	  7 d(3110) a(3150,1160) r(3427,3437) a(1237,1258) a(3424,2378) d(919) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) a(1237,1258) a(3424,2378) a(3021,3016) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(2373) d(740) a(2348,728) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) d(1304) d(3082) 
	  7 d(2337) d(2134) d(2029) a(2235,3100) r(3082,3016) a(2689,877) r(1866,1869) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(2373) d(740) d(3436) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) r(259,253) a(758,3241) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(2341,2332) a(283,3100) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) a(2371,1385) a(3347,3404) a(2008,3306) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(2341,2332) d(2580) 
	  7 d(1276) a(3134,3180) d(2525) r(1253,978) d(799) a(297,948) d(1227) r(903,825) 
	  7 d(2337) d(2134) d(2029) a(2235,3100) r(3082,3016) a(2689,877) d(405) 
	  7 d(3110) d(2393) r(2364,2316) d(2698) a(808,1227) r(821,893) d(2169) 
search: generation 8 (sizeof one variant = 0.292757 MB)
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) r(3115,3117) d(2816) d(2028) d(2066) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) a(2371,1385) a(3347,3404) a(2008,3306) a(758,1385) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) d(3434) r(1287,978) d(2695) d(856) r(3336,3314) r(1560,1397) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(2364,2316) d(2698) d(2669) r(3370,3372) d(736) d(2347) 
	  7 d(2135) d(239) r(3326,3410) d(2034) a(1549,1558) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(3050,2719) a(874,921) a(298,401) r(2369,2299) r(3050,2719) d(2034) a(3436,747) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(3050,2719) d(2034) a(2032,2771) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(3050,2719) d(2034) d(2665) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) r(3328,3389) d(1560) d(1304) d(3105) r(2703,2714) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(391) r(3433,3333) r(3325,3328) a(1539,1545) 
	  7 d(2135) d(239) r(3326,3410) a(874,921) a(298,401) r(2369,2299) r(2341,2332) d(2580) d(3374) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(2373) d(740) d(3436) d(2044) 
	  7 d(3328) r(743,759) d(2528) d(2393) d(3438) r(3404,3319) d(2589) r(898,834) a(2511,2387) r(3375,3381) d(2393) d(2029) a(2235,3100) r(3082,3016) d(2073) r(3130,3150) a(2008,1384) 
	  7 d(3110) d(2393) r(1999,2007) d(730) d(3182) d(2373) d(740) a(2348,728) d(920) 
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) d(1304) d(3362) d(1262) 
	  7 d(3328) r(743,759) r(3115,3117) d(2816) d(2028) a(2180,2688) 
	  7 d(2337) d(1996) d(2162) d(2251) r(2525,2532) a(2703,801) r(3115,3117) d(2816) d(2028) d(2289) 
	  7 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) d(1304) d(3362) a(3123,974) 
	  7 d(3110) d(2393) d(3418) d(2589) a(3150,1160) r(3427,3437) a(1237,1258) a(3424,2378) a(3021,3016) r(2236,2255) 
	  7 a(2575,2765) d(1554) a(3362,3378) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) r(3328,3389) d(1560) d(1304) d(3105) a(3317,3405) 
	  7 d(3110) d(2393) r(1999,2007) d(891) a(854,3179) r(2666,2668) r(2582,2595) r(3328,3389) d(1560) d(1304) d(3105) r(3174,3167) 
	  7 a(2575,2765) d(1554) a(3362,3378) d(3418) d(2589) a(3150,1160) r(3427,3437) a(1237,1258) a(3424,2378) a(3021,3016) r(1282,1255) 
	  7 d(2723) a(1300,1192) r(2681,2706) r(2364,2316) d(2698) d(2669) r(3370,3372) d(736) r(2584,2581) 
	  7 d(3328) r(3404,3319) d(2589) a(2701,2804) a(1994,1379) a(2371,1385) a(3347,3404) a(2008,3306) d(1993) 
	228 d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) d(1304) d(3362) d(406) 

Repair Found: d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) d(1304) d(3362) d(406)
Repair Name: d(3328) r(743,759) d(2528) a(2710,787) r(3408,3415) r(3328,3389) d(1560) d(1304) d(3362) d(406) 
Test Condition: 0
Test Cases Skipped: ""
Current Time: 1379787149.429978
Rep: saving test cache

Variant Test Case Queries: 3870
"Test Suite Evaluations": 50.2597

Compile Failures: 8
Wall-Clock Seconds Elapsed: 2406.82
  Activity Name                     Count Seconds = Percent of Total Time
  test                               3883 1011.471 = 48.9565%
  compile                             477 1054.511 = 51.0397%
  TOTAL                                   2066.062 = 85.8416% (avg CPU usage)
libtiff-bug-2010-06-30-1563270-1136bdf.tar.gz
Sat Sep 21 14:12:31 EDT 2013
shutting down
