QBF Solver Evaluation Portal
qbflib.orgSuite Amendola-Ricca-Truszczynski results for solvers
QBFEVAL'18 - Hard Instances Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aspq3_hit18 | 109970.22 | 2199.4 | 1595.27 | 3600 | 3310.16 | 0.48 |
| caqe_hit18 | 163872.25 | 3277.45 | 827.6 | 3600 | 0 | 0.16 |
| depqbf_hit18 | 178524.11 | 3570.48 | 206.62 | 3600 | 0 | 0.02 |