QBF Solver Evaluation Portal
qbflib.orgFamily dungeon results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| caqe-minisat-cert | 4487.28 | 448.73 | 232.24 | 600 | 500.41 | 0.3 |
| caqe-picosat-cert | 6014.01 | 601.4 | 2.34 | 600 | 0 | 0 |
| cheq | 6107.46 | 610.75 | 12.47 | 604.99 | 4.79 | 0 |
| depqbf-cert-v1 | 4447.73 | 444.77 | 286.24 | 605 | 628.24 | 0.3 |
| depqbf-cert-v2 | 6061.27 | 606.13 | 36.52 | 617.56 | 44.76 | 0 |