QBF Solver Evaluation Portal
qbflib.orgFamily MutexP 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 | 1118.7 | 159.81 | 183.56 | 96.91 | 103.62 | 0.143 |
| caqe-picosat-cert | 862.09 | 123.16 | 86.92 | 123.93 | 197.91 | 0.286 |
| cheq | 2506.95 | 358.14 | 289.91 | 603.06 | 607.29 | 0.429 |
| depqbf-cert-v1 | 2512.57 | 358.94 | 309.76 | 612.22 | 613.82 | 0 |
| depqbf-cert-v2 | 2663.57 | 380.51 | 303.21 | 616.51 | 626.1 | 0.286 |