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 8
--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-155 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/tmp7e82fb.c /tmp/tmpfef826.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 = 13.0376)
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.00892735 MB)
	  6 d(517) 
	  6 r(452,387) 
	  6 r(243,233) 
	  6 r(238,240) 
	  6 r(355,382) 
	  6 r(446,481) 
	  6 d(309) 
	  6 d(250) 
	  6 r(247,245) 
	  6 r(355,395) 
	  6 r(260,233) 
	  6 a(385,408) 
	  6 d(361) 
	  6 r(435,428) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000014/tools/tiffsplit.c  r(266,447)  fails to compile
	  0 r(266,447) 
	  6 a(287,341) 
	  6 r(303,355) 
	  6 d(475) 
	  6 r(444,322) 
	  6 d(522) 
	  6 r(407,451) 
	  6 a(247,361) 
	  6 d(461) 
	  6 r(481,362) 
	  5 d(529) 
	  6 d(457) 
	  6 a(239,397) 
	  6 d(462) 
	  6 a(255,259) 
	  6 d(353) 
	  6 d(361) 
	  6 a(294,397) 
	  6 r(451,411) 
	  6 r(431,327) 
	  6 a(254,231) 
	  6 a(285,284) 
	  6 d(391) 
	  6 d(482) 
	  6 d(387) 
	  6 original
search: generation 1 (sizeof one variant = 0.0863304 MB)
	  6 d(462) r(487,357) 
	  6 r(238,240) a(363,456) 
	  6 d(462) r(484,400) 
	  6 r(238,240) d(445) 
	  6 r(446,481) d(371) 
	  6 d(462) d(403) 
	  6 a(255,259) d(307) 
	  6 d(353) r(461,491) 
	  6 r(247,245) d(254) 
	  6 r(435,428) a(467,343) 
	  6 r(247,245) a(416,345) 
	  6 r(435,428) a(245,363) 
	  6 a(254,231) a(231,260) 
	  6 d(517) a(355,381) 
	  6 a(385,408) r(288,294) 
	  6 r(435,428) d(322) 
	  6 a(287,341) d(426) 
	  6 a(385,408) r(418,362) 
	  6 a(287,341) r(428,382) 
	  6 a(385,408) r(475,460) 
	  6 a(385,408) a(387,427) 
	  6 d(482) a(497,282) 
	  6 a(385,408) a(253,395) 
	  6 d(482) d(474) 
	  6 a(294,397) d(261) 
	  6 r(407,451) d(450) 
	  6 d(517) a(427,290) 
	  6 d(522) d(339) 
	  6 d(517) r(381,453) 
	  6 d(522) r(419,449) 
	  6 a(294,397) d(526) 
	  6 a(385,408) d(428) 
	  6 a(294,397) d(335) 
	  6 a(385,408) a(523,321) 
	  6 d(461) a(351,403) 
	  6 a(254,231) a(485,325) 
	  6 d(461) d(282) 
	  6 a(254,231) a(329,300) 
	  6 a(254,231) d(471) 
	  6 r(452,387) r(246,236) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000079/tools/tiffsplit.c  d(250) r(263,419)  fails to compile
	  0 d(250) r(263,419) 
	  6 a(254,231) d(358) 
	  6 d(250) d(489) 
	  6 a(254,231) r(415,490) 
	  6 r(444,322) r(348,357) 
	  6 a(294,397) r(497,433) 
	  6 d(250) d(494) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000086/tools/tiffsplit.c  a(285,284) r(236,271)  fails to compile
	  0 a(285,284) r(236,271) 
	  6 d(250) r(493,469) 
	  6 a(285,284) r(249,233) 
	  6 d(462) r(448,405) 
	  6 r(407,451) r(452,357) 
	  6 d(462) r(245,233) 
	  6 r(407,451) d(515) 
	  6 r(247,245) a(286,291) 
	  6 r(355,382) a(512,363) 
	  6 r(451,411) r(490,353) 
	  6 d(457) r(521,514) 
	  6 r(451,411) d(460) 
	  6 d(457) r(250,261) 
	  6 d(309) r(410,303) 
	  6 a(287,341) r(379,265) 
search: generation 2 (sizeof one variant = 0.0870924 MB)
	  6 d(457) r(521,514) r(453,391) 
	  6 d(522) r(419,449) d(455) 
	  6 a(287,341) d(426) a(301,451) 
	  6 a(255,259) d(307) r(288,270) 
	  6 a(385,408) d(339) 
	  6 d(461) a(351,403) r(418,362) d(309) 
	  5 a(385,408) r(418,362) r(249,242) 
	  6 d(461) a(351,403) d(409) 
	  6 a(294,397) a(363,456) d(529) 
	  5 r(238,240) d(335) r(248,233) 
	  6 a(294,397) d(335) d(382) 
	  6 r(238,240) a(363,456) d(333) 
	  6 r(238,240) a(351,403) r(348,460) 
	  6 d(461) a(363,456) r(527,529) 
	  6 r(238,240) a(363,456) d(519) 
	  6 d(461) a(351,403) a(289,335) 
	  6 a(254,231) d(358) d(407) 
	  6 a(385,408) a(253,395) a(287,373) 
	  6 a(254,231) d(358) d(434) 
	  6 a(385,408) a(253,395) d(236) 
	  6 r(407,451) d(467) 
	  6 a(254,231) d(358) d(450) d(523) 
	  6 r(407,451) d(450) r(348,466) 
	  6 a(254,231) d(358) d(514) 
	  6 a(385,408) a(387,427) a(355,381) a(516,393) 
	  6 d(517) d(411) 
	  6 a(385,408) a(387,427) d(445) 
	  6 d(517) a(355,381) a(391,461) 
	  6 a(254,231) d(358) d(371) a(486,337) 
	  6 r(446,481) d(490) 
	  6 a(254,231) d(358) a(489,263) 
	  6 r(446,481) d(371) r(416,400) 
	  6 a(294,397) d(335) r(261,262) 
	  6 r(435,428) a(467,343) d(477) 
	  6 a(294,397) d(343) 
	  6 d(250) d(489) d(526) r(252,243) 
	  6 a(294,397) d(526) a(244,254) 
	  6 d(250) d(489) r(298,445) 
	  6 r(247,245) a(416,345) a(511,377) 
	  6 r(452,387) r(246,236) a(440,409) 
	  6 r(238,240) r(239,248) 
	  6 a(294,397) d(335) d(445) d(367) 
	  6 r(238,240) d(445) r(250,231) 
	  6 a(294,397) d(335) r(357,381) 
	  6 d(462) r(448,405) a(460,469) 
	  6 r(435,428) a(467,343) r(523,271) 
	  6 d(462) r(448,405) r(227,250) 
	  6 r(435,428) a(467,343) d(367) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000149/tools/tiffsplit.c  r(435,428) r(234,455)  fails to compile
	  0 r(435,428) r(234,455) 
	  6 d(517) r(381,453) d(322) d(465) 
	  6 r(435,428) d(322) d(357) 
	  6 d(517) r(381,453) d(285) 
	  6 r(238,240) d(445) a(460,286) 
	  6 a(255,259) d(307) d(231) 
	  6 r(247,245) d(254) r(422,377) 
	  6 r(247,245) a(286,291) d(469) 
	  6 r(407,451) d(450) d(485) 
	  6 d(457) r(521,514) a(251,391) 
	  6 d(461) d(282) r(492,437) 
	  6 r(451,411) d(460) a(482,434) 
	  6 d(461) d(282) a(512,504) 
	  6 r(451,411) d(460) a(432,439) 
	  6 d(250) d(489) a(424,287) 
	  6 d(250) r(493,469) r(250,228) 
	  6 d(250) d(489) r(237,343) 
	  6 d(250) r(493,469) r(265,264) 
search: generation 3 (sizeof one variant = 0.0870857 MB)
	  6 r(407,451) d(450) r(348,466) a(527,298) 
	  6 r(238,240) a(363,456) d(519) a(461,466) 
	  6 r(446,481) d(490) d(325) 
	  6 a(294,397) d(335) r(357,381) a(414,374) 
	  6 d(462) r(448,405) a(460,469) r(333,456) 
	  6 r(238,240) r(239,248) a(400,234) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000173/tools/tiffsplit.c  r(247,245) a(286,291) d(367) r(509,256)  fails to compile
	  0 r(247,245) a(286,291) d(367) r(509,256) 
	  6 r(435,428) a(467,343) d(469) d(489) 
	  6 r(247,245) a(286,291) d(469) d(286) 
	  6 r(435,428) a(467,343) d(367) r(485,492) 
	  6 d(522) r(419,449) d(526) r(252,243) a(389,282) 
	  6 d(250) d(489) d(455) r(464,413) 
	  6 d(522) r(419,449) d(455) d(443) 
	  6 d(250) d(489) d(526) r(252,243) r(494,363) 
	  6 a(294,397) d(335) r(357,381) d(301) 
	  6 a(294,397) d(335) r(261,262) r(397,488) 
	  6 a(294,397) d(335) r(261,262) d(379) 
	  6 a(294,397) d(335) r(357,381) a(456,293) 
	  6 a(254,231) d(358) d(407) r(348,466) d(272) 
	  6 r(407,451) d(450) r(305,416) 
	  6 a(254,231) d(358) d(407) a(444,296) 
	  6 r(407,451) d(450) r(348,466) d(271) 
	  6 r(407,451) a(289,335) r(259,244) 
	  6 d(461) a(351,403) d(450) d(485) d(415) 
	  6 r(407,451) d(450) d(485) a(291,373) 
	  6 d(461) a(351,403) a(289,335) d(358) 
	  6 d(462) r(448,405) a(460,469) d(490) 
	  6 a(294,397) d(335) r(261,262) d(487) 
	  6 d(461) d(282) a(512,504) r(406,321) 
	  6 a(294,397) d(335) r(357,381) d(432) 
	  6 r(247,245) d(254) r(422,377) d(364) 
	  6 r(238,240) a(351,403) r(348,460) a(409,385) 
	  6 r(238,240) a(293,270) 
	  6 a(254,231) d(358) a(489,263) a(363,456) d(519) d(529) 
	  6 r(238,240) a(363,456) d(519) d(286) 
	  6 a(254,231) d(358) a(489,263) d(414) 
	  6 r(238,240) a(351,403) a(460,469) r(321,443) 
	  6 d(462) r(448,405) r(348,460) d(362) 
	  6 r(238,240) a(351,403) r(348,460) r(445,451) 
	  6 d(462) r(448,405) a(460,469) r(407,362) 
	  6 d(461) a(351,403) a(289,335) r(296,467) 
	  6 r(238,240) a(363,456) d(333) a(385,290) 
	  6 a(254,231) d(358) a(489,263) a(427,414) 
	  6 r(451,411) d(460) a(482,434) d(253) 
	  6 d(250) d(489) r(298,445) a(460,286) r(303,459) 
	  5 r(238,240) d(445) a(413,462) 
	  6 d(250) d(489) r(298,445) d(515) 
	  6 r(238,240) d(445) a(460,286) a(421,307) 
	  6 r(407,451) r(422,377) r(405,496) 
	  6 r(247,245) d(254) d(467) d(291) 
	  6 r(407,451) d(467) d(239) 
	  6 r(247,245) d(254) r(422,377) r(246,255) 
	  6 a(287,341) d(426) a(301,451) d(433) 
	  6 r(435,428) a(467,343) d(477) d(464) 
	  6 r(451,411) d(460) a(482,434) d(361) 
	  6 a(294,397) d(335) d(382) a(479,429) 
	  6 r(451,411) d(460) a(482,434) r(489,424) 
	  6 a(294,397) d(335) d(382) r(421,416) 
	  6 a(385,408) a(253,395) d(236) a(256,523) 
	  6 d(517) d(411) r(249,238) 
search: generation 4 (sizeof one variant = 0.0881968 MB)
	  6 d(461) a(351,403) a(289,335) r(261,262) d(487) d(339) 
	  6 a(294,397) d(335) d(358) d(490) 
	  6 d(461) a(351,403) a(289,335) d(358) d(228) 
	  6 a(294,397) d(335) r(261,262) d(487) d(447) 
	  6 r(446,481) d(490) d(325) d(415) d(382) 
	  6 d(461) a(351,403) d(450) d(485) r(492,436) 
	  6 r(446,481) d(490) d(325) d(374) 
	  6 d(461) a(351,403) d(450) d(485) d(415) d(482) 
	  6 d(462) r(448,405) a(293,270) d(294) 
	  6 r(238,240) r(348,460) d(362) d(231) 
	  6 d(462) r(448,405) r(348,460) d(362) d(462) 
	  6 r(238,240) a(293,270) d(234) 
	  6 a(294,397) d(335) r(357,381) a(456,293) a(389,233) 
	  6 r(451,411) d(460) a(482,434) d(361) r(495,404) 
	  6 r(247,245) a(286,291) d(469) r(401,455) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000242/tools/tiffsplit.c  a(294,397) d(335) r(357,381) a(456,293) d(286) r(287,427)  fails to compile
	  0 a(294,397) d(335) r(357,381) a(456,293) d(286) r(287,427) 
	  6 r(247,245) a(286,291) d(469) d(286) r(345,284) 
	  6 a(294,397) d(335) r(357,381) a(456,293) a(472,329) 
	  6 r(435,428) a(467,343) d(367) r(485,492) d(330) 
	  6 r(407,451) a(289,335) r(259,244) d(327) 
	  6 r(451,411) d(460) a(482,434) d(361) d(447) 
	  6 a(385,408) a(253,395) d(236) a(256,523) a(468,436) 
	  6 d(517) a(237,282) 
	  6 a(294,397) d(335) r(357,381) d(432) d(411) r(249,238) d(496) 
	  6 d(517) d(411) r(249,238) a(430,285) 
	  6 a(294,397) d(335) r(357,381) d(432) a(432,455) 
	  6 d(462) r(252,243) a(389,282) a(325,371) 
	  6 d(522) r(419,449) d(526) r(448,405) a(460,469) r(407,362) r(438,496) 
	  6 d(462) r(448,405) a(460,469) r(407,362) d(305) 
	  6 d(522) r(419,449) d(526) r(252,243) a(389,282) d(430) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) 
	  6 r(247,245) a(482,434) r(489,424) a(446,266) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000259/tools/tiffsplit.c  r(451,411) d(460) a(482,434) r(489,424) r(391,239)  fails to compile
	  0 r(451,411) d(460) a(482,434) r(489,424) r(391,239) 
	  6 r(247,245) d(254) r(422,377) r(246,255) r(519,514) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) 
	  5 r(247,245) a(286,291) d(469) d(286) d(492) 
	  6 a(294,397) d(335) r(261,262) d(487) r(343,475) 
	  6 d(461) a(351,403) a(289,335) r(296,467) a(346,290) 
	  6 a(254,231) d(358) a(489,263) d(414) r(466,470) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) 
	  6 r(407,451) d(450) r(348,466) a(527,298) d(495) 
	  6 r(238,240) a(363,456) d(333) a(385,290) d(522) 
	  6 a(254,231) d(358) a(489,263) d(238) 
	  6 d(250) d(489) d(455) r(464,413) a(427,414) r(374,415) 
	  5 a(254,231) d(358) a(489,263) a(427,414) d(408) 
	  6 d(250) d(489) d(455) r(464,413) r(425,433) 
	  6 r(407,451) r(422,377) r(485,492) r(435,367) 
	  6 r(435,428) a(467,343) d(367) r(405,496) d(459) 
	  6 r(407,451) r(422,377) r(405,496) a(240,509) 
	  6 r(435,428) a(467,343) d(367) r(485,492) r(343,417) 
	  6 r(435,428) a(467,343) d(477) d(464) d(287) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) 
	  6 a(294,397) d(335) r(357,381) a(456,293) d(450) r(305,416) r(351,364) 
	  6 r(407,451) a(433,466) 
	  6 a(294,397) d(335) r(357,381) a(456,293) d(303) 
	  6 r(407,451) d(450) r(305,416) d(404) 
	  6 r(407,451) d(467) d(239) d(426) 
	  6 r(407,451) d(450) r(348,466) a(527,298) r(260,249) 
	  6 r(407,451) r(422,377) r(405,496) d(255) 
	  6 r(238,240) a(351,403) a(460,469) r(321,443) r(433,417) 
search: generation 5 (sizeof one variant = 0.0895424 MB)
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000287/tools/tiffsplit.c  d(517) a(237,282) r(377,522)  fails to compile
	  0 d(517) a(237,282) r(377,522) 
	  6 d(522) r(419,449) d(526) r(252,243) a(389,282) d(430) d(256) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) d(487) d(339) r(401,440) 
	  6 d(461) a(351,403) a(289,335) r(261,262) d(465) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) r(483,431) 
	  6 d(461) a(351,403) a(289,335) r(261,262) d(487) d(339) d(412) 
	  6 d(250) d(489) d(455) r(464,413) a(427,414) a(434,303) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) r(374,415) r(327,339) 
	  6 d(250) d(489) d(455) r(464,413) a(427,414) r(374,415) r(416,403) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) r(346,444) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(469) d(286) r(345,284) d(325) 
	  6 r(247,245) a(286,291) d(284) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(456) 
	  6 r(247,245) a(286,291) d(469) d(286) r(345,284) a(239,244) 
	  6 r(247,245) a(286,291) d(469) r(401,455) d(419) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) 
	  6 a(287,341) a(240,509) r(237,363) 
	  6 r(407,451) r(422,377) r(405,496) d(426) a(301,451) d(433) a(472,442) a(495,330) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) 
	  6 r(407,451) r(422,377) r(405,496) a(240,509) a(393,447) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000307/tools/tiffsplit.c  r(407,451) d(450) r(348,466) r(234,413)  fails to compile
	  0 r(407,451) d(450) r(348,466) r(234,413) 
	  6 r(407,451) r(422,377) r(405,496) d(255) a(527,298) d(495) d(461) 
	  6 r(407,451) d(450) r(348,466) a(527,298) d(495) d(285) 
	  6 r(407,451) r(422,377) r(405,496) d(255) d(483) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) 
	  6 d(462) r(252,243) r(348,466) a(527,298) d(495) a(437,329) 
	  6 r(407,451) d(450) r(348,466) a(527,298) d(495) d(468) 
	  6 d(462) r(252,243) a(389,282) a(325,371) a(266,345) 
	  6 r(407,451) d(450) a(256,523) a(468,436) d(514) 
	  5 a(385,408) a(253,395) d(236) r(348,466) a(527,298) r(260,249) a(321,397) 
	  6 r(407,451) d(450) r(348,466) a(527,298) r(260,249) d(327) 
	  6 a(385,408) a(253,395) d(236) a(256,523) a(468,436) d(527) 
	  6 d(462) r(448,405) a(325,371) d(263) 
	  6 d(462) r(252,243) a(389,282) a(293,270) d(294) r(346,441) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) 
	  6 d(462) r(252,243) a(389,282) a(325,371) d(513) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) a(513,397) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) r(343,482) 
	  6 a(294,397) a(472,329) a(452,431) 
	  6 a(294,397) d(335) r(357,381) a(456,293) d(335) r(357,381) a(456,293) d(450) r(305,416) r(351,364) d(270) 
	  6 a(294,397) d(335) r(357,381) a(456,293) d(450) r(305,416) r(351,364) d(465) 
	  6 a(294,397) d(335) r(357,381) a(456,293) a(472,329) r(307,483) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000329/tools/tiffsplit.c  r(407,451) r(422,377) r(485,492) r(435,367) r(263,465)  fails to compile
	  0 r(407,451) r(422,377) r(485,492) r(435,367) r(263,465) 
	  6 d(461) a(351,403) a(289,335) d(358) d(228) r(362,395) 
	  6 r(451,411) r(405,496) d(459) r(466,441) 
	  6 r(435,428) a(467,343) d(367) d(460) d(254) r(422,377) r(246,255) d(427) d(307) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(284) 
	  6 r(435,428) a(467,343) d(367) r(405,496) d(459) d(292) 
	  5 a(294,397) d(335) r(357,381) a(456,293) d(303) d(452) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(514) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000337/tools/tiffsplit.c  a(294,397) d(335) r(357,381) d(432) d(411) r(249,238) d(496) r(287,455)  fails to compile
	  0 a(294,397) d(335) r(357,381) d(432) d(411) r(249,238) d(496) r(287,455) 
	  6 a(294,397) d(335) r(357,381) d(432) a(432,455) r(496,456) 
	  6 a(294,397) d(335) r(357,381) a(456,293) r(361,432) 
	  6 r(238,240) a(363,456) d(333) a(385,290) d(522) a(472,329) r(251,239) 
	  6 a(294,397) d(335) r(357,381) a(456,293) a(472,329) d(405) 
	  6 r(238,240) a(363,456) d(333) a(385,290) d(522) d(262) 
	  6 a(294,397) d(335) d(358) r(357,381) d(432) d(411) r(249,238) d(496) d(461) 
	  6 a(294,397) d(335) d(490) d(416) 
	  6 a(294,397) d(335) d(358) d(490) r(432,309) 
	  6 a(294,397) d(335) r(357,381) d(432) d(411) r(249,238) d(496) r(405,337) 
	  6 a(294,397) d(335) r(261,262) d(487) r(343,475) d(251) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000348/tools/tiffsplit.c  r(407,451) a(433,466) r(272,416)  fails to compile
	  0 r(407,451) a(433,466) r(272,416) 
	  6 r(407,451) d(450) r(305,416) d(404) d(410) 
	  6 r(407,451) r(422,377) r(405,496) a(240,509) a(474,482) 
search: generation 6 (sizeof one variant = 0.0888109 MB)
	  6 d(522) r(419,449) d(526) r(252,243) a(389,282) d(430) d(256) d(245) 
	  6 a(294,397) d(335) r(357,381) a(456,293) d(303) d(452) r(436,397) 
	  6 a(294,397) d(335) d(490) d(416) d(522) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) d(487) d(339) r(401,440) r(514,525) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) d(442) 
	  6 a(294,397) d(335) d(490) d(416) d(526) 
	  6 d(461) a(351,403) a(289,335) r(261,262) d(487) d(339) d(412) d(449) 
	  6 r(435,428) a(467,343) d(367) r(405,496) d(459) d(292) r(345,419) 
	  6 d(250) d(489) d(455) r(464,413) r(422,377) r(405,496) a(240,509) a(474,482) r(462,296) 
	  6 r(407,451) a(427,414) a(434,303) d(382) 
	  6 d(250) d(489) d(455) r(464,413) a(427,414) a(434,303) r(441,333) 
	  6 r(407,451) r(422,377) r(405,496) a(240,509) a(474,482) a(238,345) 
	  6 d(462) r(252,243) a(389,282) a(325,371) d(513) d(248) 
	  6 r(407,451) d(450) a(256,523) a(468,436) d(514) d(290) 
	  6 a(287,341) a(240,509) r(237,363) d(387) 
	  6 a(294,397) d(335) r(357,381) a(456,293) a(472,329) d(405) r(473,337) 
	  6 r(451,411) r(405,496) d(348) r(492,489) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) 
	  6 r(451,411) r(405,496) d(459) r(466,441) r(460,409) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000371/tools/tiffsplit.c  a(294,397) d(335) r(357,381) a(456,293) a(472,329) a(325,371) d(513) r(509,307)  fails to compile
	  0 a(294,397) d(335) r(357,381) a(456,293) a(472,329) a(325,371) d(513) r(509,307) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) 
	  6 a(294,397) d(335) r(357,381) a(456,293) a(472,329) d(405) r(423,402) 
	  6 d(462) r(252,243) a(389,282) a(325,371) d(513) d(285) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(514) d(435) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) r(483,431) d(239) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(469) d(286) r(345,284) d(325) d(420) 
	  6 r(407,451) d(450) r(348,466) a(527,298) d(495) d(468) a(428,482) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(263) r(245,262) 
	  6 d(462) r(448,405) a(325,371) d(263) r(381,405) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(284) d(432) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) 
	  6 r(407,451) d(450) a(256,523) a(468,436) d(514) d(265) 
	  6 r(435,428) a(467,343) d(367) d(460) d(254) r(422,377) r(246,255) d(427) d(307) d(423) 
	  6 r(407,451) r(422,377) r(405,496) d(255) d(483) r(250,262) 
	  6 r(407,451) d(450) r(348,466) a(527,298) r(260,249) r(305,416) d(404) d(410) d(362) 
	  6 r(407,451) d(450) d(327) r(363,466) 
	  6 r(407,451) d(450) r(348,466) a(527,298) r(260,249) d(327) a(406,266) 
	  6 r(407,451) d(450) r(305,416) d(404) d(410) d(337) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000391/tools/tiffsplit.c  a(254,231) d(358) r(422,377) r(405,496) d(255) a(527,298) d(495) d(461) r(369,241)  fails to compile
	  0 a(254,231) d(358) r(422,377) r(405,496) d(255) a(527,298) d(495) d(461) r(369,241) 
	  6 r(407,451) a(489,263) d(414) r(362,474) d(487) d(339) r(401,440) d(510) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) d(487) d(339) r(401,440) d(330) 
	  6 r(407,451) r(422,377) r(405,496) d(255) a(527,298) d(495) d(461) r(254,234) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) r(374,415) r(327,339) a(476,373) 
	  6 a(294,397) d(335) d(490) d(416) d(447) 
	  6 d(461) a(351,403) a(289,335) d(358) d(228) r(362,395) d(440) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) r(362,445) 
	  6 r(238,240) a(363,456) d(333) a(385,290) d(522) d(262) r(416,436) 
	  6 a(294,397) d(335) d(490) d(416) a(485,452) 
	  6 r(451,411) a(472,442) r(495,343) d(445) 
	  6 a(287,341) d(426) a(301,451) d(433) r(405,496) d(459) r(466,441) r(439,362) 
	  6 r(451,411) r(405,496) d(459) r(466,441) a(529,523) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) r(421,453) 
search: generation 7 (sizeof one variant = 0.0880613 MB)
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) a(256,523) a(468,436) d(514) d(290) d(405) 
	  6 r(407,451) d(450) d(387) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) r(253,238) 
	  6 r(407,451) d(450) a(256,523) a(468,436) d(514) d(290) r(480,362) 
	  6 r(407,451) d(450) a(256,523) r(245,262) a(511,289) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000410/tools/tiffsplit.c  r(451,411) d(460) d(254) r(422,377) r(246,255) d(263) a(468,436) d(514) d(265) r(226,362)  fails to compile
	  0 r(451,411) d(460) d(254) r(422,377) r(246,255) d(263) a(468,436) d(514) d(265) r(226,362) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000411/tools/tiffsplit.c  r(407,451) d(450) a(256,523) a(468,436) d(514) d(265) r(282,447)  fails to compile
	  0 r(407,451) d(450) a(256,523) a(468,436) d(514) d(265) r(282,447) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(263) r(245,262) r(485,418) 
	  6 d(462) r(252,243) a(389,282) d(526) r(252,243) a(389,282) d(430) d(256) d(245) d(474) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) 
	  6 d(462) r(252,243) a(389,282) a(325,371) d(513) d(285) r(517,525) 
	  6 d(522) r(419,449) d(526) r(252,243) a(389,282) d(430) d(256) d(245) r(247,255) 
	  6 r(451,411) d(445) d(523) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(263) r(245,262) d(417) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(263) r(245,262) d(486) 
	  5 r(451,411) a(472,442) r(495,343) d(445) r(447,463) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) 
	  6 d(462) r(448,405) a(325,371) d(263) r(363,466) d(270) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) 
	  6 d(462) r(448,405) a(325,371) d(263) r(381,405) r(493,433) 
	  6 r(451,411) d(460) a(482,434) r(393,410) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(451,472) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) r(449,476) 
	  6 a(287,341) d(426) d(450) d(327) r(363,466) d(228) 
	  6 r(407,451) a(301,451) d(433) a(472,442) a(432,305) d(427) r(435,322) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) r(373,466) 
	  6 r(407,451) d(450) d(327) r(363,466) r(471,358) 
	  6 r(451,411) a(472,442) d(420) d(460) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(469) d(286) r(345,284) d(325) r(495,343) d(445) r(254,237) 
	  6 r(451,411) a(472,442) r(495,343) d(445) a(490,361) 
	  6 r(451,411) d(460) d(254) r(422,377) r(246,255) d(427) d(469) d(286) r(345,284) d(325) d(420) d(261) 
	  6 a(294,397) d(335) r(357,381) a(456,293) d(445) r(262,263) 
	  6 r(451,411) a(472,442) r(495,343) a(472,329) d(405) r(423,402) r(251,248) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000439/tools/tiffsplit.c  a(294,397) d(335) r(357,381) a(456,293) a(472,329) d(405) r(423,402) r(226,424)  fails to compile
	  0 a(294,397) d(335) r(357,381) a(456,293) a(472,329) d(405) r(423,402) r(226,424) 
	  6 r(451,411) a(472,442) r(495,343) d(445) r(492,367) 
	  6 a(294,397) d(335) r(357,381) a(456,293) a(472,329) d(405) r(423,402) a(491,415) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) d(404) 
	  6 r(407,451) d(450) a(256,523) a(468,436) d(514) d(265) r(467,339) 
	  6 d(522) r(419,449) d(526) r(252,243) a(389,282) d(430) d(256) d(245) r(479,305) 
	  6 a(294,397) d(335) d(433) a(472,442) r(495,343) r(362,445) r(522,513) 
	  6 a(287,341) d(426) a(301,451) d(490) d(416) d(447) d(465) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000447/tools/tiffsplit.c  a(294,397) d(335) d(490) d(416) d(447) r(234,409)  fails to compile
	  0 a(294,397) d(335) d(490) d(416) d(447) r(234,409) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) r(362,445) d(253) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) 
	  6 r(407,451) a(478,266) 
	  5 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) r(525,511) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) d(432) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) a(301,451) d(433) a(472,442) a(432,305) d(427) r(410,494) 
	  6 a(287,341) d(426) d(442) d(452) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) d(442) r(408,467) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) d(494) 
	  6 r(451,411) a(289,335) r(261,262) d(487) d(339) d(412) d(449) d(400) 
	  6 d(461) a(351,403) r(405,496) d(459) r(466,441) r(460,409) a(515,361) 
	  6 r(451,411) r(405,496) d(459) r(466,441) r(460,409) d(512) 
	  6 d(461) a(351,403) a(289,335) r(261,262) d(487) d(339) d(412) d(449) d(405) 
	  6 d(250) d(489) d(455) r(464,413) a(427,414) a(434,303) r(441,333) r(491,358) 
	  6 d(461) a(351,403) a(289,335) r(261,262) d(487) d(339) d(412) d(449) a(468,305) 
	  6 a(287,341) a(240,509) r(237,363) d(387) a(382,434) 
	  6 r(407,451) d(450) r(348,466) a(527,298) r(260,249) d(327) a(406,266) a(285,389) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) d(487) d(339) r(401,440) r(514,525) a(263,262) 
	  6 r(435,428) a(467,343) d(367) r(405,496) d(459) d(292) r(345,419) d(518) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) r(421,453) r(511,515) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) a(321,393) 
	  6 d(522) r(419,449) d(526) r(252,243) a(389,282) d(430) d(256) d(245) r(337,406) 
	  6 r(451,411) a(472,442) r(495,343) d(445) d(247) 
search: generation 8 (sizeof one variant = 0.0889759 MB)
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) a(511,385) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) d(494) a(301,451) d(433) a(472,442) a(432,305) d(427) r(410,494) d(363) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) a(301,451) d(433) a(472,442) a(432,305) d(427) r(410,494) r(374,447) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) d(494) d(357) 
	  6 r(451,411) d(431) d(335) 
	  6 r(407,451) d(450) d(327) r(381,405) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(263) r(245,262) d(417) r(527,526) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(263) r(245,262) d(417) d(246) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) d(468) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) r(373,466) r(413,479) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000480/tools/tiffsplit.c  r(451,411) a(289,335) r(261,262) d(487) d(339) d(412) d(449) d(400) r(523,478)  fails to compile
	  0 r(451,411) a(289,335) r(261,262) d(487) d(339) d(412) d(449) d(400) r(523,478) 
	  6 r(407,451) d(450) a(472,442) r(495,343) r(362,445) d(253) r(371,461) 
	  6 a(287,341) d(426) a(301,451) d(433) a(256,523) r(245,262) a(511,289) d(239) 
	  5 r(407,451) d(450) a(256,523) r(245,262) a(511,289) d(234) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) r(362,445) d(253) d(439) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) d(296) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) a(434,389) 
	  6 r(407,451) d(450) a(389,282) a(325,371) r(410,494) d(448) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) a(301,451) d(433) a(472,442) a(432,305) d(427) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) d(401) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) r(415,487) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) a(301,451) d(433) a(472,442) a(432,305) d(427) r(410,494) a(346,417) 
	  6 r(451,411) a(289,335) r(261,262) d(513) d(285) d(436) r(495,474) 
	  6 d(522) r(419,449) a(325,371) d(487) d(339) d(412) d(449) d(400) r(483,362) 
	  6 r(451,411) a(289,335) r(261,262) d(487) d(339) d(412) d(449) d(400) r(438,452) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) r(272,287) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) d(487) a(468,436) d(514) d(290) d(405) d(435) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) d(487) d(339) r(401,440) r(514,525) a(263,262) a(520,517) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) a(256,523) a(468,436) d(514) d(290) d(405) r(357,231) 
	  6 r(407,451) a(478,266) r(464,490) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) a(296,445) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) d(433) 
	  5 r(407,451) d(450) d(327) r(363,466) r(400,305) r(387,364) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) d(475) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) a(256,253) 
	  6 r(407,451) d(450) d(327) d(433) a(472,442) a(432,305) d(427) r(435,322) r(441,329) 
	  6 r(407,451) a(301,451) r(363,466) r(471,358) d(266) 
	  6 r(407,451) d(450) d(327) r(363,466) r(471,358) a(520,527) 
	  6 r(407,451) a(301,451) d(433) a(472,442) a(432,305) d(427) r(435,322) r(296,322) 
	  6 a(287,341) d(426) d(450) d(327) r(363,466) d(228) d(521) 
	  6 r(451,411) a(472,442) r(495,343) a(472,329) d(405) r(423,402) r(251,248) a(374,467) 
	  6 d(462) r(448,405) a(382,234) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) a(325,371) d(427) d(284) d(241) r(449,476) r(339,377) 
	  5 d(462) r(448,405) a(325,371) d(427) d(284) d(241) r(449,476) d(512) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) r(406,309) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) r(373,466) d(400) 
	  6 d(462) r(252,243) a(389,282) d(526) r(252,243) a(389,282) d(430) d(256) d(245) d(474) a(489,226) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) r(339,285) 
	  6 r(451,411) a(289,335) r(261,262) d(487) d(339) d(412) d(449) d(400) r(460,439) 
	  6 a(294,397) d(335) r(357,381) a(456,293) d(445) r(262,263) r(343,236) 
	  6 r(407,451) d(450) a(256,523) a(468,436) d(514) d(265) r(467,339) r(242,231) 
	  6 d(461) a(351,403) a(289,335) r(261,262) d(487) d(339) d(412) d(449) a(468,305) d(284) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) r(423,491) 
	  6 r(451,411) a(472,442) d(420) d(460) d(418) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) d(487) d(339) r(401,440) r(514,525) a(263,262) r(395,525) 
	  6 d(522) r(419,449) d(526) r(381,405) d(431) d(517) 
	  6 r(407,451) d(450) d(327) r(252,243) a(389,282) d(430) d(256) d(245) r(479,305) a(348,327) 
	  6 d(522) r(419,449) d(526) r(252,243) a(389,282) d(430) d(256) d(245) r(479,305) r(486,481) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) d(483) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) r(374,415) r(327,339) a(476,373) d(450) d(327) r(363,466) d(228) d(270) 
	  6 a(287,341) d(426) r(451,472) r(458,460) 
	  6 r(451,411) d(460) a(482,434) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(451,472) d(264) 
	  6 a(287,341) d(426) d(450) d(327) r(363,466) d(228) a(335,348) 
search: generation 9 (sizeof one variant = 0.0894032 MB)
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) d(253) r(371,461) d(515) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000534/tools/tiffsplit.c  r(407,451) d(450) a(472,442) r(495,343) r(362,445) r(362,445) d(253) d(439) r(263,448)  fails to compile
	  0 r(407,451) d(450) a(472,442) r(495,343) r(362,445) r(362,445) d(253) d(439) r(263,448) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) r(362,445) d(253) d(439) a(309,430) 
	  6 r(407,451) d(450) a(472,442) r(495,343) r(362,445) d(253) r(371,461) a(345,391) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) a(325,371) d(427) d(284) d(241) r(449,476) r(339,377) d(420) 
	  6 r(407,451) d(450) a(389,282) a(325,371) r(410,494) d(448) r(512,522) 
	  6 r(451,411) d(431) d(412) d(449) d(400) r(438,452) d(403) 
	  6 r(451,411) a(289,335) r(261,262) d(487) d(339) d(335) r(518,497) 
	  6 r(451,411) d(431) d(335) d(410) 
	  6 r(451,411) a(289,335) r(261,262) d(487) d(339) d(412) d(449) d(400) r(438,452) a(355,492) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) a(256,253) d(448) d(369) 
	  6 r(407,451) d(450) a(389,282) a(325,371) r(410,494) r(447,463) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) a(256,253) d(497) 
	  6 r(407,451) d(450) a(389,282) a(325,371) r(410,494) d(448) a(469,367) 
	  6 a(287,341) d(426) d(450) d(327) r(363,466) d(228) a(335,348) d(528) 
	  5 d(522) r(419,449) a(325,371) d(513) d(285) d(436) a(325,371) d(427) d(284) d(241) r(449,476) r(339,377) a(377,385) 
	  6 d(462) r(252,243) a(389,282) d(526) r(252,243) a(389,282) d(430) d(256) d(245) d(474) a(489,226) a(301,451) r(363,466) r(471,358) d(266) r(254,262) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000550/tools/tiffsplit.c  r(407,451) r(294,405)  fails to compile
	  0 r(407,451) r(294,405) 
	  6 d(462) r(252,243) a(389,282) d(526) r(252,243) a(389,282) d(430) d(256) d(245) d(474) a(489,226) d(321) 
	  6 r(407,451) a(301,451) r(363,466) r(471,358) d(266) r(249,245) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(450) d(327) r(363,466) r(400,305) a(434,389) d(259) 
	  6 r(407,451) d(263) r(245,262) d(417) d(246) r(467,345) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(263) r(245,262) d(417) d(246) d(497) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) a(434,389) r(437,471) 
	  6 d(522) r(419,449) d(526) r(381,405) d(431) d(517) r(442,458) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) a(256,523) a(468,436) d(514) d(290) d(405) r(357,231) d(293) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(263) d(433) a(472,442) a(432,305) d(427) r(435,322) r(296,322) r(471,437) 
	  6 r(407,451) a(301,451) r(245,262) d(417) d(246) r(452,405) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(263) r(245,262) d(417) d(246) r(522,523) 
	  6 r(407,451) a(301,451) d(433) a(472,442) a(432,305) d(427) r(435,322) r(296,322) d(419) 
	  6 r(451,411) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) r(415,487) r(402,432) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(431) d(335) r(298,452) 
	  6 r(451,411) d(431) d(335) d(322) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) r(415,487) a(437,423) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) d(513) d(285) d(436) r(495,474) d(321) 
	  6 r(451,411) a(289,335) r(261,262) r(514,525) a(263,262) d(300) d(254) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) d(254) 
	  6 r(451,411) a(289,335) r(261,262) d(513) d(285) d(436) r(495,474) r(245,246) 
	  6 r(407,451) d(450) d(327) d(433) a(472,442) a(432,305) d(427) r(435,322) d(335) r(357,381) a(456,293) d(445) r(262,263) r(343,236) a(426,462) 
	  6 a(294,397) r(441,329) d(419) 
	  6 r(407,451) d(450) d(327) d(433) a(472,442) a(432,305) d(427) r(435,322) r(441,329) r(289,270) 
	  6 a(294,397) d(335) r(357,381) a(456,293) d(445) r(262,263) r(343,236) r(245,241) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) a(325,371) d(427) d(284) d(241) r(449,476) r(339,377) a(415,482) 
	  6 r(451,411) d(431) d(335) d(462) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) r(423,491) d(261) 
	  5 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) r(373,466) d(400) d(491) 
	  6 d(462) d(460) d(418) r(512,525) 
	  6 r(451,411) a(472,442) d(420) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) a(252,504) 
	  6 d(462) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) r(226,237) 
	  6 r(451,411) a(472,442) d(420) d(460) d(418) r(291,327) 
	  6 a(287,341) d(426) a(301,451) d(433) a(256,523) r(245,262) a(511,289) d(239) d(412) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) a(296,445) d(519) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) a(301,451) d(433) a(472,442) a(432,305) d(427) r(410,494) a(346,417) r(520,519) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) r(406,309) d(426) 
	  6 d(522) r(419,449) d(526) r(363,466) r(471,358) a(520,527) d(504) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) d(517) d(478) 
	  6 d(522) r(419,449) d(526) r(381,405) d(431) d(517) d(417) 
	  6 r(407,451) d(450) d(327) r(363,466) r(471,358) a(520,527) r(301,437) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) r(373,466) r(413,479) a(448,309) 
	  6 a(254,231) d(358) a(489,263) d(414) r(362,474) d(487) d(339) r(401,440) r(514,525) a(263,262) r(395,525) r(369,428) 
	  6 r(407,451) d(450) a(256,523) a(468,436) d(514) d(265) r(467,339) r(242,231) r(455,441) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) a(296,445) a(472,453) 
search: generation 10 (sizeof one variant = 0.0891647 MB)
	  6 r(451,411) d(431) d(335) r(435,322) d(335) r(357,381) a(456,293) d(445) r(262,263) r(343,236) a(426,462) d(325) 
	  6 r(407,451) d(450) d(327) d(433) a(472,442) a(432,305) d(427) d(410) d(414) 
	  6 r(451,411) d(431) d(335) d(410) a(244,504) 
	  6 r(407,451) d(450) d(327) d(433) a(472,442) a(432,305) d(427) r(435,322) d(335) r(357,381) a(456,293) d(445) r(262,263) r(343,236) a(426,462) r(472,362) 
	  6 d(462) r(448,405) a(293,270) d(294) r(488,445) a(301,451) d(433) a(472,442) a(432,305) d(427) r(410,494) a(346,417) r(520,519) a(519,529) 
	  6 r(407,451) d(450) d(327) r(363,466) r(471,358) a(520,527) r(301,437) r(447,443) 
	  6 r(407,451) d(450) d(327) d(433) a(472,442) a(432,305) d(427) r(435,322) d(335) r(357,381) a(456,293) d(445) r(262,263) r(343,236) a(426,462) r(251,256) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) r(415,487) a(437,423) a(520,516) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(263) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) a(252,504) r(424,415) 
	  6 r(451,411) a(472,442) d(420) r(252,243) a(389,282) d(405) d(433) a(472,442) a(432,305) d(427) r(435,322) r(296,322) r(471,437) a(472,475) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(263) d(433) a(472,442) a(432,305) d(427) r(435,322) r(296,322) r(471,437) d(462) 
	  6 r(451,411) a(472,442) d(420) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) a(252,504) r(472,467) 
	  6 r(451,411) a(289,335) r(261,262) r(514,525) a(263,262) d(300) d(254) d(428) 
	  6 r(451,411) a(289,335) r(261,262) d(487) d(339) d(412) d(449) d(400) r(438,452) a(355,492) r(345,294) 
	  6 r(407,451) d(285) d(436) a(325,371) d(427) d(284) d(241) r(449,476) r(339,377) a(415,482) d(435) 
	  6 d(522) r(419,449) a(325,371) d(513) a(301,451) r(363,466) r(471,358) d(266) r(249,245) d(430) 
	  6 r(407,451) a(301,451) r(363,466) r(471,358) d(266) r(249,245) d(512) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) a(325,371) d(427) d(284) d(241) r(449,476) r(339,377) a(415,482) a(245,335) 
	  6 r(451,411) a(289,335) r(261,262) d(513) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) a(252,504) r(529,510) 
	  6 r(451,411) a(472,442) d(420) d(285) d(436) r(495,474) r(245,246) a(527,521) 
	  6 r(451,411) a(289,335) r(261,262) d(513) d(285) d(436) r(495,474) r(245,246) a(523,516) 
	  5 r(451,411) a(472,442) d(420) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) a(252,504) a(270,387) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) a(434,389) r(437,471) a(391,472) 
	  6 d(522) r(419,449) d(526) r(381,405) d(431) d(517) r(442,458) r(270,284) 
	  6 r(407,451) d(450) d(327) r(363,466) r(400,305) a(434,389) r(437,471) d(514) 
	  6 r(407,451) d(450) d(327) r(363,466) r(471,358) a(520,527) r(301,437) d(473) 
	  6 r(407,451) a(301,451) d(433) a(472,442) a(432,305) d(427) r(435,322) d(335) d(462) d(245) 
	  6 r(451,411) d(431) r(296,322) d(419) r(449,416) 
	  6 r(407,451) a(301,451) d(433) a(472,442) a(432,305) d(427) r(435,322) r(296,322) d(419) d(237) 
	  6 r(451,411) d(431) d(335) d(462) d(237) 
	  6 r(451,411) a(472,442) d(420) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) a(335,348) d(528) a(238,296) 
	  6 a(287,341) d(426) d(450) d(327) r(363,466) d(228) r(514,525) a(263,262) d(300) a(252,504) a(509,511) 
	  6 r(451,411) a(472,442) d(420) r(252,243) a(389,282) d(405) r(233,497) a(256,523) d(339) r(401,440) r(514,525) a(263,262) d(300) a(252,504) r(420,471) 
	  6 a(287,341) d(426) d(450) d(327) r(363,466) d(228) a(335,348) d(528) r(261,249) 
	  6 r(451,411) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) a(296,445) a(472,453) a(483,393) 
	  6 d(462) a(472,442) d(420) d(460) d(418) r(291,327) a(260,321) 
	  6 r(451,411) a(472,442) d(420) d(460) d(418) r(291,327) d(521) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000632/tools/tiffsplit.c  d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) a(296,445) a(472,453) r(263,412)  fails to compile
	  0 d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) a(296,445) a(472,453) r(263,412) 
	  6 r(451,411) a(289,335) r(261,262) r(514,525) a(263,262) d(300) d(254) r(457,358) a(296,445) a(472,453) d(227) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) d(515) 
	  6 r(451,411) a(289,335) r(261,262) r(514,525) a(263,262) d(300) d(254) r(245,254) 
	  6 d(462) r(448,405) a(325,371) d(427) d(284) d(241) d(361) r(456,480) r(374,415) r(327,339) a(476,373) r(457,358) a(296,445) a(472,453) d(475) 
	  6 r(407,451) d(418) r(512,525) d(482) 
	  6 d(462) d(460) d(450) d(327) d(433) a(472,442) a(432,305) d(427) r(435,322) r(441,329) r(289,270) r(437,414) 
	  6 r(407,451) d(450) d(327) d(433) a(472,442) a(432,305) d(427) r(435,322) r(441,329) r(289,270) r(387,478) 
	  6 d(462) d(460) d(418) r(512,525) a(492,410) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) r(423,491) d(513) d(285) d(436) r(406,309) d(426) r(339,239) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000642/tools/tiffsplit.c  d(522) r(419,449) a(325,371) d(261) r(271,454)  fails to compile
	  0 d(522) r(419,449) a(325,371) d(261) r(271,454) 
	  6 r(407,451) d(450) d(327) r(381,405) d(431) r(423,491) d(261) a(495,436) 
	  6 d(522) r(419,449) a(325,371) d(513) d(285) d(436) r(406,309) d(426) r(361,272) 
	  6 r(407,451) d(450) a(472,442) r(495,343) r(362,445) d(253) r(371,461) a(345,391) a(465,472) 
	  6 d(522) r(419,449) d(526) r(381,405) d(431) d(517) r(442,458) d(293) 
	  6 r(451,411) a(472,442) r(495,343) d(460) d(254) r(422,377) r(246,255) d(450) d(327) r(363,466) r(400,305) a(434,389) d(259) r(355,492) 
	  6 a(287,341) d(426) a(301,451) d(433) a(256,523) r(245,262) a(511,289) d(239) d(412) r(309,437) 
	  6 a(287,341) d(426) a(301,451) d(433) a(389,282) d(526) r(252,243) a(389,282) d(430) d(256) d(245) d(474) a(489,226) d(321) d(327) 
	  6 d(462) r(252,243) a(472,442) r(495,343) d(253) r(371,461) d(515) a(435,284) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) r(495,343) d(253) r(371,461) d(515) a(525,296) 
	  6 d(462) r(252,243) a(389,282) d(526) r(252,243) a(389,282) d(430) d(256) d(245) d(474) a(489,226) d(321) d(430) 
	  6 d(462) d(460) d(418) r(512,525) d(427) 
	  6 a(287,341) d(426) a(301,451) d(433) a(472,442) a(432,305) d(427) r(373,466) d(400) d(491) a(298,491) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) r(415,487) a(437,423) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) r(415,487) a(437,423) a(469,263) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(353,471) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) r(415,487) a(437,423) d(285) 
	  6 r(407,451) d(450) a(389,282) a(325,371) d(348) a(371,440) d(450) a(389,282) a(325,371) d(459) r(466,441) r(238,251) r(363,286) r(415,487) a(437,423) a(437,449) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 4591
"Test Suite Evaluations": 72.873

Compile Failures: 23
Wall-Clock Seconds Elapsed: 1668.45
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             660 607.830 = 39.9225%
  test                               4493 914.595 = 60.0709%
  TOTAL                                   1522.526 = 91.2536% (avg CPU usage)
libtiff-bug-2008-09-05-d59e7df-5f42dba.tar.gz
Sat Sep 21 13:58:39 EDT 2013
shutting down
