QBF Solver Evaluation Portal
qbflib.orgFamily amba 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 | 2730.2 | 682.55 | 376.63 | 900 | 434.9 | 0.25 |
| ghostq-plain | 3042.49 | 760.62 | 241.41 | 900 | 278.76 | 0.25 |
| qfun0.1 | 2715.21 | 678.8 | 383.13 | 900 | 442.4 | 0.25 |
| QuAbS_2017 | 3600 | 900 | 0 | 900 | 0 | 0 |
| Qute_hybrid | 3074.86 | 768.72 | 187.81 | 877.11 | 217 | 0.25 |
| Qute_opt617 | 2484.91 | 621.23 | 280.39 | 642.47 | 557.55 | 0.5 |
| Qute_opt993 | 2655.15 | 663.79 | 271.24 | 758.06 | 472.43 | 0.5 |