weak variant, n=4 k=4 maxmult=1 minsize=1: {'instances': 26837, 'PC_weak': 10521, 'ARB_weak': 10521, 'mismatch': 0} (0s)
