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



Solver Time Result
qsts0.02SAT
rareqs0.06SAT
depqbf-v10.07SAT
qestos0.07SAT
qesto0.07SAT
depqbf-v30.1SAT
hiqqer1ldsq0.11SAT
AIGSolve0.11SAT
hiqqer10.12SAT
squeezebf+struqs0.13SAT
struqs-100.14SAT
hiqqer30.17SAT
ghostq-plain0.36SAT
ghostq-cegar0.38SAT
depqbf-v20.51SAT
xb-qsts0.69SAT
caqe-minisat0.86SAT
aqua-s3o1.35SAT
aqua-s2v1.92SAT
aqua-f3v1.93SAT
caqe-picosat2.92SAT
iprover-QBF4.88SAT
xb-bid-qsts28.91SAT
iprover-QBF-bloqqer40.18SAT