Results for instance eijk.bs3330.S-d3
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
prefix-opt-depqbf0.07SAT
QELL_default0.09SAT
qbfrelay-limited-depqbf0.23SAT
caqe_2017_v20.41SAT
Qute_random0.42SAT
caqe_2017_v30.42SAT
Qute_default0.42SAT
Qute_opt5000.43SAT
CUED1919_NNL0.45FAIL
GhostQ-PG_plain0.81SAT
GhostQ-PG_cegar0.84SAT
ghostq-cegar0.85SAT
rev_qfun0.11SAT
HQSpre_solver1.44SAT
CUED1919_NL1.75FAIL
QELL_unit3.31SAT
qbfrelay6.79SAT
AIGSolve41.1SAT
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
ijtihad_v2900FAIL
ijtihad_v1900FAIL
heretiq900FAIL
dynQBF-bloqqer-hqspre900FAIL
rareqs900FAIL
qesto900FAIL
caqe_2017_v1900FAIL