Results for instance biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Qute_default0.76UNSAT
Qute_opt5000.81UNSAT
Qute_random0.81UNSAT
Iprover-HQSpre-Bloqqer0.91UNSAT
Caqe-hqspre0.93UNSAT
Heretiq-cube1.29UNSAT
Heretiq-simple1.3UNSAT
Rareqs_20181.33UNSAT
ijtihad1.4UNSAT
depqbf_pre_QxQBH1.63UNSAT
Caqe-bloqqer1.96UNSAT
depqbf_prefix_opt_qdo2.92UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf8.99UNSAT
predyndep35.74UNSAT
Caqe-bloqqer-qdo41.29UNSAT
Cued_3_2018900.01FAIL
Cued_2_2018900.04FAIL
GhostQ-PG_cegar900.04FAIL
GhostQ-PG_plain900.07FAIL