Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Knapsack/ Knapsack-80-350-00_c18.xml | SAT | 1564 | 2519.53 | 2515.37 | 4307798 |
Knapsack/ Knapsack-70-300-00_c18.xml | SAT | 1425 | 2519.75 | 2515.36 | 4307796 |
Knapsack/ Knapsack-80-350-01_c18.xml | SAT | 1668 | 2519.87 | 2515.37 | 4307799 |
Knapsack/ Knapsack-90-400-01_c18.xml | SAT | 1681 | 2519.97 | 2515.36 | 4307801 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml | ? | 66.9282 | 22.8757 | 4307818 | |
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml | ? | 69.563 | 24.3363 | 4307819 | |
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml | ? | 69.7593 | 25.1505 | 4307820 | |
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml | ? | 70.2551 | 27.0678 | 4307823 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? | 72.8439 | 28.7879 | 4307824 | |
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml | ? | 73.1761 | 29.7973 | 4307825 | |
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? | 76.1956 | 27.4981 | 4307821 | |
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml | ? | 81.6467 | 27.0545 | 4307817 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? | 83.3033 | 31.1499 | 4307822 | |
GraphColoring/ GraphColoring-qg-order60_c18.xml | ? | 502.799 | 163.888 | 4307811 | |
GraphColoring/ GraphColoring-qg-order100_c18.xml | ? | 693.873 | 222.192 | 4307808 |