Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml | ? (MO) | 1801.46 | 1801.53 | 4294000 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml | ? (exit code) | 69.5799 | 69.5942 | 4293984 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? (exit code) | 73.5529 | 73.5753 | 4294008 | |
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml | ? (exit code) | 74.6271 | 74.6316 | 4294016 | |
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml | ? (exit code) | 80.134 | 80.1403 | 4293976 | |
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? (exit code) | 88.5034 | 88.5128 | 4294020 | |
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml | ? (exit code) | 90.9926 | 91.0003 | 4293992 | |
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml | ? (exit code) | 219.334 | 219.336 | 4294012 | |
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml | ? (exit code) | 1341.36 | 1341.42 | 4293972 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? (exit code) | 1561.21 | 1561.32 | 4293988 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml | Wrong UNSAT | 174.006 | 174.007 | 4293912 | |
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml | Wrong UNSAT | 208.962 | 208.975 | 4293960 |