Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo | ? (TO) | 3600.03 | 3608.4 | 4461451 | |
PB24/WBO/PARTIAL-LIN/wcsp/ scens/normalized-scen08reduc_wcsp.wbo | ? (TO) | 3600.05 | 3608.02 | 4461618 | |
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo | ? (TO) | 3600.05 | 3610.13 | 4461484 | |
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo | ? (TO) | 3600.07 | 3609.31 | 4461617 | |
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo | ? (TO) | 3600.07 | 3608.8 | 4461450 | |
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo | ? (TO) | 3600.08 | 3607.02 | 4461614 | |
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo | ? (TO) | 3600.11 | 3608.87 | 4461454 | |
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo | ? (TO) | 3600.2 | 3610.26 | 4461613 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo | Wrong Cert. | 412.561 | 413.535 | 4461615 | |
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/normalized-graph11reduc_wcsp.wbo | Wrong Cert. | 3600.03 | 3610.31 | 4461449 | |
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo | Wrong Cert. | 3600.08 | 3612.02 | 4461448 | |
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo | Wrong Cert. | 3600.1 | 3613.16 | 4461629 | |
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capc_wcsp.wbo | Wrong Cert. | 3600.14 | 3611.01 | 4461630 | |
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo | Wrong Cert. | 3600.21 | 3609.93 | 4461633 | |
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo | Wrong Cert. | 3600.22 | 3609.75 | 4461504 | |
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo | Wrong Cert. | 3600.24 | 3609.01 | 4461452 | |
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/normalized-graph13reduc_wcsp.wbo | Wrong Cert. | 3600.28 | 3609.1 | 4461453 |
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 | 27551 | 439.8 | 440.921 | 4461669 |
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 | ? (exit code) | 322.875 | 340.803 | 4461670 | |
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-0-100-0.wbo | ? (exit code) | 664.649 | 701.344 | 4461664 | |
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-0-100-0.wbo | ? (exit code) | 3374.62 | 3397.36 | 4461663 |