Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbeb.opb | ? (TO) | 1800.29 | 1801.26 | 40631 | |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-mkc1.opb | ? (TO) | 1800.59 | 1801.44 | 40568 | |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit2d.opb | ? (TO) | 1800.59 | 1801.24 | 40652 | |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb | ? (TO) | 1800.62 | 1801.39 | 40768 | |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3700.opb | ? (TO) | 1800.72 | 1801.24 | 40552 | |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scorpion.opb | ? (TO) | 1800.9 | 1801.41 | 40694 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb | OPT | 3398 | 0.076987 | 0.415315 | 39757 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb | OPT | 788263 | 9.40957 | 9.4641 | 39761 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0291.opb | OPT | 10447498 | 23.9904 | 24.0167 | 39767 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-enigma.opb | OPT | 0 | 40.1849 | 40.2123 | 39756 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air02.opb | OPT | 3905 | 84.4872 | 84.6279 | 39758 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air03.opb | OPT | 170080 | 323.724 | 323.839 | 39763 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb | SAT | 37422 | 1800.03 | 1800.55 | 39769 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb | SAT | -432546 | 1800.04 | 1800.77 | 39765 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb | SAT | 44712 | 1800.05 | 1800.7 | 39776 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb | SAT | 321925 | 1800.08 | 1800.6 | 39759 |
normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb | SAT | 69117 | 1800.14 | 1800.66 | 39784 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-seymour1.opb | SAT | 498929 | 1800.19 | 1800.7 | 39754 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-t1717.opb | SAT (TO) | 359991 | 1800.52 | 1801.22 | 39770 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow40b.opb | ? | 1800.03 | 1800.5 | 39768 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb | ? | 1800.03 | 1800.65 | 39773 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air04.opb | ? | 1800.03 | 1800.57 | 39771 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air06.opb | ? | 1800.03 | 1800.6 | 39764 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-vpm2.opb | ? | 1800.15 | 1800.69 | 39772 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos9.opb | ? | 1800.24 | 1800.81 | 39753 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit1d.opb | ? | 1800.59 | 1801.1 | 39755 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb | ? (TO) | 1800.34 | 1801.31 | 39750 | |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb | ? (TO) | 1800.6 | 1801.26 | 39751 | |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-ds.opb | ? (TO) | 1800.67 | 1801.37 | 39752 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nw04.opb | ? (TO) | 1800.69 | 1801.26 | 39774 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb | Signal 11 (SIGSEGV) | 1065.07 | 1065.38 | 39762 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos19.opb | ? (TO) | 1800.58 | 1801.3 | 40093 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit2d.opb | ? (TO) | 1800.65 | 1801.23 | 39953 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb | ? (TO) | 1800.68 | 1801.38 | 40061 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-wood1p.opb | ? (TO) | 1800.68 | 1801.23 | 39937 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb | ? (TO) | 1800.69 | 1801.22 | 40059 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb | ? (TO) | 1800.75 | 1801.27 | 39865 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb | SAT | 0 | 146.445 | 146.558 | 40524 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb | Signal 11 (SIGSEGV) | 870.923 | 871.046 | 40523 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb | SAT | 0 | 5.2792 | 5.28905 | 40814 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb | SAT | 0 | 10.1375 | 10.1769 | 40803 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb | ? | 1800.24 | 1800.85 | 40808 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb | ? | 1800.25 | 1800.92 | 40810 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-85-80.opb | ? (TO) | 1800.03 | 1801.23 | 46274 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb | ? (TO) | 1800.05 | 1801.36 | 39618 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb | ? (TO) | 1800.49 | 1801.4 | 39629 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb | ? (TO) | 1800.75 | 1801.4 | 39633 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb | ? (TO) | 1800.76 | 1801.4 | 39630 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb | ? (TO) | 1800.83 | 1801.43 | 39623 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb | ? (TO) | 1801.16 | 1801.75 | 39628 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb | Signal 6 (SIGABRT) | 634.528 | 635.106 | 39708 |