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 10
--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-166-55-143 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:19 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/tmp9b3749.c /tmp/tmpa795d2.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 = 23.3192)
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.00962639 MB)
	  2 d(955) 
	  3 a(319,302) 
	  3 d(424) 
	  3 d(281) 
	  0 r(251,373) 
	  3 r(608,602) 
	  1 r(276,404) 
	  2 r(311,401) 
	  3 d(667) 
	  3 a(424,430) 
	  3 d(707) 
	  3 r(249,220) 
	  1 r(414,408) 
	  1 a(426,404) 
	  3 d(609) 
	  3 d(273) 
	  3 r(418,238) 
	  3 r(257,381) 
	  0 d(257) 
	  3 d(324) 
	  3 d(640) 
	  3 r(250,255) 
	  3 r(667,665) 
	  3 d(242) 
	  3 r(373,376) 
	  3 d(314) 
	  3 d(635) 
	  3 d(258) 
	  3 d(244) 
	  3 r(633,637) 
	  3 d(255) 
	  3 d(222) 
	  3 r(314,227) 
	  3 r(293,456) 
	  1 r(711,707) 
	  3 r(705,704) 
	  3 r(419,397) 
	  3 a(309,252) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000038/libtiff/tif_dirwrite.c  r(937,274)  fails to compile
	  0 r(937,274) 
	  3 original
search: generation 1 (sizeof one variant = 0.106946 MB)
	  2 d(955) a(270,257) 
	  3 a(319,302) d(641) 
	  3 d(667) a(597,399) 
	  0 r(311,401) d(237) 
	  3 d(667) d(630) 
	  1 r(311,401) r(277,322) 
	  0 r(250,255) r(238,346) 
	  2 d(314) d(670) 
	  3 r(667,665) a(639,273) 
	  1 d(222) d(883) 
	  3 r(667,665) r(222,286) 
	  3 d(222) r(636,641) 
	  3 d(314) a(471,982) 
	  3 d(707) r(416,422) 
	  3 d(314) d(215) 
	  3 d(707) a(286,303) 
	  3 d(244) a(410,301) 
	  0 r(314,227) d(381) 
	  3 d(244) a(956,233) 
	  3 r(314,227) d(293) 
	  1 r(373,376) r(706,699) 
	  3 d(424) d(615) 
	  3 r(373,376) a(468,305) 
	  3 d(424) r(605,608) 
	  3 d(424) r(635,638) 
	  0 d(314) d(243) 
	  3 d(424) d(666) 
	  3 d(314) d(424) 
	  1 d(640) d(633) 
	  3 d(255) r(608,604) 
	  3 a(319,302) d(627) 
	  3 r(608,602) d(267) 
	  1 d(281) d(422) 
	  3 d(258) a(305,266) 
	  3 d(281) r(311,272) 
	  3 d(258) d(880) 
	  2 r(705,704) d(464) 
	  3 a(309,252) r(701,700) 
	  3 r(705,704) a(270,968) 
	  3 a(309,252) d(949) 
	  2 r(250,255) a(374,270) 
	  1 d(640) d(409) 
	  3 r(250,255) d(307) 
	  2 d(640) r(626,625) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000083/libtiff/tif_dirwrite.c  d(273) r(609,979)  fails to compile
	  0 d(273) r(609,979) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000084/libtiff/tif_dirwrite.c  r(257,381) r(609,989)  fails to compile
	  0 r(257,381) r(609,989) 
	  1 a(319,302) d(443) 
	  3 r(293,456) r(634,633) 
	  3 a(319,302) d(642) 
	  3 r(293,456) d(615) 
	  3 r(293,456) d(615) 
	  3 a(424,430) r(956,962) 
	  3 r(608,602) d(469) 
	  2 d(314) d(423) 
	  3 r(608,602) r(275,322) 
	  1 d(314) r(238,258) 
	  3 r(373,376) r(704,702) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000096/libtiff/tif_dirwrite.c  d(242) r(630,415)  fails to compile
	  0 d(242) r(630,415) 
	  3 r(608,602) r(315,276) 
	  3 d(324) a(423,268) 
	  3 d(424) d(617) 
	  1 d(640) r(319,268) 
	  1 d(424) r(875,881) 
	  1 d(640) a(295,714) 
search: generation 2 (sizeof one variant = 0.107663 MB)
	  3 a(309,252) r(701,700) r(608,607) 
	  3 r(373,376) a(468,305) r(957,693) 
	  3 a(309,252) r(701,700) a(256,937) 
	  2 r(373,376) a(468,305) r(272,219) 
	  1 d(640) a(667,950) 
	  2 d(314) d(424) d(409) d(310) 
	  2 d(640) d(409) a(637,708) 
	  3 d(314) d(424) d(701) 
	  1 a(424,430) d(424) r(415,361) 
	  0 d(314) r(956,962) r(876,872) 
	  3 a(424,430) r(956,962) a(705,687) 
	  3 d(314) d(424) a(634,699) 
	  1 d(667) d(630) d(639) 
	  2 r(608,602) d(267) r(875,883) 
	  1 a(309,252) d(640) 
	  0 r(373,376) r(706,699) r(701,700) r(883,881) 
	  3 a(309,252) r(701,700) d(229) 
	  2 r(373,376) r(706,699) a(380,258) 
	  3 d(258) d(880) d(242) 
	  3 a(424,430) r(956,962) a(464,247) 
	  0 d(314) d(243) d(669) 
	  3 r(250,255) a(374,270) a(316,270) 
	  0 d(314) d(243) r(356,368) 
	  3 r(250,255) a(374,270) a(609,609) 
	  2 d(222) r(636,641) a(268,377) 
	  3 a(424,430) r(956,962) r(215,399) 
	  0 d(258) a(305,266) d(251) 
	  3 d(424) d(615) r(250,412) 
	  1 d(640) r(319,268) r(258,229) 
	  2 d(244) a(410,301) a(261,318) 
	  1 a(319,302) d(642) a(286,303) r(604,603) 
	  2 d(707) a(633,375) 
	  1 a(319,302) d(642) r(377,266) 
	  3 d(707) a(286,303) d(465) 
	  3 a(309,252) d(617) r(325,418) 
	  0 d(424) d(949) r(408,287) 
	  3 a(309,252) d(949) r(315,244) 
	  3 d(424) d(617) d(406) 
	  3 d(424) r(635,638) r(314,227) 
	  1 a(319,302) d(642) a(873,216) 
	  2 d(707) a(286,303) d(267) r(616,614) 
	  3 r(608,602) r(611,613) 
	  3 d(707) a(286,303) a(876,630) 
	  1 r(608,602) d(267) d(381) 
	  3 r(314,227) d(293) d(668) 
	  0 a(319,302) d(641) r(957,282) 
	  3 r(314,227) d(293) r(626,631) 
	  2 a(319,302) d(641) d(608) 
	  3 d(258) a(305,266) d(957) 
	  0 a(319,302) d(642) d(246) 
	  1 r(608,602) d(267) r(990,989) 
	  3 r(293,456) r(634,633) d(382) 
	  1 r(311,401) r(277,322) r(624,611) 
	  3 r(667,665) a(639,273) a(880,292) 
	  3 d(258) r(641,630) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000158/libtiff/tif_dirwrite.c  r(314,227) d(293) a(305,266) r(703,352)  fails to compile
	  0 r(314,227) d(293) a(305,266) r(703,352) 
	  2 d(258) a(305,266) r(595,481) 
	  3 r(314,227) d(293) a(956,987) 
	  3 a(424,430) r(956,962) a(261,967) 
	  3 a(309,252) r(701,700) d(278) 
search: generation 3 (sizeof one variant = 0.107831 MB)
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000163/libtiff/tif_dirwrite.c  d(258) a(305,266) r(595,481) r(293,744)  fails to compile
	  0 d(258) a(305,266) r(595,481) r(293,744) 
	  0 r(373,376) a(468,305) r(272,219) r(256,349) 
	  1 d(424) d(615) r(250,412) r(252,435) 
	  1 r(608,602) d(267) r(990,989) d(415) 
	  1 r(314,227) d(293) a(316,270) d(626) 
	  3 r(250,255) a(374,270) d(668) r(638,635) 
	  2 r(314,227) d(293) d(668) r(608,607) 
	  3 r(250,255) a(374,270) a(316,270) a(268,281) 
	  2 r(608,602) d(267) d(293) a(956,987) r(356,377) 
	  3 r(314,227) r(875,883) d(627) 
	  2 r(608,602) d(267) r(875,883) d(642) 
	  3 r(314,227) d(293) a(956,987) a(955,671) 
	  3 r(314,227) r(701,700) r(608,607) r(630,298) 
	  3 a(309,252) d(293) a(956,987) a(421,265) 
	  3 r(314,227) d(293) a(956,987) a(882,233) 
	  2 a(309,252) r(701,700) r(608,607) r(274,232) 
	  0 d(258) d(880) d(242) d(876) 
	  3 r(608,602) r(611,613) a(295,255) 
	  3 d(222) r(702,706) 
	  2 d(314) d(424) a(634,699) r(636,641) a(268,377) d(471) 
	  1 d(222) r(636,641) a(268,377) d(642) 
	  3 d(314) d(424) a(634,699) r(275,295) 
	  1 r(314,227) d(293) d(668) d(408) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) 
	  2 d(244) d(267) r(875,883) r(279,310) 
	  2 r(608,602) a(410,301) a(261,318) d(315) 
	  0 d(244) a(410,301) a(261,318) d(420) 
	  2 r(608,602) d(267) r(875,883) d(703) 
	  3 r(314,227) r(258,229) a(414,267) 
	  1 d(640) r(319,268) d(293) r(626,631) a(230,420) 
	  3 r(314,227) d(293) r(626,631) d(222) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000194/libtiff/tif_dirwrite.c  d(640) r(319,268) r(258,229) r(957,322)  fails to compile
	  0 d(640) r(319,268) r(258,229) r(957,322) 
	  0 d(244) a(410,301) a(261,318) a(261,434) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000196/libtiff/tif_dirwrite.c  d(424) d(615) r(250,412) r(950,312)  fails to compile
	  0 d(424) d(615) r(250,412) r(950,312) 
	  1 d(640) r(319,268) a(316,270) r(628,624) 
	  3 r(250,255) a(374,270) r(258,229) r(232,256) 
	  1 d(640) r(319,268) r(258,229) r(880,882) 
	  2 r(250,255) a(374,270) a(316,270) r(407,375) 
	  2 d(424) d(615) r(250,412) a(249,550) 
	  3 a(309,252) d(949) r(315,244) a(236,408) 
	  0 a(309,252) d(949) r(315,244) a(417,318) 
	  2 d(258) r(641,630) d(604) 
	  3 r(667,665) a(639,273) a(880,292) d(425) 
	  3 d(314) d(424) a(634,699) d(872) 
	  3 r(314,227) d(293) a(412,413) 
	  3 a(424,430) r(956,962) a(261,967) a(956,987) d(615) 
	  3 r(314,227) d(293) a(956,987) d(627) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) 
	  1 r(608,602) d(414) 
	  1 d(244) a(410,301) a(261,318) r(611,613) d(986) 
	  3 r(608,602) r(611,613) a(471,454) 
	  0 d(244) a(410,301) a(261,318) r(667,668) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) 
	  3 r(250,255) a(374,270) a(609,609) a(415,283) 
	  3 r(608,602) r(611,613) r(286,423) 
	  0 d(258) a(305,266) d(957) r(251,325) 
	  2 d(258) a(305,266) r(595,481) d(875) 
	  2 r(373,376) r(706,699) a(380,258) d(258) 
search: generation 4 (sizeof one variant = 0.108879 MB)
	  3 d(314) r(626,631) d(222) a(406,255) 
	  3 r(314,227) d(293) d(424) a(634,699) d(872) r(700,701) 
	  2 d(314) d(424) a(634,699) d(872) a(625,982) 
	  3 r(314,227) d(293) r(626,631) d(222) r(635,633) 
	  3 r(250,255) a(374,270) a(421,265) r(277,298) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000226/libtiff/tif_dirwrite.c  a(309,252) d(293) a(956,987) a(609,609) a(415,283) r(624,226)  fails to compile
	  0 a(309,252) d(293) a(956,987) a(609,609) a(415,283) r(624,226) 
	  1 r(250,255) a(374,270) a(609,609) a(415,283) r(279,435) 
	  3 a(309,252) d(293) a(956,987) a(421,265) d(669) 
	  0 r(314,227) d(293) a(956,987) d(627) a(274,379) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(669,667) 
	  0 r(314,227) d(293) a(305,266) d(957) r(251,325) r(412,272) 
	  3 d(258) a(956,987) a(955,671) d(603) 
	  3 r(314,227) d(293) a(956,987) a(955,671) a(641,693) 
	  0 d(258) a(305,266) d(957) r(251,325) a(871,265) 
	  3 r(608,602) a(410,301) d(985) 
	  2 a(424,430) r(956,962) a(261,967) a(703,293) a(261,318) d(315) r(249,324) 
	  0 r(608,602) a(410,301) a(261,318) d(315) r(700,705) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(607,278) 
	  3 r(314,227) r(875,883) d(627) d(425) d(215) 
	  3 r(667,665) a(639,273) a(880,292) a(881,375) 
	  3 r(314,227) r(875,883) d(627) r(878,882) 
	  3 r(667,665) a(639,273) a(880,292) d(425) d(615) 
	  0 r(373,376) r(706,699) d(408) r(234,418) 
	  2 r(314,227) d(293) d(668) a(380,258) d(258) r(698,700) 
	  2 r(373,376) r(706,699) a(380,258) d(258) r(308,249) 
	  0 r(314,227) d(293) d(668) d(408) a(464,462) 
	  3 r(314,227) r(258,229) a(414,267) a(666,672) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) a(633,282) 
	  0 r(314,227) r(258,229) a(414,267) a(243,309) 
	  1 r(667,665) a(639,273) a(880,292) a(988,993) r(236,404) 
	  3 r(314,227) d(293) r(626,631) d(222) r(245,292) 
	  2 r(314,227) r(701,700) r(608,607) r(630,298) d(376) 
	  2 d(640) r(319,268) d(293) r(626,631) a(607,722) 
	  3 r(314,227) d(293) a(956,987) a(955,671) a(230,420) a(950,943) 
	  0 d(640) r(319,268) d(293) r(626,631) a(230,420) d(616) 
	  3 r(314,227) d(293) a(956,987) a(955,671) d(312) 
	  3 r(250,255) a(374,270) r(258,229) r(232,256) r(279,238) 
	  3 d(258) r(641,630) d(604) d(462) 
	  1 r(608,602) r(611,613) r(286,423) a(409,378) 
	  2 r(373,376) r(706,699) a(380,258) d(258) a(880,249) 
	  3 r(314,227) a(635,637) r(293,286) 
	  3 r(667,665) a(639,273) a(880,292) r(875,883) d(627) r(416,287) 
	  2 r(314,227) r(875,883) d(627) r(273,354) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) 
	  1 r(667,665) a(639,273) a(880,292) a(635,637) a(251,374) 
	  0 a(309,252) r(701,700) r(608,607) r(274,232) d(230) 
	  1 d(244) d(267) r(875,883) r(279,310) d(957) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(267) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) 
	  2 r(608,602) d(267) r(875,883) d(642) r(598,959) 
	  2 r(314,227) r(701,700) r(608,607) r(630,298) d(700) 
	  0 a(309,252) r(701,700) r(608,607) r(274,232) r(880,881) 
	  2 r(314,227) r(701,700) r(608,607) r(630,298) d(613) 
	  0 a(309,252) r(701,700) r(608,607) r(274,232) d(275) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) 
	  2 r(667,665) r(706,699) a(380,258) d(258) a(422,972) 
	  1 r(373,376) r(706,699) a(380,258) d(258) r(625,234) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(471) 
	  3 r(314,227) d(293) a(412,413) a(605,256) 
	  1 r(667,665) a(639,273) a(880,292) a(988,993) d(377) 
	  3 r(314,227) a(380,258) d(258) d(324) 
	  0 r(373,376) r(706,699) d(293) r(626,631) d(222) d(597) 
	  3 r(314,227) d(293) r(626,631) d(222) r(988,958) 
	  1 r(373,376) r(706,699) a(380,258) d(258) r(248,309) 
search: generation 5 (sizeof one variant = 0.108897 MB)
	  1 r(667,665) a(955,671) a(230,420) a(950,943) a(408,433) 
	  1 r(314,227) d(293) a(956,987) a(639,273) a(880,292) a(635,637) a(251,374) a(879,222) 
	  0 r(667,665) a(639,273) a(880,292) a(635,637) a(251,374) a(377,278) 
	  1 r(314,227) d(293) a(956,987) a(955,671) a(230,420) a(950,943) r(238,428) 
	  3 r(667,665) a(639,273) a(880,292) a(421,265) d(669) a(949,228) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000290/libtiff/tif_dirwrite.c  a(309,252) d(293) a(956,987) a(635,637) d(267) r(228,594)  fails to compile
	  0 a(309,252) d(293) a(956,987) a(635,637) d(267) r(228,594) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(267) r(293,361) 
	  3 a(309,252) d(293) a(956,987) a(421,265) d(669) d(276) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000294/libtiff/tif_dirwrite.c  r(373,376) a(639,273) a(880,292) a(261,318) d(315) r(249,324) r(247,742)  fails to compile
	  0 r(373,376) a(639,273) a(880,292) a(261,318) d(315) r(249,324) r(247,742) 
	  0 a(424,430) r(956,962) a(261,967) a(703,293) a(261,318) d(315) r(249,324) r(415,380) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) a(319,247) 
	  0 r(314,227) d(424) a(634,699) d(872) r(700,701) d(873) 
	  3 r(314,227) d(293) d(293) r(626,631) d(222) r(635,633) a(309,300) 
	  3 r(314,227) d(293) r(626,631) d(222) r(635,633) d(937) 
	  3 r(314,227) d(293) d(424) a(634,699) d(872) r(700,701) d(382) 
	  1 r(608,602) d(267) r(875,883) d(642) r(598,959) d(240) 
	  0 r(667,665) a(639,273) a(880,292) a(635,637) a(251,374) a(469,305) 
	  3 r(373,376) a(639,273) d(316) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(267) a(880,292) a(988,993) d(871) a(413,439) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(267) d(361) 
	  1 r(250,255) a(374,270) a(955,671) d(603) a(228,227) 
	  0 d(258) a(956,987) a(421,265) r(277,298) a(624,228) 
	  2 r(250,255) a(374,270) a(421,265) r(277,298) r(415,419) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) 
	  1 r(667,665) a(639,273) a(880,292) a(421,265) r(277,298) r(631,642) 
	  0 r(250,255) a(374,270) r(875,883) d(627) r(416,287) a(419,370) 
	  2 r(667,665) a(639,273) a(880,292) r(875,883) d(627) r(416,287) a(307,414) 
	  3 r(250,255) a(374,270) a(421,265) r(277,298) r(882,872) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) 
	  2 r(667,665) a(639,273) a(880,292) a(988,993) d(471) a(382,403) 
	  1 r(373,376) r(706,699) d(408) r(234,418) d(872) 
	  1 r(667,665) a(639,273) a(880,292) a(881,375) d(631) 
	  3 r(314,227) a(635,637) r(701,700) r(608,607) r(630,298) d(376) r(880,879) 
	  3 r(314,227) r(293,286) r(382,269) 
	  3 r(314,227) a(635,637) r(293,286) d(239) 
	  2 r(314,227) r(701,700) r(608,607) r(630,298) d(376) d(310) 
	  1 r(314,227) d(293) a(956,987) a(955,671) a(641,693) d(274) 
	  0 r(314,227) d(293) a(956,987) a(955,671) a(230,420) a(950,943) r(954,996) 
	  3 d(244) d(267) d(627) d(425) d(215) d(255) 
	  2 r(314,227) r(875,883) r(875,883) r(279,310) d(957) d(379) 
	  2 d(244) d(267) r(875,883) r(279,310) d(957) d(617) 
	  1 r(314,227) r(875,883) d(627) d(425) d(215) d(703) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(701) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) a(633,282) d(420) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(627,632) 
	  3 r(250,255) a(374,270) r(258,229) r(232,256) r(279,238) r(878,871) 
	  2 r(250,255) a(374,270) r(258,229) r(232,256) r(279,238) d(872) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) 
	  2 r(314,227) d(293) a(956,987) d(985) r(251,249) 
	  3 r(608,602) a(410,301) a(955,671) d(312) d(880) 
	  3 r(314,227) d(293) a(956,987) a(955,671) d(312) a(707,288) 
	  2 r(608,602) a(410,301) d(985) d(258) 
	  3 r(314,227) d(293) d(668) a(380,258) d(258) r(698,700) r(237,404) 
	  3 d(258) a(956,987) a(955,671) d(603) a(670,703) 
	  2 d(640) r(319,268) d(293) r(626,631) a(607,722) r(317,409) r(639,632) 
	  3 r(250,255) a(374,270) d(668) r(638,635) a(596,699) 
	  2 d(640) r(319,268) d(293) r(626,631) a(607,722) a(602,949) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) r(277,420) 
	  3 r(314,227) d(293) d(424) a(634,699) d(872) r(700,701) d(237) 
	  2 a(309,252) d(293) a(956,987) a(421,265) d(669) d(242) 
	  2 r(667,665) a(639,273) r(626,631) d(222) d(597) d(310) 
	  3 r(373,376) r(706,699) d(293) a(880,292) d(425) d(615) d(425) 
	  3 r(667,665) a(639,273) a(880,292) d(425) d(615) a(273,229) 
	  1 r(373,376) r(706,699) d(293) r(626,631) d(222) d(597) r(413,420) 
search: generation 6 (sizeof one variant = 0.109554 MB)
	  3 r(608,602) a(410,301) a(955,671) d(312) d(880) r(319,223) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) 
	  1 r(667,665) a(639,273) a(880,292) a(881,375) d(631) r(308,315) 
	  1 r(314,227) r(293,286) r(382,269) d(252) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) a(248,417) 
	  3 r(314,227) d(293) d(424) a(634,699) d(872) r(700,701) d(237) d(375) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) 
	  1 d(258) a(956,987) a(955,671) d(701) r(598,230) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(701) r(229,268) 
	  1 d(258) a(956,987) a(955,671) d(603) r(603,602) r(443,444) 
	  3 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) 
	  2 r(667,665) a(639,273) a(880,292) r(875,883) d(627) r(416,287) d(239) d(609) 
	  3 r(314,227) a(635,637) r(293,286) d(239) a(421,708) 
	  3 r(667,665) a(639,273) a(880,292) r(875,883) d(627) r(416,287) a(307,414) a(375,625) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) a(955,671) d(312) d(880) a(605,693) 
	  3 r(608,602) a(410,301) d(611) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) d(665) 
	  1 r(608,602) a(410,301) a(955,671) d(312) d(880) r(425,433) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) d(305) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) 
	  1 r(373,376) d(871) a(319,247) r(229,347) 
	  1 r(373,376) a(639,273) a(880,292) a(988,993) a(639,273) d(316) r(628,634) 
	  3 r(373,376) a(639,273) d(316) r(356,411) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) a(319,247) r(324,300) 
	  3 r(667,665) a(639,273) a(880,292) a(421,265) d(669) a(949,228) a(872,292) 
	  1 r(608,602) a(410,301) a(955,671) d(312) d(880) d(443) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(376,276) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000378/libtiff/tif_dirwrite.c  d(258) a(956,987) a(955,671) d(603) r(603,602) r(282,728)  fails to compile
	  0 d(258) a(956,987) a(955,671) d(603) r(603,602) r(282,728) 
	  3 d(244) d(267) d(627) d(425) d(215) d(255) d(293) r(626,631) a(607,722) a(602,949) a(598,598) 
	  2 d(640) r(319,268) a(238,301) 
	  3 d(244) d(267) d(627) d(425) d(215) d(255) d(309) 
	  1 d(640) r(319,268) d(293) r(626,631) a(607,722) a(602,949) a(249,231) 
	  1 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(988,993) d(471) d(701) r(957,223) 
	  2 r(667,665) a(639,273) a(880,292) r(277,420) r(989,968) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) r(277,420) a(308,967) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(701) r(312,346) 
	  2 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(701) d(615) d(425) r(990,955) 
	  1 r(373,376) r(706,699) d(293) a(880,292) d(425) r(419,261) 
	  1 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(701) r(239,232) 
	  0 r(373,376) r(706,699) d(293) a(880,292) d(425) d(615) d(425) d(222) 
	  0 r(314,227) d(293) d(222) r(635,633) a(309,300) d(251) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) 
	  3 r(314,227) d(293) a(956,987) a(955,671) d(312) a(707,288) a(286,376) 
	  1 r(314,227) d(293) d(293) r(626,631) d(222) r(635,633) a(309,300) d(411) 
	  2 r(667,665) a(635,637) r(701,700) r(608,607) r(630,298) d(376) r(880,879) a(317,268) 
	  1 r(314,227) a(639,273) a(880,292) a(635,637) d(267) r(293,361) r(636,628) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(267) r(293,361) a(315,267) 
	  3 r(314,227) a(635,637) r(701,700) r(608,607) r(630,298) d(376) r(880,879) r(228,953) 
	  1 r(667,665) a(639,273) a(880,292) r(244,307) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(988,993) a(633,282) d(420) d(271) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) a(633,282) d(420) d(423) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000402/libtiff/tif_dirwrite.c  r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(267,611)  fails to compile
	  0 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(267,611) 
	  3 d(258) a(956,987) a(639,273) a(880,292) a(988,993) d(471) d(701) r(872,876) 
	  3 r(667,665) a(955,671) d(603) r(603,602) r(705,702) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) a(616,982) 
	  1 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(701) d(642) 
	  3 r(314,227) d(293) a(956,987) a(261,967) a(703,293) a(988,993) d(871) a(269,687) d(229) 
	  1 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(251,374) a(879,222) r(705,706) 
	  1 r(314,227) d(293) a(956,987) a(639,273) a(880,292) a(635,637) a(251,374) a(879,222) a(704,700) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) r(950,723) 
	  1 r(373,376) a(639,273) d(316) r(374,434) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) a(633,282) d(420) r(268,377) 
	  3 r(314,227) r(293,286) r(382,269) d(703) 
	  0 r(667,665) a(639,273) a(880,292) a(635,637) d(267) d(361) d(279) 
search: generation 7 (sizeof one variant = 0.108825 MB)
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(635,637) d(636) d(614) r(376,276) a(316,232) 
	  0 r(667,665) a(639,273) a(880,292) d(305) d(274) 
	  0 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) d(305) r(420,368) 
	  2 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(376,276) a(229,251) 
	  0 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) d(603) r(603,602) r(443,444) d(413) 
	  1 d(258) a(956,987) a(955,671) a(707,288) d(666) d(706) 
	  0 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) r(243,421) 
	  1 d(258) a(956,987) a(955,671) d(603) r(603,602) r(443,444) r(635,633) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) a(248,417) d(308) 
	  1 r(314,227) a(639,273) a(880,292) a(635,637) d(267) r(293,361) r(636,628) d(471) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) r(285,274) 
	  0 r(667,665) a(639,273) a(880,292) r(244,307) a(700,714) d(305) d(665) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) d(305) d(668) 
	  0 r(667,665) a(639,273) a(880,292) r(244,307) a(376,251) 
	  3 a(424,430) a(418,699) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) a(248,417) r(248,257) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) a(248,417) a(950,980) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) d(361) 
	  2 r(667,665) a(955,671) d(603) r(603,602) r(705,702) d(614) a(988,993) a(633,282) d(420) d(271) r(615,614) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) a(706,235) 
	  3 r(667,665) a(955,671) d(603) r(603,602) r(705,702) d(602) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(988,993) a(633,282) d(420) d(271) a(611,703) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(376,347) 
	  2 r(373,376) a(248,266) d(279) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) r(305,410) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) 
	  0 r(667,665) a(639,273) a(880,292) a(421,265) d(669) a(949,228) a(872,292) a(286,376) r(252,322) 
	  3 r(314,227) d(293) a(956,987) a(955,671) d(312) a(707,288) a(414,410) 
	  1 r(667,665) a(639,273) a(880,292) a(421,265) d(669) a(949,228) a(872,292) r(949,948) 
	  2 r(314,227) d(293) a(956,987) a(955,671) d(312) a(707,288) a(286,376) d(708) 
	  1 r(667,665) a(639,273) a(880,292) r(244,307) d(594) 
	  0 r(667,665) a(639,273) a(880,292) a(881,375) d(631) r(308,315) r(248,407) 
	  2 r(667,665) a(639,273) d(880) r(319,223) r(635,625) 
	  2 r(608,602) a(410,301) a(955,671) d(312) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) a(603,672) 
	  1 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) d(251) 
	  3 r(608,602) a(410,301) a(955,671) d(312) d(880) r(319,223) a(251,324) 
	  2 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(376,276) a(271,394) 
	  0 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(988,993) a(633,282) d(420) d(271) r(318,326) 
	  2 r(314,227) a(635,637) r(293,286) d(239) a(421,708) d(426) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) a(633,282) d(420) r(268,377) d(417) 
	  1 r(667,665) a(639,273) a(880,292) r(277,420) r(989,968) r(418,404) 
	  1 d(244) d(267) d(627) d(425) d(215) d(255) d(293) r(626,631) a(607,722) a(602,949) a(598,598) r(246,281) 
	  1 r(667,665) a(639,273) a(251,374) a(879,222) r(705,706) d(670) 
	  3 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) a(594,686) 
	  1 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(251,374) a(879,222) r(705,706) r(242,273) 
	  2 r(373,376) a(639,273) d(316) r(356,411) d(312) d(880) r(319,223) d(604) 
	  3 r(608,602) a(410,301) a(955,671) d(625) 
	  3 r(373,376) a(639,273) d(316) r(356,411) d(420) 
	  2 r(608,602) a(410,301) a(955,671) d(312) d(880) r(319,223) d(937) 
	  3 d(258) a(956,987) a(955,671) a(633,282) d(420) r(268,377) r(285,232) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000467/libtiff/tif_dirwrite.c  d(258) a(956,987) a(955,671) d(603) r(603,602) d(665) r(937,487)  fails to compile
	  0 d(258) a(956,987) a(955,671) d(603) r(603,602) d(665) r(937,487) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) a(633,282) d(420) r(268,377) r(252,423) 
	  1 r(314,227) d(293) a(956,987) a(639,273) a(880,292) a(635,637) a(251,374) a(879,222) a(704,700) a(380,258) 
	  1 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(701) d(615) d(425) r(990,955) a(700,305) 
	  2 r(667,665) a(639,273) a(880,292) a(635,637) r(603,602) d(665) r(603,607) 
	  3 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) 
	  2 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(376,276) d(626) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) d(665) d(609) 
	  2 r(314,227) a(635,637) r(293,286) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) r(236,438) 
	  0 r(314,227) d(293) d(293) a(307,414) r(247,687) d(230) 
	  3 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) 
	  2 a(424,430) r(956,962) a(261,967) a(703,293) a(956,987) a(955,671) d(603) r(603,602) d(665) a(248,950) 
	  3 d(258) a(988,993) d(871) a(269,687) r(950,723) r(287,882) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) r(950,723) a(244,671) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) d(665) a(283,873) 
search: generation 8 (sizeof one variant = 0.109557 MB)
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(635,637) d(636) d(614) r(376,276) a(316,232) r(882,880) 
	  3 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) d(244) 
	  2 r(608,602) a(410,301) a(955,671) d(312) d(880) r(319,223) a(251,324) d(602) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(471) d(701) d(615) d(425) r(990,955) a(700,305) d(308) 
	  1 d(258) a(956,987) r(471,458) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) a(955,671) d(603) r(603,602) d(665) a(283,873) a(232,293) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) d(665) a(283,873) a(665,973) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) r(698,700) 
	  2 r(373,376) a(639,273) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) d(361) r(937,715) 
	  3 r(250,255) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(314) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(243) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) d(361) d(381) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) d(703) 
	  3 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) r(376,276) d(626) d(625) 
	  2 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(376,276) d(626) d(876) 
	  3 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) r(633,638) 
	  1 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) a(700,714) a(248,266) d(361) a(268,972) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(317,409) r(287,345) r(282,318) 
	  2 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) d(602) 
	  1 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) d(361) d(615) 
	  3 r(667,665) a(639,273) d(880) r(319,223) r(635,625) d(410) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(883) 
	  3 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(424,244) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000506/libtiff/tif_dirwrite.c  a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) r(381,325)  fails to compile
	  0 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) r(381,325) 
	  3 r(667,665) d(625) d(420) 
	  2 r(608,602) a(410,301) a(955,671) a(639,273) a(880,292) a(635,637) d(636) a(706,235) d(268) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) a(706,235) d(325) 
	  2 r(608,602) a(410,301) a(955,671) d(625) a(443,394) 
	  2 r(314,227) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) a(239,418) 
	  3 d(258) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(640,708) 
	  2 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) r(637,641) 
	  3 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) r(410,230) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) r(950,723) a(244,671) a(246,233) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(988,993) a(633,282) d(420) d(271) a(611,703) d(624) 
	  3 r(667,665) a(639,273) d(880) r(319,223) r(635,625) a(615,598) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(376,276) d(626) a(462,672) 
	  0 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) r(376,276) d(626) d(274) 
	  3 r(667,665) a(639,273) d(880) r(319,223) r(635,625) r(639,634) 
	  3 r(667,665) a(955,671) d(603) r(603,602) r(705,702) d(602) a(638,233) 
	  3 d(258) a(956,987) a(955,671) a(633,282) d(420) r(268,377) r(285,232) a(596,957) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(305,410) r(638,636) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000524/libtiff/tif_dirwrite.c  r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) r(603,605) a(881,715) r(598,991)  fails to compile
	  0 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) r(603,605) a(881,715) r(598,991) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(878) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) r(305,410) d(316) 
	  0 r(667,665) a(639,273) a(880,292) r(277,420) r(989,968) r(418,404) a(271,318) 
	  0 d(258) a(988,993) d(871) a(269,687) r(950,723) r(287,882) d(706) 
	  2 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) r(427,292) 
	  3 r(608,602) a(410,301) a(955,671) d(312) d(880) r(319,223) d(937) a(635,624) 
	  1 r(608,602) a(410,301) a(955,671) d(312) d(880) r(319,223) a(251,324) r(272,270) 
	  3 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) d(222) 
	  3 r(373,376) a(639,273) d(953) 
	  0 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) d(316) r(356,411) d(312) d(880) r(319,223) d(604) d(705) 
	  3 r(373,376) a(639,273) d(316) r(356,411) d(312) d(880) r(319,223) d(604) r(642,637) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) d(312) 
	  0 r(314,227) d(293) a(956,987) a(639,273) a(880,292) a(635,637) a(251,374) a(879,222) a(704,700) a(380,258) a(231,433) 
	  2 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(988,993) a(633,282) d(420) d(271) a(611,703) d(617) 
	  3 r(250,255) a(374,270) d(668) d(614) r(376,276) r(602,609) r(312,395) 
	  2 d(258) a(956,987) a(955,671) d(603) d(636) r(638,635) r(317,409) r(285,274) d(317) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) r(285,274) a(602,394) 
	  3 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) d(626) 
search: generation 9 (sizeof one variant = 0.109616 MB)
	  2 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) d(316) r(356,411) d(312) a(615,598) d(276) 
	  3 r(667,665) a(639,273) d(880) r(319,223) r(635,625) d(880) r(319,223) d(604) d(705) d(308) 
	  0 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) d(316) r(356,411) d(312) d(880) r(319,223) d(604) d(705) r(670,665) 
	  3 r(667,665) a(639,273) d(880) r(319,223) r(635,625) a(615,598) r(879,883) 
	  2 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(604) 
	  3 d(258) a(956,987) r(471,458) d(602) r(698,700) a(632,282) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) r(698,700) r(707,710) 
	  2 d(258) a(956,987) r(471,458) r(640,633) 
	  3 r(667,665) a(639,273) d(276) r(427,292) r(711,709) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) a(880,292) a(635,637) d(636) a(706,235) d(325) d(624) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) a(706,235) d(325) d(613) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) r(427,292) a(616,261) 
	  3 r(250,255) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(314) r(287,345) a(424,244) d(422) 
	  3 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) r(625,628) 
	  0 r(250,255) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(314) a(257,318) 
	  3 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(424,244) a(708,707) 
	  2 d(258) a(956,987) d(883) r(312,292) 
	  1 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) r(410,230) a(247,352) 
	  3 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) r(410,230) r(309,412) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(883) d(376) 
	  2 d(258) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(640,708) r(616,613) 
	  0 r(250,255) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(314) r(415,350) 
	  2 r(667,665) a(639,273) a(880,292) a(635,637) d(636) a(706,235) d(325) r(617,232) 
	  3 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) r(633,638) a(373,361) 
	  3 r(250,255) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(314) d(949) 
	  2 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) r(698,700) r(379,430) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000569/libtiff/tif_dirwrite.c  r(667,665) a(639,273) d(880) r(319,223) r(635,625) d(626) r(249,632)  fails to compile
	  0 r(667,665) a(639,273) d(880) r(319,223) r(635,625) d(626) r(249,632) 
	  1 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) r(639,634) a(375,354) 
	  2 r(667,665) a(639,273) d(880) r(319,223) r(635,625) r(639,634) a(949,994) 
	  3 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) d(626) d(628) 
	  3 r(667,665) a(639,273) d(880) a(283,873) a(232,293) a(464,397) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) a(955,671) d(603) r(603,602) d(665) r(319,223) r(635,625) a(615,598) r(278,283) 
	  0 r(667,665) a(639,273) d(880) r(319,223) r(635,625) a(615,598) r(414,375) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) a(955,671) d(603) r(603,602) d(665) a(283,873) a(232,293) a(287,938) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(317,409) a(700,714) a(248,266) r(305,410) d(316) a(421,973) 
	  3 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) d(626) r(698,700) 
	  3 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) r(950,723) a(244,671) a(246,233) a(271,598) 
	  3 r(373,376) a(639,273) d(953) d(249) 
	  0 a(424,430) r(956,962) a(261,967) a(703,293) a(988,993) d(871) a(269,687) r(950,723) a(244,671) a(246,233) r(418,433) 
	  3 r(373,376) a(639,273) d(953) d(375) 
	  1 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(424,244) r(704,698) 
	  3 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) r(376,276) d(626) d(625) a(711,242) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(878) r(423,409) 
	  1 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) d(244) d(957) 
	  1 d(258) d(880) r(319,223) r(635,625) r(639,634) d(408) 
	  3 r(667,665) a(639,273) a(956,987) a(955,671) d(603) d(636) r(638,635) r(317,409) r(285,274) d(317) a(326,708) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000589/libtiff/tif_dirwrite.c  d(258) a(956,987) a(955,671) d(603) d(636) r(638,635) r(317,409) r(285,274) d(317) r(222,588)  fails to compile
	  0 d(258) a(956,987) a(955,671) d(603) d(636) r(638,635) r(317,409) r(285,274) d(317) r(222,588) 
	  3 r(667,665) a(639,273) d(880) r(319,223) r(635,625) r(639,634) r(607,604) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) r(427,292) a(310,411) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) r(285,274) a(602,394) d(293) 
	  1 d(258) d(471) d(603) r(603,602) a(464,609) r(698,706) d(703) d(310) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(880,292) a(988,993) a(956,987) a(955,671) d(603) r(603,602) d(665) a(283,873) a(665,973) d(412) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) d(665) a(283,873) a(665,973) r(222,255) 
	  1 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) d(703) d(415) 
	  3 r(373,376) a(639,273) d(316) r(356,411) d(312) d(880) r(319,223) d(604) r(642,637) a(632,298) 
	  3 d(258) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(640,708) r(250,370) 
	  1 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) d(312) d(318) 
	  2 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) r(633,638) r(413,215) 
	  0 r(667,665) a(639,273) d(880) r(319,223) r(635,625) d(410) d(374) 
	  3 r(667,665) d(625) d(420) a(285,434) 
search: generation 10 (sizeof one variant = 0.109828 MB)
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) a(880,292) a(635,637) d(636) a(706,235) d(325) d(624) r(641,625) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) a(880,292) a(635,637) d(636) a(706,235) d(325) d(624) d(419) 
	  0 r(250,255) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(314) d(949) r(258,368) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) r(427,292) a(310,411) d(611) 
	  2 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) d(626) r(698,700) r(614,617) 
	  3 d(258) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(640,708) r(250,370) r(957,997) 
	  0 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) r(319,223) d(604) r(642,637) a(632,298) d(252) 
	  3 r(373,376) a(639,273) d(316) r(356,411) d(312) d(880) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) r(633,638) a(373,361) a(248,871) 
	  0 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) r(633,638) a(373,361) r(261,374) 
	  1 r(373,376) a(639,273) d(316) r(356,411) d(312) d(880) r(319,223) d(604) r(642,637) a(632,298) d(990) 
	  0 a(424,430) r(956,962) a(639,273) a(880,292) a(635,637) a(880,292) a(988,993) d(471) d(603) r(603,602) a(464,609) r(698,706) r(633,638) r(413,215) r(283,613) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) r(427,292) a(310,411) a(416,278) 
	  3 d(258) d(471) d(603) r(603,602) a(464,609) r(698,706) d(703) d(310) a(597,462) 
	  2 d(258) a(956,987) r(471,458) d(602) r(698,700) a(632,282) a(632,617) 
	  0 r(667,665) a(639,273) d(880) r(319,223) r(635,625) r(639,634) r(607,604) r(414,379) 
	  2 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) d(316) r(356,411) d(312) a(615,598) d(276) r(872,880) 
	  3 d(258) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(640,708) a(955,671) d(603) r(603,602) d(665) a(283,873) a(665,973) d(412) a(412,232) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(880,292) a(988,993) a(956,987) r(616,613) r(426,271) 
	  3 d(258) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(640,708) r(616,613) r(596,550) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) d(614) a(880,292) a(988,993) a(956,987) a(955,671) d(603) r(603,602) d(665) a(283,873) a(665,973) d(412) a(634,638) 
	  1 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(314) a(257,318) d(422) 
	  3 r(250,255) d(953) d(249) a(702,247) 
	  3 r(373,376) a(639,273) d(953) d(249) r(228,402) 
	  0 r(250,255) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(314) a(257,318) a(950,937) 
	  0 r(667,665) a(639,273) d(880) r(319,223) r(635,625) d(880) r(319,223) d(604) d(705) d(308) r(642,624) 
	  1 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) r(698,700) r(707,710) r(872,879) 
	  0 d(258) a(956,987) a(955,671) d(603) d(636) d(614) r(376,276) r(602,609) r(639,634) a(375,354) r(251,349) 
	  3 r(667,665) d(625) d(420) a(285,434) r(231,278) 
	  3 d(258) a(956,987) a(955,671) d(603) r(603,602) d(665) a(283,873) a(665,973) r(222,255) r(703,707) 
	  3 r(667,665) a(639,273) a(880,292) a(635,637) d(636) a(706,235) d(325) r(617,232) d(314) 
	  2 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) a(955,671) a(639,273) d(880) a(283,873) a(232,293) a(464,397) r(707,709) 
	  3 r(667,665) d(603) r(603,602) d(665) a(283,873) a(232,293) a(287,938) d(295) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) a(955,671) d(603) r(603,602) d(665) a(283,873) a(232,293) a(287,938) r(987,978) 
	  3 r(667,665) a(639,273) d(880) a(283,873) a(232,293) a(464,397) d(275) 
	  3 r(667,665) a(639,273) a(956,987) a(955,671) d(603) d(636) r(638,635) r(317,409) r(285,274) d(317) a(464,397) r(272,281) 
	  3 r(667,665) a(639,273) d(880) a(283,873) a(232,293) a(326,708) a(317,222) 
	  3 r(667,665) a(639,273) a(956,987) a(955,671) d(603) d(636) r(638,635) r(317,409) r(285,274) d(317) a(326,708) d(270) 
	  3 r(667,665) a(639,273) d(880) a(283,873) a(232,293) a(464,397) a(703,233) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2006-02-23-b2ce5d8-207c78a/000641/libtiff/tif_dirwrite.c  r(373,376) a(639,273) a(880,292) a(988,993) d(871) r(286,744)  fails to compile
	  0 r(373,376) a(639,273) a(880,292) a(988,993) d(871) r(286,744) 
	  3 r(667,665) a(639,273) d(880) r(319,223) r(635,625) r(639,634) a(949,994) d(426) r(603,605) a(881,715) d(878) r(423,409) r(634,638) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(878) r(423,409) r(639,638) 
	  3 r(667,665) a(639,273) d(880) r(319,223) r(635,625) r(639,634) a(949,994) d(426) 
	  3 r(373,376) a(639,273) d(953) d(375) r(376,361) 
	  2 r(667,665) d(625) d(420) a(285,434) a(240,233) 
	  3 r(667,665) a(639,273) d(880) a(283,873) a(232,293) a(464,397) d(985) 
	  3 d(258) a(956,987) r(471,458) d(602) r(698,700) a(632,282) a(609,397) 
	  3 r(314,227) a(635,637) r(293,286) a(307,414) r(247,687) r(287,345) a(424,244) a(708,707) a(325,982) 
	  3 r(373,376) a(639,273) a(880,292) a(988,993) d(871) d(426) r(603,605) a(881,715) d(883) d(376) a(704,399) 
	  3 r(250,255) a(374,270) d(668) r(638,635) r(317,409) r(285,274) a(602,394) a(955,671) d(603) r(603,602) d(665) a(283,873) a(232,293) a(287,938) d(250) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) d(293) r(229,424) 
	  2 r(250,255) a(374,270) d(668) r(638,635) r(317,409) r(285,274) a(602,394) d(293) a(624,609) 
	  3 r(667,665) a(639,273) a(880,292) a(988,993) d(603) r(603,602) d(665) d(602) a(955,671) d(603) r(603,602) d(665) a(283,873) a(232,293) a(287,938) d(634) 
	  2 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) r(427,292) r(635,625) a(615,598) r(414,375) r(325,433) 
	  3 r(667,665) a(639,273) d(880) r(319,223) a(616,261) r(985,962) 
	  3 r(314,227) d(293) d(293) r(626,631) a(956,987) a(955,671) d(312) a(707,288) d(666) d(276) r(427,292) a(616,261) d(669) 
	  1 r(667,665) a(639,273) d(880) r(319,223) r(635,625) a(615,598) r(414,375) d(875) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 2600
"Test Suite Evaluations": 74.2857

Compile Failures: 19
Wall-Clock Seconds Elapsed: 11000
  Activity Name                     Count Seconds = Percent of Total Time
  test                               2559 1562.166 = 14.4105%
  compile                             660 9278.253 = 85.5891%
  TOTAL                                   10840.461 = 98.5495% (avg CPU usage)
libtiff-bug-2006-02-23-b2ce5d8-207c78a.tar.gz
Sat Sep 21 18:33:42 EDT 2013
shutting down
