weak variant, n=5 k=2 maxmult=1 minsize=1: {'instances': 94692, 'PC_weak': 72968, 'ARB_weak': 72968, 'mismatch': 0} (2s)
