Results for instance sortnetsort7.AE.stepl.008
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
Rareqs_20181.37UNSAT
CADET_20171.9UNSAT
Caqe-bloqqer-qdo3.02UNSAT
aspq2v33.2UNSAT
aspq3alt4.7UNSAT
ASPQ_20184.72UNSAT
Caqe-bloqqer4.77UNSAT
Qute_default5.97SAT
Qute_opt5006.02SAT
Qute_random6.04SAT
GhostQ-PG_plain7.13UNSAT
Caqe-hqspre9.64UNSAT
Cued_3_201811.4UNSAT
Cued_2_201811.48UNSAT
Heretiq-simple25.38UNSAT
Heretiq-cube25.77UNSAT
ijtihad25.83UNSAT
GhostQ-PG_cegar605.76UNSAT
depqbf_pre_QxQBH900.04FAIL
depqbf_prefix_opt_qdo900.05FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.05FAIL
Iprover-HQSpre-Bloqqer900.07FAIL
predyndep900.07FAIL