QBF Solver Evaluation Portal
qbflib.orgFamily ASP_Equivalence_Checking 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 | 15919.33 | 636.77 | 396.43 | 900.02 | 875.45 | 0.32 |
| GhostQ_PG___cegar_qcir_2018 | 14477.18 | 579.09 | 427.97 | 900.02 | 893.38 | 0.36 |
| GhostQ_PG___plain_qcir_2018 | 7336.97 | 293.48 | 382.7 | 113.13 | 550.74 | 0.72 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 171.41 | 6.86 | 0.59 | 6.95 | 0.07 | 0.08 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 3981.75 | 159.27 | 327.27 | 5.8 | 0.19 | 0.04 |
| PortfolioGhostQQfunQuAbSQute___pfs | 144.55 | 5.78 | 0.08 | 5.77 | 0.09 | 0 |
| QFUN | 14440.64 | 577.63 | 429.92 | 900.01 | 898.56 | 0.36 |
| Quabs_2018 | 7732.69 | 309.31 | 377.81 | 155.08 | 581.48 | 0.72 |
| quabs___caqe-bloqqer | 15445.44 | 617.82 | 411.52 | 900.02 | 874.55 | 0.32 |
| quabs___caqe-hqspre | 16139.9 | 645.6 | 378.1 | 900.02 | 734.92 | 0.32 |
| Qute_hybrid | 17742.22 | 709.69 | 345.85 | 900.04 | 261.36 | 0.24 |
| Qute_opt617 | 17785.46 | 711.42 | 305 | 900.01 | 441.42 | 0.36 |
| Qute_opt993 | 20058.22 | 802.33 | 255.26 | 900.05 | 0.04 | 0.16 |