QBF Solver Evaluation Portal
qbflib.orgFamily CombinationalEquivalence results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 664.12 | 22.14 | 85.28 | 1.21 | 3.93 | 1 |
| ghostq-cegar | 2872.11 | 95.74 | 190.28 | 24.88 | 52.22 | 0.967 |
| ghostq-plain | 27000 | 900 | 0 | 900 | 0 | 0 |
| qfun0.1 | 17.73 | 0.59 | 0.45 | 0.5 | 0.2 | 1 |
| QuAbS_2017 | 1353.6 | 45.12 | 32.9 | 35.48 | 44.49 | 1 |
| Qute_hybrid | 19839.59 | 661.32 | 348.78 | 879.41 | 683.26 | 0.3 |
| Qute_opt617 | 21010.54 | 700.35 | 358.27 | 900 | 691.57 | 0.267 |
| Qute_opt993 | 24042.54 | 801.42 | 265.97 | 900 | 0 | 0.133 |