Results for instance term1.blif_0.10_0.20_0_1_inp_exact
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
rareqs0.06SAT
depqbf-v10.07SAT
aqua-f3v0.09SAT
aqua-s2v0.09SAT
aqua-s3o0.09SAT
qestos0.09SAT
qesto0.18SAT
hiqqer1ldsq0.18SAT
hiqqer10.19SAT
AIGSolve0.22SAT
depqbf-v30.24SAT
hiqqer30.3SAT
ghostq-plain0.31SAT
ghostq-cegar0.31SAT
xb-qsts0.38SAT
caqe-minisat0.46SAT
caqe-picosat0.55SAT
xb-bid-qsts0.57SAT
depqbf-v20.61SAT
struqs-102.89SAT
squeezebf+struqs2.91SAT
qsts4.39SAT
iprover-QBF19.4SAT
iprover-QBF-bloqqer39.69SAT