Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Tal/ Tal-05_c18.xml | ? (MO) | 24.1337 | 24.1712 | 4303747 | |
Tal/ Tal-04_c18.xml | ? (MO) | 25.7102 | 26.1506 | 4303746 | |
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml | ? (MO) | 28.6117 | 28.6159 | 4303584 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml | Wrong UNSAT | 166.953 | 166.993 | 4304125 |