Results for instance biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Rareqs_20182.24UNSAT
Qute_default23.31SAT
Qute_random23.47SAT
Qute_opt50023.54SAT
Caqe-bloqqer-qdo900FAIL
predyndep900.01FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.02FAIL
Iprover-HQSpre-Bloqqer900.02FAIL
GhostQ-PG_cegar900.02FAIL
GhostQ-PG_plain900.02FAIL
Caqe-bloqqer900.02FAIL
Cued_3_2018900.03FAIL
depqbf_prefix_opt_qdo900.05FAIL
depqbf_pre_QxQBH900.06FAIL
Heretiq-cube900.06FAIL
ijtihad900.07FAIL
Caqe-hqspre900.08FAIL
Heretiq-simple900.09FAIL
Cued_2_2018900.09FAIL