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



Solver Time Result
qsts0.23SAT
iprover-QBF-bloqqer40.03FAIL
iprover-QBF80.44FAIL
ghostq-plain85.67UNSAT
ghostq-cegar121.79UNSAT
qesto187.93UNSAT
qestos516.32FAIL
xb-qsts559.07UNSAT
xb-bid-qsts561.04UNSAT
depqbf-v1592.42FAIL
depqbf-v2592.84FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
caqe-picosat599.72FAIL
caqe-minisat599.73FAIL
AIGSolve599.73FAIL
rareqs599.81FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
depqbf-v3599.81FAIL
aqua-s3o600FAIL
aqua-s2v600FAIL
aqua-f3v600FAIL