QBF Solver Evaluation Portal
qbflib.orgSuite Katz results for solvers
QBFEVAL'10 - Small Hard Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 39.05 | 3.9 | 6.53 | 1.75 | 2.28 | 1 |
| aqme-10 | 120587.37 | 12058.74 | 11069.38 | 8960.37 | 9609.01 | 0 |
| depqbf | 432000 | 43200 | 0 | 43200 | 0 | 0 |
| depqbf-pre | 432000 | 43200 | 0 | 43200 | 0 | 0 |
| nenofex-qbfeval10 | 2445.07 | 244.51 | 66.52 | 219.81 | 92.41 | 0 |
| quantor-3.1 | 31587.65 | 3158.76 | 5594.46 | 651.29 | 1249.31 | 0 |
| QuBE7 | 297505.17 | 29750.52 | 18608.76 | 41004.8 | 41974.28 | 0.3 |
| QuBE7-c | 232999.41 | 23299.94 | 18812.17 | 29746 | 39436.66 | 0.4 |
| QuBE7-m | 209901.96 | 20990.2 | 17187.27 | 21071.2 | 28165.69 | 0.4 |
| struqs-10 | 83231.88 | 8323.19 | 2982.84 | 8610.33 | 5098.83 | 0 |