Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b1r5.xml | UNSAT | 5.25539 | 3.39339 | 4391281 | |
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-4-30-2.xml | UNSAT | 30.0073 | 28.3388 | 4391113 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-1.xml | ? (problem) | 48.997 | 15.8997 | 4391285 | |
Scheduling/Scheduling-js-taillard/ Taillard-js-100-20-6.xml | ? (problem) | 80.3051 | 25.0471 | 4391351 |