Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-859770.opb | UNSAT | 59.6853 | 60.6311 | 4459450 |
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 | SAT | 733371 | 1119.23 | 1133.01 | 4440818 |
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__64.opb | SAT | 5783826 | 1856.88 | 1925.17 | 4440816 |
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb | SAT | 683 | 2406.69 | 2453.72 | 4440901 |
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb | SAT | -9717 | 2667.91 | 2720.18 | 4440920 |
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb | SAT | -4183 | 2803.77 | 2831.39 | 4440914 |