Results for instance klieber2017q-080-20-t1
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20180UNSAT
Caqe-hqspre1.73UNSAT
Heretiq-cube1.77UNSAT
Heretiq-simple1.79UNSAT
ijtihad1.8UNSAT
Caqe-bloqqer-qdo2.68UNSAT
Caqe-bloqqer6.19UNSAT
GhostQ-PG_cegar8.9UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf25.38UNSAT
depqbf_prefix_opt_qdo383.31UNSAT
Cued_3_2018900.01FAIL
Qute_default900.01FAIL
Qute_random900.01FAIL
depqbf_pre_QxQBH900.02FAIL
predyndep900.03FAIL
GhostQ-PG_plain900.04FAIL
Iprover-HQSpre-Bloqqer900.05FAIL
Cued_2_2018900.05FAIL
Qute_opt500900.08FAIL