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 34
--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 3
--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-145-176-150 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 15:30:09 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/tmp017d46.c /tmp/tmp95cebd.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 22.586)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 997
cilRep: stmts in weighted_path = 188
cilRep: total weight = 121.6
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: libtiff/tif_dirwrite.c (code bank/base file; atoms [1,997])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.106694 MB)
search: initial population (sizeof one variant = 0.00960255 MB)
	  2 r(628,624) 
	  3 a(416,421) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000002/libtiff/tif_dirwrite.c  r(293,945)  fails to compile
	  0 r(293,945) 
	  2 d(616) 
	  1 d(607) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000005/libtiff/tif_dirwrite.c  r(950,314)  fails to compile
	  0 r(950,314) 
	  3 a(638,269) 
	  3 a(375,957) 
	  3 a(949,295) 
	  3 d(425) 
	  3 r(878,879) 
	  3 d(281) 
	  0 r(408,352) 
	  3 r(375,982) 
	  3 a(443,708) 
	  3 d(954) 
	  1 d(669) 
	  3 r(426,272) 
	  2 r(305,587) 
	  3 a(640,375) 
	  3 a(634,247) 
	  3 a(953,974) 
	  1 r(987,962) 
	  2 d(418) 
	  3 d(312) 
	  2 d(616) 
	  3 a(232,283) 
	  3 r(950,630) 
	  3 d(281) 
	  0 r(464,589) 
	  3 r(373,278) 
	  3 r(410,431) 
	  3 a(872,247) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000033/libtiff/tif_dirwrite.c  r(286,974)  fails to compile
	  0 r(286,974) 
	  3 d(410) 
	  2 r(471,549) 
	  3 r(319,240) 
	  0 r(594,463) 
	  3 a(319,436) 
	  3 original
search: generation 1 (sizeof one variant = 0.106989 MB)
	  3 a(232,283) r(268,876) 
	  3 r(987,962) d(612) 
	  3 a(949,295) r(312,418) 
	  3 a(232,283) a(883,967) 
	  0 a(949,295) r(415,361) 
	  3 a(232,283) d(949) 
	  3 d(418) r(276,381) 
	  3 a(634,247) r(379,245) 
	  2 a(443,708) d(418) 
	  3 d(425) r(469,462) 
	  3 a(443,708) d(608) 
	  3 d(425) d(285) 
	  3 d(954) r(989,950) 
	  3 d(616) d(608) 
	  3 d(954) a(626,642) 
	  1 d(616) d(883) 
	  3 r(950,630) d(666) 
	  3 a(638,269) r(361,227) 
	  2 r(878,879) a(295,382) 
	  0 r(319,240) r(248,275) 
	  1 r(878,879) r(245,300) 
	  3 r(319,240) d(271) 
	  0 r(878,879) a(409,316) 
	  3 r(375,982) d(424) 
	  3 r(878,879) a(272,374) 
	  3 r(375,982) d(256) 
	  2 r(375,982) d(615) 
	  0 d(281) d(422) 
	  3 a(640,375) d(231) 
	  0 a(416,421) d(628) 
	  3 a(640,375) r(614,613) 
	  3 a(416,421) d(638) 
	  3 d(616) d(420) 
	  3 r(426,272) r(471,469) 
	  3 d(616) a(609,399) 
	  3 r(426,272) r(413,412) 
	  1 r(471,549) r(374,361) 
	  0 a(416,421) d(252) 
	  3 r(471,549) d(215) 
	  3 a(416,421) r(293,598) 
	  3 a(872,247) r(319,432) 
	  3 r(305,587) d(409) 
	  3 a(416,421) r(632,627) 
	  2 d(425) r(407,252) 
	  3 a(416,421) r(701,698) 
	  2 d(425) r(636,640) 
	  3 a(443,708) d(609) 
	  3 r(373,278) a(883,880) 
	  2 r(410,431) r(310,271) 
	  3 r(670,669) 
	  3 r(987,962) d(418) 
	  3 r(375,982) r(407,256) 
	  3 r(987,962) r(614,611) 
	  3 r(375,982) d(956) 
	  3 r(878,879) a(625,982) 
	  3 a(638,269) a(318,282) 
	  3 r(878,879) a(668,948) 
	  3 a(638,269) d(324) 
	  3 r(950,630) d(597) 
	  3 r(373,278) a(419,395) 
	  2 r(426,272) r(471,549) 
	  3 r(319,240) r(627,636) 
	  3 r(426,272) r(325,230) 
	  3 r(319,240) d(421) 
search: generation 2 (sizeof one variant = 0.107738 MB)
	  3 d(616) d(426) 
	  3 d(425) r(469,462) d(420) a(250,230) 
	  2 d(616) d(420) d(269) 
	  3 d(425) r(469,462) a(317,937) 
	  0 d(425) r(414,269) 
	  3 a(640,375) r(614,613) r(469,462) r(596,549) 
	  3 d(425) r(469,462) a(421,693) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000110/libtiff/tif_dirwrite.c  a(640,375) r(614,613) r(957,303)  fails to compile
	  0 a(640,375) r(614,613) r(957,303) 
	  1 r(471,549) r(471,469) a(706,233) 
	  3 r(426,272) d(215) d(270) 
	  3 r(471,549) d(215) d(624) 
	  3 r(426,272) r(471,469) d(416) 
	  1 r(878,879) a(272,374) r(249,319) 
	  3 r(878,879) a(668,948) d(633) 
	  0 r(987,962) r(415,361) a(308,353) 
	  0 a(949,295) d(418) r(234,309) 
	  2 r(987,962) d(418) r(287,233) 
	  0 a(949,295) r(415,361) d(251) 
	  2 r(319,240) r(627,636) d(638) d(603) 
	  2 a(416,421) d(379) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000123/libtiff/tif_dirwrite.c  r(319,240) r(627,636) r(617,996)  fails to compile
	  0 r(319,240) r(627,636) r(617,996) 
	  3 a(416,421) d(638) a(316,370) 
	  2 r(319,240) d(271) d(604) 
	  1 r(987,962) r(614,611) r(990,950) 
	  3 r(950,630) a(282,687) 
	  3 d(616) d(420) d(597) r(700,702) 
	  3 r(950,630) d(597) r(231,291) 
	  3 d(616) d(420) d(636) 
	  3 a(232,283) d(949) d(985) 
	  3 r(426,272) r(471,549) a(413,686) 
	  3 r(950,630) d(666) r(376,394) 
	  3 r(373,278) a(883,880) r(238,435) 
	  3 r(987,962) d(418) d(608) r(469,481) 
	  2 d(616) r(665,670) 
	  3 r(987,962) d(418) a(708,873) 
	  3 d(616) d(608) d(261) 
	  3 a(416,421) r(293,598) r(311,227) 
	  2 r(375,982) d(424) r(443,444) 
	  3 a(416,421) r(293,598) a(257,275) 
	  3 r(375,982) d(424) a(636,959) 
	  3 d(425) d(285) r(229,397) 
	  3 r(375,982) d(424) r(361,414) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000145/libtiff/tif_dirwrite.c  a(416,421) d(638) r(413,412) r(873,427)  fails to compile
	  0 a(416,421) d(638) r(413,412) r(873,427) 
	  3 r(426,272) a(375,406) 
	  2 a(416,421) d(638) d(317) 
	  3 r(426,272) r(413,412) a(613,298) 
	  3 d(418) r(276,381) r(239,406) 
	  2 r(987,962) d(418) a(415,938) 
	  3 d(418) r(276,381) d(630) 
	  2 r(987,962) d(418) d(244) 
	  3 r(375,982) d(424) d(215) 
	  3 a(416,421) r(632,627) d(270) 
	  1 r(878,879) a(272,374) r(274,317) 
	  0 r(878,879) a(668,948) r(274,222) 
	  3 r(950,630) d(597) a(711,710) 
	  2 a(416,421) r(701,698) r(615,612) 
	  3 a(232,283) a(883,967) d(271) 
	  3 r(670,669) r(711,709) 
	  3 a(232,283) a(883,967) a(415,293) 
	  3 r(670,669) a(258,261) 
	  0 a(416,421) d(628) d(614) 
	  3 a(640,375) d(231) a(875,216) 
search: generation 3 (sizeof one variant = 0.108351 MB)
	  3 r(987,962) a(305,216) 
	  3 d(425) r(469,462) a(317,937) d(418) d(244) r(311,433) 
	  0 r(987,962) d(418) d(244) d(422) 
	  3 d(425) r(469,462) a(317,937) a(312,242) 
	  2 a(416,421) r(293,598) a(257,275) a(258,261) d(236) 
	  2 r(670,669) d(261) 
	  2 a(416,421) r(293,598) a(257,275) d(633) 
	  2 r(670,669) a(258,261) d(379) 
	  1 d(425) d(215) d(270) r(670,669) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) 
	  3 d(425) r(469,462) d(420) a(250,230) d(222) 
	  3 r(426,272) d(215) d(270) r(701,699) 
	  3 a(640,375) r(614,613) r(597,455) 
	  1 d(616) d(608) d(261) r(469,462) r(596,549) a(471,671) 
	  2 a(640,375) r(614,613) r(469,462) r(596,549) a(252,292) 
	  3 d(616) d(608) d(261) d(989) 
	  3 a(640,375) r(614,613) r(469,462) r(596,549) a(310,948) 
	  3 r(373,278) a(883,880) r(238,435) r(319,346) 
	  2 a(640,375) r(614,613) r(469,462) r(596,549) a(286,873) 
	  3 d(418) r(276,381) r(239,406) d(634) 
	  2 a(640,375) r(614,613) r(469,462) r(596,549) r(361,216) 
	  3 d(616) d(426) d(243) 
	  0 r(471,549) r(471,469) a(706,233) d(317) r(243,406) 
	  3 a(416,421) d(638) a(462,255) 
	  0 r(471,549) r(471,469) a(706,233) d(417) 
	  2 a(416,421) d(638) d(317) d(423) 
	  3 r(426,272) r(471,549) a(413,686) d(380) 
	  3 r(375,982) d(424) r(361,414) a(380,286) 
	  0 d(425) d(261) d(252) 
	  2 d(616) d(608) r(469,462) a(317,937) r(414,346) 
	  3 d(425) r(469,462) a(317,937) d(632) 
	  3 d(616) d(608) d(261) d(633) 
	  3 r(426,272) r(471,469) d(416) a(282,937) 
	  3 a(416,421) d(638) a(316,370) a(420,273) 
	  3 r(375,982) d(424) d(215) r(605,609) 
	  3 d(616) d(420) d(636) d(379) 
	  3 r(670,669) a(705,223) 
	  2 r(950,630) d(666) r(376,394) r(711,709) r(269,464) 
	  0 r(670,669) r(711,709) r(611,615) 
	  3 r(950,630) d(666) r(376,394) r(613,612) 
	  3 r(375,982) d(424) d(215) d(308) 
	  2 r(987,962) d(418) a(708,873) r(611,616) 
	  2 d(616) d(420) d(636) d(215) a(361,409) 
	  3 r(375,982) d(424) r(250,275) 
	  3 d(616) d(420) d(636) d(633) 
	  3 r(375,982) d(424) d(215) a(379,415) 
	  3 r(950,630) d(597) a(711,710) a(668,703) 
	  3 r(950,630) d(597) r(231,291) d(312) 
	  1 d(616) d(608) d(261) r(628,638) 
	  3 r(375,982) d(424) d(215) d(249) 
	  3 a(416,421) r(293,598) a(471,982) 
	  2 d(616) r(665,670) a(257,275) d(427) 
	  2 a(416,421) r(293,598) a(257,275) a(596,267) 
	  3 d(616) r(665,670) a(311,687) 
	  0 r(375,982) d(424) d(882) 
	  0 r(987,962) d(418) a(708,873) d(215) d(374) 
	  1 r(375,982) d(424) d(215) r(642,625) 
	  3 r(987,962) d(418) a(708,873) d(307) 
	  1 r(471,549) d(215) d(624) d(990) 
	  3 r(987,962) d(418) a(708,873) d(222) 
search: generation 4 (sizeof one variant = 0.108732 MB)
	  2 r(987,962) d(418) a(708,873) d(307) r(635,624) 
	  3 r(375,982) d(424) d(215) d(249) d(609) 
	  1 r(375,982) d(424) d(215) d(308) r(469,462) a(317,937) r(414,346) d(876) 
	  3 d(616) d(608) a(279,283) 
	  3 r(375,982) d(424) d(215) d(308) a(413,292) 
	  1 d(616) d(608) r(469,462) a(317,937) r(414,346) r(215,381) 
	  3 a(416,421) r(293,598) d(950) 
	  3 r(375,982) d(424) d(215) r(605,609) a(257,275) a(258,261) d(236) r(985,980) 
	  3 a(416,421) r(293,598) a(257,275) a(258,261) d(236) d(309) 
	  3 r(375,982) d(424) d(215) r(605,609) d(285) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) 
	  3 d(616) d(424) d(215) r(605,609) a(324,288) 
	  3 r(375,982) d(424) d(215) r(605,609) a(414,408) 
	  3 d(616) r(665,670) a(257,275) d(427) d(258) 
	  3 r(950,630) d(597) r(231,291) d(312) d(228) 
	  1 r(987,962) a(305,216) d(875) 
	  3 d(425) r(469,462) a(317,937) r(427,419) 
	  1 r(987,962) d(418) a(708,873) d(307) a(312,242) d(706) 
	  3 d(425) r(469,462) a(317,937) a(312,242) r(985,994) 
	  3 r(987,962) d(418) a(708,873) d(307) d(463) 
	  2 r(373,278) d(416) a(282,937) d(377) 
	  3 r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) 
	  3 r(373,278) a(883,880) r(238,435) r(319,346) r(325,349) 
	  2 r(426,272) r(471,469) d(416) a(282,937) r(410,416) 
	  0 a(640,375) r(614,613) r(469,462) r(596,549) r(361,216) a(876,624) 
	  3 d(616) d(420) d(636) d(379) d(641) 
	  3 r(950,630) d(597) a(711,710) a(668,703) a(295,431) 
	  3 d(425) r(469,462) a(317,937) a(312,242) a(222,243) 
	  3 r(375,982) d(424) r(361,414) a(380,286) r(468,549) 
	  1 r(987,962) d(418) a(708,873) d(215) d(374) a(426,959) 
	  3 d(425) r(469,462) a(471,982) r(373,283) 
	  3 a(416,421) r(293,598) a(317,937) d(632) r(625,680) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) 
	  3 a(416,421) r(293,598) a(471,982) r(463,594) 
	  3 a(416,421) r(293,598) a(257,275) a(317,937) a(312,242) d(611) 
	  3 d(425) r(469,462) a(258,261) d(236) r(665,669) 
	  3 a(416,421) r(293,598) a(257,275) a(258,261) d(236) r(307,247) 
	  3 d(425) r(469,462) a(317,937) a(312,242) r(319,422) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) 
	  3 r(426,272) r(471,549) a(413,686) d(380) d(307) 
	  0 d(616) d(420) d(636) d(215) a(361,409) r(410,416) 
	  0 r(375,982) d(424) d(215) r(642,625) d(411) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) 
	  2 r(375,982) d(876) 
	  2 a(416,421) r(293,598) a(257,275) d(633) d(639) 
	  3 r(375,982) d(424) d(215) d(308) d(987) 
	  3 r(426,272) r(471,469) d(416) a(282,937) d(989) 
	  3 r(670,669) a(705,223) r(228,397) 
	  2 r(950,630) d(666) r(376,394) r(711,709) r(269,464) d(419) 
	  1 r(471,549) d(215) d(624) d(990) a(424,257) 
	  3 d(616) d(420) r(613,612) r(879,882) 
	  2 r(950,630) d(666) r(376,394) d(636) d(379) d(279) 
	  3 d(616) d(420) d(636) d(379) a(295,347) 
	  3 r(950,630) d(666) r(376,394) r(613,612) r(954,976) 
	  2 a(416,421) r(293,598) a(257,275) d(633) d(237) 
	  2 d(616) r(665,670) a(311,687) a(424,959) 
	  3 d(616) d(420) d(636) d(633) a(627,937) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) 
search: generation 5 (sizeof one variant = 0.108807 MB)
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) 
	  2 r(375,982) d(424) d(215) d(249) d(609) r(413,438) 
	  0 r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) r(246,433) 
	  3 r(950,630) d(666) r(376,394) r(613,612) r(954,976) r(307,249) 
	  0 r(426,272) r(471,469) d(416) a(282,937) r(410,416) d(215) r(605,609) a(324,288) d(407) 
	  3 d(616) d(424) r(246,411) 
	  1 r(426,272) r(471,469) d(416) a(282,937) r(410,416) d(604) 
	  3 d(616) d(424) d(215) r(605,609) a(324,288) r(325,319) 
	  3 a(416,421) r(293,598) a(257,275) a(258,261) d(236) r(307,247) d(361) 
	  1 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) a(408,349) 
	  3 d(616) d(420) d(636) d(633) a(627,937) d(611) 
	  2 a(416,421) r(293,598) a(257,275) a(317,937) a(312,242) d(611) a(985,286) 
	  3 d(425) r(469,462) a(317,937) a(312,242) a(222,243) r(638,628) 
	  3 r(670,669) a(705,223) r(228,397) d(609) 
	  2 r(426,272) r(471,469) d(416) a(282,937) d(989) a(949,399) 
	  0 d(616) d(608) a(279,283) r(883,872) 
	  3 d(425) r(469,462) a(258,261) a(668,938) a(325,415) 
	  3 d(425) r(469,462) a(317,937) d(632) d(236) r(665,669) d(427) 
	  3 d(425) r(469,462) a(258,261) d(236) r(665,669) r(626,628) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) 
	  3 a(416,421) a(414,408) r(215,431) 
	  0 r(375,982) d(424) d(215) r(605,609) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) r(409,433) 
	  2 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) r(267,431) 
	  3 r(375,982) d(424) d(215) r(605,609) a(414,408) d(595) 
	  2 r(950,630) d(597) d(641) a(426,403) 
	  0 d(616) d(420) d(636) d(379) r(231,291) d(312) d(228) r(419,370) 
	  3 r(950,630) d(597) r(231,291) d(312) d(228) r(634,635) 
	  2 d(616) d(420) d(636) d(379) d(641) r(636,640) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) 
	  2 d(616) r(665,670) a(257,275) a(595,397) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) a(269,958) 
	  3 d(616) r(665,670) a(257,275) d(427) d(258) r(469,465) 
	  3 r(426,272) r(471,549) a(413,686) d(380) d(307) d(985) 
	  3 d(616) d(420) d(636) d(379) a(295,347) a(642,598) 
	  0 r(426,272) r(471,469) a(883,880) a(295,347) a(406,308) 
	  1 d(616) d(420) d(636) d(379) r(238,435) r(319,346) d(613) r(631,628) 
	  2 r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) d(634) 
	  3 d(616) d(420) d(636) d(379) a(295,347) a(419,708) 
	  3 d(616) a(705,223) r(228,397) r(987,950) 
	  1 r(670,669) d(420) d(636) d(379) a(295,347) d(666) 
	  3 d(616) d(420) d(636) d(379) a(295,347) d(270) 
	  3 r(670,669) a(705,223) r(228,397) r(281,271) 
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) 
	  2 r(375,982) r(665,670) d(424) d(215) r(605,609) d(285) d(423) 
	  3 r(375,982) d(424) d(215) r(605,609) d(285) r(606,604) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) a(612,609) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) d(669) d(281) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) d(376) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) d(231) 
	  3 r(375,982) d(424) d(215) a(256,291) 
	  3 r(950,630) d(666) r(376,394) r(613,612) r(954,976) r(605,609) a(414,408) r(379,380) 
	  3 r(375,982) d(424) d(215) r(605,609) a(414,408) a(222,873) 
	  0 r(950,630) d(666) r(376,394) r(613,612) r(954,976) d(378) 
	  0 r(950,630) d(666) r(376,394) d(636) d(379) d(279) d(274) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000338/libtiff/tif_dirwrite.c  a(416,421) r(293,598) d(950) r(957,380)  fails to compile
	  0 a(416,421) r(293,598) d(950) r(957,380) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) 
	  3 r(375,982) d(424) d(215) r(605,609) d(285) r(318,274) 
	  3 d(425) r(469,462) a(317,937) a(312,242) r(985,994) a(631,672) 
	  2 r(670,669) a(705,223) r(228,397) a(628,950) 
search: generation 6 (sizeof one variant = 0.108895 MB)
	  1 r(375,982) d(424) d(215) r(605,609) d(285) r(318,274) d(215) d(308) d(669) a(408,349) d(427) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) a(270,272) 
	  3 r(375,982) d(424) d(215) r(605,609) d(285) r(318,274) d(379) 
	  0 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) a(408,349) d(378) 
	  2 d(425) d(633) a(627,937) d(611) a(616,950) 
	  2 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) a(315,231) 
	  3 d(616) d(420) d(636) d(633) a(627,937) d(611) r(989,977) 
	  1 r(950,630) d(597) d(641) a(426,403) a(708,707) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(705) 
	  3 r(375,982) d(424) d(215) r(605,609) a(414,408) d(595) d(375) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) 
	  1 r(375,982) r(665,670) d(424) d(215) r(605,609) d(285) d(423) a(380,233) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) a(268,967) 
	  3 d(425) r(469,462) a(414,408) a(222,873) r(986,979) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) 
	  3 d(425) r(469,462) a(317,937) d(632) d(236) r(665,669) d(427) r(278,326) 
	  3 r(375,982) d(424) d(215) r(605,609) a(414,408) a(222,873) d(310) 
	  3 r(670,669) a(705,223) r(228,397) d(609) d(215) d(427) d(258) d(953) d(315) 
	  0 r(987,962) d(418) a(708,873) d(222) r(411,370) 
	  2 r(670,669) a(705,223) r(228,397) d(609) r(705,698) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(611) 
	  0 r(375,982) d(424) d(215) r(626,638) d(605) r(377,274) a(361,317) 
	  1 r(426,272) r(469,462) d(420) a(250,230) r(605,609) d(285) r(318,274) r(990,974) 
	  0 r(375,982) d(424) d(215) r(605,609) d(285) r(318,274) d(252) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) d(409) 
	  3 d(425) r(469,462) a(317,937) d(632) a(705,223) r(228,397) d(609) a(425,428) 
	  1 r(670,669) a(668,938) d(305) r(631,632) 
	  1 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) r(378,411) 
	  0 r(670,669) a(705,223) r(228,397) d(609) d(277) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) d(215) a(269,958) r(317,345) 
	  1 r(987,962) d(418) a(708,873) d(222) a(374,307) d(230) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) 
	  2 r(987,962) d(418) a(708,873) d(222) d(215) a(269,958) d(316) 
	  0 d(425) r(469,462) a(317,937) d(632) d(236) r(665,669) d(215) d(308) d(669) a(408,349) r(666,668) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) 
	  3 d(425) r(469,462) a(317,937) d(632) d(236) r(665,669) d(427) r(707,709) 
	  1 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) a(408,349) d(376) 
	  3 r(375,982) d(424) d(215) r(605,609) d(285) r(606,604) d(602) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000382/libtiff/tif_dirwrite.c  d(616) r(665,670) a(257,275) d(427) d(258) r(469,465) r(871,318)  fails to compile
	  0 d(616) r(665,670) a(257,275) d(427) d(258) r(469,465) r(871,318) 
	  1 a(416,421) r(293,598) a(257,275) a(317,937) a(312,242) d(611) a(985,286) r(238,374) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000384/libtiff/tif_dirwrite.c  a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) d(231) r(381,401)  fails to compile
	  0 a(416,421) r(293,598) a(257,275) d(633) d(424) d(215) d(308) d(669) d(231) r(381,401) 
	  2 r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) d(634) a(631,282) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) a(957,630) 
	  1 r(375,982) r(665,670) d(424) d(633) a(627,937) d(611) d(598) 
	  2 d(616) d(420) d(636) d(215) r(605,609) d(285) d(423) r(463,464) 
	  2 r(375,982) r(665,670) d(424) d(215) r(605,609) d(285) d(423) d(668) 
	  1 d(616) d(420) d(636) d(633) a(627,937) d(611) d(640) 
	  3 a(416,421) r(293,598) a(257,275) r(377,274) d(281) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) a(317,937) a(312,242) d(611) a(985,286) r(314,251) 
	  3 a(416,421) r(293,598) a(257,275) a(317,937) a(312,242) d(611) a(985,286) d(426) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) d(605) 
	  1 d(425) r(469,462) d(380) a(258,379) d(634) 
	  3 r(375,982) a(257,275) d(427) a(317,937) d(632) a(668,938) d(305) d(236) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) 
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) a(633,627) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) a(269,958) r(625,219) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(989) 
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) d(597) 
	  3 d(616) d(420) d(636) d(379) a(295,347) a(642,598) d(955) 
	  3 r(950,630) d(597) r(231,291) d(312) d(228) r(634,635) r(407,293) 
	  3 d(425) r(469,462) a(258,261) d(236) r(665,669) r(626,628) d(668) 
search: generation 7 (sizeof one variant = 0.104106 MB)
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) d(597) a(278,255) 
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) a(633,627) r(326,412) 
	  2 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(989) d(627) 
	  3 r(375,982) d(424) d(215) r(605,609) a(414,408) d(595) d(375) r(418,394) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) d(635) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) r(635,637) 
	  2 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) a(957,630) r(988,947) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) 
	  1 a(416,421) r(293,598) a(257,275) r(377,274) d(281) r(229,276) 
	  2 r(987,962) d(418) a(708,873) d(222) d(215) a(269,958) r(625,219) d(635) 
	  2 a(416,421) r(293,598) a(257,275) a(317,937) d(215) r(605,609) d(285) r(318,274) d(379) a(873,256) 
	  2 r(375,982) d(424) a(312,242) d(611) a(985,286) d(426) r(464,455) 
	  3 a(416,421) r(293,598) a(257,275) a(317,937) a(312,242) d(611) a(985,286) d(426) r(411,227) 
	  1 r(375,982) d(424) d(215) r(605,609) d(285) r(318,274) d(379) d(414) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) d(468) r(880,883) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) d(604) 
	  0 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) r(408,409) 
	  1 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) r(418,369) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) r(955,957) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) 
	  0 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(420) a(250,230) r(626,638) d(605) r(377,274) d(409) a(222,278) 
	  2 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) d(409) a(240,245) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) 
	  0 d(616) d(420) d(636) d(633) a(627,937) d(305) r(443,444) a(954,968) 
	  3 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(611) r(989,977) r(324,277) 
	  3 d(616) d(420) d(636) d(633) a(627,937) d(611) r(989,977) r(635,624) 
	  1 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) r(469,549) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) 
	  3 r(375,982) d(424) d(215) r(605,609) d(285) r(606,604) d(602) a(419,298) 
	  1 r(426,272) r(469,462) d(420) a(250,230) r(605,609) d(285) r(318,274) r(990,974) d(312) 
	  3 r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) d(634) a(631,282) r(285,261) 
	  3 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) r(246,261) 
	  3 r(670,669) a(705,223) r(228,397) d(609) r(705,698) a(703,288) 
	  0 r(426,272) r(469,462) d(420) a(250,230) r(605,609) d(285) r(318,274) r(990,974) d(418) a(708,873) d(222) d(215) a(269,958) r(625,219) r(250,246) 
	  2 r(987,962) r(989,980) 
	  2 r(426,272) r(469,462) d(420) a(250,230) r(605,609) d(285) r(318,274) r(990,974) r(872,880) 
	  2 r(987,962) d(418) a(708,873) d(222) d(215) a(269,958) r(625,219) a(595,287) 
	  1 r(987,962) d(418) a(708,873) d(222) d(215) a(269,958) d(316) d(257) 
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) d(597) r(277,374) 
	  3 r(375,982) d(424) d(215) r(605,609) d(427) d(258) d(953) d(989) a(287,948) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(616,611) 
	  2 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) a(616,292) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(989) a(881,291) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(989) a(708,624) 
	  3 r(375,982) a(257,275) d(427) a(317,937) d(632) a(668,938) d(305) d(236) d(464) 
	  3 d(425) r(605,609) d(285) r(606,604) d(602) r(420,411) 
	  0 r(375,982) d(424) d(215) r(469,462) a(317,937) d(632) a(668,938) d(305) a(268,967) r(954,956) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) a(268,967) d(631) 
	  1 r(375,982) d(424) d(215) r(605,609) d(285) r(606,604) d(602) r(248,410) 
	  0 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) d(318) 
	  1 d(425) r(469,462) a(258,261) d(236) r(665,669) r(626,628) d(668) d(215) 
	  2 a(416,421) r(293,598) a(257,275) a(317,937) a(312,242) d(611) a(985,286) d(426) r(880,871) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) a(270,272) a(308,380) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) d(409) d(411) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) 
search: generation 8 (sizeof one variant = 0.104412 MB)
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) r(270,311) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) d(631) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(989) a(708,624) d(611) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) a(278,326) 
	  1 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(305) r(443,444) r(246,261) d(609) 
	  1 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) r(706,699) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(956) 
	  1 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) r(246,261) d(665) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) d(703) 
	  2 r(670,669) a(705,223) r(228,397) d(609) r(705,698) a(703,288) a(234,268) d(873) d(878) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(872,875) 
	  2 r(670,669) a(705,223) r(228,397) d(609) r(705,698) a(703,288) d(701) 
	  1 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) d(409) a(240,245) r(707,708) 
	  3 r(375,982) d(424) d(215) r(605,609) d(427) d(258) d(953) d(989) a(287,948) a(425,598) 
	  3 r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) d(634) a(631,282) r(285,261) r(465,596) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(616,611) d(665) 
	  2 r(426,272) r(469,462) d(420) r(293,598) a(257,275) a(317,937) a(312,242) d(611) a(985,286) d(426) r(411,227) a(307,609) 
	  2 a(416,421) a(250,230) r(626,638) d(605) r(377,274) a(957,630) r(988,947) a(374,871) 
	  2 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) a(957,630) r(988,947) r(708,456) 
	  3 a(416,421) r(293,598) a(257,275) a(317,937) a(312,242) d(611) a(985,286) d(426) r(411,227) d(419) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) d(705) 
	  0 r(375,982) a(257,275) d(427) d(380) a(258,379) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) r(415,403) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(636) 
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) d(597) a(278,255) a(277,267) 
	  3 a(416,421) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) d(665) 
	  3 a(416,421) d(424) d(427) d(468) a(873,273) d(277) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000488/libtiff/tif_dirwrite.c  a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) r(617,883)  fails to compile
	  0 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) r(617,883) 
	  0 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) r(605,609) d(285) r(606,604) d(602) a(419,298) d(277) 
	  3 r(375,982) d(424) d(215) a(268,238) r(704,700) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(986) 
	  3 r(375,982) d(424) d(215) r(605,609) d(285) r(606,604) d(602) a(419,298) a(950,938) 
	  1 r(670,669) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) r(468,460) 
	  3 d(425) r(469,462) a(705,223) r(228,397) d(609) r(705,698) a(703,288) a(614,613) 
	  2 r(670,669) a(705,223) r(228,397) d(609) r(705,698) a(703,288) d(624) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) a(665,282) 
	  2 r(375,982) a(257,275) d(427) d(380) r(635,637) r(641,639) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) a(258,379) d(597) a(278,255) d(602) 
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) d(597) a(278,255) r(222,723) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) r(635,637) d(326) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(275) 
	  3 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) a(957,630) r(988,947) d(605) 
	  2 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) d(469) 
	  3 d(616) d(420) d(636) d(633) a(627,937) d(611) r(989,977) r(635,624) a(422,598) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) a(668,938) d(305) d(236) d(464) r(314,403) 
	  1 r(375,982) a(257,275) d(427) a(317,937) d(632) r(418,369) r(955,973) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000507/libtiff/tif_dirwrite.c  d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) r(418,369) r(949,632)  fails to compile
	  0 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) r(418,369) r(949,632) 
	  3 r(375,982) a(257,275) d(427) a(317,937) d(632) a(668,938) d(305) d(236) d(464) r(427,272) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(881) 
	  3 r(375,982) d(424) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(283,609) 
	  2 r(426,272) r(469,462) d(420) a(250,230) r(626,638) d(605) r(377,274) d(635) d(418) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(989) a(708,624) r(228,407) 
	  0 r(426,272) r(469,462) d(420) a(250,230) r(605,609) d(285) r(318,274) r(990,974) r(872,880) r(641,628) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) 
	  3 r(375,982) d(424) d(215) r(605,609) d(285) r(606,604) d(602) a(419,298) d(635) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) r(635,637) d(635) 
	  1 d(616) d(420) d(636) d(633) a(627,937) d(611) r(989,977) r(635,624) r(283,435) 
	  2 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) d(236) r(665,669) r(626,628) d(668) d(215) d(315) 
	  0 d(425) r(469,462) a(258,261) r(246,261) d(990) 
	  2 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) r(246,261) d(326) 
	  2 d(425) r(469,462) a(258,261) d(236) r(665,669) r(626,628) d(668) d(215) r(325,251) 
search: generation 9 (sizeof one variant = 0.104523 MB)
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000523/libtiff/tif_dirwrite.c  r(375,982) a(257,275) d(427) d(380) r(635,637) r(641,639) r(950,454)  fails to compile
	  0 r(375,982) a(257,275) d(427) d(380) r(635,637) r(641,639) r(950,454) 
	  2 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(989) a(708,624) d(611) r(707,709) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(317) 
	  3 a(416,421) r(872,875) d(698) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(872,875) a(638,394) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(285) 
	  3 a(416,421) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) d(305) d(255) a(268,238) d(275) r(274,351) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) a(258,598) d(665) a(426,276) 
	  3 a(416,421) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) d(665) d(215) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(275) r(286,434) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) a(258,379) d(597) a(278,255) d(602) r(633,625) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(986) d(698) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) d(631) r(374,371) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(283,609) a(606,672) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) r(314,403) d(277) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) a(668,938) d(305) d(236) d(464) d(608) a(425,715) 
	  1 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) r(443,444) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) a(668,938) d(305) d(236) d(464) r(314,403) d(424) 
	  2 r(375,982) a(257,275) d(427) d(380) a(258,379) d(632) a(668,938) d(305) r(443,444) d(236) r(665,669) r(626,628) d(668) d(215) d(315) r(407,281) 
	  3 d(616) d(420) d(636) r(469,462) a(317,937) d(597) a(278,255) r(222,723) d(463) 
	  3 r(375,982) a(257,275) d(427) d(380) a(258,379) d(597) a(278,255) r(222,723) d(471) 
	  0 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) d(236) r(665,669) r(626,628) d(668) d(215) d(315) d(314) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) d(989) a(708,624) r(228,407) r(698,705) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) d(631) a(703,228) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) a(258,379) d(597) a(278,255) d(602) d(276) 
	  2 r(375,982) d(424) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) d(640) 
	  0 a(416,421) d(248) 
	  1 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) r(246,261) d(326) d(424) d(427) d(468) a(873,273) d(277) r(872,879) 
	  3 a(416,421) d(424) d(427) d(468) a(873,273) d(277) r(605,606) 
	  1 d(616) d(420) d(636) r(469,462) a(317,937) d(632) a(668,938) d(305) r(443,444) r(246,261) d(326) r(407,326) 
	  2 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) r(228,397) d(609) r(705,698) a(703,288) d(701) r(314,415) 
	  2 r(670,669) a(705,223) d(631) r(632,631) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) d(631) d(707) 
	  2 r(670,669) a(705,223) r(228,397) d(609) r(705,698) a(703,288) d(701) a(237,255) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) a(274,317) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) d(469) d(626) 
	  3 r(375,982) a(257,275) d(427) a(317,937) d(632) a(668,938) d(305) d(236) d(464) r(427,272) d(700) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) r(700,699) 
	  1 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) r(635,637) d(635) d(374) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(616,611) d(665) d(379) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000563/libtiff/tif_dirwrite.c  a(416,421) d(424) d(215) d(597) a(278,255) d(705) r(247,685)  fails to compile
	  0 a(416,421) d(424) d(215) d(597) a(278,255) d(705) r(247,685) 
	  3 r(375,982) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) d(665) a(427,215) 
	  3 a(416,421) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) d(665) r(608,603) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) d(705) d(665) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) r(285,261) r(465,596) r(879,883) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000568/libtiff/tif_dirwrite.c  r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) d(634) a(631,282) d(705) r(937,632)  fails to compile
	  0 r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) d(634) a(631,282) d(705) r(937,632) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) d(705) r(278,375) 
	  3 r(426,272) r(471,469) a(883,880) r(238,435) r(319,346) d(613) d(634) a(631,282) r(285,261) r(465,596) d(378) 
	  3 r(987,962) d(418) a(708,873) d(222) d(215) d(427) d(258) d(953) r(270,311) a(950,440) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000572/libtiff/tif_dirwrite.c  r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) d(469) r(630,279)  fails to compile
	  0 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) d(469) r(630,279) 
	  2 r(375,982) d(424) d(597) a(278,255) d(705) d(361) 
	  3 r(375,982) d(424) d(215) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) d(406) 
	  2 r(375,982) d(424) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) d(413) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) d(705) a(881,686) 
	  0 r(375,982) a(985,286) d(426) r(464,455) a(324,972) d(990) 
	  2 r(375,982) d(424) a(312,242) d(611) d(424) d(215) d(597) a(278,255) d(705) r(272,420) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) d(705) d(701) 
	  3 r(375,982) d(424) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) d(380) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(872,875) d(468) a(873,273) d(312) d(222) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(420) 
	  2 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(872,875) a(880,624) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(617) 
search: generation 10 (sizeof one variant = 0.104655 MB)
	  1 r(375,982) d(424) d(215) d(597) a(278,255) d(705) d(665) a(597,487) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000586/libtiff/tif_dirwrite.c  d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(275) r(286,434) r(286,468)  fails to compile
	  0 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(275) r(286,434) r(286,468) 
	  2 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) r(873,973) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(872,875) a(638,394) d(420) a(377,982) 
	  2 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(420) d(986) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(872,875) a(638,394) r(275,354) 
	  1 r(375,982) d(424) a(312,242) d(611) d(255) a(268,238) d(275) r(274,351) d(246) 
	  3 a(416,421) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) d(305) a(985,286) d(426) r(464,455) a(324,972) d(413) a(937,973) 
	  3 r(375,982) d(424) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) d(413) d(232) 
	  3 a(416,421) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) d(305) d(255) a(268,238) d(275) r(274,351) a(377,429) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(285) a(310,278) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) a(668,938) d(305) d(236) d(464) r(314,403) d(424) r(633,628) 
	  3 a(416,421) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) d(665) r(608,603) d(987) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(872,875) a(880,624) d(954) 
	  3 r(375,982) a(257,275) d(427) a(317,937) d(632) a(668,938) d(305) d(236) d(464) r(427,272) d(700) r(640,630) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) a(258,379) d(597) a(278,255) d(602) r(633,625) d(986) 
	  2 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) d(611) a(985,286) d(426) r(464,455) a(324,972) d(406) a(703,394) 
	  0 r(375,982) d(424) d(215) a(312,242) d(631) r(374,371) r(462,586) 
	  2 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) d(631) r(374,371) r(595,587) 
	  3 r(375,982) d(424) d(215) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) d(406) a(611,687) 
	  3 a(416,421) d(424) d(427) d(468) a(873,273) a(374,307) d(954) d(295) d(608) a(274,317) d(701) 
	  1 r(375,982) r(665,670) a(257,275) d(427) d(380) d(277) r(605,606) d(409) 
	  3 a(416,421) d(424) d(427) d(468) a(873,273) d(277) r(605,606) a(443,949) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) a(274,317) d(305) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) a(881,686) d(267) 
	  1 r(375,982) d(424) d(215) d(597) a(278,255) d(705) d(295) r(314,403) d(277) d(665) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) r(314,403) d(277) r(316,374) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) d(705) a(881,686) d(597) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) d(705) a(881,686) d(287) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(986) d(698) a(956,871) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) d(631) a(703,228) r(989,962) 
	  2 r(375,982) d(424) d(215) d(597) a(278,255) d(705) d(665) d(602) 
	  3 a(416,421) d(229) a(668,938) d(305) d(236) d(464) d(608) a(425,715) r(880,883) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) d(665) d(215) r(595,550) 
	  3 a(416,421) r(293,598) a(257,275) d(633) r(293,598) a(257,275) d(633) d(424) d(427) a(258,598) d(665) d(215) a(285,397) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) a(878,223) d(229) a(668,938) d(305) d(236) d(464) d(608) a(425,715) d(232) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) a(708,624) d(631) r(374,371) r(222,276) 
	  3 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) d(986) d(698) r(282,351) 
	  1 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(268,238) d(986) d(698) r(413,356) 
	  2 r(375,982) d(424) d(215) r(605,609) a(317,937) d(632) d(236) r(665,669) d(427) a(234,268) r(698,700) d(989) a(708,624) d(631) r(374,371) a(318,268) 
	  3 r(375,982) d(611) a(985,286) d(426) r(464,455) a(324,972) d(413) r(598,723) 
	  3 r(375,982) d(424) a(312,242) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) a(274,317) a(285,235) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000627/libtiff/tif_dirwrite.c  r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) a(274,317) r(406,279)  fails to compile
	  0 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) a(274,317) r(406,279) 
	  2 r(375,982) d(424) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) d(413) d(594) 
	  2 r(375,982) d(424) d(215) d(597) a(278,255) d(427) d(468) a(873,273) d(312) d(317) r(881,882) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(293,598) a(257,275) d(633) d(424) r(285,261) r(465,596) r(879,883) d(272) 
	  3 r(375,982) d(424) d(215) d(597) a(278,255) r(285,261) r(465,596) r(879,883) d(228) 
	  3 r(426,272) r(469,462) d(236) r(665,669) d(427) a(234,268) d(873) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(317) d(624) 
	  2 d(425) r(469,462) a(317,937) d(632) r(240,292) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) a(274,317) a(668,938) d(305) d(255) a(957,630) a(258,379) d(597) a(278,255) d(602) r(633,625) r(276,269) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) a(258,379) d(597) a(278,255) d(602) r(633,625) d(614) 
	  3 r(375,982) r(665,670) a(257,275) d(427) d(380) a(374,307) d(954) d(295) d(608) a(274,317) a(632,267) 
	  3 d(425) r(469,462) a(614,395) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) a(258,598) d(665) a(426,276) a(317,937) d(632) a(668,938) a(258,598) d(665) a(426,276) d(471) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) a(258,598) d(665) a(426,276) d(463) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) a(258,598) d(665) a(426,276) d(990) 
	  2 r(375,982) d(424) d(215) d(597) a(278,255) d(705) a(881,686) d(625) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(617) d(631) 
	  1 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) r(415,435) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(285) d(312) d(617) a(633,235) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(617) d(608) 
	  3 a(416,421) r(293,598) a(257,275) d(633) d(424) d(427) d(468) a(873,273) d(312) d(285) a(594,594) 
	  3 r(375,982) d(424) a(312,242) d(611) r(626,627) 
	  2 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) a(258,379) d(597) a(278,255) d(602) r(633,625) a(985,286) d(426) r(464,455) a(324,972) d(380) a(238,242) 
	  3 r(375,982) d(424) a(312,242) d(611) a(985,286) d(426) r(464,455) a(324,972) d(380) r(276,411) 
	  3 d(425) r(469,462) a(317,937) d(632) a(668,938) d(305) d(255) a(957,630) a(258,379) d(597) a(278,255) d(602) r(633,625) r(232,219) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 2537
"Test Suite Evaluations": 72.4857

Compile Failures: 17
Wall-Clock Seconds Elapsed: 10626.1
  Activity Name                     Count Seconds = Percent of Total Time
  test                               2504 1475.809 = 14.0807%
  compile                             652 9005.229 = 85.9189%
  TOTAL                                   10481.075 = 98.6354% (avg CPU usage)
libtiff-bug-2006-02-23-b2ce5d8-207c78a.tar.gz
Sat Sep 21 18:27:18 EDT 2013
shutting down
