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



Solver Time Result
CUED1919_NNL0.22FAIL
rareqs0.22UNSAT
rev_qfun0.10.59UNSAT
caqe_2017_v10.7UNSAT
CUED1919_NL1.41FAIL
heretiq2.32UNSAT
ijtihad_v12.38UNSAT
ijtihad_v22.43UNSAT
ghostq-cegar6.49UNSAT
GhostQ-PG_cegar6.66UNSAT
caqe_2017_v38.18UNSAT
caqe_2017_v28.19UNSAT
QELL_unit11.69UNSAT
AIGSolve130.58UNSAT
QELL_default153.3UNSAT
qbfrelay219.61UNSAT
qesto509.01UNSAT
qbfrelay-limited-depqbf890.36FAIL
HQSpre_solver900FAIL
xb-qsts_xbqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_bqsts2.0900FAIL
Qute_random900FAIL
Qute_opt500900FAIL
Qute_default900FAIL
dynQBF-bloqqer-hqspre900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
GhostQ-PG_plain900FAIL
iProver-qbf-2017-07-27-v3900FAIL