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) | 244.777 | 245.646 | 4448940 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb | Signal 6 | 289.714 | 305.868 | 4448970 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb | Signal 6 | 368.181 | 386.734 | 4449030 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_001.opb | SAT (MO) | -16130 | 3363.68 | 3372.55 | 4462105 |
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_630_002.opb | SAT (MO) | -14136 | 3589.68 | 3598.8 | 4462425 |
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 | ? | 45.0654 | 45.1963 | 4439609 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb | ? (MO) | 260.566 | 261.248 | 4439786 | |
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb | ? (MO) | 628.595 | 630.476 | 4439705 |
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 | Signal 6 | 270.294 | 285.314 | 4439785 | |
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb | Signal 6 | 390.369 | 407.323 | 4439784 | |
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-rmine15.opb | Signal 6 | 475.796 | 491.899 | 4459291 |