* Loopfrog 0.6 results * Options: loopfrog --save-stats --bounds-check Mon Jun 22 13:51:43 CEST 2009 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Loopfrog | Interval Domain | |||||||||
Total | Pass | Fail | Ratio | Pass | Fail | Ratio | ||||
bchunk | bchunk-1.2.0 | 96 | 74 | 22 | 0.23 | 62 | 34 | 0.35 | ||
freecell-solver | make-aisleriot-freecell-board-2.8.12 | 514 | 334 | 180 | 0.35 | 68 | 446 | 0.87 | ||
freecell-solver | make-gnome-freecell-board-2.8.12 | 145 | 88 | 57 | 0.39 | 5 | 140 | 0.97 | ||
freecell-solver | make-microsoft-freecell-board-2.8.12 | 61 | 29 | 32 | 0.52 | 3 | 58 | 0.95 | ||
freecell-solver | pi-make-microsoft-freecell-board-2.8.12 | 65 | 33 | 32 | 0.49 | 7 | 58 | 0.89 | ||
gnupg | clean-sat-1.4.4 | 0 | 0 | 0 | ? | 0 | 0 | ? | ||
gnupg | make-dns-cert-1.4.4 | 19 | 5 | 14 | 0.74 | 0 | 19 | 1 | ||
gnupg | mk-tdata-1.4.4 | 6 | 6 | 0 | 0 | 0 | 6 | 1 | ||
inn | encode-2.4.3 | 42 | 30 | 12 | 0.29 | 4 | 38 | 0.9 | ||
inn | ninpaths-2.4.3 | 56 | 31 | 25 | 0.45 | 14 | 42 | 0.75 | ||
inn | ovdb_init-2.4.3 | 136 | 21 | 115 | 0.85 | 0 | 136 | 1 | ||
inn | ovdb_monitor-2.4.3 | 0 | 0 | 0 | ? | 0 | 0 | ? | ||
inn | ovdb_server-2.4.3 | 136 | 21 | 115 | 0.85 | 0 | 136 | 1 | ||
inn | ovdb_stat-2.4.3 | 136 | 21 | 115 | 0.85 | 0 | 136 | 1 | ||
ncompress | compress-4.2.4 | 204 | 97 | 107 | 0.52 | 37 | 167 | 0.82 | ||
texinfo | ginstall-info-4.7 | 110 | 35 | 75 | 0.68 | 8 | 102 | 0.93 | ||
texinfo | makedoc-4.7 | 83 | 15 | 68 | 0.82 | 0 | 83 | 1 | ||
wu-ftpd | ckconfig-2.5.0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | ||
wu-ftpd | ftpcount-2.5.0 | 61 | 22 | 39 | 0.64 | 14 | 47 | 0.77 | ||
wu-ftpd | ftpshut-2.5.0 | 63 | 14 | 49 | 0.78 | 0 | 63 | 1 | ||
wu-ftpd | ftpwho-2.5.0 | 61 | 22 | 39 | 0.64 | 14 | 47 | 0.77 | ||