QBF Solver Evaluation Portal
qbflib.orgFamily Debug results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 14368.88 | 378.13 | 238.85 | 596.5 | 494.46 | 0.368 |
| Nenofex | 21990.67 | 578.7 | 63.09 | 600 | 0 | 0.158 |
| quantor3.0 | 5467.35 | 143.88 | 181.2 | 70.11 | 83.18 | 0.842 |
| QuBE6.1 | 22800 | 600 | 0 | 600 | 0 | 0 |
| ssolve-A | 22800 | 600 | 0 | 600 | 0 | 0 |
| ssolveB | 21721.49 | 571.62 | 120.47 | 600 | 0 | 0 |
| ssolveC | 9040.22 | 237.9 | 276.93 | 31.91 | 584.77 | 0 |