17-Aug-2017, 4:32 AM
CCLP4 (Lynx):
47: 355
48: 280
49: Solved(875)
CCLP4 (MS):
47: 353(+132, b)
48: 282(+41)
49: Solved(876)
47: 355
48: 280
49: Solved(875)
CCLP4 (MS):
47: 353(+132, b)
48: 282(+41)
49: Solved(876)