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 6
--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-51-216 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:47 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/tmp747900.c /tmp/tmpe0ccf3.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 12.4683)
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.0089035 MB)
	  6 r(234,237) 
	  6 d(286) 
	  6 r(237,509) 
	  6 a(257,231) 
	  6 d(432) 
	  6 a(238,250) 
	  6 d(252) 
	  6 r(497,465) 
	  6 a(228,249) 
	  6 d(440) 
	  6 d(237) 
	  6 a(395,451) 
	  6 r(254,227) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000013/tools/tiffsplit.c  r(272,434)  fails to compile
	  0 r(272,434) 
	  6 a(243,253) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000015/tools/tiffsplit.c  r(385,514)  fails to compile
	  0 r(385,514) 
	  6 a(374,327) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000017/tools/tiffsplit.c  r(504,464)  fails to compile
	  0 r(504,464) 
	  6 a(253,226) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000019/tools/tiffsplit.c  r(286,301)  fails to compile
	  0 r(286,301) 
	  6 d(424) 
	  6 r(482,423) 
	  6 a(423,465) 
	  6 r(367,231) 
	  6 r(488,444) 
	  6 r(421,449) 
	  6 r(271,523) 
	  6 r(309,461) 
	  6 d(441) 
	  6 a(525,287) 
	  6 d(309) 
	  6 r(482,333) 
	  6 d(406) 
	  6 r(432,296) 
	  6 d(260) 
	  6 a(355,476) 
	  6 d(240) 
	  6 r(387,406) 
	  6 r(270,288) 
	  6 original
search: generation 1 (sizeof one variant = 0.0863705 MB)
	  6 r(237,509) d(520) 
	  6 r(254,227) d(305) 
	  6 r(237,509) d(480) 
	  6 r(254,227) d(346) 
	  6 a(395,451) r(395,484) 
	  6 r(309,461) r(251,247) 
	  6 d(286) a(429,461) 
	  6 a(355,476) a(387,337) 
	  6 d(286) r(381,509) 
	  6 a(355,476) d(470) 
	  6 d(441) a(253,234) 
	  6 r(432,296) a(361,353) 
	  6 d(441) r(413,434) 
	  6 r(432,296) a(520,296) 
	  6 r(271,523) a(456,450) 
	  6 a(374,327) d(236) 
	  6 a(243,253) d(355) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000056/tools/tiffsplit.c  d(237) r(333,526)  fails to compile
	  0 d(237) r(333,526) 
	  6 d(432) a(282,369) 
	  6 d(260) d(289) 
	  6 d(432) a(355,427) 
	  6 d(260) d(307) 
	  6 a(423,465) a(381,358) 
	  6 d(432) r(433,424) 
	  6 a(423,465) d(482) 
	  6 d(432) r(412,327) 
	  6 r(271,523) a(504,385) 
	  6 d(309) d(432) 
	  6 a(243,253) d(408) 
	  6 a(243,253) a(407,341) 
	  6 a(243,253) d(481) 
	  6 a(243,253) a(461,449) 
	  6 a(395,451) r(242,236) 
	  6 a(253,226) r(440,421) 
	  6 a(395,451) d(377) 
	  6 a(253,226) r(475,444) 
	  6 r(309,461) r(479,474) 
	  6 r(497,465) r(242,248) 
	  6 r(309,461) a(451,447) 
	  6 r(497,465) d(489) 
	  6 r(421,449) a(282,325) 
	  6 r(270,288) r(435,373) 
	  6 r(421,449) r(494,425) 
	  6 r(270,288) a(298,271) 
	  6 d(286) r(252,248) 
	  6 a(395,451) d(488) 
	  6 d(286) d(361) 
	  6 a(395,451) r(516,526) 
	  6 r(367,231) d(438) 
	  6 r(271,523) d(414) 
	  6 r(367,231) d(460) 
	  6 r(271,523) d(439) 
	  6 a(228,249) r(397,402) 
	  6 a(243,253) r(251,248) 
	  6 r(309,461) r(409,330) 
	  6 r(488,444) a(411,234) 
	  6 d(286) d(266) 
	  6 a(228,249) d(290) 
	  6 d(286) r(497,461) 
	  6 a(228,249) r(456,364) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000099/tools/tiffsplit.c  d(309) r(292,411)  fails to compile
	  0 d(309) r(292,411) 
	  6 r(488,444) r(518,526) 
	  6 a(525,287) d(363) 
	  6 a(423,465) r(512,522) 
	  6 a(525,287) d(457) 
	  6 a(423,465) a(245,254) 
search: generation 2 (sizeof one variant = 0.087039 MB)
	  6 a(228,249) d(290) d(266) d(330) 
	  6 d(286) d(453) 
	  6 a(228,249) d(290) a(373,487) 
	  6 d(286) d(266) d(482) 
	  6 a(253,226) r(440,421) d(422) 
	  6 a(355,476) d(470) r(509,231) 
	  6 a(423,465) d(482) d(482) r(490,474) 
	  6 a(423,465) a(382,456) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000113/tools/tiffsplit.c  a(423,465) d(482) r(341,513)  fails to compile
	  0 a(423,465) d(482) r(341,513) 
	  6 a(423,465) d(482) a(479,404) 
	  6 r(271,523) a(456,450) a(405,395) 
	  6 r(432,296) a(520,296) r(519,516) 
	  6 r(271,523) r(517,525) 
	  6 a(243,253) a(461,449) d(414) d(483) 
	  6 r(271,523) d(414) d(412) 
	  6 a(243,253) a(461,449) a(416,409) 
	  6 a(355,476) d(470) r(242,247) 
	  6 a(395,451) r(516,526) a(287,234) 
	  6 a(355,476) d(470) d(387) 
	  6 a(395,451) r(516,526) d(457) 
	  6 r(497,465) r(242,248) d(463) 
	  6 a(243,253) d(355) a(488,466) 
	  6 r(421,449) a(351,454) 
	  6 d(260) d(307) a(282,325) r(361,327) 
	  6 r(421,449) a(282,325) r(455,382) 
	  6 d(260) d(307) d(292) 
	  6 a(423,465) r(512,522) d(371) 
	  6 a(395,451) r(242,236) r(249,250) 
	  6 a(423,465) r(512,522) d(521) 
	  6 a(395,451) r(242,236) a(254,260) 
	  6 r(271,523) a(456,450) a(387,285) 
	  6 r(497,465) d(489) d(355) 
	  6 r(271,523) a(456,450) d(421) 
	  6 r(497,465) d(489) a(451,393) 
	  6 a(395,451) r(395,484) a(518,296) 
	  6 r(271,523) a(504,385) d(451) 
	  6 r(271,523) a(456,450) d(421) 
	  6 r(497,465) d(489) d(401) 
	  6 r(271,523) a(456,450) a(362,419) 
	  6 r(497,465) d(489) a(447,495) 
	  6 r(237,509) d(480) r(494,425) d(423) 
	  6 r(421,449) d(433) 
	  6 r(237,509) d(480) a(444,409) 
	  6 r(421,449) r(494,425) d(389) 
	  6 a(423,465) r(512,522) d(408) r(407,476) 
	  6 a(243,253) r(477,455) 
	  6 a(423,465) r(512,522) a(489,463) 
	  6 a(243,253) d(408) d(521) 
	  6 a(243,253) a(407,341) d(486) 
	  6 a(525,287) d(457) a(515,497) 
	  6 a(243,253) d(408) a(519,526) 
	  6 r(271,523) d(439) d(348) 
	  6 d(286) d(266) r(387,525) 
	  6 d(432) a(355,427) d(239) 
	  6 a(243,253) a(461,449) a(470,412) 
	  6 r(270,288) r(435,373) d(431) 
	  6 r(432,296) a(520,296) d(458) 
	  6 a(243,253) r(251,248) a(445,236) 
	  6 a(423,465) d(286) 
	  6 r(367,231) d(460) a(245,254) d(465) 
	  6 a(423,465) a(245,254) d(234) 
	  6 r(367,231) d(460) r(261,254) 
search: generation 3 (sizeof one variant = 0.0874968 MB)
	  6 a(423,465) d(330) 
	  6 r(271,523) r(517,525) a(382,456) d(335) 
	  6 a(423,465) a(382,456) a(413,422) 
	  6 r(271,523) r(517,525) d(450) 
	  6 a(423,465) d(482) d(355) d(492) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) 
	  6 a(423,465) d(482) d(482) r(490,474) d(343) 
	  6 r(497,465) d(489) d(355) r(428,437) 
	  6 r(497,465) d(489) a(447,495) d(287) 
	  6 r(271,523) a(504,385) d(451) d(285) 
	  6 r(271,523) d(521) a(405,413) 
	  6 a(423,465) r(512,522) r(517,525) d(452) 
	  6 r(271,523) r(517,525) a(271,298) 
	  6 a(423,465) r(512,522) d(521) d(237) 
	  6 r(367,231) d(426) 
	  6 r(421,449) a(351,454) d(460) a(245,254) d(465) a(353,284) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000183/tools/tiffsplit.c  r(367,231) d(460) a(245,254) d(465) r(271,474)  fails to compile
	  0 r(367,231) d(460) a(245,254) d(465) r(271,474) 
	  6 r(421,449) a(351,454) r(259,261) 
	  6 a(525,287) d(457) a(515,497) d(408) a(519,526) d(363) 
	  6 a(243,253) r(494,382) 
	  6 a(525,287) d(457) a(515,497) d(286) 
	  6 a(243,253) d(408) a(519,526) r(432,333) 
	  6 a(355,476) d(470) r(509,231) a(461,449) a(470,412) d(391) 
	  6 a(243,253) d(425) 
	  6 a(355,476) d(470) r(509,231) r(487,422) 
	  6 a(243,253) a(461,449) a(470,412) r(353,395) 
	  6 d(260) d(307) r(518,497) 
	  6 r(367,231) d(460) r(261,254) d(292) a(343,234) 
	  6 d(260) d(307) d(292) d(226) 
	  6 r(367,231) d(460) r(261,254) d(458) 
	  6 a(395,451) r(242,236) r(249,250) r(462,355) 
	  6 a(395,451) r(242,236) a(254,260) r(401,451) 
	  6 d(432) a(355,427) r(249,250) r(293,343) 
	  6 a(395,451) r(242,236) d(239) r(296,391) 
	  6 d(432) a(355,427) d(239) a(357,358) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000202/tools/tiffsplit.c  a(395,451) r(242,236) r(249,250) r(293,441)  fails to compile
	  0 a(395,451) r(242,236) r(249,250) r(293,441) 
	  6 a(243,253) d(389) a(460,461) 
	  6 r(421,449) r(494,425) a(407,341) d(486) a(391,493) 
	  6 a(243,253) a(407,341) d(486) d(432) 
	  6 r(421,449) r(494,425) d(389) r(353,484) 
	  6 a(243,253) a(245,254) d(234) r(400,307) 
	  6 a(423,465) r(251,248) a(445,236) r(478,407) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000209/tools/tiffsplit.c  a(243,253) r(251,248) a(445,236) r(263,527)  fails to compile
	  0 a(243,253) r(251,248) a(445,236) r(263,527) 
	  6 a(423,465) a(245,254) d(234) d(416) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000211/tools/tiffsplit.c  a(423,465) a(245,254) d(234) r(373,242)  fails to compile
	  0 a(423,465) a(245,254) d(234) r(373,242) 
	  6 r(497,465) d(489) a(447,495) r(401,348) 
	  5 a(423,465) d(266) d(330) r(303,325) 
	  6 a(228,249) d(290) d(482) d(482) r(490,474) d(435) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000215/tools/tiffsplit.c  a(423,465) d(482) d(482) r(490,474) r(290,521)  fails to compile
	  0 a(423,465) d(482) d(482) r(490,474) r(290,521) 
	  6 a(228,249) d(290) d(266) d(330) d(240) 
	  6 r(271,523) d(414) d(412) a(261,351) 
	  6 a(395,451) r(395,484) a(518,296) a(257,357) 
	  6 r(421,449) a(282,325) d(292) r(492,389) 
	  6 d(260) d(307) r(455,382) r(433,409) 
	  6 r(421,449) a(282,325) r(455,382) r(520,525) 
	  6 d(260) d(307) d(292) d(474) 
	  6 a(423,465) r(512,522) d(371) r(528,504) 
	  6 r(270,288) r(435,373) d(431) a(515,525) 
	  6 a(423,465) r(512,522) d(371) d(523) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000226/tools/tiffsplit.c  r(270,288) r(435,373) d(431) r(286,449)  fails to compile
	  0 r(270,288) r(435,373) d(431) r(286,449) 
	  6 r(271,523) d(439) d(348) d(421) a(284,369) 
	  6 r(271,523) a(456,450) d(420) 
	  6 r(271,523) d(439) d(348) d(486) 
	  6 r(271,523) a(456,450) d(421) r(263,234) 
	  6 r(497,465) d(445) 
	  6 r(432,296) a(520,296) r(519,516) d(489) d(401) a(358,478) 
	  6 r(497,465) d(489) d(401) r(466,429) 
	  6 r(432,296) a(520,296) r(519,516) a(449,490) 
	  6 r(271,523) r(246,245) 
	  6 r(421,449) r(494,425) d(389) d(414) d(412) r(379,231) 
	  6 r(271,523) d(414) d(412) d(419) 
	  6 r(421,449) r(494,425) d(389) d(355) 
search: generation 4 (sizeof one variant = 0.0882177 MB)
	  5 a(243,253) d(408) a(519,526) r(432,333) d(448) 
	  6 a(423,465) a(245,254) d(234) d(416) a(414,343) 
	  6 a(395,451) r(242,236) a(254,260) r(401,451) d(472) 
	  6 r(421,449) a(351,454) r(259,261) d(439) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) 
	  6 r(271,523) d(521) a(405,413) d(470) 
	  6 r(271,523) r(517,525) a(271,298) r(447,309) 
	  6 a(423,465) d(482) d(482) r(490,474) d(343) r(459,483) 
	  6 r(271,523) r(517,525) a(271,298) r(438,329) 
	  6 a(423,465) d(482) d(482) r(490,474) d(343) d(439) 
	  6 a(423,465) a(245,254) d(234) a(520,296) r(519,516) a(449,490) d(387) 
	  6 r(432,296) d(416) d(422) 
	  6 a(423,465) a(245,254) d(234) d(416) a(404,442) 
	  5 r(432,296) a(520,296) r(519,516) a(449,490) d(457) 
	  6 r(271,523) a(515,497) d(408) a(519,526) d(363) a(371,477) 
	  6 a(525,287) d(457) d(414) d(412) d(419) r(405,447) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) 
	  6 a(525,287) d(457) a(515,497) d(408) a(519,526) d(363) d(504) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) a(488,452) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000259/tools/tiffsplit.c  r(421,449) a(351,454) r(259,261) r(236,472)  fails to compile
	  0 r(421,449) a(351,454) r(259,261) r(236,472) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) a(333,467) 
	  6 a(423,465) d(486) d(432) d(495) 
	  6 a(243,253) a(407,341) r(512,522) d(521) d(237) d(441) 
	  6 a(423,465) r(512,522) d(521) d(237) d(373) 
	  5 a(243,253) a(407,341) d(486) d(432) r(486,439) 
	  6 a(423,465) a(245,254) a(515,525) r(329,437) 
	  6 r(270,288) r(435,373) d(431) d(234) d(416) a(490,301) 
	  6 a(423,465) a(245,254) d(234) d(416) r(333,355) 
	  6 r(270,288) r(435,373) d(431) a(515,525) d(411) 
	  6 r(271,523) a(456,450) d(348) d(421) a(284,369) d(497) 
	  6 r(271,523) d(439) d(421) r(263,234) d(424) 
	  6 r(271,523) a(456,450) d(421) r(263,234) d(341) 
	  6 r(271,523) d(439) d(348) d(421) a(284,369) a(379,471) 
	  6 a(243,253) r(494,382) d(515) 
	  6 a(423,465) r(512,522) d(371) d(523) a(374,437) 
	  6 a(243,253) a(245,254) d(234) r(400,307) d(226) d(526) 
	  6 d(260) d(307) d(292) a(289,236) 
	  6 a(243,253) a(245,254) d(234) r(400,307) r(247,226) 
	  6 d(260) d(307) d(292) d(226) r(272,284) 
	  6 d(260) d(307) d(292) r(242,236) d(239) r(296,391) r(417,443) 
	  6 a(395,451) d(474) d(477) 
	  6 d(260) d(307) d(292) d(474) d(480) 
	  6 a(395,451) r(242,236) d(239) r(296,391) a(237,254) 
	  6 d(260) d(307) d(292) d(226) r(419,337) 
	  6 a(243,253) a(407,341) d(486) d(432) r(482,327) 
	  6 a(243,253) d(425) d(452) 
	  6 a(395,451) r(242,236) r(249,250) r(462,355) r(371,265) 
	  6 r(271,523) d(414) d(412) a(261,351) a(458,465) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000288/tools/tiffsplit.c  r(271,523) d(414) d(412) a(261,351) r(291,451)  fails to compile
	  0 r(271,523) d(414) d(412) a(261,351) r(291,451) 
	  6 r(497,465) d(489) d(401) d(226) a(482,437) 
	  6 d(260) d(307) d(292) r(466,429) d(433) 
	  6 r(497,465) d(489) d(401) r(466,429) d(416) 
	  6 d(260) d(307) d(292) d(226) d(451) 
	  6 a(423,465) a(382,456) a(413,422) a(430,497) 
	  6 a(243,253) d(389) a(460,461) d(298) 
	  6 a(423,465) a(245,254) d(234) r(482,487) 
	  6 r(271,523) a(456,450) d(420) d(416) a(434,237) 
	  6 a(423,465) a(245,254) d(234) d(416) r(431,448) 
	  6 r(271,523) a(456,450) d(420) a(409,489) 
	  6 r(367,231) d(460) r(261,254) r(296,391) d(246) 
	  6 a(395,451) r(242,236) d(239) d(458) d(414) 
	  6 r(367,231) d(460) r(261,254) d(458) d(364) 
	  6 a(395,451) r(242,236) d(239) r(296,391) d(513) 
search: generation 5 (sizeof one variant = 0.0883512 MB)
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) 
	  6 r(271,523) d(477) d(452) 
	  6 a(395,451) d(474) d(477) d(351) 
	  6 r(271,523) a(456,450) d(421) r(263,234) d(341) d(504) 
	  6 a(423,465) a(245,254) d(234) d(416) r(333,355) d(260) 
	  6 a(423,465) d(486) d(432) d(495) a(339,330) 
	  6 a(395,451) r(242,236) d(239) d(458) d(414) d(479) 
	  6 r(271,523) d(414) d(412) a(261,351) a(458,465) d(260) 
	  6 a(243,253) d(425) d(416) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) d(452) r(374,327) 
	  6 a(243,253) d(425) d(452) a(435,440) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) r(476,428) 
	  6 a(243,253) a(407,341) r(512,522) d(521) d(237) d(441) a(406,427) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) a(488,452) r(437,364) 
	  6 r(432,296) d(416) d(422) r(443,337) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) r(400,432) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(357) 
	  6 d(260) d(307) d(292) d(226) d(451) d(307) 
	  6 d(260) d(307) r(329,437) d(337) 
	  6 a(423,465) a(245,254) a(515,525) d(292) d(474) d(480) a(377,490) 
	  6 d(260) d(307) d(292) d(474) d(480) r(481,475) 
	  6 a(423,465) a(245,254) a(515,525) r(329,437) a(254,327) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(243) 
	  6 a(423,465) a(245,254) d(234) r(482,487) r(511,514) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) 
	  6 a(395,451) r(242,236) d(239) r(296,391) a(237,254) r(488,405) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) 
	  6 d(260) d(307) d(292) d(226) r(272,284) a(523,397) 
	  6 a(395,451) r(242,236) d(239) r(296,391) d(513) a(504,529) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) a(333,467) d(473) 
	  6 a(423,465) d(486) d(432) d(495) d(489) a(447,495) r(401,348) d(451) d(240) 
	  5 r(497,465) r(446,415) 
	  6 a(423,465) d(486) d(432) d(495) d(393) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) d(451) 
	  6 r(271,523) a(456,450) d(420) a(409,489) a(346,362) 
	  6 r(367,231) d(460) r(261,254) r(296,391) d(246) d(228) 
	  6 d(260) d(307) d(292) r(242,236) d(239) r(296,391) d(401) d(226) a(482,437) d(486) 
	  6 r(497,465) d(489) r(417,443) a(348,479) 
	  6 d(260) d(307) d(292) r(242,236) d(239) r(296,391) r(417,443) a(262,363) 
	  6 r(497,465) d(489) d(401) d(226) a(482,437) a(483,351) 
	  6 r(271,523) a(456,450) d(420) a(409,489) d(453) 
	  6 r(271,523) d(521) a(405,413) d(470) a(428,418) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) a(488,452) d(418) 
	  6 d(260) d(307) d(292) d(226) d(451) d(272) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) 
	  6 r(432,296) d(416) d(422) r(400,351) 
	  6 a(525,287) d(457) a(515,497) d(408) a(519,526) d(363) d(470) d(433) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) 
	  6 a(525,287) d(457) a(515,497) d(408) a(519,526) d(363) d(504) a(355,407) 
	  6 r(271,523) d(521) a(405,413) d(470) r(529,516) 
	  6 r(271,523) a(456,450) d(420) d(416) a(434,237) d(251) 
	  6 a(243,253) d(425) d(452) r(250,247) 
search: generation 6 (sizeof one variant = 0.0887995 MB)
	  6 a(525,287) d(414) d(412) d(419) r(353,478) d(497) a(435,454) 
	  6 r(271,523) d(457) a(515,497) d(408) a(519,526) d(363) d(504) a(355,407) r(226,389) 
	  6 a(525,287) d(457) a(515,497) d(408) a(519,526) d(363) d(504) a(355,407) d(525) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(529,525) 
	  6 a(423,465) d(486) d(432) d(495) d(393) r(397,463) 
	  6 a(423,465) d(486) d(432) d(495) d(489) a(447,495) r(401,348) d(451) d(240) d(490) 
	  6 a(423,465) a(245,254) d(234) r(482,487) r(511,514) r(300,455) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) 
	  6 a(395,451) r(242,236) d(239) d(515) d(412) 
	  6 r(271,523) d(521) a(405,413) d(504) r(296,391) a(237,254) r(488,405) d(440) 
	  6 a(395,451) r(242,236) d(239) r(296,391) a(237,254) r(488,405) d(488) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(519,504) 
	  6 a(395,451) r(242,236) d(239) r(296,391) a(237,254) r(488,405) d(440) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(455,412) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) 
	  6 r(271,523) d(477) d(452) a(490,458) 
	  6 r(271,523) d(521) a(405,413) d(470) a(428,418) d(490) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) a(488,452) d(418) d(529) 
	  6 r(497,465) d(489) d(401) d(226) a(482,437) a(483,351) r(337,348) 
	  6 d(260) d(307) d(292) d(474) d(480) r(481,475) r(446,481) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) d(452) r(374,327) r(363,289) 
	  6 d(260) d(307) r(329,437) d(337) d(521) a(405,413) d(504) d(515) d(241) 
	  6 r(271,523) d(288) 
	  6 d(260) d(307) r(329,437) d(337) a(456,237) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(270) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) a(284,298) 
	  6 d(260) d(307) d(292) d(226) d(451) d(307) r(262,251) 
	  6 a(243,253) a(407,341) r(512,522) d(521) d(237) d(441) a(406,427) a(447,393) 
	  5 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(241,236) 
	  6 d(260) d(307) d(292) d(226) d(451) d(414) d(412) d(419) r(353,478) d(243) r(426,442) 
	  6 r(271,523) d(307) r(403,339) 
	  6 d(260) d(307) d(292) d(226) d(451) d(307) d(484) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(243) a(329,451) 
	  6 d(260) d(307) d(292) r(242,236) d(282) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) 
	  6 d(260) d(307) d(292) r(242,236) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(452,490) 
	  5 a(243,253) d(425) d(452) r(250,247) r(411,477) 
	  6 a(243,253) d(425) a(351,454) r(259,261) d(439) r(476,472) d(247) 
	  6 r(421,449) d(452) r(250,247) d(446) 
	  6 a(243,253) d(425) d(452) r(250,247) d(436) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) 
	  6 r(271,523) a(456,450) d(420) d(416) a(434,237) d(251) a(377,234) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) 
	  6 r(421,449) a(351,454) d(497) r(345,437) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) r(259,261) d(439) r(476,472) a(329,401) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(497,385) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(322,364) 
	  6 a(395,451) d(474) r(367,434) d(271) a(346,271) 
	  6 r(421,449) a(351,454) r(259,261) a(456,450) d(421) r(263,234) d(341) r(362,481) d(397) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) r(321,467) 
	  6 d(260) d(307) r(329,437) d(337) r(265,291) 
	  6 a(243,253) d(425) d(452) r(250,247) a(488,397) 
	  6 a(243,253) d(425) d(452) a(435,440) d(271) 
	  6 a(423,465) a(245,254) a(515,525) r(329,437) a(254,327) a(419,497) 
search: generation 7 (sizeof one variant = 0.0889997 MB)
	  6 a(243,253) d(425) a(241,237) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(322,364) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(521) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) a(261,339) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(322,364) r(296,289) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) 
	  6 r(271,523) a(456,450) d(420) d(416) a(434,237) d(251) a(377,234) r(248,245) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(243) a(329,451) r(346,452) 
	  6 a(525,287) d(457) a(515,497) d(408) a(519,526) d(363) d(504) a(355,407) d(525) r(262,234) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) r(259,261) d(439) r(476,472) a(329,401) d(454) 
	  6 r(497,465) d(489) d(401) d(226) a(482,437) a(483,351) r(337,348) d(236) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(410) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) d(226) a(482,437) d(486) r(485,466) r(322,335) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(504) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) a(491,483) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(244) 
	  6 r(421,449) a(351,454) a(351,454) r(259,261) r(367,434) d(271) d(382) r(362,450) 
	  6 r(421,449) r(259,261) r(367,434) d(271) d(382) a(289,497) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) r(287,288) 
	  5 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) d(265) 
	  6 d(260) d(307) d(292) d(474) d(480) r(481,475) r(446,481) r(513,512) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(519,504) d(435) 
	  6 a(525,287) d(414) d(412) d(419) r(353,478) d(497) a(435,454) d(403) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) a(516,369) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) d(452) r(374,327) r(363,289) r(467,307) 
	  6 r(421,449) a(351,454) d(497) r(345,437) d(239) d(515) d(412) d(417) 
	  6 a(395,451) r(242,236) r(450,418) 
	  6 r(421,449) a(351,454) d(497) r(345,437) r(454,476) 
	  6 a(395,451) r(242,236) d(239) d(515) d(412) d(447) 
	  6 a(243,253) d(425) d(452) r(250,247) d(436) a(428,358) 
	  6 a(243,253) d(425) d(452) a(435,440) d(271) r(447,439) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) 
	  6 r(271,523) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) 
	  6 r(271,523) d(521) a(405,413) d(504) r(426,442) r(243,231) 
	  6 d(260) d(307) d(292) d(226) d(451) d(414) d(412) d(419) r(353,478) d(243) r(296,391) a(237,254) r(488,405) d(440) a(437,339) 
	  6 r(271,523) d(521) a(405,413) d(504) r(296,391) a(237,254) r(488,405) d(440) r(358,472) 
	  6 d(260) d(307) d(292) d(226) d(451) d(414) d(412) d(419) r(353,478) d(243) r(426,442) r(395,457) 
	  6 d(260) d(307) d(307) d(292) r(242,236) d(282) d(525) 
	  6 d(260) d(292) d(474) d(480) r(481,475) r(446,481) a(439,400) 
	  6 d(260) d(307) d(292) d(474) d(480) r(481,475) r(446,481) d(473) 
	  6 d(260) d(307) d(292) r(242,236) d(282) d(474) 
	  6 r(271,523) d(307) a(515,497) d(408) a(519,526) d(363) d(504) a(355,407) r(226,389) d(240) 
	  6 r(271,523) d(457) r(403,339) a(341,357) 
	  6 r(271,523) d(307) r(403,339) d(413) 
	  5 r(271,523) d(457) a(515,497) d(408) a(519,526) d(363) d(504) a(355,407) r(226,389) r(373,382) 
	  6 d(260) d(307) d(292) a(488,452) d(418) d(529) r(243,259) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) d(474) d(480) r(481,475) r(446,481) d(254) 
	  6 d(260) d(307) d(292) d(474) d(480) r(481,475) r(446,481) d(255) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) a(488,452) d(418) d(529) r(243,240) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) a(305,233) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(455,412) d(284) 
	  6 r(421,449) a(351,454) r(259,261) a(456,450) d(421) r(263,234) d(341) r(362,481) d(397) a(357,305) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) 
	  6 r(271,523) d(521) a(405,413) d(452) a(435,440) d(271) a(261,236) 
	  6 a(243,253) d(425) d(504) d(515) d(353) d(425) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) d(393) 
	  6 a(243,253) d(425) d(452) a(435,440) d(271) d(495) 
search: generation 8 (sizeof one variant = 0.0891085 MB)
	  5 a(243,253) d(425) d(504) d(515) d(353) d(439) r(476,472) a(329,401) d(454) d(484) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) r(259,261) d(425) a(469,447) 
	  6 a(243,253) d(425) d(504) d(515) d(353) d(425) r(415,444) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) r(259,261) d(439) r(476,472) a(329,401) d(454) a(448,492) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) 
	  5 r(271,523) a(456,450) d(420) d(416) a(434,237) d(251) a(377,234) r(248,245) r(419,337) 
	  6 r(271,523) d(457) r(403,339) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(521) d(517) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(322,364) d(452) a(341,357) d(361) 
	  6 r(271,523) d(457) r(403,339) a(341,357) d(264) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(322,364) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(521) r(288,284) 
	  5 r(271,523) d(307) a(515,497) d(408) a(519,526) d(363) d(504) a(355,407) r(226,389) d(240) r(322,329) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(519,504) d(435) d(385) 
	  6 a(243,253) d(425) d(452) r(362,481) d(301) r(402,364) d(389) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(250,247) a(477,465) a(513,517) a(421,468) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) d(523) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) d(226) 
	  6 a(395,451) r(242,236) r(450,418) a(491,479) 
	  6 d(260) d(307) d(292) d(474) d(480) r(481,475) r(446,481) r(513,512) r(255,248) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(322,364) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(521) r(447,341) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) a(491,483) d(289) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) a(460,411) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) a(491,483) r(301,487) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(244) d(409) 
	  6 r(271,523) d(457) r(403,339) a(341,357) d(253) 
	  6 r(271,523) d(307) r(403,339) d(413) r(244,240) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(456,468) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(367,434) d(271) d(382) r(362,450) d(471) 
	  6 r(421,449) a(351,454) a(351,454) r(259,261) d(419) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) 
	  6 r(421,449) a(351,454) a(351,454) r(259,261) r(367,434) d(271) d(382) r(362,450) a(485,285) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) d(452) r(374,327) r(363,289) r(467,307) d(393) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) a(438,470) 
	  6 d(260) d(307) d(292) d(474) a(405,413) d(452) a(435,440) d(271) a(261,236) r(406,367) 
	  6 r(271,523) d(521) d(480) r(481,475) r(446,481) r(513,512) r(514,523) 
	  5 d(260) d(307) d(292) d(474) d(480) r(481,475) r(446,481) r(513,512) a(425,272) 
	  6 r(271,523) d(521) a(405,413) d(452) a(435,440) d(271) a(261,236) a(305,353) 
	  6 r(271,523) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) r(403,465) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) r(287,288) d(454) 
	  6 r(271,523) d(521) a(405,413) d(307) d(292) r(242,236) d(282) d(525) a(420,448) 
	  6 d(260) d(307) d(470) a(428,418) d(490) a(430,305) r(265,291) 
	  6 r(271,523) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) r(382,433) 
	  6 d(260) d(307) d(307) d(292) r(242,236) d(282) d(525) a(529,287) 
	  6 r(271,523) d(521) d(474) d(480) r(481,475) r(446,481) d(254) r(473,456) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) a(405,413) d(452) a(435,440) d(271) a(261,236) a(391,460) 
	  6 r(271,523) d(521) a(405,413) d(452) a(435,440) d(271) a(261,236) r(253,234) 
	  6 r(497,465) d(489) d(482) r(490,474) r(358,371) d(474) d(480) r(481,475) r(446,481) d(254) d(353) 
	  5 a(243,253) d(425) d(515) d(353) r(485,456) a(510,516) 
	  6 r(271,523) d(521) a(405,413) d(504) d(452) a(435,440) d(271) r(447,439) a(362,403) 
	  6 a(243,253) d(425) d(452) a(435,440) d(271) r(447,439) r(418,456) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) a(454,482) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) a(405,413) d(504) d(515) r(519,504) d(435) r(518,529) 
	  6 r(271,523) d(521) d(226) a(482,437) d(486) r(485,466) a(261,339) a(257,298) 
	  5 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) a(261,339) r(449,415) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(519,504) d(435) r(442,476) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) d(412) d(419) r(353,478) d(243) a(329,451) r(346,452) d(468) 
	  6 r(271,523) d(414) r(400,428) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) d(527) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(243) a(329,451) r(346,452) r(431,464) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(455,412) d(284) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(227,377) 
	  6 r(421,449) r(459,411) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(455,412) d(284) a(509,363) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(485,293) 
search: generation 9 (sizeof one variant = 0.0888901 MB)
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(463,400) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) a(454,482) d(226) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) d(489) a(447,495) r(401,348) d(451) d(452) r(374,327) r(363,289) r(467,307) d(393) r(358,466) 
	  6 r(497,465) r(287,288) d(454) d(395) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) r(287,288) d(454) r(417,327) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) d(452) r(374,327) r(363,289) r(467,307) d(393) r(467,452) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(397,452) 
	  6 r(271,523) d(521) d(474) d(480) r(481,475) r(446,481) d(254) r(473,456) d(432) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) a(452,494) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(470,322) 
	  6 a(395,451) d(474) a(456,450) d(421) d(413) r(244,240) d(247) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000542/tools/tiffsplit.c  r(271,523) d(307) r(403,339) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) d(510)  fails to compile
	  0 r(271,523) d(307) r(403,339) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) d(510) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) r(433,345) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000544/tools/tiffsplit.c  r(271,523) d(307) r(403,339) d(413) r(244,240) r(282,309)  fails to compile
	  0 r(271,523) d(307) r(403,339) d(413) r(244,240) r(282,309) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) a(460,411) a(423,291) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) r(519,504) d(435) d(385) a(301,492) 
	  6 r(271,523) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) r(403,465) r(374,485) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000548/tools/tiffsplit.c  r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(456,468) r(272,462)  fails to compile
	  0 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(456,468) r(272,462) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000549/tools/tiffsplit.c  r(421,449) a(351,454) r(259,261) d(439) d(341) r(362,481) r(415,421) r(407,409) r(377,248) a(345,290)  fails to compile
	  0 r(421,449) a(351,454) r(259,261) d(439) d(341) r(362,481) r(415,421) r(407,409) r(377,248) a(345,290) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) r(476,472) a(422,289) r(227,260) a(485,293) a(412,377) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(485,293) a(337,389) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) r(403,453) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) a(482,437) d(486) r(485,466) d(244) d(409) r(245,251) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(454,482) a(265,300) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) a(454,482) d(504) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(244) d(409) a(433,491) 
	  6 a(395,451) d(474) a(456,450) d(504) d(515) d(353) r(485,456) a(438,470) a(242,325) 
	  6 r(271,523) d(521) a(405,413) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) d(271) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(490,385) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) a(438,470) d(474) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) d(421) r(263,234) d(341) r(250,247) a(477,465) a(513,517) a(421,468) a(412,385) 
	  6 a(395,451) d(474) a(456,450) a(422,289) r(227,260) a(456,468) a(512,371) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(456,468) r(248,249) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(250,247) a(477,465) a(513,517) a(421,468) r(254,257) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(322,364) d(452) a(341,357) d(361) d(255) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) r(259,261) d(425) a(469,447) r(451,438) 
	  6 r(271,523) d(414) d(412) d(419) r(353,478) d(497) r(322,364) d(452) a(341,357) d(361) d(476) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) d(412) d(419) r(353,478) d(243) a(329,451) r(346,452) d(468) d(262) 
	  6 r(271,523) d(521) a(405,413) d(452) a(435,440) d(271) a(261,236) r(253,234) d(293) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(254,234) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) r(250,247) d(239) r(296,391) d(401) a(405,413) d(504) d(515) r(519,504) d(435) r(518,529) d(247) 
	  6 a(243,253) d(425) d(452) d(226) a(482,437) d(486) r(485,466) d(244) d(409) d(437) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(244) d(409) r(292,287) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) a(405,413) d(504) d(515) r(519,504) d(435) r(518,529) d(457) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) d(452) r(374,327) r(363,289) r(467,307) d(393) a(248,254) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) a(405,413) d(504) d(515) r(519,504) d(435) r(518,529) a(395,409) 
	  6 r(421,449) a(351,454) r(259,261) d(369) 
	  6 a(243,253) d(425) d(504) d(515) d(353) d(425) r(415,444) d(439) r(476,472) a(422,289) r(227,260) a(485,293) d(455) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(485,293) d(514) 
	  6 a(243,253) d(425) d(504) d(515) d(353) d(425) r(415,444) d(428) 
	  6 d(260) d(307) d(292) d(474) d(480) r(481,475) r(446,481) r(513,512) r(255,248) r(239,238) 
	  6 r(497,465) d(489) a(447,495) r(401,348) d(451) d(452) r(374,327) r(363,289) r(467,307) d(393) a(463,481) 
	  6 a(243,253) d(425) d(452) r(362,481) d(301) r(402,364) d(389) r(238,227) 
	  6 r(271,523) d(521) d(480) r(481,475) r(446,481) r(513,512) r(514,523) a(406,374) 
	  6 a(243,253) d(425) d(452) r(250,247) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) r(403,465) r(362,472) 
	  6 r(271,523) a(477,465) a(513,517) d(523) r(256,237) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) d(523) r(265,288) 
	  6 r(271,523) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) r(403,465) a(271,226) 
search: generation 10 (sizeof one variant = 0.0893888 MB)
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) a(464,358) 
	  5 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(244) d(409) a(433,491) r(485,466) d(244) d(409) a(433,491) d(300) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(244) d(409) a(433,491) r(231,257) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(482,437) d(486) r(485,466) d(244) d(409) a(433,491) r(468,448) 
	  6 d(260) d(307) d(292) d(474) d(480) r(481,475) r(446,481) r(513,512) r(255,248) r(239,238) r(475,482) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) r(433,345) r(525,517) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) d(523) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) a(452,494) r(437,473) 
	  6 a(395,451) r(265,288) d(285) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) d(523) r(265,288) d(339) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) a(452,494) d(259) 
	  6 r(271,523) a(477,465) a(513,517) d(523) r(256,237) r(511,515) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) d(421) r(263,234) d(341) r(250,247) a(477,465) a(513,517) a(421,468) a(412,385) d(439) 
	  5 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(463,400) d(454) r(417,327) d(294) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) r(287,288) d(430) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(463,400) d(463) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) r(287,288) d(454) r(417,327) r(264,284) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000605/tools/tiffsplit.c  r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(485,293) a(337,389) r(291,493)  fails to compile
	  0 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(485,293) a(337,389) r(291,493) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) a(460,411) a(423,291) r(305,461) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(470,322) r(460,440) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(454,482) a(265,300) a(288,339) 
	  6 a(395,451) d(474) a(456,450) d(504) d(515) d(353) r(485,456) a(438,470) a(242,325) d(367) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(485,293) a(337,389) a(403,309) 
	  6 a(243,253) d(425) d(452) r(250,247) r(415,444) d(428) a(458,421) 
	  6 a(243,253) d(425) d(504) d(515) d(353) d(425) d(239) r(296,391) d(401) a(405,413) d(504) d(515) r(519,504) d(435) r(518,529) d(457) r(496,407) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) a(405,413) d(504) d(515) r(519,504) d(435) r(518,529) d(457) r(461,448) 
	  6 a(243,253) d(425) d(504) d(515) d(353) d(425) r(415,444) d(428) r(329,459) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) a(405,413) d(504) d(515) r(519,504) d(435) r(518,529) d(457) d(245) 
	  6 r(271,523) d(521) d(480) r(481,475) r(446,481) r(513,512) r(514,523) a(406,374) d(364) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) a(405,413) d(504) d(515) r(519,504) d(435) r(518,529) d(457) r(463,444) 
	  6 a(243,253) d(425) d(452) r(362,481) d(301) r(402,364) d(389) r(238,227) r(327,445) 
	  5 a(243,253) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(456,468) r(248,249) r(444,367) 
	  6 r(421,449) a(351,454) d(425) d(452) r(362,481) d(301) r(402,364) d(389) r(238,227) d(333) 
	  6 a(243,253) d(425) d(452) r(362,481) d(301) r(402,364) d(389) r(238,227) d(464) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(456,468) r(248,249) d(464) 
	  6 r(271,523) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) r(403,465) a(271,226) r(512,523) 
	  6 a(243,253) d(425) d(452) r(362,481) d(301) r(402,364) d(389) r(238,227) r(400,484) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) d(301) r(402,364) a(371,427) r(470,322) a(451,452) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) a(513,517) a(460,411) a(423,291) r(465,494) 
	  6 a(243,253) d(425) d(452) r(250,247) a(477,465) a(513,517) a(460,411) a(423,291) d(236) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) r(470,322) r(247,248) 
	  6 r(271,523) d(521) d(474) d(480) r(481,475) r(446,481) d(254) r(473,456) d(432) r(250,247) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) r(403,465) r(362,472) d(445) 
	  6 a(243,253) d(425) d(452) r(484,460) 
	  6 r(271,523) d(521) d(474) d(480) r(481,475) r(446,481) d(254) r(473,456) d(432) a(521,321) 
	  6 a(243,253) d(425) d(452) r(250,247) d(521) a(405,413) d(470) a(428,418) d(490) a(430,305) r(403,465) r(362,472) r(475,439) 
	  6 r(421,449) a(351,454) r(259,261) d(439) r(476,472) a(422,289) r(227,260) a(456,468) r(248,249) r(452,444) 
	  6 r(271,523) d(521) d(480) r(481,475) r(446,481) r(513,512) r(514,523) a(406,374) d(286) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) r(253,234) d(293) r(404,379) 
	  6 r(271,523) d(521) a(405,413) d(452) a(435,440) d(271) a(261,236) a(452,494) d(485) 
	  6 a(395,451) d(474) a(456,450) d(421) r(263,234) d(341) r(362,481) r(415,421) r(407,409) r(377,248) a(452,494) a(357,439) 
	  6 r(271,523) d(521) a(405,413) d(452) a(435,440) d(271) a(261,236) r(253,234) d(293) d(226) 
	  6 a(395,451) d(474) a(456,450) a(422,289) r(227,260) d(454) r(417,327) d(486) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) r(287,288) a(456,468) a(512,371) r(259,260) 
	  6 a(395,451) d(474) a(456,450) a(422,289) r(227,260) a(456,468) a(512,371) d(529) 
	  6 r(421,449) a(351,454) r(259,261) r(367,434) d(271) d(382) r(287,288) d(454) r(417,327) d(516) 
	  6 r(497,465) r(287,288) d(454) d(395) a(266,290) 
	  6 a(243,253) d(425) d(452) r(250,247) d(239) r(296,391) d(401) d(226) a(454,482) a(265,300) d(421) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) a(482,437) d(486) r(485,466) d(244) d(409) r(245,251) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) d(271) d(469) 
	  6 r(271,523) d(521) a(405,413) d(421) r(439,480) 
	  6 r(271,523) d(521) a(405,413) d(504) d(515) d(353) r(485,456) a(482,437) d(486) r(485,466) d(244) d(409) r(245,251) a(459,321) 
	  6 r(271,523) d(521) a(405,413) d(421) r(263,234) d(341) r(362,481) d(301) r(402,364) a(371,427) d(271) d(231) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 4520
"Test Suite Evaluations": 71.746

Compile Failures: 20
Wall-Clock Seconds Elapsed: 1606.45
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             650 609.307 = 41.7161%
  test                               4443 851.258 = 58.2812%
  TOTAL                                   1460.606 = 90.9208% (avg CPU usage)
libtiff-bug-2008-09-05-d59e7df-5f42dba.tar.gz
Sat Sep 21 13:57:36 EDT 2013
shutting down
