Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18_wcsp.wbo | MSAT | 43556 | 529.168 | 530.483 | 4427213 |
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub0_wcsp.wbo | MSAT | 11420 | 535.315 | 537.09 | 4427118 |
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-22_wcsp.wbo | MSAT | 6270 | 1815.89 | 1821.84 | 4427215 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub1_wcsp.wbo | MSAT (MO) | 9877 | 460.127 | 461.423 | 4427115 |
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo | MSAT (MO) | 11412529 | 461.268 | 462.735 | 4427119 |
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub0_wcsp.wbo | MSAT (MO) | 296 | 480.011 | 481.205 | 4427113 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo | ? (TO) | 3600.12 | 3610.87 | 4427214 | |
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo | ? (TO) | 3600.23 | 3609.43 | 4427216 | |
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo | ? (TO) | 3600.26 | 3610.16 | 4427212 | |
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo | ? (TO) | 3600.31 | 3610.62 | 4456308 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo | ? (MO) | 150.185 | 150.713 | 4427157 | |
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo | ? (MO) | 157.649 | 158.123 | 4427159 | |
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub4_wcsp.wbo | ? (MO) | 245.818 | 246.369 | 4427122 | |
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo | ? (MO) | 461.922 | 463.204 | 4456498 | |
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capc_wcsp.wbo | ? (MO) | 597.533 | 599.133 | 4456458 | |
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo | ? (MO) | 625.174 | 627.286 | 4456488 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo | ? (exit code) | 290.523 | 303.074 | 4427158 | |
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo | ? (exit code) | 337.176 | 351.935 | 4427080 | |
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo | ? (exit code) | 373.54 | 385.576 | 4427084 |
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 | MSAT | 21722 | 120.921 | 121.256 | 4456268 |
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo | MSAT | 5873 | 386.741 | 387.832 | 4456238 |
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-0-100-0.wbo | MSAT | 397 | 670.943 | 672.853 | 4455888 |
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-0-100-0.wbo | MSAT | 984 | 1836.39 | 1841.68 | 4455938 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/SOFT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo | ? (MO) | 390.816 | 392.02 | 4456278 |