Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-nazareth.opb | OPT | -174776 | 0.006998 | 0.00841206 | 32763 |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-enigma.opb | OPT | 0 | 1751.47 | 1752.03 | 32861 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb | SAT | 50 | 922.374 | 922.629 | 33194 |
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb | SAT | 50 | 923.921 | 924.189 | 33313 |
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g2x2.opb | SAT | 2 | 927.401 | 927.653 | 33339 |
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb | SAT | 50 | 1332.64 | 1333.08 | 33284 |
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein9.opb | SAT | 5 | 1416.35 | 1416.77 | 32989 |
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb | SAT | 200 | 1477.22 | 1477.58 | 33277 |
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g4x4.opb | SAT | 4 | 1564.49 | 1565.03 | 33342 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-diamond.opb | ? | 1789.35 | 1789.94 | 32986 |
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 | Signal 6 (SIGABRT) | 6.36303 | 6.37914 | 32972 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb | Signal 6 (SIGABRT) | 12.5071 | 12.5157 | 32940 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb | Signal 6 (SIGABRT) | 522.894 | 523.153 | 32704 |