Results for instance klieber2017q-076-19-t1
QBFEVAL'17 - Random QBFs Track



Solver Time Result
CUED1919_NNL0.14FAIL
rev_qfun0.10.51UNSAT
CUED1919_NL0.88FAIL
rareqs1.03UNSAT
caqe_2017_v31.55UNSAT
caqe_2017_v21.55UNSAT
QELL_unit4.77UNSAT
ijtihad_v14.89UNSAT
heretiq4.93UNSAT
ijtihad_v25.06UNSAT
caqe_2017_v112.34UNSAT
qbfrelay13.63UNSAT
QELL_default45.53UNSAT
GhostQ-PG_cegar50.89UNSAT
ghostq-cegar51.35UNSAT
qbfrelay-limited-depqbf95.99UNSAT
AIGSolve123.23UNSAT
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
xb-qsts_xbqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_bqsts2.0900FAIL
qesto900FAIL
Qute_random900FAIL
Qute_opt500900FAIL
Qute_default900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_plain900FAIL
HQSpre_solver900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-2017-07-27-v3900FAIL