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 61
--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 2
--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-32-174-242 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 14:10:59 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           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmpb808ec.c /tmp/tmpe7c0aa.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 21.7436)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 640
cilRep: stmts in weighted_path = 86
cilRep: total weight = 55.9
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: libtiff/tif_dirinfo.c (code bank/base file; atoms [1,640])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.15793 MB)
search: initial population (sizeof one variant = 0.00696659 MB)
	  6 d(248) 
	  6 d(365) 
	  0 d(270) 
	  1 r(325,330) 
	  1 d(390) 
	  6 r(331,318) 
	  6 d(251) 
	  2 r(274,276) 
	  0 d(255) 
	  6 d(251) 
	  6 d(248) 
	  1 r(277,274) 
	  6 a(274,277) 
	  0 r(317,311) 
	  6 a(314,248) 
	  0 d(323) 
	  6 d(366) 
	  0 a(268,259) 
	  6 d(376) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000019/libtiff/tif_dirinfo.c  r(263,331)  fails to compile
	  0 r(263,331) 
	  6 a(257,318) 
	  6 d(370) 
	  6 d(314) 
	  6 d(224) 
	  0 r(276,277) 
	  6 d(364) 
	  0 r(320,322) 
	  6 a(371,314) 
	  6 d(254) 
	  6 d(262) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000030/libtiff/tif_dirinfo.c  r(222,245)  fails to compile
	  0 r(222,245) 
	  6 a(373,391) 
	  0 d(310) 
	  6 r(378,376) 
	  0 d(270) 
	  6 d(256) 
	  6 a(274,251) 
	  6 d(452) 
	  6 d(224) 
	  6 original
search: generation 1 (sizeof one variant = 0.158255 MB)
	  1 a(314,248) r(253,250) 
	  6 d(364) r(254,268) 
	  6 d(251) r(379,377) 
	  6 d(224) d(268) 
	  0 d(452) r(260,256) 
	  0 d(365) r(254,258) 
	  6 d(254) r(374,386) 
	  0 d(365) a(322,269) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000047/libtiff/tif_dirinfo.c  d(254) r(263,376)  fails to compile
	  0 d(254) r(263,376) 
	  6 d(365) a(324,325) 
	  6 d(365) d(376) 
	  1 r(380,392) 
	  0 d(224) d(316) 
	  6 d(365) d(368) 
	  6 d(314) a(449,315) 
	  6 a(274,277) r(250,251) 
	  6 d(262) r(374,375) 
	  6 d(452) a(370,378) 
	  6 d(262) d(363) 
	  6 d(255) r(266,251) 
	  6 d(262) d(262) 
	  0 d(255) d(254) 
	  6 a(274,251) a(449,368) 
	  6 d(452) 
	  1 a(274,251) r(244,256) 
	  6 d(380) 
	  6 d(365) d(257) 
	  3 r(331,318) d(277) 
	  2 r(325,330) d(382) 
	  6 d(370) r(321,325) 
	  2 a(274,251) r(388,373) 
	  6 a(257,318) a(252,368) 
	  0 r(331,318) r(310,320) 
	  0 a(373,391) r(451,453) 
	  5 r(331,318) r(277,270) 
	  0 a(373,391) r(249,248) 
	  1 d(251) d(386) 
	  6 d(256) d(372) 
	  6 d(251) d(371) 
	  6 d(256) a(384,389) 
	  0 d(390) d(323) 
	  1 d(256) d(311) 
	  1 d(390) d(259) 
	  6 d(256) a(249,269) 
	  6 a(257,318) r(372,390) 
	  6 d(224) a(389,374) 
	  3 a(314,248) d(388) 
	  6 a(314,248) r(387,366) 
	  6 d(251) r(379,391) 
	  4 r(331,318) r(363,365) 
	  2 r(386,392) 
	  6 d(256) r(259,256) 
	  6 d(250) 
	  6 d(256) a(363,378) 
search: generation 2 (sizeof one variant = 0.158745 MB)
	  0 d(255) d(254) a(224,250) 
	  5 d(314) a(449,315) r(331,318) 
	  0 d(256) a(384,389) d(323) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000096/libtiff/tif_dirinfo.c  d(256) a(249,269) r(248,329)  fails to compile
	  0 d(256) a(249,269) r(248,329) 
	  6 d(256) a(384,389) a(244,263) 
	  6 d(256) a(249,269) d(320) 
	  6 d(256) d(262) 
	  0 d(380) d(311) r(249,264) 
	  0 d(256) d(311) d(377) 
	  6 d(380) a(450,366) 
	  0 r(331,318) r(277,270) r(311,321) 
	  1 a(373,391) r(451,453) d(388) 
	  0 r(331,318) r(277,270) r(267,248) 
	  6 d(365) a(324,325) a(318,318) 
	  6 r(331,318) r(277,270) a(250,269) 
	  2 d(365) a(324,325) a(386,359) 
	  6 d(262) d(363) r(372,370) 
	  6 d(256) r(259,256) d(371) 
	  0 a(257,318) a(252,368) r(253,250) r(450,451) 
	  0 a(314,248) r(249,253) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000113/libtiff/tif_dirinfo.c  a(257,318) a(252,368) r(318,262)  fails to compile
	  0 a(257,318) a(252,368) r(318,262) 
	  1 a(314,248) r(253,250) r(389,382) 
	  0 r(331,318) d(277) d(329) 
	  6 a(314,248) r(387,366) d(366) 
	  1 a(257,318) a(252,368) r(383,365) 
	  6 d(250) d(391) 
	  2 d(251) d(371) d(386) d(366) 
	  0 d(251) d(260) 
	  6 d(251) d(371) r(373,391) 
	  1 d(251) d(386) d(258) 
	  6 d(251) r(379,391) a(375,390) 
	  0 a(314,248) r(387,366) r(270,271) 
	  6 d(370) a(249,269) r(266,268) 
	  1 d(256) r(321,325) r(270,273) 
	  6 d(370) r(321,325) r(375,391) 
	  0 d(256) a(249,269) d(450) 
	  6 d(224) a(389,374) r(371,377) 
	  0 r(325,330) d(382) d(248) 
	  0 d(365) d(376) r(270,271) 
	  0 d(365) d(368) r(253,263) 
	  6 d(365) d(376) d(327) 
	  2 d(365) d(368) d(386) 
	  6 d(370) r(321,325) d(384) 
	  6 d(251) r(379,377) r(452,453) 
	  6 d(452) r(363,377) 
	  0 d(251) r(379,391) r(325,330) 
	  6 d(452) r(319,309) 
	  6 d(251) r(379,391) d(381) 
	  6 d(452) a(388,377) 
	  6 a(314,248) r(387,366) a(370,378) d(449) 
	  6 d(452) a(370,378) d(371) 
	  5 a(314,248) r(387,366) d(330) 
	  5 r(331,318) r(320,319) 
	  6 d(452) r(363,365) d(324) 
	  5 r(331,318) r(363,365) a(271,275) 
	  6 d(452) a(375,380) 
	  6 d(365) a(324,325) r(321,325) a(369,248) 
	  6 d(370) d(266) 
	  6 d(365) a(324,325) a(359,315) 
	  6 d(370) r(321,325) r(365,378) 
	  2 d(365) r(254,258) d(369) 
	  1 a(257,318) r(372,390) d(244) 
search: generation 3 (sizeof one variant = 0.157264 MB)
	  0 d(256) r(321,325) r(270,273) r(378,374) 
	  6 d(251) d(371) r(373,391) a(365,373) 
	  1 d(256) r(321,325) r(270,273) a(387,373) 
	  6 d(251) d(371) r(373,391) a(391,376) 
	  6 d(452) d(327) d(258) 
	  0 d(365) d(376) a(370,378) d(371) d(388) 
	  1 d(452) a(370,378) d(371) d(255) 
	  6 d(365) d(376) d(327) r(370,380) 
	  0 a(257,318) a(252,368) r(383,365) r(267,258) 
	  6 d(251) r(379,391) d(381) d(324) 
	  0 a(257,318) a(252,368) r(383,365) a(375,370) 
	  0 d(251) r(379,391) d(381) d(316) 
	  6 d(365) d(376) d(330) a(392,387) 
	  6 a(314,248) r(387,366) d(327) d(378) 
	  6 d(365) d(376) d(327) d(268) 
	  1 a(314,248) r(387,366) d(330) a(388,222) 
	  6 d(370) r(321,325) r(375,391) d(373) 
	  1 d(314) a(449,315) r(331,318) d(329) 
	  3 d(224) r(389,382) d(379) 
	  1 a(314,248) r(253,250) a(389,374) r(371,377) d(317) 
	  6 d(224) a(389,374) r(371,377) a(273,263) 
	  0 a(314,248) r(253,250) r(389,382) r(321,317) 
	  0 d(256) d(311) d(377) r(324,328) 
	  2 d(365) a(324,325) a(359,315) d(277) 
	  6 a(314,248) r(387,366) a(370,378) d(449) r(381,372) 
	  6 d(370) r(321,325) d(384) a(277,318) 
	  6 d(256) a(249,269) d(320) a(248,263) 
	  6 d(256) r(259,256) d(371) r(268,245) 
	  6 d(256) a(249,269) d(320) r(244,255) 
	  6 d(256) r(259,256) d(371) a(379,379) 
	  6 d(370) r(252,251) 
	  1 a(314,248) r(249,253) r(321,325) d(384) d(256) 
	  6 d(370) r(321,325) d(384) d(324) 
	  2 a(314,248) r(249,253) r(374,384) 
	  6 d(452) r(363,377) d(248) 
	  6 d(452) r(363,377) a(369,264) 
	  1 d(452) r(363,377) d(386) 
	  1 d(452) r(363,377) d(270) 
	  0 d(452) r(319,309) r(245,224) 
	  1 d(251) d(371) d(386) d(366) d(372) 
	  0 d(370) r(321,325) d(384) d(389) 
	  6 d(452) a(388,377) d(314) 
	  6 d(256) a(249,269) d(320) d(387) 
	  3 d(251) r(379,377) r(452,453) d(389) 
	  1 a(257,318) r(372,390) d(244) d(311) 
	  6 d(251) d(371) r(373,391) r(373,379) 
	  6 d(370) r(453,450) 
	  6 d(251) r(379,391) d(381) a(249,269) r(266,268) d(318) 
	  6 d(370) a(249,269) r(266,268) r(449,324) 
	  0 d(251) r(379,391) d(381) d(255) 
	  1 d(370) d(260) a(314,315) 
	  6 d(251) d(266) a(262,253) 
	  6 d(370) d(266) d(266) 
	  1 d(251) d(260) d(249) 
	  6 d(256) d(262) d(245) 
	  1 d(256) a(384,389) d(323) a(258,259) 
	  6 d(452) a(370,378) d(371) a(330,251) 
	  6 d(452) r(319,309) r(385,390) 
	  0 r(331,318) r(277,270) r(267,248) r(248,244) 
	  6 d(370) d(266) d(366) 
search: generation 4 (sizeof one variant = 0.159591 MB)
	  1 d(370) r(453,450) d(262) d(245) d(270) 
	  6 d(256) a(268,222) 
	  2 d(370) r(453,450) r(389,366) 
	  6 d(256) d(262) d(245) d(260) 
	  2 a(314,248) r(253,250) a(389,374) r(371,377) d(317) r(374,386) 
	  6 d(452) a(370,378) d(371) a(330,251) d(321) 
	  2 d(314) a(449,315) r(331,318) d(329) r(252,264) 
	  6 d(251) d(371) r(373,391) a(365,373) r(385,382) 
	  0 d(251) d(325) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) 
	  6 d(251) r(379,391) d(381) d(324) d(374) 
	  6 d(256) d(262) d(245) a(365,315) 
	  6 d(251) d(371) r(373,391) a(391,376) d(365) 
	  6 a(314,248) r(387,366) a(370,378) d(449) r(381,372) r(324,314) 
	  6 d(365) d(371) r(373,391) r(373,379) a(311,318) 
	  2 d(251) d(376) d(327) d(268) r(392,380) 
	  1 d(365) d(376) d(327) d(268) d(311) 
	  6 d(251) d(371) r(373,391) r(373,379) r(327,320) 
	  6 d(365) d(376) d(327) d(268) d(248) 
	  6 d(251) d(266) a(262,253) d(269) 
	  0 d(452) d(327) d(258) d(451) 
	  6 d(224) a(389,374) r(371,377) a(273,263) d(321) 
	  6 d(251) d(250) 
	  1 d(370) d(266) d(266) r(379,377) r(452,453) d(389) a(310,323) 
	  0 d(251) r(379,377) r(452,453) d(389) d(330) 
	  6 d(370) d(266) d(266) d(268) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) 
	  1 d(224) r(389,382) d(379) r(321,318) 
	  1 d(370) r(321,325) r(375,391) d(373) a(378,369) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) 
	  0 d(365) d(376) r(244,255) d(376) 
	  6 d(256) a(249,269) d(320) d(327) d(268) d(365) 
	  6 d(365) d(376) d(327) d(268) a(319,222) 
	  6 d(256) a(249,269) d(320) r(244,255) r(377,387) 
	  1 d(251) d(260) d(249) a(329,222) 
	  2 d(251) d(371) r(373,391) r(373,379) r(389,391) 
	  6 d(251) d(371) r(373,391) r(373,379) d(382) 
	  0 d(251) d(260) d(249) a(322,224) 
	  6 d(370) r(321,325) d(384) a(277,318) d(327) 
	  6 d(370) d(266) d(366) r(372,370) 
	  0 d(256) r(321,325) r(270,273) a(387,373) r(266,263) 
	  0 d(370) r(321,325) r(375,391) d(373) a(314,269) 
	  6 d(370) r(252,251) d(366) d(372) a(386,384) 
	  1 d(251) d(371) d(386) r(259,224) 
	  0 d(370) r(252,251) d(322) 
	  0 d(251) d(371) d(386) d(366) d(372) d(267) 
	  6 d(256) a(249,269) d(320) d(387) d(269) 
	  6 d(256) d(262) d(245) a(364,366) 
	  6 d(251) d(371) r(373,391) d(320) a(248,263) r(252,269) 
	  6 d(256) a(249,269) a(391,376) r(252,244) 
	  6 d(251) d(371) r(373,391) a(391,376) d(321) 
	  6 d(256) a(249,269) d(320) a(248,263) d(320) 
	  0 d(251) d(266) a(262,253) d(275) 
	  6 d(370) r(321,325) d(384) a(277,318) a(363,365) 
	  3 a(314,248) r(249,253) r(321,325) d(384) d(256) d(369) 
	  1 d(256) r(259,256) d(371) r(268,245) d(369) 
search: generation 5 (sizeof one variant = 0.157086 MB)
	  6 a(314,248) r(363,378) 
	  1 d(251) d(371) r(373,391) a(391,376) d(365) r(249,253) r(321,325) d(384) d(256) d(369) d(224) 
	  3 a(314,248) r(249,253) r(321,325) d(384) d(256) d(369) d(387) 
	  0 d(251) d(371) r(373,391) a(391,376) d(365) r(325,329) 
	  0 d(251) d(260) d(249) a(322,224) d(253) 
	  0 a(314,248) r(249,253) r(321,325) d(384) d(256) d(369) d(372) 
	  0 d(251) d(260) d(249) a(322,224) r(453,452) 
	  3 a(314,248) r(249,253) r(321,325) d(384) d(256) d(369) r(277,270) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) 
	  2 d(251) d(376) d(327) d(268) r(392,380) r(388,370) 
	  6 d(251) d(266) a(262,253) d(269) a(386,384) d(374) 
	  6 d(370) r(252,251) d(366) d(372) d(258) 
	  1 d(251) d(266) a(262,253) d(269) d(390) 
	  3 d(370) r(252,251) d(366) d(372) a(386,384) d(389) 
	  6 d(251) d(371) r(373,391) d(320) a(248,263) r(252,269) a(453,318) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(449,251) 
	  1 d(251) d(371) a(311,318) d(275) 
	  0 d(365) d(371) r(373,391) r(373,379) r(373,391) a(365,373) r(257,244) r(323,331) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) 
	  6 d(365) d(371) r(373,391) r(373,379) a(311,318) a(451,364) 
	  6 d(251) d(250) d(269) a(271,276) 
	  1 d(251) d(266) a(262,253) d(270) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000293/libtiff/tif_dirinfo.c  d(251) d(250) r(251,387)  fails to compile
	  0 d(251) d(250) r(251,387) 
	  1 d(251) d(266) a(262,253) d(269) r(383,378) 
	  6 d(370) d(266) d(366) r(372,370) a(381,371) 
	  1 d(365) d(376) d(327) d(268) a(319,222) d(310) 
	  6 d(251) d(371) r(373,391) a(391,376) d(321) d(269) 
	  1 d(251) d(371) r(373,391) r(373,379) r(389,391) a(251,260) 
	  2 d(251) d(371) r(373,391) r(373,379) r(389,391) r(373,384) 
	  0 d(251) d(371) r(373,391) a(391,376) d(321) a(314,222) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) 
	  6 d(256) a(249,269) d(320) d(327) d(268) d(365) a(323,309) 
	  6 d(256) a(249,269) r(381,372) r(324,314) a(449,318) 
	  6 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) 
	  0 d(256) a(249,269) d(320) d(327) d(268) d(365) d(329) 
	  6 a(314,248) r(387,366) a(370,378) d(449) r(381,372) r(324,314) a(248,245) 
	  1 a(314,248) r(253,250) a(389,374) r(371,377) d(317) r(374,386) a(365,390) 
	  1 d(256) a(249,269) d(320) d(387) r(273,270) d(323) 
	  6 d(452) a(370,378) d(371) a(330,251) d(321) a(371,375) 
	  2 d(251) d(371) r(373,391) r(373,379) d(382) r(277,273) 
	  6 d(251) d(266) a(262,253) d(269) d(452) 
	  6 d(224) a(389,374) r(371,377) a(273,263) d(321) r(326,320) 
	  6 d(256) d(262) d(245) d(260) r(255,258) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) 
	  5 d(251) r(379,391) d(262) d(245) r(379,391) d(381) d(324) r(257,256) d(331) 
	  6 d(256) d(381) d(324) d(374) r(384,377) 
	  6 d(251) r(379,391) d(381) d(324) d(374) a(274,368) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(321,314) 
	  6 d(251) d(371) d(321) a(276,275) 
	  6 d(251) d(371) r(373,391) a(391,376) r(373,391) r(373,379) d(382) d(382) 
	  6 d(251) d(371) r(373,391) r(373,379) d(382) a(381,391) 
	  0 d(251) d(371) r(373,391) a(391,376) d(321) a(316,269) 
	  6 d(256) a(249,269) d(320) a(248,263) d(320) a(379,372) 
	  0 d(370) d(266) d(266) d(268) d(451) 
	  1 d(365) d(376) d(327) d(268) r(260,268) 
	  6 d(251) d(250) d(248) d(263) 
	  6 d(365) d(376) d(327) d(268) d(248) a(267,253) 
	  6 d(251) d(250) d(379) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) r(224,256) 
	  6 d(256) d(262) d(245) a(364,366) r(391,378) 
	  6 d(256) d(262) d(245) a(364,366) a(276,224) 
	  2 d(256) a(249,269) d(320) d(387) r(273,270) d(392) 
search: generation 6 (sizeof one variant = 0.158832 MB)
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) 
	  6 d(370) d(266) d(366) r(372,370) a(381,371) a(328,326) 
	  3 d(251) d(266) a(262,253) d(269) d(390) r(269,248) 
	  6 d(370) d(266) d(366) r(372,370) a(381,371) a(331,329) 
	  6 d(256) d(262) d(245) d(260) d(266) d(366) r(372,370) a(381,371) a(318,325) 
	  2 d(370) r(255,258) r(248,391) 
	  0 d(256) d(262) d(245) d(260) r(255,258) d(451) 
	  0 d(370) d(266) d(366) r(372,370) a(381,371) d(325) 
	  0 a(314,248) r(253,250) a(389,374) r(371,377) d(317) r(374,386) d(262) d(245) a(364,366) a(276,224) d(390) 
	  2 d(256) a(365,390) r(321,329) 
	  0 a(314,248) r(253,250) a(389,374) r(371,377) d(317) r(374,386) a(365,390) r(255,269) 
	  6 d(256) d(262) d(245) a(364,366) a(276,224) r(387,374) 
	  1 d(256) a(249,269) r(381,372) r(324,314) a(276,275) d(386) 
	  6 d(251) d(371) d(321) a(449,318) a(252,268) 
	  3 d(256) a(249,269) r(381,372) r(324,314) a(449,318) d(390) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) 
	  1 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) d(369) r(277,270) d(392) 
	  1 a(314,248) r(249,253) r(321,325) d(384) d(256) a(326,321) 
	  1 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(450,452) 
	  1 a(314,248) r(249,253) r(321,325) d(384) d(256) d(369) r(277,270) a(248,245) 
	  6 d(251) d(266) a(262,253) d(269) a(386,384) d(374) r(373,374) 
	  6 d(256) a(249,269) d(320) d(327) d(268) d(365) a(323,309) d(248) 
	  6 d(370) r(252,251) d(366) d(387) r(273,270) r(224,256) a(363,381) 
	  1 d(256) a(249,269) d(320) d(372) a(386,384) d(389) d(450) 
	  0 d(370) r(252,251) d(366) d(372) a(386,384) d(389) r(372,365) 
	  2 d(256) a(249,269) d(320) d(387) r(273,270) r(224,256) r(267,253) 
	  1 d(370) a(364,366) r(391,378) r(260,259) 
	  0 d(256) d(262) d(245) d(266) d(266) d(268) d(451) r(316,323) 
	  0 d(370) d(266) d(266) d(268) d(451) a(244,264) 
	  0 d(256) d(262) d(245) a(364,366) r(391,378) d(222) 
	  0 d(251) d(266) a(262,253) d(269) d(452) d(325) 
	  6 d(251) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) 
	  2 d(370) r(252,251) d(366) d(372) a(386,384) d(389) r(269,268) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(380) 
	  4 d(224) a(389,374) r(371,377) a(273,263) d(321) r(326,320) d(372) d(258) d(369) 
	  0 d(370) r(252,251) d(366) r(325,330) 
	  6 d(224) a(389,374) r(371,377) a(273,263) d(321) r(326,320) a(275,368) 
	  0 d(370) r(252,251) d(366) d(372) d(258) r(255,263) 
	  1 d(251) d(371) d(277) 
	  0 d(370) r(252,251) d(366) d(372) a(386,384) d(389) r(373,391) a(365,373) r(257,244) r(370,387) d(274) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) d(324) 
	  1 d(370) r(252,251) d(366) d(372) a(386,384) d(389) a(387,314) 
	  6 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) 
	  0 a(314,248) r(363,378) r(389,376) 
	  6 d(452) a(370,378) d(371) a(330,251) d(321) r(324,314) a(449,318) d(385) 
	  6 d(256) a(249,269) r(381,372) a(371,375) d(315) 
	  6 d(452) a(370,378) d(371) a(330,251) d(321) a(371,375) a(248,251) 
	  6 d(256) a(249,269) r(381,372) r(324,314) a(449,318) a(255,318) 
	  6 d(256) d(262) d(245) a(364,366) r(391,378) d(363) 
	  3 d(251) d(371) r(373,391) r(373,379) r(389,391) r(373,384) d(359) 
	  0 d(256) a(249,269) d(320) a(248,263) d(320) a(379,372) d(320) d(387) r(273,270) r(224,256) r(310,316) 
	  6 d(256) a(249,269) a(252,318) 
	  6 d(256) a(249,269) d(320) a(248,263) d(320) a(379,372) r(321,318) 
	  0 d(256) a(249,269) d(320) d(387) r(273,270) r(224,256) d(270) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) 
	  6 d(251) d(371) r(373,391) a(391,376) d(321) d(269) a(328,263) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) 
	  0 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) a(382,365) 
	  2 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) d(274) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(266) 
	  6 d(251) d(266) r(373,391) a(365,373) r(257,244) r(370,387) d(384) 
	  0 d(251) d(371) a(262,253) d(269) d(390) r(270,277) 
	  0 d(251) d(266) a(262,253) d(269) d(390) a(380,391) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) a(359,379) 
search: generation 7 (sizeof one variant = 0.157114 MB)
	  6 d(256) r(257,244) r(370,387) d(324) d(244) 
	  6 d(251) d(371) r(373,391) a(365,373) a(249,269) r(381,372) a(371,375) d(315) a(314,325) 
	  1 d(256) a(249,269) r(381,372) a(371,375) d(315) r(322,310) 
	  2 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) d(324) r(276,275) 
	  1 d(256) d(262) d(245) a(364,366) r(391,378) d(222) d(259) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) 
	  1 d(251) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) d(245) 
	  0 d(251) d(266) a(262,253) d(269) d(390) r(269,248) d(264) 
	  6 d(224) a(389,374) r(371,377) d(266) a(262,253) d(269) a(386,384) d(374) r(373,374) r(262,251) 
	  6 d(251) a(273,263) d(321) r(326,320) a(275,368) d(381) 
	  6 d(224) a(389,374) r(371,377) a(273,263) d(321) r(326,320) a(275,368) d(374) 
	  6 d(251) d(266) a(262,253) d(269) a(386,384) d(374) r(373,374) d(387) 
	  6 a(314,248) r(363,378) d(321) a(371,375) a(248,251) r(262,268) 
	  2 d(452) a(370,378) d(371) a(330,251) r(389,376) d(392) 
	  3 a(314,248) r(363,378) r(389,376) a(276,275) 
	  1 d(452) a(370,378) d(371) a(330,251) d(321) a(371,375) a(248,251) d(267) 
	  6 d(251) d(371) d(321) a(449,318) a(252,268) d(328) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) 
	  6 d(251) d(371) r(373,391) a(391,376) d(321) d(269) a(328,263) d(365) 
	  4 d(452) a(370,378) d(371) a(330,251) d(321) r(324,314) a(449,318) d(385) a(322,316) 
	  6 d(256) d(381) d(324) r(257,256) r(373,380) a(245,251) d(359) 
	  0 d(256) d(262) d(245) r(379,391) a(249,269) d(320) d(387) r(273,270) r(224,256) r(267,253) a(310,318) 
	  0 d(256) a(249,269) d(320) d(387) r(273,270) r(224,256) r(267,253) r(267,255) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000420/libtiff/tif_dirinfo.c  d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(318,381)  fails to compile
	  0 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(318,381) 
	  6 d(251) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) r(359,376) 
	  0 d(251) d(371) d(321) a(449,318) a(252,268) r(451,453) 
	  1 d(251) d(371) d(321) a(449,318) d(372) a(386,384) d(389) r(269,268) r(251,318) 
	  0 d(370) r(252,251) d(366) a(252,268) d(276) 
	  6 d(251) d(371) d(321) a(449,318) a(252,268) d(365) 
	  0 d(370) r(252,251) d(366) d(372) a(386,384) d(389) r(269,268) a(373,248) 
	  1 d(370) d(266) d(366) r(372,370) a(381,371) a(331,329) r(378,392) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) a(365,224) 
	  0 d(370) d(266) d(366) r(372,370) a(381,371) a(328,326) a(262,253) d(269) d(390) r(270,277) r(329,316) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000430/libtiff/tif_dirinfo.c  d(251) d(371) r(318,379)  fails to compile
	  0 d(251) d(371) r(318,379) 
	  3 d(370) d(266) d(366) r(372,370) a(381,371) a(328,326) d(331) 
	  0 d(251) d(371) a(262,253) d(269) d(390) r(270,277) d(329) 
	  2 d(370) r(255,258) r(248,391) d(314) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) a(268,267) 
	  0 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) a(316,306) 
	  6 d(256) a(249,269) d(320) d(327) d(268) d(365) a(323,309) d(248) d(269) 
	  3 a(314,248) r(387,366) a(370,378) d(449) r(257,244) r(370,387) d(274) d(248) 
	  6 d(251) d(371) r(373,391) a(365,373) d(320) d(327) d(268) d(365) d(384) r(250,253) a(258,263) 
	  6 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) 
	  0 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) d(274) a(373,365) 
	  0 d(251) d(371) d(258) d(369) r(268,259) 
	  0 d(224) a(389,374) r(371,377) a(273,263) d(321) r(326,320) d(372) d(321) a(276,275) a(365,381) d(317) 
	  2 d(251) d(371) d(321) a(276,275) a(365,381) r(386,382) 
	  1 d(224) a(389,374) r(371,377) a(273,263) d(321) r(326,320) d(372) d(258) d(369) d(259) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) d(370) 
	  1 a(314,248) r(249,253) r(321,325) d(384) d(256) d(369) r(277,270) a(248,245) d(245) 
	  0 d(370) d(266) d(366) r(372,370) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(318,260) 
	  6 d(256) d(262) d(245) a(381,371) a(328,326) d(245) 
	  3 d(370) d(266) d(366) r(372,370) a(381,371) a(328,326) d(274) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) 
	  6 d(256) d(262) d(245) d(260) d(266) d(366) r(372,370) a(381,371) a(318,325) r(365,380) 
	  1 d(251) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) r(260,251) 
	  5 d(256) d(320) d(327) d(268) d(365) a(323,309) d(248) d(331) 
	  0 d(256) a(249,269) d(262) d(245) a(364,366) a(276,224) r(387,374) r(322,323) 
	  6 d(256) d(262) d(245) a(364,366) a(276,224) r(387,374) d(269) 
	  6 d(256) a(249,269) d(320) d(327) d(268) d(365) a(323,309) d(248) d(268) 
search: generation 8 (sizeof one variant = 0.157365 MB)
	  6 d(452) a(370,378) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(372,378) 
	  1 d(256) d(262) d(371) a(330,251) r(389,376) d(392) d(327) 
	  1 d(452) a(370,378) d(371) a(330,251) r(389,376) d(392) a(374,359) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(326,316) 
	  6 d(251) d(371) d(321) r(363,378) d(321) a(371,375) a(248,251) r(262,268) a(260,259) 
	  0 a(314,248) a(449,318) a(252,268) d(328) d(244) 
	  0 d(251) d(371) d(321) a(449,318) a(252,268) d(328) d(322) 
	  6 a(314,248) r(363,378) d(321) a(371,375) a(248,251) r(262,268) r(254,253) 
	  1 d(251) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) r(260,251) r(258,268) 
	  6 d(251) d(371) r(373,391) a(391,376) d(321) d(269) a(328,263) d(365) d(259) 
	  6 d(251) d(371) r(373,391) a(276,270) 
	  2 d(251) d(371) d(321) a(276,275) a(365,381) r(386,382) r(373,379) d(382) a(381,391) a(268,264) r(359,376) r(256,258) 
	  6 d(251) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) r(359,376) a(259,314) 
	  3 d(251) d(371) d(321) a(276,275) a(365,381) r(386,382) a(379,251) 
	  0 d(256) d(365) a(323,309) d(248) d(269) d(317) 
	  1 d(256) a(249,269) d(320) d(327) d(268) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) r(311,323) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(253,248) 
	  6 d(256) a(249,269) d(320) d(327) d(268) d(365) a(323,309) d(248) d(269) d(359) 
	  6 a(314,248) r(387,366) a(365,381) r(381,372) d(264) 
	  1 d(251) d(371) d(321) a(276,275) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(369,381) 
	  6 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(252,253) 
	  3 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) r(311,310) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) a(371,375) a(248,251) r(262,268) r(257,267) 
	  1 a(314,248) r(363,378) d(321) d(452) d(386) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) d(327) 
	  6 a(314,248) r(363,378) d(321) a(371,375) a(248,251) r(262,268) d(370) 
	  0 d(452) a(370,378) d(371) a(330,251) d(321) a(371,375) a(248,251) d(267) d(320) 
	  0 d(452) a(370,378) d(371) a(330,251) d(321) a(371,375) a(248,251) d(267) d(254) 
	  6 d(256) a(249,269) d(320) d(387) r(257,256) r(373,380) a(245,251) r(318,260) a(326,224) 
	  6 d(370) d(266) d(366) r(372,370) r(379,391) d(381) d(324) r(273,270) a(359,370) a(392,385) d(452) d(250) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) d(330) 
	  0 d(370) d(266) d(366) r(372,370) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(318,260) d(222) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) r(373,391) a(365,373) r(257,244) a(380,379) d(244) a(268,267) a(378,386) 
	  0 d(251) d(371) d(244) d(370) d(318) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) d(370) r(256,267) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) a(268,267) a(252,222) 
	  6 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) 
	  1 a(314,248) r(387,366) a(370,378) d(449) d(245) a(381,371) a(328,326) d(245) d(370) 
	  0 d(256) d(262) d(245) a(381,371) a(328,326) d(245) d(329) 
	  6 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(253,248) 
	  6 d(251) d(371) r(373,391) a(365,373) a(249,269) r(381,372) a(371,375) d(315) a(314,325) d(250) 
	  0 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) d(324) r(276,275) r(317,326) 
	  1 d(452) a(370,378) d(371) a(330,251) d(321) r(324,314) a(449,318) d(385) a(322,316) r(325,324) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) d(379) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000501/libtiff/tif_dirinfo.c  d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) r(391,378) d(222) d(259) r(364,320)  fails to compile
	  0 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) r(391,378) d(222) d(259) r(364,320) 
	  6 d(256) d(262) d(245) a(364,366) d(379) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) r(250,258) 
	  0 d(256) d(262) d(245) a(364,366) r(391,378) d(222) d(259) a(365,370) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(275,368) d(381) d(314) 
	  0 d(251) a(273,263) d(321) r(326,320) a(245,251) r(254,258) a(380,386) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(266,267) 
	  6 d(251) a(273,263) d(321) r(326,320) a(275,368) d(381) r(251,245) 
	  0 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) d(323) 
	  0 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) d(324) r(276,275) d(253) 
	  6 d(251) d(371) r(373,391) a(365,373) a(249,269) r(381,372) a(371,375) d(315) a(314,325) r(382,369) 
	  0 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(317,327) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(249,315) 
	  6 d(256) d(262) d(245) a(364,366) a(276,224) r(387,374) d(269) d(263) 
	  6 d(256) d(262) d(245) a(381,371) a(328,326) d(245) d(328) 
	  6 d(256) a(249,269) d(320) d(327) d(268) d(365) a(323,309) d(248) d(269) r(379,371) 
	  0 d(224) a(389,374) r(371,377) d(266) a(262,253) d(269) a(386,384) d(374) r(381,372) r(450,449) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) r(373,374) r(262,251) a(314,316) 
	  6 d(224) a(389,374) r(371,377) d(266) a(262,253) d(269) a(386,384) d(374) r(373,374) r(262,251) a(330,326) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000520/libtiff/tif_dirinfo.c  d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) r(368,250)  fails to compile
	  0 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) r(368,250) 
search: generation 9 (sizeof one variant = 0.157129 MB)
	  1 d(256) d(365) a(323,309) d(248) d(269) d(317) r(365,386) 
	  3 d(452) a(370,378) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(372,378) r(386,376) 
	  0 d(251) d(371) d(321) a(276,275) a(365,381) r(373,374) r(262,251) a(314,316) r(266,250) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(253,248) d(363) 
	  6 a(314,248) r(363,378) d(321) a(371,375) a(248,251) r(262,268) d(245) a(364,366) d(379) d(315) 
	  6 d(256) d(262) r(254,253) r(379,390) 
	  6 a(314,248) r(363,378) d(321) a(371,375) a(248,251) r(262,268) r(254,253) r(377,372) 
	  6 d(256) d(262) d(245) a(364,366) d(379) d(314) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(266,267) d(321) a(276,275) a(365,381) r(381,372) d(379) r(244,251) 
	  6 d(251) d(371) d(371) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(266,267) a(263,314) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) d(379) a(381,449) 
	  6 d(251) a(268,267) a(252,222) r(370,381) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) r(359,376) a(259,314) d(264) 
	  0 d(251) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) r(359,376) a(259,314) d(323) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000536/libtiff/tif_dirinfo.c  d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) a(268,267) a(252,222) r(364,321)  fails to compile
	  0 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) a(268,267) a(252,222) r(364,321) 
	  6 a(314,248) r(363,378) d(321) a(371,375) a(248,251) r(262,268) d(370) a(377,318) 
	  0 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) r(311,310) r(449,318) 
	  3 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) d(274) 
	  6 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) a(249,368) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(249,315) d(452) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(359,370) a(392,385) d(452) d(330) r(256,269) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) d(330) a(256,268) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(249,315) r(378,368) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) r(373,374) r(262,251) a(314,316) r(315,263) 
	  6 d(256) a(249,269) d(320) d(387) r(257,256) r(373,380) a(245,251) r(318,260) a(326,224) a(275,315) 
	  0 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) r(373,391) a(365,373) r(257,244) a(380,379) d(244) a(268,267) a(378,386) d(383) 
	  0 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(317,327) a(328,269) 
	  6 a(314,248) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) a(268,267) a(252,222) d(368) 
	  6 d(251) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(252,253) d(264) 
	  6 a(314,248) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(252,253) a(323,326) 
	  0 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) a(268,267) a(252,222) r(310,324) 
	  0 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) r(317,325) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) a(371,375) a(248,251) r(262,268) r(257,267) a(222,224) 
	  0 d(256) a(249,269) d(320) d(387) r(365,392) 
	  1 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) d(324) r(276,275) r(317,326) r(273,270) a(359,370) a(392,385) d(452) a(249,315) d(369) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(249,315) r(224,325) 
	  1 d(251) d(371) r(373,391) a(365,373) r(257,244) r(370,387) d(324) r(276,275) r(317,326) r(385,392) 
	  6 d(251) d(371) r(373,391) a(365,373) a(249,269) r(381,372) a(371,375) d(315) a(314,325) d(250) d(259) 
	  6 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) r(252,264) 
	  6 d(224) a(389,374) r(371,377) d(266) a(262,253) d(269) a(386,384) d(374) r(373,374) r(262,251) a(330,326) d(324) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) r(373,374) r(262,251) a(314,316) a(271,368) 
	  2 d(251) d(371) d(244) d(387) r(273,270) a(359,370) a(392,385) d(452) r(250,258) d(378) 
	  6 d(256) a(249,269) d(320) d(370) d(318) r(453,449) 
	  0 d(251) d(371) d(244) d(370) d(318) a(450,224) 
	  0 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) r(250,258) d(323) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(275,368) d(381) d(365) d(384) r(250,253) a(224,267) a(328,364) r(378,385) 
	  0 d(256) d(262) d(320) d(327) d(268) d(314) r(325,316) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(275,368) d(381) d(314) d(452) 
	  1 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) r(390,359) 
	  3 a(314,248) r(363,378) d(321) d(452) d(386) r(449,452) 
	  1 d(452) a(370,378) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(372,378) r(369,370) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(253,248) a(263,364) 
	  2 a(314,248) r(387,366) a(370,378) d(449) d(245) a(381,371) a(328,326) d(245) d(370) d(259) 
	  0 a(314,248) r(387,366) a(370,378) d(449) d(245) a(381,371) a(328,326) d(245) d(370) d(267) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(266,267) d(359) 
search: generation 10 (sizeof one variant = 0.159156 MB)
	  6 d(256) a(249,269) d(320) d(387) a(252,222) r(370,381) d(315) 
	  6 d(251) a(268,267) r(273,270) a(359,370) a(392,385) d(452) a(253,248) d(363) d(315) 
	  0 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(253,248) d(363) a(263,269) 
	  0 d(251) a(268,267) a(252,222) r(370,381) r(378,388) 
	  0 a(314,248) r(363,378) d(321) a(371,375) a(248,251) r(262,268) d(245) a(364,366) d(379) d(315) r(328,317) 
	  6 d(251) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(252,253) d(264) a(320,368) 
	  0 d(251) d(371) d(321) a(276,275) a(365,381) r(373,374) r(262,251) a(314,316) r(315,263) r(322,311) 
	  2 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(275,368) d(381) d(314) d(452) d(317) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(359,370) a(392,385) d(452) d(330) r(256,269) d(251) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(266,267) d(321) a(276,275) a(365,381) r(381,372) d(379) r(244,251) a(381,366) 
	  0 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(249,315) d(371) d(371) r(369,382) 
	  6 d(251) r(224,325) a(263,267) 
	  0 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(249,315) r(224,325) a(275,270) 
	  6 d(251) d(371) d(371) a(377,318) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(253,248) a(263,364) a(276,273) 
	  0 a(314,248) r(363,378) d(321) a(371,375) a(248,251) r(262,268) r(254,253) r(377,372) d(222) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000593/libtiff/tif_dirinfo.c  d(256) d(262) a(276,275) a(365,381) r(381,372) d(379) a(381,449) r(364,452)  fails to compile
	  0 d(256) d(262) a(276,275) a(365,381) r(381,372) d(379) a(381,449) r(364,452) 
	  6 d(251) d(371) d(321) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) r(252,264) d(253) 
	  6 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) r(252,264) r(249,264) 
	  2 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) d(379) a(381,449) r(389,390) 
	  6 d(256) d(262) d(320) d(327) d(252) 
	  5 d(251) a(268,267) a(252,222) r(370,381) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) a(249,368) r(328,323) 
	  6 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) a(249,368) d(266) 
	  0 d(251) a(268,267) a(252,222) r(370,381) d(310) 
	  6 d(256) d(262) d(320) d(327) d(268) d(365) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(266,267) d(359) d(249) 
	  1 d(256) d(262) d(245) r(379,391) d(381) d(384) r(250,253) a(224,267) a(328,364) r(390,359) r(369,378) 
	  2 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) r(390,359) a(326,316) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(266,267) d(359) a(322,330) 
	  2 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) r(359,376) a(259,314) d(264) d(388) 
	  6 d(251) d(371) d(321) a(276,275) a(365,381) r(373,374) r(262,251) a(314,316) r(315,263) r(264,385) 
	  6 d(251) r(387,366) a(370,378) d(449) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(359,370) a(392,385) d(452) d(330) r(256,269) d(380) 
	  6 d(256) a(249,269) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(252,253) d(264) a(248,268) 
	  6 d(251) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(252,253) d(264) a(326,322) 
	  0 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(359,370) a(392,385) d(452) d(330) r(256,269) r(323,327) 
	  1 a(314,248) r(363,378) d(321) d(452) d(386) r(449,452) a(224,366) 
	  0 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(249,315) r(224,325) a(254,258) 
	  6 d(251) a(268,267) a(252,222) r(370,381) r(374,385) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(266,267) a(263,314) d(330) 
	  6 d(251) r(387,366) a(370,378) d(449) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) r(252,253) d(264) r(376,389) 
	  0 d(251) d(371) d(321) a(276,275) a(365,381) r(381,372) r(311,310) r(449,318) a(388,384) 
	  1 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) r(252,264) d(275) 
	  6 d(251) a(268,267) a(252,222) r(370,381) a(275,318) 
	  6 d(452) a(370,378) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) d(387) r(273,270) a(359,370) a(392,385) d(452) a(359,370) a(392,385) d(452) d(330) r(256,269) r(248,314) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2008-04-15-2e8b2f1-0d27dc0/000620/libtiff/tif_dirinfo.c  d(256) a(249,269) d(320) r(372,378) r(369,370) r(263,363)  fails to compile
	  0 d(256) a(249,269) d(320) r(372,378) r(369,370) r(263,363) 
	  2 d(452) a(370,378) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(245,251) r(254,258) r(372,378) r(369,370) r(379,388) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(359,370) a(392,385) d(452) a(359,370) a(392,385) d(452) d(330) r(256,269) d(259) 
	  0 d(251) d(371) d(244) d(387) r(273,270) a(359,370) a(392,385) d(452) r(250,258) d(378) d(451) 
	  0 d(256) d(262) d(320) d(327) d(268) d(365) d(384) r(250,253) a(224,267) a(328,364) d(274) r(321,325) 
	  0 d(256) a(249,269) d(320) d(370) d(381) d(324) r(257,256) r(373,380) a(275,368) d(381) d(314) d(452) r(264,258) 
	  6 d(256) d(262) d(245) r(379,391) d(318) r(453,449) d(449) 
	  6 d(256) a(249,269) d(320) d(370) d(318) r(453,449) d(248) 
	  6 d(256) d(262) d(245) r(379,391) d(381) d(324) r(257,256) r(373,380) a(275,368) d(381) d(314) d(452) r(385,376) 
	  6 d(256) a(249,269) d(320) d(387) r(273,270) a(249,315) d(452) r(258,264) 
	  6 d(251) d(371) r(373,391) a(365,373) r(257,244) a(380,379) d(244) d(371) r(373,391) r(373,379) d(382) a(381,391) a(268,264) r(359,376) a(259,314) d(264) a(256,263) 
	  6 d(251) d(371) r(373,391) a(365,373) a(249,269) r(381,372) a(371,375) d(315) a(314,325) d(250) d(259) d(364) 
	  6 d(251) d(371) r(373,391) a(365,373) a(249,269) r(381,372) a(371,375) d(315) a(314,325) d(250) d(259) r(314,364) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 4354
"Test Suite Evaluations": 70.2258

Compile Failures: 13
Wall-Clock Seconds Elapsed: 7842.5
  Activity Name                     Count Seconds = Percent of Total Time
  test                               4324 1852.230 = 23.8667%
  compile                             634 5908.439 = 76.1326%
  TOTAL                                   7760.723 = 98.9571% (avg CPU usage)
libtiff-bug-2008-04-15-2e8b2f1-0d27dc0.tar.gz
Sat Sep 21 16:21:44 EDT 2013
shutting down
