QBF Solver Evaluation Portal
qbflib.orgSuite Mangassarian-Veneris results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 7200 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 7186.38 | 898.3 | 3.5 | 900 | 1.52 | 0 |
| ghostq-plain | 7186.52 | 898.32 | 3.44 | 900 | 1.55 | 0 |
| qfun0.1 | 6376.89 | 797.11 | 260.9 | 896.13 | 11.18 | 0.125 |
| QuAbS_2017 | 6437.88 | 804.74 | 252.05 | 900 | 0 | 0.125 |
| Qute_hybrid | 7014.17 | 876.77 | 0.73 | 876.96 | 0.86 | 0 |
| Qute_opt617 | 7200 | 900 | 0 | 900 | 0 | 0 |
| Qute_opt993 | 7200 | 900 | 0 | 900 | 0 | 0 |