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



Solver Time Result
Qute_opt5002.51SAT
Qute_random2.53SAT
caqe_2017_v317.02SAT
caqe_2017_v217.15SAT
caqe_2017_v117.19SAT
qbfrelay18.39FAIL
Qute_default51.03SAT
rareqs69.07SAT
xb-qsts_xbqsts2.080.33SAT
xb-qsts_bqsts2.081.89SAT
xb-qsts_xbqsts1.081.94SAT
qesto152.49SAT
heretiq520.67SAT
qbfrelay-limited-depqbf889.09FAIL
QELL_unit900FAIL
QELL_default900FAIL
rev_qfun0.1900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
ghostq-cegar900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
AIGSolve900FAIL