| * Loopfrog 0.6 results * Options: loopfrog --save-stats --bounds-check --ag-reasoning --i2 --ib Wed Jun 17 12:44:05 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 | 8 | 8 | 38 | 96 | 88 | 8 | ||||
| freecell-solver | make-gnome-freecell-board-2.8.12 | 242 | 8 | 1 | 21 | 21 | 52 | 145 | 105 | 40 | ||||
| freecell-solver | make-microsoft-freecell-board-2.8.12 | 204 | 4 | 1 | 13 | 14 | 46 | 61 | 31 | 30 | ||||
| freecell-solver | pi-make-microsoft-freecell-board-2.8.12 | 222 | 4 | 1 | 13 | 14 | 43 | 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 | 19 | 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 | 0 | 2 | 2 | 7 | 42 | 31 | 11 | ||||
| inn | ninpaths-2.4.3 | 587 | 28 | 1 | 64 | 65 | 174 | 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 | 14 | 654 | 668 | 842 | 204 | 166 | 38 | ||||
| texinfo | makedoc-4.7 | 820 | 18 | 2 | 39 | 41 | 100 | 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 | 1 | 2 | 3 | 12 | 61 | 54 | 7 | ||||
| wu-ftpd | ftpshut-2.5.0 | 220 | 5 | 0 | 8 | 8 | 36 | 63 | 50 | 13 | ||||
| wu-ftpd | ftpwho-2.5.0 | 388 | 13 | 1 | 2 | 3 | 12 | 61 | 54 | 7 | ||||