QBF Solver Evaluation Portal
qbflib.orgFamily chess_solving 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 | 18185.27 | 727.41 | 345.35 | 900.03 | 0.07 | 0.2 |
| GhostQ_PG___cegar_qcir_2018 | 18632.37 | 745.29 | 311.09 | 900.04 | 0.07 | 0.2 |
| GhostQ_PG___plain_qcir_2018 | 16672.63 | 666.91 | 350.37 | 900.02 | 448.97 | 0.36 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 5535.3 | 221.41 | 381.36 | 7.07 | 0.77 | 0 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 11771.76 | 470.87 | 446.7 | 900.01 | 894.15 | 0 |
| PortfolioGhostQQfunQuAbSQute___pfs | 147.59 | 5.9 | 0.08 | 5.89 | 0.12 | 0 |
| QFUN | 18560.21 | 742.41 | 316 | 900.03 | 0.04 | 0.2 |
| Quabs_2018 | 16764.74 | 670.59 | 364 | 900.02 | 565.71 | 0.32 |
| quabs___caqe-bloqqer | 22500.95 | 900.04 | 0.02 | 900.03 | 0.03 | 0 |
| quabs___caqe-hqspre | 22501.02 | 900.04 | 0.03 | 900.03 | 0.05 | 0 |
| Qute_hybrid | 18561.07 | 742.44 | 317.54 | 900.02 | 0.06 | 0.2 |
| Qute_opt617 | 18436.16 | 737.45 | 326.67 | 900.03 | 0.05 | 0.2 |
| Qute_opt993 | 18169.89 | 726.8 | 346.72 | 900.04 | 0.03 | 0.2 |