Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml | ? | 310.371 | 222.129 | 4293981 | |
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? | 328.036 | 252.771 | 4294017 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? | 599.633 | 448.277 | 4293985 | |
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml | ? | 1073.2 | 759.53 | 4293997 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? | 1790.46 | 1196.38 | 4294005 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
NurseRostering/ NurseRostering-04_c18.xml | Wrong Cert. | 2520.07 | 2457.43 | 4292937 | |
NurseRostering/ NurseRostering-11_c18.xml | Wrong Cert. | 2520.08 | 2445.64 | 4292985 | |
NurseRostering/ NurseRostering-05_c18.xml | Wrong Cert. | 2520.09 | 2455.14 | 4292945 | |
NurseRostering/ NurseRostering-07_c18.xml | Wrong Cert. | 2520.12 | 2451.93 | 4292977 |