Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb | ? (MO) | 185.991 | 186.518 | 4435662 | |
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb | ? (MO) | 508.985 | 510.94 | 4435675 |
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 | 51.4111 | 58.0383 | 4435579 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_mh.opb | Signal 6 | 2157.49 | 2204.02 | 4435706 |