Results for instance s499_d19_s
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
QELL_unit0.53SAT
QELL_default1.12SAT
GhostQ-PG_plain4.9SAT
GhostQ-PG_cegar6.25SAT
ghostq-cegar18.51SAT
CUED1919_NNL22.91FAIL
rev_qfun0.123.16SAT
rareqs63.53SAT
Qute_default75.71SAT
caqe_2017_v183.67SAT
xb-qsts_bqsts2.085.25SAT
CUED1919_NL97.4FAIL
caqe_2017_v3114.37SAT
caqe_2017_v2114.67SAT
qesto153.49SAT
xb-qsts_xbqsts2.0170.49SAT
xb-qsts_xbqsts1.0173.18SAT
qbfrelay886.92FAIL
Qute_random900FAIL
Qute_opt500900FAIL
qbfrelay-limited-depqbf900FAIL
dynQBF-bloqqer-hqspre900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
prefix-opt-depqbf900FAIL
AIGSolve900FAIL