Results for instance nusmv.tcas-t^1.B-d2
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.05UNSAT
ghostq-plain1.8SAT
ghostq-cegar6.05SAT
AIGSolve316.39SAT
iprover-QBF-bloqqer349.95FAIL
depqbf-v1592.94FAIL
depqbf-v2593.62FAIL
iprover-QBF599.22FAIL
hiqqer1599.71FAIL
hiqqer3599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
depqbf-v3599.71FAIL
xb-qsts599.71FAIL
qesto599.71FAIL
rareqs599.71FAIL
caqe-minisat599.71FAIL
aqua-f3v599.73FAIL
hiqqer1ldsq599.81FAIL
qestos599.81FAIL
xb-bid-qsts599.81FAIL
aqua-s2v599.83FAIL
caqe-picosat599.83FAIL
aqua-s3o599.92FAIL