Results for instance klieber2017q-086-21-t1
QBFEVAL'17 - Random QBFs Track



Solver Time Result
CUED1919_NNL0.25FAIL
QELL_default1.58UNSAT
CUED1919_NL1.66FAIL
QELL_unit1.99UNSAT
caqe_2017_v15.7UNSAT
heretiq6.88UNSAT
ijtihad_v26.98UNSAT
ijtihad_v17.06UNSAT
caqe_2017_v311.22UNSAT
caqe_2017_v211.25UNSAT
GhostQ-PG_cegar39.21UNSAT
ghostq-cegar39.48UNSAT
rareqs97.17UNSAT
AIGSolve132.6UNSAT
qbfrelay384.98UNSAT
qbfrelay-limited-depqbf888.73FAIL
HQSpre_solver900FAIL
xb-qsts_xbqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_bqsts2.0900FAIL
rev_qfun0.1900FAIL
Qute_random900FAIL
Qute_opt500900FAIL
Qute_default900FAIL
qesto900FAIL
dynQBF-bloqqer-hqspre900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
GhostQ-PG_plain900FAIL
iProver-qbf-2017-07-27-v3900FAIL