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



Solver Time Result
Rareqs_20180UNSAT
Caqe-bloqqer-qdo1.1UNSAT
Heretiq-cube2.27UNSAT
Caqe-hqspre2.27UNSAT
Heretiq-simple2.31UNSAT
ijtihad2.4UNSAT
Caqe-bloqqer3.11UNSAT
GhostQ-PG_cegar6.79UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf33.18UNSAT
depqbf_prefix_opt_qdo402.79UNSAT
Qute_default900FAIL
Iprover-HQSpre-Bloqqer900.01FAIL
Cued_3_2018900.01FAIL
Qute_random900.02FAIL
predyndep900.02FAIL
Qute_opt500900.04FAIL
GhostQ-PG_plain900.04FAIL
Cued_2_2018900.06FAIL
depqbf_pre_QxQBH900.1FAIL