QBF Solver Evaluation Portal
qbflib.orgSuite Basler results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 1080.66 | 135.08 | 289.58 | 33.13 | 30.21 | 0.875 |
| ghostq-cegar | 3263.65 | 407.96 | 304.53 | 429.84 | 543.13 | 0.875 |
| ghostq-plain | 6364.86 | 795.61 | 276.2 | 900 | 0 | 0.125 |
| qfun0.1 | 1172.88 | 146.61 | 286 | 47.01 | 49.56 | 0.875 |
| QuAbS_2017 | 6303.37 | 787.92 | 296.53 | 900 | 0 | 0.125 |
| Qute_hybrid | 6739.67 | 842.46 | 92.48 | 877.27 | 0.36 | 0.125 |
| Qute_opt617 | 7200 | 900 | 0 | 900 | 0 | 0 |
| Qute_opt993 | 6370.51 | 796.31 | 274.33 | 900 | 0 | 0.125 |