Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb | ? | 491.704 | 493.48 | 4483139 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb | ? | 492.993 | 494.924 | 4483127 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb | ? | 494.656 | 496.394 | 4483129 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/ normalized-hw512-vm100p-dec.opb.negationfix.opb | ? | 496.868 | 498.79 | 4483133 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb | ? | 500.457 | 502.315 | 4483135 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb | ? | 501.283 | 503 | 4483131 | |
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb | ? | 540.311 | 542.397 | 4483137 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-9.opb | ? (MO) | 479.955 | 481.83 | 4545057 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_1_40.opb | ? (TO) | 3600.04 | 3609.72 | 4482395 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_15.opb | ? (TO) | 3600.09 | 3610.2 | 4482383 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb | SAT (MO) | 579134 | 476.014 | 478.559 | 4482483 |
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__256.opb | SAT (MO) | 134588 | 1776.53 | 1783.28 | 4482495 |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_mh.opb | SAT (MO) | 924862954 | 2589.28 | 2596.38 | 4482801 |
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 | ? | 446.293 | 447.463 | 4483633 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-2-0_c24.opb | ? (MO) | 472.665 | 474.219 | 4483691 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb | ? (TO) | 3602 | 3611.6 | 4482461 | |
PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb | ? (TO) | 3602.06 | 3612.71 | 4482469 |