QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'18 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Cqesto_2018 | 7194.8 | 799.42 | 276.31 | 900.03 | 11.84 | 0.222 |
| GhostQ_PG___cegar_qcir_2018 | 8100.6 | 900.07 | 0.02 | 900.07 | 0.04 | 0 |
| GhostQ_PG___plain_qcir_2018 | 8100.33 | 900.04 | 0.03 | 900.03 | 0.05 | 0 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 2365.61 | 262.85 | 356.57 | 35.14 | 243.48 | 0.556 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 2357.63 | 261.96 | 357 | 34.2 | 243.29 | 0.556 |
| PortfolioGhostQQfunQuAbSQute___pfs | 3253.52 | 361.5 | 394.31 | 151.92 | 616.6 | 0.556 |
| QFUN | 6725.47 | 747.27 | 298.93 | 900.03 | 250.77 | 0.222 |
| Quabs_2018 | 3117.27 | 346.36 | 398.72 | 93.01 | 574.11 | 0.667 |
| quabs___caqe-bloqqer | 1826.5 | 202.94 | 372.69 | 1.49 | 12.43 | 0.778 |
| quabs___caqe-hqspre | 1982.73 | 220.3 | 363.9 | 25.03 | 51.6 | 0.778 |
| Qute_hybrid | 6784.89 | 753.88 | 286.13 | 900.02 | 207.71 | 0.333 |
| Qute_opt617 | 6693.99 | 743.78 | 306.7 | 900.01 | 253.11 | 0.222 |
| Qute_opt993 | 5685.44 | 631.72 | 386.2 | 900.02 | 757.44 | 0.333 |