Integer vs continuous¶
The same instances solved with an integer and with a continuous leader. Ratio is the median of continuous / integer solver time over all paired instances, with unproved tasks at the time limit (3600 s).
| method | instances | proved, integer | proved, continuous | ratio |
|---|---|---|---|---|
| SSD | 180 | 128 | 45 | 3.53 |
| ASD | 180 | 116 | 22 | 3.28 |
| KKT-BigM | 180 | 129 | 124 | 1 |
| KKT-SOS1 | 180 | 128 | 122 | 1 |
| CB-SSD | 180 | 151 | 53 | 9.63 |
| CB-ASD | 180 | 141 | 37 | 11.9 |
| CB-KKT-BigM | 180 | 156 | 149 | 0.992 |
| CB-KKT-SOS1 | 180 | 151 | 144 | 1 |
| IOM-All (SSD) | 180 | 177 | 66 | 59.1 |
| IOM-All (ASD) | 180 | 168 | 45 | 87.7 |
| IOM-All (KKT-BigM) | 180 | 147 | 159 | 0.861 |
| IOM-All (KKT-SOS1) | 180 | 145 | 150 | 1 |
| IOM-Top1 (SSD) | 180 | 177 | 70 | 49.8 |
| IOM-Top1 (ASD) | 180 | 171 | 51 | 94.3 |
| IOM-Top1 (KKT-BigM) | 180 | 157 | 167 | 0.706 |
| IOM-Top1 (KKT-SOS1) | 180 | 159 | 164 | 0.686 |
| method | instances | proved, integer | proved, continuous | ratio |
|---|---|---|---|---|
| SSD | 180 | 125 | 68 | 5.13 |
| ASD | 180 | 88 | 7 | 1 |
| KKT-BigM | 180 | 91 | 77 | 1 |
| KKT-SOS1 | 180 | 16 | 10 | 1 |
| CB-SSD | 180 | 155 | 84 | 11.2 |
| CB-ASD | 180 | 109 | 19 | 9.74 |
| CB-KKT-BigM | 180 | 126 | 104 | 1 |
| CB-KKT-SOS1 | 180 | 35 | 28 | 1 |
| IOM-All (SSD) | 180 | 180 | 66 | 2.76e+03 |
| IOM-All (ASD) | 180 | 133 | 15 | 141 |
| IOM-All (KKT-BigM) | 180 | 12 | 12 | 1 |
| IOM-All (KKT-SOS1) | 180 | 10 | 7 | 1 |
| IOM-Top1 (SSD) | 180 | 180 | 55 | 1.92e+03 |
| IOM-Top1 (ASD) | 180 | 135 | 14 | 175 |
| IOM-Top1 (KKT-BigM) | 180 | 13 | 11 | 1 |
| IOM-Top1 (KKT-SOS1) | 180 | 10 | 7 | 1 |