Results for instance decomposition256
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
caqe_2017_v10.01SAT
rev_qfun0.10.01SAT
ijtihad_v20.01SAT
heretiq0.01SAT
rareqs0.01SAT
qesto0.01SAT
ijtihad_v10.02SAT
prefix-opt-depqbf0.04SAT
HQSpre_solver0.1SAT
caqe_2017_v20.11SAT
caqe_2017_v30.11SAT
Qute_opt5000.12SAT
Qute_random0.12SAT
Qute_default0.12SAT
dynQBF-bloqqer-hqspre0.14SAT
xb-qsts_bqsts2.00.14SAT
xb-qsts_xbqsts1.00.14SAT
xb-qsts_xbqsts2.00.14SAT
iProver-qbf-bloqqer-2017-07-27-v30.16SAT
qbfrelay-limited-depqbf0.28SAT
qbfrelay0.3SAT
AIGSolve8.88SAT
iProver-qbf-2017-07-27-v314.06SAT
QELL_unit900FAIL
QELL_default900FAIL
GhostQ-PG_plain900FAIL
GhostQ-PG_cegar900FAIL
CUED1919_NNL900FAIL
CUED1919_NL900FAIL
ghostq-cegar900FAIL