| * Loopfrog 0.6 results * Options: loopfrog --save-stats --bounds-check --ag-reasoning Fri Jun 19 12:16:19 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 | 7 | 11 | 19 | 591 | 96 | 88 | 8 | ||||
| freecell-solver | make-gnome-freecell-board-2.8.12 | 242 | 8 | 1 | 22 | 4 | 55 | 145 | 105 | 40 | ||||
| freecell-solver | make-microsoft-freecell-board-2.8.12 | 204 | 4 | 3 | 15 | 4 | 51 | 61 | 31 | 30 | ||||
| freecell-solver | pi-make-microsoft-freecell-board-2.8.12 | 222 | 4 | 2 | 15 | 4 | 48 | 65 | 35 | 30 | ||||
| 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 | 21 | 19 | 14 | 5 | ||||
| gnupg | mk-tdata-1.4.4 | 163 | 1 | 0 | 0 | 0 | 4 | 6 | 6 | 0 | ||||
| inn | encode-2.4.3 | 170 | 3 | 1 | 2 | 3 | 10 | 42 | 31 | 11 | ||||
| inn | ninpaths-2.4.3 | 587 | 28 | 10 | 91 | 101 | 239 | 56 | 37 | 19 | ||||
| inn | ovdb_monitor-2.4.3 | 22243 | 0 | 0 | 0 | 5 | 0 | 0 | 0 | 0 | ||||
| ncompress | compress-4.2.4 | 963 | 12 | 34 | 751 | 784 | 1009 | 204 | 166 | 38 | ||||
| texinfo | makedoc-4.7 | 820 | 18 | 11 | 64 | 75 | 152 | 83 | 37 | 46 | ||||
| wu-ftpd | ckconfig-2.5.0 | 81 | 0 | 0 | 0 | 0 | 2 | 1 | 0 | 1 | ||||
| wu-ftpd | ftpcount-2.5.0 | 388 | 13 | 6 | 3 | 9 | 16 | 61 | 54 | 7 | ||||
| wu-ftpd | ftpshut-2.5.0 | 220 | 5 | 1 | 8 | 9 | 38 | 63 | 50 | 13 | ||||
| wu-ftpd | ftpwho-2.5.0 | 388 | 13 | 6 | 3 | 9 | 16 | 61 | 54 | 7 | ||||