Résultats APIA 2024

Nous présentons ici les résultats obtenus pour les différentes instances. Il est à noter que ces résultats sont susceptibles d'évoluer avec l'ajout de nouvelles données. Pour des raisons de simplicité, il est possible d'exporter les résultats, en sélectionnant uniquement les colonnes pertinentes. L'export des colonnes nécessite une liste spécifiant l'ordre des colonnes, et celles-ci peuvent être réarrangées selon les besoins. Par exemple, spécifier "mip-bt, name" entraînera un export dans cet ordre. Vous pouvez également cliquer sur les colonnes pour trier les résultats.



Collumn export






name CP-#variables CP-#constraints CP-#nodes CP-#backtracks CP-BT CP-ST Fails clingo-BT clingo-ST clingcon-BT clingcon-ST mip-BT mip-ST dvl-BT dvl-ST
198 ig5167 1298 322 63 0 0.86 0.97 0 55.41 1.93 0.34 0.06 0.04 0.11 51.70 45.03
156 ig678 1432 451 80 15 0.86 0.89 15 48.04 2.61 0.60 0.10 0.13 0.21 63.17 51.33
162 ig8201 1585 425 67 0 0.86 1.86 0 15.71 0.08 0.30 0.23 0.17 0.26 9.92 314.07
193 ig8445 1751 403 113 0 0.93 2.44 0 54.78 1.39 0.62 0.05 0.21 0.33 73.76 2714.11
68 ig5301 2149 527 62652 125085 0.85 483.59 62545 68.70 0.36 0.40 0.12 0.22 0.49 48.86 319.60
125 ig9456 2545 711 167 1 1.02 2.74 1 190.18 15.01 2.35 0.28 0.29 0.52
161 ig42910 2820 674 215 65 1.03 1.87 65 146.45 1.25 0.49 0.18 0.16 0.30 105.48 86.79
163 ig29910 2919 619 739 1153 1.03 11.14 586 129.40 4.17 1.10 0.14 0.43 0.83 173.34 424.53
94 ig8601 3001 665 216 0 0.99 0.98 0 42.49 4.93 0.40 0.17 0.08 0.14
3 ig6012 3017 742 194 26 1.06 2.66 26 296.48 11.96 1.38 0.66 0.25 0.94
45 ig6101 3023 804 202 7 0.99 1.47 7 131.63 8.63 0.78 0.38 0.18 0.36
147 ig4867 3029 792 175 0 0.94 2.10 0 214.09 7.74 2.38 0.23 0.97 1.91
81 ig1045 3108 696 1441 2469 0.93 7.60 1267 84.57 2.49 0.98 0.20 0.26 0.44
170 ig2123 3293 951 209 2 1.03 1.87 2 333.32 36.93 6.69 0.37 1.09 1.37
48 ig8056 3514 882 407 350 1.06 5.01 225 221.33 7.81 3.31 0.57 1.61 2.52
166 ig5534 3697 733 378 428 1.07 3.90 216 71.02 2.00 0.87 0.12 0.73 1.72
103 ig2501 3702 872 289 0 1.00 1.50 0 143.26 28.74 1.53 0.49 0.22 0.38
89 ig223 3739 816 181 1 1.01 4.09 1 87.73 1.52 0.89 0.19 1.88 2.79
37 ig1378 3822 938 234 18 1.15 3.98 18 227.07 4.96 2.03 0.43 3.21 4.64
93 ig8467 3883 1024 235 19 1.30 3.33 19 297.07 10.62 4.23 0.57 2.48 3.87
192 ig7967 3998 762 236 23 1.16 4.37 23 406.36 24.56 3.42 0.12 0.78 1.44
18 ig9123 4308 1167 133785 266942 1.15 213.82 133498 212.85 17.56 1.51 0.78 1.81 2.81
137 ig9434 4643 1125 350 0 0.93 1.73 0 208.71 29.71 1.77 1.22 0.59 1.30
15 ig2245 4744 1160 342 0 1.08 2.25 0 134.36 16.68 2.01 0.26 1.16 1.94
181 ig8478 4857 1138 314 16 1.09 3.63 16 475.86 19.95 4.69 0.23 4.18 6.00
52 ig9334 5049 1191 362 12 1.03 2.24 12 162.71 30.17 4.54 1.43 1.63 2.64
126 ig745 5051 1209 371 2 1.10 1.95 2 60.29 7.10 0.99 3.89 0.34 0.54
90 ig1245 5143 1049 272 0 1.19 4.44 0 287.89 13.60 3.30 0.81 3.93 5.81
17 ig27910 5218 1275 9616 18433 1.07 59.67 9253 131.10 15.43 1.53 1.01 0.98 1.74
108 ig5501 5323 1204 328 5 1.03 2.20 5 71.03 3.26 0.81 1.03 1.39 2.62
106 ig1867 5479 1427 388 39 1.08 5.22 39 77.95 12.20 1.99 4.64 2.07 2.95
182 ig4067 5558 1191 376 0 1.17 3.25 0 118.31 12.65 1.01 0.94 0.39 0.70
76 ig5856 5625 1203 355 6 1.12 5.15 6 182.23 6.41 2.02 0.40 5.19 8.20
95 ig9323 5679 1195 310 0 1.25 3.81 0 331.39 11.30 3.40 0.44 6.08 9.02
154 ig8956 6042 1520 901 957 1.25 11.72 521 527.65 33.91 1.26 1.99 1.79 2.84
167 ig8023 6129 1269 394 16 1.09 5.48 16 116.28 15.60 0.84 1.54 0.56 1.20
188 ig6889 6131 1896 270 0 1.24 3.64 0 4.33 10.41 5.76 6.45
124 ig3167 6174 1480 389 0 1.14 3.42 0 283.10 32.00 3.94 1.41 2.93 3.85
10 ig878 6489 1591 443 4 1.18 3.01 4 346.90 72.95 4.74 1.75 2.05 2.69
85 ig9189 6971 1355 381 2 1.36 7.84 2 395.76 14.18 3.58 3.39 6.88 10.05
6 ig1578 6988 1513 487 0 1.14 2.35 0 319.65 90.44 2.56 2.16 0.80 1.44
150 ig8678 7337 1366 423 0 1.24 8.08 0 525.14 38.13 3.69 4.99 10.32 15.92
54 ig7445 8128 1629 534 15 1.24 5.02 15 599.88 41.23 12.32 1.21 19.15 28.57
118 ig3934 8760 2218 600 0 1.32 4.56 0 613.68 142.05 5.51 2.02 5.84 8.20
107 ig5378 8793 2300 581 0 1.32 4.68 0 726.97 37.24 2.96 3.19 3.73 6.07
70 ig6745 9334 2159 648 0 1.35 7.20 0 634.56 125.36 13.92 4.53 10.29 14.84
66 ig4389 9427 2229 669 0 1.47 4.62 0 693.40 210.58 14.91 4.93 7.66 10.23
183 ig6278 9449 1979 1630 1913 1.22 17.32 960 491.72 183.93 13.94 3.68 6.37 9.01
120 ig7923 9497 2038 660 101 1.32 6.38 60 528.75 76.06 3.51 2.98 5.72 8.36
179 ig7867 9587 2374 575 26 1.51 8.89 16 1058.61 100.78 22.35 1.43 15.72 22.05
58 ig30910 9688 1941 741 205 1.22 8.45 117 472.29 22.97 7.81 1.21 21.71 32.06
141 ig4323 10053 2139 1092 775 1.40 14.42 412 498.26 117.77 15.58 2.82 11.04 16.85
180 ig8745 10102 2264 741 78 1.38 8.38 78 610.86 156.25 20.13 3.22 13.08 20.08
47 ig2401 10220 2466 712 0 1.41 4.97 0 6.31 4.81 5.45 7.72
21 ig2867 10235 2660 662 15 1.46 4.74 15 6.41 11.81 6.53 10.06
65 ig4245 10244 2421 851 375 1.34 8.32 202 386.84 23.77 3.00 3.73 12.49 17.63
87 ig6134 10554 2599 804 112 1.40 8.56 63 437.44 109.94 3.17 13.31 4.95 7.36
168 ig8145 10710 1822 241090 481106 1.21 36.84 240560 196.38 8.18 3.59 2.05 11.62 18.11
197 ig4278 11711 2646 741 9 1.30 4.93 9 645.57 25.87 1.75 8.60 1.08 2.09
178 ig7156 12351 2431 808 0 1.41 9.81 0 491.04 206.26 19.09 2.32 13.48 14.97
67 ig5145 13296 3608 923 182 1.43 6.75 182 2.86 36.03 0.07 0.14
2 ig1067 13876 2663 827 7 1.39 9.23 7 255.67 22.65 7.37 4.12 22.45 33.70
164 ig3367 14855 3152 747 0 1.48 8.44 0 372.95 16.04 5.09 6.10 22.19 94.02
110 ig30910 17081 2973 857 0 1.62 13.50 0 825.29 36.13 6.77 5.40 24.78 29.16
56 ig1778 17417 3260 1476 817 1.66 11.05 433 46.16 15.64 65.96 107.49
97 ig7267 18030 4352 1174 17 1.67 10.51 17 33.20 29.72 35.02 258.28
143 ig77910 28011 7235 1950 0 2.17 12.58 0 114.51 94.53 96.28 141.20
194 ig9912 29932 7302 1946 1397 2.08 47.84 730 10.48 1426.66 0.28 0.59
12 ig2767 30652 6821 3957 3543 2.02 30.48 1816 128.21 57.11 130.51 7995.32
101 ig7034 32858 7770 2021 14 2.07 20.72 14 10.70 104.37 30.92 52.49
114 ig9023 36633 7396 2226 26 2.49 24.85 25 142.35 41.64 258.11 799.06
71 ig7723 40880 9613 2560 120 2.50 28.02 120 79.88 218.58 157.51 405.68
112 ig5567 101682 23273 397315 785136 4.75 381.78 392686 122.89 3548.58
35 ig467 133603 29973 8987 12 4.61 33.59 12 92.65 2609.97
62 ig2934 134209 31461 8538 75 5.34 33.87 67 92.25 2469.69