Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb | ? (MO) | 589.999 | 591.452 | 4449326 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb | ? (MO) | 601.937 | 603.509 | 4449296 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb | ? (MO) | 744.679 | 746.776 | 4449356 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb | ? (problem) | 691.46 | 703.317 | 4449236 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb | ? (problem) | 716.251 | 729.795 | 4449266 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb | ? (problem) | 1978.8 | 1983.76 | 4448936 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb | ? (TO) | 3602.03 | 3616.41 | 4438127 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_mh.opb | ? (TO) | 3602.04 | 3613.32 | 4438125 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb | ? (TO) | 3602.09 | 3616.61 | 4438129 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_mh.opb | ? (TO) | 3602.09 | 3622.81 | 4438124 | |
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__512.opb | ? (TO) | 3602.12 | 3614.61 | 4437997 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_54.opb | ? (problem) | 1857.65 | 1869.69 | 4459131 | |
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb | ? (problem) | 1988.77 | 1994.94 | 4438174 | |
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb | ? (problem) | 3364.14 | 3410.71 | 4438094 |