QBF Solver Evaluation Portal
qbflib.orgSuite Wintersteiger 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 | 9001.01 | 818.27 | 258.58 | 900.04 | 0.06 | 0.091 |
| GhostQ_PG___cegar_qcir_2018 | 9900.31 | 900.03 | 0.02 | 900.03 | 0.03 | 0 |
| GhostQ_PG___plain_qcir_2018 | 9900.47 | 900.04 | 0.04 | 900.02 | 0.07 | 0 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 76.64 | 6.97 | 0.07 | 6.94 | 0.13 | 0 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 958.08 | 87.1 | 257.07 | 5.8 | 0.09 | 0 |
| PortfolioGhostQQfunQuAbSQute___pfs | 958.33 | 87.12 | 257.07 | 5.82 | 0.21 | 0 |
| QFUN | 9000.57 | 818.23 | 258.75 | 900.06 | 0.06 | 0.091 |
| Quabs_2018 | 9900.33 | 900.03 | 0.03 | 900.01 | 0.04 | 0 |
| quabs___caqe-bloqqer | 3603.4 | 327.58 | 432.74 | 1.58 | 900.01 | 0.636 |
| quabs___caqe-hqspre | 3614.39 | 328.58 | 431.98 | 3.29 | 900.02 | 0.636 |
| Qute_hybrid | 9013.18 | 819.38 | 255.07 | 900.04 | 0.04 | 0.091 |
| Qute_opt617 | 9011.53 | 819.23 | 255.59 | 900.04 | 0.06 | 0.091 |
| Qute_opt993 | 9060.19 | 823.65 | 241.6 | 900.06 | 0.05 | 0.091 |