CCLP3 level 52 solution - 365 seconds
CCLP3 level 52 solution - 362 seconds
CCLP3 level 51 solution - 333 seconds
CCLP1 level 52 solution - 309 seconds
CCLP4 level 52 solution - 103 seconds
CCLP3 level 145 solution - 730 seconds
CCLP3 level 81 solution - 113 seconds
CCLP3 level 35 solution - 59 seconds
CCLP3 level 70 solution - 405 seconds
CCLP3 level 1 solution - 192 seconds
CCLP3 level 63 solution - 230 seconds
CCLP3 level 100 solution - 218 seconds
CCLP3 level 68 solution - 424 seconds
CCLP3 level 74 solution - 270 seconds
CCLP3 level 43 solution - 339 seconds
CCLP3 level 122 solution - 504 seconds
CCLP3 level 7 solution - 152 seconds
CCLP3 level 46 solution - 278 seconds
CCLP3 level 114 solution - 579 seconds (derandomized)
CCLP3 level 138 solution - 139 seconds