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



Solver Time Result
Rareqs_20180.69UNSAT
Caqe-bloqqer0.95UNSAT
Caqe-bloqqer-qdo0.95UNSAT
Caqe-hqspre2.62UNSAT
Heretiq-simple6.46UNSAT
ijtihad6.8UNSAT
Heretiq-cube6.81UNSAT
GhostQ-PG_cegar19.67UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf24.82UNSAT
predyndep82.53UNSAT
depqbf_pre_QxQBH290.42UNSAT
depqbf_prefix_opt_qdo417.68UNSAT
Cued_3_2018900.02FAIL
Iprover-HQSpre-Bloqqer900.02FAIL
GhostQ-PG_plain900.02FAIL
Qute_default900.03FAIL
Cued_2_2018900.03FAIL
Qute_random900.06FAIL
Qute_opt500900.09FAIL