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



Solver Time Result
qpro1200.08FAIL
CirQit2.11201.15FAIL