* Loopfrog 0.5 results * Mon Jul 28 16:12:05 CEST 2008
				Time					Assertions
Suite	Program	|V|	# Loops	Summari- zation [sec]	Checking VCCs [sec]	Total Runtime [sec]	Peak Memory [MB]	Total	Pass	Fail
bchunk	bchunk-1.2.0	558	13	10	6	16	79	25	11	14
freecell-solver	make-aisleriot-freecell-board-2.8.12	396	46	43	562	605	263	288	113	175
freecell-solver	make-gnome-freecell-board-2.8.12	141	8	0	0	0	141	7	0	7
freecell-solver	make-microsoft-freecell-board-2.8.12	217	13	3	2	5	14	26	10	16
freecell-solver	pi-make-microsoft-freecell-board-2.8.12	234	13	3	2	5	14	26	10	16
gnupg	clean-sat-1.4.4	142	2	0	0	0	0	0	0	0
gnupg	make-dns-cert-1.4.4	281	5	0	0	0	9	6	3	3
gnupg	mk-tdata-1.4.4	166	1	0	0	0	3	2	1	1
inn	decode-2.4.3	7802	27	274	8	285	219	43	2	41
inn	encode-2.4.3	204	3	1	0	1	204	0	0	0
inn	ninpaths-2.4.3	573	28	12	10	23	50	32	17	15
inn	shlock-2.4.3	7798	26	440	242	685	773	103	17	86
ncompress	compress-4.2.4	855	20	59	22	81	62	71	64	7
texinfo	ginstall-info-4.7	1314	50	36	612	649	237	278	155	123
texinfo	makedoc-4.7	750	28	20	5	25	35	30	13	17
texinfo	texindex-4.7	1390	50	516	7235	7755	1131	182	72	110
wu-ftpd	ckconfig-2.5.0	184	1	0	0	0	3	3	3	0
wu-ftpd	ckconfig-2.6.2	296	14	13	6	19	29	14	9	5
wu-ftpd	ftpcount-2.5.0	428	17	16	7	23	30	48	20	28
wu-ftpd	ftpcount-2.6.2	441	18	15	7	23	32	49	21	28
wu-ftpd	ftprestart-2.6.2	421	29	44	47	91	57	59	23	36
wu-ftpd	ftpshut-2.5.0	310	8	1	1	2	11	15	11	4
wu-ftpd	ftpshut-2.6.2	552	35	71	26	98	552	69	60	9
wu-ftpd	ftpwho-2.5.0	428	17	16	6	22	30	48	20	28
wu-ftpd	ftpwho-2.6.2	441	18	15	7	23	32	49	21	28