QBF Solver Evaluation Portal
qbflib.orgFamily Sorting_networks 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 | 2182.74 | 218.27 | 118.24 | 195.58 | 64.43 | 0.2 |
| caqe-picosat-cert | 3348.49 | 334.85 | 214.41 | 285.77 | 399.14 | 0.2 |
| cheq | 4968.9 | 496.89 | 242.84 | 606.48 | 594.27 | 0.1 |
| depqbf-cert-v1 | 3756.44 | 375.64 | 297.66 | 606.92 | 608.6 | 0.1 |
| depqbf-cert-v2 | 3307.87 | 330.79 | 305.23 | 322.77 | 604.63 | 0.5 |