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



Solver Time Result
CirQit2.10.95SAT
qpro1200.08FAIL