weak variant, n=5 k=3 maxmult=1 minsize=1: {'instances': 504836, 'PC_weak': 258406, 'ARB_weak': 258406, 'mismatch': 0} (10s)
