Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Knapsack/ Knapsack-80-350-01_c18.xml | SAT | 1668 | 2519.89 | 2515.36 | 4311535 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml | ? | 63.947 | 22.1878 | 4311554 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? | 69.088 | 27.5545 | 4311560 | |
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml | ? | 70.0648 | 24.6065 | 4311555 | |
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml | ? | 70.287 | 27.2528 | 4311559 | |
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml | ? | 72.0921 | 25.8111 | 4311556 | |
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? | 72.2858 | 26.098 | 4311557 | |
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml | ? | 73.3772 | 24.8897 | 4311553 | |
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml | ? | 73.5858 | 29.7665 | 4311561 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? | 75.4669 | 29.1187 | 4311558 | |
GraphColoring/ GraphColoring-qg-order60_c18.xml | ? | 391.083 | 130.033 | 4311547 | |
GraphColoring/ GraphColoring-qg-order100_c18.xml | ? | 655.225 | 210.327 | 4311544 | |
Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml | ? | 2519.95 | 2515.4 | 4312042 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Crossword/ Crossword-m18-ogd2008-vg-15-16_c18.xml | ? | 2519.99 | 2515.38 | 4311963 |