QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'10 - Small Hard Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 9.5 | 4.75 | 1 | 4.75 | 0 | 1 |
| aqme-10 | 1356.83 | 678.41 | 51.68 | 678.41 | 0 | 1 |
| depqbf | 86400 | 43200 | 0 | 43200 | 0 | 0 |
| depqbf-pre | 86400 | 43200 | 0 | 43200 | 0 | 0 |
| nenofex-qbfeval10 | 534.06 | 267.03 | 73.28 | 267.03 | 0 | 0 |
| quantor-3.1 | 45.63 | 22.81 | 1.5 | 22.81 | 0 | 0 |
| QuBE7 | 10703.77 | 5351.89 | 738.54 | 5351.89 | 0 | 0 |
| QuBE7-c | 6679.49 | 3339.75 | 1633.18 | 3339.75 | 0 | 0 |
| QuBE7-m | 5194.03 | 2597.02 | 893.39 | 2597.02 | 0 | 0 |
| struqs-10 | 86400 | 43200 | 0 | 43200 | 0 | 0 |