Results for instance cycle_sched_4_7_1.sat
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
rareqs9.22SAT
caqe_2017_v110.12SAT
qesto12.92SAT
ijtihad_v249.06SAT
ijtihad_v157.69SAT
xb-qsts_bqsts2.060.13SAT
xb-qsts_xbqsts1.069.08SAT
xb-qsts_xbqsts2.069.36SAT
heretiq87.41SAT
qbfrelay217.17SAT
CUED1919_NL595.88FAIL
qbfrelay-limited-depqbf890.83FAIL
Qute_default900FAIL
Qute_random900FAIL
QELL_unit900FAIL
QELL_default900FAIL
rev_qfun0.1900FAIL
Qute_opt500900FAIL
prefix-opt-depqbf900FAIL
ghostq-cegar900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
CUED1919_NNL900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
AIGSolve900FAIL