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