Results for instance klieber2017q-088-22-t1
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20180UNSAT
Caqe-hqspre0.5UNSAT
ijtihad0.53UNSAT
Heretiq-simple0.57UNSAT
Heretiq-cube0.59UNSAT
Caqe-bloqqer-qdo1.29UNSAT
Caqe-bloqqer16.84UNSAT
GhostQ-PG_cegar18.38UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf30.61UNSAT
depqbf_prefix_opt_qdo131.39UNSAT
Qute_opt500900FAIL
Qute_random900.01FAIL
depqbf_pre_QxQBH900.01FAIL
Iprover-HQSpre-Bloqqer900.01FAIL
predyndep900.02FAIL
Cued_2_2018900.03FAIL
Qute_default900.03FAIL
Cued_3_2018900.03FAIL
GhostQ-PG_plain900.09FAIL