Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb | ? (MO) | 272.776 | 273.486 | 4448941 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_630_002.opb | SAT (MO) | -13282 | 2733.7 | 2743.04 | 4462426 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb | ? | 387.463 | 388.558 | 4440187 | |
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-rmine15.opb | ? | 483.04 | 484.161 | 4459292 | |
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__512.opb | ? | 495.433 | 496.664 | 4440012 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb | ? (MO) | 271.132 | 272.104 | 4440188 | |
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb | ? (MO) | 272.573 | 273.196 | 4440189 | |
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb | ? (MO) | 621.54 | 623.914 | 4440108 |