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 10
--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-245-109-232 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:42 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           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmpb07eb9.c /tmp/tmpba60d5.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 = 23.8519)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1904
cilRep: stmts in weighted_path = 366
cilRep: total weight = 237.6
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: libtiff/tif_dirwrite.c (code bank/base file; atoms [1,1904])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.189627 MB)
search: initial population (sizeof one variant = 0.0119905 MB)
	177 d(454) 
	  6 a(731,427) 
	  6 d(498) 
	  6 d(1756) 
	  0 r(388,449) 
	125 r(694,608) 
	  6 r(1749,1770) 
	  6 r(1212,1202) 
	  6 d(728) 
	  6 a(603,482) 
	  6 d(1379) 
	  2 r(393,494) 
	  1 r(414,738) 
	  6 a(510,690) 
	  6 d(1804) 
	  6 d(789) 
	  6 r(467,743) 
	  2 r(429,571) 
	  6 d(589) 
	  6 d(611) 
	177 d(1765) 
	  1 r(932,940) 
	  6 r(728,1183) 
	  6 d(390) 
	  1 r(1465,1456) 
	  6 d(805) 
	  6 d(701) 
	  6 d(596) 
	  6 d(407) 
	  5 r(698,386) 
	  6 d(587) 
	  6 d(354) 
	177 r(805,801) 
	  1 r(1425,1422) 
	  3 r(1212,1201) 
	  5 r(941,943) 
	177 r(474,815) 
	  6 a(1742,1421) 
	  1 r(927,931) 
	  3 original
search: generation 1 (sizeof one variant = 0.189485 MB)
	177 r(694,608) d(1756) 
	  1 r(429,571) d(575) 
	125 r(694,608) d(847) 
	  1 r(429,571) a(674,555) 
	  6 a(1742,1421) r(1712,1737) 
	  1 d(1379) r(1200,1196) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000045/libtiff/tif_dirwrite.c  a(1742,1421) r(1423,1753)  fails to compile
	  0 a(1742,1421) r(1423,1753) 
	  1 r(728,1183) r(585,441) 
	  6 d(611) d(394) 
	  6 d(498) a(1845,1411) 
	  6 d(611) r(1756,1748) 
	  6 d(498) a(1182,376) 
	  6 d(701) d(1766) 
	125 r(474,815) d(666) 
	125 d(701) r(574,595) 
	124 r(474,815) d(1810) 
	  6 d(611) d(352) 
	  6 r(728,1183) r(1462,1456) 
	  2 d(1765) r(952,934) 
	177 r(805,801) r(1902,1844) 
	125 d(1765) a(392,691) 
	177 r(805,801) r(1466,1463) 
	  0 d(587) d(697) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000062/libtiff/tif_dirwrite.c  d(587) r(1407,733)  fails to compile
	  0 d(587) r(1407,733) 
	  6 d(587) d(746) 
	  2 d(587) d(1182) 
	  0 r(1212,1201) r(608,735) 
	  6 d(805) r(600,356) 
	177 r(694,608) r(350,573) 
	  0 d(407) d(745) 
	  6 d(805) d(578) 
	125 r(694,608) d(570) 
	  6 d(805) r(736,325) 
	177 r(694,608) r(582,408) 
	  6 d(701) r(1706,1712) 
	  6 d(611) r(408,676) 
	177 r(694,608) d(939) 
	  6 d(354) d(412) 
	125 r(694,608) r(510,1750) 
	  6 d(354) a(691,687) 
	177 r(805,801) r(1715,1766) 
	  6 a(731,427) d(352) 
	125 r(805,801) r(598,406) 
	177 a(731,427) a(1715,927) 
	  2 r(1212,1201) d(580) 
	124 d(454) a(721,1451) 
	  1 d(789) a(746,393) 
	  6 d(589) r(934,1189) 
	  6 r(728,1183) a(1764,1749) 
	177 d(611) r(1180,1176) 
	  6 a(603,482) a(596,1418) 
	  1 r(805,801) d(1212) 
	  1 a(603,482) r(449,376) 
	125 r(805,801) a(510,1183) 
	  6 d(805) a(1416,1557) 
	125 d(454) d(589) 
	  6 d(805) a(1765,370) 
	  2 d(454) r(944,938) 
	  0 r(1212,1201) a(1196,1200) 
	  1 r(1212,1201) r(393,744) 
	  2 r(1212,1201) d(1720) 
	  3 r(1212,1201) d(448) 
search: generation 2 (sizeof one variant = 0.194127 MB)
	  6 r(728,1183) r(600,356) d(1708) 
	  0 d(805) a(1764,1749) d(697) 
	  6 r(728,1183) a(1764,1749) d(585) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000104/libtiff/tif_dirwrite.c  d(805) r(600,356) r(1770,352)  fails to compile
	  0 d(805) r(600,356) r(1770,352) 
	124 r(694,608) r(582,408) r(1195,1182) 
	  3 d(1379) r(1200,1196) a(947,511) 
	  1 d(454) a(721,1451) r(1422,1426) 
	177 r(694,608) d(1756) a(474,348) 
	177 r(474,815) d(666) d(376) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000109/libtiff/tif_dirwrite.c  d(611) r(408,676) r(1704,1175)  fails to compile
	  0 d(611) r(408,676) r(1704,1175) 
	177 r(694,608) d(580) d(1717) 
	  1 r(1212,1201) r(350,573) a(1767,1715) 
	177 r(694,608) r(350,573) d(695) 
	  1 r(1212,1201) d(580) r(436,510) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000114/libtiff/tif_dirwrite.c  d(701) d(1766) r(1812,574)  fails to compile
	  0 d(701) d(1766) r(1812,574) 
	  1 d(701) r(1706,1712) d(1414) 
	  1 r(1212,1201) r(608,735) d(360) 
	177 r(805,801) r(1466,1463) d(667) 
	  6 d(498) a(1845,1411) r(733,603) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000119/libtiff/tif_dirwrite.c  d(498) a(1845,1411) r(1379,1748)  fails to compile
	  0 d(498) a(1845,1411) r(1379,1748) 
	177 r(805,801) a(510,1183) d(1377) 
	177 r(805,801) a(510,1183) d(1900) 
	  1 d(701) r(574,595) r(944,938) d(1190) 
	125 d(454) d(730) 
	125 d(701) r(574,595) a(699,575) 
	  0 d(454) r(944,938) a(341,338) 
	  4 r(805,801) r(598,406) d(929) 
	  4 d(587) d(697) d(951) 
	177 r(805,801) r(598,406) a(669,510) 
	  0 d(354) d(412) d(952) 
	  5 d(454) a(721,1451) r(806,345) 
	  3 r(805,801) r(1466,1463) r(945,941) 
	  5 d(354) a(1715,927) r(506,386) 
	  6 a(731,427) a(691,687) r(468,736) 
	  6 d(354) a(691,687) d(1422) 
	125 a(731,427) a(1715,927) a(752,1077) 
	125 r(474,815) d(1810) r(846,847) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000137/libtiff/tif_dirwrite.c  r(694,608) r(350,573) r(1194,1454)  fails to compile
	  0 r(694,608) r(350,573) r(1194,1454) 
	  6 d(805) a(1765,370) a(1729,411) 
	  1 r(805,801) r(598,406) r(744,718) 
	  6 d(805) a(1765,370) r(693,324) 
	177 r(805,801) r(598,406) a(412,344) 
	  1 r(1212,1201) d(1720) d(435) 
	177 r(805,801) r(1466,1463) d(1413) 
	  5 d(587) d(746) a(1754,1755) 
	  0 d(587) d(1182) d(575) 
	125 r(805,801) a(1416,1557) a(1196,474) 
	177 d(805) r(1715,1766) d(669) 
	177 r(805,801) r(1715,1766) a(800,1557) 
	  6 d(805) a(1416,1557) a(450,786) 
	  0 r(1212,1201) d(1720) r(813,442) 
	  6 r(728,1183) r(1462,1456) d(1415) 
search: generation 3 (sizeof one variant = 0.191093 MB)
	  2 d(701) r(574,595) r(944,938) d(1190) d(578) 
	  1 r(1212,1201) d(1720) d(435) d(393) 
	  6 d(354) r(788,328) 
	  5 d(701) r(574,595) a(699,575) a(1715,927) r(506,386) d(454) 
	  5 d(354) a(1715,927) r(506,386) d(694) 
	  0 d(701) r(574,595) a(699,575) r(1714,1707) 
	125 r(805,801) r(1715,1766) a(800,1557) a(740,448) 
	  1 r(805,801) r(598,406) d(929) d(510) 
	177 r(694,608) d(1756) a(474,348) r(806,345) d(1708) 
	177 d(454) a(721,1451) d(376) 
	177 r(694,608) d(1756) a(474,348) r(748,601) 
	  6 d(454) a(721,1451) r(806,345) d(747) 
	  6 a(731,427) a(691,687) r(468,736) d(941) 
	  6 d(354) a(691,687) d(1422) r(681,688) 
	  6 d(454) a(721,1451) r(806,345) a(738,386) 
	  0 d(701) r(1706,1712) d(1414) r(1463,1175) 
	  2 r(1212,1201) d(1720) d(435) r(1466,1463) d(1413) a(847,456) 
	  4 r(805,801) a(498,406) 
	  0 r(1212,1201) d(1720) d(435) d(390) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) 
	177 a(731,427) a(1715,927) d(805) 
	125 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) 
	177 a(731,427) a(1715,927) a(752,1077) r(1412,1411) 
	177 r(805,801) a(1416,1557) a(1196,474) r(510,486) 
	  1 d(1379) r(1200,1196) a(947,511) r(946,937) 
	  0 r(694,608) d(580) d(1717) d(923) 
	  0 d(805) a(1765,370) d(920) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) 
	  6 d(805) a(1765,370) a(1729,411) d(699) 
	  6 d(805) a(1765,370) a(1729,411) d(746) 
	  3 r(728,1183) d(669) r(397,804) 
	177 d(805) r(1715,1766) r(600,356) d(1708) a(595,1377) 
	177 r(728,1183) r(600,356) d(1708) r(1764,1758) 
	  3 d(805) r(1715,1766) d(669) r(944,949) 
	177 d(454) r(944,938) a(341,338) d(802) 
	  5 r(728,1183) a(1764,1749) d(585) a(784,1802) 
	  6 d(498) a(1845,1411) a(1812,1812) 
	177 r(805,801) r(598,406) a(412,344) r(733,603) d(427) 
	  6 d(498) a(1845,1411) r(733,603) d(928) 
	  6 r(805,801) r(598,406) a(412,344) r(805,407) 
	177 d(454) d(1413) a(583,1738) 
	177 r(805,801) r(1466,1463) d(730) r(811,410) 
	  1 d(454) d(730) d(1172) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000195/libtiff/tif_dirwrite.c  r(805,801) r(1466,1463) d(1413) r(1704,739)  fails to compile
	  0 r(805,801) r(1466,1463) d(1413) r(1704,739) 
	  1 d(454) a(721,1451) r(806,345) d(1710) 
	177 r(805,801) a(510,1183) d(1377) d(699) 
	  3 d(454) a(721,1451) r(806,345) r(1770,1555) 
	125 r(805,801) a(510,1183) d(1377) d(1711) 
	177 d(454) a(510,1183) d(1377) a(1172,502) 
	  2 r(805,801) a(721,1451) r(1422,1426) d(578) 
	  1 d(454) a(721,1451) r(1422,1426) a(1209,1183) 
	177 r(805,801) a(510,1183) d(1377) d(580) 
	177 d(498) a(1845,1411) d(666) d(376) a(588,921) 
	177 r(474,815) r(733,603) r(591,742) 
	  6 d(498) a(1845,1411) r(733,603) d(797) 
	177 r(474,815) d(666) d(376) d(748) 
	  1 r(1212,1201) d(580) r(436,510) r(611,1447) 
	  6 r(728,1183) r(1462,1456) d(1415) r(1211,1189) 
	177 d(454) d(1756) a(474,348) d(1421) 
	177 r(694,608) d(730) r(1741,1756) 
	177 d(454) d(730) a(942,610) 
	177 r(694,608) d(1756) a(474,348) r(1198,1182) 
	125 r(474,815) d(666) d(376) a(681,742) 
	  6 d(587) d(746) a(1754,1755) a(941,419) 
search: generation 4 (sizeof one variant = 0.191586 MB)
	  2 a(731,427) a(1715,927) d(805) d(214) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) 
	  0 d(454) d(1756) a(474,348) d(1421) r(666,603) 
	  0 d(498) a(1845,1411) a(1812,1812) d(1714) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000219/libtiff/tif_dirwrite.c  r(728,1183) r(1462,1456) d(1415) r(1211,1189) r(1812,405)  fails to compile
	  0 r(728,1183) r(1462,1456) d(1415) r(1211,1189) r(1812,405) 
	125 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) 
	125 a(731,427) a(1715,927) d(805) r(930,927) 
	  0 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) r(1748,1761) 
	  3 d(454) d(952) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) a(721,1451) r(806,345) d(747) a(416,1447) 
	  2 d(454) a(721,1451) r(806,345) d(747) r(691,797) 
	  2 r(805,801) r(1466,1463) d(1413) r(676,749) r(417,526) 
	  1 d(805) a(1765,370) a(1729,411) a(1754,1755) a(941,419) d(441) 
	  5 d(587) d(746) a(1729,411) a(950,1740) d(324) 
	  1 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(661,397) 
	  6 d(587) d(746) a(1754,1755) a(941,419) r(701,694) 
	177 d(454) a(510,1183) d(1377) a(1172,502) r(717,689) 
	  1 a(731,427) a(1715,927) a(752,1077) r(1412,1411) d(1749) 
	  1 d(454) d(1756) a(474,348) d(1421) r(1176,1175) 
	  0 d(454) a(721,1451) r(806,345) d(1710) d(1425) 
	125 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) 
	  3 d(454) a(721,1451) r(1422,1426) a(1209,1183) a(1203,383) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(1709,1715) 
	125 d(454) a(510,1183) d(1377) a(1172,502) d(1743) 
	177 r(694,608) d(1756) a(474,348) r(806,345) d(1708) a(610,439) 
	177 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) 
	  0 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) r(805,586) 
	177 a(731,427) a(1715,927) d(805) r(805,345) 
	177 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(607,689) 
	  6 r(728,1183) a(1764,1749) d(585) a(784,1802) d(580) 
	  1 d(1379) r(459,735) 
	  1 r(728,1183) r(600,356) d(1708) r(1764,1758) r(1200,1196) a(947,511) r(946,937) a(926,937) 
	  1 d(1379) r(1200,1196) a(947,511) r(946,937) d(1765) 
	177 r(728,1183) r(600,356) d(1708) r(1764,1758) d(788) 
	125 r(474,815) r(733,603) r(591,742) r(588,387) 
	  0 d(805) r(1715,1766) d(669) r(944,949) r(717,695) 
	  1 r(805,801) a(510,1183) d(1377) d(699) r(449,457) 
	  6 r(805,801) a(510,1183) d(1377) d(699) r(1761,1770) 
	177 r(805,801) a(1416,1557) a(1765,370) a(1729,411) d(746) r(454,734) 
	  0 d(805) a(1196,474) r(510,486) r(576,397) 
	  1 r(805,801) a(1416,1557) a(1196,474) r(510,486) d(441) 
	  6 d(805) a(1765,370) a(1729,411) d(746) d(693) 
	177 r(805,801) a(1416,1557) a(1196,474) r(510,486) d(699) 
	  2 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(952) 
	177 r(694,608) a(691,687) d(1422) r(681,688) d(673) 
	  1 d(354) d(1756) a(474,348) r(748,601) d(214) 
	177 r(694,608) d(1756) a(474,348) r(748,601) d(733) 
	  6 d(354) a(691,687) d(1422) r(681,688) d(351) 
	177 r(694,608) r(1715,1766) a(800,1557) a(740,448) a(660,800) 
	177 r(805,801) d(730) r(1741,1756) d(1194) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) 
	125 r(805,801) r(1715,1766) a(800,1557) a(740,448) d(735) 
search: generation 5 (sizeof one variant = 0.192369 MB)
	177 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) 
	  5 d(587) d(746) a(1754,1755) d(1743) d(574) 
	125 d(454) a(510,1183) d(1377) a(1172,502) d(1743) r(1738,1740) 
	  0 d(587) d(746) a(1754,1755) a(941,419) r(701,694) r(398,674) 
	  6 d(587) d(746) a(1729,411) a(950,1740) d(324) d(746) r(454,734) r(1768,1732) 
	124 r(805,801) a(1416,1557) a(1765,370) a(1729,411) d(1421) 
	  6 d(587) d(746) a(1729,411) a(950,1740) d(324) a(416,427) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000272/libtiff/tif_dirwrite.c  r(805,801) a(1416,1557) a(1765,370) a(1729,411) d(746) r(454,734) r(435,1175)  fails to compile
	  0 r(805,801) a(1416,1557) a(1765,370) a(1729,411) d(746) r(454,734) r(435,1175) 
	  2 r(805,801) a(510,1183) a(800,1557) a(740,448) a(660,800) r(697,403) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) 
	177 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) 
	177 r(694,608) r(1715,1766) a(800,1557) a(740,448) a(660,800) d(482) 
	  2 d(454) a(721,1451) r(1422,1426) a(1209,1183) a(1203,383) a(744,579) 
	  0 d(454) a(721,1451) r(806,345) d(1710) d(1425) a(1715,1463) 
	  6 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) 
	  6 d(587) d(746) d(1756) a(474,348) r(748,601) d(733) a(570,1280) 
	125 r(694,608) d(1756) a(474,348) r(748,601) d(733) d(844) 
	  3 d(587) d(746) a(1754,1755) a(941,419) r(701,694) d(360) 
	125 r(474,815) r(733,603) r(591,742) r(588,387) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(661,397) r(938,463) 
	  0 d(805) d(1770) 
	177 r(474,815) r(733,603) r(591,742) r(588,387) r(920,921) 
	  2 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(661,397) a(1704,1421) 
	  2 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(1425,1423) 
	  6 d(805) a(1765,370) a(1729,411) d(746) d(693) r(813,506) 
	177 r(694,608) a(691,687) d(1422) r(681,688) d(673) a(1750,440) 
	  1 d(454) a(721,1451) r(1422,1426) a(1209,1183) a(1203,383) d(1426) 
	  1 d(454) d(1756) a(474,348) d(1421) r(1176,1175) a(1422,662) 
	  1 r(728,1183) r(600,356) d(1708) r(1764,1758) r(1200,1196) a(947,511) r(946,937) a(926,937) d(448) 
	  2 r(805,801) a(1416,1557) a(1765,370) a(1729,411) d(746) d(441) a(423,751) 
	177 d(805) a(1765,370) a(1729,411) a(1754,1755) a(941,419) r(454,734) r(436,558) 
	  2 r(805,801) a(1416,1557) a(1765,370) a(1729,411) d(746) r(454,734) r(735,358) 
	  1 d(805) a(1765,370) a(1729,411) a(1754,1755) a(941,419) d(441) r(214,215) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) 
	  6 d(587) d(511) r(810,369) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) 
	  1 d(587) d(746) a(1754,1755) a(941,419) r(701,694) r(390,801) 
	177 d(454) a(510,1183) d(1377) a(1172,502) d(1743) a(353,353) 
	177 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(607,689) d(1715) 
	125 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(699) a(662,813) 
	124 r(805,801) a(1416,1557) a(1196,474) r(510,486) r(1717,661) 
	  3 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) r(1752,1769) 
	177 r(805,801) a(1416,1557) a(1196,474) r(510,486) d(699) r(1728,1764) 
	125 r(805,801) a(1416,1557) a(1196,474) r(510,486) d(699) r(324,347) 
	177 a(731,427) a(1715,927) d(805) r(805,345) a(577,587) 
	  5 a(731,427) d(730) r(1741,1756) a(664,510) d(812) 
	124 r(694,608) a(1715,927) d(805) r(930,927) r(950,937) 
	177 a(731,427) a(1715,927) d(805) r(930,927) d(467) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) d(846) 
	  1 d(805) a(1765,370) a(607,689) a(474,593) 
	177 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(1729,411) a(1729,411) a(950,1740) r(812,350) a(429,511) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) 
	  1 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(607,689) d(1199) 
	177 r(694,608) a(691,687) d(1422) r(681,688) d(673) d(583) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) r(700,602) 
	125 r(694,608) a(691,687) d(1422) r(681,688) d(673) r(806,573) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) a(1756,1077) 
	177 a(731,427) a(1715,927) d(805) r(805,345) d(932) 
	177 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) 
	177 r(694,608) a(1196,474) r(510,486) d(699) d(1751) 
	  0 r(805,801) a(1416,1557) d(730) r(1741,1756) a(664,510) d(1206) 
	125 r(694,608) d(730) r(1741,1756) a(664,510) d(721) 
	  2 r(805,801) a(1416,1557) a(1196,474) r(510,486) d(699) d(661) 
	  5 a(731,427) a(1715,927) r(676,749) a(721,1451) r(806,345) d(747) a(416,1447) a(680,410) 
	  6 r(805,801) r(1466,1463) d(1413) d(805) r(805,345) r(1209,1202) 
	177 a(731,427) a(1715,927) d(805) r(805,345) d(1729) 
	125 r(805,801) r(1466,1463) d(1413) r(676,749) a(721,1451) r(806,345) d(747) a(416,1447) d(597) 
search: generation 6 (sizeof one variant = 0.192742 MB)
	  6 r(694,608) r(1715,1766) d(1377) a(1754,1755) a(941,419) r(454,734) r(436,558) d(341) 
	  6 d(805) a(1765,370) a(1729,411) d(1711) r(595,384) d(934) r(594,482) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) 
	177 d(805) a(1765,370) a(1729,411) a(1754,1755) a(941,419) r(454,734) r(436,558) d(1732) 
	  3 a(731,427) a(1715,927) d(805) r(805,345) d(932) r(692,374) 
	  6 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) r(1715,1757) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) a(1462,1190) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) r(695,669) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) 
	177 r(694,608) a(1196,474) r(510,486) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(1461,1421) 
	125 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) 
	177 r(694,608) a(1196,474) r(510,486) d(699) d(1751) r(743,354) 
	177 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) a(357,1704) 
	124 r(694,608) a(691,687) d(1422) r(681,688) d(673) a(1750,440) a(602,559) 
	  5 d(587) d(746) a(1729,411) a(950,1740) d(324) d(746) r(454,734) r(1768,1732) d(664) 
	  6 a(731,427) d(730) r(1741,1756) a(664,510) d(812) d(359) 
	177 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(607,689) d(1715) r(949,933) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) a(1727,474) 
	  0 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) r(584,751) 
	  5 d(587) d(746) a(1754,1755) d(1743) d(574) r(589,428) 
	  6 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) d(1902) 
	125 d(805) a(1765,370) a(1729,411) a(1754,1755) a(941,419) r(454,734) r(436,558) a(589,736) 
	  1 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) a(1196,474) r(510,486) d(699) d(661) r(1462,1458) 
	  1 r(805,801) a(1416,1557) r(1721,1740) d(666) 
	125 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) a(410,786) 
	  0 r(805,801) a(1416,1557) a(1196,474) r(510,486) d(699) d(661) d(407) 
	  3 d(587) d(746) d(1756) a(474,348) r(748,601) d(733) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) r(952,941) 
	  6 d(805) a(570,1280) a(1712,610) 
	  5 d(587) d(746) d(1756) a(474,348) r(748,601) d(733) a(570,1280) d(664) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(369) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) 
	  1 r(805,801) a(1416,1557) a(1765,370) a(1729,411) d(746) r(454,734) r(735,358) r(1465,1456) 
	  2 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(1425,1423) a(1802,937) 
	  1 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(1729,411) a(1729,411) a(950,1740) r(812,350) a(429,511) d(923) 
	177 r(694,608) a(1196,474) r(510,486) d(699) d(1751) a(1410,1706) 
	  6 d(587) d(746) d(1756) a(474,348) r(748,601) d(733) a(570,1280) d(750) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(576) 
	  5 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) a(1416,721) 
	177 r(474,815) r(733,603) r(591,742) r(588,387) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(661,397) r(938,463) a(1180,324) 
	  1 r(728,1183) r(600,356) d(1708) r(1764,1758) r(1200,1196) a(947,511) r(946,937) a(926,937) d(448) d(717) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) 
	  1 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(1414) 
	125 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) d(784) 
	125 r(805,801) a(1416,1557) a(1196,474) r(510,486) d(699) r(1728,1764) r(737,423) 
	125 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(1729,411) a(1729,411) a(950,1740) r(812,350) a(429,511) a(376,344) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) a(1756,1077) a(1176,1802) 
	  2 a(731,427) a(1715,927) d(805) r(1412,1411) a(607,689) d(1715) r(498,596) 
	177 a(731,427) a(1715,927) a(752,1077) r(805,345) d(932) r(699,691) 
	177 a(731,427) a(1715,927) d(805) r(805,345) d(932) d(1721) 
	177 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(607,689) d(1715) d(1900) 
search: generation 7 (sizeof one variant = 0.196612 MB)
	  1 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) a(1754,1755) a(941,419) r(701,694) r(1410,791) d(1902) r(390,810) 
	177 r(694,608) d(1704) 
	125 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) a(592,740) 
	  1 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) d(1902) r(358,490) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) a(1208,1196) 
	  6 d(587) d(746) a(1754,1755) d(1743) d(574) r(589,428) r(1458,530) 
	  1 r(694,608) d(730) r(1741,1756) a(664,510) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) r(1720,1728) 
	177 r(694,608) d(721) a(1197,786) a(1764,1717) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) a(809,506) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) r(510,392) 
	  1 a(731,427) a(1715,927) a(752,1077) r(1412,1411) a(1729,411) a(1729,411) a(950,1740) r(812,350) a(429,511) a(376,344) r(799,418) 
	  1 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) a(1727,474) d(389) 
	  2 a(731,427) a(1715,927) d(805) r(805,345) r(695,669) d(927) 
	  0 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) d(932) d(1721) r(661,341) 
	177 a(731,427) a(1715,927) d(805) r(805,345) d(932) d(1721) r(1176,1173) 
	  3 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) r(695,669) a(383,394) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) r(695,669) d(807) 
	  2 a(731,427) a(1715,927) a(752,1077) r(805,345) d(932) a(357,1704) d(944) 
	177 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(689,661) 
	  4 a(731,427) a(1715,927) a(752,1077) r(805,345) d(932) r(699,691) r(1380,1379) 
	  5 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) a(357,1704) r(578,330) 
	  0 r(694,608) a(1196,474) r(510,486) d(699) d(1751) r(743,354) a(437,574) 
	  5 d(587) d(746) a(1754,1755) d(1743) d(574) r(589,428) r(1377,1183) 
	  6 d(587) d(746) a(1729,411) a(950,1740) d(324) d(746) r(454,734) r(1768,1732) d(664) d(924) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) d(610) 
	  6 d(587) d(746) d(1756) a(474,348) r(748,601) d(733) a(570,1280) d(750) r(802,689) 
	177 r(474,815) r(733,603) r(591,742) r(588,387) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(661,397) r(938,463) a(1180,324) r(947,934) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) 
	  6 a(731,427) d(730) r(1741,1756) a(664,510) d(812) d(359) d(1456) 
	  2 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(805) r(1412,1411) a(607,689) d(1715) r(498,596) r(581,498) 
	  6 a(731,427) a(1715,927) d(369) d(740) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(369) d(1709) 
	  2 a(731,427) a(1715,927) d(805) r(1412,1411) a(607,689) d(1715) r(498,596) a(751,1703) 
	  1 d(805) a(698,462) 
	  0 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) a(570,1280) a(1712,610) r(1755,1754) 
	  6 d(805) a(570,1280) a(1712,610) a(745,1194) 
	  6 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) d(1809) 
	  1 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) a(1462,1190) d(1752) 
	  2 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) r(695,669) r(573,745) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) a(1715,927) a(752,1077) r(805,345) d(932) r(699,691) r(812,450) 
	  6 a(731,427) d(934) r(1811,1901) d(408) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) 
	  0 a(731,427) a(1715,927) a(752,1077) r(805,345) d(932) r(699,691) r(468,372) 
	  6 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) r(1715,1757) d(1183) 
	  5 d(587) d(746) a(1729,411) a(950,1740) d(324) d(746) r(454,734) r(1768,1732) d(664) a(1172,403) 
	  2 a(731,427) a(1715,927) d(805) r(805,345) d(932) r(692,374) d(1414) 
	177 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) 
	125 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) 
	  0 a(731,427) a(752,1077) r(805,345) d(932) r(699,691) d(1756) 
	177 a(731,427) a(1715,927) a(752,1077) r(805,345) d(932) r(699,691) d(924) 
	  1 a(731,427) d(730) r(1741,1756) a(664,510) d(812) d(359) r(349,342) 
	  0 d(587) d(746) d(1756) a(474,348) r(748,601) d(733) a(570,1280) d(664) d(1414) 
	  1 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(576) a(1206,1181) 
	  2 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) r(1715,1757) d(1465) 
	125 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) a(1756,1077) a(1176,1802) d(1770) 
search: generation 8 (sizeof one variant = 0.19278 MB)
	  2 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(689,661) r(407,1289) 
	125 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(801,567) d(369) d(1709) r(1180,1179) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000437/libtiff/tif_dirwrite.c  d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(369) d(1709) r(1729,1465)  fails to compile
	  0 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(369) d(1709) r(1729,1465) 
	177 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(689,661) a(735,410) 
	  6 a(731,427) d(730) r(1741,1756) a(664,510) d(812) d(359) d(1456) a(949,532) 
	177 r(694,608) d(1704) a(1466,1740) 
	  3 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(805) r(1412,1411) a(607,689) d(1715) r(498,596) r(801,567) d(369) d(1709) a(1205,1207) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(581,498) a(1206,407) 
	  1 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(805) r(1412,1411) a(607,689) d(1715) r(498,596) r(581,498) d(1717) 
	  6 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(369) d(1709) d(215) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) 
	  5 d(587) d(746) a(1754,1755) d(1743) d(574) r(589,428) r(1458,530) d(1415) 
	125 r(694,608) d(721) a(1197,786) a(1764,1717) d(1729) 
	  0 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) r(695,669) r(573,745) r(929,930) 
	  6 a(731,427) a(1715,927) d(369) d(740) r(1721,1740) r(1715,1757) d(1183) a(1719,1760) 
	125 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) d(1466) 
	  6 a(731,427) a(1715,927) d(369) d(740) d(940) 
	  6 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) r(1715,1757) d(1183) d(924) 
	  6 d(805) a(570,1280) a(1712,610) a(745,1194) d(800) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) r(736,570) 
	  6 a(731,427) d(934) r(1811,1901) d(408) a(926,466) 
	177 r(694,608) d(1704) a(788,742) 
	177 a(731,427) a(1715,927) d(805) r(805,345) d(932) d(1721) r(1176,1173) r(694,605) 
	  2 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) r(1715,1757) d(1465) r(408,728) 
	  1 a(731,427) d(934) r(1811,1901) a(1197,786) d(610) d(804) 
	  1 r(694,608) d(730) r(1741,1756) a(664,510) d(721) d(408) r(1752,1714) 
	  0 a(731,427) d(934) r(1811,1901) d(408) d(952) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) d(610) d(730) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) a(588,352) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) a(809,506) d(1845) 
	  1 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) r(1721,1740) r(1715,1757) d(1183) r(584,731) 
	125 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) r(749,575) 
	125 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) a(809,506) a(598,439) 
	  3 a(731,427) a(1715,927) d(805) r(805,345) r(695,669) d(927) a(1466,1280) 
	  2 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) d(511) d(1426) a(1462,1190) d(1752) r(1415,1413) 
	  0 r(805,801) r(1466,1463) d(1413) r(676,749) a(442,1738) d(1704) d(1203) 
	  0 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(1719,1751) 
	  1 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) a(1462,1190) d(1752) d(1703) 
	  2 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) d(1902) r(358,490) r(673,371) 
	  0 r(694,608) d(730) r(1741,1756) a(664,510) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) r(1720,1728) r(605,587) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) r(1424,1416) 
	177 r(805,801) a(1416,1557) a(1196,474) d(359) r(1728,1767) r(1720,1755) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) d(948) 
	177 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) r(578,577) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) 
	177 r(805,801) a(1416,1557) r(1811,1901) a(449,371) d(467) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(934) 
	177 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) d(469) 
	  6 a(731,427) d(934) r(1811,1901) d(408) d(731) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(450) 
	125 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) a(1765,1717) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) a(1715,927) a(752,1077) r(805,345) d(932) r(699,691) r(812,450) d(359) r(1728,1767) d(801) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) a(1720,1729) 
	  0 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) a(1715,927) a(752,1077) r(805,345) d(932) r(699,691) r(812,450) d(1182) 
	177 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(689,661) a(1197,387) 
	177 d(805) a(570,1280) a(1712,610) a(745,1194) d(1175) 
search: generation 9 (sizeof one variant = 0.188505 MB)
	177 r(694,608) r(1715,1766) d(1377) a(577,669) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(934) a(811,462) 
	  0 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(934) r(845,844) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) a(660,573) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) a(1712,610) a(745,1194) d(800) a(949,945) 
	  6 d(805) a(570,1280) r(736,570) a(724,791) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) r(736,570) d(498) 
	  6 d(805) a(570,1280) a(1712,610) a(745,1194) d(800) d(742) 
	124 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(450) d(1461) 
	177 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) d(1466) r(784,1714) 
	  2 r(805,801) a(788,742) d(809) 
	  6 r(694,608) d(1704) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) a(588,352) r(790,428) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) a(588,352) r(423,412) 
	177 r(694,608) d(1704) a(788,742) r(1742,1717) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000502/libtiff/tif_dirwrite.c  r(694,608) d(1704) a(1466,1740) a(745,1194) d(1175) r(388,1720)  fails to compile
	  0 r(694,608) d(1704) a(1466,1740) a(745,1194) d(1175) r(388,1720) 
	  6 d(805) a(570,1280) a(1712,610) r(1707,1713) 
	125 r(694,608) d(1704) a(1466,1740) d(506) 
	125 d(805) a(570,1280) a(1712,610) a(745,1194) d(1175) a(721,786) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) a(1720,1729) d(1410) 
	  0 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(689,661) r(407,1289) r(1202,1205) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(801,567) d(369) d(1709) r(1180,1179) d(1708) 
	125 d(454) a(510,1183) d(812) a(1765,1717) a(1709,1714) 
	125 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) a(1765,1717) a(469,922) 
	125 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(801,567) d(369) d(1709) r(1180,1179) d(348) 
	  6 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) d(1902) r(358,490) d(359) r(1728,1767) r(1720,1755) d(751) 
	177 r(805,801) a(1416,1557) a(1196,474) r(673,371) r(387,789) 
	  1 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) d(1902) r(358,490) r(673,371) d(1377) 
	177 r(805,801) a(1416,1557) a(1196,474) d(359) r(1728,1767) r(1720,1755) d(681) 
	177 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(689,661) a(1197,387) d(724) 
	125 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) r(423,1742) 
	  1 d(805) a(570,1280) a(1712,610) a(745,1194) d(1175) r(926,931) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) a(809,506) a(598,439) r(1760,1711) 
	  6 a(731,427) d(934) r(1811,1901) d(408) a(926,466) a(1903,1541) 
	  1 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) d(1902) r(358,490) r(673,371) r(1768,1748) 
	125 r(805,801) a(1416,1557) r(1811,1901) a(449,371) d(467) d(1713) 
	  0 a(731,427) d(934) r(1811,1901) d(408) d(731) r(932,940) 
	177 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) a(809,506) a(598,439) d(1412) 
	177 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) d(469) d(1196) 
	124 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) d(466) 
	125 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) a(809,506) d(1845) r(790,698) 
	177 a(731,427) a(1715,927) d(805) r(805,345) a(1197,786) a(809,506) d(1845) d(359) 
	  0 r(694,608) d(730) r(1741,1756) a(664,510) d(721) d(932) d(1721) r(1176,1173) r(694,605) r(789,601) 
	177 a(731,427) a(1715,927) d(805) r(805,345) d(932) d(1721) r(1176,1173) r(694,605) a(1768,1450) 
	125 r(694,608) d(730) r(1741,1756) a(664,510) d(721) a(1197,786) a(809,506) d(1845) r(669,734) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) a(588,352) a(1180,1078) 
	  1 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(689,661) a(1197,387) r(748,437) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) a(1462,1190) a(449,371) d(450) r(1200,1205) 
	  3 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) d(1752) d(1703) d(583) 
	  0 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) a(1462,1190) d(1752) d(1703) d(353) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000533/libtiff/tif_dirwrite.c  r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(450) r(664,1205)  fails to compile
	  0 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(450) r(664,1205) 
	125 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(805) r(1412,1411) d(359) r(1728,1767) d(948) r(1769,1738) 
	  4 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) a(607,689) d(1715) r(498,596) r(801,567) d(369) d(1709) a(1205,1207) a(736,571) 
	  2 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(801,567) d(805) r(1412,1411) a(607,689) d(1715) r(498,596) r(801,567) d(369) d(1709) a(1205,1207) d(398) 
	125 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) d(948) d(595) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000538/libtiff/tif_dirwrite.c  r(694,608) d(1704) r(595,384) d(1466) r(1812,926)  fails to compile
	  0 r(694,608) d(1704) r(595,384) d(1466) r(1812,926) 
	177 r(805,801) a(510,1183) d(1377) d(1711) a(1466,1740) d(1422) 
	  5 r(694,608) d(1704) a(1466,1740) d(571) 
	  2 r(805,801) a(510,1183) d(1377) d(1711) r(595,384) d(1466) r(1201,1208) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) a(1765,1717) d(606) 
	  0 d(805) a(1765,370) a(1729,411) a(1729,411) a(950,1740) r(812,350) r(581,498) a(1206,407) d(449) 
search: generation 10 (sizeof one variant = 0.197813 MB)
	125 a(731,427) a(1715,927) d(805) r(805,345) d(932) d(1721) r(1176,1173) r(694,605) a(1768,1450) a(1708,482) 
	177 r(694,608) d(1704) a(1466,1740) d(506) a(602,1458) 
	  0 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) r(1720,1755) d(681) r(667,372) 
	  1 r(805,801) a(1416,1557) a(1196,474) d(359) r(1728,1767) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) a(588,352) r(423,412) d(690) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) a(588,352) r(423,412) r(660,717) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000548/libtiff/tif_dirwrite.c  r(805,801) a(1416,1557) a(1196,474) d(359) r(1728,1767) r(1720,1755) d(681) r(478,842)  fails to compile
	  0 r(805,801) a(1416,1557) a(1196,474) d(359) r(1728,1767) r(1720,1755) d(681) r(478,842) 
	  1 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(730) r(1741,1756) a(664,510) d(812) a(1765,1717) a(469,922) d(1425) 
	125 a(731,427) a(1715,927) d(812) d(359) r(1728,1767) a(1720,1729) d(1410) r(361,404) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) a(1720,1729) d(1410) d(353) 
	124 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) a(1765,1717) a(469,922) r(510,462) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) a(660,573) a(930,1182) 
	177 r(805,801) a(1416,1557) a(1196,474) r(673,371) r(387,789) d(1715) 
	177 r(805,801) a(1416,1557) a(1196,474) r(673,371) r(387,789) a(600,744) 
	125 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) a(660,573) d(797) 
	  6 d(805) a(570,1280) a(1712,610) a(745,1194) d(800) d(742) a(847,324) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) r(423,1742) d(1708) 
	125 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) d(1713) d(939) 
	177 r(805,801) a(1416,1557) r(1811,1901) a(449,371) d(467) r(1728,1767) d(948) d(595) r(498,356) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000561/libtiff/tif_dirwrite.c  a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) d(948) d(595) r(683,1454)  fails to compile
	  0 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) d(948) d(595) r(683,1454) 
	177 r(805,801) a(1416,1557) r(1811,1901) a(449,371) d(467) d(1713) d(1751) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-11-02-371336d-865f7b2/000563/libtiff/tif_dirwrite.c  r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) d(466) r(815,1206)  fails to compile
	  0 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) d(466) r(815,1206) 
	  0 r(694,608) a(1754,1755) a(941,419) r(701,694) r(1410,791) d(1902) r(358,490) r(673,371) d(1377) d(1754) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) a(660,573) a(1762,412) 
	  1 r(694,608) d(1704) a(788,742) r(1742,1717) d(1207) 
	177 r(694,608) d(1704) a(1466,1740) d(812) d(359) r(1728,1767) a(1720,1729) d(1410) d(430) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(506) d(602) 
	177 r(694,608) d(1704) a(1466,1740) d(506) d(1180) 
	177 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) d(359) r(1728,1767) a(1720,1729) d(1410) d(1195) 
	  6 a(731,427) d(934) r(1811,1901) d(408) a(926,466) a(1903,1541) a(946,949) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(934) a(811,462) d(946) 
	  1 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(450) d(1461) d(927) 
	177 r(805,801) a(1416,1557) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) d(469) d(1196) a(486,661) 
	177 a(731,427) a(1715,927) d(805) r(805,345) d(932) r(1729,456) 
	  1 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) a(1462,1190) a(449,371) d(450) r(1200,1205) d(1721) r(1176,1173) r(694,605) a(1768,1450) a(498,589) 
	  0 a(731,427) a(1715,927) d(805) r(805,345) d(932) d(1721) r(1176,1173) r(694,605) a(1768,1450) r(398,674) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) a(1462,1190) a(449,371) d(450) r(1200,1205) r(1742,1740) 
	125 d(805) a(570,1280) a(1712,610) a(745,1194) d(1175) a(721,786) d(789) 
	  0 r(694,608) d(1704) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) a(588,352) r(790,428) r(736,454) 
	177 r(805,801) a(510,1183) d(1377) d(1711) a(1466,1740) d(1422) d(924) 
	  0 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(801,567) d(369) d(1709) r(1180,1179) d(348) r(723,457) 
	177 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) a(660,573) a(607,511) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) r(736,570) d(498) r(1464,1456) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) d(466) d(1703) 
	  3 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(801,567) d(369) d(1709) r(1180,1179) d(348) r(1380,1379) 
	  2 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(417,428) 
	177 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) r(423,1742) r(701,694) r(789,325) r(699,691) r(689,661) a(1197,387) d(724) a(1741,466) 
	177 d(454) a(510,1183) d(1377) a(1172,502) a(941,419) r(701,694) r(789,325) r(699,691) r(689,661) a(1197,387) d(724) d(1416) 
	  6 r(694,608) r(1715,1766) d(1377) d(1711) r(595,384) d(934) a(1196,474) a(752,1077) d(667) d(628) d(1804) a(442,1738) d(1704) a(676,844) r(423,1742) r(576,589) 
	  0 r(694,608) d(1704) a(1466,1740) d(571) a(486,360) 
	177 r(805,801) a(1416,1557) a(1196,474) d(359) r(1728,1767) r(1720,1755) d(681) d(1743) 
	125 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(934) d(511) d(1426) a(1462,1190) a(449,371) d(450) r(1200,1205) d(741) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) a(811,462) r(1845,1900) 
	125 r(805,801) a(1416,1557) d(699) d(1751) a(578,578) r(1462,1463) d(1186) d(1711) r(595,384) d(934) r(1811,1901) a(449,371) d(934) a(811,462) a(691,731) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(511) d(1426) a(1462,1190) a(449,371) d(450) r(1200,1205) d(1764) 
	124 a(731,427) a(1715,927) d(730) r(1741,1756) a(664,510) d(812) a(1765,1717) d(606) a(474,494) 
	177 r(805,801) r(1466,1463) d(1413) r(676,749) d(746) a(1754,1755) a(941,419) r(701,694) a(844,1703) d(1711) d(607) a(588,352) r(423,412) d(1727) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 13930
"Test Suite Evaluations": 228.361

Compile Failures: 17
Wall-Clock Seconds Elapsed: 10801.8
  Activity Name                     Count Seconds = Percent of Total Time
  test                              13872 3844.831 = 37.0204%
  compile                             598 6540.828 = 62.979%
  TOTAL                                   10385.724 = 96.1478% (avg CPU usage)
libtiff-bug-2007-11-02-371336d-865f7b2.tar.gz
Sat Sep 21 17:10:46 EDT 2013
shutting down
