QBF Solver Evaluation Portal
qbflib.orgFamily BoundedSynthesisPetriGames results for solvers
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| cqesto | 22956.2 | 546.58 | 393.27 | 900 | 832.01 | 0.476 |
| ghostq-cegar | 25991.38 | 618.84 | 365.72 | 896.46 | 746.9 | 0.429 |
| ghostq-plain | 29564.53 | 703.92 | 332.56 | 900 | 615.43 | 0.262 |
| qfun0.1 | 26463.82 | 630.09 | 363.21 | 893.44 | 738.42 | 0.405 |
| QuAbS_2017 | 20024.12 | 476.76 | 412.81 | 422.4 | 855.16 | 0.548 |
| Qute_hybrid | 32280.52 | 768.58 | 258.17 | 876.73 | 1.64 | 0.19 |
| Qute_opt617 | 34040.32 | 810.48 | 244.33 | 900 | 0 | 0.143 |
| Qute_opt993 | 31361.08 | 746.69 | 299.42 | 900 | 123.1 | 0.238 |