Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb | SAT | 412253229 | 927.151 | 930.062 | 4455382 |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb | SAT | 303233794 | 1083.57 | 1086.17 | 4455380 |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_mh.opb | SAT | 487124986 | 1163.22 | 1166.88 | 4455378 |
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__64.opb | SAT | 872231 | 1896.78 | 1902.31 | 4455248 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_mh.opb | SAT (MO) | 795268589 | 2109.48 | 2115.05 | 4455377 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__512.opb | ? (MO) | 1124.84 | 1128.51 | 4455250 |