Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Tal/ Tal-05_c18.xml | ? (MO) | 19.8895 | 19.8953 | 4312477 | |
Tal/ Tal-04_c18.xml | ? (MO) | 19.9728 | 19.9985 | 4312473 | |
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml | ? (MO) | 28.272 | 28.2841 | 4312609 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml | Wrong UNSAT | 167.644 | 167.699 | 4312585 |