Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-182.opb | ? | 189.597 | 214.026 | 3478746 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb | ? | 1799.99 | 1800.02 | 3451125 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | ? (MO) | 192.729 | 192.722 | 3478966 | |
/DEC-SMALLINT-LIN/lopes/ normalized-173.opb | ? (MO) | 1023.27 | 1023.23 | 3478922 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-178.opb | ? (exit code) | 185.632 | 185.627 | 3478933 | |
/DEC-SMALLINT-LIN/lopes/ normalized-181.opb | ? (exit code) | 189.26 | 189.256 | 3478988 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_4_15.opb | ? | 1800.02 | 1800.06 | 3450336 | |
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb | ? | 1800.05 | 1800.08 | 3450348 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/OPT-SMALLINT-LIN/ heinz/normalized-protfold.opb | SAT | -20 | 1800 | 1800.04 | 3479223 |
/OPT-SMALLINT-LIN/ heinz/normalized-seymour.opb | SAT | 425 | 1800.01 | 1800.04 | 3479263 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb | SAT | -50 | 1799.24 | 1800.43 | 3450932 |
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb | SAT | -40 | 1799.88 | 1800.27 | 3450910 |
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb | SAT | 1048 | 1800 | 1800.04 | 3451020 |
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb | SAT | 72 | 1800.01 | 1800.07 | 3450993 |
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32d2.opb | SAT | 372 | 1800.04 | 1800.09 | 3451012 |
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb | SAT | 1041 | 1800.06 | 1800.06 | 3451025 |
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb | SAT | 25 | 1800.06 | 1800.08 | 3450806 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb | ? | 1799.64 | 1800.12 | 3451102 | |
/OPT-SMALLINT-LIN/flexray/ normalized-fx60.opb | ? | 1799.95 | 1800.06 | 3450247 | |
/OPT-SMALLINT-LIN/flexray/ normalized-fx49.opb | ? | 1800.05 | 1800.05 | 3450253 | |
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb | ? | 1800.08 | 1800.09 | 3450847 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/OPT-SMALLINT-LIN/ kullmann/normalized-sbox_8_shg.opb | Signal 6 | 162.766 | 206.461 | 3479393 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb | Wrong Cert. | 1800.09 | 1800.03 | 3450230 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_1.opb | SAT | 53 | 1799.99 | 1800.05 | 3450599 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_3.opb | SAT | 52 | 1800 | 1800.05 | 3450633 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_2.opb | SAT | -82 | 1800.02 | 1800.12 | 3450711 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb | SAT | 14 | 1800.04 | 1800.14 | 3450580 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_5.opb | SAT | 53 | 1800.04 | 1800.04 | 3450637 |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb | SAT | -58 | 1800.06 | 1800.09 | 3450759 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb | ? | 8.45071 | 8.45053 | 3450537 | |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb | ? | 35.3306 | 35.3312 | 3450535 | |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb | ? | 52.328 | 52.327 | 3450529 |