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



Solver Time Result
Qute_random4.1SAT
Qute_opt5004.11SAT
Qute_default5.98SAT
rareqs8.39SAT
caqe_2017_v19.3SAT
caqe_2017_v210.41SAT
caqe_2017_v310.48SAT
xb-qsts_bqsts2.011.29SAT
iProver-qbf-bloqqer-2017-07-27-v311.77SAT
xb-qsts_xbqsts1.012.3SAT
xb-qsts_xbqsts2.012.4SAT
qbfrelay32.12FAIL
qesto42.39SAT
AIGSolve861.47FAIL
GhostQ-PG_cegar861.76SAT
ghostq-cegar864.61SAT
qbfrelay-limited-depqbf888.87FAIL
HQSpre_solver900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
rev_qfun0.1900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_plain900FAIL
QELL_unit900FAIL
QELL_default900FAIL
heretiq900FAIL
prefix-opt-depqbf900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
iProver-qbf-2017-07-27-v3900FAIL