Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml | ? | 58.6403 | 23.9653 | 4292237 | |
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml | ? | 187.379 | 141.218 | 4292229 | |
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml | ? | 201.607 | 170.041 | 4292232 | |
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml | ? | 224.357 | 186.59 | 4292230 | |
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? | 297.566 | 260.681 | 4292233 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? | 308.224 | 271.428 | 4292234 | |
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml | ? | 347.512 | 306.392 | 4292231 | |
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml | ? | 348.261 | 306.529 | 4292235 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? | 388.854 | 350.392 | 4292236 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Tal/ Tal-04_c18.xml | Wrong Opt. | 190 | 7.126 | 3.06388 | 4292390 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Tal/ Tal-02_c18.xml | Wrong UNSAT | 2.30386 | 0.891165 | 4292388 | |
Tal/ Tal-03_c18.xml | Wrong UNSAT | 2.44178 | 0.949131 | 4292389 | |
Tal/ Tal-05_c18.xml | Wrong UNSAT | 2.72501 | 1.0619 | 4292391 | |
Tal/ Tal-06_c18.xml | Wrong UNSAT | 2.897 | 1.13915 | 4292392 | |
Tal/ Tal-07_c18.xml | Wrong UNSAT | 2.98529 | 1.20294 | 4292393 | |
Tal/ Tal-09_c18.xml | Wrong UNSAT | 3.09193 | 1.2806 | 4292395 | |
Tal/ Tal-08_c18.xml | Wrong UNSAT | 3.17923 | 1.28967 | 4292394 | |
Tal/ Tal-10_c18.xml | Wrong UNSAT | 3.73427 | 1.50209 | 4292396 |