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



Solver Time Result
Qute_opt50020.94SAT
Qute_random20.99SAT
Qute_default21.08SAT
Caqe-bloqqer-qdo30.45UNSAT
Caqe-bloqqer58.66UNSAT
aspq2v359.19UNSAT
Caqe-hqspre60.39UNSAT
ASPQ_201861.95UNSAT
aspq3alt62.41UNSAT
Heretiq-cube94.34UNSAT
Heretiq-simple94.38UNSAT
Rareqs_2018124.96UNSAT
predyndep264.08UNSAT
depqbf_pre_QxQBH499.04UNSAT
Cued_2_2018846.23UNSAT
Cued_3_2018898.51UNSAT
GhostQ-PG_plain900.02FAIL
depqbf_prefix_opt_qdo900.02FAIL
GhostQ-PG_cegar900.02FAIL
CADET_2017900.03FAIL
Iprover-HQSpre-Bloqqer900.04FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.09FAIL
ijtihad900.1FAIL