Results for instance s510_d3_s
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.03UNSAT
rareqs0.25SAT
ghostq-cegar0.83SAT
ghostq-plain0.85SAT
qesto1.05SAT
caqe-minisat1.44SAT
caqe-picosat1.9SAT
xb-qsts1.91SAT
xb-bid-qsts1.97SAT
depqbf-v23.51SAT
depqbf-v34.01SAT
AIGSolve6.65SAT
hiqqer110.37SAT
hiqqer310.45SAT
hiqqer1ldsq10.46SAT
squeezebf+struqs70.36SAT
struqs-1073.29SAT
aqua-f3v84.99SAT
aqua-s2v86.34SAT
aqua-s3o88.98SAT
iprover-QBF408.63FAIL
iprover-QBF-bloqqer418.73FAIL
depqbf-v1592.83FAIL
qestos599.81FAIL