Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml | SAT | 181646 | 2175.55 | 698.602 | 4304326 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? | 746.242 | 462.752 | 4304482 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? | 1697.98 | 879.769 | 4304466 |