* Loopfrog 0.6 results * Options: loopfrog --save-stats --bounds-check Mon Jun 22 13:51:44 CEST 2009
				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	591	9	9	41	46	141	96	74	22
freecell-solver	make-aisleriot-freecell-board-2.8.12	401	26	40	2117	2124	225	514	334	180
freecell-solver	make-gnome-freecell-board-2.8.12	242	8	1	13	13	18	145	88	57
freecell-solver	make-microsoft-freecell-board-2.8.12	204	4	3	11	14	31	61	29	32
freecell-solver	pi-make-microsoft-freecell-board-2.8.12	222	4	3	13	15	32	65	33	32
gnupg	clean-sat-1.4.4	64	2	0	0	0	0	0	0	0
gnupg	make-dns-cert-1.4.4	273	5	0	1	1	11	19	5	14
gnupg	mk-tdata-1.4.4	163	1	0	0	0	3	6	6	0
inn	encode-2.4.3	170	3	1	2	2	6	42	30	12
inn	ninpaths-2.4.3	587	28	12	66	72	105	56	31	25
inn	ovdb_init-2.4.3	22243	22	135	8811	8493	1932	136	21	115
inn	ovdb_monitor-2.4.3	22243	0	0	0	5	0	0	0	0
inn	ovdb_server-2.4.3	22243	22	137	9028	8515	1948	136	21	115
inn	ovdb_stat-2.4.3	22243	22	144	8731	8440	1907	136	21	115
ncompress	compress-4.2.4	963	12	41	70	103	117	204	97	107
texinfo	ginstall-info-4.7	1477	46	53	608	561	684	110	35	75
texinfo	makedoc-4.7	820	18	12	42	54	72	83	15	68
wu-ftpd	ckconfig-2.5.0	81	0	0	0	0	2	1	0	1
wu-ftpd	ftpcount-2.5.0	388	13	7	15	21	64	61	22	39
wu-ftpd	ftpshut-2.5.0	220	5	1	6	6	14	63	14	49
wu-ftpd	ftpwho-2.5.0	388	13	7	15	21	64	61	22	39