Results for instance query44_query26_1344n
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
GhostQ-PG_cegar26.42SAT
Heretiq-cube593.41FAIL
Qute_random900FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.01FAIL
ASPQ_2018900.02FAIL
aspq3alt900.02FAIL
depqbf_pre_QxQBH900.02FAIL
Caqe-bloqqer-qdo900.02FAIL
Caqe-hqspre900.03FAIL
ijtihad900.03FAIL
CADET_2017900.03FAIL
GhostQ-PG_plain900.04FAIL
Cued_2_2018900.05FAIL
depqbf_prefix_opt_qdo900.05FAIL
Iprover-HQSpre-Bloqqer900.05FAIL
Qute_default900.05FAIL
Qute_opt500900.06FAIL
Cued_3_2018900.07FAIL
predyndep900.08FAIL
Caqe-bloqqer900.08FAIL
Rareqs_2018900.08FAIL
aspq2v3900.1FAIL
Heretiq-simple900.11FAIL