Results for instance counter4_15
QBFEVAL'10 - Non-prenex Non-CNF Track.



Solver Time Result
CirQit2.10.02SAT
qpro0.53SAT