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 4
--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-184-0-218 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/tmp6454b8.c /tmp/tmp19fe13.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.7369)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 564
cilRep: stmts in weighted_path = 218
cilRep: total weight = 141.7
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: tools/tiffsplit.c (code bank/base file; atoms [1,564])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.0859995 MB)
search: initial population (sizeof one variant = 0.00893021 MB)
	  6 r(442,337) 
	  6 d(403) 
	  6 d(391) 
	  6 a(387,489) 
	  6 a(246,351) 
	  6 d(525) 
	  6 r(492,480) 
	  5 d(527) 
	  6 r(514,513) 
	  6 r(373,405) 
	  6 d(523) 
	  6 d(301) 
	  6 d(528) 
	  6 d(243) 
	  6 d(428) 
	  6 r(242,237) 
	  6 d(473) 
	  6 d(463) 
	  6 d(490) 
	  6 d(492) 
	  6 d(455) 
	  6 d(410) 
	  6 a(290,264) 
	  6 a(487,442) 
	  6 r(231,259) 
	  6 r(454,445) 
	  6 a(264,379) 
	  6 d(322) 
	  6 r(270,292) 
	  6 a(478,345) 
	  6 a(473,475) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000031/tools/tiffsplit.c  r(289,477)  fails to compile
	  0 r(289,477) 
	  6 d(321) 
	  6 d(440) 
	  6 d(468) 
	  6 d(422) 
	  6 d(454) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000037/tools/tiffsplit.c  r(286,471)  fails to compile
	  0 r(286,471) 
	  6 d(248) 
	  6 original
search: generation 1 (sizeof one variant = 0.086298 MB)
	  6 d(422) d(496) 
	  6 d(525) r(416,406) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000041/tools/tiffsplit.c  d(422) r(523,470)  fails to compile
	  0 d(422) r(523,470) 
	  6 d(525) d(523) 
	  6 a(264,379) a(483,289) 
	  6 d(454) r(419,440) 
	  6 a(264,379) d(431) 
	  6 d(454) a(298,429) 
	  6 d(403) r(238,245) 
	  6 a(264,379) a(346,419) 
	  6 d(410) d(385) 
	  6 d(468) d(518) 
	  5 d(410) d(482) 
	  6 d(468) r(296,449) 
	  6 d(492) r(397,286) 
	  6 r(242,237) d(487) 
	  6 d(391) d(263) 
	  6 d(492) a(478,423) 
	  6 a(473,475) a(414,406) 
	  6 d(322) a(403,345) 
	  6 d(473) a(346,433) 
	  6 d(410) d(263) 
	  6 d(473) d(285) 
	  6 d(410) d(494) 
	  6 d(468) r(264,285) 
	  6 d(243) a(247,300) 
	  6 d(468) a(292,343) 
	  5 d(243) a(466,401) 
	  6 a(478,345) a(294,369) 
	  6 d(243) d(420) 
	  6 a(478,345) a(250,327) 
	  6 d(243) d(415) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000071/tools/tiffsplit.c  a(473,475) r(289,348)  fails to compile
	  0 a(473,475) r(289,348) 
	  6 d(490) r(387,411) 
	  6 a(473,475) d(254) 
	  6 d(490) a(432,453) 
	  6 d(492) r(431,391) 
	  6 d(410) r(249,261) 
	  6 d(248) a(329,303) 
	  6 a(473,475) d(423) 
	  6 d(248) a(241,272) 
	  6 a(473,475) r(395,428) 
	  6 d(490) d(440) 
	  6 d(428) d(510) 
	  6 a(387,489) d(400) 
	  6 d(440) d(481) 
	  6 r(492,480) d(470) 
	  6 d(391) d(272) 
	  6 d(391) r(239,248) 
	  6 r(442,337) r(250,228) 
	  6 d(391) d(271) 
	  6 r(442,337) r(400,345) 
	  6 a(290,264) r(466,374) 
	  6 r(514,513) d(484) 
	  6 a(290,264) a(491,423) 
	  6 r(514,513) r(433,351) 
	  6 a(387,489) a(511,329) 
	  6 d(456) 
	  6 d(492) a(391,404) 
	  6 d(321) a(458,353) 
search: generation 2 (sizeof one variant = 0.086832 MB)
	  6 d(492) a(391,404) d(301) 
	  6 d(248) a(241,272) a(450,414) 
	  6 d(492) a(391,404) r(455,477) 
	  6 d(248) a(241,272) d(298) 
	  6 a(290,264) r(385,482) 
	  6 d(454) a(298,429) r(466,374) d(447) 
	  5 a(290,264) r(466,374) d(242) 
	  6 d(454) a(298,429) d(411) 
	  6 d(391) d(423) 
	  6 d(456) d(271) d(290) 
	  6 d(391) d(271) d(461) 
	  6 d(456) a(242,339) 
	  6 d(428) r(249,261) d(301) 
	  6 d(410) d(510) d(484) 
	  6 d(428) d(510) d(361) 
	  6 d(410) r(249,261) a(481,266) 
	  6 a(264,379) a(346,419) a(292,343) r(259,226) 
	  6 d(468) a(422,504) 
	  6 a(264,379) a(346,419) r(335,272) 
	  6 d(468) a(292,343) d(337) 
	  6 d(391) d(272) a(476,362) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000120/tools/tiffsplit.c  r(514,513) d(484) r(296,248)  fails to compile
	  0 r(514,513) d(484) r(296,248) 
	  6 r(492,480) d(470) d(487) r(226,261) 
	  6 r(242,237) d(381) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000123/tools/tiffsplit.c  r(492,480) d(470) r(509,261)  fails to compile
	  0 r(492,480) d(470) r(509,261) 
	  6 r(242,237) d(487) d(472) 
	  6 d(490) d(309) 
	  5 a(473,475) d(423) r(387,411) d(248) 
	  6 d(490) r(387,411) r(490,429) 
	  6 a(473,475) d(423) a(512,512) 
	  6 a(473,475) d(423) r(493,409) 
	  6 d(248) a(329,303) r(493,486) 
	  6 a(473,475) d(423) r(467,433) 
	  6 d(248) a(329,303) d(231) 
	  6 d(410) d(494) r(435,485) 
	  6 d(410) r(249,261) r(494,415) 
	  6 d(403) r(238,245) a(447,433) 
	  6 d(468) r(264,285) r(485,341) 
	  6 d(454) a(298,429) d(526) 
	  6 a(473,475) a(414,406) d(305) 
	  6 d(490) d(440) r(371,417) 
	  6 a(478,345) a(250,327) d(455) 
	  6 a(473,475) d(423) r(492,455) 
	  6 r(492,480) d(470) r(261,241) 
	  6 d(248) a(241,272) d(424) 
	  6 d(440) d(481) d(307) 
	  6 d(391) d(263) d(343) 
	  6 a(478,345) a(250,327) d(351) 
	  6 a(478,345) a(294,369) d(519) 
	  6 d(248) a(329,303) d(418) 
	  6 d(490) r(395,428) a(371,451) 
	  6 a(473,475) r(387,411) r(472,373) 
	  6 d(490) r(387,411) d(453) 
	  6 a(473,475) r(395,428) a(410,298) 
	  6 d(391) a(294,369) d(309) 
	  6 a(478,345) d(271) d(488) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000155/tools/tiffsplit.c  d(391) d(271) r(385,513)  fails to compile
	  0 d(391) d(271) r(385,513) 
	  6 a(478,345) a(294,369) a(455,337) 
	  6 a(290,264) r(466,374) r(335,425) 
	  6 a(473,475) d(423) r(453,465) 
search: generation 3 (sizeof one variant = 0.0875473 MB)
	  6 d(391) d(271) d(461) r(439,321) 
	  6 d(410) r(249,261) r(494,415) r(241,239) 
	  6 a(473,475) d(423) r(453,465) a(298,410) 
	  6 d(490) d(440) r(371,417) a(287,393) 
	  6 a(478,345) d(271) d(488) a(322,458) 
	  6 d(391) d(272) a(476,362) r(410,453) 
	  6 a(473,475) d(343) d(362) 
	  6 d(391) d(263) d(423) r(453,465) d(446) 
	  6 a(473,475) d(423) r(453,465) r(472,450) 
	  6 d(391) d(263) d(343) a(362,429) 
	  6 a(473,475) d(423) r(395,451) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) 
	  6 a(473,475) d(423) r(453,465) a(246,242) 
	  6 a(478,345) a(250,327) d(351) a(271,292) 
	  6 r(242,237) d(487) d(510) d(361) d(430) 
	  6 d(428) d(472) d(402) 
	  6 r(242,237) d(487) d(472) a(234,351) 
	  6 d(428) d(510) d(361) r(259,246) 
	  6 d(454) a(298,429) a(298,429) d(411) d(301) 
	  6 d(454) d(526) r(403,303) 
	  6 d(454) a(298,429) d(526) r(493,411) 
	  6 d(454) a(298,429) d(411) d(322) 
	  6 a(473,475) r(395,428) a(410,298) d(473) 
	  6 d(403) r(238,245) a(447,433) d(425) 
	  6 a(473,475) r(395,428) a(410,298) r(464,434) 
	  6 d(403) r(238,245) a(447,433) r(377,453) 
	  6 d(391) d(272) a(476,362) d(361) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) 
	  6 a(478,345) d(516) 
	  6 d(454) a(298,429) r(466,374) d(447) d(271) d(488) a(421,236) 
	  6 a(478,345) d(271) d(488) d(362) 
	  6 d(454) a(298,429) r(466,374) d(447) a(329,428) 
	  6 r(492,480) d(470) d(487) r(226,261) a(259,256) 
	  6 a(264,379) a(346,419) a(292,343) r(259,226) d(250) 
	  6 d(391) d(272) r(261,241) r(362,345) 
	  6 r(492,480) d(470) a(476,362) d(412) 
	  6 d(391) d(272) a(476,362) d(487) 
	  6 r(492,480) d(470) r(261,241) a(492,282) 
	  6 d(403) r(238,245) a(447,433) d(361) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000198/tools/tiffsplit.c  a(473,475) r(387,411) r(472,373) r(523,251)  fails to compile
	  0 a(473,475) r(387,411) r(472,373) r(523,251) 
	  6 a(264,379) a(346,419) a(292,343) r(259,226) a(391,404) r(455,477) d(495) 
	  6 d(492) r(262,260) 
	  6 a(264,379) a(346,419) a(292,343) r(259,226) d(236) 
	  6 d(492) a(391,404) r(455,477) r(226,294) 
	  6 a(473,475) a(414,406) d(305) d(517) 
	  6 d(391) d(423) d(379) 
	  6 d(490) d(510) d(361) r(425,305) 
	  6 d(428) r(387,411) d(453) a(479,263) 
	  6 d(490) r(387,411) d(453) d(482) 
	  6 d(428) d(510) d(361) a(245,361) 
	  6 a(264,379) a(346,419) a(292,343) r(259,226) r(510,529) 
	  5 d(428) r(249,261) d(301) r(438,425) 
	  6 a(473,475) r(387,411) r(472,373) d(522) 
	  5 d(410) r(249,261) a(481,266) a(453,465) 
	  6 a(478,345) a(294,369) a(455,337) d(243) 
	  6 d(456) a(242,339) d(282) 
	  6 d(492) a(391,404) r(455,477) r(254,253) 
	  6 d(391) a(294,369) d(309) a(491,237) 
search: generation 4 (sizeof one variant = 0.0878973 MB)
	  6 a(473,475) d(423) r(453,465) a(298,410) r(248,231) 
	  6 a(264,379) a(346,419) a(292,343) r(259,226) d(236) d(427) 
	  6 a(478,345) a(250,327) d(351) a(271,292) d(409) 
	  6 d(454) a(298,429) d(526) r(493,411) a(448,442) 
	  6 d(391) d(272) a(476,362) r(410,453) d(262) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) 
	  6 d(391) d(263) d(423) a(287,393) d(400) 
	  6 d(490) d(440) r(371,417) r(453,465) d(446) a(374,333) 
	  6 d(391) d(263) d(423) r(453,465) d(446) r(432,387) 
	  6 d(490) d(440) r(371,417) a(287,393) d(387) 
	  6 r(242,237) d(487) d(510) d(480) 
	  6 d(391) a(294,369) d(309) a(491,237) d(361) d(430) d(474) 
	  6 r(242,237) d(487) d(510) d(361) d(430) r(291,333) 
	  6 d(391) a(294,369) d(309) a(491,237) d(343) 
	  6 a(473,475) r(387,411) r(520,504) 
	  6 d(391) a(294,369) d(309) a(491,237) r(472,373) r(406,446) r(459,446) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) a(240,227) 
	  6 d(391) a(294,369) d(309) a(491,237) d(403) 
	  6 d(391) d(411) d(322) r(250,262) 
	  6 d(454) a(298,429) a(294,369) d(309) a(491,237) r(298,490) 
	  6 d(391) a(294,369) d(309) a(491,237) r(286,285) 
	  6 d(454) a(298,429) d(411) d(322) d(522) 
	  6 d(492) r(249,261) r(494,415) r(241,239) r(400,393) 
	  6 d(410) a(391,404) r(455,477) r(254,253) r(477,434) 
	  6 d(492) a(391,404) r(455,477) r(254,253) r(474,434) 
	  6 d(410) r(249,261) r(494,415) r(241,239) a(228,321) 
	  6 a(473,475) d(516) r(431,483) 
	  6 a(478,345) r(387,411) r(472,373) r(406,446) r(429,417) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(296,426) 
	  6 a(478,345) d(516) d(367) 
	  6 a(478,345) a(250,327) d(351) a(271,292) d(417) 
	  6 d(490) d(440) r(371,417) a(287,393) r(335,444) 
	  6 r(492,480) d(470) r(261,241) a(492,282) d(403) 
	  6 a(473,475) d(423) r(453,465) a(298,410) d(292) 
	  6 a(473,475) r(387,411) r(472,373) d(522) a(373,237) 
	  6 d(428) d(510) d(361) a(245,361) r(428,325) 
	  5 r(242,237) r(443,422) 
	  6 a(473,475) r(395,428) a(410,298) r(464,434) d(487) d(510) d(361) d(430) a(525,367) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000255/tools/tiffsplit.c  r(242,237) d(487) d(510) d(361) d(430) r(381,518)  fails to compile
	  0 r(242,237) d(487) d(510) d(361) d(430) r(381,518) 
	  6 a(473,475) r(395,428) a(410,298) r(464,434) r(467,345) 
	  6 d(428) d(472) d(244) 
	  6 d(391) d(423) d(379) d(402) r(458,427) 
	  6 d(428) d(472) d(402) a(249,248) 
	  6 d(391) d(423) d(379) d(271) 
	  6 d(428) d(510) d(361) a(245,361) r(477,435) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) 
	  6 a(264,379) a(346,419) a(292,343) r(259,226) d(250) d(358) 
	  6 d(428) d(472) d(402) r(357,362) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) 
	  6 a(478,345) d(516) r(397,377) 
	  6 a(478,345) d(516) r(476,373) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) 
	  6 a(473,475) a(447,433) d(425) r(465,346) 
	  5 d(403) r(238,245) a(447,433) d(425) r(374,469) 
	  6 a(473,475) a(414,406) d(305) d(517) r(492,385) 
	  6 a(473,475) d(343) d(362) r(430,465) 
	  6 a(264,379) a(346,419) a(292,343) r(259,226) d(250) r(329,389) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(237,369) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000276/tools/tiffsplit.c  a(478,345) d(271) d(488) d(362) r(271,491)  fails to compile
	  0 a(478,345) d(271) d(488) d(362) r(271,491) 
search: generation 5 (sizeof one variant = 0.0884027 MB)
	  6 d(391) a(294,369) d(309) a(491,237) d(403) d(373) 
	  6 a(473,475) d(343) d(362) r(430,465) a(479,291) 
	  6 a(478,345) d(516) d(458) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(237,369) d(367) d(430) 
	  6 a(478,345) d(516) d(367) r(512,518) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(237,369) d(270) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) d(488) a(322,458) r(284,282) r(397,468) 
	  6 a(478,345) d(271) r(440,404) d(457) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000285/tools/tiffsplit.c  a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) r(236,447)  fails to compile
	  0 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) r(236,447) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(478) 
	  6 d(428) d(472) d(402) r(357,362) d(322) 
	  6 d(391) a(294,369) d(309) a(491,237) d(361) d(430) d(474) r(385,404) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) r(418,454) 
	  6 d(490) d(440) r(371,417) d(351) a(271,292) d(409) a(405,282) 
	  6 a(478,345) a(250,327) r(453,465) d(446) a(374,333) a(294,293) 
	  6 d(490) d(440) r(371,417) r(453,465) d(446) a(374,333) d(408) 
	  6 a(478,345) a(250,327) d(351) a(271,292) d(409) r(447,406) 
	  6 a(478,345) d(271) d(488) r(520,504) d(439) 
	  6 a(473,475) r(387,411) a(322,458) r(284,282) d(482) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) d(262) 
	  6 a(473,475) r(387,411) r(520,504) r(418,455) 
	  6 a(473,475) r(395,428) d(262) d(346) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000300/tools/tiffsplit.c  d(391) d(272) a(476,362) r(410,453) a(410,298) r(464,434) d(487) d(510) d(361) d(430) a(525,367) r(271,448)  fails to compile
	  0 d(391) d(272) a(476,362) r(410,453) a(410,298) r(464,434) d(487) d(510) d(361) d(430) a(525,367) r(271,448) 
	  6 a(473,475) r(395,428) a(410,298) r(464,434) d(487) d(510) d(361) d(430) a(525,367) r(407,448) 
	  6 d(391) d(272) a(476,362) r(410,453) d(262) d(476) 
	  6 d(391) a(294,369) d(309) a(491,237) d(403) a(298,345) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) 
	  6 d(391) d(423) d(379) d(402) r(458,427) a(248,341) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(428,490) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) 
	  6 r(492,480) d(470) a(374,470) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(509,497) 
	  6 r(492,480) d(470) r(261,241) a(492,282) d(403) a(303,434) 
	  6 d(492) r(249,261) r(494,415) r(241,239) r(400,393) r(249,234) 
	  6 d(410) r(249,261) r(494,415) r(241,239) a(228,321) d(262) 
	  6 d(428) d(510) d(361) a(245,361) r(477,435) r(364,420) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) a(240,227) r(422,496) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) a(353,233) 
	  6 a(478,345) a(250,327) d(362) r(430,465) a(420,435) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) 
	  6 a(478,345) a(250,327) d(351) a(271,292) d(409) a(393,382) 
	  6 a(473,475) d(343) d(362) r(430,465) r(426,364) 
	  6 a(473,475) r(387,411) r(520,504) r(519,522) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) 
	  6 r(242,237) d(487) d(510) d(361) d(430) r(291,333) d(345) 
	  6 a(473,475) r(387,411) r(520,504) d(264) 
	  6 d(490) d(440) r(371,417) a(287,393) r(335,444) d(465) 
	  6 d(492) a(391,404) r(455,477) r(254,253) r(474,434) a(433,284) 
	  6 a(473,475) a(447,433) d(425) r(465,346) d(282) 
	  6 a(478,345) a(250,327) d(351) a(271,292) d(417) r(226,351) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(236,240) 
	  6 a(473,475) d(343) d(362) r(430,465) a(261,234) 
search: generation 6 (sizeof one variant = 0.0884914 MB)
	  6 d(391) d(423) d(379) d(402) r(458,427) r(428,490) r(457,333) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000332/tools/tiffsplit.c  a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) r(263,465)  fails to compile
	  0 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) r(263,465) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(236,240) d(465) 
	  6 d(492) r(249,261) r(494,415) r(241,239) r(400,393) r(249,234) d(468) 
	  6 d(490) d(440) r(371,417) r(453,465) d(446) a(374,333) d(408) r(429,358) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000336/tools/tiffsplit.c  d(428) d(510) d(361) a(245,361) r(477,435) r(364,420) r(294,362)  fails to compile
	  0 d(428) d(510) d(361) a(245,361) r(477,435) r(364,420) r(294,362) 
	  6 a(478,345) d(271) r(440,404) d(457) a(290,325) 
	  6 d(391) d(423) d(379) d(402) r(458,427) a(248,341) d(523) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) r(300,481) 
	  6 a(478,345) r(482,369) d(346) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) 
	  6 r(242,237) d(487) d(510) d(379) d(402) r(458,427) r(236,240) d(438) 
	  6 d(391) d(423) d(361) d(430) r(291,333) d(345) r(231,247) 
	  6 r(242,237) d(487) d(510) d(361) d(430) r(291,333) d(345) a(290,391) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(236,240) d(515) 
	  6 a(478,345) a(250,327) d(362) d(446) a(374,333) d(408) a(401,416) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(420,435) a(387,467) 
	  6 a(478,345) a(250,327) d(362) r(430,465) a(420,435) a(303,454) 
	  6 d(490) d(440) r(371,417) r(453,465) d(446) a(374,333) d(408) a(339,459) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) d(362) r(430,465) r(426,364) r(259,254) 
	  6 a(473,475) d(343) a(434,464) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000353/tools/tiffsplit.c  a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) r(266,475)  fails to compile
	  0 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) r(266,475) 
	  6 a(473,475) d(343) d(362) r(430,465) r(426,364) a(520,287) 
	  6 d(492) r(249,261) r(519,522) d(307) 
	  6 a(473,475) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) 
	  6 d(492) r(249,261) r(494,415) r(241,239) r(400,393) r(249,234) a(481,393) 
	  6 a(473,475) r(387,411) r(520,504) r(519,522) d(245) 
	  6 a(478,345) a(250,327) r(453,465) d(446) a(374,333) a(294,293) r(406,421) 
	  6 d(428) d(510) d(361) a(245,361) r(477,435) r(364,420) r(400,483) 
	  6 a(478,345) r(478,484) 
	  6 a(473,475) r(395,428) d(262) d(346) d(271) d(488) a(322,458) r(284,282) d(228) r(307,435) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) r(494,426) 
	  6 a(473,475) r(395,428) d(262) d(346) a(504,337) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(237,369) d(379) d(402) r(458,427) r(236,240) d(490) 
	  6 d(391) d(423) d(367) d(430) d(333) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(237,369) d(367) d(430) d(241) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(236,240) a(482,490) 
	  6 d(490) d(440) r(371,417) a(287,393) r(335,444) d(465) a(475,458) 
	  5 a(478,345) a(250,327) d(351) a(271,292) d(409) a(393,382) d(287) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) a(353,233) a(415,407) 
	  6 r(492,480) d(470) r(261,241) a(492,282) d(403) a(303,434) d(287) 
	  6 d(391) r(418,454) r(247,233) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) d(423) d(379) d(402) r(458,427) r(428,490) d(435) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(428,490) d(249) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) r(418,454) d(395) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) d(435) 
	  6 d(492) a(391,404) r(455,477) r(254,253) r(474,434) a(433,284) r(327,477) 
	  6 r(492,480) d(470) a(374,470) a(516,518) 
	  6 a(473,475) d(343) d(362) r(430,465) a(261,234) r(454,481) 
	  6 d(490) d(440) r(371,417) d(351) a(271,292) d(409) a(405,282) r(465,387) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(478) r(488,483) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) d(462) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) a(497,361) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) 
search: generation 7 (sizeof one variant = 0.0886812 MB)
	  6 a(478,345) a(250,327) d(351) r(453,465) r(259,254) d(456) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) d(362) r(430,465) r(426,364) a(467,367) d(321) d(339) a(405,493) a(395,430) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) d(362) r(430,465) r(426,364) r(259,254) r(447,305) 
	  6 a(473,475) r(387,411) r(472,373) d(379) d(402) r(458,427) r(236,240) d(465) r(483,490) 
	  6 d(391) d(423) r(406,446) r(440,404) d(423) d(379) d(402) r(458,427) r(428,490) d(435) r(300,362) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) d(423) d(379) d(402) r(458,427) r(428,490) d(435) r(292,325) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(236,240) d(465) d(485) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) 
	  6 d(490) d(440) r(371,417) a(420,435) a(387,467) d(494) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(420,435) a(387,467) a(519,233) 
	  6 d(490) d(440) r(371,417) a(287,393) r(335,444) d(465) a(475,458) d(493) 
	  6 a(473,475) r(387,411) r(520,504) r(519,522) d(245) r(490,406) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(420,435) a(387,467) d(389) 
	  6 a(473,475) d(343) r(440,404) d(457) a(290,325) r(446,408) 
	  6 a(478,345) d(271) d(351) a(271,292) d(409) r(482,369) r(240,237) a(228,343) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) 
	  6 a(478,345) d(271) r(440,404) d(457) a(290,325) d(287) 
	  6 a(473,475) r(387,411) r(520,504) r(519,522) d(245) a(518,287) 
	  6 r(492,480) d(470) a(374,470) a(516,518) d(423) 
	  6 a(478,345) d(271) r(440,404) d(457) a(290,325) a(433,420) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(236,240) d(515) d(490) 
	  6 a(478,345) a(250,327) d(362) d(446) a(374,333) d(408) a(401,416) a(227,325) 
	  5 a(478,345) a(250,327) d(362) d(446) a(374,333) d(408) a(401,416) r(464,363) 
	  6 d(492) r(249,261) r(494,415) r(241,239) r(400,393) r(249,234) d(468) r(495,460) 
	  6 d(492) r(249,261) r(519,522) d(307) d(526) 
	  6 d(492) a(391,404) r(455,477) r(254,253) r(474,434) a(433,284) r(327,477) d(363) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) a(497,361) d(362) 
	  6 a(473,475) a(271,292) d(409) a(405,282) r(465,387) r(245,238) 
	  6 d(490) d(440) r(371,417) d(351) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) r(379,435) 
	  6 a(473,475) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) r(419,448) 
	  5 d(490) d(440) r(371,417) d(351) a(271,292) d(409) a(405,282) r(465,387) r(474,496) 
	  6 d(490) d(440) r(371,417) r(236,240) d(438) d(422) 
	  6 r(242,237) d(487) d(510) d(379) d(402) r(458,427) r(453,465) d(446) a(374,333) d(408) a(339,459) d(287) 
	  6 d(490) d(440) r(371,417) r(453,465) d(446) a(374,333) d(408) a(339,459) a(409,228) 
	  6 r(242,237) d(487) d(510) d(379) d(402) r(458,427) r(236,240) d(438) d(451) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) a(353,233) a(415,407) d(484) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) d(423) d(379) d(402) r(458,427) r(428,490) d(435) r(419,357) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) r(494,426) a(285,363) 
	  6 r(492,480) d(470) a(374,470) a(516,518) r(518,510) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) 
	  6 a(473,475) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) r(437,484) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) d(407) 
	  6 a(478,345) d(271) d(488) a(322,458) r(371,417) r(453,465) d(446) a(374,333) d(408) r(429,358) r(487,397) 
	  6 d(490) d(440) r(371,417) r(453,465) d(446) a(374,333) d(408) r(429,358) d(355) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) d(435) d(263) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) a(248,341) d(523) d(260) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(237,369) d(367) d(430) d(241) a(387,470) 
	  5 a(473,475) r(387,411) r(472,373) r(406,446) r(237,369) d(367) d(430) d(241) d(245) 
	  6 d(391) d(423) d(379) d(402) r(458,427) a(248,341) d(523) r(470,329) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) a(497,361) d(400) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(236,240) a(482,490) d(391) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000439/tools/tiffsplit.c  d(490) a(250,327) d(362) r(430,465) a(420,435) a(303,454) r(285,513)  fails to compile
	  0 d(490) a(250,327) d(362) r(430,465) a(420,435) a(303,454) r(285,513) 
	  5 a(478,345) d(440) r(371,417) d(351) a(271,292) d(409) a(405,282) r(465,387) r(452,439) 
	  6 d(490) d(440) r(371,417) d(351) a(271,292) d(409) a(405,282) r(465,387) a(389,405) 
	  6 a(478,345) a(250,327) d(362) r(430,465) a(420,435) a(303,454) r(518,504) 
	  5 d(428) d(472) d(402) r(357,362) a(377,437) d(462) r(346,486) r(410,362) r(477,453) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(243,256) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) d(462) d(367) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) d(482) 
search: generation 8 (sizeof one variant = 0.0886621 MB)
	  6 a(478,345) d(271) d(351) a(271,292) d(409) r(482,369) r(240,237) a(228,343) d(339) 
	  6 d(490) d(440) r(371,417) d(351) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) r(379,435) a(438,291) 
	  6 a(473,475) r(387,411) r(520,504) r(519,522) d(245) r(490,406) a(248,373) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(420,435) a(387,467) d(389) a(327,408) 
	  6 d(490) d(440) r(371,417) d(351) a(271,292) d(409) a(405,282) r(465,387) a(389,405) d(471) 
	  6 d(490) d(440) r(371,417) d(523) r(470,329) d(282) 
	  6 d(391) d(423) d(379) d(402) r(458,427) a(248,341) r(453,465) r(430,465) a(420,435) a(387,467) d(389) d(367) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(420,435) a(387,467) d(389) d(477) 
	  5 d(391) d(423) d(379) d(402) r(458,427) a(248,341) d(523) r(470,329) r(443,462) 
	  6 d(490) d(409) r(482,369) r(240,237) d(438) a(461,414) 
	  5 a(473,475) d(343) d(351) a(271,292) d(440) r(371,417) r(453,465) d(446) a(374,333) d(408) a(339,459) a(409,228) d(468) 
	  6 d(490) d(440) r(371,417) r(453,465) d(446) a(374,333) d(408) a(339,459) a(409,228) d(515) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) a(256,282) 
	  6 r(492,480) d(470) a(374,470) a(516,518) d(423) a(483,389) 
	  6 a(478,345) a(250,327) d(351) r(453,465) r(259,254) d(456) d(353) 
	  6 a(478,345) d(271) d(488) a(322,458) r(371,417) r(453,465) d(446) a(374,333) d(408) r(429,358) r(487,397) d(491) 
	  6 d(490) d(440) r(371,417) a(420,435) a(387,467) d(494) a(438,474) 
	  6 r(242,237) d(487) d(510) d(379) a(516,518) d(423) r(487,385) 
	  6 r(492,480) d(470) a(374,470) d(402) r(458,427) r(236,240) d(438) d(451) r(474,327) 
	  6 r(242,237) d(487) d(510) d(379) d(402) r(458,427) r(236,240) d(438) d(451) r(482,296) 
	  6 r(492,480) d(470) a(374,470) a(516,518) d(423) d(369) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) a(497,361) d(400) r(379,440) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000470/tools/tiffsplit.c  d(490) d(440) r(371,417) r(453,465) r(430,465) a(420,435) a(387,467) d(389) r(284,455)  fails to compile
	  0 d(490) d(440) r(371,417) r(453,465) r(430,465) a(420,435) a(387,467) d(389) r(284,455) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) d(431) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(243,256) d(291) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000473/tools/tiffsplit.c  r(492,480) d(470) a(374,470) d(407) r(321,227)  fails to compile
	  0 r(492,480) d(470) a(374,470) d(407) r(321,227) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) a(516,518) r(518,510) r(514,512) 
	  6 r(492,480) d(470) a(374,470) a(516,518) r(518,510) r(393,343) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) d(407) d(374) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) d(423) d(379) d(402) r(458,427) r(428,490) d(435) r(292,325) d(418) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) a(248,341) d(523) d(260) a(424,440) 
	  6 r(492,480) d(470) a(374,470) a(516,518) d(423) r(371,417) a(420,435) a(387,467) d(494) a(400,421) 
	  6 d(490) d(440) d(367) 
	  6 r(492,480) d(470) a(374,470) a(516,518) d(423) d(446) 
	  6 d(490) d(440) r(371,417) a(420,435) a(387,467) d(494) d(411) 
	  5 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(453,465) r(259,254) d(456) d(238) 
	  6 a(478,345) a(250,327) d(351) a(426,414) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000486/tools/tiffsplit.c  a(478,345) a(250,327) d(351) r(453,465) r(259,254) d(456) r(371,243)  fails to compile
	  0 a(478,345) a(250,327) d(351) r(453,465) r(259,254) d(456) r(371,243) 
	  6 a(478,345) d(271) d(488) a(322,458) r(284,282) d(228) r(494,426) a(285,363) d(256) 
	  6 d(492) r(249,261) r(519,522) d(307) d(526) d(291) 
	  6 d(391) d(423) r(406,446) r(440,404) d(423) d(379) d(402) r(458,427) r(428,490) d(435) r(300,362) r(424,469) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(236,240) d(515) d(490) r(492,430) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000491/tools/tiffsplit.c  d(492) a(391,404) r(455,477) r(254,253) r(474,434) a(433,284) r(327,477) d(287) r(343,514)  fails to compile
	  0 d(492) a(391,404) r(455,477) r(254,253) r(474,434) a(433,284) r(327,477) d(287) r(343,514) 
	  6 a(478,345) d(271) r(440,404) d(457) a(290,325) d(363) r(414,460) 
	  5 d(492) a(391,404) r(455,477) r(254,253) r(474,434) a(433,284) r(327,477) d(363) r(427,438) 
	  6 a(478,345) d(271) r(440,404) d(457) a(290,325) d(287) r(250,231) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) d(482) d(402) r(458,427) r(237,369) d(367) d(430) d(241) a(387,470) d(458) 
	  6 d(391) d(423) d(379) d(397) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) d(482) r(471,364) 
	  6 d(391) d(423) d(379) d(402) r(458,427) r(237,369) d(367) d(430) d(241) a(387,470) d(468) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) d(435) d(263) r(361,491) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) 
	  6 a(478,345) a(405,493) r(309,423) r(469,490) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) r(248,260) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) a(407,438) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) d(282) 
search: generation 9 (sizeof one variant = 0.0889883 MB)
	  6 a(478,345) d(271) r(243,256) d(291) a(514,527) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) d(488) a(322,458) r(480,379) r(243,256) d(291) d(477) 
	  5 a(478,345) d(271) d(488) a(322,458) r(480,379) r(243,256) d(291) d(420) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(243,256) d(291) a(514,271) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) a(367,435) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) r(514,497) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) d(261) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) r(401,441) 
	  6 r(492,480) d(470) a(374,470) d(402) r(458,427) r(236,240) d(438) d(451) r(474,327) d(327) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) a(516,518) r(518,510) r(514,512) r(369,385) 
	  6 r(492,480) d(470) a(374,470) a(516,518) r(518,510) r(393,343) d(446) 
	  6 a(473,475) r(387,411) r(520,504) r(519,522) d(245) r(490,406) a(248,373) d(495) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) a(497,361) d(400) r(379,440) r(247,244) 
	  5 a(478,345) d(271) d(488) a(322,458) r(371,417) r(453,465) d(446) a(374,333) d(408) r(429,358) r(487,397) d(491) r(321,462) 
	  6 a(478,345) a(250,327) d(351) a(426,414) a(247,341) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(286) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) d(438) r(427,382) r(369,428) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) r(346,486) d(435) d(263) r(361,491) d(513) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) d(435) d(263) r(361,491) a(510,385) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) d(470) 
	  6 d(490) d(440) r(371,417) d(351) a(271,292) d(409) a(405,282) r(465,387) a(389,405) d(440) r(480,379) r(346,486) d(435) a(516,518) r(518,510) r(514,512) a(426,400) 
	  6 d(490) d(471) d(358) 
	  6 d(490) d(440) r(371,417) d(351) a(271,292) d(409) a(405,282) r(465,387) a(389,405) d(471) r(429,413) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) a(516,518) r(518,510) r(514,512) d(252) 
	  6 a(473,475) d(343) d(351) d(423) d(379) d(402) r(458,427) r(428,490) d(435) r(292,325) d(418) r(514,513) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) a(448,465) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) d(285) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) d(423) d(379) d(402) r(458,427) r(428,490) d(435) r(292,325) d(418) d(518) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) d(482) d(402) r(458,427) d(523) r(470,329) d(282) d(448) 
	  6 d(490) d(440) r(371,417) r(237,369) d(367) d(430) d(241) a(387,470) d(458) r(440,327) 
	  5 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) d(482) d(402) r(458,427) r(237,369) d(367) d(430) d(241) a(387,470) d(458) r(322,468) 
	  6 d(490) d(440) r(371,417) d(523) r(470,329) d(282) r(415,393) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) r(248,260) a(286,300) 
	  6 d(490) d(440) r(371,417) d(351) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) r(379,435) a(438,291) r(513,517) 
	  6 d(391) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(475) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) d(423) d(379) d(397) d(371) 
	  6 d(391) d(423) d(379) d(397) d(329) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(369) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) a(407,438) d(240) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) a(497,361) d(400) r(379,440) r(343,325) 
	  6 a(478,345) d(271) a(309,417) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(488) a(322,458) r(480,379) r(346,486) d(435) d(263) r(361,491) d(449) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) d(435) d(263) r(361,491) d(454) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) a(474,408) 
	  6 a(478,345) d(271) r(440,404) d(457) a(290,325) d(287) r(250,231) d(288) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) d(282) r(489,307) 
	  6 r(492,480) d(470) a(374,470) a(516,518) d(423) r(371,417) a(420,435) a(387,467) d(494) a(400,421) d(237) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(420,435) a(387,467) d(389) d(477) r(387,426) 
	  6 a(478,345) a(405,493) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(483) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) r(309,423) r(469,490) d(433) 
	  6 a(478,345) a(405,493) r(309,423) r(469,490) d(460) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(523) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) a(516,518) d(423) r(487,385) d(237) 
	  6 r(242,237) d(487) d(510) d(379) a(516,518) r(518,510) r(514,512) d(457) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) a(516,518) r(518,510) r(514,512) d(510) 
	  6 r(242,237) d(487) d(510) d(379) a(516,518) d(423) r(487,385) a(351,355) 
	  6 r(492,480) d(470) d(309) 
	  6 a(478,345) a(405,493) r(309,423) r(469,490) a(374,470) a(516,518) r(518,510) r(393,343) a(489,409) 
	  6 r(492,480) d(470) a(374,470) a(516,518) r(518,510) r(393,343) a(300,478) 
	  6 a(478,345) a(405,493) r(309,423) r(469,490) d(460) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) d(482) r(471,364) d(286) 
	  6 r(492,480) d(470) a(374,470) a(516,518) d(423) d(369) d(457) 
search: generation 10 (sizeof one variant = 0.0900431 MB)
	  6 a(473,475) d(343) d(351) a(271,292) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) d(482) d(402) r(458,427) d(523) r(470,329) d(282) d(448) r(385,381) 
	  6 a(478,345) d(409) r(482,369) r(240,237) d(438) r(427,382) d(285) d(288) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000569/tools/tiffsplit.c  a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) d(285) r(504,482)  fails to compile
	  0 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) d(285) r(504,482) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) r(410,362) d(482) d(402) r(458,427) d(523) r(470,329) d(282) d(448) d(252) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) a(474,408) r(337,488) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) d(321) d(339) a(405,493) r(309,423) a(407,438) d(240) r(519,525) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) a(407,438) d(240) d(473) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) a(474,408) r(440,404) 
	  5 d(391) d(423) d(379) d(397) d(329) d(496) 
	  6 r(492,480) d(470) a(374,470) a(516,518) d(423) r(371,417) a(420,435) a(387,467) d(494) a(400,421) d(237) r(482,419) 
	  6 d(490) d(440) r(371,417) r(237,369) d(367) d(430) d(241) a(387,470) d(458) r(440,327) d(309) 
	  6 r(242,237) d(487) d(510) d(379) a(516,518) d(423) r(487,385) a(351,355) d(286) 
	  6 a(478,345) a(405,493) a(287,393) d(263) r(361,491) d(454) r(287,337) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) d(435) r(335,444) d(465) a(475,458) d(367) r(459,430) d(483) d(243) 
	  6 a(478,345) a(405,493) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(483) r(448,452) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) d(435) d(263) r(361,491) d(454) d(433) 
	  6 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) d(282) r(489,307) d(480) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) r(346,486) d(435) d(263) r(361,491) d(513) d(515) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000585/tools/tiffsplit.c  a(478,345) a(405,493) r(309,423) r(469,490) d(460) r(351,526)  fails to compile
	  0 a(478,345) a(405,493) r(309,423) r(469,490) d(460) r(351,526) 
	  6 a(473,475) r(387,411) r(520,504) r(519,522) d(245) r(490,406) a(248,373) d(495) r(489,414) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(286) d(470) 
	  6 d(490) d(523) r(395,286) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(523) r(250,239) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(286) d(233) 
	  6 r(492,480) d(470) a(374,470) d(402) r(458,427) r(236,240) d(438) d(451) r(474,327) d(327) d(457) r(455,486) 
	  6 r(242,237) d(487) d(510) d(379) a(516,518) r(518,510) r(514,512) a(379,482) 
	  6 r(492,480) d(470) a(374,470) d(402) r(458,427) r(236,240) d(438) d(451) r(474,327) d(327) r(254,243) 
	  6 r(242,237) d(487) d(510) d(379) a(516,518) r(518,510) r(514,512) d(457) r(416,420) 
	  6 d(490) d(440) r(371,417) r(453,465) r(430,465) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(286) d(489) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) d(285) d(420) 
	  6 r(492,480) d(470) d(309) a(415,483) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) a(516,518) r(518,510) r(514,512) r(369,385) a(522,355) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) r(514,497) a(260,227) 
	  6 r(492,480) d(470) d(309) d(257) 
	  6 d(490) d(440) r(371,417) d(351) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) r(379,435) a(438,291) r(513,517) d(381) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000602/tools/tiffsplit.c  a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) r(248,260) a(286,300) r(271,451)  fails to compile
	  0 a(478,345) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(250,327) d(351) r(453,465) a(467,367) d(321) d(339) a(405,493) r(309,423) r(248,260) a(286,300) r(271,451) 
	  6 a(478,345) d(271) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) d(285) d(243) 
	  6 a(473,475) d(488) a(322,458) r(480,379) r(346,486) d(435) d(263) r(361,491) a(510,385) r(455,387) 
	  6 a(478,345) d(271) d(488) a(322,458) r(480,379) r(346,486) d(435) d(263) r(361,491) a(510,385) a(406,445) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) d(438) r(427,382) d(285) r(238,263) 
	  6 d(428) d(472) d(402) r(357,362) a(377,437) a(497,361) d(400) r(379,440) r(343,325) r(408,478) 
	  6 a(478,345) d(271) r(243,256) d(291) a(514,527) d(357) 
	  6 d(490) d(471) r(514,497) a(495,395) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000610/tools/tiffsplit.c  d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) d(358) r(285,453)  fails to compile
	  0 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) d(358) r(285,453) 
	  6 d(490) d(471) d(358) d(518) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) r(514,497) a(419,477) 
	  6 d(391) d(423) d(379) d(397) d(329) a(480,309) 
	  6 a(473,475) d(343) d(351) a(271,292) d(409) r(482,369) r(240,237) r(346,486) d(435) d(263) r(361,491) d(513) d(475) 
	  6 a(478,345) a(405,493) r(309,423) r(469,490) a(374,470) a(516,518) r(518,510) r(393,343) a(489,409) r(527,517) 
	  6 a(478,345) a(405,493) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(483) d(496) 
	  6 a(478,345) a(405,493) a(287,393) r(335,444) d(465) a(475,458) d(367) r(459,430) d(483) r(424,355) 
	  6 a(478,345) a(405,493) r(309,423) r(469,490) a(374,470) a(516,518) r(518,510) r(393,343) a(489,409) a(420,301) 
	  5 d(490) d(440) r(238,261) r(401,441) d(271) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(371,417) d(351) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) r(379,435) a(438,291) r(513,517) r(461,361) 
	  6 d(490) d(440) r(371,417) d(351) r(387,411) r(520,504) r(494,415) r(241,239) r(400,393) r(249,234) a(361,458) r(379,435) a(438,291) r(513,517) d(431) 
	  6 d(403) r(238,245) a(414,406) d(305) d(517) r(483,416) r(261,241) a(492,282) d(403) a(301,482) d(528) d(362) r(238,261) r(401,441) d(458) 
	  6 d(490) d(440) r(480,379) r(346,486) d(435) a(516,518) r(518,510) r(514,512) d(252) d(474) 
	  6 a(473,475) r(387,411) r(472,373) r(406,446) r(440,404) d(423) d(379) d(402) r(458,427) r(428,490) d(435) r(292,325) d(418) d(518) a(489,271) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 4373
"Test Suite Evaluations": 69.4127

Compile Failures: 24
Wall-Clock Seconds Elapsed: 1540.66
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.147 = 0.0104833%
  compile                             626 575.296 = 41.0325%
  test                               4268 826.607 = 58.957%
  TOTAL                                   1402.051 = 91.003% (avg CPU usage)
libtiff-bug-2008-09-05-d59e7df-5f42dba.tar.gz
Sat Sep 21 13:56:30 EDT 2013
shutting down
