QBF Solver Evaluation Portal
qbflib.orgSuite Ansotegui results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 13499.55 | 749.98 | 298.29 | 900 | 441.31 | 0.222 |
| ghostq-cegar | 15176.12 | 843.12 | 142.95 | 900 | 0 | 0.167 |
| ghostq-plain | 12919.88 | 717.77 | 342.75 | 900 | 733.65 | 0.222 |
| qfun0.1 | 15402.55 | 855.7 | 180.91 | 900 | 0 | 0.056 |
| QuAbS_2017 | 13924.43 | 773.58 | 253.12 | 900 | 287.73 | 0.167 |
| Qute_hybrid | 14313.07 | 795.17 | 231.33 | 876.42 | 0.93 | 0.111 |
| Qute_opt617 | 14345.01 | 796.95 | 239.49 | 900 | 0 | 0.167 |
| Qute_opt993 | 13928.51 | 773.81 | 293.41 | 900 | 0 | 0.167 |