Results for instance robots_1_5_2_65.8
QBFEVAL'16 - Random QBFs Track.



Solver Time Result
rareqs39.03SAT
xb-qsts170.66SAT
xb-bid-qsts199.15SAT
qesto260.39SAT
iprover-QBF334.55FAIL
qsts441.68SAT
caqe-minisat512.17SAT
depqbf-v1592.62FAIL
depqbf-v2593.02FAIL
iprover-QBF-bloqqer599.22FAIL
caqe-picosat599.68FAIL
depqbf-v3599.71FAIL
squeezebf+struqs599.71FAIL
aqua-s2v599.71FAIL
struqs-10599.71FAIL
qestos599.71FAIL
hiqqer3599.71FAIL
hiqqer1599.71FAIL
hiqqer1ldsq599.81FAIL
aqua-f3v599.81FAIL
aqua-s3o599.81FAIL