Solver | Time | Result |
---|---|---|
Heretiq-cube | 2.99 | UNSAT |
ijtihad | 3.02 | UNSAT |
Heretiq-simple | 3.06 | UNSAT |
Caqe-bloqqer-qdo | 11.87 | UNSAT |
Rareqs_2018 | 16.24 | UNSAT |
depqbf_prefix_opt_qdo | 17.41 | UNSAT |
Caqe-bloqqer | 24.32 | UNSAT |
Caqe-hqspre | 33.77 | UNSAT |
GhostQ-PG_plain | 37 | UNSAT |
GhostQ-PG_cegar | 63.3 | UNSAT |
depqbf_pre_QxQBH | 82.68 | UNSAT |
predyndep | 137.11 | UNSAT |
Cued_2_2018 | 179.14 | UNSAT |
Cued_3_2018 | 179.77 | UNSAT |
PortfolioDepQBFGhostQRaReQSQute___pf | 223.36 | UNSAT |
Qute_random | 900.01 | FAIL |
Qute_opt500 | 900.02 | FAIL |
Iprover-HQSpre-Bloqqer | 900.05 | FAIL |
Qute_default | 900.09 | FAIL |