Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb | ? | 1800.06 | 1800.1 | 3453091 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-173.opb | ? (MO) | 176.715 | 176.721 | 3478923 | |
/DEC-SMALLINT-LIN/lopes/ normalized-182.opb | ? (MO) | 191.082 | 191.822 | 3478747 | |
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | ? (MO) | 198.621 | 198.616 | 3478967 | |
/DEC-SMALLINT-LIN/lopes/ normalized-178.opb | ? (MO) | 266.708 | 266.749 | 3478934 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-181.opb | ? (exit code) | 265.912 | 265.907 | 3478989 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_40.opb | ? | 1799.98 | 1800.03 | 3451922 | |
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb | ? | 1799.99 | 1800.03 | 3451997 | |
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb | ? | 1800.02 | 1800.04 | 3452008 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-4.opb | ? | 1800.08 | 1800.08 | 3452503 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/OPT-SMALLINT-LIN/ kullmann/normalized-sbox_8_shg.opb | ? (exit code) | 155.579 | 155.594 | 3479394 |