QBF Solver Evaluation Portal
qbflib.orgFamily Generalized-Tic-Tac-Toe 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 | 2651.01 | 265.1 | 238.03 | 224.42 | 273.38 | 0.6 |
| caqe-picosat-cert | 1970.1 | 197.01 | 267.5 | 6.1 | 152.14 | 0.7 |
| cheq | 1669.89 | 166.99 | 197.37 | 16.5 | 403.82 | 0.3 |
| depqbf-cert-v1 | 924.1 | 92.41 | 186.84 | 0.72 | 2.6 | 0.6 |
| depqbf-cert-v2 | 2567.57 | 256.76 | 308.4 | 10.76 | 621.31 | 0.6 |