Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PeacableArmies/ PeacableArmies-m1-30_c18.xml | SAT | 32 | 1735.8 | 1312.95 | 4304623 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? | 1028.88 | 526.445 | 4304481 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? | 1664.48 | 891.631 | 4304465 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? | 2122.01 | 1332.36 | 4304475 |