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-fit1p.opb | Wrong Cert. | 1800.16 | 1801.69 | 354185 | |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap1.opb | Wrong Cert. | 1800.19 | 1800.7 | 354245 | |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-rail507.opb | Wrong Cert. | 1800.29 | 1801 | 354085 | |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb | Wrong Cert. | 1800.38 | 1800.93 | 354385 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb | Wrong Opt. | 41260 | 0.413936 | 0.439641 | 373473 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb | Wrong Opt. | 12959 | 0.45393 | 0.455514 | 372246 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_4.opb | Wrong Cert. | 1800.04 | 1800.65 | 454740 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug1.opb | Signal 11 (SIGSEGV) | 0.004998 | 0.0748479 | 420286 | |
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-10.opb | Signal 11 (SIGSEGV) | 89.6044 | 143.374 | 419880 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb | SAT | 0 | 0.004998 | 0.00763006 | 365758 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb | SAT | 0 | 0.06399 | 0.0636131 | 365773 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb | SAT | 0 | 0.067989 | 0.0692231 | 365768 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb | SAT | 0 | 0.839872 | 0.842004 | 365753 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb | SAT | 0 | 24.1913 | 24.2855 | 365728 |
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb | SAT | 0 | 51.1382 | 51.1565 | 365375 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb | SAT | 0 | 256.348 | 256.423 | 365743 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb | ? | 1800 | 1800.45 | 349599 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb | ? | 1800 | 1800.54 | 365748 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb | ? | 1800 | 1800.44 | 354470 | |
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb | ? | 1800.01 | 1801.05 | 365370 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb | ? | 1800.01 | 1800.58 | 365763 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb | ? | 1800.01 | 1800.64 | 365738 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb | ? | 1800.01 | 1800.77 | 365733 |