Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo | ? (TO) | 3600.16 | 3602.36 | 4424673 | |
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo | ? (TO) | 3600.19 | 3600.56 | 4424703 | |
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo | ? (TO) | 3600.2 | 3588.4 | 4456620 | |
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo | ? (TO) | 3600.24 | 3593.46 | 4456590 |
Benchmark Name | Answer | cost of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo | MSAT | 1024 | 0.846005 | 0.534105 | 4456190 |