Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo | UNSAT | 28.2895 | 28.6205 | 4525867 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo | ? | 3581.21 | 3598.06 | 4525660 | |
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo | ? | 3585.43 | 3599.82 | 4526677 | |
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/normalized-graph11reduc_wcsp.wbo | ? | 3586.46 | 3599.78 | 4526704 | |
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo | ? | 3586.82 | 3597.88 | 4525642 | |
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/normalized-graph13reduc_wcsp.wbo | ? | 3591.89 | 3609.07 | 4526659 | |
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo | ? | 3593.99 | 3608.89 | 4526731 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo | ? (MO) | 71.4864 | 71.683 | 4526533 | |
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo | ? (MO) | 269.739 | 270.635 | 4526722 | |
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo | ? (MO) | 298.878 | 300.131 | 4525678 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-0-100-0.wbo | ? (TO) | 3600.06 | 3610.85 | 4524463 |