QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 7799.7 | 779.97 | 265.3 | 900 | 347.62 | 0.2 |
| ghostq-cegar | 9000 | 900 | 0 | 900 | 0 | 0 |
| ghostq-plain | 9000 | 900 | 0 | 900 | 0 | 0 |
| qfun0.1 | 7328.66 | 732.87 | 334.59 | 900 | 802.93 | 0.2 |
| QuAbS_2017 | 3744.69 | 374.47 | 429.9 | 58.6 | 897.95 | 0.6 |
| Qute_hybrid | 7481.92 | 748.19 | 268.6 | 877.31 | 335.84 | 0.3 |
| Qute_opt617 | 7572.28 | 757.23 | 297.38 | 900 | 528.12 | 0.2 |
| Qute_opt993 | 6585.29 | 658.53 | 375.09 | 900 | 885.7 | 0.3 |