Results for instance ring5_16-bin
QBFEVAL'08 - non-prenex non-cnf track.



Solver Time Result
CMS_Solver0.18UNSAT
pQBF600.05FAIL
qpro600.22FAIL