Results for instance k_d4_n-10
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.06SAT
hiqqer1ldsq0.07SAT
qesto0.07SAT
qestos0.07SAT
rareqs0.07SAT
hiqqer30.09SAT
hiqqer10.09SAT
caqe-minisat0.47SAT
xb-qsts0.49SAT
caqe-picosat0.49SAT
xb-bid-qsts0.5SAT
iprover-QBF-bloqqer0.54SAT
depqbf-v20.61SAT
AIGSolve0.66SAT
ghostq-plain1.06SAT
ghostq-cegar1.38SAT
iprover-QBF294.45FAIL
depqbf-v1593.12FAIL
squeezebf+struqs599.71FAIL
depqbf-v3599.71FAIL
struqs-10599.71FAIL
aqua-s3o599.81FAIL
aqua-s2v599.87FAIL
aqua-f3v599.88FAIL