Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb | ? (MO) | 283.147 | 284.263 | 4436078 |
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 | Signal 6 | 1019.59 | 1035.87 | 4435982 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb | Signal 6 | 1442.46 | 1465.06 | 4436112 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_mh.opb | Signal 6 | 2375.82 | 2402.6 | 4436109 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb | Signal 6 | 2655.79 | 2689.83 | 4436114 | |
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__64.opb | Signal 6 | 3038.71 | 3063.16 | 4435980 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-1.opb | Wrong Opt. | 15765 | 63.4429 | 63.5887 | 4436074 |