weak variant, n=4 k=2 maxmult=3 minsize=1: {'instances': 208792, 'PC_weak': 191593, 'ARB_weak': 191593, 'mismatch': 0} (3s)
