QBF Solver Evaluation Portal
qbflib.orgFamily k_dum_n 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 | 909.91 | 90.99 | 49.06 | 115.48 | 105.04 | 0.3 |
| caqe-picosat-cert | 2787.06 | 278.71 | 201.45 | 262.32 | 333.2 | 0.3 |
| cheq | 3788.32 | 378.83 | 284.5 | 604.82 | 607.52 | 0.4 |
| depqbf-cert-v1 | 3674.49 | 367.45 | 299.8 | 601.67 | 609.02 | 0 |
| depqbf-cert-v2 | 4349.8 | 434.98 | 267.79 | 606.97 | 595.81 | 0.3 |