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