weak variant, n=3 k=3 maxmult=3 minsize=1: {'instances': 3025, 'PC_weak': 2493, 'ARB_weak': 2493, 'mismatch': 0} (0s)
