Results for instance ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
QBFEVAL'17 - Random QBFs Track



Solver Time Result
Qute_default2.56UNSAT
qbfrelay9.37FAIL
Qute_opt50047.66UNSAT
Qute_random48.47UNSAT
heretiq59.15UNSAT
rareqs154.12UNSAT
qbfrelay-limited-depqbf385.32UNSAT
qesto619.29UNSAT
AIGSolve810FAIL
rev_qfun0.1900FAIL
QELL_unit900FAIL
xb-qsts_bqsts2.0900FAIL
QELL_default900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
ghostq-cegar900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
caqe_2017_v1900FAIL