QBF Solver Evaluation Portal
qbflib.orgFamily hwmcc 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 | 2701.69 | 450.28 | 449.76 | 450.46 | 900.01 | 0.5 |
| GhostQ_PG___cegar_qcir_2018 | 2956.54 | 492.76 | 415.09 | 572.84 | 898.88 | 0.5 |
| GhostQ_PG___plain_qcir_2018 | 2728.64 | 454.77 | 445.32 | 458.96 | 899.05 | 0.5 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 39.84 | 6.64 | 0.89 | 7.01 | 2.37 | 0.167 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 1822.68 | 303.78 | 421.66 | 5.92 | 1.19 | 0.167 |
| PortfolioGhostQQfunQuAbSQute___pfs | 1826 | 304.33 | 421.25 | 7.67 | 4.8 | 0.333 |
| QFUN | 2700.11 | 450.02 | 450.02 | 450.01 | 900.01 | 0.5 |
| Quabs_2018 | 2707.14 | 451.19 | 448.83 | 453.55 | 900 | 0.5 |
| quabs___caqe-bloqqer | 1819.33 | 303.22 | 422.03 | 9.64 | 15.32 | 0.667 |
| quabs___caqe-hqspre | 2027.47 | 337.91 | 403.24 | 107.52 | 200.16 | 0.667 |
| Qute_hybrid | 2703.33 | 450.56 | 449.5 | 450.82 | 900.03 | 0.5 |
| Qute_opt617 | 2703.19 | 450.53 | 449.52 | 450.77 | 900 | 0.5 |
| Qute_opt993 | 2704.78 | 450.8 | 449.24 | 451.57 | 899.84 | 0.5 |