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



Solver Time Result
CirQit2.1145.26UNSAT
qpro1200.09FAIL