QBF Solver Evaluation Portal
qbflib.orgFamily ToiletA results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 3620.82 | 362.08 | 548.56 | 5.13 | 10.43 | 0.7 |
| aqme-10 | 22.87 | 2.29 | 1.14 | 2.02 | 1.9 | 1 |
| depqbf | 1.94 | 0.19 | 0.47 | 0.02 | 0.04 | 1 |
| depqbf-pre | 2.08 | 0.21 | 0.49 | 0.02 | 0.06 | 1 |
| nenofex-qbfeval10 | 111.82 | 11.18 | 16.35 | 0.97 | 1.89 | 1 |
| qmaiga | 32.83 | 3.28 | 5 | 0.19 | 0.42 | 1 |
| quantor-3.1 | 2.8 | 0.28 | 0.4 | 0.03 | 0.06 | 1 |
| QuBE7 | 32.61 | 3.26 | 4.78 | 0.22 | 0.39 | 1 |
| QuBE7-c | 34.53 | 3.45 | 5.12 | 0.22 | 0.48 | 1 |
| QuBE7-m | 34.46 | 3.45 | 5.09 | 0.22 | 0.46 | 1 |
| struqs-10 | 7.3 | 0.73 | 1.89 | 0.02 | 0.05 | 1 |