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 | ? (TO) | 3600.26 | 3570.82 | 4456261 | |
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo | ? (TO) | 3600.46 | 3571.84 | 4455971 |