Results for instance ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp
QBFEVAL'17 - Random QBFs Track



Solver Time Result
qbfrelay15.46FAIL
caqe_2017_v321.34SAT
caqe_2017_v221.74SAT
caqe_2017_v124.17SAT
Qute_default134.84SAT
rareqs153.42SAT
Qute_random544.25SAT
Qute_opt500544.66SAT
qbfrelay-limited-depqbf888.31FAIL
rev_qfun0.1900FAIL
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
QELL_unit900FAIL
QELL_default900FAIL
xb-qsts_xbqsts2.0900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
qesto900FAIL
ghostq-cegar900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
AIGSolve900FAIL