weak variant, n=5 k=4 maxmult=1 minsize=2: {'instances': 497248, 'PC_weak': 4296, 'ARB_weak': 4296, 'mismatch': 0} (9s)
