Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo | ? (MO) | 407.268 | 408.791 | 4456305 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-0-100-0.wbo | MSAT (MO) | 540 | 1727.89 | 1732.44 | 4455935 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo | ? (MO) | 409.474 | 411.08 | 4456235 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/SOFT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo | ? (exit code) | 113.858 | 129.53 | 4456265 | |
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-0-100-0.wbo | ? (exit code) | 380.802 | 393.628 | 4456225 | |
PB24/WBO/SOFT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo | ? (exit code) | 390.388 | 403.114 | 4456275 | |
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-0-100-0.wbo | ? (exit code) | 680.59 | 692.912 | 4455885 |