Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-172.opb | ? (MO) | 807.444 | 436.761 | 4468946 | |
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb | ? (MO) | 25991.6 | 1335.3 | 4468654 | |
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb | ? (MO) | 29292.9 | 1677.47 | 4468655 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_5_8.opb | UNSAT | 0.316429 | 0.0683929 | 4468821 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb | UNSAT | 0.639867 | 0.0873559 | 4468825 |