CCLP3 level 111 solution - 624 seconds
CCLP3 level 111 solution - 638 seconds
CCLP3 level 8 solution - 111 seconds
CCLP3 level 9 solution - 111 seconds
CCLP3 level 113 solution - 403 seconds
CCLP2 level 111 solution - 376 seconds
CCLP3 level 17 solution - 87 seconds
CCLP3 level 33 solution - 40 seconds
CCLP3 level 110 solution - 301 seconds
CCLP3 level 16 Lynx solution - 244 seconds
CCLP3 level 114 solution - 579 seconds
CCLP3 level 114 solution - 579 seconds (derandomized)
CCLP3 level 10 solution - 78 seconds
CCLP3 level 138 solution - 139 seconds
CCLP3 level 10 solution - 77 seconds
CCLP3 level 130 solution - 311 seconds
CCLP3 level 12 Lynx solution - 126 seconds
CCLP3 level 17 solution - 91 seconds
CCLP3 level 23 solution - 244 seconds
CCLP3 level 13 solution - 99 seconds