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 60
--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-166-15-157 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 15:31:04 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/tmpd3c760.c /tmp/tmp522b93.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 22.5527)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 658
cilRep: stmts in weighted_path = 60
cilRep: total weight = 38.7
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: libtiff/tif_read.c (code bank/base file; atoms [1,658])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.096344 MB)
search: initial population (sizeof one variant = 0.00708485 MB)
	  0 r(416,377) 
	  6 d(265) 
	  6 d(591) 
	  1 a(593,244) 
	  6 a(261,244) 
	  3 d(604) 
	  6 r(595,604) 
	  3 d(605) 
	  3 r(606,602) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000009/libtiff/tif_read.c  r(377,362)  fails to compile
	  0 r(377,362) 
	  6 d(418) 
	  6 d(267) 
	  2 d(605) 
	  6 d(282) 
	  6 d(292) 
	  6 r(282,271) 
	  6 d(382) 
	  0 d(380) 
	  6 d(591) 
	  6 d(595) 
	  1 d(385) 
	  6 d(267) 
	  6 a(628,634) 
	  6 a(594,300) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000024/libtiff/tif_read.c  r(261,360)  fails to compile
	  0 r(261,360) 
	  1 r(385,383) 
	  6 a(635,628) 
	  6 d(290) 
	  6 r(281,298) 
	  6 a(601,591) 
	  6 a(383,368) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000031/libtiff/tif_read.c  r(628,348)  fails to compile
	  0 r(628,348) 
	  6 d(289) 
	  0 d(415) 
	  6 d(378) 
	  6 d(290) 
	  0 d(385) 
	  6 r(636,637) 
	  6 d(283) 
	  6 original
search: generation 1 (sizeof one variant = 0.0938482 MB)
	  5 d(289) a(369,275) 
	  6 d(282) a(634,244) 
	  4 d(267) d(411) 
	  6 d(378) d(369) 
	  0 r(416,377) a(288,216) 
	  6 a(635,628) a(628,276) 
	  1 r(416,377) r(261,247) 
	  6 a(635,628) r(283,294) 
	  1 d(282) r(416,369) 
	  6 a(635,628) a(293,274) 
	  6 d(382) a(369,349) 
	  6 d(591) a(636,637) 
	  5 a(383,368) d(291) 
	  6 d(591) d(638) 
	  6 d(267) d(296) 
	  6 d(591) d(295) 
	  6 d(267) r(293,269) 
	  2 d(591) r(600,593) 
	  3 r(281,298) r(601,606) 
	  6 r(281,298) d(286) 
	  5 r(281,298) r(284,274) 
	  6 r(281,298) d(285) 
	  5 r(606,602) r(271,591) 
	  2 d(604) d(381) 
	  6 d(591) d(418) 
	  6 a(383,368) r(288,269) 
	  2 d(591) r(411,412) 
	  6 a(383,368) r(292,288) 
	  6 a(601,591) d(369) 
	  6 d(591) d(292) 
	  6 a(383,368) d(281) 
	  6 d(283) a(599,265) 
	  6 a(383,368) d(377) 
	  6 d(283) d(382) 
	  6 r(636,637) d(281) 
	  6 d(595) d(602) 
	  6 r(636,637) r(290,275) 
	  2 d(595) d(380) 
	  6 a(628,634) r(296,291) 
	  1 d(595) d(601) 
	  6 a(628,634) r(290,285) 
	  6 d(595) r(294,281) 
	  6 d(595) r(366,261) 
	  1 r(636,637) r(416,368) 
	  6 d(595) a(634,370) 
	  3 r(636,637) r(605,599) 
	  6 d(267) d(295) 
	  6 d(595) d(607) 
	  6 d(267) r(368,366) 
	  6 d(595) d(382) 
	  6 d(290) a(636,275) 
	  6 r(595,604) a(289,370) 
	  6 d(418) r(288,265) 
	  6 d(265) 
	  6 d(418) r(412,370) 
	  6 r(412,368) 
	  6 d(265) d(412) 
	  3 a(593,244) r(413,381) 
	  6 d(265) r(291,266) 
	  3 a(593,244) r(292,285) 
	  6 d(378) d(378) 
	  6 a(594,300) d(368) 
search: generation 2 (sizeof one variant = 0.09692 MB)
	  6 r(412,368) r(295,265) 
	  6 r(595,604) a(289,370) r(418,377) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000103/libtiff/tif_read.c  r(636,637) d(281) r(637,291)  fails to compile
	  0 r(636,637) d(281) r(637,291) 
	  4 d(595) d(607) a(289,643) 
	  6 d(267) d(296) a(294,298) 
	  6 d(282) a(634,244) d(603) 
	  1 d(591) a(636,275) r(286,289) 
	  6 d(290) d(418) a(638,634) 
	  2 d(591) d(418) d(416) 
	  6 d(290) a(636,275) r(296,294) 
	  6 a(383,368) r(292,288) a(634,216) 
	  6 r(281,298) d(285) d(628) 
	  1 r(595,604) d(380) 
	  6 r(412,368) a(289,370) a(282,639) 
	  6 r(595,604) a(289,370) d(267) 
	  2 r(412,368) d(593) 
	  5 d(595) a(634,370) d(602) d(368) 
	  6 d(595) a(602,216) 
	  6 d(595) a(634,370) r(638,370) 
	  6 d(595) d(602) a(290,344) 
	  6 r(636,637) d(281) r(271,238) 
	  6 r(595,604) a(289,370) d(293) 
	  6 d(283) a(599,265) d(291) a(417,349) 
	  6 a(383,368) r(265,225) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000125/libtiff/tif_read.c  d(283) a(599,265) r(638,295)  fails to compile
	  0 d(283) a(599,265) r(638,295) 
	  2 a(383,368) d(291) d(601) 
	  6 d(595) r(607,591) 
	  5 d(591) d(638) r(294,281) d(382) 
	  6 d(595) r(294,281) d(288) 
	  6 d(591) d(638) d(261) 
	  6 a(628,634) r(290,285) r(591,605) 
	  6 a(635,628) a(293,274) a(600,370) 
	  6 a(628,634) r(290,285) r(603,606) 
	  6 a(635,628) a(293,274) r(603,595) 
	  6 d(265) r(291,266) r(378,370) 
	  6 d(267) d(295) d(261) 
	  6 d(267) r(293,269) r(275,348) 
	  6 d(265) r(291,266) r(603,605) 
	  6 d(289) a(369,275) a(412,628) 
	  4 a(594,300) d(368) r(593,595) 
	  2 d(267) d(295) d(605) 
	  1 a(635,628) a(628,276) d(286) 
	  6 a(635,628) r(283,294) r(377,352) 
	  0 d(290) a(636,275) d(385) 
	  1 r(281,298) r(284,274) r(595,607) 
	  1 d(267) d(296) r(280,279) 
	  6 d(290) a(636,275) d(269) 
	  6 a(628,634) r(296,291) d(287) 
	  0 d(265) d(415) 
	  2 r(606,602) r(271,591) d(366) 
	  3 d(595) d(281) d(599) 
	  6 a(383,368) r(294,281) d(288) 
	  6 d(595) r(294,281) a(377,324) 
	  6 a(383,368) d(281) r(382,378) 
search: generation 3 (sizeof one variant = 0.0968046 MB)
	  6 d(591) d(638) d(261) r(291,266) r(603,605) a(378,279) 
	  6 d(265) a(285,377) 
	  6 d(591) d(638) d(261) a(381,411) 
	  6 d(265) r(291,266) r(603,605) a(381,344) 
	  6 a(628,634) r(296,291) d(287) d(377) 
	  5 a(635,628) r(283,294) r(377,352) r(290,292) 
	  6 d(595) d(602) a(290,344) a(290,275) 
	  6 d(289) a(369,275) a(412,628) a(276,238) 
	  6 a(635,628) r(283,294) r(377,352) d(267) 
	  6 d(595) r(607,591) a(638,324) 
	  6 a(635,628) r(283,294) r(377,352) r(287,284) 
	  6 d(595) r(607,591) d(634) 
	  6 a(383,368) r(292,288) a(634,216) d(287) 
	  6 d(265) r(291,266) r(378,370) a(593,347) 
	  4 a(383,368) r(292,288) a(634,216) d(637) 
	  6 d(265) r(291,266) r(378,370) r(282,283) 
	  6 d(290) a(636,275) d(269) r(271,643) 
	  6 a(383,368) r(265,225) a(601,273) 
	  3 d(290) a(636,275) d(269) d(604) 
	  6 a(383,368) r(265,225) r(636,635) 
	  6 a(383,368) d(291) a(417,349) r(291,283) 
	  6 d(283) a(599,265) d(281) r(382,378) a(637,349) 
	  5 a(383,368) d(281) r(382,378) a(416,369) 
	  6 d(283) a(599,265) d(291) a(417,349) r(287,293) 
	  6 d(595) r(294,281) d(628) d(281) 
	  1 r(281,298) d(285) d(288) r(605,595) 
	  6 d(595) r(294,281) d(288) a(604,216) 
	  2 r(281,298) d(285) d(628) r(417,412) 
	  6 d(290) a(636,275) r(296,294) a(285,591) 
	  6 r(595,604) a(289,370) d(267) d(289) 
	  6 d(290) a(636,275) r(296,294) d(635) 
	  6 r(412,368) r(295,265) a(381,380) 
	  6 d(591) d(638) d(261) r(294,281) d(288) d(418) 
	  6 a(383,368) a(280,274) 
	  6 d(591) d(638) d(261) r(377,415) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000190/libtiff/tif_read.c  a(383,368) r(294,281) d(288) r(265,332)  fails to compile
	  0 a(383,368) r(294,281) d(288) r(265,332) 
	  1 d(591) a(636,275) r(286,289) a(600,370) r(284,266) 
	  1 a(635,628) a(293,274) d(286) 
	  1 d(591) a(636,275) r(286,289) d(293) 
	  6 a(635,628) a(293,274) a(600,370) r(378,415) 
	  1 r(595,604) a(289,370) d(267) r(593,591) 
	  6 a(635,628) a(293,274) r(603,595) d(285) 
	  6 r(636,637) d(281) r(271,238) r(283,271) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000198/libtiff/tif_read.c  d(283) a(599,265) r(638,295) d(284)  fails to compile
	  0 d(283) a(599,265) r(638,295) d(284) 
	  2 a(383,368) r(294,281) d(288) r(634,226) 
	  0 a(635,628) a(293,274) a(600,370) r(413,370) 
	  6 a(628,634) r(290,285) r(603,606) d(594) 
	  2 d(290) a(636,275) d(269) d(593) 
	  6 d(283) a(599,265) d(291) a(417,349) a(369,275) a(412,628) a(382,216) 
	  6 d(289) r(289,291) 
	  6 d(283) a(599,265) d(291) a(417,349) r(286,298) 
	  5 d(289) a(369,275) a(412,628) r(282,267) 
	  2 r(636,637) d(281) r(271,238) d(267) d(380) 
	  3 r(595,604) a(289,370) d(637) 
	  6 r(636,637) d(281) r(271,238) d(291) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000210/libtiff/tif_read.c  r(595,604) a(289,370) d(267) r(275,359)  fails to compile
	  0 r(595,604) a(289,370) d(267) r(275,359) 
	  5 d(267) r(293,269) r(275,348) d(602) 
	  5 a(628,634) r(296,291) d(287) a(636,269) 
	  5 r(412,368) a(289,370) a(282,639) r(294,281) a(377,324) d(271) 
	  6 d(595) a(416,261) 
	  6 r(412,368) a(289,370) a(282,639) a(413,273) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000216/libtiff/tif_read.c  d(595) r(294,281) a(377,324) r(591,332)  fails to compile
	  0 d(595) r(294,281) a(377,324) r(591,332) 
search: generation 4 (sizeof one variant = 0.0973186 MB)
	  6 r(595,604) r(287,284) d(378) 
	  5 a(635,628) r(283,294) r(377,352) a(289,370) d(267) d(289) a(638,349) 
	  6 r(595,604) a(289,370) d(267) d(289) r(293,281) 
	  6 a(635,628) r(283,294) r(377,352) r(287,284) r(591,334) 
	  3 r(595,604) a(289,370) d(637) r(603,606) 
	  5 a(628,634) r(296,291) d(287) d(377) d(377) 
	  6 r(636,637) d(281) r(271,238) d(291) a(594,324) 
	  1 a(383,368) r(265,225) r(636,635) d(601) 
	  2 a(383,368) r(265,225) r(636,635) r(383,368) 
	  6 r(636,637) d(281) r(271,238) d(291) d(269) 
	  0 d(591) d(638) d(261) r(377,415) r(599,602) 
	  3 d(265) a(285,377) r(594,607) 
	  6 d(591) d(638) d(261) r(377,415) r(280,295) 
	  3 d(265) a(285,377) r(606,605) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) 
	  6 a(635,628) r(283,294) r(377,352) d(267) a(293,244) 
	  6 a(628,634) r(290,285) r(603,606) d(594) a(636,275) r(296,294) a(285,591) r(369,368) 
	  6 d(290) d(603) 
	  4 a(628,634) r(290,285) r(603,606) d(594) r(383,418) 
	  6 d(290) a(636,275) r(296,294) a(285,591) a(380,269) 
	  3 d(283) a(366,244) 
	  6 d(595) d(602) a(290,344) a(290,275) a(599,265) d(291) a(417,349) r(287,293) d(595) 
	  5 d(283) a(599,265) d(291) a(417,349) r(287,293) r(283,295) 
	  2 d(595) d(602) a(290,344) a(290,275) a(416,369) 
	  6 a(628,634) r(290,285) r(603,606) d(594) r(269,606) 
	  5 r(595,604) a(289,370) d(267) d(289) a(276,283) 
	  6 r(636,637) d(281) r(271,238) d(291) r(638,216) 
	  6 a(628,634) r(296,291) d(287) d(377) d(282) 
	  1 d(591) d(638) d(261) r(294,281) d(288) d(418) d(383) 
	  1 d(283) a(599,265) d(281) r(382,378) a(637,349) d(411) 
	  5 d(290) a(636,275) d(269) r(271,643) d(293) 
	  2 d(290) a(636,275) d(269) r(271,643) d(413) 
	  6 d(290) a(636,275) d(269) r(271,643) a(289,223) 
	  6 d(290) a(636,275) d(269) r(271,643) d(366) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) 
	  3 a(383,368) d(291) a(417,349) r(291,283) d(380) 
	  6 r(412,368) a(289,370) a(282,639) a(413,273) a(602,634) 
	  6 a(383,368) d(291) a(417,349) r(291,283) a(380,341) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) 
	  6 a(383,368) r(265,225) a(601,273) r(369,380) 
	  1 a(635,628) a(293,274) r(415,377) 
	  6 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) 
	  6 a(635,628) a(293,274) r(603,595) d(285) a(290,266) 
	  6 d(595) r(294,281) d(288) a(604,216) d(418) 
	  3 d(283) a(599,265) d(291) a(417,349) a(369,275) a(412,628) a(382,216) d(413) 
	  6 d(289) r(289,291) a(378,341) 
	  6 d(265) r(291,266) r(603,605) a(381,344) d(261) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) 
	  1 a(383,368) r(265,225) a(601,273) r(265,225) r(636,635) r(385,378) 
	  6 a(383,368) d(289) 
	  6 a(383,368) r(265,225) a(601,273) d(377) 
	  6 a(383,368) r(265,225) r(636,635) d(289) 
	  6 d(290) a(636,275) r(296,294) a(285,591) d(412) 
	  6 d(283) a(599,265) d(291) a(417,349) r(286,298) r(600,605) 
search: generation 5 (sizeof one variant = 0.0967369 MB)
	  6 a(628,634) r(290,285) r(603,606) d(594) a(636,275) r(296,294) a(285,591) r(369,368) d(606) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(291,349) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) 
	  6 d(265) r(291,266) r(603,605) a(381,344) d(261) d(600) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) r(281,288) 
	  6 d(265) r(291,266) r(603,605) a(381,344) d(261) d(289) 
	  5 a(628,634) r(296,291) d(287) d(377) d(377) a(600,245) 
	  6 d(591) d(638) d(261) r(377,415) r(280,295) r(607,591) 
	  2 r(412,368) a(289,370) a(282,639) a(413,273) a(602,634) d(600) 
	  5 a(635,628) r(283,294) r(377,352) r(287,284) r(591,334) d(289) 
	  6 r(595,604) a(289,370) d(267) d(289) r(293,281) r(366,330) 
	  4 a(383,368) r(265,225) a(601,273) r(369,380) d(605) 
	  6 d(290) a(636,275) r(296,294) a(285,591) a(380,269) r(368,415) 
	  6 a(383,368) r(265,225) r(636,635) d(289) r(366,347) 
	  6 d(290) a(636,275) r(296,294) a(285,591) d(381) 
	  6 d(290) a(636,275) r(296,294) a(285,591) d(412) a(380,269) r(366,271) 
	  6 d(290) a(636,275) r(296,294) a(285,591) a(380,269) d(261) 
	  5 d(290) a(636,275) r(296,294) a(285,591) d(412) d(595) 
	  5 a(383,368) d(291) a(417,349) a(638,349) a(269,643) 
	  6 a(635,628) r(283,294) r(377,352) a(289,370) d(267) d(289) r(291,283) d(271) r(412,370) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) 
	  5 a(635,628) r(283,294) r(377,352) a(289,370) d(267) d(289) a(638,349) a(378,334) 
	  1 d(265) r(291,266) r(603,605) r(265,225) r(636,635) d(289) r(280,274) 
	  6 a(383,368) a(381,344) d(261) r(261,417) 
	  1 d(265) r(291,266) r(603,605) a(381,344) d(261) r(593,595) 
	  3 a(383,368) r(265,225) r(636,635) d(289) r(383,370) 
	  6 d(283) a(599,265) d(291) a(417,349) r(287,293) r(283,295) d(591) 
	  6 a(628,634) r(296,291) d(287) d(377) d(377) a(289,291) 
	  6 r(595,604) a(289,370) d(267) d(289) r(293,281) r(412,417) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) r(290,274) 
	  6 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) r(382,383) 
	  6 r(636,637) d(281) r(271,238) d(291) d(269) d(366) 
	  6 a(383,368) a(594,324) d(628) 
	  6 r(636,637) d(281) r(271,238) d(291) r(265,225) r(636,635) d(289) r(281,280) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) 
	  5 r(636,637) d(281) r(271,238) d(291) a(594,324) r(271,223) 
	  5 r(595,604) a(289,370) d(267) d(289) r(293,281) a(377,412) 
	  6 r(595,604) r(287,284) d(378) r(366,359) 
	  6 r(636,637) d(281) r(271,238) d(291) r(638,216) a(628,341) 
	  5 a(628,634) r(296,291) d(287) d(377) d(282) d(276) 
	  1 a(635,628) r(283,294) r(377,352) d(637) r(603,606) a(593,637) 
	  6 r(595,604) a(289,370) d(267) a(293,244) d(369) 
	  3 a(635,628) r(283,294) r(377,352) d(267) a(293,244) d(383) 
	  4 r(595,604) a(289,370) d(637) r(603,606) a(382,344) 
	  1 r(412,368) a(289,370) a(282,639) a(413,273) r(296,294) a(285,591) r(369,368) r(383,411) 
	  6 a(628,634) r(290,285) r(603,606) d(594) a(636,275) a(602,634) d(412) 
	  6 r(412,368) a(289,370) a(282,639) a(413,273) a(602,634) r(593,602) 
	  2 a(628,634) r(290,285) r(603,606) d(594) a(636,275) r(296,294) a(285,591) r(369,368) d(599) 
	  6 d(290) d(281) r(271,238) d(291) a(594,324) a(282,274) 
	  0 r(636,637) d(603) r(599,591) 
	  6 d(290) d(603) r(292,295) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000324/libtiff/tif_read.c  r(636,637) d(281) r(271,238) d(291) a(594,324) r(638,385)  fails to compile
	  0 r(636,637) d(281) r(271,238) d(291) a(594,324) r(638,385) 
	  3 d(283) r(381,418) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) 
	  3 d(283) a(599,265) d(291) a(417,349) r(286,298) r(600,605) d(416) 
	  6 r(595,604) r(287,284) d(378) d(382) 
search: generation 6 (sizeof one variant = 0.0970011 MB)
	  6 r(595,604) r(287,284) d(378) d(382) d(418) 
	  4 a(383,368) r(265,225) a(601,273) r(369,380) d(605) r(369,417) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000331/libtiff/tif_read.c  d(290) d(603) r(292,295) r(638,288)  fails to compile
	  0 d(290) d(603) r(292,295) r(638,288) 
	  3 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(413) 
	  2 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(601) 
	  2 d(290) d(603) r(292,295) d(417) 
	  5 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) 
	  5 d(265) r(291,266) r(378,370) a(602,377) r(283,298) 
	  3 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(385,370) 
	  2 d(265) r(291,266) r(378,370) a(593,347) d(412) r(281,288) d(413) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(369,370) 
	  3 r(636,637) d(281) r(271,238) d(291) r(265,225) r(636,635) d(289) r(281,280) d(416) 
	  6 a(383,368) d(368) 
	  6 a(383,368) d(291) a(417,349) a(638,349) a(269,643) r(265,225) r(636,635) d(289) a(271,297) d(602) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(368) 
	  6 a(383,368) d(291) a(417,349) a(638,349) a(269,643) d(291) 
	  6 r(595,604) a(289,370) a(417,349) r(291,283) d(271) a(602,377) r(636,637) 
	  4 a(383,368) d(291) d(267) d(289) r(293,281) r(366,330) r(636,635) 
	  1 r(595,604) a(289,370) d(267) d(289) r(293,281) r(366,330) d(416) 
	  4 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(412,383) 
	  6 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) 
	  6 d(283) a(599,265) d(285) r(635,634) a(599,366) d(628) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) 
	  6 d(283) a(599,265) d(291) a(417,349) r(287,293) r(283,295) d(591) d(368) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(294) 
	  6 d(265) r(291,266) r(603,605) a(381,344) d(261) d(600) r(638,231) 
	  2 d(290) a(636,275) r(296,294) a(285,591) a(380,269) r(368,415) d(606) 
	  6 d(290) a(636,275) r(296,294) a(285,591) d(412) a(380,269) r(366,271) a(634,366) 
	  0 r(412,368) a(289,370) a(282,639) a(413,273) a(602,634) r(593,602) d(415) 
	  6 a(635,628) r(283,294) r(377,352) r(287,284) r(591,334) d(289) d(261) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) r(290,274) r(635,636) 
	  6 a(383,368) r(265,225) r(636,635) d(289) r(366,347) a(293,289) 
	  2 r(595,604) r(287,284) d(378) r(366,359) d(600) 
	  6 d(265) r(291,266) r(603,605) a(381,344) d(261) d(289) d(283) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000363/libtiff/tif_read.c  r(636,637) d(281) r(271,238) d(291) r(265,225) r(636,635) d(289) r(281,280) r(628,222)  fails to compile
	  0 r(636,637) d(281) r(271,238) d(291) r(265,225) r(636,635) d(289) r(281,280) r(628,222) 
	  3 d(290) d(603) r(292,295) r(604,603) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(261) r(261,417) a(605,269) 
	  5 a(383,368) a(381,344) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(385) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(377) 
	  6 a(383,368) a(381,344) d(261) r(261,417) a(282,286) 
	  1 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(415,418) 
	  6 a(383,368) r(265,225) r(636,635) d(289) r(366,347) a(637,370) 
	  6 a(383,368) r(265,225) r(636,635) d(289) r(366,347) r(291,273) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(381,369) 
	  6 d(265) r(291,266) r(603,605) a(381,344) d(261) d(600) a(294,591) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) 
	  5 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) a(271,297) d(418) 
	  3 a(383,368) r(265,225) r(636,635) d(289) r(382,383) r(606,600) 
	  6 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) r(382,383) d(607) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) 
	  5 r(636,637) d(281) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) a(413,377) 
	  3 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(413,417) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) 
	  1 a(635,628) r(283,294) r(377,352) a(289,370) r(291,283) d(271) r(290,274) d(601) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000384/libtiff/tif_read.c  a(383,368) d(291) a(417,349) d(267) d(289) a(638,349) a(378,334) r(368,293)  fails to compile
	  0 a(383,368) d(291) a(417,349) d(267) d(289) a(638,349) a(378,334) r(368,293) 
	  6 a(635,628) r(283,294) r(377,352) a(289,370) d(267) d(289) a(638,349) a(378,334) d(289) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) r(290,274) r(415,369) 
search: generation 7 (sizeof one variant = 0.0967112 MB)
	  1 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) r(382,383) d(607) d(411) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) 
	  6 r(595,604) r(287,284) d(378) a(599,265) a(638,349) a(269,643) d(291) a(378,634) 
	  2 a(383,368) d(291) a(417,349) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(294) d(606) 
	  5 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(294) d(412) 
	  6 a(383,368) d(291) a(417,349) a(638,349) a(269,643) d(291) d(285) 
	  1 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(413) d(412) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000394/libtiff/tif_read.c  a(635,628) r(283,294) r(377,352) a(289,370) d(267) d(289) a(638,349) a(378,334) d(289) r(267,222)  fails to compile
	  0 a(635,628) r(283,294) r(377,352) a(289,370) d(267) d(289) a(638,349) a(378,334) d(289) r(267,222) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) r(294,297) 
	  4 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(381,369) r(296,290) 
	  2 r(636,637) d(281) r(271,238) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(601) d(594) 
	  0 r(595,604) r(287,284) r(283,271) a(383,238) r(288,285) r(281,299) r(385,378) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) 
	  2 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(601) d(635) 
	  3 r(595,604) a(289,370) a(417,349) r(291,283) d(271) a(602,377) r(636,637) d(385) 
	  6 d(283) a(599,265) d(291) a(417,349) r(287,293) r(283,295) d(591) d(368) r(271,643) 
	  6 r(595,604) a(289,370) a(417,349) r(291,283) d(271) a(602,377) r(636,637) r(267,247) 
	  3 d(290) d(603) r(292,295) d(417) r(412,370) 
	  4 a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(368) d(606) 
	  5 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) a(594,341) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000407/libtiff/tif_read.c  r(595,604) a(289,370) a(417,349) r(291,283) d(271) a(602,377) r(636,637) r(276,381)  fails to compile
	  0 r(595,604) a(289,370) a(417,349) r(291,283) d(271) a(602,377) r(636,637) r(276,381) 
	  5 d(283) a(599,265) d(291) a(417,349) r(287,293) r(283,295) d(591) d(368) r(412,382) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) a(415,245) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000410/libtiff/tif_read.c  a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) r(412,383) r(591,266)  fails to compile
	  0 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) r(412,383) r(591,266) 
	  1 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(412,383) r(382,381) 
	  6 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) a(292,639) 
	  1 a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(607) r(413,412) 
	  5 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) r(382,383) d(368) d(291) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(368) d(602) 
	  2 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) r(382,383) d(607) r(605,606) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) 
	  5 a(635,628) a(293,274) d(294) a(594,334) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(294) d(628) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(368) d(634) 
	  2 a(383,368) d(291) a(417,349) a(638,349) a(269,643) r(265,225) r(636,635) d(289) a(271,297) d(602) d(606) 
	  2 a(383,368) r(265,225) r(636,635) d(289) r(366,347) a(293,289) r(605,603) 
	  3 a(383,368) a(381,344) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(385) r(415,417) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(607,594) 
	  1 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) a(602,377) r(412,383) d(265) 
	  5 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(412,383) r(413,368) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(261) r(261,417) a(605,269) r(271,599) 
	  6 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) a(271,297) d(418) d(287) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) r(295,283) 
	  2 a(383,368) d(291) a(417,349) r(291,283) d(271) r(290,274) r(415,369) d(593) 
	  3 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(385,370) a(634,276) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) r(290,274) r(635,636) r(265,643) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) 
	  5 r(636,637) d(281) r(271,238) r(283,271) a(383,238) a(288,287) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) a(603,223) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000438/libtiff/tif_read.c  r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) r(628,283)  fails to compile
	  0 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) r(628,283) 
	  3 a(383,368) d(291) a(417,349) a(638,349) a(269,643) d(291) r(291,266) r(603,605) a(381,344) d(261) d(600) r(638,231) d(416) 
	  6 d(265) a(628,275) 
	  6 a(383,368) d(291) a(417,349) a(638,349) a(269,643) d(291) a(369,279) 
	  1 d(265) r(291,266) r(603,605) a(381,344) d(261) d(600) r(638,231) r(417,381) 
search: generation 8 (sizeof one variant = 0.0969896 MB)
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) d(368) 
	  3 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) r(636,635) d(289) a(271,297) d(602) d(606) d(418) 
	  2 a(383,368) d(291) a(417,349) a(638,349) a(269,643) r(265,225) d(289) r(288,285) r(281,299) a(285,287) r(413,369) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) r(369,383) 
	  2 a(383,368) d(291) a(417,349) a(638,349) a(269,643) r(265,225) r(636,635) d(289) a(271,297) d(602) d(606) a(280,279) 
	  3 a(383,368) a(381,344) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(385) r(415,417) d(412) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) r(290,274) r(635,636) r(265,643) d(595) 
	  4 d(283) a(599,265) d(291) a(417,349) r(287,293) r(283,295) d(591) d(368) r(271,643) d(593) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(607,594) r(288,285) 
	  5 d(265) r(291,266) r(378,370) a(607,594) r(269,324) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) d(290) d(289) a(603,223) a(366,380) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) a(603,223) r(271,354) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(607,594) d(284) 
	  1 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) a(603,223) d(593) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(281,299) a(285,366) r(275,265) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) a(607,341) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) a(603,223) d(638) 
	  4 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(295) 
	  6 r(595,604) a(415,245) d(591) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) a(415,245) r(418,366) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(607,594) d(283) 
	  3 a(383,368) d(291) a(417,349) r(291,283) d(271) a(271,297) r(285,299) d(287) d(416) 
	  1 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) a(412,369) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(607,594) a(628,244) 
	  6 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) d(368) d(602) a(288,283) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) a(275,628) a(292,639) d(606) 
	  0 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) a(292,639) d(416) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000472/libtiff/tif_read.c  a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(368) d(602) r(628,329)  fails to compile
	  0 a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(368) d(602) r(628,329) 
	  6 d(265) a(628,275) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) r(295,283) r(261,333) 
	  6 a(383,368) d(265) 
	  6 d(265) a(628,275) a(261,291) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) r(295,283) r(382,417) 
	  6 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) a(271,297) d(418) d(287) d(366) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) r(282,289) 
	  3 d(595) r(294,281) d(288) a(604,216) r(603,595) d(285) r(265,370) a(271,297) d(418) d(287) r(411,417) 
	  2 d(290) d(603) r(292,295) d(417) r(412,370) r(284,279) 
	  1 d(290) d(603) r(292,295) d(417) r(412,370) d(267) 
	  1 d(290) d(603) r(292,295) d(417) r(412,370) r(591,226) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) r(287,289) 
	  6 d(265) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) d(280) 
	  2 r(636,637) r(418,383) 
	  6 d(265) a(628,275) a(637,596) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) r(368,300) 
	  6 r(595,604) r(287,284) d(378) a(599,265) a(638,349) a(269,643) d(291) a(378,634) r(288,266) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000490/libtiff/tif_read.c  r(636,637) d(281) r(271,238) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(601) d(594) r(368,636)  fails to compile
	  0 r(636,637) d(281) r(271,238) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(601) d(594) r(368,636) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000491/libtiff/tif_read.c  d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) a(603,223) r(638,232)  fails to compile
	  0 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) a(603,223) r(638,232) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) a(606,261) 
	  6 a(383,368) r(265,225) r(636,635) d(289) r(635,634) a(599,366) a(416,273) r(281,297) d(628) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) a(271,297) d(368) d(634) d(377) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(368) d(634) r(603,593) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) r(287,286) 
	  5 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(294) d(606) r(638,334) 
	  6 a(383,368) d(291) a(417,349) a(292,639) d(369) 
	  6 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) a(292,639) r(418,412) 
	  2 a(383,368) d(291) a(417,349) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(294) d(606) d(377) 
	  1 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) a(416,273) r(281,297) d(604) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) r(281,299) a(285,287) r(636,628) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) a(591,275) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) a(416,368) 
search: generation 9 (sizeof one variant = 0.0965624 MB)
	  6 r(595,604) a(415,245) d(591) d(628) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) d(412) 
	  2 a(383,368) r(265,225) r(636,635) d(289) a(271,297) d(368) d(634) r(603,593) d(280) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) d(287) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) d(290) 
	  2 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) d(601) 
	  6 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) a(292,639) r(418,412) a(607,600) 
	  6 d(265) a(628,275) a(637,596) a(267,287) 
	  6 r(595,604) r(287,284) d(378) a(417,349) r(291,283) d(271) a(607,594) r(288,285) d(276) 
	  4 a(383,368) d(291) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) r(605,594) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) a(591,269) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(607,594) r(288,285) r(378,366) 
	  6 d(265) a(628,275) d(291) a(417,349) r(291,283) d(271) d(285) r(635,634) a(599,366) a(416,273) r(292,299) a(606,261) d(275) 
	  6 a(635,628) a(293,274) r(603,595) a(593,347) d(412) r(281,288) r(280,292) r(295,283) r(261,333) a(418,377) 
	  6 d(265) a(628,275) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) r(295,283) r(261,333) d(271) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) a(606,261) r(285,294) 
	  3 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(295) d(417) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) a(606,261) d(368) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(281,299) a(285,366) r(275,265) r(288,285) r(281,299) a(285,366) d(280) r(368,239) 
	  6 d(265) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(267,418) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(281,299) a(285,366) r(275,265) a(288,266) 
	  6 d(265) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) d(280) d(292) 
	  4 a(383,368) r(265,225) r(636,635) d(289) a(271,297) a(275,628) a(292,639) d(606) d(281) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) r(281,299) a(285,287) r(636,628) r(296,295) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(281,299) a(285,366) r(275,265) r(378,411) 
	  6 r(595,604) r(287,284) d(378) a(599,265) a(638,349) a(269,643) d(291) a(378,634) r(288,266) a(271,282) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) r(294,286) 
	  5 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) a(593,347) d(412) r(281,288) r(280,292) r(295,283) r(382,417) r(634,628) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) r(295,283) r(382,417) d(607) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) r(377,273) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) d(366) 
	  6 a(383,368) r(265,225) r(636,635) d(289) r(635,634) a(599,366) a(416,273) r(281,297) d(628) a(385,231) 
	  6 d(265) r(291,266) r(378,370) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) d(280) d(636) 
	  6 d(265) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) d(634) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) a(289,265) 
	  4 d(265) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) d(280) r(602,594) 
	  6 a(383,368) d(291) a(417,349) a(292,639) d(369) r(295,292) 
	  1 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) a(606,261) d(601) 
	  5 r(595,604) d(412) d(290) d(289) a(603,223) a(366,380) a(594,216) 
	  1 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) a(415,245) d(591) d(637) 
	  6 r(595,604) a(415,245) d(591) d(607) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) d(290) d(289) a(603,223) a(366,380) d(369) 
	  5 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) d(368) d(602) a(288,283) d(594) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) d(290) d(289) a(603,223) a(366,380) d(284) 
	  6 a(383,368) r(265,225) r(291,283) d(271) a(607,594) r(288,285) d(591) 
	  3 a(383,368) d(291) a(417,349) r(636,635) d(289) a(271,297) r(285,299) d(287) r(287,289) a(366,418) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) r(287,289) d(595) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(607,594) r(288,285) a(284,285) 
	  6 a(383,368) d(291) a(417,349) a(638,349) a(269,643) r(265,225) d(289) r(288,285) r(281,299) a(285,287) a(600,276) 
	  2 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) r(287,289) r(413,369) r(286,279) 
	  2 a(383,368) d(291) a(417,349) a(638,349) a(269,643) r(265,225) d(289) r(288,285) r(281,299) a(285,287) r(413,369) a(603,276) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) r(287,289) a(294,223) 
	  2 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(294) d(606) r(638,334) r(287,276) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) a(607,341) r(602,599) 
	  2 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) a(607,341) a(381,344) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(385) r(415,417) d(412) d(600) 
	  6 a(383,368) a(602,599) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) a(607,341) d(366) 
	  6 a(383,368) a(381,344) d(291) a(417,349) r(286,298) r(600,605) a(599,604) d(385) r(415,417) d(412) a(281,287) 
search: generation 10 (sizeof one variant = 0.0971527 MB)
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) a(606,261) d(368) d(602) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) d(412) a(628,223) 
	  5 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) a(292,639) r(418,412) a(607,600) d(282) 
	  6 d(265) r(291,266) r(378,370) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) d(280) d(636) d(634) 
	  5 d(265) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(267,418) d(265) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(281,299) a(285,366) r(275,265) a(288,266) d(265) 
	  6 a(383,368) d(291) a(417,349) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) r(377,273) a(261,297) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(291,283) d(271) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) r(294,286) d(638) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) r(294,286) d(276) 
	  3 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) r(377,273) d(413) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-13-09e8220-f2d989d/000573/libtiff/tif_read.c  d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) r(283,271) a(383,238) r(267,418) r(638,378)  fails to compile
	  0 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) r(283,271) a(383,238) r(267,418) r(638,378) 
	  6 d(265) a(628,275) d(281) r(271,238) d(289) r(288,285) r(281,299) a(285,287) d(591) a(289,265) a(280,341) 
	  3 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) a(289,265) r(593,600) 
	  6 d(265) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(267,418) a(287,274) 
	  3 d(265) a(628,275) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) r(281,288) r(280,292) r(295,283) r(261,333) d(271) r(418,382) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(281,299) a(285,366) r(275,265) r(378,411) d(287) 
	  6 r(636,637) d(281) r(271,238) a(285,366) d(280) d(292) d(595) 
	  2 d(265) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) a(607,341) d(366) d(383) 
	  6 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) a(607,341) d(366) r(636,634) 
	  6 d(265) a(628,275) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) d(280) d(292) d(601) 
	  3 a(635,628) a(293,274) r(603,595) d(291) a(417,349) r(287,293) r(283,295) d(591) a(275,628) a(292,639) r(418,412) a(607,600) r(383,412) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) r(281,299) a(285,287) r(636,628) r(296,295) r(288,292) 
	  6 a(383,368) d(291) a(417,349) a(638,349) a(269,643) r(265,225) d(289) r(288,285) r(281,299) a(285,287) a(600,276) d(369) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) d(290) d(287) 
	  6 d(265) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) d(634) d(366) 
	  1 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) d(290) r(415,378) 
	  6 d(265) a(593,347) d(412) d(290) a(271,297) r(285,299) d(287) r(287,289) a(294,223) a(275,344) 
	  6 a(383,368) r(265,225) r(636,635) d(289) d(289) r(288,285) r(281,299) a(285,287) d(591) d(634) r(285,265) 
	  6 d(265) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) d(634) r(269,363) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) r(287,289) a(294,223) a(265,285) 
	  1 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(637,596) a(267,287) a(601,271) 
	  6 d(265) a(628,275) a(383,238) r(288,285) a(385,378) r(271,293) d(265) d(412) d(412) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) d(412) d(628) 
	  5 d(265) a(628,275) a(637,596) a(267,287) d(294) 
	  6 a(635,628) a(293,274) r(603,595) d(285) r(635,634) a(599,366) a(416,273) r(292,299) a(606,261) r(285,294) a(289,273) 
	  6 r(595,604) r(287,284) d(378) a(599,265) d(291) a(417,349) r(286,298) r(600,605) a(599,604) r(603,595) d(285) r(635,634) a(599,366) r(281,299) a(285,287) r(636,628) r(296,295) r(366,280) 
	  4 a(383,368) d(291) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) r(605,594) d(415) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) d(412) r(602,599) 
	  6 d(265) a(628,275) a(637,596) a(267,287) a(607,368) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) r(635,634) a(599,366) a(416,273) r(281,297) r(283,271) r(294,286) a(267,292) 
	  6 a(635,628) a(293,274) r(603,595) a(593,347) d(412) r(281,288) r(280,292) r(295,283) r(261,333) a(418,377) r(282,286) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) r(287,289) a(294,223) d(628) 
	  6 a(383,368) d(291) r(291,283) d(271) a(593,347) d(412) d(290) d(289) a(603,223) a(366,380) d(284) r(378,370) 
	  5 a(383,368) d(291) a(417,349) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) r(605,594) d(369) 
	  3 a(383,368) d(291) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) r(605,594) a(412,273) 
	  6 a(383,368) d(291) a(417,349) r(291,283) d(271) a(593,347) d(412) d(290) d(289) a(603,223) a(366,380) d(284) a(288,216) 
	  2 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(288,285) r(281,299) a(285,287) d(591) d(601) d(635) 
	  6 a(383,368) r(265,225) r(636,635) d(289) a(271,297) r(285,299) d(287) r(287,289) d(595) d(286) 
	  6 r(595,604) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(265) a(591,269) d(282) 
	  5 r(636,637) d(281) r(271,238) r(283,271) a(383,238) r(288,285) r(281,299) a(285,366) a(607,341) r(602,599) r(267,293) 
	  3 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(295) d(417) r(417,383) 
	  0 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(287,284) d(289) r(281,299) a(285,366) r(275,265) r(378,411) r(412,418) 
	  6 d(265) r(291,266) r(378,370) a(593,347) d(412) d(290) d(289) r(281,299) a(285,366) r(275,265) r(378,411) a(603,594) 
	  1 a(383,368) d(291) a(417,349) r(291,283) d(271) a(602,377) r(287,284) d(378) r(271,238) r(283,271) a(383,238) r(288,285) a(385,378) r(271,293) d(295) d(417) r(417,418) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 4281
"Test Suite Evaluations": 70.1803

Compile Failures: 21
Wall-Clock Seconds Elapsed: 7207.89
  Activity Name                     Count Seconds = Percent of Total Time
  test                               4195 1060.095 = 14.8225%
  compile                             618 6091.788 = 85.1769%
  TOTAL                                   7151.926 = 99.2235% (avg CPU usage)
libtiff-bug-2007-07-13-09e8220-f2d989d.tar.gz
Sat Sep 21 17:31:15 EDT 2013
shutting down
