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 true
--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 18
--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-57-166 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Fri Sep 20 15:28:18 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/tmp1d2077.c /tmp/tmpb501b8.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 29.9378)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 683
cilRep: stmts in weighted_path = 209
cilRep: total weight = 107.65
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: src/mod_secure_download.c (code bank/base file; atoms [1,683])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.538465 MB)
search: initial population (sizeof one variant = 0.00880051 MB)
	  1 r(470,500) 
	  1 d(439) 
	  1 d(664) 
	  1 a(609,564) 
	  1 a(432,453) 
	  1 d(611) 
	  1 r(670,610) 
	  1 d(615) 
	  1 r(395,389) 
	  1 r(465,463) 
	  1 d(383) 
	  1 d(445) 
	  1 d(456) 
	  1 d(430) 
	  1 d(505) 
	  1 r(429,405) 
	  1 d(462) 
	  1 d(515) 
	  1 d(667) 
	  1 d(670) 
	  1 d(472) 
	  1 d(404) 
	  1 a(420,424) 
	  1 a(662,562) 
	  1 r(433,429) 
	  1 r(487,481) 
	  0 a(375,683) 
	  1 d(416) 
	  0 r(683,561) 
	  1 a(652,611) 
	  1 a(462,503) 
	  0 r(419,415) 
	  1 d(413) 
	  1 d(492) 
	  1 d(648) 
	  1 d(417) 
	  0 d(487) 
	  1 r(422,430) 
	  1 d(434) 
	  1 original
search: generation 1 (sizeof one variant = 0.538895 MB)
	  1 d(472) a(465,380) 
	  1 d(515) d(416) 
	  1 d(472) a(663,543) 
	  1 d(515) r(670,521) 
	  1 d(667) d(644) 
	  1 r(670,610) r(396,391) 
	  1 d(667) r(658,637) 
	  1 r(670,610) a(414,582) 
	  1 d(417) d(415) 
	  1 d(404) r(418,429) 
	  1 r(670,610) r(391,388) 
	  1 a(662,562) d(385) 
	  1 r(433,429) r(435,434) 
	  1 a(652,611) d(501) 
	  0 d(664) d(419) 
	  1 d(456) a(446,420) 
	  1 d(664) d(483) 
	  1 d(456) r(434,425) 
	  1 a(662,562) d(516) 
	  1 d(670) d(656) 
	  1 d(445) d(394) 
	  1 a(662,562) r(610,648) 
	  0 d(445) d(496) 
	  1 a(662,562) r(521,673) 
	  1 d(515) d(660) 
	  1 d(417) d(566) 
	  1 d(439) r(403,495) 
	  0 a(432,453) a(640,656) 
	  1 a(662,562) d(543) 
	  1 d(416) d(388) 
	  1 r(395,389) d(678) 
	  1 r(395,389) d(472) 
	  1 r(395,389) r(390,385) 
	  1 r(395,389) a(616,604) 
	  0 r(429,405) d(418) 
	  0 d(445) r(444,412) 
	  1 r(487,481) r(678,680) 
	  1 d(404) r(634,610) 
	  1 r(429,405) a(412,413) 
	  1 d(462) r(583,615) 
	  0 r(429,405) r(433,446) 
	  1 d(462) d(403) 
	  1 r(422,430) a(423,406) 
	  1 a(609,564) a(570,628) 
	  1 d(505) r(650,667) 
	  1 a(420,424) r(520,609) 
	  1 d(456) r(453,388) 
	  1 d(492) a(424,605) 
	  1 d(456) a(428,444) 
	  0 d(492) d(376) 
	  1 r(422,430) d(393) 
	  1 d(670) d(413) 
	  1 a(609,564) a(609,665) 
	  1 d(416) d(445) 
search: generation 2 (sizeof one variant = 0.539458 MB)
	  1 a(420,424) r(520,609) d(663) 
	  1 d(439) r(403,495) r(449,465) 
	  1 r(395,389) d(472) d(607) 
	  1 d(515) d(416) a(453,469) 
	  1 d(416) d(388) d(382) 
	  1 d(416) d(388) d(411) 
	  1 d(462) d(403) d(674) 
	  1 a(662,562) r(521,673) a(499,501) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000101/src/mod_secure_download.c  d(670) d(413) r(571,485)  fails to compile
	  0 d(670) d(413) r(571,485) 
	  1 d(505) r(650,667) d(491) 
	  1 d(445) d(394) r(670,521) d(406) 
	  1 d(515) a(433,418) 
	  0 d(445) d(394) d(478) 
	  1 d(515) r(670,521) a(661,662) 
	  1 d(505) r(650,667) a(440,438) 
	  1 r(670,610) r(396,391) r(389,395) 
	  1 a(662,562) d(516) r(659,505) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000110/src/mod_secure_download.c  a(420,424) r(520,609) r(582,435)  fails to compile
	  0 a(420,424) r(520,609) r(582,435) 
	  1 d(417) d(415) a(442,440) 
	  0 a(662,562) r(521,673) a(420,408) 
	  1 a(662,562) r(435,434) r(655,668) 
	  1 r(433,429) r(521,673) a(496,403) 
	  1 a(662,562) r(521,673) d(680) 
	  1 r(433,429) r(435,434) d(499) 
	  1 r(395,389) d(472) d(567) 
	  0 d(515) r(670,521) d(683) 
	  1 d(667) r(658,637) r(436,443) 
	  1 a(662,562) d(516) d(647) 
	  1 d(445) d(394) a(381,400) 
	  0 d(456) a(428,444) r(406,401) 
	  1 d(456) r(434,425) a(440,437) 
	  1 d(492) a(424,605) r(506,662) 
	  1 d(416) d(445) d(484) 
	  1 d(515) r(670,521) r(665,669) 
	  1 d(416) d(445) d(400) 
	  1 d(515) r(670,521) d(381) 
	  1 d(456) a(655,650) 
	  1 r(670,610) r(391,388) a(446,420) r(408,412) 
	  1 d(456) a(446,420) d(652) 
	  1 r(670,610) r(391,388) r(633,658) 
	  1 d(472) a(465,380) a(448,616) 
	  1 a(662,562) d(385) a(647,661) 
	  1 d(505) d(457) 
	  1 r(670,610) r(391,388) r(650,667) r(423,439) 
	  1 d(505) r(650,667) r(384,396) 
	  1 r(670,610) r(391,388) a(423,435) 
	  1 d(417) d(566) a(421,443) 
	  1 d(416) d(388) r(397,396) 
	  1 d(417) d(566) a(403,424) 
	  1 d(416) d(388) r(660,507) 
	  1 d(515) d(416) d(416) 
	  1 a(609,564) a(570,628) d(463) 
search: generation 3 (sizeof one variant = 0.539896 MB)
	  1 a(662,562) d(445) d(484) d(491) 
	  1 d(416) r(521,673) a(499,501) a(518,403) 
	  1 a(662,562) r(521,673) a(499,501) r(469,680) 
	  1 d(416) d(445) d(484) r(444,411) 
	  1 a(420,424) d(410) 
	  1 r(670,610) r(396,391) r(389,395) r(520,609) d(663) d(675) 
	  1 a(420,424) r(520,609) d(663) d(567) 
	  1 r(670,610) r(396,391) r(389,395) d(675) 
	  1 d(515) r(670,521) r(665,669) d(388) d(411) r(500,503) 
	  1 d(416) r(649,570) 
	  1 d(515) r(670,521) r(665,669) a(494,446) 
	  1 d(416) d(388) d(411) d(656) 
	  1 d(416) a(582,582) 
	  1 d(416) d(388) d(382) d(445) d(400) r(387,384) 
	  1 d(416) d(445) d(400) d(679) 
	  1 d(416) d(388) d(382) a(660,520) 
	  1 r(433,429) r(435,434) d(499) a(406,401) 
	  0 r(670,610) r(391,388) a(423,435) d(446) 
	  1 d(416) d(388) a(423,435) d(380) 
	  1 r(670,610) r(391,388) r(397,396) r(636,651) 
	  1 d(416) d(388) r(397,396) a(503,451) 
	  1 r(670,610) r(391,388) a(423,435) r(564,608) 
	  0 d(456) a(655,650) d(406) 
	  1 a(662,562) d(516) d(647) r(467,468) 
	  0 r(395,389) d(472) d(607) r(676,678) 
	  1 r(670,610) r(391,388) a(423,435) a(488,470) 
	  1 r(395,389) d(472) d(607) r(408,430) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) 
	  1 a(662,562) d(516) d(516) d(647) a(409,404) 
	  1 a(662,562) d(647) d(639) 
	  1 a(662,562) d(516) d(647) d(630) 
	  1 a(662,562) d(516) d(647) r(431,433) 
	  1 d(416) d(388) d(411) r(468,449) 
	  1 r(433,429) r(435,434) d(499) r(487,471) 
	  1 a(662,562) d(403) d(674) d(421) 
	  1 d(462) r(521,673) a(499,501) a(400,409) 
	  1 a(662,562) r(521,673) a(499,501) r(393,387) 
	  1 d(462) d(403) d(674) r(503,487) 
	  1 d(505) d(457) a(383,382) 
	  1 a(420,424) r(520,609) d(663) d(636) 
	  1 d(515) r(670,521) a(437,511) 
	  1 d(416) d(388) r(660,507) d(381) r(377,378) 
	  1 d(515) r(670,521) d(381) r(500,489) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000188/src/mod_secure_download.c  d(416) d(388) r(660,507) r(617,566)  fails to compile
	  0 d(416) d(388) r(660,507) r(617,566) 
	  1 d(515) d(416) a(453,469) r(389,381) 
	  1 d(416) d(388) d(411) r(498,487) 
	  0 d(515) a(433,418) r(633,658) r(414,428) 
	  1 r(670,610) r(391,388) r(485,484) 
	  1 d(515) a(433,418) r(660,673) 
	  1 r(670,610) r(391,388) r(633,658) r(461,463) 
	  1 d(417) d(566) a(403,424) a(441,431) 
	  0 d(456) a(428,444) r(406,401) r(487,480) 
	  1 d(462) d(403) d(674) d(478) 
	  1 d(456) r(434,425) a(440,437) r(430,423) 
	  0 r(670,610) r(391,388) a(446,420) r(408,412) d(419) 
	  0 d(515) a(433,418) a(430,445) 
	  1 d(515) a(433,418) d(477) 
	  0 d(416) d(445) d(400) a(444,604) 
	  1 d(505) r(650,667) r(384,396) r(383,391) 
	  1 d(515) d(416) a(453,469) r(468,465) 
search: generation 4 (sizeof one variant = 0.539861 MB)
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000205/src/mod_secure_download.c  r(433,429) r(435,434) d(499) r(487,471) r(571,482)  fails to compile
	  0 r(433,429) r(435,434) d(499) r(487,471) r(571,482) 
	  1 r(395,389) d(472) d(607) r(408,430) d(457) 
	  1 d(462) r(377,378) a(391,394) 
	  0 d(416) d(388) r(660,507) d(381) r(521,673) a(499,501) a(400,409) r(383,391) 
	  0 d(462) r(521,673) a(499,501) a(400,409) d(659) 
	  1 d(416) d(388) r(660,507) d(381) r(377,378) r(503,380) 
	  1 d(515) r(670,521) r(665,669) d(388) d(411) r(500,503) d(434) 
	  1 d(515) r(670,521) r(665,669) d(388) d(411) r(500,503) a(414,616) 
	  0 r(433,429) r(435,434) d(499) r(487,471) d(472) d(607) r(408,430) r(387,398) 
	  1 r(395,389) d(377) 
	  1 r(433,429) r(435,434) d(499) r(487,471) d(420) 
	  1 r(395,389) d(472) d(607) r(408,430) d(377) 
	  0 d(416) d(445) d(400) r(520,609) d(663) d(636) r(481,477) 
	  1 a(420,424) d(679) d(445) 
	  1 d(416) d(445) d(400) d(679) a(391,560) 
	  1 a(420,424) r(520,609) d(663) d(636) r(506,471) 
	  1 d(515) r(472,471) 
	  1 r(670,610) r(391,388) r(485,484) d(416) a(453,469) r(468,465) r(494,492) 
	  0 d(515) d(416) a(453,469) r(468,465) r(680,677) 
	  1 r(670,610) r(391,388) r(485,484) a(476,571) 
	  0 r(670,610) r(391,388) a(423,435) a(515,666) d(680) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) 
	  1 d(505) r(389,381) a(611,673) 
	  1 d(515) d(416) a(453,469) d(457) a(383,382) a(477,486) 
	  0 d(505) d(457) a(383,382) d(676) 
	  1 d(515) d(416) a(453,469) r(389,381) d(421) 
	  1 a(662,562) d(516) d(647) r(641,668) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) r(431,433) a(571,660) 
	  1 a(662,562) d(516) d(647) r(431,433) d(503) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) 
	  1 d(416) a(660,520) r(475,500) 
	  1 d(416) d(388) d(382) d(388) r(660,507) d(381) r(377,378) r(561,667) 
	  1 d(416) d(388) r(660,507) d(381) r(377,378) d(477) 
	  1 d(416) d(388) d(382) a(660,520) a(667,470) 
	  1 d(416) d(388) r(660,507) d(381) r(377,378) a(499,501) a(518,403) a(449,471) 
	  1 d(416) r(521,673) d(417) 
	  1 d(416) d(388) r(660,507) d(381) r(377,378) r(669,670) 
	  1 d(416) r(521,673) a(499,501) a(518,403) a(518,401) 
	  1 d(416) d(388) d(411) r(471,483) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(468,449) r(413,403) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) 
	  1 d(515) r(670,521) r(665,669) a(494,446) d(423) 
	  0 d(416) d(388) d(382) d(445) d(400) r(387,384) a(411,417) 
	  1 d(515) d(416) a(453,469) r(389,381) r(507,568) 
	  1 d(515) a(433,418) r(521,673) a(499,501) r(469,680) a(480,605) 
	  1 a(662,562) r(660,673) d(437) 
	  1 d(515) a(433,418) r(660,673) d(505) 
	  1 a(662,562) r(521,673) a(499,501) r(469,680) d(421) 
	  1 r(433,429) r(435,434) d(499) r(487,471) r(408,437) 
	  1 d(505) d(457) a(383,382) r(430,420) 
	  1 d(505) r(650,667) r(384,396) r(383,391) d(465) 
	  1 r(670,610) r(391,388) r(485,484) r(606,567) 
	  1 d(515) r(670,521) r(665,669) r(467,453) 
	  1 d(416) d(388) d(382) a(660,520) a(494,446) d(488) 
	  1 d(515) r(670,521) r(665,669) a(494,446) d(604) 
	  1 d(416) d(388) d(382) a(660,520) d(430) 
	  0 d(416) d(445) d(484) r(444,411) r(480,498) 
	  1 d(515) a(433,418) r(660,673) r(486,494) 
	  1 d(416) d(388) d(411) r(498,487) d(431) 
	  1 a(420,424) d(410) r(409,401) 
	  0 a(662,562) d(445) d(484) d(491) r(430,433) 
	  1 d(416) r(649,570) r(478,475) 
search: generation 5 (sizeof one variant = 0.541174 MB)
	  1 d(416) r(521,673) a(499,501) a(518,403) a(518,401) a(425,400) 
	  1 d(505) r(389,381) a(611,673) d(433) 
	  0 r(670,610) r(391,388) r(431,433) d(503) r(410,420) 
	  1 a(662,562) d(516) d(647) r(485,484) r(606,567) a(480,507) 
	  0 r(670,610) r(391,388) r(485,484) r(606,567) r(442,441) 
	  1 a(662,562) d(516) d(647) r(431,433) d(503) r(482,479) 
	  1 d(416) r(649,570) r(478,475) d(425) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) d(642) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) d(396) 
	  1 d(416) r(649,570) r(478,475) d(644) 
	  1 r(670,610) r(485,484) d(416) a(453,469) r(468,465) r(494,492) r(395,390) 
	  1 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) r(643,667) 
	  1 r(670,610) r(391,388) r(485,484) d(416) a(453,469) r(468,465) r(494,492) d(615) 
	  1 d(416) r(431,433) d(503) r(655,516) 
	  1 a(662,562) d(516) d(647) d(388) d(411) r(468,449) a(497,448) r(428,440) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(497) 
	  1 a(662,562) d(516) d(647) r(431,433) d(503) r(470,561) 
	  1 d(416) d(388) d(411) r(498,487) d(431) r(389,396) 
	  0 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) d(443) 
	  1 d(515) r(670,521) r(641,668) d(484) 
	  1 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) 
	  1 d(515) r(670,521) r(665,669) a(494,446) d(423) r(385,386) 
	  0 a(662,562) d(516) d(647) r(641,668) r(443,433) 
	  1 d(416) d(388) d(380) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(382) a(660,520) a(494,446) d(488) d(422) 
	  1 d(416) d(388) d(382) a(660,520) a(494,446) d(488) a(403,405) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) r(608,515) 
	  1 d(416) d(388) d(382) a(660,520) r(397,396) a(503,451) d(503) r(438,413) 
	  1 d(416) d(388) d(430) d(401) 
	  0 d(416) d(388) d(382) a(660,520) d(430) d(407) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) d(492) 
	  1 d(416) r(649,570) r(478,475) d(427) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000300/src/mod_secure_download.c  d(515) r(670,521) r(665,669) a(494,446) d(604) r(507,415)  fails to compile
	  0 d(515) r(670,521) r(665,669) a(494,446) d(604) r(507,415) 
	  1 d(515) d(416) a(453,469) r(389,381) d(421) r(473,475) 
	  0 d(515) d(416) a(453,469) d(457) a(383,382) a(477,486) d(678) 
	  1 r(395,389) d(472) d(607) r(408,430) d(457) r(633,522) 
	  1 d(416) d(388) d(382) d(388) r(660,507) d(381) r(377,378) r(561,667) d(570) 
	  0 r(395,389) d(472) d(607) r(408,430) d(377) r(506,471) d(397) 
	  0 a(420,424) r(520,609) d(663) d(636) d(637) 
	  1 r(395,389) d(472) d(607) r(408,430) d(377) r(647,666) 
	  1 a(420,424) r(520,609) d(663) d(636) r(506,471) a(457,469) 
	  1 d(416) d(388) r(660,507) d(381) d(400) d(679) a(391,560) a(617,638) 
	  0 d(416) d(445) r(377,378) a(499,501) a(518,403) a(449,471) r(376,377) 
	  0 d(416) d(388) r(660,507) d(381) r(377,378) a(499,501) a(518,403) a(449,471) d(677) 
	  1 d(416) d(445) d(400) d(679) a(391,560) r(607,628) 
	  1 d(515) d(416) d(516) d(647) r(431,433) d(503) a(418,560) 
	  1 a(662,562) a(453,469) r(389,381) d(421) r(434,441) 
	  1 d(515) d(416) a(453,469) r(389,381) d(421) d(501) 
	  1 a(662,562) d(516) d(647) r(431,433) d(503) d(482) 
	  1 a(662,562) r(521,673) a(499,501) r(469,680) d(421) r(430,443) 
	  1 r(395,389) d(377) a(400,419) 
	  1 d(416) d(388) d(411) r(498,487) d(431) a(484,479) 
	  0 d(462) r(521,673) a(499,501) a(400,409) d(659) d(433) 
	  1 d(515) a(433,418) r(660,673) r(486,494) d(604) 
	  1 d(515) r(472,471) r(426,431) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) r(641,668) d(497) 
	  1 a(662,562) d(516) d(647) d(408) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) a(493,615) 
	  1 a(662,562) d(516) d(647) r(641,668) r(636,544) 
	  1 d(416) a(660,520) r(475,500) r(638,560) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(414) 
	  1 d(416) a(660,520) r(475,500) r(676,683) 
search: generation 6 (sizeof one variant = 0.541019 MB)
	  1 d(416) d(388) r(397,396) a(503,451) d(503) d(396) d(611) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) r(608,515) d(422) 
	  1 d(515) a(403,405) r(665,614) 
	  0 d(416) d(388) d(382) a(660,520) a(494,446) d(488) r(670,521) r(641,668) d(484) r(606,632) 
	  1 d(515) r(670,521) r(641,668) d(484) d(500) 
	  1 d(416) d(388) d(382) a(660,520) a(494,446) d(488) a(403,405) a(432,506) 
	  1 d(416) a(660,520) r(475,500) r(638,560) d(401) 
	  1 d(515) r(472,471) r(426,431) r(461,466) 
	  1 d(416) d(388) r(660,507) d(381) d(400) d(679) a(391,560) a(617,638) r(607,665) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) r(643,667) d(669) 
	  1 a(662,562) d(516) d(647) d(408) r(397,395) 
	  0 d(515) d(416) a(453,469) d(457) a(383,382) a(477,486) d(678) r(435,407) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) d(395) 
	  1 d(416) d(433) a(462,476) 
	  1 d(505) r(389,381) a(611,673) d(433) d(394) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) 
	  1 r(670,610) r(391,388) r(485,484) d(416) d(647) d(408) r(652,515) 
	  1 a(662,562) d(516) a(453,469) r(468,465) r(494,492) d(615) a(682,583) 
	  1 r(670,610) r(391,388) r(485,484) d(416) a(453,469) r(468,465) r(494,492) d(615) d(633) 
	  1 a(662,562) d(516) d(647) d(408) r(680,683) 
	  1 d(416) r(431,433) d(503) r(655,516) r(425,429) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) d(396) r(425,426) 
	  1 a(662,562) d(516) d(647) r(431,433) r(665,669) a(494,446) d(423) r(385,386) a(433,560) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) 
	  1 a(662,562) d(516) d(647) r(431,433) d(503) r(482,479) r(482,476) 
	  1 d(515) r(670,521) r(665,669) a(494,446) d(423) r(385,386) a(413,627) 
	  1 r(395,389) d(377) a(400,419) d(411) r(498,487) d(431) r(389,396) d(481) 
	  1 d(416) d(388) a(646,644) 
	  1 r(395,389) d(377) a(400,419) a(649,446) 
	  1 d(416) d(388) d(411) r(498,487) d(431) r(389,396) a(398,380) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(414) r(653,570) 
	  1 d(515) d(416) d(516) d(647) r(431,433) d(503) a(418,560) d(515) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) 
	  1 d(515) r(670,521) r(665,669) a(494,446) d(423) r(385,386) a(486,571) 
	  1 d(416) r(649,570) r(478,475) d(425) d(409) 
	  0 d(416) d(445) d(411) r(468,449) a(497,448) r(428,440) r(450,449) 
	  1 a(662,562) d(516) d(647) d(388) d(400) d(679) a(391,560) r(607,628) r(404,410) 
	  1 d(416) d(445) d(400) d(679) a(391,560) r(607,628) d(679) 
	  0 a(662,562) d(516) d(647) d(388) d(411) r(468,449) a(497,448) r(428,440) a(680,571) 
	  1 d(515) a(413,403) 
	  1 d(416) d(388) d(411) r(498,487) d(431) r(389,396) r(472,471) r(426,431) a(481,479) 
	  1 d(515) r(472,471) r(426,431) a(503,615) 
	  1 d(416) d(388) d(411) r(498,487) d(431) r(389,396) r(682,683) 
	  1 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) 
	  1 d(515) d(416) a(453,469) r(389,381) d(421) r(473,475) r(566,654) 
	  1 d(416) d(388) d(411) a(423,435) a(515,666) a(484,398) r(395,380) d(511) 
	  1 r(670,610) r(391,388) r(391,388) r(468,449) a(497,448) a(409,560) r(560,614) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(406,440) 
	  1 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) r(452,449) 
	  0 a(662,562) d(516) d(647) r(641,668) r(636,544) d(386) 
	  1 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) 
	  1 r(670,610) r(391,388) r(485,484) d(416) a(453,469) r(468,465) r(494,492) d(615) r(475,485) 
	  1 d(416) d(388) d(411) r(498,487) d(431) r(389,396) d(415) 
	  1 d(462) r(521,673) a(499,501) a(400,409) d(659) d(433) d(385) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000386/src/mod_secure_download.c  d(416) d(388) d(430) d(401) r(615,496)  fails to compile
	  0 d(416) d(388) d(430) d(401) r(615,496) 
	  1 d(462) r(521,673) d(388) d(411) r(468,449) a(497,448) d(497) d(453) 
	  0 d(416) a(499,501) a(400,409) d(659) d(433) d(682) 
	  0 d(462) r(521,673) a(499,501) a(400,409) d(659) d(433) a(437,448) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(497) r(561,567) 
search: generation 7 (sizeof one variant = 0.541046 MB)
	  0 d(416) a(499,501) a(400,409) d(659) d(433) d(682) r(674,630) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(414) r(653,570) r(426,438) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) r(389,381) a(611,673) d(433) d(394) d(375) 
	  1 d(505) d(424) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) 
	  0 d(505) r(389,381) a(611,673) d(433) d(394) a(420,398) 
	  1 d(416) a(497,448) d(497) r(561,567) d(479) 
	  1 d(416) d(388) d(411) r(468,449) r(431,433) d(503) r(655,516) r(425,429) a(627,657) 
	  1 d(416) r(431,433) d(503) r(655,516) r(425,429) r(383,398) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(497) r(561,567) d(400) 
	  1 d(515) d(416) d(516) d(647) r(431,433) d(503) a(418,560) d(515) a(646,560) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) r(608,515) d(422) d(469) 
	  1 d(416) d(433) a(462,476) d(486) 
	  1 d(515) d(416) a(453,469) r(389,381) d(421) r(473,475) r(566,654) r(385,394) 
	  0 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) a(443,615) 
	  1 r(670,610) r(391,388) r(485,484) d(416) a(453,469) r(468,465) r(494,492) d(615) r(475,485) d(662) 
	  1 d(416) d(425) d(499) r(497,475) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) r(431,433) d(503) r(655,516) r(425,429) a(658,615) 
	  1 d(416) r(431,433) d(503) r(655,516) r(425,429) d(632) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) d(451) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) r(643,667) d(669) a(449,507) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(406,440) r(475,488) 
	  1 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(649,570) d(423) r(385,386) r(388,387) a(429,441) 
	  1 d(416) r(395,380) d(505) r(659,642) 
	  1 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) d(378) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) r(416,423) 
	  1 r(670,610) a(515,666) a(484,398) r(643,667) d(669) d(659) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000418/src/mod_secure_download.c  r(670,610) r(391,388) a(423,435) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) a(495,511)  fails to compile
	  0 r(670,610) r(391,388) a(423,435) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) a(495,511) 
	  1 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) a(472,615) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) r(643,667) d(669) r(425,428) 
	  0 d(416) d(388) r(397,396) a(503,451) d(503) d(396) d(395) d(419) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) d(396) r(425,426) r(395,390) 
	  0 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) d(395) d(640) 
	  0 d(416) d(388) d(411) r(498,487) d(431) r(389,396) d(415) a(503,451) d(503) d(396) r(425,426) d(453) 
	  0 d(416) d(388) r(397,396) r(641,628) 
	  0 d(416) d(388) d(411) r(498,487) d(431) r(389,396) d(415) d(456) 
	  1 d(416) d(388) r(397,396) a(503,451) d(503) d(396) r(425,426) d(500) 
	  1 d(416) d(388) r(660,507) d(381) d(400) d(679) a(391,560) a(617,638) r(607,665) r(404,415) 
	  1 d(416) r(649,570) r(478,475) d(425) d(409) r(404,420) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) r(643,667) d(669) d(610) 
	  1 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) 
	  1 d(515) a(403,405) r(665,614) d(497) 
	  0 d(416) r(445,414) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) r(649,570) r(478,475) d(425) d(409) d(480) 
	  1 d(416) r(649,570) r(478,475) d(425) d(409) d(627) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) 
	  1 a(662,562) d(516) d(647) d(408) r(397,395) a(544,511) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) d(564) 
	  1 d(416) d(394) d(440) 
	  1 d(505) r(389,381) a(611,673) d(433) d(388) d(411) r(468,449) a(497,448) d(497) r(561,567) r(386,387) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(497) r(561,567) a(661,605) 
	  0 d(505) r(389,381) a(611,673) d(433) d(394) d(446) 
	  1 d(505) r(389,381) a(611,673) d(433) d(394) a(570,448) 
	  1 d(462) r(521,673) a(499,501) a(400,409) d(659) d(433) d(385) d(436) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) d(375) 
	  0 d(515) r(670,521) d(503) r(482,479) a(418,582) r(641,637) 
search: generation 8 (sizeof one variant = 0.540504 MB)
	  1 d(505) r(389,381) a(611,673) d(433) d(394) a(570,448) d(436) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) d(654) 
	  0 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) a(472,615) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) r(676,678) 
	  1 d(505) r(389,381) a(611,673) d(388) a(680,582) 
	  1 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) a(472,615) d(582) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) r(420,426) 
	  1 r(670,610) r(391,388) r(485,484) d(416) a(453,469) r(468,465) r(494,492) r(468,449) a(497,448) d(414) r(653,570) r(426,438) d(432) 
	  1 d(416) d(388) d(411) d(615) r(475,485) d(662) a(380,389) 
	  1 r(670,610) r(391,388) r(485,484) d(416) a(453,469) r(468,465) r(494,492) d(615) r(475,485) d(662) d(401) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(414) r(653,570) r(426,438) r(543,627) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(406,440) r(475,488) r(615,642) 
	  1 d(505) r(389,381) a(611,673) d(433) d(394) a(570,448) d(441) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000459/src/mod_secure_download.c  d(416) r(649,570) d(423) r(385,386) r(388,387) r(389,381) a(611,673) d(433) d(394) d(375) r(398,438)  fails to compile
	  0 d(416) r(649,570) d(423) r(385,386) r(388,387) r(389,381) a(611,673) d(433) d(394) d(375) r(398,438) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000460/src/mod_secure_download.c  d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) d(375) r(400,465)  fails to compile
	  0 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) d(375) r(400,465) 
	  1 d(416) d(425) d(499) r(497,475) r(646,568) 
	  1 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) a(472,615) d(467) 
	  0 d(416) d(433) a(462,476) d(486) r(636,568) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) r(416,423) d(433) 
	  1 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(389) 
	  0 d(416) d(433) a(462,476) d(486) d(677) 
	  1 a(662,562) a(515,666) a(484,398) r(643,667) d(669) r(425,428) d(381) 
	  1 r(670,610) r(391,388) a(423,435) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) r(438,440) 
	  1 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(426) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) r(643,667) d(669) r(425,428) a(473,493) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) a(494,446) r(478,475) d(425) d(499) a(683,503) d(445) 
	  0 d(515) r(670,521) r(665,669) r(641,637) a(387,380) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) r(641,637) a(516,611) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) 
	  1 d(416) d(425) d(499) r(497,475) d(450) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) a(651,646) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(630,665) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) a(683,503) a(676,401) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(499) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) r(432,438) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) d(380) 
	  1 d(416) r(649,570) r(478,475) d(425) d(409) r(404,420) a(478,446) 
	  0 r(670,610) r(391,388) r(391,388) a(423,435) a(515,666) a(484,398) r(395,380) d(505) d(378) d(522) 
	  1 d(505) r(389,381) a(611,673) d(433) d(394) a(570,448) a(428,416) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) r(643,667) d(669) a(449,507) r(494,487) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) r(431,433) d(503) r(655,516) r(425,429) a(658,615) d(439) 
	  1 d(416) r(649,570) d(423) d(424) a(469,495) 
	  1 d(505) r(385,386) r(388,387) d(423) d(387) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) a(388,451) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000490/src/mod_secure_download.c  d(505) d(424) r(400,516)  fails to compile
	  0 d(505) d(424) r(400,516) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) d(497) r(561,567) d(400) r(497,475) d(497) 
	  1 d(416) d(425) d(499) d(661) 
	  0 d(416) d(388) d(411) r(468,449) a(497,448) d(497) r(561,567) d(400) r(426,445) 
	  1 d(416) d(425) d(499) r(497,475) a(407,438) 
	  0 d(416) d(388) r(478,475) d(425) d(409) d(627) d(677) 
	  1 d(416) r(649,570) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) r(422,431) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) a(396,561) 
	  1 d(416) r(649,570) r(478,475) d(425) d(409) d(627) r(436,429) 
	  1 d(515) r(670,521) d(503) r(389,381) a(611,673) d(433) d(394) d(375) r(444,407) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) r(482,479) a(418,582) d(564) a(610,610) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) d(564) r(420,429) 
	  0 d(416) r(649,570) d(423) r(385,386) r(388,387) r(389,381) a(611,673) d(433) d(394) d(375) a(376,449) 
	  0 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) d(395) d(640) d(502) 
	  1 r(670,610) a(515,666) a(484,398) r(643,667) d(669) d(659) r(422,405) 
search: generation 9 (sizeof one variant = 0.541454 MB)
	  1 a(662,562) d(516) d(425) d(499) d(661) d(389) 
	  1 d(416) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(389) d(435) 
	  1 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(389) d(404) 
	  1 d(416) d(425) d(499) d(661) r(440,410) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) d(564) r(420,429) d(487) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) a(409,560) r(425,426) r(606,656) r(420,426) r(498,489) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) r(420,426) d(628) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) d(564) r(420,429) d(638) 
	  1 r(670,610) r(391,388) r(485,484) d(416) d(659) r(422,405) r(669,630) 
	  1 r(670,610) a(515,666) a(484,398) r(643,667) d(669) a(453,469) r(468,465) r(494,492) r(468,449) a(497,448) d(414) r(653,570) r(426,438) d(432) r(469,642) 
	  1 r(670,610) r(391,388) r(485,484) d(416) a(453,469) r(468,465) r(494,492) r(468,449) a(497,448) d(414) r(653,570) r(426,438) d(432) a(391,391) 
	  1 r(670,610) a(515,666) a(484,398) r(643,667) d(669) d(659) r(422,405) a(679,561) 
	  1 d(416) r(649,570) r(478,475) d(425) d(409) r(404,420) a(478,446) d(413) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) r(605,407) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) r(432,438) d(434) 
	  1 d(515) r(670,521) d(503) r(389,381) a(611,673) d(433) d(394) d(375) r(444,407) r(375,378) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) a(388,451) d(450) r(473,479) 
	  1 d(416) d(425) d(499) r(497,475) r(656,516) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) a(388,451) r(520,648) 
	  1 d(416) d(425) d(499) r(497,475) d(450) r(422,417) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) d(654) r(605,381) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(499) a(481,583) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) a(396,561) r(660,668) 
	  0 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) r(432,438) r(439,410) 
	  1 d(515) a(497,448) a(409,560) r(425,426) r(606,656) r(420,426) a(479,511) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) r(670,521) d(503) r(482,479) a(418,582) d(564) r(420,429) d(639) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) d(564) r(420,429) r(440,414) 
	  0 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) r(420,426) r(678,676) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) a(651,646) d(484) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) d(654) d(395) 
	  1 d(416) d(425) d(499) r(497,475) r(646,568) a(415,675) 
	  1 r(670,610) a(515,666) a(484,398) r(643,667) d(669) d(659) r(422,405) d(471) 
	  1 r(670,610) r(391,388) a(423,435) d(516) d(647) d(388) d(411) d(615) r(475,485) d(662) a(380,389) r(486,484) 
	  1 d(416) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) r(438,440) a(431,406) 
	  0 r(670,610) r(391,388) a(423,435) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) r(438,440) r(445,415) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000539/src/mod_secure_download.c  d(416) d(388) d(411) d(615) r(475,485) d(662) a(380,389) r(453,665)  fails to compile
	  0 d(416) d(388) d(411) d(615) r(475,485) d(662) a(380,389) r(453,665) 
	  0 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) d(380) d(680) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) r(431,433) d(503) r(655,516) r(425,429) a(658,615) d(439) d(679) 
	  0 d(515) r(670,521) d(503) r(482,479) a(418,582) r(641,637) a(516,611) a(423,435) a(515,666) a(484,398) r(643,667) d(669) r(425,428) a(473,493) d(675) 
	  1 r(670,610) r(391,388) r(396,383) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) r(641,637) a(516,611) a(468,465) 
	  1 r(670,610) r(391,388) a(423,435) a(515,666) a(484,398) r(643,667) d(669) r(425,428) a(473,493) r(396,395) 
	  1 d(416) d(425) d(499) r(497,475) a(407,438) r(649,570) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) r(422,431) a(639,630) 
	  1 d(416) a(641,628) 
	  1 d(416) d(425) d(499) r(497,475) a(407,438) r(410,413) 
	  0 d(416) r(649,570) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) r(422,431) r(375,378) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) d(425) d(499) d(661) a(430,515) 
	  0 d(416) a(482,493) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) r(489,490) 
	  1 d(416) d(425) d(499) d(661) d(500) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000554/src/mod_secure_download.c  d(505) d(424) r(400,516) r(407,430)  fails to compile
	  0 d(505) d(424) r(400,516) r(407,430) 
	  1 d(416) d(425) d(499) r(497,475) r(646,568) d(422) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) a(396,561) r(464,461) 
	  0 a(662,562) a(515,666) a(484,398) r(643,667) d(669) r(425,428) d(381) d(640) 
	  1 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(426) r(385,386) r(388,387) d(423) d(380) r(511,673) 
	  1 d(416) r(649,570) d(423) a(681,560) 
	  0 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(426) d(495) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) d(380) d(469) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) d(382) r(438,440) r(441,443) 
	  1 r(670,610) r(391,388) a(423,435) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) r(432,438) r(607,604) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) r(432,438) a(630,507) 
	  1 r(670,610) r(391,388) a(423,435) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) r(438,440) a(421,470) 
search: generation 10 (sizeof one variant = 0.541413 MB)
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) r(431,433) d(503) r(655,516) r(425,429) a(658,615) d(439) d(679) r(436,439) 
	  1 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) a(409,560) r(425,426) r(606,656) d(654) d(395) a(473,475) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) d(564) r(420,429) d(638) d(494) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) r(605,407) r(415,426) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) r(605,407) r(664,644) 
	  1 d(416) d(425) d(499) d(661) d(500) r(637,506) 
	  0 d(416) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) r(438,440) a(431,406) r(443,421) 
	  1 d(416) d(425) d(499) r(497,475) r(646,568) d(422) d(427) 
	  0 r(670,610) a(515,666) a(484,398) r(643,667) d(669) d(659) r(422,405) a(479,511) r(446,391) 
	  1 d(515) a(497,448) a(409,560) r(425,426) r(606,656) r(420,426) d(471) a(674,670) 
	  1 r(670,610) a(515,666) a(484,398) r(643,667) d(669) d(659) r(422,405) d(471) a(487,604) 
	  1 d(515) a(497,448) a(409,560) r(425,426) r(606,656) r(420,426) a(479,511) d(397) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) d(380) d(469) r(476,481) 
	  1 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(426) r(385,386) r(388,387) d(423) d(380) r(511,673) d(438) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) d(425) d(499) r(497,475) r(646,568) a(415,675) a(665,403) 
	  1 d(416) a(396,561) r(464,461) d(494) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) a(396,561) r(464,461) a(480,380) 
	  1 d(416) d(425) d(499) r(497,475) r(646,568) a(415,675) r(436,435) 
	  1 d(416) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(389) d(435) a(444,561) 
	  0 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) r(489,490) d(477) 
	  1 d(416) d(425) d(499) r(497,475) a(407,438) r(410,413) r(478,475) d(425) d(499) a(683,503) d(434) r(605,407) r(413,409) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(386,391) 
	  1 d(416) d(425) d(499) r(497,475) a(407,438) r(410,413) d(638) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) r(605,407) r(480,476) 
	  0 d(515) r(670,521) d(503) r(482,479) a(418,582) d(564) a(611,673) d(388) d(411) r(468,449) a(497,448) d(564) r(420,429) d(487) r(413,445) 
	  1 d(505) r(389,381) r(420,429) r(440,414) r(644,507) 
	  1 d(515) r(670,521) d(503) r(482,479) a(418,582) d(564) r(420,429) r(440,414) d(630) 
	  0 d(505) r(389,381) a(611,673) d(388) d(411) r(468,449) a(497,448) d(564) r(420,429) d(487) r(560,456) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) d(425) d(499) d(499) a(683,503) d(434) r(605,407) r(571,645) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(661) a(430,515) d(466) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) d(425) d(499) d(661) a(430,515) r(658,610) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) r(605,407) r(662,615) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) r(431,433) d(503) r(655,516) r(425,429) a(658,615) d(439) d(679) r(492,473) 
	  1 d(416) d(388) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) a(396,561) r(660,668) r(638,567) 
	  0 r(670,610) r(391,388) a(423,435) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) r(438,440) r(445,415) d(428) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) d(382) r(438,440) r(441,443) r(681,680) 
	  1 d(416) d(425) d(499) r(497,475) r(646,568) r(497,475) r(656,516) d(516) 
	  1 d(416) d(425) d(499) d(422) d(440) 
	  0 d(416) d(425) d(499) r(497,475) r(646,568) d(422) d(405) 
	  1 d(416) d(425) d(499) r(497,475) r(656,516) d(433) 
	  1 a(662,562) d(516) d(423) a(388,451) r(520,648) d(387) 
	  0 d(416) r(649,570) d(423) r(385,386) r(388,387) d(425) d(499) d(661) d(389) r(484,472) 
	  1 a(662,562) d(516) d(425) d(499) d(661) d(389) a(627,632) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) a(388,451) r(520,648) a(683,676) 
	  1 d(416) r(649,570) d(423) r(385,386) r(388,387) r(425,429) a(658,615) d(439) d(679) r(630,627) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) r(431,433) d(503) r(655,516) d(423) a(388,451) r(520,648) r(478,495) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000612/src/mod_secure_download.c  d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) a(388,451) r(520,648) r(446,639)  fails to compile
	  0 d(416) r(649,570) d(423) r(385,386) r(388,387) d(423) a(388,451) r(520,648) r(446,639) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) r(431,433) d(503) r(655,516) r(425,429) a(658,615) d(439) d(679) r(446,641) 
	  1 r(670,610) r(391,388) r(396,383) r(444,424) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) r(431,433) d(503) r(655,516) r(425,429) a(658,615) d(439) d(679) d(420) 
	  1 d(416) d(425) d(499) r(497,475) a(407,438) r(649,570) d(411) r(468,449) a(497,448) a(409,560) a(443,449) d(428) r(422,431) a(639,630) d(486) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) r(605,407) d(389) 
	  1 d(515) r(670,521) r(665,669) a(494,446) r(478,475) d(425) d(499) a(683,503) d(434) d(425) d(499) d(661) a(430,515) r(482,473) 
	  1 d(416) a(641,628) a(683,682) 
	  1 d(416) r(649,570) r(478,475) d(425) d(409) r(404,420) a(478,446) d(413) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(426) r(385,386) r(388,387) d(423) d(380) r(511,673) d(497) 
	  1 a(662,562) r(470,409) 
	  0 d(416) r(649,570) r(478,475) d(425) d(409) r(404,420) a(478,446) d(413) r(498,480) 
	  0 a(662,562) d(516) d(647) r(665,669) a(494,446) d(423) d(482) r(391,389) d(382) d(426) r(385,386) r(388,387) d(423) d(380) r(511,673) r(677,678) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1219
"Test Suite Evaluations": 64.1579

Compile Failures: 13
Wall-Clock Seconds Elapsed: 6255.07
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             625 692.650 = 12.3496%
  test                               1211 4915.884 = 87.648%
  TOTAL                                   5608.669 = 89.6659% (avg CPU usage)
lighttpd-bug-2254-2259.tar.gz
Fri Sep 20 17:12:36 EDT 2013
shutting down
