Results for instance klieber2017q-092-23-t1
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Caqe-bloqqer0.65UNSAT
Caqe-hqspre2.08UNSAT
Rareqs_20183.01UNSAT
Caqe-bloqqer-qdo3.1UNSAT
Heretiq-cube4.47UNSAT
Heretiq-simple4.48UNSAT
ijtihad4.49UNSAT
GhostQ-PG_cegar13.92UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf25.02UNSAT
depqbf_prefix_opt_qdo204.22UNSAT
Qute_opt500900FAIL
Cued_3_2018900.01FAIL
Qute_default900.01FAIL
Qute_random900.01FAIL
depqbf_pre_QxQBH900.02FAIL
GhostQ-PG_plain900.02FAIL
predyndep900.02FAIL
Iprover-HQSpre-Bloqqer900.04FAIL
Cued_2_2018900.06FAIL