| * Loopfrog 0.6 results * Options: loopfrog --save-stats --bounds-check --i2 --ib Wed Jun 17 12:46:09 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 | 0 | 35 | 36 | 120 | 96 | 74 | 22 | ||||
| freecell-solver | make-aisleriot-freecell-board-2.8.12 | 401 | 26 | 20 | 1862 | 1882 | 200 | 514 | 334 | 180 | ||||
| freecell-solver | make-gnome-freecell-board-2.8.12 | 242 | 8 | 1 | 12 | 13 | 17 | 145 | 88 | 57 | ||||
| freecell-solver | make-microsoft-freecell-board-2.8.12 | 204 | 4 | 1 | 10 | 11 | 29 | 61 | 29 | 32 | ||||
| freecell-solver | pi-make-microsoft-freecell-board-2.8.12 | 222 | 4 | 1 | 11 | 12 | 30 | 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 | 10 | 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 | 0 | 1 | 1 | 5 | 42 | 30 | 12 | ||||
| inn | ninpaths-2.4.3 | 587 | 28 | 2 | 39 | 41 | 66 | 56 | 31 | 25 | ||||
| inn | ovdb_init-2.4.3 | 22243 | 22 | 26 | 7406 | 7438 | 1278 | 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 | 25 | 7046 | 7079 | 1290 | 136 | 21 | 115 | ||||
| inn | ovdb_stat-2.4.3 | 22243 | 22 | 25 | 7592 | 7625 | 1258 | 136 | 21 | 115 | ||||
| ncompress | compress-4.2.4 | 963 | 12 | 17 | 56 | 73 | 104 | 204 | 97 | 107 | ||||
| texinfo | ginstall-info-4.7 | 1477 | 46 | 3 | 248 | 252 | 231 | 110 | 35 | 75 | ||||
| texinfo | makedoc-4.7 | 820 | 18 | 2 | 21 | 23 | 40 | 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 | 1 | 9 | 10 | 47 | 61 | 22 | 39 | ||||
| wu-ftpd | ftpshut-2.5.0 | 220 | 5 | 0 | 5 | 5 | 13 | 63 | 14 | 49 | ||||
| wu-ftpd | ftpwho-2.5.0 | 388 | 13 | 1 | 9 | 10 | 47 | 61 | 22 | 39 | ||||