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 10
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-179-46-89 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:52 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/tmpc858fd.c /tmp/tmp9eb454.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 = 11.926)
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.0089407 MB)
	  6 d(413) 
	  6 a(504,523) 
	  6 d(325) 
	  6 d(491) 
	  6 r(238,243) 
	  6 r(435,358) 
	  6 r(389,377) 
	  6 r(496,353) 
	  6 d(509) 
	  6 a(325,228) 
	  6 d(526) 
	  6 r(239,263) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000012/tools/tiffsplit.c  r(233,444)  fails to compile
	  0 r(233,444) 
	  6 a(425,416) 
	  6 d(439) 
	  6 d(362) 
	  6 r(309,301) 
	  6 r(405,329) 
	  6 d(404) 
	  6 d(432) 
	  6 d(357) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000021/tools/tiffsplit.c  r(293,525)  fails to compile
	  0 r(293,525) 
	  6 r(511,527) 
	  6 d(238) 
	  6 r(484,322) 
	  6 d(519) 
	  6 d(448) 
	  6 d(416) 
	  6 d(247) 
	  6 r(445,475) 
	  6 d(403) 
	  6 d(262) 
	  6 r(518,528) 
	  6 r(469,337) 
	  6 r(400,437) 
	  6 r(466,414) 
	  6 r(418,404) 
	  6 a(397,466) 
	  6 r(408,419) 
	  6 original
search: generation 1 (sizeof one variant = 0.0863028 MB)
	  6 r(400,437) r(474,450) 
	  6 r(435,358) r(255,259) 
	  6 r(400,437) d(451) 
	  6 d(432) r(513,520) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000043/tools/tiffsplit.c  r(400,437) r(226,477)  fails to compile
	  0 r(400,437) r(226,477) 
	  6 d(432) r(519,525) 
	  6 r(405,329) r(254,244) 
	  6 a(325,228) r(427,330) 
	  6 d(432) r(321,266) 
	  6 a(397,466) a(484,432) 
	  6 r(400,437) d(239) 
	  6 d(526) a(519,373) 
	  6 d(403) a(520,389) 
	  6 r(484,322) r(461,402) 
	  6 d(325) a(357,439) 
	  6 d(413) r(449,459) 
	  6 d(325) a(416,289) 
	  6 d(413) d(400) 
	  6 a(397,466) r(305,333) 
	  6 r(469,337) a(425,440) 
	  6 r(511,527) a(467,329) 
	  6 a(504,523) d(404) 
	  6 d(432) a(455,236) 
	  6 r(518,528) r(462,455) 
	  6 d(432) a(381,455) 
	  6 r(518,528) r(240,262) 
	  6 r(405,329) d(457) 
	  6 r(435,358) d(414) 
	  6 r(408,419) r(518,514) 
	  6 r(239,263) d(362) 
	  6 d(404) d(432) 
	  6 d(362) r(419,435) 
	  6 d(404) r(403,436) 
	  6 d(362) a(362,478) 
	  6 r(400,437) r(400,303) 
	  6 d(325) d(457) 
	  6 r(400,437) d(255) 
	  6 d(325) d(373) 
	  6 r(518,528) r(254,245) 
	  6 d(262) d(494) 
	  6 r(511,527) a(407,419) 
	  6 r(484,322) r(529,497) 
	  6 d(448) d(262) 
	  6 d(432) r(526,504) 
	  6 d(448) d(379) 
	  6 d(432) a(255,256) 
	  6 d(262) r(485,465) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000086/tools/tiffsplit.c  d(362) r(509,322)  fails to compile
	  0 d(362) r(509,322) 
	  6 d(519) d(265) 
	  6 r(408,419) a(457,414) 
	  6 d(519) d(303) 
	  5 r(408,419) a(516,286) 
	  6 r(445,475) a(409,423) 
	  6 d(413) r(526,504) 
	  6 r(445,475) a(512,287) 
	  6 d(413) a(460,351) 
search: generation 2 (sizeof one variant = 0.0868816 MB)
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000095/tools/tiffsplit.c  d(413) a(460,351) r(509,364)  fails to compile
	  0 d(413) a(460,351) r(509,364) 
	  6 d(448) d(262) d(511) 
	  6 a(325,228) r(427,330) r(245,248) 
	  6 d(404) r(403,436) d(448) 
	  6 d(432) a(255,256) d(450) 
	  6 d(413) a(460,351) d(516) 
	  6 r(511,527) a(467,329) r(264,265) 
	  6 d(413) r(526,504) r(426,465) 
	  6 r(511,527) a(467,329) d(325) 
	  6 d(413) r(526,504) r(482,406) 
	  6 d(432) a(255,256) d(419) 
	  6 r(469,337) a(425,440) r(479,484) 
	  6 r(518,528) r(254,245) d(307) 
	  6 r(511,527) a(407,419) d(478) 
	  6 d(432) r(526,504) r(405,433) 
	  6 d(413) a(460,351) r(467,474) 
	  6 d(432) r(526,504) r(238,254) 
	  6 d(413) a(460,351) r(410,478) 
	  6 r(400,437) d(239) a(287,504) 
	  6 a(504,523) d(404) d(406) 
	  6 d(325) a(434,369) 
	  6 r(469,337) a(425,440) d(457) r(487,435) 
	  6 d(325) d(457) r(231,254) 
	  6 r(469,337) a(425,440) d(413) 
	  6 r(408,419) r(518,514) r(241,261) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000120/tools/tiffsplit.c  d(519) d(265) r(292,528)  fails to compile
	  0 d(519) d(265) r(292,528) 
	  6 d(404) r(485,351) 
	  6 r(484,322) r(529,497) d(432) d(243) 
	  6 d(404) d(432) r(241,245) 
	  6 r(484,322) r(529,497) r(362,473) 
	  5 d(432) r(513,520) r(415,441) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000126/tools/tiffsplit.c  d(432) a(455,236) r(272,420)  fails to compile
	  0 d(432) a(455,236) r(272,420) 
	  6 a(504,523) d(404) r(346,424) 
	  6 d(262) d(494) r(468,487) 
	  6 r(405,329) d(457) d(479) 
	  6 r(435,358) r(255,259) r(485,407) 
	  6 d(413) r(495,477) 
	  6 d(325) d(373) d(400) r(497,481) 
	  5 d(413) d(400) d(264) 
	  6 d(325) d(373) d(389) 
	  6 r(484,322) r(529,497) a(374,467) 
	  6 d(432) r(321,266) d(512) 
	  6 d(432) r(526,504) d(369) 
	  6 r(405,329) d(457) r(264,287) 
	  6 d(432) r(526,504) d(420) 
	  6 r(405,329) d(457) a(496,272) 
	  6 r(400,437) a(484,432) a(271,266) 
	  6 a(397,466) d(239) r(426,400) 
	  6 r(400,437) d(239) r(321,266) 
	  6 a(397,466) a(484,432) r(237,231) 
	  6 d(413) d(420) 
	  6 d(362) r(419,435) a(460,351) r(351,285) 
	  6 d(413) a(460,351) d(322) 
	  6 d(362) r(419,435) r(404,322) 
	  6 r(239,263) d(362) r(381,385) 
	  6 d(526) a(519,373) a(470,470) 
search: generation 3 (sizeof one variant = 0.0874147 MB)
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000151/tools/tiffsplit.c  r(405,329) r(287,445)  fails to compile
	  0 r(405,329) r(287,445) 
	  6 r(405,329) d(457) r(264,287) d(457) d(479) d(493) 
	  6 r(405,329) d(457) d(479) a(457,351) 
	  6 r(405,329) d(457) r(264,287) d(282) 
	  6 r(469,337) a(425,440) d(413) r(389,250) 
	  6 r(484,322) r(529,497) a(374,467) a(480,307) 
	  6 r(469,337) a(425,440) d(413) d(236) 
	  5 r(484,322) r(529,497) a(374,467) d(231) 
	  6 r(405,329) d(457) a(496,272) d(327) 
	  6 d(404) r(403,436) d(448) d(266) 
	  6 a(504,523) d(404) d(406) r(460,444) 
	  6 d(432) r(526,504) d(420) d(363) 
	  6 d(413) r(495,477) d(446) 
	  6 d(413) a(460,351) d(322) r(458,447) 
	  6 a(397,466) d(239) r(426,400) a(460,351) r(351,285) d(485) 
	  6 d(362) r(419,435) a(266,509) 
	  6 a(397,466) d(239) r(426,400) d(286) 
	  6 d(362) r(419,435) a(460,351) r(351,285) a(477,387) 
	  6 r(484,322) r(529,497) r(362,473) d(239) 
	  6 r(435,358) r(255,259) r(485,407) a(296,422) 
	  6 r(469,337) a(425,440) r(479,484) r(526,504) d(369) r(407,330) 
	  6 d(432) d(259) 
	  6 r(469,337) a(425,440) r(479,484) d(497) 
	  6 d(432) r(526,504) d(369) r(432,421) 
	  6 d(404) d(432) r(241,245) r(496,461) 
	  6 d(362) r(419,435) r(404,322) d(371) 
	  6 d(432) r(526,504) d(369) r(494,478) 
	  6 d(413) a(460,351) d(516) a(466,426) 
	  6 d(413) a(460,351) r(467,474) r(480,401) 
	  6 d(432) a(255,256) d(419) a(446,377) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(485,407) a(465,482) 
	  6 r(435,358) r(255,259) a(293,293) 
	  6 r(469,337) a(425,440) d(457) r(487,435) a(453,451) 
	  6 r(435,358) r(255,259) r(485,407) r(513,525) 
	  6 r(405,329) d(457) a(496,272) d(512) 
	  6 a(504,523) d(404) d(406) d(408) 
	  6 d(432) r(321,266) d(512) r(330,393) 
	  6 d(432) r(526,504) r(238,254) d(420) 
	  5 d(404) r(403,436) d(448) r(526,504) d(369) d(408) 
	  6 d(432) a(478,492) 
	  6 d(404) r(403,436) d(448) d(226) 
	  6 d(432) r(526,504) d(369) d(513) 
	  6 d(404) r(485,351) d(250) 
	  6 d(432) a(255,256) d(419) d(377) 
	  6 r(484,322) r(529,497) d(432) d(243) d(427) 
	  6 d(432) r(321,266) d(512) d(270) 
	  6 d(404) d(432) r(241,245) d(486) 
	  6 d(362) r(419,435) r(404,322) d(426) 
	  6 d(325) a(434,369) d(255) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) 
	  6 r(511,527) a(467,329) r(264,265) d(252) 
	  6 r(511,527) a(467,329) d(325) d(401) 
search: generation 4 (sizeof one variant = 0.0877705 MB)
	  5 d(413) a(460,351) d(516) a(466,426) r(431,447) 
	  6 r(484,322) r(529,497) a(374,467) a(480,307) a(526,514) 
	  6 d(404) r(485,351) d(250) d(444) 
	  6 a(397,466) d(239) r(426,400) a(460,351) r(351,285) d(485) r(495,486) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000208/tools/tiffsplit.c  d(413) d(457) d(479) a(457,351) r(284,464)  fails to compile
	  0 d(413) d(457) d(479) a(457,351) r(284,464) 
	  6 r(405,329) d(457) d(479) a(457,351) a(483,341) 
	  5 d(413) a(460,351) d(516) a(466,426) r(457,345) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000211/tools/tiffsplit.c  a(397,466) a(484,432) r(237,231) a(254,391) d(419) d(377) r(395,521)  fails to compile
	  0 a(397,466) a(484,432) r(237,231) a(254,391) d(419) d(377) r(395,521) 
	  6 d(432) a(255,256) a(291,381) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) d(303) 
	  6 d(432) a(255,256) d(419) d(377) r(440,413) 
	  6 d(432) a(478,492) r(486,448) 
	  6 r(405,329) d(457) r(264,287) d(282) d(397) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) 
	  6 d(432) r(321,266) d(512) d(270) r(485,407) a(465,482) r(442,427) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(485,407) a(465,482) a(250,397) 
	  6 d(432) r(321,266) d(512) d(270) r(487,493) 
	  6 d(432) r(321,266) d(512) r(330,393) d(377) 
	  6 d(362) r(419,435) r(404,322) d(426) d(444) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) 
	  6 d(362) r(237,231) a(254,391) a(257,233) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) a(353,491) 
	  6 d(362) r(419,435) r(404,322) d(426) d(385) 
	  6 r(405,329) d(457) a(496,272) d(512) d(325) d(401) r(403,363) 
	  6 r(511,527) a(467,329) d(471) 
	  6 r(405,329) d(457) a(496,272) d(512) d(492) 
	  6 r(511,527) a(467,329) d(325) d(401) d(247) 
	  6 d(432) r(526,504) d(369) d(513) r(419,373) 
	  6 r(435,358) r(255,259) r(485,407) r(513,525) a(490,484) 
	  6 d(404) r(485,351) d(250) r(525,526) 
	  6 d(432) r(526,504) d(369) d(513) r(463,412) 
	  6 d(413) r(495,477) d(446) d(329) 
	  6 r(469,337) a(425,440) r(479,484) d(497) d(417) 
	  6 d(432) d(259) d(408) 
	  6 d(404) d(432) r(241,245) r(496,461) d(411) 
	  6 r(405,329) d(457) r(264,287) d(457) d(420) d(520) 
	  6 d(432) r(526,504) r(238,254) d(479) d(493) d(447) 
	  6 r(405,329) d(457) r(264,287) d(457) d(479) d(493) r(329,497) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(419,435) a(266,509) d(455) 
	  6 d(362) r(259,233) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(355,335) 
	  6 d(362) r(419,435) a(266,509) d(489) 
	  6 d(432) r(526,504) d(420) d(363) r(485,407) r(513,525) d(369) 
	  6 r(435,358) r(255,259) a(249,377) 
	  6 d(432) r(526,504) d(420) d(363) a(300,449) 
	  6 r(435,358) r(255,259) r(485,407) r(513,525) a(428,405) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000251/tools/tiffsplit.c  r(405,329) d(457) a(496,272) d(327) r(237,510)  fails to compile
	  0 r(405,329) d(457) a(496,272) d(327) r(237,510) 
	  6 a(504,523) d(404) d(406) r(460,444) a(330,327) 
	  6 d(432) a(478,492) r(526,504) d(369) d(513) a(460,417) 
	  6 d(432) d(461) 
	  6 d(432) a(478,492) d(410) 
	  6 d(432) r(526,504) d(369) d(513) d(377) 
	  5 d(413) r(495,477) d(446) d(477) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(485,407) a(465,482) r(424,346) 
	  6 a(397,466) d(448) d(226) d(526) 
	  6 d(404) r(403,436) d(239) r(426,400) d(286) a(228,341) 
	  6 a(397,466) d(239) r(426,400) d(286) d(439) 
	  6 d(404) r(403,436) d(448) d(226) d(227) 
search: generation 5 (sizeof one variant = 0.0882874 MB)
	  6 d(413) r(495,477) d(446) d(329) d(527) 
	  5 d(432) a(478,492) r(526,504) d(369) d(513) a(460,417) a(292,523) 
	  5 d(432) a(478,492) r(526,504) d(369) d(513) a(460,417) a(257,282) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) 
	  6 a(397,466) d(239) r(426,400) a(460,351) r(351,285) d(485) r(495,486) a(346,282) 
	  5 r(511,527) r(426,400) d(286) d(439) r(488,382) 
	  6 a(397,466) d(239) a(467,329) d(471) a(262,321) 
	  6 r(511,527) a(467,329) d(471) a(460,381) 
	  6 a(397,466) d(239) r(426,400) d(286) d(439) r(293,327) 
	  6 d(404) d(432) r(241,245) r(496,461) d(411) d(466) 
	  6 a(504,523) d(404) d(406) r(460,444) a(330,327) a(455,381) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000275/tools/tiffsplit.c  d(404) r(485,351) d(250) d(444) r(272,487)  fails to compile
	  0 d(404) r(485,351) d(250) d(444) r(272,487) 
	  6 d(404) r(403,436) d(448) d(226) d(227) d(504) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(419,435) d(457) r(487,435) d(461) a(393,460) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) r(415,442) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(419,435) a(266,509) d(455) r(409,397) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) 
	  6 a(397,466) d(333) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) d(475) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(355,335) r(307,460) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) 
	  6 a(397,466) a(484,432) a(291,381) a(353,466) 
	  6 d(432) a(255,256) a(291,381) d(441) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(343) 
	  6 d(432) r(526,504) r(238,254) d(254) 
	  6 r(405,329) d(457) a(496,272) d(512) d(492) d(479) d(493) d(447) d(423) 
	  6 d(432) r(526,504) r(238,254) d(479) d(493) d(447) a(445,455) 
	  6 r(405,329) d(457) a(496,272) d(512) d(492) d(455) 
	  6 d(432) d(259) d(408) a(486,523) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(484,449) 
	  6 d(432) d(259) d(408) r(405,325) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) 
	  6 d(432) d(325) d(401) d(247) r(478,456) 
	  6 r(511,527) a(467,329) d(461) a(495,424) 
	  6 d(432) d(461) r(525,522) 
	  5 r(511,527) a(467,329) d(325) d(401) d(247) d(448) 
	  6 a(504,523) d(404) d(406) r(460,444) a(330,327) d(481) 
	  6 d(404) r(485,351) d(250) d(444) d(451) 
	  6 d(404) a(305,476) 
	  6 r(484,322) r(529,497) a(374,467) a(480,307) a(526,514) d(432) r(241,245) r(496,461) d(411) a(285,237) 
	  6 d(404) d(432) r(241,245) r(496,461) d(411) d(429) 
	  6 r(484,322) r(529,497) a(374,467) a(480,307) a(526,514) a(301,285) 
	  6 a(397,466) a(484,432) d(496) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) d(387) 
	  6 d(404) r(485,351) d(250) r(525,526) d(270) 
	  6 r(405,329) r(241,245) r(496,461) d(411) d(439) 
	  6 d(404) d(432) d(457) d(479) a(457,351) a(483,341) r(305,425) 
	  6 r(405,329) d(457) d(479) a(457,351) a(483,341) d(292) 
	  5 d(404) d(432) r(241,245) r(496,461) d(411) r(452,345) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(256,371) 
	  6 r(511,527) a(467,329) d(325) d(401) d(247) d(485) 
	  6 d(362) r(237,231) a(254,391) a(257,233) r(462,447) 
	  6 d(432) r(526,504) d(369) d(513) r(419,373) d(265) 
	  6 r(405,329) d(457) a(496,272) d(512) d(492) r(270,265) 
	  6 r(511,527) a(467,329) d(471) d(525) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(355,335) d(472) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(425,343) 
search: generation 6 (sizeof one variant = 0.0883989 MB)
	  6 r(484,322) r(529,497) a(374,467) r(355,335) r(301,361) a(473,436) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) a(480,307) a(526,514) d(432) r(241,245) r(496,461) d(411) a(285,237) a(357,426) 
	  6 r(484,322) r(529,497) a(374,467) a(480,307) a(526,514) d(432) r(241,245) r(496,461) d(411) a(285,237) d(424) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) r(473,395) 
	  6 a(397,466) a(484,432) d(496) r(270,288) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) d(405) 
	  6 a(397,466) d(239) r(426,400) d(286) d(439) r(293,327) d(480) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000331/tools/tiffsplit.c  r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) r(419,435) d(457) r(487,435) d(461) a(393,460) r(234,475)  fails to compile
	  0 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) r(419,435) d(457) r(487,435) d(461) a(393,460) r(234,475) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) d(290) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(419,435) d(457) r(487,435) d(461) a(393,460) d(436) 
	  6 d(404) d(432) r(241,245) r(496,461) d(411) r(452,345) r(449,491) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000336/tools/tiffsplit.c  r(469,337) a(425,440) d(457) r(487,435) d(461) a(256,371) r(385,526)  fails to compile
	  0 r(469,337) a(425,440) d(457) r(487,435) d(461) a(256,371) r(385,526) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(355,335) r(307,460) d(373) 
	  6 a(504,523) d(404) d(406) r(460,444) a(330,327) a(455,381) a(413,408) 
	  6 a(397,466) a(484,432) r(237,231) d(455) d(353) d(237) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) a(254,391) r(419,435) d(457) r(487,435) d(461) a(393,460) d(416) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(419,435) d(457) r(487,435) d(461) a(393,460) r(330,345) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) d(485) 
	  6 d(432) d(259) d(426) d(467) a(418,236) d(483) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000344/tools/tiffsplit.c  a(397,466) a(484,432) r(419,435) r(404,322) d(408) a(486,523) r(234,462)  fails to compile
	  0 a(397,466) a(484,432) r(419,435) r(404,322) d(408) a(486,523) r(234,462) 
	  6 d(432) d(259) d(408) a(486,523) a(421,426) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) d(290) 
	  5 r(405,329) r(241,245) r(496,461) d(411) d(439) d(515) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(355,335) d(472) d(231) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) 
	  5 r(484,322) r(529,497) a(374,467) r(362,454) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000351/tools/tiffsplit.c  d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(294,330)  fails to compile
	  0 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(294,330) 
	  6 r(484,322) r(529,497) a(374,467) a(480,307) a(526,514) a(301,285) a(492,397) 
	  6 r(511,527) a(467,329) d(471) d(525) d(494) 
	  6 a(397,466) d(333) d(305) 
	  6 d(432) d(325) d(401) d(247) r(478,456) r(495,474) 
	  6 r(511,527) a(467,329) d(325) d(401) d(247) d(485) r(483,351) 
	  6 a(397,466) d(239) r(426,400) d(286) d(439) r(293,327) a(491,403) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(287) 
	  6 r(405,329) r(241,245) r(496,461) d(411) d(439) r(446,421) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) d(387) r(436,410) 
	  6 a(397,466) d(333) r(291,343) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) d(435) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(401) d(247) r(478,456) d(434) 
	  6 d(432) d(325) d(455) d(353) r(408,476) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) 
	  6 d(432) d(325) d(401) d(247) r(478,456) d(293) 
	  6 d(432) r(526,504) r(238,254) d(479) d(493) d(447) a(445,455) a(237,227) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) d(387) d(446) 
	  6 r(405,329) d(457) d(479) a(457,351) a(483,341) d(292) d(228) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) d(387) a(290,379) 
	  6 d(432) d(461) r(525,522) r(485,483) 
search: generation 7 (sizeof one variant = 0.0879736 MB)
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) d(411) 
	  6 d(432) r(526,504) r(238,254) d(479) d(493) d(447) a(445,455) a(237,227) r(513,523) 
	  6 d(432) d(325) d(401) d(247) r(478,456) r(495,474) r(341,286) 
	  5 r(511,527) a(467,329) d(325) d(401) d(247) d(485) r(483,351) d(442) 
	  6 d(432) d(325) d(455) d(353) r(408,476) r(450,389) 
	  6 r(405,329) r(241,245) r(496,461) d(411) d(439) r(446,421) d(231) 
	  6 a(397,466) d(333) r(291,343) a(294,298) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) d(387) d(446) d(272) 
	  6 a(504,523) d(404) d(406) r(460,444) a(330,327) a(455,381) a(413,408) a(395,437) 
	  5 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) d(473) 
	  6 d(432) d(455) 
	  6 a(504,523) d(404) d(406) r(460,444) a(330,327) a(455,381) a(413,408) d(259) d(426) d(467) a(418,236) d(483) r(387,411) 
	  6 d(432) d(259) d(426) d(467) a(418,236) d(483) d(428) 
	  6 a(504,523) d(404) d(406) r(460,444) a(330,327) a(455,381) a(413,408) r(250,233) 
	  6 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) a(367,309) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) d(290) d(452) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) d(325) d(401) d(247) r(478,456) d(293) d(325) 
	  6 d(432) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) r(469,455) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) a(389,417) 
	  5 d(432) d(325) d(401) d(247) r(478,456) d(293) a(481,374) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(419,435) d(457) r(487,435) d(461) a(393,460) d(436) d(294) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) d(290) r(483,387) 
	  6 r(469,337) a(466,426) r(362,353) r(513,523) d(286) r(522,525) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) d(353) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) r(288,291) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) r(333,382) 
	  5 r(511,527) a(467,329) d(325) d(401) d(247) d(485) r(483,351) d(515) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(488) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(341,301) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000408/tools/tiffsplit.c  d(404) r(485,351) d(250) r(525,526) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) r(379,259)  fails to compile
	  0 d(404) r(485,351) d(250) r(525,526) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) r(379,259) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) d(447) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) 
	  6 d(404) d(467) d(387) d(446) r(241,244) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) d(522) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) d(527) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) d(387) d(446) a(261,361) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) r(339,301) 
	  6 d(432) d(461) r(525,522) r(485,483) d(467) d(387) d(446) d(450) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) d(387) d(446) a(286,497) 
	  6 d(432) d(461) r(525,522) r(485,483) a(321,440) 
	  6 d(432) a(418,236) d(435) a(330,400) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) d(485) r(414,400) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) d(485) a(410,459) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000422/tools/tiffsplit.c  a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) d(435) r(337,526)  fails to compile
	  0 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) d(435) r(337,526) 
	  6 d(404) d(432) r(241,245) r(496,461) d(411) r(452,345) r(449,491) d(454) 
	  6 r(484,322) r(529,497) a(374,467) a(480,307) a(526,514) a(301,285) a(492,397) d(504) 
	  6 r(484,322) r(529,497) a(374,467) a(480,307) a(526,514) d(432) r(241,245) r(496,461) d(411) a(285,237) d(424) d(442) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) r(355,335) d(472) d(231) r(270,265) 
	  6 r(405,329) d(491) 
	  6 a(397,466) d(333) d(305) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) r(486,333) 
	  6 a(397,466) d(333) d(305) d(303) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) d(290) d(464) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) a(424,465) 
search: generation 8 (sizeof one variant = 0.0898695 MB)
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) a(286,523) 
	  6 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) a(367,309) d(291) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) a(389,417) a(247,363) 
	  6 d(432) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) r(469,455) a(382,357) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) a(357,287) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) d(290) d(452) d(237) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) d(290) d(452) a(457,431) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) d(303) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) a(479,430) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) 
	  6 r(405,329) d(491) d(322) 
	  5 d(432) d(461) r(525,522) r(485,483) d(467) d(387) d(446) d(450) d(255) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) d(516) a(466,426) r(362,353) r(513,523) d(286) r(333,382) d(397) 
	  6 r(405,329) a(460,351) a(341,301) r(449,462) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(341,301) a(486,428) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) r(333,382) d(362) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(469) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) d(353) a(495,451) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(488) d(514) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) d(292) 
	  6 d(432) r(526,504) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) r(301,436) 
	  6 a(397,466) d(333) d(305) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) d(517) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) r(408,443) 
	  6 a(397,466) d(333) d(305) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) r(452,449) 
	  5 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) a(514,361) 
	  6 d(432) r(526,504) r(238,254) d(420) a(367,309) d(422) 
	  6 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) a(367,309) d(387) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) d(254) 
	  6 d(404) d(467) d(387) d(446) r(309,296) r(512,525) d(475) a(470,463) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(241,244) a(470,432) 
	  6 d(404) d(467) d(387) d(446) r(241,244) a(486,325) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) r(255,236) 
	  6 d(404) d(432) r(241,245) r(496,461) d(411) r(452,345) r(449,491) d(454) d(470) 
	  5 d(432) a(418,236) d(435) a(330,400) d(418) 
	  6 d(432) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) a(256,371) r(405,409) d(353) r(404,339) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) r(261,250) r(469,455) r(441,377) 
	  6 d(432) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) r(469,455) a(242,246) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) d(353) a(237,251) 
	  6 a(397,466) a(484,432) d(467) d(387) d(446) r(241,244) a(434,430) 
	  6 d(404) r(419,435) r(404,322) d(426) d(467) a(418,236) d(290) d(464) d(300) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) d(290) d(464) d(461) 
	  6 d(404) d(467) d(387) d(446) r(241,244) d(521) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) a(420,289) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(228) 
	  6 a(397,466) a(484,432) r(419,435) d(461) r(525,522) r(485,483) d(467) d(387) d(446) d(450) d(251) 
	  6 d(432) r(404,322) d(426) d(467) a(418,236) d(290) r(483,387) a(250,341) 
	  6 a(397,466) a(484,432) r(419,435) r(404,322) d(426) d(467) a(418,236) d(290) r(483,387) d(420) 
	  6 d(432) d(461) r(525,522) r(485,483) d(467) d(387) d(446) d(450) a(387,341) 
	  6 r(405,329) d(491) d(529) 
	  6 d(404) d(467) d(387) d(446) r(241,244) r(436,348) 
	  5 d(404) d(432) r(241,245) r(496,461) d(411) r(452,345) r(449,491) d(454) r(513,519) 
	  6 r(405,329) r(241,245) r(496,461) d(411) d(439) r(446,421) d(231) a(351,284) 
	  6 r(469,337) a(425,440) d(457) d(491) a(240,343) 
	  6 r(405,329) r(487,435) d(461) d(325) d(401) d(247) r(478,456) d(293) d(325) r(518,516) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) d(325) d(401) d(247) r(478,456) d(293) d(325) d(480) 
	  6 r(405,329) d(491) a(435,289) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(367,309) r(425,415) 
	  6 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) a(526,514) a(301,285) r(427,471) d(416) d(262) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) r(443,419) 
	  6 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) a(367,309) a(459,413) 
search: generation 9 (sizeof one variant = 0.0887079 MB)
	  6 d(404) d(467) d(387) d(446) r(238,254) d(420) r(421,444) d(511) a(480,307) a(367,309) r(425,415) r(482,373) 
	  6 d(432) r(526,504) r(241,244) r(436,348) d(466) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000495/tools/tiffsplit.c  d(404) d(467) d(387) d(446) r(241,244) r(436,348) r(285,490)  fails to compile
	  0 d(404) d(467) d(387) d(446) r(241,244) r(436,348) r(285,490) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(367,309) r(425,415) d(493) 
	  6 r(469,337) a(425,440) a(266,509) a(478,327) r(452,449) r(404,477) 
	  6 a(397,466) d(333) d(305) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) d(455) r(309,296) r(512,525) d(475) r(255,236) r(364,491) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) r(255,236) a(456,364) 
	  6 a(397,466) d(333) d(305) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) r(452,449) d(442) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(488) d(514) a(257,379) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) r(443,419) a(367,439) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(491) d(322) d(481) 
	  6 r(405,329) d(461) r(261,250) r(469,455) r(441,377) a(381,367) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) r(261,250) r(469,455) r(441,377) a(296,294) 
	  6 r(405,329) d(491) d(322) a(262,259) 
	  5 d(404) d(467) d(387) d(446) r(241,244) r(436,348) r(468,416) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) d(420) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) r(333,382) d(362) d(296) 
	  5 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) a(367,309) a(459,413) d(263) 
	  5 d(432) a(255,256) r(237,231) a(254,391) r(419,435) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) r(443,419) d(518) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) a(266,509) d(455) d(353) a(428,439) a(483,307) d(469) d(482) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(469) d(441) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) r(443,419) d(464) 
	  6 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) a(367,309) d(291) d(433) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) a(357,287) a(292,509) 
	  5 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(461) r(525,522) r(485,483) d(467) d(387) d(446) d(450) d(251) a(264,237) 
	  6 a(397,466) a(484,432) r(419,435) d(475) d(303) d(240) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) d(303) d(259) 
	  6 a(397,466) a(484,432) r(419,435) d(461) r(525,522) r(485,483) d(467) d(387) d(446) d(450) d(251) d(436) 
	  6 d(432) r(526,504) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) r(301,436) a(471,497) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(367,309) r(425,415) d(282) 
	  6 r(405,329) a(460,351) d(467) d(387) d(446) r(241,244) d(521) r(351,452) 
	  6 d(404) a(341,301) r(449,462) d(261) 
	  6 r(405,329) a(460,351) a(341,301) r(449,462) a(227,355) 
	  6 d(404) d(467) d(387) d(446) r(241,244) d(521) d(439) 
	  6 r(405,329) a(254,391) r(355,335) r(301,361) a(256,371) r(405,409) d(353) r(404,339) r(261,236) 
	  6 d(432) a(484,432) r(237,231) d(491) d(322) d(330) 
	  6 r(405,329) d(491) d(322) r(403,435) 
	  6 d(432) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) a(256,371) r(405,409) d(353) r(404,339) d(471) 
	  5 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) d(290) d(452) d(237) r(301,436) a(393,411) 
	  6 d(432) r(526,504) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) a(293,233) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) d(290) d(452) d(237) r(529,522) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000534/tools/tiffsplit.c  d(432) r(526,504) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) r(301,436) r(233,522)  fails to compile
	  0 d(432) r(526,504) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) r(301,436) r(233,522) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000535/tools/tiffsplit.c  r(469,337) a(425,440) d(457) d(491) a(240,343) r(292,476)  fails to compile
	  0 r(469,337) a(425,440) d(457) d(491) a(240,343) r(292,476) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) a(479,430) a(419,466) 
	  6 r(405,329) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) r(474,477) 
	  5 d(432) r(526,504) r(238,254) d(420) r(421,444) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) r(261,250) r(469,455) r(441,377) a(355,442) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) r(261,250) r(469,455) r(441,377) r(424,487) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) r(487,337) 
	  6 r(469,337) a(425,440) a(266,509) d(455) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(228) a(381,473) 
	  6 d(432) r(241,244) a(470,432) r(307,301) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(241,244) a(470,432) d(262) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(228) d(413) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(341,301) a(486,428) a(403,451) a(479,430) d(296) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) r(494,434) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(341,301) a(486,428) r(410,447) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) a(479,430) d(437) 
	  6 d(432) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) r(469,455) a(242,246) r(430,417) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) d(353) a(495,451) a(242,333) 
	  6 r(469,337) a(425,440) d(457) d(491) a(240,343) d(427) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) d(353) a(237,251) r(346,467) 
	  6 d(432) r(526,504) r(238,254) d(420) a(367,309) d(422) a(228,263) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) a(389,417) a(247,363) d(270) 
search: generation 10 (sizeof one variant = 0.0889864 MB)
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(367,309) r(425,415) d(493) r(495,363) 
	  6 a(397,466) a(484,432) r(237,231) a(254,391) a(357,287) a(292,509) d(422) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) r(443,419) a(367,439) a(309,471) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(469) d(441) d(351) 
	  6 d(404) a(341,301) a(480,307) a(526,514) a(301,285) r(427,471) d(488) d(514) a(257,379) r(429,400) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(449,462) d(261) a(265,369) 
	  6 d(404) a(341,301) r(449,462) d(261) d(406) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(488) d(514) a(257,379) d(321) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) a(479,430) d(437) a(363,291) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) r(355,335) r(301,361) r(261,250) a(389,417) a(247,363) d(270) d(364) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) a(389,417) a(247,363) d(270) a(438,509) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) a(479,430) d(437) a(309,411) 
	  6 r(469,337) a(425,440) a(266,509) a(478,327) r(452,449) r(333,382) d(362) d(296) a(452,407) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) r(404,477) a(322,321) 
	  6 r(469,337) a(425,440) a(266,509) a(478,327) r(452,449) r(404,477) d(434) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) r(333,382) d(362) d(296) r(351,287) 
	  6 r(405,329) a(460,351) d(467) d(387) d(446) r(241,244) d(521) r(351,452) d(337) 
	  6 d(432) r(241,244) a(470,432) r(307,301) r(259,250) 
	  6 d(432) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) a(256,371) r(405,409) d(353) r(404,339) d(471) a(419,401) 
	  6 r(469,337) a(425,440) d(457) r(487,435) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(341,301) a(486,428) r(410,447) r(522,525) 
	  6 r(405,329) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) r(474,477) a(325,435) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(491) d(322) d(481) a(231,294) 
	  6 d(404) d(467) d(387) d(446) r(238,254) d(420) r(421,444) d(511) a(480,307) a(367,309) d(491) d(322) d(330) d(293) 
	  6 d(432) a(484,432) r(237,231) r(425,415) r(482,373) d(346) 
	  6 d(404) d(467) d(387) d(446) r(238,254) d(420) r(421,444) d(511) a(480,307) a(367,309) r(425,415) r(482,373) d(270) 
	  6 d(432) a(484,432) r(237,231) d(491) d(322) d(330) a(382,473) 
	  6 a(397,466) a(484,432) a(495,451) a(242,333) d(395) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) d(353) r(419,435) d(475) d(303) d(240) d(403) 
	  6 a(397,466) a(484,432) r(419,435) d(475) d(303) d(240) d(251) 
	  5 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) d(353) a(495,451) a(242,333) r(486,440) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) d(420) d(251) 
	  6 d(432) r(526,504) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) r(301,436) a(471,497) a(382,413) 
	  6 r(469,337) a(425,440) a(266,509) d(455) r(309,296) r(512,525) d(475) d(290) d(452) d(237) r(529,522) r(525,521) 
	  6 a(397,466) d(333) d(305) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) a(478,327) r(452,449) d(442) r(528,527) 
	  6 r(405,329) a(460,351) a(341,301) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) r(487,337) r(256,259) 
	  6 d(432) r(526,504) r(449,462) a(227,355) d(489) 
	  6 r(405,329) a(460,351) a(341,301) r(449,462) a(227,355) a(495,420) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) r(487,337) r(404,437) 
	  6 a(397,466) a(484,432) r(419,435) r(427,471) a(367,309) d(291) d(433) r(237,361) 
	  6 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) d(461) r(525,522) r(485,483) d(467) d(387) d(446) d(450) d(251) d(436) r(460,400) 
	  6 a(397,466) a(484,432) r(419,435) d(461) r(525,522) r(485,483) d(467) d(387) d(446) d(450) d(251) d(436) r(523,265) 
	  6 a(397,466) a(484,432) a(480,307) a(526,514) a(301,285) r(427,471) a(367,309) d(291) d(433) d(440) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) r(443,419) d(464) a(266,509) d(455) d(353) a(428,439) a(483,307) d(228) d(413) d(470) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) r(335,430) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(526,514) a(301,285) r(427,471) d(416) r(443,419) d(464) r(429,369) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(228) d(413) d(303) 
	  6 d(432) a(484,432) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) a(479,430) a(419,466) a(510,292) 
	  6 d(404) r(485,351) r(237,231) d(491) d(322) d(330) r(457,458) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000603/tools/tiffsplit.c  d(432) a(484,432) r(237,231) d(491) d(322) d(330) r(266,428)  fails to compile
	  0 d(432) a(484,432) r(237,231) d(491) d(322) d(330) r(266,428) 
	  6 d(404) r(485,351) d(250) r(525,526) r(419,435) r(404,322) d(426) d(467) a(343,442) d(252) a(403,451) a(479,430) a(419,466) a(321,473) 
	  6 r(469,337) a(425,440) a(266,509) a(478,327) r(452,449) r(404,477) r(254,234) 
	  6 r(405,329) d(511) r(237,231) a(254,391) d(290) r(435,400) d(449) r(474,477) d(379) 
	  6 r(469,337) a(425,440) d(457) r(487,435) d(461) a(484,432) r(237,231) a(254,391) r(355,335) r(301,361) r(261,250) a(389,417) a(247,363) d(270) r(526,521) 
	  6 r(405,329) a(460,351) d(516) a(425,440) d(457) r(487,435) d(461) a(256,371) r(405,409) d(353) a(495,451) a(242,333) d(431) 
	  6 r(405,329) d(491) d(322) d(330) a(240,252) 
	  6 d(432) a(484,432) r(237,231) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) r(333,382) d(362) d(296) a(469,486) 
	  6 r(405,329) a(460,351) d(516) a(466,426) r(362,353) r(513,523) d(286) r(333,382) d(362) d(296) r(432,470) 
	  6 d(432) a(484,432) r(237,231) d(491) d(322) d(330) d(245) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(469) d(441) a(443,330) 
	  6 d(432) a(255,256) r(237,231) a(367,309) r(425,415) d(493) a(456,468) 
	  6 d(432) r(526,504) r(238,254) d(420) r(421,444) d(511) a(480,307) a(367,309) r(425,415) d(493) d(492) 
	  6 d(432) a(255,256) r(237,231) a(254,391) r(419,435) a(266,509) d(455) d(353) a(428,439) a(483,307) d(469) d(441) d(379) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 4309
"Test Suite Evaluations": 68.3968

Compile Failures: 22
Wall-Clock Seconds Elapsed: 2773.19
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             618 594.986 = 22.5661%
  test                               4218 2041.515 = 77.4287%
  TOTAL                                   2636.637 = 95.0755% (avg CPU usage)
libtiff-bug-2008-09-05-d59e7df-5f42dba.tar.gz
Sat Sep 21 14:17:07 EDT 2013
shutting down
