QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 6618.5 | 367.69 | 534.63 | 0.21 | 615.15 | 0.667 |
| aqme-10 | 111.3 | 6.18 | 8.55 | 1.95 | 2.52 | 1 |
| depqbf | 4852.99 | 269.61 | 436.15 | 43.96 | 144.99 | 0.833 |
| depqbf-pre | 6646.7 | 369.26 | 519.32 | 26.57 | 413.98 | 0.778 |
| nenofex-qbfeval10 | 243.87 | 13.55 | 11.9 | 10.76 | 15.16 | 1 |
| qmaiga | 7138.54 | 396.59 | 559.15 | 0.15 | 1126.85 | 0.778 |
| quantor-3.1 | 79.25 | 4.4 | 8.38 | 0.16 | 4.04 | 1 |
| QuBE7 | 9953.43 | 552.97 | 581.92 | 159.18 | 1199.84 | 0.556 |
| QuBE7-c | 9899.16 | 549.95 | 582.42 | 112.08 | 1199.71 | 0.556 |
| QuBE7-m | 10889.49 | 604.97 | 595.18 | 625.46 | 1199.67 | 0.5 |
| struqs-10 | 12866.18 | 714.79 | 559.99 | 1200.07 | 1199.49 | 0.444 |