Results for instance nusmv.reactor^3.C-d4
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.18UNSAT
ghostq-plain3.2SAT
ghostq-cegar3.27SAT
AIGSolve9.93SAT
squeezebf+struqs72.18SAT
struqs-1085.54SAT
iprover-QBF-bloqqer112.54FAIL
iprover-QBF255.35FAIL
aqua-f3v336.68SAT
depqbf-v1592.22FAIL
depqbf-v2593.62FAIL
hiqqer1ldsq599.71FAIL
depqbf-v3599.71FAIL
xb-qsts599.71FAIL
rareqs599.71FAIL
aqua-s3o599.71FAIL
qesto599.71FAIL
xb-bid-qsts599.72FAIL
aqua-s2v599.72FAIL
caqe-picosat599.8FAIL
hiqqer3599.81FAIL
hiqqer1599.81FAIL
qestos599.81FAIL
caqe-minisat599.83FAIL