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-enigma.opb | OPT | 0 | 0.173973 | 0.177446 | 41186 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0291.opb | OPT | 10447498 | 0.576912 | 0.585208 | 41197 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb | OPT | 3398 | 19.2211 | 19.233 | 41187 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb | OPT | 258411 | 20.9758 | 20.9883 | 41189 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb | OPT | 788263 | 165.968 | 166.019 | 41191 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb | ? (problem) | 1185.58 | 1186.04 | 41274 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb | SAT | 0 | 1.74273 | 1.74783 | 41963 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb | SAT | 0 | 10.0715 | 10.0781 | 41953 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb | SAT | 0 | 35.6486 | 35.6603 | 41956 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-21-20.opb | Signal 6 (SIGABRT) | 0.026995 | 0.0310201 | 46311 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-95-90.opb | Signal 11 (SIGSEGV) | 3.01854 | 3.02221 | 46317 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-101-100.opb | Signal 11 (SIGSEGV) | 3.71543 | 3.72369 | 46295 | |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-105-100.opb | Signal 11 (SIGSEGV) | 3.82642 | 3.83418 | 46289 |