QBF Solver Evaluation Portal
qbflib.orgFamily s386 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 | 1785.46 | 178.55 | 22.23 | 173.21 | 17.64 | 0 |
| caqe-picosat-cert | 2216.9 | 221.69 | 18.54 | 223.58 | 28.54 | 0 |
| cheq | 5947.67 | 594.77 | 18.97 | 596.91 | 26.36 | 0 |
| depqbf-cert-v1 | 6333.51 | 633.35 | 12.67 | 633.37 | 16.4 | 0 |
| depqbf-cert-v2 | 6441.08 | 644.11 | 20.15 | 643.37 | 33.3 | 0 |