Results for instance biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20182.17UNSAT
ijtihad2.18UNSAT
Heretiq-simple2.26UNSAT
Heretiq-cube2.28UNSAT
Qute_random18.28SAT
Qute_default18.36SAT
Qute_opt50018.49SAT
PortfolioDepQBFGhostQRaReQSQute___pf48.95UNSAT
predyndep151.96UNSAT
Iprover-HQSpre-Bloqqer314.96UNSAT
depqbf_pre_QxQBH369.49UNSAT
GhostQ-PG_cegar900.01FAIL
Caqe-bloqqer-qdo900.01FAIL
GhostQ-PG_plain900.02FAIL
depqbf_prefix_opt_qdo900.05FAIL
Cued_2_2018900.05FAIL
Caqe-hqspre900.05FAIL
Caqe-bloqqer900.05FAIL
Cued_3_2018900.05FAIL