Results for instance klieber2017q-076-19-t1
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20181UNSAT
Caqe-hqspre2.2UNSAT
Heretiq-simple4.81UNSAT
Heretiq-cube4.86UNSAT
ijtihad5UNSAT
Caqe-bloqqer6UNSAT
Caqe-bloqqer-qdo7.2UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf24.76UNSAT
depqbf_pre_QxQBH28.61UNSAT
GhostQ-PG_cegar51.62UNSAT
predyndep123.68UNSAT
Qute_default900.02FAIL
Iprover-HQSpre-Bloqqer900.04FAIL
GhostQ-PG_plain900.05FAIL
Cued_2_2018900.06FAIL
Qute_random900.06FAIL
Cued_3_2018900.06FAIL
Qute_opt500900.07FAIL
depqbf_prefix_opt_qdo900.08FAIL