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



Solver Time Result
Rareqs_201811.37UNSAT
aspq2v311.7UNSAT
Qute_random11.88SAT
Qute_opt50011.91SAT
Qute_default11.93SAT
Caqe-bloqqer13.89UNSAT
Caqe-bloqqer-qdo14.46UNSAT
CADET_201715.72UNSAT
ASPQ_201815.85UNSAT
aspq3alt15.9UNSAT
GhostQ-PG_plain16.98UNSAT
Caqe-hqspre25.47UNSAT
Heretiq-simple33.56UNSAT
Heretiq-cube33.71UNSAT
depqbf_prefix_opt_qdo61.99UNSAT
Cued_3_201865.1UNSAT
Cued_2_201865.27UNSAT
ijtihad80.99UNSAT
predyndep296.86UNSAT
depqbf_pre_QxQBH322.78UNSAT
Iprover-HQSpre-Bloqqer900.05FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.06FAIL
GhostQ-PG_cegar900.09FAIL