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



Solver Time Result
Qute_random16.14SAT
Qute_opt50016.19SAT
Qute_default16.37SAT
Rareqs_201825.84UNSAT
Heretiq-simple36.34UNSAT
Heretiq-cube36.53UNSAT
aspq2v340.97UNSAT
aspq3alt48.44UNSAT
ASPQ_201848.67UNSAT
Caqe-hqspre72.89UNSAT
Caqe-bloqqer-qdo136.08UNSAT
Caqe-bloqqer149.09UNSAT
predyndep296.34UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf900.01FAIL
CADET_2017900.01FAIL
GhostQ-PG_cegar900.03FAIL
Iprover-HQSpre-Bloqqer900.04FAIL
depqbf_prefix_opt_qdo900.05FAIL
GhostQ-PG_plain900.05FAIL
depqbf_pre_QxQBH900.06FAIL
Cued_2_2018900.06FAIL
ijtihad900.08FAIL
Cued_3_2018900.08FAIL