Results for instance sortnetsort10.AE.stepl.012
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
Heretiq-cube65.28UNSAT
Heretiq-simple67.47UNSAT
Qute_opt50088.67SAT
Qute_random88.78SAT
Qute_default88.96SAT
Caqe-hqspre108.94UNSAT
GhostQ-PG_cegar218.45UNSAT
GhostQ-PG_plain263.73UNSAT
CADET_2017271.23UNSAT
Caqe-bloqqer288.3UNSAT
Caqe-bloqqer-qdo402.11UNSAT
ASPQ_2018442.75UNSAT
aspq3alt455.03UNSAT
aspq2v3560.53UNSAT
predyndep677.08UNSAT
PortfolioDepQBFGhostQRaReQSQute___pf900.02FAIL
ijtihad900.03FAIL
Cued_2_2018900.04FAIL
depqbf_prefix_opt_qdo900.06FAIL
depqbf_pre_QxQBH900.06FAIL
Cued_3_2018900.07FAIL
Rareqs_2018900.07FAIL
Iprover-HQSpre-Bloqqer900.08FAIL