QBF Solver Evaluation Portal
qbflib.orgFamily ITC99 results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 3600 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 1925.5 | 481.38 | 418.63 | 482.16 | 837.25 | 0.5 |
| ghostq-plain | 2761.1 | 690.28 | 363.25 | 900 | 419.45 | 0.25 |
| qfun0.1 | 249.87 | 62.47 | 83.05 | 18.61 | 109.21 | 1 |
| QuAbS_2017 | 3600 | 900 | 0 | 900 | 0 | 0 |
| Qute_hybrid | 1789.39 | 447.35 | 429.49 | 454.06 | 858.76 | 0.5 |
| Qute_opt617 | 1811.26 | 452.82 | 447.19 | 454.31 | 894.37 | 0.5 |
| Qute_opt993 | 1830.01 | 457.5 | 442.57 | 463.22 | 885 | 0.5 |