Results for instance arbiter-06-comp-error01-qbf-hardness-depth-15
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Caqe-bloqqer3.3UNSAT
Caqe-bloqqer-qdo4.99UNSAT
Caqe-hqspre51.06UNSAT
Heretiq-simple59.77UNSAT
Heretiq-cube60.17UNSAT
Qute_opt500132.76SAT
Qute_default133.08SAT
Qute_random133.18SAT
Rareqs_2018270.47UNSAT
predyndep297.62UNSAT
depqbf_prefix_opt_qdo369.64UNSAT
Cued_2_2018900.01FAIL
depqbf_pre_QxQBH900.02FAIL
GhostQ-PG_cegar900.03FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.04FAIL
GhostQ-PG_plain900.04FAIL
Cued_3_2018900.04FAIL
ijtihad900.09FAIL
Iprover-HQSpre-Bloqqer900.1FAIL