QBF Solver Evaluation Portal
qbflib.orgFamily toy results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 1800.06 | 450.02 | 449.99 | 450.03 | 899.97 | 0.5 |
| ghostq-cegar | 1800.8 | 450.2 | 449.8 | 450.35 | 899.6 | 0.5 |
| ghostq-plain | 1035.96 | 258.99 | 374.16 | 67.94 | 517.2 | 0.75 |
| qfun0.1 | 212.43 | 53.11 | 60.19 | 32.77 | 105.53 | 1 |
| QuAbS_2017 | 937.96 | 234.49 | 384.54 | 18.98 | 468.87 | 0.75 |
| Qute_hybrid | 0.58 | 0.15 | 0.13 | 0.11 | 0.19 | 1 |
| Qute_opt617 | 0.89 | 0.22 | 0.18 | 0.19 | 0.32 | 1 |
| Qute_opt993 | 2.4 | 0.6 | 0.57 | 0.5 | 1.07 | 1 |