Results for instance add4_COMPLETE
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
CUED1919_NNL0.09FAIL
CUED1919_NL0.13FAIL
rareqs3.01SAT
heretiq4.02SAT
ijtihad_v14.04SAT
rev_qfun0.17.09SAT
dynQBF-bloqqer-hqspre7.89SAT
ijtihad_v28.36SAT
HQSpre_solver9.22SAT
caqe_2017_v111.11SAT
prefix-opt-depqbf17.68SAT
QELL_default20.16SAT
QELL_unit20.24SAT
caqe_2017_v221.51SAT
caqe_2017_v321.65SAT
qbfrelay-limited-depqbf42.84SAT
qesto123.86SAT
iProver-qbf-bloqqer-2017-07-27-v3124.54SAT
GhostQ-PG_cegar126.84SAT
ghostq-cegar144.32SAT
qbfrelay347.48SAT
Qute_random403.41SAT
Qute_opt500441.05SAT
Qute_default457.66SAT
xb-qsts_xbqsts2.0530.22SAT
xb-qsts_xbqsts1.0530.8SAT
xb-qsts_bqsts2.0531.19SAT
AIGSolve736.12FAIL
GhostQ-PG_plain900FAIL
iProver-qbf-2017-07-27-v3900FAIL