QBF Solver Evaluation Portal
qbflib.orgFamily s641 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 | 1538.81 | 170.98 | 9.49 | 170.48 | 9.97 | 0 |
| caqe-picosat-cert | 2297.96 | 255.33 | 27.32 | 240.67 | 30.78 | 0 |
| cheq | 4649.75 | 516.64 | 33.21 | 504.98 | 36.31 | 0 |
| depqbf-cert-v1 | 5675.53 | 630.61 | 15.88 | 625.42 | 18.1 | 0 |
| depqbf-cert-v2 | 5770.6 | 641.18 | 20.34 | 635.25 | 30.58 | 0 |