Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-neos-948346.0.s.opb | ? (exit code) | 1046.47 | 552.414 | 4452274 |
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.277066 | 0.695203 | 4459575 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb | UNSAT | 0.303668 | 0.522411 | 4459607 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_1_15.opb | SAT | 0 | 430.198 | 424.871 | 4459615 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_4_15.opb | ? (TO) | 3600.17 | 3539.12 | 4459599 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_15.opb | ? (TO) | 3600.17 | 3483.63 | 4459631 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_40.opb | ? (TO) | 3600.2 | 3579.62 | 4459591 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_2_80.opb | ? (TO) | 3600.21 | 3526.74 | 4459623 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_1_15.opb | ? (TO) | 3600.22 | 3601.9 | 4459583 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_1_80.opb | ? (TO) | 3600.25 | 3490.93 | 4459647 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_80.opb | ? (TO) | 3600.26 | 3497.94 | 4459639 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb | SAT | 1681912 | 475.823 | 281.595 | 4432522 |
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb | SAT | -98352 | 666.047 | 391.863 | 4462207 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb | Wrong Cert. | 3601.08 | 3590.84 | 4432487 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb | ? (TO) | 3600.38 | 3600.21 | 4459847 | |
PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb | ? (TO) | 3600.4 | 3543.58 | 4459951 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-60.opb | ? (exit code) | 3589.81 | 2402.34 | 4460015 |