Results for instance klieber2017q-096-24-eq
QBFEVAL'17 - Random QBFs Track



Solver Time Result
CUED1919_NNL0.3FAIL
CUED1919_NL2.04FAIL
QELL_unit3.13SAT
QELL_default7.95SAT
qbfrelay9.02FAIL
rev_qfun0.19.91SAT
GhostQ-PG_cegar568.24SAT
ghostq-cegar571.5SAT
AIGSolve765.09FAIL
qbfrelay-limited-depqbf888.17FAIL
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