* Loopfrog 0.6 results * Options: loopfrog --save-stats --bounds-check --ag-reasoning --i2 --ib Wed Jun 17 12:44:04 CEST 2009
				Loopfrog				Interval Domain
		Total		Pass	Fail	Ratio		Pass	Fail	Ratio
bchunk	bchunk-1.2.0	96		88	8	0.08		62	34	0.35
freecell-solver	make-gnome-freecell-board-2.8.12	145		105	40	0.28		5	140	0.97
freecell-solver	make-microsoft-freecell-board-2.8.12	61		31	30	0.49		3	58	0.95
freecell-solver	pi-make-microsoft-freecell-board-2.8.12	65		35	30	0.46		7	58	0.89
gnupg	clean-sat-1.4.4	0		0	0	?		0	0	?
gnupg	make-dns-cert-1.4.4	19		14	5	0.26		0	19	1
gnupg	mk-tdata-1.4.4	6		6	0	0		0	6	1
inn	encode-2.4.3	42		31	11	0.26		4	38	0.9
inn	ninpaths-2.4.3	56		37	19	0.34		14	42	0.75
inn	ovdb_monitor-2.4.3	0		0	0	?		0	0	?
ncompress	compress-4.2.4	204		166	38	0.19		37	167	0.82
texinfo	makedoc-4.7	83		37	46	0.55		0	83	1
wu-ftpd	ckconfig-2.5.0	1		0	1	1		0	1	1
wu-ftpd	ftpcount-2.5.0	61		54	7	0.11		14	47	0.77
wu-ftpd	ftpshut-2.5.0	63		50	13	0.21		0	63	1
wu-ftpd	ftpwho-2.5.0	61		54	7	0.11		14	47	0.77