QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 5986.12 | 74.83 | 264.21 | 1.18 | 2.39 | 0.95 |
| aqme-10 | 6079.49 | 75.99 | 243.81 | 3.04 | 15.96 | 0.963 |
| depqbf | 72785.31 | 909.82 | 486.37 | 1200.16 | 653.59 | 0.288 |
| depqbf-pre | 56897.02 | 711.21 | 564.52 | 1200.15 | 1172.58 | 0.438 |
| nenofex-qbfeval10 | 22795.88 | 284.95 | 370.18 | 132.02 | 287.56 | 0.55 |
| qmaiga | 4765.79 | 59.57 | 213.91 | 1.02 | 2.52 | 0.975 |
| quantor-3.1 | 8385.9 | 104.82 | 312.55 | 12.23 | 27.36 | 0.525 |
| QuBE7 | 50792.96 | 634.91 | 576.71 | 926 | 1198.11 | 0.488 |
| QuBE7-c | 39558.6 | 494.48 | 545.2 | 87.69 | 1198.88 | 0.575 |
| QuBE7-m | 40450.61 | 505.63 | 549.14 | 66.63 | 1198.74 | 0.575 |
| struqs-10 | 54645.61 | 683.07 | 557.52 | 1200.07 | 1171.14 | 0.475 |