Results for instance z4ml.blif_0.10_1.00_0_1_inp_exact
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
struqs-100SAT
qsts0SAT
squeezebf+struqs0SAT
rareqs0SAT
qestos0SAT
qesto0SAT
aqua-s3o0SAT
aqua-s2v0SAT
aqua-f3v0SAT
AIGSolve0SAT
depqbf-v30.01SAT
depqbf-v20.02SAT
xb-bid-qsts0.02SAT
caqe-minisat0.02SAT
caqe-picosat0.02SAT
xb-qsts0.02SAT
hiqqer1ldsq0.02SAT
depqbf-v10.02SAT
hiqqer30.03SAT
hiqqer10.04SAT
iprover-QBF-bloqqer0.05SAT
ghostq-plain0.07SAT
ghostq-cegar0.07SAT
iprover-QBF0.17SAT