Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb | ? (TO) | 1800.09 | 1802.05 | 3463694 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | Signal 6 | 108.315 | 108.312 | 3478973 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_15.opb | ? (TO) | 1800.06 | 1800.03 | 3462372 | |
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb | ? (TO) | 1800.1 | 1800.06 | 3462438 | |
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_15.opb | ? (TO) | 1800.11 | 1800.26 | 3462397 | |
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_80.opb | ? (TO) | 1800.11 | 1800.06 | 3462387 | |
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_4_80.opb | ? (TO) | 1800.14 | 1800.16 | 3462407 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_19.opb | ? (TO) | 1800.08 | 1800.04 | 3462980 | |
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir08_area_opers.opb | ? (TO) | 1800.1 | 1800.03 | 3462942 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb | SAT (TO) | 29 | 1800.06 | 1800.03 | 3462735 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb | SAT (TO) | -12 | 1800.09 | 1800.14 | 3462861 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_5.opb | SAT (TO) | -6 | 1800.11 | 1800.09 | 3462816 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb | SAT (TO) | -107 | 1800.12 | 1800.06 | 3462852 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_4.opb | SAT (TO) | 81 | 1800.12 | 1800.06 | 3462710 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb | SAT (TO) | -43 | 1800.13 | 1800.05 | 3462824 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb | ? (TO) | 1800.07 | 1800.02 | 3462494 |