Results for instance ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
QBFEVAL'17 - Random QBFs Track



Solver Time Result
caqe_2017_v37.63SAT
caqe_2017_v27.67SAT
Qute_opt5008.72SAT
Qute_random8.74SAT
Qute_default9.42SAT
rareqs10.93SAT
caqe_2017_v116SAT
qbfrelay20.17FAIL
qesto47.5SAT
xb-qsts_xbqsts2.0224.82SAT
xb-qsts_bqsts2.0225.18SAT
xb-qsts_xbqsts1.0225.9SAT
AIGSolve770.03FAIL
qbfrelay-limited-depqbf889.48FAIL
ijtihad_v2900FAIL
ghostq-cegar900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
rev_qfun0.1900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
QELL_unit900FAIL
QELL_default900FAIL
heretiq900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
ijtihad_v1900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL