Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Knapsack/ Knapsack-80-350-01_c18.xml | SAT | 1668 | 2399.53 | 2395.36 | 4290255 |
Knapsack/ Knapsack-70-300-01_c18.xml | SAT | 1465 | 2399.62 | 2395.36 | 4290253 |
Knapsack/ Knapsack-90-400-01_c18.xml | SAT | 1681 | 2399.66 | 2395.36 | 4290257 |
Knapsack/ Knapsack-70-300-00_c18.xml | SAT | 1425 | 2399.67 | 2395.36 | 4290252 |
Knapsack/ Knapsack-80-350-00_c18.xml | SAT | 1560 | 2399.79 | 2395.37 | 4290254 |
Knapsack/ Knapsack-90-400-00_c18.xml | SAT | 1551 | 2399.84 | 2395.36 | 4290256 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml | ? | 70.5339 | 23.6659 | 4290274 | |
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml | ? | 72.3473 | 24.1882 | 4290273 | |
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml | ? | 73.2929 | 25.1218 | 4290275 | |
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml | ? | 76.6041 | 33.7137 | 4290276 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? | 78.701 | 36.2913 | 4290280 | |
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml | ? | 78.9474 | 35.3347 | 4290279 | |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml | ? | 83.4783 | 37.9165 | 4290278 | |
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml | ? | 86.2632 | 37.9884 | 4290281 | |
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? | 86.4794 | 36.6327 | 4290277 | |
GraphColoring/ GraphColoring-qg-order60_c18.xml | ? | 505.368 | 165.316 | 4290267 | |
GraphColoring/ GraphColoring-qg-order100_c18.xml | ? | 603.196 | 197.828 | 4290264 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Tal/ Tal-06_c18.xml | Wrong UNSAT | 3.78314 | 1.73414 | 4290436 | |
Tal/ Tal-04_c18.xml | Wrong UNSAT | 3.84587 | 1.72013 | 4290434 | |
Tal/ Tal-07_c18.xml | Wrong UNSAT | 4.09813 | 1.85127 | 4290437 | |
Tal/ Tal-08_c18.xml | Wrong UNSAT | 4.35267 | 1.95862 | 4290438 | |
Tal/ Tal-09_c18.xml | Wrong UNSAT | 4.36911 | 1.91749 | 4290439 | |
Tal/ Tal-10_c18.xml | Wrong UNSAT | 4.58967 | 2.04042 | 4290440 |