### instance: jnh04.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  420830  $B66K\(B $B1Q<y(B
  1  420830  $B8E2l(B $BM40l(B
  1  420830  $BLn!9It(B $B9(;J(B
  1  420830  $BLx1:(B $BKS7{(B

### instance: rndw1000a03
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  3899483  $B66K\(B $B1Q<y(B
  1  3899483  $B8E2l(B $BM40l(B
  1  3899483  $BLn!9It(B $B9(;J(B
  1  3899483  $BLx1:(B $BKS7{(B

### instance: rndw1000b04
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  5503423  $B66K\(B $B1Q<y(B
  2  5502299  $BLn!9It(B $B9(;J(B
  3  5501118  $B8E2l(B $BM40l(B
  4  5498274  $BLx1:(B $BKS7{(B

### instance: rg_200_2000_4_13
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  7329809  $BLn!9It(B $B9(;J(B
  2  7329211  $B8E2l(B $BM40l(B
  3  7328710  $B66K\(B $B1Q<y(B
  4  7327444  $BLx1:(B $BKS7{(B

### instance: TimeTable2w-1.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  839376  $BLx1:(B $BKS7{(B
  2  839372  $BLn!9It(B $B9(;J(B
  3  839368  $B66K\(B $B1Q<y(B
  4  839346  $B8E2l(B $BM40l(B

### instance: scph3.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  604573  $BLn!9It(B $B9(;J(B
  2  604557  $B66K\(B $B1Q<y(B
  3  604552  $BLx1:(B $BKS7{(B
  4  604548  $B8E2l(B $BM40l(B

### instance: sts729.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  176987  $BLx1:(B $BKS7{(B
  2  176986  $B8E2l(B $BM40l(B
  2  176986  $BLn!9It(B $B9(;J(B
  4  176984  $B66K\(B $B1Q<y(B

### instance: ramsey-42-5-5.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  1701208  $BLx1:(B $BKS7{(B
  2  1701195  $B8E2l(B $BM40l(B
  3  1701192  $B66K\(B $B1Q<y(B
  4      0  $BLn!9It(B $B9(;J(B

### instance: ssa6288-047.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  1733755  $BLn!9It(B $B9(;J(B
  2  1732521  $BLx1:(B $BKS7{(B
  3  1730998  $B66K\(B $B1Q<y(B
  4  1721335  $B8E2l(B $BM40l(B

### $BAm9g7k2L(B ###
$B=g0L(B $BJ?6Q=g0L(B $B;aL>(B
  1    1.667  $BLn!9It(B $B9(;J(B
  2    2.000  $BLx1:(B $BKS7{(B
  3    2.333  $B66K\(B $B1Q<y(B
  4    2.556  $B8E2l(B $BM40l(B

### $B;22C<T?t(B: 4
