QBF Solver Evaluation Portal
qbflib.orgFamily Model_instances results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 13089.1 | 654.46 | 349.43 | 900 | 511.03 | 0.4 |
| ghostq-cegar | 15025.45 | 751.27 | 315.41 | 900 | 0 | 0.2 |
| ghostq-plain | 17187.85 | 859.39 | 177 | 900 | 0 | 0.05 |
| qfun0.1 | 16751.75 | 837.59 | 203.9 | 900 | 0 | 0.1 |
| QuAbS_2017 | 7302.47 | 365.12 | 401.16 | 118.39 | 897.65 | 0.65 |
| Qute_hybrid | 12988.77 | 649.44 | 372.89 | 877.4 | 541.08 | 0.3 |
| Qute_opt617 | 17134.24 | 856.71 | 188.69 | 900 | 0 | 0.05 |
| Qute_opt993 | 14540.82 | 727.04 | 346.76 | 900 | 0 | 0.2 |