Results for instance klieber2017q-082-20-eq
QBFEVAL'17 - Random QBFs Track



Solver Time Result
CUED1919_NNL0.25FAIL
CUED1919_NL1.63FAIL
rev_qfun0.12.91SAT
QELL_unit4.21SAT
QELL_default12.35SAT
GhostQ-PG_cegar51.89SAT
ghostq-cegar56.29SAT
AIGSolve430.47SAT
qbfrelay829.96FAIL
qbfrelay-limited-depqbf888.6FAIL
Qute_default900FAIL
Qute_opt500900FAIL
Qute_random900FAIL
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
qesto900FAIL
rareqs900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_plain900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
caqe_2017_v1900FAIL