Results for instance ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp
QBFEVAL'17 - Prenex 2QBF Track



Solver Time Result
ASPQ22.79SAT
qbfrelay25.56FAIL
caqe_2017_v353.64SAT
caqe_2017_v253.67SAT
caqe_2017_v1165.04SAT
qbfrelay-limited-depqbf177.27SAT
CADET_2017900FAIL
no-prefix-opt-depqbf900FAIL
QELL_default900FAIL
QELL_unit900FAIL
rev_qfun0.1900FAIL
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
DynQBF-bloqqer-variant900FAIL
DynQBF-bloqqer-hqspre-it900FAIL
xb-qsts_xbqsts2.0900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
rareqs900FAIL
ghostq-cegar900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
iProver-qbf-2017-07-27-v3900FAIL
qesto900FAIL