Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_15.opb | UNSAT | 1544.99 | 1550.86 | 4497876 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_1_40.opb | ? | 3585.74 | 3597.09 | 4497948 |