Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-172.opb | Signal 6 | 446.666 | 465.889 | 4446290 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_5_8.opb | UNSAT | 0.019201 | 0.019195 | 4459579 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb | UNSAT | 0.080112 | 0.0841839 | 4459611 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_1_15.opb | SAT | 0 | 0.099991 | 0.105936 | 4459587 |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_40.opb | SAT | 0 | 0.113912 | 0.114386 | 4459595 |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_1_15.opb | SAT | 0 | 0.148532 | 0.150003 | 4459619 |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_4_15.opb | SAT | 0 | 0.188966 | 0.191778 | 4459603 |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_1_80.opb | SAT | 0 | 0.275721 | 0.282145 | 4459651 |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_80.opb | SAT | 0 | 0.298448 | 0.305213 | 4459643 |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_15.opb | SAT | 0 | 0.493957 | 0.504411 | 4459635 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_2_80.opb | ? | 3589.7 | 3600.08 | 4459627 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb | ? (MO) | 199.415 | 199.92 | 4434856 | |
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_54.opb | ? (MO) | 339.192 | 340.254 | 4459123 | |
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_50.opb | ? (MO) | 426.473 | 428.206 | 4459162 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb | ? (MO) | 2003.39 | 2013.85 | 4434905 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_mh.opb | ? (MO) | 2033.57 | 2041.52 | 4434901 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb | ? (MO) | 2093.6 | 2101.98 | 4434903 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_mh.opb | ? (MO) | 2163.51 | 2178.81 | 4434900 |
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 | Signal 6 | 61.4795 | 65.7761 | 4434773 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/ 10orplus/normalized-libtemplate-provider-encoding-perl.cudf.trendy.opb | Wrong Opt. | 3263183881276 | 65.8723 | 66.0659 | 4434807 |