resize counter + testcases for BigLogic run()