Results for instance robots_1_5_4_54.3
QBFEVAL'16 - Random QBFs Track.



Solver Time Result
qsts0.15SAT
hiqqer1ldsq0.5SAT
hiqqer10.5SAT
hiqqer30.51SAT
depqbf-v10.51SAT
qesto0.53SAT
qestos0.53SAT
rareqs0.53SAT
xb-qsts1.44SAT
xb-bid-qsts1.44SAT
caqe-minisat1.45SAT
iprover-QBF-bloqqer1.48SAT
caqe-picosat1.49SAT
depqbf-v34.52SAT
depqbf-v25.01SAT
aqua-f3v21.35SAT
aqua-s2v21.46SAT
aqua-s3o21.47SAT
iprover-QBF488.34FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL