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 5
--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-35-158 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Sat Sep 21 13:30:48 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU E5-2650 0 @ 2.00GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmpbea418.c /tmp/tmpa0f940.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 13.4729)
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.00894356 MB)
	  6 r(260,246) 
	  6 d(453) 
	  6 a(442,495) 
	  6 a(247,363) 
	  6 a(427,435) 
	  6 d(511) 
	  6 d(240) 
	  6 r(469,437) 
	  6 d(448) 
	  6 d(452) 
	  6 a(409,303) 
	  6 d(513) 
	  6 a(418,457) 
	  6 r(482,325) 
	  6 a(379,289) 
	  6 d(403) 
	  6 a(290,351) 
	  6 a(447,430) 
	  6 r(482,419) 
	  6 r(437,393) 
	  6 r(518,497) 
	  6 r(257,260) 
	  6 d(364) 
	  6 r(466,449) 
	  6 a(285,263) 
	  6 a(405,411) 
	  6 r(256,237) 
	  6 d(523) 
	  6 d(238) 
	  6 d(420) 
	  6 a(480,459) 
	  6 a(512,290) 
	  6 a(240,351) 
	  6 r(520,516) 
	  6 a(417,450) 
	  6 d(474) 
	  6 r(528,504) 
	  6 d(496) 
	  6 d(288) 
	  6 original
search: generation 1 (sizeof one variant = 0.0862617 MB)
	  6 r(518,497) r(298,264) 
	  6 a(480,459) a(432,233) 
	  6 r(518,497) a(282,389) 
	  6 a(480,459) a(468,433) 
	  6 d(474) d(379) 
	  6 d(448) a(244,385) 
	  6 d(474) r(477,381) 
	  6 d(448) d(523) 
	  6 a(442,495) d(516) 
	  6 a(409,303) r(482,465) 
	  6 d(420) d(440) 
	  6 a(240,351) r(265,291) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000051/tools/tiffsplit.c  d(511) r(289,427)  fails to compile
	  0 d(511) r(289,427) 
	  6 r(520,516) a(425,488) 
	  6 a(427,435) r(489,353) 
	  6 a(512,290) r(490,439) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000055/tools/tiffsplit.c  a(427,435) r(282,330)  fails to compile
	  0 a(427,435) r(282,330) 
	  6 a(512,290) d(448) 
	  6 d(513) r(401,353) 
	  6 d(240) r(252,236) 
	  6 r(518,497) r(395,234) 
	  6 a(512,290) a(410,305) 
	  6 r(469,437) r(494,404) 
	  6 a(379,289) r(474,451) 
	  6 d(288) r(509,293) 
	  6 a(247,363) d(425) 
	  6 a(240,351) r(443,473) 
	  6 d(496) a(489,459) 
	  6 a(240,351) r(351,465) 
	  6 d(496) d(234) 
	  6 a(240,351) a(233,254) 
	  6 a(405,411) a(459,400) 
	  6 a(240,351) a(441,413) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000072/tools/tiffsplit.c  a(405,411) r(357,245)  fails to compile
	  0 a(405,411) r(357,245) 
	  6 a(405,411) d(527) 
	  6 d(448) d(416) 
	  6 d(346) 
	  6 r(482,419) d(410) 
	  6 r(516,518) 
	  6 r(482,419) a(248,353) 
	  6 r(437,393) a(363,482) 
	  6 d(452) r(298,462) 
	  6 a(417,450) r(434,296) 
	  6 d(240) d(248) 
	  6 a(417,450) r(389,493) 
	  5 d(240) r(490,447) 
	  6 a(405,411) a(468,417) 
	  6 r(260,246) a(253,327) 
	  6 d(523) a(517,233) 
	  6 a(480,459) a(491,329) 
	  6 d(474) a(490,456) 
	  6 r(257,260) d(510) 
	  6 a(512,290) a(301,346) 
	  6 d(403) d(404) 
search: generation 2 (sizeof one variant = 0.0870085 MB)
	  6 a(512,290) a(410,305) r(471,355) 
	  6 d(474) d(379) r(458,322) 
	  6 a(405,411) d(527) d(510) a(440,472) 
	  6 r(257,260) a(237,504) 
	  6 a(405,411) d(527) a(468,309) 
	  6 r(257,260) d(510) a(523,379) 
	  6 a(247,363) d(425) r(485,437) 
	  6 a(240,351) r(351,465) d(438) 
	  6 a(405,411) a(468,417) d(284) 
	  6 a(405,411) d(527) r(358,474) 
	  6 a(405,411) a(468,417) r(249,247) 
	  6 a(405,411) d(527) d(457) 
	  6 a(512,290) d(282) 
	  6 d(452) r(298,462) r(490,439) d(271) 
	  6 a(512,290) r(490,439) d(464) 
	  5 d(452) r(298,462) d(444) 
	  6 d(346) r(412,458) 
	  5 d(346) a(385,445) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000111/tools/tiffsplit.c  d(474) d(379) r(284,453)  fails to compile
	  0 d(474) d(379) r(284,453) 
	  5 d(496) a(489,459) d(510) 
	  6 a(417,450) r(434,296) r(236,325) 
	  6 a(427,435) r(489,353) r(259,249) 
	  6 d(496) d(234) r(402,489) 
	  6 a(405,411) a(459,400) a(236,345) 
	  6 a(405,411) r(470,438) 
	  6 a(247,363) d(425) d(527) a(290,288) 
	  6 a(405,411) d(527) r(240,237) 
	  6 a(247,363) d(425) d(290) 
	  6 d(448) d(523) d(345) 
	  5 d(496) d(234) r(244,261) 
	  5 d(448) d(523) a(413,362) 
	  6 d(496) d(234) d(455) 
	  5 a(240,351) r(265,291) d(512) 
	  5 d(240) r(252,236) d(488) 
	  6 a(512,290) a(301,346) r(443,473) r(309,465) 
	  6 a(240,351) d(373) 
	  6 a(512,290) a(301,346) d(227) 
	  6 a(240,351) r(443,473) r(333,410) 
	  6 r(520,516) a(425,488) a(410,305) r(255,241) 
	  6 a(512,290) d(367) 
	  6 r(520,516) a(425,488) a(262,245) 
	  6 a(512,290) a(410,305) r(282,369) 
	  6 d(420) d(440) r(485,329) 
	  6 d(448) d(416) r(526,504) 
	  6 d(448) d(416) r(358,426) 
	  6 d(513) r(401,353) r(465,296) 
	  6 r(518,497) r(395,234) r(428,457) 
	  6 d(240) d(248) d(479) 
	  6 d(448) d(523) a(493,411) 
	  5 d(448) d(523) d(526) 
	  6 d(448) d(523) d(451) 
	  6 d(448) d(523) d(519) 
	  6 d(403) r(474,451) a(385,455) 
	  6 a(379,289) d(404) a(381,382) 
	  6 d(403) d(404) d(353) 
	  6 a(379,289) r(474,451) d(407) 
	  5 a(405,411) d(527) d(475) 
	  6 a(240,351) a(441,413) a(426,443) 
search: generation 3 (sizeof one variant = 0.0876884 MB)
	  6 d(474) d(379) r(458,322) d(270) 
	  6 d(452) r(298,462) r(490,439) d(271) r(335,410) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) 
	  6 d(448) d(416) r(358,426) d(527) 
	  6 a(405,411) a(523,379) d(424) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000156/tools/tiffsplit.c  r(257,260) d(510) d(527) d(510) a(440,472) r(363,248)  fails to compile
	  0 r(257,260) d(510) d(527) d(510) a(440,472) r(363,248) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000157/tools/tiffsplit.c  a(405,411) d(527) d(510) a(440,472) r(289,525)  fails to compile
	  0 a(405,411) d(527) d(510) a(440,472) r(289,525) 
	  6 r(257,260) d(510) a(523,379) d(480) 
	  6 a(240,351) d(457) d(322) 
	  6 a(405,411) d(527) a(441,413) a(426,443) r(426,424) 
	  6 a(240,351) a(441,413) a(426,443) d(242) 
	  6 a(405,411) d(527) d(457) a(488,367) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000163/tools/tiffsplit.c  d(448) d(523) a(493,411) r(272,514)  fails to compile
	  0 d(448) d(523) a(493,411) r(272,514) 
	  6 a(405,411) a(459,400) a(236,345) d(377) 
	  6 a(240,351) a(441,413) a(426,443) r(518,511) 
	  6 a(512,290) d(367) a(433,369) 
	  6 d(448) d(523) d(451) r(526,504) d(253) 
	  6 d(448) d(416) r(444,358) 
	  6 d(448) d(523) d(451) r(442,330) 
	  6 d(448) d(416) r(526,504) r(348,420) 
	  6 d(346) r(412,458) r(460,403) 
	  6 a(417,450) r(434,296) r(236,325) d(466) 
	  6 r(520,516) a(425,488) a(410,305) r(255,241) d(239) 
	  6 r(518,497) r(395,234) r(428,457) a(351,433) 
	  6 a(405,411) a(468,417) d(523) a(493,411) d(520) 
	  6 d(448) d(284) r(469,339) 
	  6 a(405,411) a(468,417) d(284) a(440,389) 
	  6 d(448) d(523) a(493,411) a(395,303) 
	  6 a(240,351) d(416) r(358,426) r(248,252) 
	  6 d(448) r(351,465) d(438) a(420,389) 
	  6 a(240,351) r(351,465) d(438) r(495,477) 
	  6 d(448) d(416) r(358,426) d(458) 
	  6 a(427,435) r(489,353) a(400,416) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) 
	  6 a(427,435) r(489,353) r(259,249) a(288,228) 
	  6 r(257,260) a(237,504) d(389) 
	  6 a(512,290) a(301,346) r(443,473) r(309,465) d(462) 
	  6 d(448) d(416) r(358,426) r(409,363) 
	  6 a(240,351) r(240,237) a(250,357) 
	  6 a(405,411) d(527) d(373) d(419) 
	  6 a(240,351) d(373) a(391,431) 
	  6 a(405,411) d(527) r(240,237) d(335) 
	  6 r(257,260) d(510) a(523,379) r(489,353) r(259,249) d(408) 
	  6 a(427,435) d(237) 
	  6 r(257,260) d(510) a(523,379) d(516) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) 
	  6 a(512,290) d(367) r(409,411) 
	  6 d(474) d(379) r(458,322) d(413) 
	  6 d(448) d(523) r(333,410) r(395,353) 
	  6 a(240,351) r(443,473) d(345) d(474) 
	  6 d(448) d(523) d(345) r(288,286) 
	  6 a(240,351) r(443,473) r(333,410) d(431) 
	  6 a(512,290) a(301,346) d(373) r(393,470) 
	  6 a(240,351) r(443,473) r(309,465) r(262,245) 
	  6 a(512,290) a(301,346) r(443,473) r(309,465) r(445,493) 
	  6 a(240,351) d(373) d(472) 
	  6 a(405,411) d(527) r(358,474) r(430,444) 
	  6 a(240,351) r(351,465) d(438) r(262,245) 
	  6 a(405,411) d(527) r(358,474) a(245,250) 
	  6 a(240,351) r(351,465) d(438) a(307,427) 
	  6 a(512,290) a(410,305) r(471,355) d(261) 
	  6 a(512,290) a(301,346) d(227) d(457) 
search: generation 4 (sizeof one variant = 0.0878391 MB)
	  6 a(405,411) a(468,417) d(523) a(493,411) d(520) d(271) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) 
	  6 d(448) d(416) r(358,426) r(409,363) a(369,481) 
	  6 r(257,260) d(510) a(523,379) r(489,353) r(259,249) d(408) r(374,440) 
	  6 a(405,411) a(468,417) d(284) a(440,389) a(419,484) 
	  6 a(240,351) a(441,413) a(426,443) d(242) d(234) 
	  5 a(405,411) a(468,417) d(523) a(493,411) d(520) r(464,405) 
	  6 d(474) d(379) r(458,322) d(270) d(479) 
	  6 a(240,351) r(443,473) r(333,410) d(431) d(367) 
	  6 d(452) r(298,462) r(490,439) r(489,353) r(259,249) r(494,458) a(410,322) 
	  6 a(427,435) d(271) a(250,329) r(364,404) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) 
	  5 a(405,411) d(527) d(457) a(488,367) a(441,413) a(426,443) d(242) a(346,353) 
	  6 a(240,351) d(436) 
	  6 a(405,411) d(527) d(457) a(488,367) r(485,461) 
	  6 a(240,351) a(441,413) a(426,443) d(242) r(418,496) 
	  6 a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) 
	  6 a(240,351) r(519,521) 
	  6 a(405,411) a(523,379) d(424) d(472) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000234/tools/tiffsplit.c  a(240,351) r(443,473) d(345) d(474) r(294,521)  fails to compile
	  0 a(240,351) r(443,473) d(345) d(474) r(294,521) 
	  6 a(405,411) d(527) a(441,413) a(426,443) r(426,424) r(431,454) 
	  6 a(512,290) a(301,346) r(443,473) r(309,465) d(462) r(265,291) 
	  6 a(240,351) r(351,465) d(438) a(307,427) r(351,465) d(438) r(262,245) a(286,504) 
	  6 a(240,351) d(300) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(265,391) 
	  6 a(240,351) r(351,465) d(438) r(262,245) a(263,259) 
	  6 a(240,351) r(351,465) a(337,337) 
	  6 d(452) r(298,462) r(490,439) d(271) r(335,410) d(438) r(262,245) d(473) 
	  6 a(240,351) r(351,465) d(438) r(262,245) a(251,377) 
	  6 d(452) r(298,462) r(490,439) d(271) r(335,410) r(247,246) 
	  6 a(512,290) a(301,346) d(373) r(469,339) d(251) 
	  6 d(448) d(284) r(393,470) d(448) 
	  6 a(512,290) a(301,346) d(373) r(393,470) r(226,254) 
	  6 d(448) d(284) r(469,339) d(346) 
	  6 a(240,351) a(441,413) a(426,443) d(242) d(231) 
	  6 a(405,411) d(527) a(441,413) a(426,443) r(426,424) d(478) 
	  6 a(512,290) a(301,346) d(227) d(457) d(468) 
	  6 a(405,411) d(527) d(373) d(419) d(391) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) 
	  6 d(448) d(523) a(400,416) a(460,377) 
	  6 a(427,435) r(489,353) a(493,411) a(395,303) d(416) 
	  6 d(448) d(523) a(493,411) a(395,303) a(425,455) 
	  6 a(427,435) r(489,353) a(400,416) a(256,259) 
	  6 r(518,497) r(395,234) r(428,457) a(351,433) d(353) 
	  6 a(512,290) a(301,346) r(443,473) r(309,465) d(462) a(339,335) 
	  6 a(240,351) r(443,473) r(333,410) d(431) r(451,353) 
	  6 a(240,351) r(443,473) r(333,410) d(431) a(240,244) 
	  6 r(257,260) a(237,504) d(389) a(293,237) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) 
	  6 d(448) d(523) r(333,410) r(358,426) d(527) d(357) 
	  6 d(448) d(416) r(395,353) r(434,348) 
	  6 d(448) d(523) r(333,410) r(395,353) r(371,322) 
	  6 d(448) d(416) r(358,426) d(527) d(509) 
search: generation 5 (sizeof one variant = 0.0886536 MB)
	  6 a(240,351) r(519,521) d(385) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000270/tools/tiffsplit.c  d(448) d(523) a(400,416) a(460,377) r(381,510)  fails to compile
	  0 d(448) d(523) a(400,416) a(460,377) r(381,510) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) 
	  6 a(405,411) a(523,379) d(424) d(472) d(449) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) a(515,511) 
	  6 a(405,411) a(523,379) d(424) d(472) d(300) 
	  6 a(240,351) r(351,465) d(438) d(363) 
	  6 d(452) r(298,462) r(490,439) r(489,353) r(259,249) r(494,458) a(410,322) a(307,427) a(261,504) d(528) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) a(300,437) 
	  6 d(452) r(298,462) r(490,439) r(489,353) r(259,249) r(494,458) a(410,322) d(453) 
	  6 d(448) d(523) a(493,411) a(395,303) d(468) r(412,433) 
	  6 a(512,290) a(301,346) d(227) d(457) a(425,455) r(529,504) 
	  6 d(448) d(523) a(493,411) a(395,303) a(425,455) a(454,291) 
	  6 a(512,290) a(301,346) d(227) d(457) d(468) d(416) 
	  6 a(240,351) a(250,329) r(456,452) d(303) 
	  6 d(452) r(298,462) r(490,439) d(271) r(351,465) d(438) r(262,245) a(263,259) d(449) 
	  6 a(240,351) r(351,465) d(438) r(262,245) a(263,259) r(397,463) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) 
	  6 a(405,411) d(527) d(373) d(419) d(391) r(402,448) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) 
	  6 a(405,411) a(523,379) a(286,504) r(327,339) 
	  6 a(240,351) r(351,465) d(438) a(307,427) r(351,465) d(438) r(262,245) d(424) r(443,473) d(345) d(474) d(515) r(367,443) 
	  6 a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) d(415) 
	  6 a(240,351) r(351,465) d(438) a(307,427) r(351,465) d(438) r(262,245) a(286,504) a(327,470) 
	  6 d(448) d(416) r(395,353) d(448) d(485) 
	  6 d(448) d(284) r(393,470) r(434,348) r(476,415) 
	  6 d(448) d(416) r(395,353) r(434,348) d(484) 
	  6 d(448) d(284) r(393,470) d(448) d(453) 
	  6 a(240,351) r(240,237) a(250,357) d(391) r(421,426) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(242,247) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(250) 
	  6 a(405,411) d(527) d(373) d(419) d(391) d(420) 
	  6 a(240,351) r(443,473) r(333,410) d(431) r(451,353) d(242) 
	  6 r(257,260) d(510) a(523,379) r(489,353) r(259,249) d(408) r(374,440) d(469) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(265,391) a(521,527) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) a(434,495) 
	  6 a(240,351) r(240,237) r(519,521) a(460,411) 
	  5 a(240,351) a(250,357) r(468,423) d(443) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(493) 
	  5 a(240,351) r(519,521) d(490) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(455,483) 
	  6 a(405,411) a(468,417) d(284) a(440,389) a(419,484) a(242,379) 
	  6 a(427,435) r(489,353) r(259,249) d(416) d(418) 
	  6 a(427,435) r(489,353) a(493,411) a(395,303) r(494,458) d(434) a(305,424) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) 
	  6 a(427,435) r(489,353) a(493,411) a(395,303) d(416) d(416) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(419) d(391) a(238,236) 
	  6 a(405,411) d(527) d(373) d(491) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(511) 
	  5 a(405,411) d(527) d(373) d(419) d(391) a(415,464) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(456,452) d(400) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(426,489) r(395,233) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) a(465,407) 
	  6 a(240,351) r(443,473) a(418,271) 
	  6 a(427,435) r(489,353) a(400,416) a(256,259) r(333,410) d(431) d(367) r(393,476) 
	  6 a(240,351) r(443,473) r(333,410) d(431) d(367) r(484,495) 
	  6 a(427,435) r(489,353) a(400,416) a(256,259) d(484) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) 
	  6 d(448) d(523) a(493,411) a(395,303) a(425,455) a(379,491) 
	  6 a(405,411) d(527) a(493,411) d(520) d(271) a(243,363) 
	  6 a(405,411) a(468,417) d(523) a(441,413) a(426,443) r(426,424) d(478) d(475) 
	  6 a(405,411) d(527) a(441,413) a(426,443) r(426,424) d(478) r(363,389) 
	  6 a(405,411) a(468,417) d(523) a(493,411) d(520) d(271) d(422) 
	  6 d(448) d(523) a(493,411) a(395,303) a(425,455) a(415,285) 
	  6 d(474) d(379) r(458,322) d(270) d(479) r(385,289) 
search: generation 6 (sizeof one variant = 0.0894527 MB)
	  6 a(240,351) r(351,465) d(438) r(262,245) a(263,259) r(397,463) d(423) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) 
	  6 d(452) r(298,462) d(250) d(402) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) r(490,439) d(271) a(250,329) d(522) d(453) r(419,395) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) r(248,244) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(250) r(470,431) 
	  6 a(405,411) a(523,379) d(424) r(443,473) d(345) d(424) d(472) d(300) r(255,253) 
	  6 a(405,411) a(523,379) d(474) d(515) d(415) r(527,526) 
	  6 a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) d(415) r(474,473) 
	  6 a(405,411) a(523,379) d(424) d(472) d(300) a(463,483) 
	  6 a(240,351) r(351,465) d(438) a(307,427) r(351,465) d(438) r(262,245) a(286,504) a(327,470) d(259) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) d(226) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) 
	  6 d(448) d(416) r(395,353) d(448) d(485) a(436,282) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(247) 
	  6 d(452) r(298,462) r(490,439) a(265,391) a(521,527) d(236) 
	  6 a(240,351) r(351,465) d(438) a(307,427) r(489,353) r(259,249) r(494,458) a(410,322) a(307,427) a(261,504) d(528) r(413,480) 
	  6 d(452) r(298,462) r(490,439) r(489,353) r(259,249) r(494,458) a(410,322) a(307,427) a(261,504) d(528) d(517) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(265,391) a(521,527) r(480,469) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) d(526) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000356/tools/tiffsplit.c  a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) d(415) r(242,247) r(371,248)  fails to compile
	  0 a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) d(415) r(242,247) r(371,248) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(242,247) d(509) 
	  6 a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) d(415) r(444,464) 
	  6 a(405,411) d(527) d(373) d(419) d(391) d(420) r(255,260) 
	  6 a(405,411) d(527) d(373) d(419) d(391) d(420) d(285) 
	  6 a(405,411) a(468,417) d(284) a(440,389) a(419,484) a(242,379) d(373) 
	  5 a(405,411) d(527) d(373) d(419) r(468,423) r(242,247) d(395) 
	  6 a(240,351) r(351,465) d(438) r(262,245) a(263,259) r(397,463) a(343,343) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) a(424,364) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(250) a(476,381) 
	  6 a(405,411) d(527) a(441,413) a(426,443) r(426,424) d(478) r(363,389) r(381,462) 
	  6 d(448) d(416) r(395,353) r(434,348) d(484) a(417,449) 
	  6 a(405,411) a(523,379) d(424) d(472) d(449) r(490,477) 
	  6 a(405,411) a(523,379) d(424) d(472) d(449) d(495) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(511) r(480,346) 
	  6 a(405,411) d(527) d(419) d(391) r(402,448) a(414,441) 
	  6 a(405,411) d(527) d(373) d(373) d(491) d(494) 
	  6 a(405,411) d(527) d(373) d(491) d(408) 
	  6 a(405,411) d(527) d(373) d(419) d(391) r(402,448) r(371,462) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) 
	  6 a(405,411) r(434,348) r(476,415) a(305,444) 
	  6 d(448) d(284) r(393,470) r(434,348) r(476,415) d(512) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(456,452) d(400) r(492,474) 
	  6 a(405,411) a(523,379) r(494,458) d(434) d(461) a(467,483) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000380/tools/tiffsplit.c  a(427,435) r(489,353) r(259,249) a(286,504) r(327,339) r(296,526)  fails to compile
	  0 a(427,435) r(489,353) r(259,249) a(286,504) r(327,339) r(296,526) 
	  6 a(405,411) a(523,379) a(286,504) r(327,339) d(327) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(492) 
	  6 a(240,351) r(351,465) d(438) a(307,427) r(351,465) d(438) r(262,245) a(286,504) a(327,470) a(254,239) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) 
	  5 d(448) d(284) r(393,470) d(448) d(271) a(250,329) d(522) a(515,511) r(270,293) 
	  6 d(452) r(298,462) r(490,439) d(453) r(363,272) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) a(515,511) d(294) 
	  6 a(405,411) a(523,379) d(424) d(472) d(300) d(432) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) d(251) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) r(525,520) 
	  6 a(405,411) a(523,379) d(424) d(472) d(300) d(353) 
search: generation 7 (sizeof one variant = 0.0883217 MB)
	  6 a(405,411) d(527) r(358,474) a(245,250) r(456,452) d(400) r(492,474) a(307,402) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) r(525,520) a(412,393) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) d(251) r(264,284) 
	  6 a(405,411) a(523,379) d(474) d(515) d(415) r(527,526) a(411,343) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) r(405,470) 
	  6 a(405,411) d(527) d(373) d(419) d(391) r(402,448) r(371,462) a(367,455) 
	  6 a(405,411) d(527) d(419) d(250) d(402) d(418) 
	  6 d(452) r(298,462) d(391) r(402,448) a(414,441) d(496) 
	  6 a(405,411) d(527) d(419) d(391) r(402,448) a(414,441) d(480) 
	  6 d(452) r(298,462) d(250) d(402) r(516,519) 
	  6 a(405,411) r(298,462) r(490,439) d(453) r(363,272) r(456,457) 
	  6 d(452) a(523,379) d(424) d(472) d(449) d(495) d(228) 
	  6 a(405,411) a(523,379) d(424) d(472) d(449) d(495) a(402,444) 
	  6 d(452) r(298,462) r(490,439) d(453) r(363,272) r(450,443) 
	  6 d(448) d(416) r(395,353) r(434,348) d(453) r(248,244) a(348,490) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000408/tools/tiffsplit.c  d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(484) a(417,449) r(285,443)  fails to compile
	  0 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(484) a(417,449) r(285,443) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000409/tools/tiffsplit.c  d(448) d(416) r(395,353) r(434,348) d(484) a(417,449) r(233,464)  fails to compile
	  0 d(448) d(416) r(395,353) r(434,348) d(484) a(417,449) r(233,464) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) r(248,244) a(298,453) 
	  6 a(405,411) r(434,348) r(476,415) a(305,444) d(455) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) r(490,439) d(271) a(250,329) d(522) d(453) r(419,395) d(241) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(511) r(480,346) r(241,247) 
	  6 a(427,435) r(393,470) d(448) d(453) d(504) a(367,405) 
	  6 d(448) d(284) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) d(401) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) 
	  6 a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) d(415) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) r(411,330) 
	  6 d(452) r(444,464) r(449,301) 
	  6 a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) d(415) r(444,464) d(460) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(242,247) d(509) a(250,373) 
	  6 a(405,411) a(523,379) r(494,458) d(434) d(461) a(467,483) r(401,467) 
	  6 a(240,351) r(351,465) d(438) a(307,427) r(351,465) d(438) r(262,245) a(286,504) a(327,470) a(254,239) d(291) 
	  6 d(448) d(284) r(393,470) r(434,348) r(476,415) d(512) d(363) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) r(490,439) d(271) a(250,329) d(522) d(453) r(419,395) d(430) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(265,391) a(521,527) r(480,469) a(414,485) 
	  6 d(448) d(416) r(395,353) r(434,348) d(484) a(417,449) a(518,525) 
	  6 a(405,411) d(527) d(373) d(419) d(391) r(402,448) r(371,462) a(477,237) 
	  6 a(405,411) a(523,379) d(424) d(472) d(449) r(490,477) r(490,439) d(271) a(250,329) d(522) d(453) r(248,244) r(300,234) 
	  6 d(452) r(298,462) r(405,469) 
	  6 a(405,411) a(523,379) d(424) d(472) d(449) r(490,477) d(234) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) r(248,244) d(305) 
	  6 d(452) r(298,462) r(490,439) d(453) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) d(423) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000438/tools/tiffsplit.c  d(452) r(363,272) r(397,521)  fails to compile
	  0 d(452) r(363,272) r(397,521) 
	  6 d(452) r(298,462) r(490,439) d(453) r(363,272) d(265) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) d(418) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) r(395,374) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) 
	  5 a(240,351) r(240,237) a(250,357) r(468,423) r(490,439) d(271) a(250,329) d(522) d(453) r(419,395) d(287) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) d(226) a(371,393) 
	  6 a(427,435) r(489,353) d(453) a(424,364) d(413) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) r(259,249) r(494,458) d(434) d(461) d(247) a(529,373) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(247) r(423,466) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) a(424,364) d(513) 
	  6 a(405,411) r(402,448) a(414,441) r(511,512) 
	  6 a(405,411) d(527) d(419) d(391) d(527) d(373) d(419) r(468,423) d(526) r(450,300) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) d(526) d(358) 
	  6 a(405,411) d(527) d(419) d(391) r(402,448) a(414,441) r(512,523) 
search: generation 8 (sizeof one variant = 0.089303 MB)
	  6 d(448) d(284) r(393,470) d(448) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) d(523) 
	  6 a(427,435) r(489,353) d(453) d(504) d(239) d(417) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) d(439) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) a(488,364) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) r(497,504) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(247) r(423,466) d(263) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) d(251) r(264,284) d(481) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) r(240,262) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) r(405,470) d(516) 
	  6 d(452) d(343) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) d(450) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) r(405,470) a(250,355) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) r(493,400) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) r(395,374) d(239) a(510,377) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) r(443,457) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) r(395,374) d(512) 
	  6 d(452) a(523,379) d(424) d(472) d(449) d(495) d(228) r(520,514) 
	  6 d(452) r(298,462) r(490,439) d(453) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) d(423) a(335,425) 
	  6 d(452) a(523,379) d(424) d(472) d(449) d(495) d(228) d(464) 
	  6 d(452) r(298,462) r(490,439) d(453) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) d(423) a(443,439) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(242,247) d(509) a(250,373) r(373,358) 
	  5 a(405,411) a(523,379) d(424) r(443,473) d(345) d(474) d(515) d(415) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) r(411,330) r(428,300) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) r(248,244) a(298,453) d(444) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000476/tools/tiffsplit.c  a(405,411) d(527) d(373) d(419) d(391) r(402,448) r(371,462) a(367,455) r(228,470)  fails to compile
	  0 a(405,411) d(527) d(373) d(419) d(391) r(402,448) r(371,462) a(367,455) r(228,470) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) r(525,520) a(412,393) d(241) 
	  6 d(452) r(298,462) r(490,439) r(417,369) a(526,345) r(327,413) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) d(294) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) a(516,266) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000484/tools/tiffsplit.c  a(405,411) d(527) r(358,474) a(245,250) r(272,241)  fails to compile
	  0 a(405,411) d(527) r(358,474) a(245,250) r(272,241) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) d(485) 
	  6 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) d(251) r(264,284) d(464) 
	  6 d(452) r(298,462) r(490,439) d(453) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) d(423) d(377) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) 
	  6 a(405,411) r(298,462) r(490,439) d(453) r(363,272) r(456,457) r(432,355) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) r(395,374) a(409,346) 
	  6 a(240,351) r(351,465) r(259,249) a(446,287) d(419) d(325) d(226) a(371,393) r(519,520) 
	  6 r(257,260) a(237,504) d(438) a(307,427) a(265,391) a(521,527) r(480,469) a(414,485) a(464,523) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(265,391) a(521,527) r(480,469) a(414,485) r(395,254) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) d(226) a(371,393) d(413) 
	  6 a(405,411) a(523,379) d(424) d(472) d(449) d(495) a(402,444) a(369,271) 
	  5 a(405,411) d(527) r(358,474) a(245,250) r(426,489) r(367,294) r(525,520) a(412,393) r(449,441) 
	  6 a(405,411) d(527) d(419) d(391) r(402,448) a(414,441) r(512,523) r(397,442) 
	  6 a(240,351) r(240,237) a(250,357) r(468,423) d(511) r(480,346) r(241,247) r(246,226) 
	  6 a(405,411) a(523,379) d(474) d(515) r(363,272) r(456,457) a(234,371) 
	  6 a(405,411) r(298,462) r(490,439) d(453) d(415) r(527,526) a(411,343) r(486,472) 
	  6 a(405,411) a(523,379) d(474) d(515) d(415) r(527,526) a(411,343) r(425,309) 
	  5 a(405,411) r(298,462) r(490,439) d(453) r(363,272) r(456,457) d(523) 
	  6 a(405,411) a(523,379) r(494,458) d(419) d(391) r(402,448) a(414,441) r(512,523) d(431) 
	  6 a(405,411) d(527) d(434) d(461) a(467,483) r(401,467) r(484,381) 
	  6 a(405,411) a(523,379) r(494,458) d(434) d(461) a(467,483) r(401,467) r(434,379) 
	  6 a(405,411) d(527) d(419) d(391) r(402,448) a(414,441) r(512,523) r(437,432) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(490,439) d(271) a(250,329) d(522) r(259,249) r(494,458) d(434) d(461) d(247) a(529,373) r(527,519) 
	  6 d(452) r(298,462) r(456,452) r(262,243) d(246) d(271) a(443,453) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) d(262) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) r(259,249) r(494,458) d(434) d(461) d(247) a(529,373) d(492) 
	  6 d(452) r(298,462) d(250) d(402) r(516,519) r(419,474) 
	  5 a(405,411) d(527) d(373) d(419) d(391) r(402,448) r(371,462) a(367,455) d(289) 
search: generation 9 (sizeof one variant = 0.0887861 MB)
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) a(516,266) a(296,487) 
	  6 a(240,351) r(351,465) r(259,249) a(446,287) d(419) d(325) d(226) a(371,393) r(519,520) r(345,509) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) r(405,470) d(516) r(325,341) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) r(259,249) r(494,458) d(434) d(461) d(247) a(529,373) d(492) r(333,301) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) r(466,325) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) a(427,484) 
	  5 a(427,435) r(489,353) r(259,249) r(494,458) d(255) 
	  6 a(405,411) r(298,462) r(490,439) d(453) r(363,272) r(456,457) r(432,355) d(434) d(461) r(417,369) r(401,296) a(234,335) r(517,528) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) d(259) 
	  6 a(405,411) r(298,462) r(490,439) d(453) r(363,272) r(456,457) r(432,355) r(425,345) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(271) a(250,329) r(456,452) r(262,243) d(246) d(453) d(504) d(239) r(497,504) d(515) 
	  6 d(448) d(284) r(393,470) d(448) d(271) d(294) a(463,481) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) d(294) a(440,322) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) r(497,504) r(389,490) 
	  6 d(448) d(284) r(393,470) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) r(410,357) 
	  6 a(405,411) d(527) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) r(405,470) d(516) d(337) 
	  5 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) r(405,470) d(516) d(527) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) r(434,371) 
	  6 a(405,411) a(523,379) d(474) d(515) r(363,272) r(456,457) a(234,371) r(300,337) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) a(488,364) r(435,448) 
	  6 a(405,411) d(527) d(419) d(391) r(402,448) a(414,441) r(512,523) r(397,442) d(239) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) r(339,429) 
	  6 d(452) a(523,379) d(424) d(472) d(449) d(495) d(228) d(464) r(480,466) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) d(485) r(485,427) 
	  6 a(240,351) a(523,379) r(494,458) d(434) d(461) a(467,483) r(401,467) r(434,379) d(393) 
	  6 a(405,411) r(351,465) d(438) a(307,427) a(265,391) a(521,527) r(480,469) a(414,485) r(395,254) d(467) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(265,391) a(521,527) r(480,469) a(414,485) r(395,254) d(266) 
	  6 a(405,411) a(523,379) r(494,458) d(434) d(461) a(467,483) r(401,467) r(434,379) d(409) 
	  6 d(452) r(298,462) r(490,439) d(453) r(298,462) r(490,439) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) a(448,497) 
	  6 a(427,435) d(271) a(250,329) d(522) d(453) d(457) d(423) d(377) r(511,527) 
	  6 d(452) r(298,462) r(490,439) d(453) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) d(423) d(377) d(469) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) d(282) 
	  6 d(452) r(298,462) r(490,439) d(271) d(322) 
	  5 d(452) d(343) a(250,329) d(522) r(259,249) r(494,458) d(434) d(461) d(247) a(529,373) d(492) r(255,240) 
	  5 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) r(259,249) r(494,458) d(434) d(461) d(247) a(529,373) d(492) r(420,382) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000548/tools/tiffsplit.c  d(452) d(343) r(504,429)  fails to compile
	  0 d(452) d(343) r(504,429) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) d(262) r(440,411) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) r(395,374) a(409,346) d(325) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(247) r(423,466) d(263) d(478) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) r(497,504) r(403,439) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) r(443,457) d(466) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) d(485) d(437) 
	  6 a(427,435) r(489,353) r(259,249) r(456,452) d(400) a(462,355) r(522,516) d(450) a(470,484) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) r(369,226) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) d(288) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) d(450) r(512,519) 
	  6 d(448) d(284) r(393,470) d(448) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) r(397,351) 
	  6 a(427,435) r(489,353) d(453) d(504) d(239) d(439) d(441) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) d(439) d(249) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) d(522) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) r(395,374) d(512) r(423,462) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(242,247) d(509) a(250,373) r(373,358) d(395) 
	  5 d(452) r(298,462) r(490,439) d(271) a(250,329) r(490,439) d(271) a(250,329) d(522) r(259,249) r(494,458) d(434) d(461) d(247) a(529,373) r(527,519) d(422) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) d(439) a(435,404) 
	  6 a(405,411) a(523,379) r(242,247) d(509) d(226) a(371,393) d(413) d(362) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) d(438) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) a(493,464) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) d(226) a(371,393) d(413) d(387) 
search: generation 10 (sizeof one variant = 0.0883837 MB)
	  6 a(405,411) d(527) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) r(405,470) d(516) d(337) r(465,389) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) r(339,429) r(395,459) 
	  6 a(427,435) d(271) a(250,329) d(522) d(453) d(457) d(423) d(377) r(511,527) r(493,491) 
	  6 d(448) d(284) r(393,470) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) r(410,357) d(255) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(247) r(423,466) d(263) r(395,374) d(512) r(423,462) d(452) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) d(478) a(446,387) 
	  5 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(247) r(423,466) d(263) d(478) d(309) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) r(395,374) d(512) r(423,462) a(243,298) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-09-05-d59e7df-5f42dba/000579/tools/tiffsplit.c  d(448) d(284) r(393,470) d(448) d(453) d(504) r(339,429) r(290,529)  fails to compile
	  0 d(448) d(284) r(393,470) d(448) d(453) d(504) r(339,429) r(290,529) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) d(239) d(439) a(435,404) r(382,361) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) d(439) a(435,404) r(457,307) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) r(339,429) d(361) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) r(434,371) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) a(516,266) a(296,487) d(256) 
	  6 d(452) r(298,462) r(361,264) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) r(434,371) d(284) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) a(516,266) a(296,487) r(363,492) 
	  6 d(452) r(298,462) r(490,439) d(453) r(298,462) r(490,439) d(271) a(250,329) d(522) d(453) d(457) d(423) d(377) d(469) a(478,495) 
	  6 a(405,411) d(527) d(419) d(391) r(402,448) a(414,441) r(512,523) r(397,442) d(239) d(427) 
	  6 d(452) r(298,462) r(490,439) d(271) a(250,329) d(522) r(259,249) r(494,458) d(434) d(461) d(247) a(529,373) d(492) r(333,301) r(247,248) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) d(294) a(440,322) d(246) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) d(453) r(298,462) r(490,439) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) a(448,497) d(237) 
	  6 d(452) r(298,462) r(490,439) r(242,247) d(509) a(250,373) r(373,358) d(395) r(425,476) 
	  6 a(405,411) d(527) d(373) d(419) r(468,423) r(242,247) d(509) a(250,373) r(373,358) d(395) d(465) 
	  6 d(452) r(298,462) r(490,439) d(453) r(298,462) r(490,439) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) a(448,497) d(410) 
	  6 a(427,435) d(259) d(393) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) d(288) d(321) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) d(288) d(445) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) d(259) d(432) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) r(259,249) r(494,458) d(434) d(461) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) d(294) a(440,322) r(309,374) 
	  6 a(427,435) r(489,353) r(497,504) r(389,490) d(478) 
	  6 d(448) d(284) r(393,470) d(448) d(453) d(504) d(239) r(497,504) r(389,490) d(425) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) d(271) a(250,329) r(456,452) r(262,243) d(246) d(271) d(294) a(440,322) a(238,249) 
	  6 a(427,435) d(438) d(382) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) d(522) a(233,355) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) d(522) a(518,329) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) d(438) r(494,401) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) d(438) d(296) 
	  6 a(405,411) a(523,379) r(242,247) d(509) d(226) a(371,393) d(413) d(362) r(475,473) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) d(485) d(437) a(462,355) r(522,516) d(450) a(470,484) d(517) 
	  6 a(427,435) r(489,353) r(259,249) r(456,452) d(400) d(438) 
	  6 a(405,411) a(523,379) r(242,247) d(509) r(511,512) d(485) d(437) r(435,450) 
	  6 a(427,435) r(489,353) r(259,249) r(456,452) d(400) a(462,355) r(522,516) d(450) a(470,484) r(527,520) 
	  6 a(240,351) a(523,379) r(494,458) d(434) d(461) r(465,307) r(461,358) r(410,357) r(434,305) 
	  6 d(448) d(284) r(393,470) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) a(467,483) r(401,467) r(434,379) d(393) r(290,367) 
	  6 a(240,351) a(523,379) r(494,458) d(434) d(461) a(467,483) r(401,467) r(434,379) d(393) d(476) 
	  6 d(448) d(284) r(393,470) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) r(410,357) r(442,408) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) a(488,364) r(435,448) a(441,403) 
	  6 a(240,351) r(351,465) d(438) a(307,427) a(261,504) r(345,454) d(296) r(395,374) d(512) r(423,462) a(439,437) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) d(438) a(246,260) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) d(438) d(288) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) d(438) r(440,418) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) d(438) d(339) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(456,452) d(400) a(462,355) r(522,516) d(450) r(512,519) d(472) 
	  6 d(448) d(284) r(393,470) d(527) r(358,474) a(245,250) r(494,458) d(434) d(461) r(417,369) r(401,296) a(234,335) r(369,226) d(453) 
	  5 d(452) a(523,379) d(424) d(472) d(449) r(410,357) r(446,466) 
	  6 d(448) d(284) r(393,470) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) d(495) d(228) d(464) r(480,466) r(341,266) 
	  6 d(452) a(523,379) d(424) d(472) d(449) d(495) d(228) d(464) r(480,466) d(517) 
	  6 d(448) d(284) r(393,470) d(373) d(419) r(468,423) r(494,458) d(434) d(461) a(467,483) r(465,307) r(461,358) r(410,357) d(227) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) d(226) a(371,393) d(413) d(387) d(260) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) a(488,364) r(435,448) d(374) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(367,294) d(251) r(264,284) r(371,476) d(438) d(293) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(434,482) d(282) d(436) 
	  6 a(427,435) r(489,353) r(259,249) r(494,458) d(434) d(461) r(417,369) a(526,345) r(434,482) d(282) d(325) 
	  6 r(257,260) a(237,504) r(259,249) a(446,287) d(419) d(325) r(511,512) r(426,489) r(367,294) d(251) r(264,284) r(371,476) d(438) d(519) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 4414
"Test Suite Evaluations": 70.0635

Compile Failures: 18
Wall-Clock Seconds Elapsed: 2507.44
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             636 621.831 = 26.3324%
  test                               4351 1739.503 = 73.6619%
  TOTAL                                   2361.469 = 94.1782% (avg CPU usage)
libtiff-bug-2008-09-05-d59e7df-5f42dba.tar.gz
Sat Sep 21 14:12:38 EDT 2013
shutting down
