QBF Solver Evaluation Portal
qbflib.orgFamily terminator results for solvers
QBFEVAL'10 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 27840.62 | 488.43 | 570.28 | 23.26 | 1192.5 | 0.596 |
| depqbf | 68408.61 | 1200.15 | 0.05 | 1200.16 | 0 | 0 |
| depqbf-pre | 68408.4 | 1200.15 | 0.03 | 1200.15 | 0.01 | 0 |
| nenofex-qbfeval10 | 26591.68 | 466.52 | 164.07 | 424.63 | 107.34 | 0 |
| quantor-3.1 | 13839.28 | 242.79 | 273.47 | 145 | 181.89 | 0.246 |
| QuBE7 | 3622.11 | 63.55 | 267.87 | 0.33 | 0.26 | 0.947 |
| QuBE7-c | 6086.84 | 106.79 | 339.11 | 0.31 | 0.27 | 0.912 |
| QuBE7-m | 6082.1 | 106.7 | 339.08 | 0.32 | 0.26 | 0.912 |
| struqs-10 | 8993.46 | 157.78 | 390.15 | 12.91 | 17.61 | 0.877 |