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



Solver Time Result
Rareqs_20182.61UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf13.66UNSAT
Qute_random16.87SAT
Qute_opt50016.94SAT
Qute_default17.3SAT
depqbf_pre_QxQBH34.28UNSAT
Caqe-hqspre173.63UNSAT
Heretiq-simple900FAIL
predyndep900.01FAIL
Cued_3_2018900.01FAIL
Cued_2_2018900.01FAIL
GhostQ-PG_plain900.01FAIL
GhostQ-PG_cegar900.01FAIL
Heretiq-cube900.02FAIL
Caqe-bloqqer900.04FAIL
Caqe-bloqqer-qdo900.07FAIL
depqbf_prefix_opt_qdo900.08FAIL
ijtihad900.09FAIL
Iprover-HQSpre-Bloqqer900.09FAIL