Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
SteelMillSlab/ SteelMillSlab-m2s-2-2_c18.xml | SAT | 772 | 1729.67 | 538.363 | 4296043 |
SteelMillSlab/ SteelMillSlab-m2s-2-0_c18.xml | SAT | 379 | 2427.1 | 734.389 | 4296059 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? | 957.206 | 515.502 | 4294018 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? | 1759.88 | 1168.55 | 4294006 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? | 1819.33 | 926.775 | 4293986 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
NurseRostering/ NurseRostering-07_c18.xml | Wrong Cert. | 2520.07 | 2449.23 | 4292978 | |
NurseRostering/ NurseRostering-11_c18.xml | Wrong Cert. | 2520.14 | 2363.06 | 4292986 | |
NurseRostering/ NurseRostering-04_c18.xml | Wrong Cert. | 2520.15 | 2454.73 | 4292938 | |
NurseRostering/ NurseRostering-05_c18.xml | Wrong Cert. | 2520.16 | 2465.17 | 4292946 |