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 62
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 7
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-166-39-29 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Sat Sep 21 13:30:48 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/tmp6b61a4.c /tmp/tmpdbb300.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 12.4295)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 564
cilRep: stmts in weighted_path = 218
cilRep: total weight = 141.7
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: tools/tiffsplit.c (code bank/base file; atoms [1,564])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.0859995 MB)
search: initial population (sizeof one variant = 0.00893021 MB)
	  6 a(252,228) 
	  6 d(257) 
	  6 d(238) 
	  6 r(385,489) 
	  6 d(330) 
	  6 r(341,292) 
	  6 d(509) 
	  6 d(477) 
	  6 r(514,529) 
	  6 d(511) 
	  6 a(303,486) 
	  6 r(513,504) 
	  6 r(414,457) 
	  6 r(443,485) 
	  6 a(337,404) 
	  6 d(522) 
	  6 r(428,345) 
	  6 r(260,244) 
	  6 d(282) 
	  6 d(236) 
	  6 r(400,481) 
	  6 r(412,477) 
	  6 d(486) 
	  6 r(416,411) 
	  6 a(265,282) 
	  6 d(443) 
	  6 d(467) 
	  6 r(509,351) 
	  6 r(466,410) 
	  6 d(444) 
	  6 r(329,238) 
	  6 d(231) 
	  6 d(321) 
	  6 a(343,476) 
	  6 r(391,290) 
	  6 a(411,393) 
	  6 d(475) 
	  6 d(330) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000038/tools/tiffsplit.c  r(286,519)  fails to compile
	  0 r(286,519) 
	  6 original
search: generation 1 (sizeof one variant = 0.0864191 MB)
	  6 a(411,393) d(353) 
	  6 d(467) a(458,296) 
	  6 a(411,393) a(446,476) 
	  6 d(467) a(423,424) 
	  6 d(321) r(341,427) 
	  6 r(400,481) d(495) 
	  6 d(321) d(233) 
	  6 r(400,481) d(487) 
	  6 r(416,411) r(322,478) 
	  6 d(238) a(321,462) 
	  6 r(416,411) d(243) 
	  6 d(238) r(495,446) 
	  6 r(509,351) r(485,493) 
	  6 r(385,489) d(521) 
	  6 r(509,351) d(489) 
	  6 r(385,489) r(355,305) 
	  6 r(443,485) d(377) 
	  6 a(265,282) d(294) 
	  6 r(443,485) r(327,305) 
	  6 a(265,282) d(523) 
	  6 r(416,411) r(412,367) 
	  6 d(236) a(262,238) 
	  6 r(416,411) d(454) 
	  6 d(236) r(254,233) 
	  6 d(238) a(228,504) 
	  5 d(443) a(346,497) 
	  6 d(238) r(518,520) 
	  5 d(443) r(476,403) 
	  6 d(236) r(247,241) 
	  6 r(341,292) d(355) 
	  6 a(343,476) r(481,484) 
	  6 a(265,282) d(494) 
	  6 r(443,485) a(526,516) 
	  6 r(416,411) a(462,487) 
	  6 d(238) d(264) 
	  6 r(466,410) r(404,309) 
	  6 d(238) d(327) 
	  6 r(466,410) d(252) 
	  6 a(303,486) r(419,400) 
	  6 r(514,529) a(513,393) 
	  6 a(303,486) r(420,322) 
	  6 r(514,529) d(339) 
	  6 r(443,485) d(435) 
	  6 d(330) a(253,255) 
	  6 d(477) d(492) 
	  6 d(444) a(478,400) 
	  6 d(477) r(409,407) 
	  6 d(321) r(473,305) 
	  6 d(477) a(239,231) 
	  6 d(321) d(529) 
	  6 r(412,477) r(424,441) 
	  6 a(337,404) a(437,454) 
	  6 r(412,477) r(488,487) 
	  6 a(337,404) a(240,250) 
	  6 r(514,529) d(457) 
	  6 d(444) r(425,436) 
	  5 r(514,529) r(518,522) 
	  6 d(444) a(512,298) 
	  6 d(509) r(497,401) 
	  6 d(257) r(484,445) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000099/tools/tiffsplit.c  d(509) r(504,245)  fails to compile
	  0 d(509) r(504,245) 
	  6 d(257) a(322,459) 
	  6 d(475) d(256) 
	  6 d(236) a(231,298) 
	  6 d(475) d(476) 
	  6 d(236) d(483) 
	  6 a(337,404) r(476,330) 
	  6 r(400,481) a(309,382) 
search: generation 2 (sizeof one variant = 0.087266 MB)
	  6 r(400,481) a(462,487) d(231) 
	  6 r(416,411) a(309,382) r(443,434) 
	  6 r(400,481) a(309,382) d(266) 
	  6 r(416,411) a(462,487) d(415) 
	  6 d(257) d(492) d(321) 
	  6 d(477) r(484,445) r(377,270) 
	  6 d(257) r(484,445) d(321) 
	  6 d(477) d(492) d(512) 
	  6 d(257) r(484,445) d(290) 
	  6 d(330) a(253,255) r(415,492) 
	  6 d(321) r(473,305) r(492,382) 
	  6 d(238) r(518,520) d(248) 
	  6 d(321) r(473,305) r(355,237) 
	  6 d(238) r(518,520) d(293) 
	  6 r(466,410) r(404,309) r(260,252) 
	  6 r(443,485) a(526,516) r(431,343) 
	  6 r(443,485) a(526,516) d(516) 
	  6 r(416,411) r(322,478) d(251) 
	  6 a(337,404) r(476,330) r(253,234) 
	  6 d(238) d(327) a(339,377) 
	  6 a(337,404) r(476,330) r(322,362) 
	  6 d(238) d(327) d(377) 
	  6 r(443,485) d(435) d(423) 
	  6 r(514,529) r(518,522) d(426) 
	  6 d(475) d(256) d(256) a(477,467) 
	  6 d(475) r(373,489) 
	  6 d(475) d(256) d(382) 
	  6 d(475) d(256) r(476,301) 
	  6 d(467) d(339) r(321,423) 
	  6 r(514,529) a(458,296) a(301,346) 
	  6 d(467) a(458,296) a(477,430) 
	  6 r(514,529) d(339) d(521) 
	  6 a(411,393) a(446,476) d(424) 
	  6 r(509,351) d(489) r(523,397) 
	  5 d(477) r(409,407) a(522,510) 
	  6 r(416,411) r(412,367) a(477,460) 
	  6 d(236) r(247,241) r(265,289) 
	  6 r(400,481) d(495) r(406,456) 
	  5 d(236) r(247,241) a(489,435) 
	  6 r(400,481) d(495) d(228) 
	  6 r(416,411) r(412,367) r(422,478) 
	  6 r(466,410) d(252) r(482,477) 
	  6 r(443,485) r(327,305) r(355,305) d(468) 
	  6 r(385,489) d(447) 
	  6 r(443,485) r(327,305) r(407,440) 
	  6 r(385,489) r(355,305) d(355) 
	  6 d(236) r(247,241) d(494) a(438,412) 
	  6 a(265,282) d(451) 
	  6 d(236) r(247,241) d(410) 
	  6 a(265,282) d(494) r(517,526) 
	  6 d(321) r(341,427) a(513,393) d(427) 
	  6 r(514,529) d(519) 
	  6 d(321) r(341,427) r(254,261) 
	  6 r(514,529) a(513,393) a(385,449) 
	  6 r(400,481) d(495) a(321,462) r(439,483) 
	  6 d(238) d(367) 
	  6 r(400,481) d(495) a(520,369) 
	  6 d(238) a(321,462) a(416,458) 
	  6 d(330) a(253,255) a(521,325) 
	  6 a(265,282) d(523) d(484) 
	  6 r(341,292) d(355) d(343) 
	  6 a(343,476) r(481,484) d(290) 
search: generation 3 (sizeof one variant = 0.0877666 MB)
	  6 d(467) a(458,296) d(341) 
	  6 r(443,485) a(526,516) d(516) a(477,430) r(433,339) 
	  6 d(467) a(458,296) a(477,430) d(393) 
	  6 r(443,485) a(526,516) d(516) r(426,471) 
	  6 r(443,485) d(435) d(300) 
	  5 r(443,485) d(435) d(423) d(423) d(405) 
	  6 r(443,485) d(435) d(423) r(485,470) 
	  6 r(443,485) d(435) d(423) a(522,233) 
	  6 d(321) r(341,427) a(309,382) d(266) r(490,478) 
	  6 r(400,481) a(513,393) d(427) a(329,488) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) 
	  6 r(400,481) a(309,382) d(266) r(346,439) 
	  6 d(321) r(341,427) a(513,393) d(427) d(391) 
	  6 r(509,351) d(489) r(523,397) r(429,465) 
	  6 d(321) r(473,305) r(492,382) r(462,448) 
	  6 d(477) r(484,445) r(377,270) r(322,432) 
	  6 d(475) d(248) r(248,242) 
	  6 d(238) r(518,520) d(256) d(256) a(477,467) a(428,487) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) 
	  6 d(238) r(518,520) d(248) d(369) 
	  6 d(475) d(290) d(497) 
	  6 a(343,476) r(481,484) d(256) d(382) a(414,427) 
	  6 d(475) d(256) d(382) r(525,516) 
	  6 a(343,476) r(481,484) d(290) d(417) 
	  6 d(467) a(458,296) a(477,430) d(474) 
	  6 r(514,529) d(519) r(417,371) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000195/tools/tiffsplit.c  d(236) r(247,241) a(253,255) a(521,325) r(292,517)  fails to compile
	  0 d(236) r(247,241) a(253,255) a(521,325) r(292,517) 
	  6 d(330) r(265,289) d(265) 
	  6 d(236) r(247,241) r(265,289) r(361,300) 
	  6 d(330) a(253,255) a(521,325) a(513,327) 
	  6 d(475) r(373,489) a(298,266) 
	  6 r(514,529) d(519) d(405) 
	  6 d(475) r(404,309) r(260,252) r(479,462) 
	  6 r(466,410) r(373,489) d(441) 
	  6 d(475) r(373,489) d(447) 
	  6 r(466,410) r(404,309) r(260,252) r(296,427) 
	  6 d(236) d(355) a(410,345) 
	  6 r(385,489) r(355,305) r(247,241) d(410) a(517,345) 
	  6 d(236) r(247,241) d(410) r(301,424) 
	  6 r(385,489) r(355,305) d(355) d(257) 
	  6 r(514,529) a(513,393) r(309,419) 
	  6 r(400,481) a(462,487) d(231) a(385,449) a(226,247) 
	  6 r(514,529) a(513,393) a(385,449) a(401,233) 
	  6 r(400,481) a(462,487) d(231) r(497,240) 
	  5 d(321) r(473,305) r(355,237) r(322,478) d(251) r(466,362) 
	  6 r(416,411) a(527,521) 
	  6 d(321) r(473,305) r(355,237) r(456,414) 
	  6 r(416,411) r(322,478) d(251) d(465) 
	  6 d(238) a(321,462) d(377) a(256,249) 
	  6 d(238) d(327) a(416,458) d(496) 
	  6 d(238) a(321,462) a(416,458) d(348) 
	  6 d(238) d(327) d(377) r(438,357) 
	  6 r(514,529) r(518,522) d(426) r(382,461) 
	  6 r(400,481) a(462,487) d(231) r(242,251) 
	  6 r(416,411) r(412,367) a(477,460) a(287,339) 
	  6 d(330) a(253,255) r(415,492) r(259,231) 
	  6 a(265,282) d(494) r(517,526) d(465) 
	  6 d(236) r(247,241) r(265,289) r(417,491) 
	  6 a(265,282) d(494) r(517,526) d(454) 
	  6 d(236) r(247,241) r(265,289) r(516,510) 
	  6 d(467) d(339) r(321,423) r(411,414) 
	  6 d(330) a(253,255) r(415,492) d(409) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000231/tools/tiffsplit.c  r(385,489) r(294,510)  fails to compile
	  0 r(385,489) r(294,510) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) 
	  6 r(385,489) r(355,305) d(355) a(511,527) 
	  6 d(467) a(458,296) a(477,430) r(518,497) 
search: generation 4 (sizeof one variant = 0.0880938 MB)
	  6 r(385,489) a(527,521) d(262) 
	  6 r(416,411) r(355,305) d(355) a(511,527) r(495,456) 
	  6 r(385,489) r(355,305) d(355) a(511,527) r(247,237) 
	  6 r(416,411) a(527,521) r(426,415) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) a(404,490) 
	  6 d(236) d(355) a(410,345) d(490) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(404,474) 
	  6 d(236) d(355) a(410,345) a(475,407) 
	  6 a(343,476) r(265,289) d(265) d(462) 
	  6 d(330) r(481,484) d(256) d(382) a(414,427) d(238) 
	  6 a(343,476) r(481,484) d(256) d(382) a(414,427) d(381) 
	  6 d(330) r(265,289) d(265) d(327) 
	  6 d(467) r(247,241) r(265,289) r(516,510) a(434,463) 
	  6 d(236) a(458,296) d(341) d(250) 
	  6 d(467) a(458,296) d(341) d(516) 
	  6 d(236) r(247,241) r(265,289) r(516,510) a(291,373) 
	  6 d(236) d(355) a(410,345) d(465) 
	  6 d(238) r(518,520) d(256) d(256) a(477,467) a(428,487) r(459,422) 
	  6 d(467) d(339) r(321,423) r(411,414) d(450) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(233,357) 
	  6 d(475) d(256) d(382) r(525,516) d(496) 
	  6 d(330) a(253,255) r(415,492) d(409) a(358,364) 
	  6 r(385,489) r(355,305) d(355) a(511,527) r(362,423) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(409,237) 
	  6 r(416,411) a(527,521) d(410) 
	  6 d(321) r(473,305) r(492,382) r(462,448) r(448,309) 
	  6 r(416,411) a(527,521) a(296,483) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(321,462) d(377) a(256,249) d(241) 
	  6 d(238) r(406,431) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) 
	  6 d(467) d(290) d(417) d(497) 
	  6 a(343,476) r(481,484) d(339) r(321,423) r(411,414) r(529,525) 
	  6 d(467) d(339) r(321,423) r(411,414) d(495) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) 
	  6 d(467) r(473,305) r(492,382) r(462,448) r(322,488) 
	  6 d(321) a(458,296) a(477,430) r(355,305) d(355) d(294) r(527,519) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) a(243,240) 
	  6 d(321) r(473,305) r(492,382) r(462,448) r(413,446) 
	  6 d(236) r(247,241) d(496) r(374,491) 
	  6 d(238) d(327) a(416,458) d(410) r(301,424) a(348,449) 
	  6 d(236) r(247,241) d(410) r(301,424) d(236) 
	  6 d(238) d(327) a(416,458) d(496) r(238,233) 
	  6 d(467) a(458,296) a(477,430) d(292) 
	  6 d(475) r(373,489) d(447) r(355,305) d(355) d(294) a(358,456) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(261) 
	  6 d(475) r(373,489) d(447) r(529,528) 
	  6 d(321) r(473,305) r(355,237) r(456,414) a(256,256) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(511,339) 
	  6 a(343,476) r(481,484) d(290) d(417) d(405) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(434) 
	  6 a(343,476) r(481,484) d(290) d(417) r(341,329) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000289/tools/tiffsplit.c  d(238) a(321,462) a(416,458) d(348) r(247,241) r(265,289) r(361,300) r(233,459)  fails to compile
	  0 d(238) a(321,462) a(416,458) d(348) r(247,241) r(265,289) r(361,300) r(233,459) 
	  6 d(236) r(249,262) 
	  6 d(238) a(321,462) a(416,458) d(348) d(470) 
	  5 d(236) r(247,241) r(265,289) r(361,300) d(426) 
	  6 d(475) d(248) r(248,242) d(393) a(412,408) 
	  6 d(467) a(458,296) a(477,430) r(465,407) 
	  5 d(475) d(248) r(248,242) d(387) 
	  6 d(467) a(458,296) a(477,430) d(393) r(298,351) 
	  6 d(475) r(404,309) r(260,252) r(479,462) d(233) 
	  6 d(330) r(265,289) d(265) r(425,437) 
	  6 r(514,529) a(513,393) r(309,419) a(453,333) 
	  6 d(238) r(518,520) d(256) d(256) a(477,467) a(428,487) a(254,353) 
search: generation 5 (sizeof one variant = 0.0880909 MB)
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(468,371) 
	  6 d(238) a(321,462) a(233,357) r(465,296) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(233,357) r(432,442) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) 
	  6 a(343,476) r(404,474) a(488,439) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(454,488) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(404,474) r(462,422) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) 
	  6 d(321) r(473,305) r(321,423) r(411,414) d(495) r(397,345) 
	  6 d(467) d(339) r(321,423) r(411,414) d(495) r(257,226) 
	  6 d(321) r(473,305) r(492,382) r(462,448) r(413,446) r(254,244) 
	  6 d(238) d(327) a(416,458) d(410) r(301,424) a(348,449) r(247,245) 
	  6 r(514,529) a(513,393) r(309,419) a(453,333) a(523,367) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) 
	  6 r(385,489) a(527,521) d(262) d(358) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(413,446) a(456,379) 
	  6 d(321) r(473,305) r(492,382) r(462,448) r(416,412) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(466,426) 
	  6 d(321) r(473,305) r(492,382) r(462,448) r(413,446) r(379,271) 
	  6 d(236) r(247,241) a(296,483) r(248,236) 
	  6 r(416,411) a(527,521) d(496) r(374,491) d(329) 
	  6 d(236) r(247,241) d(496) r(374,491) r(405,381) 
	  6 r(416,411) a(527,521) a(296,483) r(243,240) 
	  6 r(416,411) d(265) d(327) r(407,377) 
	  6 d(330) r(265,289) a(527,521) r(426,415) d(239) 
	  6 r(416,411) a(527,521) r(426,415) d(270) 
	  6 d(330) r(265,289) d(265) d(327) r(430,345) 
	  6 d(236) r(265,289) r(516,510) a(434,463) r(361,413) 
	  6 d(467) r(247,241) d(355) a(410,345) a(475,407) a(379,440) 
	  6 d(236) d(355) a(410,345) a(475,407) d(236) 
	  5 d(467) r(247,241) r(265,289) r(516,510) a(434,463) d(435) 
	  6 d(238) a(321,462) d(262) d(432) 
	  6 r(385,489) a(527,521) a(416,458) d(348) d(470) r(227,247) 
	  6 d(238) a(321,462) a(416,458) d(348) d(470) r(265,292) 
	  6 r(385,489) a(527,521) d(262) a(405,322) 
	  6 d(236) a(458,296) d(341) d(250) r(528,513) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000338/tools/tiffsplit.c  d(467) a(458,296) a(477,430) r(465,407) r(282,405)  fails to compile
	  0 d(467) a(458,296) a(477,430) r(465,407) r(282,405) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(511,339) d(420) 
	  6 d(238) a(321,462) a(416,458) d(348) d(470) d(494) 
	  6 a(343,476) r(481,484) d(256) d(382) a(414,427) d(381) d(497) d(504) 
	  6 d(467) d(290) d(417) d(419) 
	  6 a(343,476) r(481,484) d(256) d(382) a(414,427) d(381) d(303) 
	  6 d(467) d(290) d(417) d(497) a(469,415) 
	  6 r(385,489) r(355,305) d(355) a(511,527) r(362,423) r(426,415) a(420,284) 
	  6 r(416,411) a(527,521) r(485,426) 
	  6 r(385,489) r(355,305) d(355) a(511,527) r(362,423) a(389,367) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) 
	  6 d(236) r(247,241) d(496) r(374,491) d(494) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(511,339) r(446,343) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) 
	  6 r(416,411) d(409) a(358,364) d(358) 
	  6 d(330) a(253,255) r(415,492) d(409) a(358,364) r(231,241) 
	  6 r(416,411) a(527,521) r(426,415) d(415) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(434) d(255) 
	  5 d(238) a(321,462) a(416,458) d(348) d(470) d(404) 
	  6 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) 
	  6 d(475) r(404,309) r(322,327) a(481,298) d(227) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(420) 
	  6 d(475) r(404,309) r(260,252) r(479,462) d(233) d(251) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(409,237) a(335,451) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(345) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) r(355,237) r(456,414) a(256,256) r(255,249) 
	  6 d(321) r(473,305) d(377) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) r(472,412) 
	  6 d(321) r(473,305) r(355,237) r(456,414) a(256,256) d(245) 
search: generation 6 (sizeof one variant = 0.0878458 MB)
	  6 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) a(443,463) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(468,371) r(491,325) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(228) 
	  6 d(475) d(256) d(487) d(433) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(448) 
	  6 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) r(511,497) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(409,237) a(335,451) r(245,262) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(454,488) r(504,526) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(233,357) d(252) 
	  6 d(330) r(265,289) a(527,521) r(426,415) d(239) r(432,442) d(475) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(233,357) r(432,442) d(447) 
	  6 d(330) r(265,289) a(527,521) r(426,415) d(239) d(458) 
	  6 r(416,411) a(440,325) 
	  6 d(238) a(321,462) d(262) d(432) a(527,521) r(485,426) d(309) 
	  6 r(416,411) a(527,521) r(485,426) r(454,411) 
	  6 d(238) a(321,462) d(262) d(432) a(424,468) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) a(259,231) 
	  6 d(330) r(265,289) d(265) d(327) r(430,345) d(494) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) d(496) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) 
	  6 r(385,489) a(527,521) a(416,458) d(348) d(470) r(227,247) r(243,237) 
	  6 d(236) r(247,241) d(496) r(374,491) d(494) d(374) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(345) d(263) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) 
	  6 d(236) r(247,241) d(496) r(466,426) d(301) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(466,426) a(512,515) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000394/tools/tiffsplit.c  d(236) r(247,241) d(496) r(374,491) d(494) r(369,241)  fails to compile
	  0 d(236) r(247,241) d(496) r(374,491) d(494) r(369,241) 
	  6 d(467) r(247,241) d(355) a(410,345) a(475,407) a(379,440) d(284) 
	  6 d(330) a(253,255) r(415,492) d(409) a(358,364) r(231,241) d(298) 
	  6 r(416,411) a(527,521) r(462,448) r(413,446) r(254,244) r(237,387) 
	  6 d(321) r(473,305) r(492,382) r(426,415) a(432,445) d(389) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) r(363,470) 
	  6 d(321) r(473,305) r(492,382) r(462,448) r(413,446) r(254,244) a(516,379) 
	  6 d(236) r(247,241) d(496) a(428,389) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(413,446) a(456,379) r(374,491) r(405,381) r(451,355) 
	  6 d(236) r(247,241) d(496) r(374,491) r(405,381) d(413) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(413,446) a(456,379) r(262,242) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(441,385) 
	  6 d(467) d(290) d(417) d(419) d(497) 
	  6 d(238) a(321,462) a(477,467) r(322,327) a(481,298) d(493) d(242) 
	  6 d(475) d(256) d(256) d(262) d(432) d(454) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000409/tools/tiffsplit.c  d(238) a(321,462) d(262) d(432) r(329,521)  fails to compile
	  0 d(238) a(321,462) d(262) d(432) r(329,521) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) r(435,303) 
	  6 d(321) r(473,305) r(355,237) r(456,414) a(256,256) d(245) r(432,495) 
	  6 d(236) r(247,241) d(496) r(374,491) d(494) d(516) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) 
	  6 a(343,476) r(481,484) a(423,490) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(404) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) d(249) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(417) a(463,415) r(454,488) a(412,419) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) a(481,298) r(472,412) d(433) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) r(472,412) a(511,351) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(454,488) r(337,487) 
	  6 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(259) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(404,474) r(462,422) a(471,266) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(371,351) 
	  6 d(238) a(321,462) d(262) d(432) a(468,371) d(465) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(468,371) d(487) 
	  6 d(238) a(321,462) d(262) d(432) a(471,421) 
search: generation 7 (sizeof one variant = 0.0880079 MB)
	  6 r(416,411) a(527,521) r(454,488) r(504,526) a(483,476) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(426,415) a(432,445) a(270,385) d(511) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) a(401,333) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(454,488) r(504,526) a(456,286) 
	  6 d(236) r(260,252) r(479,462) d(233) a(409,357) d(259) r(403,488) 
	  6 d(475) d(256) d(256) a(477,467) r(247,241) d(496) r(374,491) r(405,381) d(413) d(483) 
	  6 d(236) r(247,241) d(496) r(374,491) r(405,381) d(413) a(374,430) 
	  6 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(259) r(492,333) 
	  6 r(385,489) a(527,521) a(416,458) d(348) d(470) r(227,247) r(243,237) d(351) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(454,488) r(337,487) a(522,345) 
	  6 d(321) r(473,305) r(492,382) d(404) d(475) 
	  6 d(238) a(321,462) a(233,357) r(465,296) r(462,448) r(413,446) r(254,244) a(516,379) d(529) 
	  6 d(321) r(473,305) r(492,382) r(462,448) r(413,446) r(254,244) a(516,379) a(294,270) 
	  5 d(238) a(321,462) a(233,357) r(465,296) d(404) d(288) 
	  6 d(467) d(290) d(417) d(419) a(481,298) d(493) a(259,231) a(516,341) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000442/tools/tiffsplit.c  d(475) d(256) d(256) a(477,467) r(322,327) d(497) r(285,511)  fails to compile
	  0 d(475) d(256) d(256) a(477,467) r(322,327) d(497) r(285,511) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000443/tools/tiffsplit.c  d(467) d(290) d(417) d(419) d(497) r(272,412)  fails to compile
	  0 d(467) d(290) d(417) d(419) d(497) r(272,412) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) a(259,231) d(246) 
	  6 d(467) r(247,241) d(355) a(410,345) a(475,407) a(379,440) d(284) d(442) 
	  6 r(385,489) a(527,521) a(416,458) d(348) d(470) r(227,247) r(243,237) r(309,463) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(355) d(294) d(404) d(345) d(263) d(450) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(494) r(341,482) r(453,444) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(345) d(263) a(528,514) 
	  6 d(475) d(256) d(256) a(477,467) r(260,252) a(414,441) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) r(479,462) d(233) a(409,357) a(443,463) d(345) 
	  6 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) a(443,463) r(231,240) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) d(434) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(468,371) r(491,325) d(482) 
	  6 d(236) r(247,241) d(496) a(428,389) a(257,248) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(454,488) r(504,526) d(416) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(441,385) r(226,264) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) a(259,231) r(435,469) 
	  5 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(448) r(329,495) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(441,385) a(525,516) 
	  6 d(475) d(256) d(345) d(263) r(491,296) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(259) a(374,453) 
	  6 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(259) r(361,406) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(345) d(263) r(298,440) 
	  6 d(321) r(473,305) r(492,382) r(426,415) a(432,445) d(389) r(294,335) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(466,426) a(512,515) r(330,456) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) a(525,353) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(468,371) r(491,325) a(227,257) 
	  6 a(343,476) r(481,484) d(290) d(494) d(509) 
	  6 d(330) r(265,289) d(265) d(327) r(430,345) d(417) a(463,415) d(325) d(249) r(444,381) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) d(249) r(335,357) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000474/tools/tiffsplit.c  d(330) r(265,289) d(265) d(327) r(430,345) d(494) r(381,244)  fails to compile
	  0 d(330) r(265,289) d(265) d(327) r(430,345) d(494) r(381,244) 
	  6 d(321) r(473,305) r(492,382) r(426,415) a(432,445) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(468,371) d(487) a(379,494) 
	  6 d(475) d(256) d(389) d(430) 
	  6 d(321) r(473,305) r(492,382) r(426,415) a(432,445) d(389) r(472,389) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(468,371) d(487) r(379,487) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(432) d(454) a(446,493) 
	  6 d(475) d(256) d(256) d(262) d(448) a(227,325) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(448) a(379,408) 
	  6 d(475) d(256) d(256) d(262) d(432) d(454) a(465,335) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) d(249) d(260) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) d(432) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) r(329,234) 
	  5 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) d(249) r(255,257) 
	  6 d(330) a(253,255) r(415,492) a(393,492) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) a(478,462) 
	  6 r(416,411) a(440,325) d(483) 
search: generation 8 (sizeof one variant = 0.0898037 MB)
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(481,484) d(290) d(417) a(463,415) d(325) d(432) d(512) 
	  6 a(343,476) r(441,385) a(525,516) a(296,463) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(441,385) a(525,516) r(355,484) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) d(432) d(333) 
	  6 d(467) r(247,241) d(355) a(410,345) a(475,407) a(379,440) d(284) d(442) d(519) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(432) d(454) a(446,493) a(424,467) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(345) d(263) r(298,440) a(474,415) 
	  6 d(475) d(256) d(256) d(262) d(448) a(227,325) d(468) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) a(478,462) r(470,410) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) r(479,462) d(233) a(409,357) a(443,463) d(345) d(436) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(294) d(404) d(345) d(263) a(528,514) d(226) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(432) d(454) a(446,493) d(469) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(432) d(454) a(446,493) d(402) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(345) d(263) a(528,514) r(449,489) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(441,385) a(525,516) r(288,265) 
	  6 d(238) a(321,462) a(233,357) r(465,296) r(462,448) r(413,446) r(254,244) a(516,379) d(529) r(261,257) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) a(259,231) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) r(479,462) d(233) a(409,357) a(443,463) d(345) r(270,293) 
	  6 d(330) d(246) r(255,236) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) a(259,231) d(246) a(285,345) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) r(479,462) d(233) a(409,357) a(443,463) d(345) r(345,397) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) r(329,234) d(389) 
	  5 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(448) a(379,408) a(307,453) 
	  6 r(416,411) a(527,521) d(249) r(335,357) r(272,294) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) r(426,415) a(432,445) a(270,385) d(237) d(441) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) r(321,367) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) d(249) r(335,357) d(236) 
	  6 d(321) r(473,305) r(492,382) r(426,415) a(432,445) d(389) r(294,335) d(250) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(345) d(263) a(528,514) d(413) 
	  6 d(238) a(321,462) a(233,357) r(465,296) r(462,448) r(413,446) r(254,244) a(516,379) d(529) d(307) 
	  5 d(236) r(260,252) r(479,462) d(233) a(409,357) d(259) r(403,488) d(385) 
	  6 r(416,411) a(527,521) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(435,371) 
	  6 d(321) r(473,305) r(454,488) r(504,526) a(483,476) d(301) 
	  6 r(416,411) a(527,521) r(454,488) r(504,526) a(483,476) d(472) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(245,228) 
	  6 d(475) d(256) d(389) d(430) d(285) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(454,488) r(504,526) d(416) a(263,245) 
	  6 d(321) r(473,305) d(389) d(430) d(391) 
	  6 d(475) d(256) r(492,382) r(462,448) a(358,287) r(466,426) a(512,515) r(330,456) d(526) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(466,426) a(512,515) r(330,456) d(271) 
	  6 d(475) d(256) d(389) d(430) d(430) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) r(247,241) d(496) a(428,389) a(257,248) a(422,487) 
	  6 d(236) d(249) d(260) r(464,381) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) d(249) d(260) r(528,522) 
	  6 d(236) r(247,241) d(496) a(428,389) a(257,248) d(494) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(446,493) d(242) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(432) d(454) d(377) a(256,249) d(438) a(468,371) r(491,325) d(482) d(271) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) d(377) a(256,249) d(438) a(468,371) r(491,325) d(482) a(294,298) 
	  5 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(432) d(454) a(446,493) a(272,523) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(259) r(492,333) a(397,468) 
	  6 d(475) d(256) d(256) a(363,453) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) r(255,228) 
	  5 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(259) r(492,333) d(247) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(459) 
	  5 d(236) r(247,241) d(496) r(374,491) r(405,381) d(413) a(374,430) d(325) d(437) d(249) d(260) d(369) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) d(249) d(260) a(453,401) 
	  6 d(236) r(247,241) d(496) r(374,491) r(405,381) d(413) a(374,430) a(479,491) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) a(253,255) r(415,492) a(393,492) d(413) 
	  6 d(330) d(470) a(303,296) a(417,367) a(492,411) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) 
	  6 d(330) a(253,255) r(415,492) a(393,492) d(246) 
	  6 a(343,476) r(481,484) d(290) d(417) a(527,521) r(426,415) d(470) a(303,296) a(478,462) r(288,289) 
	  6 d(330) a(253,255) r(415,492) a(463,415) d(325) d(432) d(296) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) d(432) r(463,348) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) a(478,462) r(444,369) 
search: generation 9 (sizeof one variant = 0.088995 MB)
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(259) r(492,333) a(397,468) a(307,450) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) r(255,228) d(488) 
	  6 d(475) d(512) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(432) d(454) a(446,493) d(469) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) a(259,231) d(246) a(285,345) a(516,337) 
	  6 d(475) d(256) d(256) a(477,467) r(322,327) a(481,298) d(493) a(259,231) d(246) a(285,345) d(303) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(432) d(454) a(446,493) d(469) d(434) 
	  6 d(330) a(253,255) r(415,492) a(527,521) r(426,415) d(470) a(303,296) a(478,462) r(470,410) a(293,523) 
	  6 r(416,411) a(527,521) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(435,371) d(397) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) d(430) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) d(455) 
	  6 d(236) d(250) r(256,262) 
	  6 d(321) r(473,305) r(492,382) r(426,415) a(432,445) d(389) r(294,335) d(249) d(260) r(464,381) d(473) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000567/tools/tiffsplit.c  d(236) d(249) d(260) r(464,381) r(236,442)  fails to compile
	  0 d(236) d(249) d(260) r(464,381) r(236,442) 
	  6 d(321) r(473,305) r(492,382) r(426,415) a(432,445) d(389) r(294,335) d(250) d(466) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) r(247,241) d(496) a(428,389) a(257,248) d(494) a(242,387) 
	  6 d(236) a(463,415) r(454,488) r(504,526) d(416) a(263,245) r(428,486) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) a(463,415) r(454,488) r(504,526) d(416) a(263,245) a(301,397) 
	  6 d(236) r(247,241) d(496) a(428,389) a(257,248) d(494) r(504,264) 
	  6 d(475) d(256) d(389) d(430) d(285) d(249) d(260) r(528,522) r(514,529) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) a(389,355) 
	  6 d(475) d(256) d(389) d(430) d(285) d(471) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) d(249) d(260) r(528,522) r(526,504) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(459) a(286,509) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(432) d(454) d(377) a(256,249) d(438) a(468,371) r(491,325) d(482) d(271) r(307,419) 
	  6 d(236) a(495,485) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(441,385) a(525,516) r(355,484) r(247,241) d(496) a(428,389) a(257,248) d(494) r(255,251) 
	  6 d(236) r(247,241) d(496) a(428,389) a(257,248) d(494) d(510) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(441,385) a(525,516) r(355,484) a(424,413) 
	  6 d(321) r(473,305) r(454,488) r(504,526) a(483,476) a(527,521) d(249) r(335,357) r(272,294) a(525,497) 
	  6 r(416,411) d(301) r(425,451) 
	  6 d(321) r(473,305) r(454,488) r(504,526) a(483,476) d(301) d(513) 
	  6 r(416,411) a(527,521) d(249) r(335,357) r(272,294) a(364,294) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000587/tools/tiffsplit.c  d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(284) d(442) d(519) r(389,241)  fails to compile
	  0 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(284) d(442) d(519) r(389,241) 
	  6 d(467) r(247,241) d(355) a(410,345) a(475,407) a(379,440) d(432) d(454) d(377) a(256,249) d(438) a(468,371) r(491,325) d(482) d(271) d(403) 
	  6 d(238) a(321,462) d(377) a(256,249) d(438) d(487) d(432) d(454) d(377) a(256,249) d(438) a(468,371) r(491,325) d(482) d(271) a(431,481) 
	  6 d(467) r(247,241) d(355) a(410,345) a(475,407) a(379,440) d(284) d(442) d(519) r(288,290) 
	  6 r(416,411) a(527,521) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(435,371) d(237) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) a(253,255) r(415,492) a(393,492) d(413) r(510,497) 
	  6 d(238) a(303,296) a(417,367) r(526,515) d(333) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) d(249) d(260) r(528,522) d(468) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) d(249) d(260) r(528,522) r(400,468) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) a(424,523) 
	  6 r(416,411) a(527,521) r(454,488) r(504,526) a(483,476) d(472) a(527,298) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) r(247,241) d(496) a(428,389) a(257,248) a(422,487) a(253,300) 
	  6 d(475) d(256) d(256) a(363,453) d(417) a(463,415) d(325) d(437) d(249) d(260) a(453,401) r(424,346) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(440) 
	  6 d(475) d(256) d(256) a(363,453) a(426,300) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) d(249) d(260) a(453,401) d(428) 
	  6 d(475) d(256) d(256) a(477,467) r(260,252) r(479,462) d(233) a(409,357) d(259) r(492,333) d(247) a(348,455) 
	  6 d(467) a(458,296) a(477,430) r(355,305) d(355) d(294) d(404) d(345) d(263) a(528,514) r(449,489) d(351) 
	  6 d(321) a(296,463) d(339) 
	  6 a(343,476) r(441,385) a(525,516) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(245,228) r(264,265) 
	  6 d(321) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(245,228) a(429,433) 
	  6 a(343,476) r(441,385) a(525,516) a(296,463) r(257,251) 
	  6 a(343,476) r(481,484) d(290) d(417) r(441,385) a(525,516) a(296,463) d(358) 
	  6 a(343,476) a(463,415) d(325) d(432) d(333) d(492) 
	  6 a(343,476) r(481,484) d(290) d(417) a(463,415) d(325) d(432) d(333) a(516,525) 
	  6 a(343,476) r(441,385) a(525,516) a(296,463) a(516,282) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) d(526) 
	  6 r(416,411) a(440,325) r(255,228) a(497,296) 
	  6 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) r(255,228) r(406,425) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) d(377) 
	  6 r(416,411) a(527,521) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(435,371) r(457,412) 
	  6 r(416,411) a(527,521) d(249) r(335,357) r(272,294) a(272,292) 
search: generation 10 (sizeof one variant = 0.0898533 MB)
	  6 a(343,476) r(441,385) a(525,516) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(451) 
	  6 r(416,411) d(301) r(425,451) d(494) r(341,482) r(426,322) r(245,228) r(264,265) a(521,343) 
	  6 a(343,476) r(441,385) a(525,516) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(245,228) r(264,265) d(228) 
	  6 r(416,411) d(301) r(425,451) r(240,234) 
	  6 a(343,476) r(441,385) a(525,516) a(296,463) r(257,251) a(240,242) 
	  6 a(343,476) r(441,385) a(525,516) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(245,228) r(264,265) d(289) 
	  6 d(236) a(440,325) r(255,228) a(497,296) r(439,490) 
	  6 r(416,411) a(495,485) r(387,471) 
	  6 d(236) a(495,485) d(433) 
	  6 r(416,411) a(440,325) r(255,228) a(497,296) r(397,432) 
	  6 d(321) r(473,305) r(454,488) r(504,526) a(483,476) a(527,521) d(249) r(335,357) r(272,294) a(525,497) d(447) 
	  6 d(475) d(256) d(256) a(363,453) a(426,300) d(234) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(459) a(286,509) d(450) 
	  6 a(343,476) r(441,385) a(525,516) a(296,463) r(257,251) d(510) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(440) d(519) 
	  6 d(321) a(296,463) d(339) r(423,470) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) d(249) d(260) a(453,401) d(428) d(474) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(440) r(257,263) 
	  6 d(236) a(495,485) d(491) 
	  5 r(416,411) a(527,521) r(426,415) a(432,445) a(270,385) d(237) r(255,228) d(488) d(454) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000639/tools/tiffsplit.c  d(475) d(512) r(285,309)  fails to compile
	  0 d(475) d(512) r(285,309) 
	  6 a(343,476) r(441,385) a(525,516) r(473,305) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(245,228) r(264,265) r(245,243) 
	  6 r(416,411) d(301) a(424,523) d(487) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) r(425,451) r(260,240) 
	  6 r(416,411) d(301) r(425,451) r(284,285) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) a(424,523) r(514,510) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) r(247,241) d(440) a(421,357) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(496) a(428,389) a(257,248) d(494) a(242,387) d(382) 
	  5 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) r(247,241) d(496) a(428,389) a(257,248) d(494) a(242,387) a(242,294) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(440) d(284) 
	  6 d(475) d(256) d(389) d(430) d(285) d(249) d(260) r(528,522) r(514,529) d(401) 
	  6 a(343,476) r(441,385) a(525,516) a(296,463) a(516,282) a(494,489) 
	  6 d(321) r(341,427) a(513,393) d(427) d(329) r(481,484) d(290) d(417) r(247,241) d(496) a(428,389) a(257,248) d(494) a(242,387) d(409) 
	  6 a(343,476) r(481,484) d(290) d(417) r(441,385) a(525,516) a(296,463) d(358) r(460,296) 
	  6 d(236) d(492) d(367) 
	  6 a(343,476) a(463,415) d(325) d(432) d(333) r(247,241) d(496) a(428,389) a(257,248) d(494) r(504,264) d(509) 
	  6 d(236) r(247,241) d(496) a(428,389) a(257,248) d(494) r(504,264) r(427,305) 
	  6 a(343,476) a(463,415) d(325) d(432) d(333) d(492) r(404,479) 
	  6 d(475) d(256) a(497,296) d(286) 
	  6 r(416,411) a(440,325) r(255,228) d(389) d(430) d(285) d(471) d(364) 
	  6 d(475) d(256) d(389) d(430) d(285) d(471) r(382,367) 
	  6 r(416,411) a(440,325) r(255,228) a(497,296) d(402) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) d(377) d(413) r(510,497) d(493) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) a(253,255) r(415,492) a(393,492) a(329,454) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) d(470) a(303,296) a(417,367) r(526,515) d(377) r(495,406) 
	  6 r(416,411) a(440,325) a(527,521) r(426,415) a(253,255) r(415,492) a(393,492) d(413) r(510,497) d(527) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(440) d(263) 
	  6 r(416,411) a(527,521) r(492,382) r(462,448) a(358,287) r(374,491) d(494) r(341,482) r(426,322) r(435,371) d(237) d(496) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(440) r(418,456) 
	  6 r(416,411) a(527,521) d(249) r(335,357) r(272,294) a(272,292) d(239) 
	  6 r(416,411) a(527,521) d(249) r(335,357) r(272,294) a(364,294) d(525) 
	  6 d(321) r(473,305) r(492,382) r(426,415) a(432,445) d(389) r(294,335) d(250) d(466) d(289) 
	  6 d(467) d(339) r(492,382) r(462,448) r(413,446) a(407,479) r(441,385) a(525,516) r(355,484) a(424,413) a(236,241) 
	  6 d(238) a(321,462) a(233,357) r(465,296) d(290) d(417) a(463,415) d(325) d(437) r(247,241) d(496) a(428,389) a(257,248) a(422,487) a(253,300) a(523,329) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 4679
"Test Suite Evaluations": 74.2698

Compile Failures: 14
Wall-Clock Seconds Elapsed: 2182.22
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             674 621.925 = 30.5019%
  test                               4644 1416.999 = 69.4957%
  TOTAL                                   2038.972 = 93.4353% (avg CPU usage)
libtiff-bug-2008-09-05-d59e7df-5f42dba.tar.gz
Sat Sep 21 14:07:13 EDT 2013
shutting down
