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



Solver Time Result
CMS_Solver0.06SAT
qpro0.09SAT
pQBF0.74SAT