Results for instance klieber2017q-108-27-eq
QBFEVAL'17 - Random QBFs Track



Solver Time Result
CUED1919_NNL0.34FAIL
CUED1919_NL2.33FAIL
qbfrelay8.41FAIL
QELL_unit13.97SAT
rev_qfun0.150.23SAT
QELL_default101.29SAT
GhostQ-PG_cegar150.83SAT
ghostq-cegar165.59SAT
AIGSolve881.54FAIL
qbfrelay-limited-depqbf889.35FAIL
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