Results for instance biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20181.23UNSAT
Qute_random15.6SAT
Qute_opt50015.96SAT
Qute_default16.07SAT
depqbf_pre_QxQBH391.05UNSAT
GhostQ-PG_plain900FAIL
Iprover-HQSpre-Bloqqer900.01FAIL
Heretiq-simple900.01FAIL
Heretiq-cube900.02FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.02FAIL
Cued_3_2018900.02FAIL
Caqe-bloqqer900.03FAIL
GhostQ-PG_cegar900.04FAIL
Cued_2_2018900.05FAIL
Caqe-bloqqer-qdo900.05FAIL
predyndep900.05FAIL
depqbf_prefix_opt_qdo900.08FAIL
ijtihad900.08FAIL
Caqe-hqspre900.09FAIL