QBF Solver Evaluation Portal
qbflib.orgSuite Herbstritt results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 38755.7 | 635.34 | 562.75 | 536.11 | 1195.53 | 0.41 |
| aqme-10 | 19253.07 | 315.62 | 501.43 | 6.3 | 668.25 | 0.77 |
| depqbf | 21114.59 | 346.14 | 529.5 | 4.6 | 1163 | 0.738 |
| depqbf-pre | 57665.98 | 945.34 | 489.56 | 1200.17 | 0.57 | 0.213 |
| nenofex-qbfeval10 | 8255.55 | 135.34 | 153.3 | 102.14 | 119.4 | 0.18 |
| qmaiga | 29830.87 | 489.03 | 506.8 | 228.58 | 1195.31 | 0.557 |
| quantor-3.1 | 1299.71 | 21.31 | 10.3 | 24.99 | 3.92 | 0.18 |
| QuBE7 | 7712.32 | 126.43 | 339.16 | 0.76 | 7 | 0.918 |
| QuBE7-c | 9831.57 | 161.17 | 396.4 | 0.67 | 6.66 | 0.885 |
| QuBE7-m | 9851.53 | 161.5 | 395.52 | 0.79 | 10.19 | 0.902 |
| struqs-10 | 42144.33 | 690.89 | 558.05 | 1200.08 | 1177.27 | 0.475 |