1 Benchmark
La première colonne de chaque tableau correspond au choix de sélection des variables. La seconde explicite le choix de sélection de coupe. La troisième le temps en ms de résolution pour une solution. La quatrième le nombre de fails. La cinquième le nombre de point de choix. La sixième explicite le nombre de propagations. Enfin, la dernière définie si la stratégie a trouvé une solution (Y), pas de solution (N) ou n'a pas terminé (X) dans le cas d'un timeout par exemple.Le timeout est de 180 secondes.
Il est à noter qu'une propagation initiale est effectuée lorsque les contraintes sont postées. Cette propagation initiale n'est pas comptabilisée dans le nombre de propagations. Le nombre de propagations comptabilise tout le nombre d'appels au à un propagate quelque soit la contrainte. De plus si un fail a lieu lors de cette propagation initiale il est comptabilisé. Toutes les expérimentations ont été effectuées sur un mac book pro i7 2.3ghz avec 8Go de mémoire.
La stratégie ref correspond à la stratégie de référence
(LexicalOrder + dynamic6Way).
Toutes les stratégies utilisent de la 2B-consistance, sont compètes et effectue un filtrage à chaque point de choix.
Chacunes des expérimentations ci-dessous comporte le modèle et un tableau résultat. Pour le modèle, le domaine des variables est explicité, dans le cas où le domaine est omis, les bornes sont \([-\infty,+\infty]\)
1.1 heron
1.1.1 Modèle
//VARIABLES
a = [ 5.0f, 10.0f ]
b = [ 0.0f, 5.0f ]
c = [ 0.0f, 5.0f ]
s
squared_area
//CONTRAINTES
a > 0
b > 0
c > 0
a + b > c
b + c > a
a + c > b
a > b
b > c
s = (a+b+c)/2.0f);
squared_area = s*(s-a)*(s-b)*(s-c);
squared_area < 1e-5
1.1.2 Résultats : stratégies basées sur les domaines des variables.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxWidth | split | TO | 1704274 | 1704339 | 145568552 | X |
maxWidth | split3Way | TO | 16604675 | 24907031 | 83023520 | X |
maxWidth | split5Way | 76932 | 1072085 | 1357977 | 56480936 | Y |
maxWidth | split6Way | 76812 | 1136344 | 1422236 | 56382993 | Y |
maxWidth | dynamicSplit | 3 | 2 | 56 | 1602 | Y |
maxWidth | dynamic3Split | 24914 | 67168 | 100818 | 19411998 | Y |
maxWidth | dynamic5Split | 84 | 55 | 72 | 51362 | Y |
maxWidth | dynamic6Split | 82 | 80 | 99 | 52015 | Y |
minWidth | split | 3 | 0 | 21 | 1429 | Y |
minWidth | split3Way | 5 | 1 | 47 | 2434 | Y |
minWidth | split5Way | 2 | 0 | 1 | 116 | Y |
minWidth | split6Way | 2 | 0 | 1 | 116 | Y |
minWidth | dynamicSplit | 4 | 0 | 24 | 1532 | Y |
minWidth | dynamic3Split | 37569 | 21 | 88 | 31116109 | Y |
minWidth | dynamic5Split | 2 | 0 | 1 | 116 | Y |
minWidth | dynamic6Split | 2 | 0 | 1 | 116 | Y |
maxCard | split | 12 | 0 | 22 | 10164 | Y |
maxCard | split3Way | 5 | 14 | 61 | 2290 | Y |
maxCard | split5Way | 3 | 0 | 1 | 780 | Y |
maxCard | split6Way | 5 | 0 | 1 | 780 | Y |
maxCard | dynamicSplit | 6 | 0 | 60 | 3021 | Y |
maxCard | dynamic3Split | 2 | 1 | 47 | 2085 | Y |
maxCard | dynamic5Split | 2 | 0 | 1 | 780 | Y |
maxCard | dynamic6Split | 2 | 0 | 1 | 780 | Y |
minCard | split | TO | 2348209 | 2348272 | 147799818 | X |
minCard | split3Way | TO | 10254013 | 15381037 | 140992931 | X |
minCard | split5Way | 4 | 3 | 7 | 1148 | Y |
minCard | split6Way | 3 | 4 | 8 | 1260 | Y |
minCard | dynamicSplit | 4 | 0 | 50 | 1067 | Y |
minCard | dynamic3Split | TO | 9539454 | 14309197 | 131167777 | X |
minCard | dynamic5Split | 4 | 3 | 7 | 1148 | Y |
minCard | dynamic6Split | 3 | 4 | 8 | 1260 | Y |
maxDens | split | 16 | 0 | 22 | 10164 | Y |
maxDens | split3Way | 5 | 14 | 61 | 2290 | Y |
maxDens | split5Way | 4 | 0 | 1 | 780 | Y |
maxDens | split6Way | 3 | 0 | 1 | 780 | Y |
maxDens | dynamicSplit | 18 | 54 | 195 | 13530 | Y |
maxDens | dynamic3Split | TO | 7694255 | 11541406 | 109979729 | X |
maxDens | dynamic5Split | 3 | 0 | 1 | 780 | Y |
maxDens | dynamic6Split | 2 | 0 | 1 | 780 | Y |
minDens | split | TO | 2174739 | 2174802 | 137213934 | X |
minDens | split3Way | TO | 9530430 | 14295660 | 131043676 | X |
minDens | split5Way | 4 | 3 | 7 | 1148 | Y |
minDens | split6Way | 4 | 4 | 8 | 1260 | Y |
minDens | dynamicSplit | 3 | 0 | 23 | 1430 | Y |
minDens | dynamic3Split | TO | 37 | 91 | 150266467 | X |
minDens | dynamic5Split | 5 | 3 | 7 | 1148 | Y |
minDens | dynamic6Split | 3 | 4 | 8 | 1260 | Y |
minMagn | split | 12 | 0 | 22 | 10164 | Y |
minMagn | split3Way | 5 | 14 | 61 | 2290 | Y |
minMagn | split5Way | 2 | 0 | 1 | 780 | Y |
minMagn | split6Way | 3 | 0 | 1 | 780 | Y |
minMagn | dynamicSplit | TO | 526106 | 526148 | 153151702 | X |
minMagn | dynamic3Split | TO | 8780118 | 13170207 | 127327512 | X |
minMagn | dynamic5Split | 3 | 0 | 1 | 780 | Y |
minMagn | dynamic6Split | 3 | 0 | 1 | 780 | Y |
maxMagn | split | 3 | 0 | 21 | 1429 | Y |
maxMagn | split3Way | 177849 | 24 | 94 | 150266782 | Y |
maxMagn | split5Way | 2 | 0 | 1 | 116 | Y |
maxMagn | split6Way | 3 | 0 | 1 | 116 | Y |
maxMagn | dynamicSplit | 4 | 0 | 21 | 1429 | Y |
maxMagn | dynamic3Split | 177980 | 24 | 94 | 150266782 | Y |
maxMagn | dynamic5Split | 2 | 0 | 1 | 116 | Y |
maxMagn | dynamic6Split | 2 | 0 | 1 | 116 | Y |
ref | ref | 5 | 0 | 21 | 1429 | Y |
1.1.3 Résultat : stratégies basées sur les contraintes.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxDegree | split | 5 | 0 | 44 | 2062 | Y |
maxDegree | split3Way | 4 | 1 | 26 | 1712 | Y |
maxDegree | split5Way | 3 | 0 | 2 | 177 | Y |
maxDegree | split6Way | 2 | 0 | 2 | 177 | Y |
maxDegree | dynamicSplit | 6 | 0 | 44 | 2062 | Y |
maxDegree | dynamic3Split | 4 | 1 | 26 | 1712 | Y |
maxDegree | dynamic5Split | 2 | 0 | 2 | 177 | Y |
maxDegree | dynamic6Split | 2 | 0 | 2 | 177 | Y |
minDegree | split | TO | 1689357 | 1689423 | 144022361 | X |
minDegree | split3Way | TO | 15660252 | 23490397 | 78301392 | X |
minDegree | split5Way | 77396 | 1072078 | 1357969 | 56481060 | Y |
minDegree | split6Way | 76619 | 1136338 | 1422230 | 56383235 | Y |
minDegree | dynamicSplit | TO | 1682126 | 1682189 | 143271129 | X |
minDegree | dynamic3Split | TO | 15537208 | 23305830 | 77747159 | X |
minDegree | dynamic5Split | 77713 | 1072078 | 1357969 | 56481060 | Y |
minDegree | dynamic6Split | 77014 | 1136338 | 1422230 | 56383235 | Y |
maxOcc | split | 4 | 0 | 21 | 1429 | Y |
maxOcc | split3Way | 6 | 1 | 47 | 2434 | Y |
maxOcc | split5Way | 2 | 0 | 1 | 116 | Y |
maxOcc | split6Way | 3 | 0 | 1 | 116 | Y |
maxOcc | dynamicSplit | 4 | 0 | 21 | 1429 | Y |
maxOcc | dynamic3Split | 5 | 1 | 47 | 2434 | Y |
maxOcc | dynamic5Split | 4 | 0 | 1 | 116 | Y |
maxOcc | dynamic6Split | 3 | 0 | 1 | 116 | Y |
minOcc | split | TO | 1688248 | 1688315 | 143907360 | X |
minOcc | split3Way | TO | 15699900 | 23549868 | 78499643 | X |
minOcc | split5Way | 77270 | 1072078 | 1357969 | 56481060 | Y |
minOcc | split6Way | 76418 | 1136338 | 1422230 | 56383235 | Y |
minOcc | dynamicSplit | TO | 1682654 | 1682716 | 143325901 | X |
minOcc | dynamic3Split | TO | 15604167 | 23406266 | 78082297 | X |
minOcc | dynamic5Split | 77758 | 1072078 | 1357969 | 56481060 | Y |
minOcc | dynamic6Split | 76905 | 1136338 | 1422230 | 56383235 | Y |
maxAbs | split | 15 | 0 | 22 | 10164 | Y |
maxAbs | split3Way | 5 | 14 | 61 | 2290 | Y |
maxAbs | split5Way | 4 | 0 | 1 | 780 | Y |
maxAbs | split6Way | 3 | 0 | 1 | 780 | Y |
maxAbs | dynamicSplit | 5 | 0 | 22 | 1493 | Y |
maxAbs | dynamic3Split | 7 | 0 | 45 | 2145 | Y |
maxAbs | dynamic5Split | 3 | 0 | 1 | 780 | Y |
maxAbs | dynamic6Split | 3 | 0 | 1 | 780 | Y |
minAbs | split | TO | 1287783 | 1287841 | 118717579 | X |
minAbs | split3Way | TO | 5469971 | 8204973 | 75212357 | X |
minAbs | split5Way | 2890 | 13121 | 16455 | 1860908 | Y |
minAbs | split6Way | 2381 | 11394 | 13783 | 1516266 | Y |
minAbs | dynamicSplit | TO | 1084590 | 1084651 | 99271117 | X |
minAbs | dynamic3Split | TO | 4079022 | 6118554 | 56170070 | X |
minAbs | dynamic5Split | 2951 | 13121 | 16455 | 1860908 | Y |
minAbs | dynamic6Split | 2411 | 11394 | 13783 | 1516266 | Y |
maxCan | split | 5 | 0 | 21 | 1429 | Y |
maxCan | split3Way | 6 | 1 | 47 | 2434 | Y |
maxCan | split5Way | 3 | 0 | 1 | 116 | Y |
maxCan | split6Way | 3 | 0 | 1 | 116 | Y |
maxCan | dynamicSplit | 5 | 0 | 21 | 1429 | Y |
maxCan | dynamic3Split | 7 | 1 | 47 | 2434 | Y |
maxCan | dynamic5Split | 3 | 0 | 1 | 116 | Y |
maxCan | dynamic6Split | 2 | 0 | 1 | 116 | Y |
minCan | split | 5 | 0 | 21 | 1429 | Y |
minCan | split3Way | 7 | 1 | 47 | 2434 | Y |
minCan | split5Way | 3 | 0 | 1 | 116 | Y |
minCan | split6Way | 3 | 0 | 1 | 116 | Y |
minCan | dynamicSplit | 5 | 0 | 21 | 1429 | Y |
minCan | dynamic3Split | 7 | 1 | 47 | 2434 | Y |
minCan | dynamic5Split | 3 | 0 | 1 | 116 | Y |
minCan | dynamic6Split | 3 | 0 | 1 | 116 | Y |
1.1.4 Stratégie mixte
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
absWDens | split | 19 | 0 | 22 | 10164 | Y |
absWDens | split3Way | 7 | 14 | 61 | 2290 | Y |
absWDens | split5Way | 4 | 0 | 1 | 780 | Y |
absWDens | split6Way | 5 | 0 | 1 | 780 | Y |
absWDens | dynamicSplit | TO | 27903045 | 27903068 | 8592 | X |
absWDens | dynamic3Split | MO | X | |||
absWDens | dynamic5Split | 4 | 0 | 1 | 780 | Y |
absWDens | dynamic6Split | 3 | 0 | 1 | 780 | Y |
densWAbs | split | 18 | 0 | 45 | 9603 | Y |
densWAbs | split3Way | 5 | 1 | 26 | 1712 | Y |
densWAbs | split5Way | 3 | 0 | 2 | 826 | Y |
densWAbs | split6Way | 4 | 0 | 2 | 826 | Y |
densWAbs | dynamicSplit | 18 | 0 | 45 | 9603 | Y |
densWAbs | dynamic3Split | 6 | 1 | 26 | 1987 | Y |
densWAbs | dynamic5Split | 4 | 0 | 2 | 826 | Y |
densWAbs | dynamic6Split | 4 | 0 | 2 | 826 | Y |
1.2 heron156
1.2.1 Modèle
//VARIABLES
a = [ 5.0f, 10.0f ]
b = [ 0.0f, 5.0f ]
c = [ 0.0f, 5.0f ]
s
squared_area
//CONTRAINTES
a > 0
b > 0
c > 0
a + b > c
b + c > a
a + c > b
a > b
b > c
s = (a+b+c)/2.0f);
squared_area = s*(s-a)*(s-b)*(s-c);
squared_area > (156.25f + 1e-5)
1.2.2 Résultats
var selector | val selector | time (ms) | #fail | #choice | #propagation | Sol |
---|---|---|---|---|---|---|
maxWidth | split | TO | 7144197 | 7144209 | 112648731 | X |
maxWidth | split3Way | 6602 | 6159 | 9284 | 6010448 | Y |
maxWidth | split5Way | 4871 | 5274 | 6622 | 4335505 | Y |
maxWidth | split6Way | 3799 | 4759 | 5713 | 3444747 | Y |
maxWidth | dynamicSplit | 96584 | 501839 | 501896 | 79891739 | Y |
maxWidth | dynamic3Split | 69664 | 823322 | 1235056 | 56063818 | Y |
maxWidth | dynamic5Split | 113 | 8 | 14 | 79475 | Y |
maxWidth | dynamic6Split | 114 | 22 | 30 | 79841 | Y |
minWidth | split | TO | 268420 | 268429 | 154648971 | X |
minWidth | split3Way | TO | 2291846 | 3437789 | 140500321 | X |
minWidth | split5Way | TO | 433926 | 543430 | 150618043 | X |
minWidth | split6Way | TO | 492680 | 594387 | 150377388 | X |
minWidth | dynamicSplit | TO | 269371 | 269383 | 155027762 | X |
minWidth | dynamic3Split | TO | 2279003 | 3418526 | 139712818 | X |
minWidth | dynamic5Split | TO | 432958 | 542219 | 150470222 | X |
minWidth | dynamic6Split | TO | 491679 | 593181 | 150231901 | X |
maxCard | split | 1352 | 23 | 67 | 997355 | Y |
maxCard | split3Way | 147616 | 1332343 | 1998563 | 121392222 | Y |
maxCard | split5Way | 134 | 1 | 4 | 90197 | Y |
maxCard | split6Way | 140 | 3 | 6 | 90311 | Y |
maxCard | dynamicSplit | 6207 | 26480 | 26531 | 4695183 | Y |
maxCard | dynamic3Split | 6719 | 65591 | 98452 | 4933018 | Y |
maxCard | dynamic5Split | 135 | 1 | 4 | 90197 | Y |
maxCard | dynamic6Split | 140 | 3 | 6 | 90311 | Y |
minCard | split | TO | 268439 | 268450 | 154656609 | X |
minCard | split3Way | TO | 1684277 | 2526436 | 143784198 | X |
minCard | split5Way | TO | 434621 | 544301 | 150735718 | X |
minCard | split6Way | TO | 487063 | 587618 | 149624693 | X |
minCard | dynamicSplit | TO | 760405 | 760420 | 145835664 | X |
minCard | dynamic3Split | TO | 1683041 | 2524582 | 143677482 | X |
minCard | dynamic5Split | TO | 1656403 | 2073032 | 140917375 | X |
minCard | dynamic6Split | TO | 1741882 | 2096929 | 139203750 | X |
maxDens | split | 417 | 0 | 43 | 297003 | Y |
maxDens | split3Way | 158413 | 1318503 | 1977780 | 117579951 | Y |
maxDens | split5Way | 146 | 0 | 2 | 90173 | Y |
maxDens | split6Way | 150 | 0 | 2 | 90173 | Y |
maxDens | dynamicSplit | 3467 | 3425 | 3461 | 2504996 | Y |
maxDens | dynamic3Split | TO | 1396214 | 2094343 | 133317863 | X |
maxDens | dynamic5Split | 145 | 0 | 2 | 90173 | Y |
maxDens | dynamic6Split | 143 | 0 | 2 | 90173 | Y |
minDens | split | TO | 4335361 | 4335371 | 146720763 | X |
minDens | split3Way | TO | 1659196 | 2488844 | 133794540 | X |
minDens | split5Way | TO | 428524 | 536669 | 142064581 | X |
minDens | split6Way | TO | 486727 | 587216 | 141943479 | X |
minDens | dynamicSplit | TO | 4357484 | 4357500 | 147528273 | X |
minDens | dynamic3Split | TO | 1699015 | 2548570 | 135164661 | X |
minDens | dynamic5Split | 6578 | 6963 | 8716 | 5593546 | Y |
minDens | dynamic6Split | 6984 | 7815 | 9442 | 5808828 | Y |
minMagn | split | 371 | 0 | 43 | 297003 | Y |
minMagn | split3Way | 143814 | 1318503 | 1977780 | 117579951 | Y |
minMagn | split5Way | 138 | 0 | 2 | 90173 | Y |
minMagn | split6Way | 138 | 0 | 2 | 90173 | Y |
minMagn | dynamicSplit | 3180 | 3425 | 3463 | 2506552 | Y |
minMagn | dynamic3Split | TO | 1447048 | 2170590 | 145512824 | X |
minMagn | dynamic5Split | 136 | 0 | 2 | 90173 | Y |
minMagn | dynamic6Split | 130 | 0 | 2 | 90173 | Y |
maxMagn | split | TO | 4669731 | 4669747 | 158925286 | X |
maxMagn | split3Way | TO | 1792475 | 2688759 | 144713149 | X |
maxMagn | split5Way | TO | 488904 | 612256 | 151117955 | X |
maxMagn | split6Way | TO | 555643 | 670238 | 150762916 | X |
maxMagn | dynamicSplit | TO | 4686323 | 4686333 | 159530876 | X |
maxMagn | dynamic3Split | TO | 1821214 | 2731870 | 144955810 | X |
maxMagn | dynamic5Split | 6178 | 6991 | 8751 | 5594140 | Y |
maxMagn | dynamic6Split | 6446 | 7850 | 9484 | 5809606 | Y |
ref | ref | TO | 186326 | 186334 | 156992840 | X |
1.2.3 Résultat : stratégies basées sur les contraintes.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxDegree | split | 3141 | 3380 | 3411 | 2509341 | Y |
maxDegree | split3Way | TO | 425428 | 1276281 | 136812078 | X |
maxDegree | split5Way | 263 | 550 | 691 | 201464 | Y |
maxDegree | split6Way | 295 | 693 | 835 | 218923 | Y |
maxDegree | dynamicSplit | 3123 | 3380 | 3411 | 2509341 | Y |
maxDegree | dynamic3Split | TO | 425095 | 1275276 | 136680328 | X |
maxDegree | dynamic5Split | 263 | 550 | 691 | 201464 | Y |
maxDegree | dynamic6Split | 292 | 693 | 835 | 218923 | Y |
minDegree | split | TO | 7036450 | 7036466 | 110640843 | X |
minDegree | split3Way | 6281 | 3084 | 9284 | 6010448 | Y |
minDegree | split5Way | 4709 | 5274 | 6622 | 4335505 | Y |
minDegree | split6Way | 3701 | 4759 | 5713 | 3444747 | Y |
minDegree | dynamicSplit | TO | 7028903 | 7028915 | 110500447 | X |
minDegree | dynamic3Split | 6307 | 3084 | 9284 | 6010448 | Y |
minDegree | dynamic5Split | 4728 | 5274 | 6622 | 4335505 | Y |
minDegree | dynamic6Split | 3731 | 4759 | 5713 | 3444747 | Y |
maxOcc | split | TO | 182984 | 182994 | 155073949 | X |
maxOcc | split3Way | TO | 1236630 | 3709885 | 138784805 | X |
maxOcc | split5Way | TO | 320636 | 401610 | 151318608 | X |
maxOcc | split6Way | TO | 372464 | 453918 | 151210143 | X |
maxOcc | dynamicSplit | TO | 183527 | 183536 | 155380632 | X |
maxOcc | dynamic3Split | TO | 1230100 | 3690295 | 138066220 | X |
maxOcc | dynamic5Split | TO | 320412 | 401329 | 151267661 | X |
maxOcc | dynamic6Split | TO | 372567 | 454042 | 151231721 | X |
minOcc | split | TO | 7051670 | 7051684 | 110924020 | X |
minOcc | split3Way | 6281 | 3084 | 9284 | 6010448 | Y |
minOcc | split5Way | 4701 | 5274 | 6622 | 4335505 | Y |
minOcc | split6Way | 3736 | 4759 | 5713 | 3444747 | Y |
minOcc | dynamicSplit | TO | 7055016 | 7055026 | 110986376 | X |
minOcc | dynamic3Split | 6303 | 3084 | 9284 | 6010448 | Y |
minOcc | dynamic5Split | 4741 | 5274 | 6622 | 4335505 | Y |
minOcc | dynamic6Split | 3715 | 4759 | 5713 | 3444747 | Y |
maxAbs | split | 378 | 0 | 43 | 297003 | Y |
maxAbs | split3Way | TO | 659273 | 1977780 | 117580144 | X |
maxAbs | split5Way | 128 | 0 | 2 | 90173 | Y |
maxAbs | split6Way | 127 | 0 | 2 | 90173 | Y |
maxAbs | dynamicSplit | TO | 164049 | 164063 | 144301538 | X |
maxAbs | dynamic3Split | TO | 774595 | 2323794 | 94868336 | X |
maxAbs | dynamic5Split | 136 | 0 | 2 | 90173 | Y |
maxAbs | dynamic6Split | 134 | 0 | 2 | 90173 | Y |
minAbs | split | TO | 2741100 | 2741110 | 88530242 | X |
minAbs | split3Way | TO | 1178016 | 3534081 | 128993774 | X |
minAbs | split5Way | TO | 334330 | 418754 | 146901721 | X |
minAbs | split6Way | TO | 386309 | 470712 | 146504416 | X |
minAbs | dynamicSplit | TO | 1998358 | 1998372 | 63947542 | X |
minAbs | dynamic3Split | TO | 928918 | 2786778 | 102028834 | X |
minAbs | dynamic5Split | TO | 329806 | 413091 | 145838815 | X |
minAbs | dynamic6Split | TO | 383933 | 467830 | 146039399 | X |
maxCan | split | TO | 180569 | 180577 | 153691575 | X |
maxCan | split3Way | TO | 1204407 | 3613219 | 135238259 | X |
maxCan | split5Way | TO | 322920 | 404468 | 151873267 | X |
maxCan | split6Way | TO | 372668 | 454165 | 151249957 | X |
maxCan | dynamicSplit | TO | 181940 | 181949 | 154477570 | X |
maxCan | dynamic3Split | TO | 1162558 | 3487679 | 130632473 | X |
maxCan | dynamic5Split | TO | 325877 | 408172 | 152601210 | X |
maxCan | dynamic6Split | TO | 375557 | 457667 | 151861071 | X |
minCan | split | TO | 183782 | 183791 | 155528514 | X |
minCan | split3Way | TO | 1216245 | 3648730 | 136541303 | X |
minCan | split5Way | TO | 326031 | 408363 | 152638018 | X |
minCan | split6Way | TO | 375973 | 458174 | 151940484 | X |
minCan | dynamicSplit | TO | 181718 | 181728 | 154351723 | X |
minCan | dynamic3Split | TO | 1164790 | 3494359 | 130877954 | X |
minCan | dynamic5Split | TO | 326120 | 408476 | 152660829 | X |
minCan | dynamic6Split | TO | 375273 | 457325 | 151790760 | X |
1.2.4 Stratégies mixtes
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
absWDens | split | 366 | 0 | 43 | 297003 | Y |
absWDens | split3Way | 150275 | 659270 | 1977780 | 117579951 | Y |
absWDens | split5Way | 129 | 0 | 2 | 90173 | Y |
absWDens | split6Way | 132 | 0 | 2 | 90173 | Y |
absWDens | dynamicSplit | TO | 0 | 28299932 | 14682 | X |
absWDens | dynamic5Split | MO | X | |||
absWDens | dynamic5Split | 140 | 0 | 2 | 90173 | Y |
absWDens | dynamic6Split | 140 | 0 | 2 | 90173 | Y |
densWAbs | split | 400 | 0 | 64 | 285103 | Y |
densWAbs | split3Way | MO | X | |||
densWAbs | split5Way | 134 | 0 | 3 | 91066 | Y |
densWAbs | split6Way | 130 | 0 | 3 | 91066 | Y |
densWAbs | dynamicSplit | 401 | 0 | 64 | 285103 | Y |
densWAbs | dynamic3Split | 11449 | 326 | 927 | 9134894 | Y |
densWAbs | dynamic5Split | 128 | 0 | 3 | 91066 | Y |
densWAbs | dynamic6Split | 133 | 0 | 3 | 91066 | Y |
1.3 optimized_heron
1.3.1 Modèle
//VARIABLES
a = [ 5.0f, 10.0f ]
b = [ 0.0f, 5.0f ]
c = [ 0.0f, 5.0f ]
squared_area
//CONTRAINTES
a > 0
b > 0
c > 0
a + b > c
b + c > a
a + c > b
a > b
b > c
squared_area = (((a+(b+c))*(c-(a-b))*(c+(a-b))*(a+(b-c)))/16.0f)
squared_area < 1e-5
1.3.2 Résultats
var selector | val selector | time (ms) | #fail | #choice | #propagation | Sol |
---|---|---|---|---|---|---|
maxWidth | split | TO | 5943 | 6005 | 137718815 | X |
maxWidth | split3Way | TO | 5704496 | 8556761 | 127805266 | X |
maxWidth | split5Way | 247 | 3 | 7 | 186678 | Y |
maxWidth | split6Way | 31078 | 24 | 32 | 23098564 | Y |
maxWidth | dynamicSplit | TO | 2300632 | 2300682 | 146132802 | X |
maxWidth | dynamic3Split | 19454 | 218877 | 328370 | 14608366 | Y |
maxWidth | dynamic5Split | 251 | 3 | 7 | 186678 | Y |
maxWidth | dynamic6Split | 31041 | 24 | 32 | 23098564 | Y |
minWidth | split | TO | 4091 | 4106 | 147775087 | X |
minWidth | split3Way | 5 | 1 | 48 | 2230 | Y |
minWidth | split5Way | 258 | 3 | 7 | 186965 | Y |
minWidth | split6Way | 95838 | 24 | 32 | 74604917 | Y |
minWidth | dynamicSplit | TO | 4095 | 4110 | 148114968 | X |
minWidth | dynamic3Split | 4 | 1 | 48 | 2230 | Y |
minWidth | dynamic5Split | 250 | 3 | 7 | 186965 | Y |
minWidth | dynamic6Split | 96324 | 24 | 32 | 74604917 | Y |
maxCard | split | TO | 6950 | 6964 | 142637589 | X |
maxCard | split3Way | 5 | 14 | 61 | 2832 | Y |
maxCard | split5Way | 3 | 3 | 5 | 292 | Y |
maxCard | split6Way | 2 | 4 | 6 | 349 | Y |
maxCard | dynamicSplit | TO | 1290689 | 1290720 | 163922949 | X |
maxCard | dynamic3Split | 6 | 14 | 62 | 2825 | Y |
maxCard | dynamic5Split | 2 | 3 | 5 | 292 | Y |
maxCard | dynamic6Split | 2 | 4 | 6 | 349 | Y |
minCard | split | TO | 5955 | 6015 | 138275491 | X |
minCard | split3Way | TO | 5702715 | 8554089 | 127765355 | X |
minCard | split5Way | 244 | 3 | 7 | 186678 | Y |
minCard | split6Way | 31339 | 24 | 32 | 23098564 | Y |
minCard | dynamicSplit | TO | 4943 | 4983 | 155846681 | X |
minCard | dynamic3Split | TO | 5687530 | 8531311 | 127425043 | X |
minCard | dynamic5Split | 248 | 3 | 7 | 186678 | Y |
minCard | dynamic6Split | 31184 | 24 | 32 | 23098564 | Y |
maxDens | split | TO | 6953 | 6967 | 142760895 | X |
maxDens | split3Way | 6 | 14 | 61 | 2832 | Y |
maxDens | split5Way | 17 | 318 | 403 | 10492 | Y |
maxDens | split6Way | 21 | 409 | 497 | 12955 | Y |
maxDens | dynamicSplit | TO | 964461 | 964521 | 163971522 | X |
maxDens | dynamic3Split | TO | 4966210 | 7449339 | 123790173 | X |
maxDens | dynamic5Split | 17 | 318 | 403 | 10492 | Y |
maxDens | dynamic6Split | 25 | 409 | 497 | 12955 | Y |
minDens | split | TO | 5964 | 6029 | 138694281 | X |
minDens | split3Way | TO | 5688930 | 8533410 | 127456385 | X |
minDens | split5Way | 246 | 3 | 7 | 186678 | Y |
minDens | split6Way | 31391 | 24 | 32 | 23098564 | Y |
minDens | dynamicSplit | TO | 4093 | 4108 | 147919153 | X |
minDens | dynamic3Split | 5 | 5 | 56 | 2481 | Y |
minDens | dynamic5Split | 254 | 3 | 7 | 186678 | Y |
minDens | dynamic6Split | 31282 | 24 | 32 | 23098564 | Y |
minMagn | split | TO | 6948 | 6961 | 142555870 | X |
minMagn | split3Way | 6 | 14 | 61 | 2832 | Y |
minMagn | split5Way | 17 | 318 | 403 | 10492 | Y |
minMagn | split6Way | 19 | 409 | 497 | 12955 | Y |
minMagn | dynamicSplit | 93883 | 956571 | 956633 | 75878312 | Y |
minMagn | dynamic3Split | TO | 4857563 | 7286376 | 125186328 | X |
minMagn | dynamic5Split | 17 | 318 | 403 | 10492 | Y |
minMagn | dynamic6Split | 20 | 409 | 497 | 12955 | Y |
maxMagn | split | TO | 4092 | 4107 | 147826391 | X |
maxMagn | split3Way | TO | 24 | 70 | 177555625 | X |
maxMagn | split5Way | 258 | 3 | 7 | 186701 | Y |
maxMagn | split6Way | 96027 | 24 | 32 | 74604653 | Y |
maxMagn | dynamicSplit | TO | 4094 | 4109 | 147970904 | X |
maxMagn | dynamic3Split | 16 | 10 | 66 | 9566 | Y |
maxMagn | dynamic5Split | 257 | 3 | 7 | 186701 | Y |
maxMagn | dynamic6Split | 96007 | 24 | 32 | 74604653 | Y |
ref | ref | TO | 4123 | 4137 | 150093906 | Y |
1.3.3 Résultat : stratégies basées sur les contraintes.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxDegree | split | 174303 | 12 | 46 | 152394916 | Y |
maxDegree | split3Way | 5 | 1 | 26 | 1869 | Y |
maxDegree | split5Way | 3 | 2 | 5 | 500 | Y |
maxDegree | split6Way | 3 | 6 | 9 | 627 | Y |
maxDegree | dynamicSplit | 171903 | 12 | 46 | 152394916 | Y |
maxDegree | dynamic3Split | 5 | 1 | 26 | 1869 | Y |
maxDegree | dynamic5Split | 3 | 2 | 5 | 500 | Y |
maxDegree | dynamic6Split | 3 | 6 | 9 | 627 | Y |
minDegree | split | TO | 5943 | 6005 | 137687693 | X |
minDegree | split3Way | TO | 5515676 | 8273532 | 123573223 | X |
minDegree | split5Way | 17 | 186 | 238 | 9114 | Y |
minDegree | split6Way | 30893 | 252 | 307 | 22921821 | Y |
minDegree | dynamicSplit | TO | 5958 | 6024 | 138384076 | X |
minDegree | dynamic3Split | TO | 5486551 | 8229846 | 123022821 | X |
minDegree | dynamic5Split | 19 | 186 | 238 | 9114 | Y |
minDegree | dynamic6Split | 30742 | 252 | 307 | 22921821 | Y |
maxOcc | split | TO | 4077 | 4090 | 146766060 | X |
maxOcc | split3Way | 6 | 1 | 48 | 2230 | Y |
maxOcc | split5Way | 3 | 2 | 5 | 554 | Y |
maxOcc | split6Way | 95696 | 26 | 33 | 74418546 | Y |
maxOcc | dynamicSplit | TO | 4081 | 4097 | 147054399 | X |
maxOcc | dynamic3Split | 6 | 1 | 48 | 2230 | Y |
maxOcc | dynamic5Split | 4 | 2 | 5 | 554 | Y |
maxOcc | dynamic6Split | 95645 | 26 | 33 | 74418546 | Y |
minOcc | split | TO | 5961 | 6026 | 138523408 | X |
minOcc | split3Way | TO | 5607234 | 8410868 | 125625320 | X |
minOcc | split5Way | 16 | 186 | 238 | 9114 | Y |
minOcc | split6Way | 30782 | 252 | 307 | 22921821 | Y |
minOcc | dynamicSplit | TO | 5967 | 6032 | 138802420 | X |
minOcc | dynamic3Split | TO | 5535705 | 8303576 | 124125658 | X |
minOcc | dynamic5Split | 15 | 186 | 238 | 9114 | Y |
minOcc | dynamic6Split | 30758 | 252 | 307 | 22921821 | Y |
maxAbs | split | TO | 6943 | 6958 | 142351248 | X |
maxAbs | split3Way | 6 | 14 | 61 | 2832 | Y |
maxAbs | split5Way | 4 | 3 | 5 | 322 | Y |
maxAbs | split6Way | 3 | 3 | 5 | 353 | Y |
maxAbs | dynamicSplit | TO | 4087 | 4103 | 147487122 | X |
maxAbs | dynamic3Split | 8 | 14 | 61 | 2832 | Y |
maxAbs | dynamic5Split | 3 | 3 | 5 | 322 | Y |
maxAbs | dynamic6Split | 3 | 3 | 5 | 353 | Y |
minAbs | split | TO | 5958 | 6024 | 138415278 | X |
minAbs | split3Way | TO | 3958909 | 5938379 | 88688672 | X |
minAbs | split5Way | 256 | 3 | 7 | 186678 | Y |
minAbs | split6Way | 30861 | 24 | 32 | 23098564 | Y |
minAbs | dynamicSplit | TO | 5958 | 6024 | 138415278 | X |
minAbs | dynamic3Split | TO | 3088408 | 4632630 | 69246921 | X |
minAbs | dynamic5Split | 251 | 3 | 7 | 186678 | Y |
minAbs | dynamic6Split | 30860 | 24 | 32 | 23098564 | Y |
maxCan | split | TO | 4111 | 4125 | 149222547 | |
maxCan | split3Way | 4 | 1 | 48 | 2230 | |
maxCan | split5Way | 3 | 2 | 5 | 554 | |
maxCan | split6Way | 97393 | 26 | 33 | 74418546 | |
maxCan | dynamicSplit | TO | 4092 | 4107 | 147826391 | |
maxCan | dynamic3Split | 6 | 1 | 48 | 2230 | |
maxCan | dynamic5Split | 3 | 2 | 5 | 554 | |
maxCan | dynamic6Split | 94417 | 26 | 33 | 74418546 | |
minCan | split | TO | 4113 | 4126 | 149367355 | |
minCan | split3Way | 6 | 1 | 48 | 2230 | |
minCan | split5Way | 3 | 2 | 5 | 554 | |
minCan | split6Way | 94025 | 26 | 33 | 74418546 | |
minCan | dynamicSplit | TO | 4133 | 4146 | 150821796 | |
minCan | dynamic3Split | 6 | 1 | 48 | 2230 | |
minCan | dynamic5Split | 2 | 2 | 5 | 554 | |
minCan | dynamic6Split | 94152 | 26 | 33 | 74418546 |
1.3.4 Resultat : stratégie mixte
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
absWDens | split | TO | 7013 | 7027 | 145230260 | X |
absWDens | split3Way | 5 | 14 | 61 | 2832 | Y |
absWDens | split5Way | 2 | 3 | 5 | 292 | Y |
absWDens | split6Way | 3 | 4 | 6 | 349 | Y |
absWDens | dynamicSplit | TO | 7 | 28 | 190795768 | X |
absWDens | dynamic3Split | MO | X | |||
absWDens | dynamic5Split | 3 | 3 | 5 | 292 | Y |
absWDens | dynamic6Split | 3 | 4 | 6 | 349 | Y |
densWAbs | split | 164480 | 12 | 46 | 147719825 | Y |
densWAbs | split3Way | 4 | 1 | 26 | 1876 | Y |
densWAbs | split5Way | 3 | 1 | 3 | 192 | Y |
densWAbs | split6Way | 3 | 3 | 5 | 307 | Y |
densWAbs | dynamicSplit | 161330 | 12 | 46 | 147719825 | Y |
densWAbs | dynamic3Split | 5 | 1 | 26 | 1894 | Y |
densWAbs | dynamic5Split | 3 | 1 | 3 | 192 | Y |
densWAbs | dynamic6Split | 3 | 3 | 5 | 307 | Y |
1.4 optimized_heron156
1.4.1 Modèle
//VARIABLES
a = [ 5.0f, 10.0f ]
b = [ 0.0f, 5.0f ]
c = [ 0.0f, 5.0f ]
squared_area
//CONTRAINTES
a > 0
b > 0
c > 0
a + b > c
b + c > a
a + c > b
a > b
b > c
squared_area = (((a+(b+c))*(c-(a-b))*(c+(a-b))*(a+(b-c)))/16.0f)
squared_area > (156.25f + 1e-5)
1.4.2 Résultats
var selector | val selector | time (ms) | #fail | #choice | #propagation | Sol |
---|---|---|---|---|---|---|
maxWidth | split | TO | 521599 | 521611 | 155673479 | X |
maxWidth | split3Way | TO | 527241 | 790905 | 151442235 | X |
maxWidth | split5Way | TO | 586182 | 734594 | 155230289 | X |
maxWidth | split6Way | TO | 639934 | 773423 | 155526386 | X |
maxWidth | dynamicSplit | 52962 | 285196 | 285195 | 43706137 | N |
maxWidth | dynamic3Split | 54366 | 563977 | 845964 | 44137556 | N |
maxWidth | dynamic5Split | TO | 884636 | 1105798 | 135537983 | X |
maxWidth | dynamic6Split | TO | 1030796 | 1236960 | 134612856 | X |
minWidth | split | 11500 | 7050 | 7049 | 9409426 | N |
minWidth | split3Way | 11451 | 14209 | 21312 | 9382912 | N |
minWidth | split5Way | 15969 | 20081 | 25100 | 12988213 | N |
minWidth | split6Way | 17290 | 22786 | 27479 | 13923078 | N |
minWidth | dynamicSplit | 11463 | 7050 | 7049 | 9409426 | N |
minWidth | dynamic3Split | 11615 | 14209 | 21312 | 9382912 | N |
minWidth | dynamic5Split | 16079 | 20081 | 25100 | 12988213 | N |
minWidth | dynamic6Split | 17265 | 22786 | 27479 | 13923078 | N |
maxCard | split | TO | 589646 | 589656 | 154915265 | X |
maxCard | split3Way | TO | 18884 | 28355 | 156583162 | X |
maxCard | split5Way | TO | 705517 | 884283 | 151542975 | X |
maxCard | split6Way | TO | 752903 | 910311 | 151248537 | X |
maxCard | dynamicSplit | 4592 | 26337 | 26336 | 3584082 | N |
maxCard | dynamic3Split | 4403 | 49485 | 74226 | 3372242 | N |
maxCard | dynamic5Split | TO | 999860 | 1249834 | 135113479 | X |
maxCard | dynamic6Split | TO | 1142577 | 1371098 | 134354497 | X |
minCard | split | 11457 | 7050 | 7049 | 9409426 | N |
minCard | split3Way | 11522 | 14209 | 21312 | 9382912 | N |
minCard | split5Way | 16110 | 20081 | 25100 | 12988213 | N |
minCard | split6Way | 17246 | 22786 | 27479 | 13923078 | N |
minCard | dynamicSplit | 11514 | 7050 | 7049 | 9409426 | N |
minCard | dynamic3Split | 11409 | 14209 | 21312 | 9382912 | N |
minCard | dynamic5Split | 15949 | 20081 | 25100 | 12988213 | N |
minCard | dynamic6Split | 17106 | 22786 | 27479 | 13923078 | N |
maxDens | split | 2437 | 40 | 39 | 1890458 | N |
maxDens | split3Way | 2625 | 77 | 114 | 1926047 | N |
maxDens | split5Way | 4624 | 129 | 160 | 3494424 | N |
maxDens | split6Way | 4840 | 161 | 192 | 3696242 | N |
maxDens | dynamicSplit | 11224 | 7202 | 7201 | 9236615 | N |
maxDens | dynamic3Split | 11186 | 14441 | 21660 | 9225278 | N |
maxDens | dynamic5Split | 16110 | 36353 | 45440 | 12691725 | N |
maxDens | dynamic6Split | 17461 | 44231 | 53076 | 13737991 | N |
minDens | split | TO | 564940 | 564951 | 156290253 | X |
minDens | split3Way | TO | 215903 | 323892 | 160163535 | X |
minDens | split5Way | TO | 539862 | 676406 | 156392348 | X |
minDens | split6Way | TO | 579052 | 699642 | 156916940 | X |
minDens | dynamicSplit | TO | 564054 | 564063 | 156098251 | X |
minDens | dynamic3Split | TO | 217022 | 325566 | 161069347 | X |
minDens | dynamic5Split | TO | 540032 | 676620 | 156426516 | X |
minDens | dynamic6Split | TO | 578630 | 699133 | 156855035 | X |
minMagn | split | TO | 21181 | 21203 | 139976920 | X |
minMagn | split3Way | TO | 461809 | 692729 | 143560111 | X |
minMagn | split5Way | TO | 15543 | 19439 | 134985197 | X |
minMagn | split6Way | TO | 19119 | 22955 | 134569896 | X |
minMagn | dynamicSplit | 11331 | 7230 | 7229 | 9289546 | N |
minMagn | dynamic3Split | 11350 | 14499 | 21747 | 9269629 | N |
minMagn | dynamic5Split | 18325 | 45641 | 57050 | 14215323 | N |
minMagn | dynamic6Split | 19748 | 55826 | 66990 | 15287652 | N |
maxMagn | split | TO | 559078 | 559089 | 155019751 | X |
maxMagn | split3Way | TO | 216735 | 325136 | 160822829 | X |
maxMagn | split5Way | TO | 540077 | 676676 | 156434701 | X |
maxMagn | split6Way | TO | 574152 | 693719 | 156172602 | X |
maxMagn | dynamicSplit | TO | 558580 | 558592 | 154912178 | X |
maxMagn | dynamic3Split | TO | 216662 | 325028 | 160761379 | X |
maxMagn | dynamic5Split | TO | 539734 | 676245 | 156372398 | X |
maxMagn | dynamic6Split | TO | 573560 | 693004 | 156076754 | X |
ref | ref | 10974 | 7050 | 7049 | 9409426 | N |
1.4.3 Résultat : stratégies basées sur les contraintes.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxDegree | split | TO | 247636 | 247659 | 146791824 | X |
maxDegree | split3Way | TO | 259847 | 779538 | 144906771 | X |
maxDegree | split5Way | TO | 739334 | 924255 | 139010826 | X |
maxDegree | split6Way | TO | 850199 | 1020435 | 138086216 | X |
maxDegree | dynamicSplit | TO | 247242 | 247265 | 146534862 | X |
maxDegree | dynamic3Split | TO | 259402 | 778194 | 144602414 | X |
maxDegree | dynamic5Split | TO | 739396 | 924332 | 139023289 | X |
maxDegree | dynamic6Split | TO | 849135 | 1019157 | 137902521 | X |
minDegree | split | TO | 558009 | 558023 | 154789661 | X |
minDegree | split3Way | TO | 108392 | 325197 | 160860286 | X |
minDegree | split5Way | TO | 540962 | 677785 | 156578302 | X |
minDegree | split6Way | TO | 567749 | 694949 | 156322839 | X |
minDegree | dynamicSplit | TO | 560390 | 560402 | 155304825 | X |
minDegree | dynamic3Split | TO | 108471 | 325435 | 160990150 | X |
minDegree | dynamic5Split | TO | 541742 | 678761 | 156710940 | X |
minDegree | dynamic6Split | TO | 568295 | 695617 | 156409951 | X |
maxOcc | split | 11089 | 7050 | 7049 | 9409426 | N |
maxOcc | split3Way | 11099 | 7105 | 21312 | 9382912 | N |
maxOcc | split5Way | 15681 | 20081 | 25100 | 12988213 | N |
maxOcc | split6Way | 16836 | 22076 | 27479 | 13923078 | N |
maxOcc | dynamicSplit | 11114 | 7050 | 7049 | 9409426 | N |
maxOcc | dynamic3Split | 11115 | 7105 | 21312 | 9382912 | N |
maxOcc | dynamic5Split | 15756 | 20081 | 25100 | 12988213 | N |
maxOcc | dynamic6Split | 16862 | 22076 | 27479 | 13923078 | N |
minOcc | split | TO | 558258 | 558270 | 154842695 | X |
minOcc | split3Way | TO | 108582 | 325761 | 161193246 | X |
minOcc | split5Way | TO | 540205 | 676835 | 156455081 | X |
minOcc | split6Way | TO | 566986 | 694014 | 156208234 | X |
minOcc | dynamicSplit | TO | 560758 | 560769 | 155384397 | X |
minOcc | dynamic3Split | TO | 108583 | 325772 | 161201109 | X |
minOcc | dynamic5Split | TO | 541387 | 678318 | 156652127 | X |
minOcc | dynamic6Split | TO | 568107 | 695386 | 156379588 | X |
maxAbs | split | 2373 | 40 | 39 | 1890458 | N |
maxAbs | split3Way | 2390 | 39 | 114 | 1926047 | N |
maxAbs | split5Way | 4448 | 129 | 160 | 3494424 | N |
maxAbs | split6Way | 4694 | 161 | 192 | 3696242 | N |
maxAbs | dynamicSplit | 2376 | 40 | 39 | 1890458 | N |
maxAbs | dynamic3Split | 2406 | 39 | 114 | 1926047 | N |
maxAbs | dynamic5Split | 4464 | 129 | 160 | 3494424 | N |
maxAbs | dynamic6Split | 4725 | 161 | 192 | 3696242 | N |
minAbs | split | 11123 | 7050 | 7049 | 9409426 | N |
minAbs | split3Way | 11137 | 7105 | 21312 | 9382912 | N |
minAbs | split5Way | 15665 | 20081 | 25100 | 12988213 | N |
minAbs | split6Way | 16935 | 22076 | 27479 | 13923078 | N |
minAbs | dynamicSplit | 11540 | 7050 | 7049 | 9409426 | N |
minAbs | dynamic3Split | 11611 | 7105 | 21312 | 9382912 | N |
minAbs | dynamic5Split | 16007 | 20081 | 25100 | 12988213 | N |
minAbs | dynamic6Split | 17188 | 22076 | 27479 | 13923078 | N |
maxCan | split | 10962 | 7050 | 7049 | 9409426 | N |
maxCan | split3Way | 11020 | 7105 | 21312 | 9382912 | N |
maxCan | split5Way | 15502 | 20081 | 25100 | 12988213 | N |
maxCan | split6Way | 16747 | 22076 | 27479 | 13923078 | N |
maxCan | dynamicSplit | 11057 | 7050 | 7049 | 9409426 | N |
maxCan | dynamic3Split | 11132 | 7105 | 21312 | 9382912 | N |
maxCan | dynamic5Split | 15555 | 20081 | 25100 | 12988213 | N |
maxCan | dynamic6Split | 16722 | 22076 | 27479 | 13923078 | N |
minCan | split | 10951 | 7050 | 7049 | 9409426 | N |
minCan | split3Way | 11010 | 7105 | 21312 | 9382912 | N |
minCan | split5Way | 15515 | 20081 | 25100 | 12988213 | N |
minCan | split6Way | 16703 | 22076 | 27479 | 13923078 | N |
minCan | dynamicSplit | 11052 | 7050 | 7049 | 9409426 | N |
minCan | dynamic3Split | 11073 | 7105 | 21312 | 9382912 | N |
minCan | dynamic5Split | 15523 | 20081 | 25100 | 12988213 | N |
minCan | dynamic6Split | 16734 | 22076 | 27479 | 13923078 | N |
1.4.4 Stratégie mixte :
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
absWDens | split | 10986 | 7050 | 7049 | 9409426 | N |
absWDens | split3Way | 11089 | 7105 | 21312 | 9382912 | N |
absWDens | split5Way | 15460 | 20081 | 25100 | 12988213 | N |
absWDens | split6Way | 16650 | 22076 | 27479 | 13923078 | N |
absWDens | dynamicSplit | TO | 0 | 32268126 | 9952 | X |
absWDens | dynamic3Split | MO | X | |||
absWDens | dynamic5Split | MO | X | |||
absWDens | dynamic6Split | MO | X | |||
densWAbs | split | TO | 21447 | 21474 | 141016022 | X |
densWAbs | split3Way | MO | X | |||
densWAbs | split5Way | TO | 15795 | 19783 | 136488639 | X |
densWAbs | split6Way | TO | 19587 | 23552 | 136684605 | X |
densWAbs | dynamicSplit | 5707 | 2402 | 2401 | 4755100 | N |
densWAbs | dynamic3Split | 6360 | 2182 | 6543 | 5267607 | N |
densWAbs | dynamic5Split | 6753 | 205 | 255 | 5379107 | N |
densWAbs | dynamic6Split | 7318 | 256 | 306 | 5701125 | N |
1.5 solve_cubic
1.5.1 Modèle
//VARIABLES
a, b, c, q, r, Q, R, Q3, R2, CR2, CQ3
//CONTRAINTES
q = (a * a - 3 * b)
r = (2 * a * a * a - 9 * a * b + 27 * c)
Q = q / 9
R = r / 54
Q3 = Q * Q * Q
R2 = R * R
CR2 = 729 * r * r
CQ3 = 2916 * q * q * q
R = 0
Q = 0
1.5.2 Résultats
Pour ce bench, les stratégies manquantes ne passent pas au niveau de la mémoire.
var selector | val selector | time (ms) | #fail | #choice | #propagation | Sol |
---|---|---|---|---|---|---|
maxWidth | split | MO | X | |||
maxWidth | split3Way | MO | X | |||
maxWidth | split5Way | MO | X | |||
maxWidth | split6Way | 2 | 1 | 4 | 113 | Y |
maxWidth | dynamicSplit | MO | X | |||
maxWidth | dynamic3Split | MO | X | |||
maxWidth | dynamic5Split | MO | X | |||
maxWidth | dynamic6Split | 2 | 1 | 4 | 113 | Y |
minWidth | split | TO | 9237132 | 9237190 | 179013433 | X |
minWidth | split3Way | TO | 15900835 | 23851309 | 150718216 | X |
minWidth | split5Way | TO | 16353659 | 20446330 | 116253160 | X |
minWidth | split6Way | TO | 17371711 | 20853305 | 110483155 | X |
minWidth | dynamicSplit | TO | 9205667 | 9205719 | 178398028 | X |
minWidth | dynamic3Split | TO | 15811750 | 23717688 | 149875659 | X |
minWidth | dynamic5Split | TO | 16259378 | 20328455 | 115583743 | X |
minWidth | dynamic6Split | TO | 17446240 | 20942772 | 110957302 | X |
maxCard | split | MO | X | |||
maxCard | split3Way | MO | X | |||
maxCard | split5Way | MO | X | |||
maxCard | split6Way | 37 | 1888 | 2282 | 17436 | Y |
maxCard | dynamicSplit | MO | X | |||
maxCard | dynamic3Split | MO | X | |||
maxCard | dynamic5Split | MO | X | |||
maxCard | dynamic6Split | 180002 | 9663418 | 11708514 | 98842518 | X |
minCard | split | MO | X | |||
minCard | split3Way | MO | X | |||
minCard | split5Way | MO | X | |||
minCard | split6Way | 40 | 1888 | 2282 | 17436 | Y |
minCard | dynamicSplit | MO | X | |||
minCard | dynamic3Split | MO | X | |||
minCard | dynamic5Split | MO | X | |||
minCard | dynamic6Split | TO | 11401832 | 13692111 | 83472248 | X |
maxDens | split | MO | X | |||
maxDens | split3Way | MO | X | |||
maxDens | split5Way | MO | X | |||
maxDens | split6Way | 38 | 1888 | 2282 | 17436 | Y |
maxDens | dynamicSplit | MO | X | |||
maxDens | dynamic3Split | MO | X | |||
maxDens | dynamic5Split | MO | X | |||
maxDens | dynamic6Split | TO | 9112401 | 11040866 | 100021612 | X |
minDens | split | MO | X | |||
minDens | split3Way | MO | X | |||
minDens | split5Way | MO | X | |||
minDens | split6Way | 41 | 1888 | 2282 | 17436 | Y |
minDens | dynamicSplit | MO | X | |||
minDens | dynamic3Split | MO | X | |||
minDens | dynamic5Split | MO | X | |||
minDens | dynamic6Split | 58 | 2621 | 3162 | 25541 | Y |
minMagn | split | TO | 9304808 | 9304855 | 180337433 | X |
minMagn | split3Way | TO | 15977030 | 23965610 | 151439261 | X |
minMagn | split5Way | TO | 16328964 | 20415454 | 116078473 | X |
minMagn | split6Way | TO | 17539533 | 21054765 | 111551372 | X |
minMagn | dynamicSplit | TO | 8577590 | 8577637 | 190056506 | X |
minMagn | dynamic3Split | TO | 14527798 | 21791768 | 160590562 | X |
minMagn | dynamic5Split | TO | 16346876 | 20437849 | 116205003 | X |
minMagn | dynamic6Split | TO | 17503808 | 21011878 | 111323946 | X |
maxMagn | split | MO | X | |||
maxMagn | split3Way | MO | X | |||
maxMagn | split5Way | MO | X | |||
maxMagn | split6Way | 2 | 1 | 4 | 113 | Y |
maxMagn | dynamicSplit | MO | X | |||
maxMagn | dynamic3Split | MO | X | |||
maxMagn | dynamic5Split | MO | X | |||
maxMagn | dynamic6Split | 2 | 1 | 4 | 113 | Y |
ref | ref | MO | X |
1.5.3 Résultat : stratégies basées sur les contraintes.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxDegree | split | MO | X | |||
maxDegree | split3Way | MO | X | |||
maxDegree | split5Way | MO | X | |||
maxDegree | split6Way | 3 | 1 | 4 | 113 | Y |
maxDegree | dynamicSplit | MO | X | |||
maxDegree | dynamic3Split | MO | X | |||
maxDegree | dynamic5Split | MO | X | |||
maxDegree | dynamic6Split | 3 | 1 | 4 | 113 | Y |
minDegree | split | TO | 6454473 | 6454507 | 156183362 | X |
minDegree | split3Way | TO | 13408732 | 20113167 | 125684738 | X |
minDegree | split5Way | MO | X | |||
minDegree | split6Way | TO | 13484662 | 16368663 | 127709059 | X |
minDegree | dynamicSplit | TO | 6606025 | 6606061 | 160619863 | X |
minDegree | dynamic3Split | TO | 13456817 | 20185291 | 126245721 | X |
minDegree | dynamic5Split | MO | X | |||
minDegree | dynamic6Split | TO | 13563286 | 16464102 | 128467230 | X |
maxOcc | split | MO | X | |||
maxOcc | split3Way | MO | X | |||
maxOcc | split5Way | MO | X | |||
maxOcc | split6Way | 4 | 1 | 4 | 113 | Y |
maxOcc | dynamicSplit | MO | X | |||
maxOcc | dynamic3Split | MO | X | |||
maxOcc | dynamic5Split | MO | X | |||
maxOcc | dynamic6Split | 3 | 1 | 4 | 113 | Y |
minOcc | split | TO | 6482475 | 6482517 | 157003202 | X |
minOcc | split3Way | TO | 13573241 | 20359929 | 127204100 | X |
minOcc | split5Way | MO | X | |||
minOcc | split6Way | TO | 13464228 | 16343858 | 127511959 | X |
minOcc | dynamicSplit | TO | 6584121 | 6584158 | 159978889 | X |
minOcc | dynamic3Split | TO | 13526043 | 20289127 | 126895451 | X |
minOcc | dynamic5Split | MO | X | |||
minOcc | dynamic6Split | TO | 13588503 | 16494711 | 128710392 | X |
maxAbs | split | MO | X | |||
maxAbs | split3Way | MO | X | |||
maxAbs | split5Way | MO | X | |||
maxAbs | split6Way | 49 | 1888 | 2282 | 17436 | Y |
maxAbs | dynamicSplit | TO | 0 | 5133305 | 243 | X |
maxAbs | dynamic3Split | TO | 0 | 5207543 | 243 | X |
maxAbs | dynamic5Split | TO | 7910986 | 11866481 | 7911056 | X |
maxAbs | dynamic6Split | 57 | 1888 | 2282 | 17436 | Y |
maxAbs | split | MO | X | |||
maxAbs | split3Way | MO | X | |||
maxAbs | split5Way | MO | X | |||
minAbs | split6Way | 51 | 1888 | 2282 | 17436 | Y |
minAbs | dynamicSplit | TO | 0 | 5026755 | 243 | X |
minAbs | dynamic3Split | TO | 0 | 5169009 | 243 | X |
minAbs | dynamic5Split | TO | 7894814 | 11842223 | 7894884 | X |
minAbs | dynamic6Split | 56 | 1888 | 2282 | 17436 | Y |
maxCan | split | MO | ||||
maxCan | split3Way | MO | ||||
maxCan | split5Way | MO | ||||
maxCan | split6Way | 54 | 1888 | 2282 | 17436 | |
maxCan | dynamicSplit | MO | ||||
maxCan | dynamic3Split | MO | ||||
maxCan | dynamic5Split | MO | ||||
maxCan | dynamic6Split | 57 | 1888 | 2282 | 17436 | |
minCan | split | MO | ||||
minCan | split3Way | MO | ||||
minCan | split5Way | MO | ||||
minCan | split6Way | 53 | 1888 | 2282 | 17436 | |
minCan | dynamicSplit | MO | ||||
minCan | dynamic3Split | MO | ||||
minCan | dynamic5Split | MO | ||||
minCan | dynamic6Split | 57 | 1888 | 2282 | 17436 |
1.5.4 Strategies mixtes
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
absWDens | split | MO | ||||
absWDens | split3Way | MO | ||||
absWDens | split5Way | MO | ||||
absWDens | split6Way | 51 | 1888 | 2282 | 17436 | |
absWDens | dynamicSplit | MO | ||||
absWDens | dynamic3Split | MO | ||||
absWDens | dynamic5Split | MO | ||||
absWDens | dynamic6Split | MO | ||||
densWAbs | split | MO | ||||
densWAbs | split3Way | MO | ||||
densWAbs | split5Way | MO | ||||
densWAbs | split6Way | 50 | 1888 | 2282 | 17436 | |
densWAbs | dynamicSplit | MO | ||||
densWAbs | dynamic3Split | MO | ||||
densWAbs | dynamic5Split | MO | ||||
densWAbs | dynamic6Split | 51 | 1888 | 2282 | 17436 |
1.6 float_int_inv_square_false-unreach-call
1.6.1 Modèle
//VARIABLES
x = [-10,10]f
y, z
//CONTRAINTES
y = x*x - 4.f
y == 0.f
z = 1.f / y;
1.6.2 Résultats
var selector | val selector | time | #fail | #choice | #propagation | Sol |
---|---|---|---|---|---|---|
maxWidth | split | 2 | 6 | 7 | 23 | Y |
maxWidth | split3Way | 2 | 6 | 13 | 23 | Y |
maxWidth | split5Way | 2 | 25 | 32 | 22 | Y |
maxWidth | split6Way | 2 | 30 | 37 | 22 | Y |
maxWidth | dynamicSplit | 1 | 6 | 7 | 23 | Y |
maxWidth | dynamic3Split | 1 | 6 | 13 | 23 | Y |
maxWidth | dynamic5Split | 2 | 25 | 32 | 22 | Y |
maxWidth | dynamic6Split | 2 | 30 | 37 | 22 | Y |
minWidth | split | 1 | 6 | 7 | 23 | Y |
minWidth | split3Way | 2 | 6 | 13 | 23 | Y |
minWidth | split5Way | 2 | 25 | 32 | 22 | Y |
minWidth | split6Way | 1 | 30 | 37 | 22 | Y |
minWidth | dynamicSplit | 2 | 6 | 7 | 23 | Y |
minWidth | dynamic3Split | 2 | 6 | 13 | 23 | Y |
minWidth | dynamic5Split | 1 | 25 | 32 | 22 | Y |
minWidth | dynamic6Split | 2 | 30 | 37 | 22 | Y |
maxCard | split | 1 | 6 | 7 | 23 | Y |
maxCard | split3Way | 1 | 6 | 13 | 23 | Y |
maxCard | split5Way | 1 | 25 | 32 | 22 | Y |
maxCard | split6Way | 2 | 30 | 37 | 22 | Y |
maxCard | dynamicSplit | 2 | 6 | 7 | 23 | Y |
maxCard | dynamic3Split | 2 | 6 | 13 | 23 | Y |
maxCard | dynamic5Split | 2 | 25 | 32 | 22 | Y |
maxCard | dynamic6Split | 2 | 30 | 37 | 22 | Y |
minCard | split | 1 | 6 | 7 | 23 | Y |
minCard | split3Way | 1 | 6 | 13 | 23 | Y |
minCard | split5Way | 1 | 25 | 32 | 22 | Y |
minCard | split6Way | 2 | 30 | 37 | 22 | Y |
minCard | dynamicSplit | 2 | 6 | 7 | 23 | Y |
minCard | dynamic3Split | 2 | 6 | 13 | 23 | Y |
minCard | dynamic5Split | 1 | 25 | 32 | 22 | Y |
minCard | dynamic6Split | 2 | 30 | 37 | 22 | Y |
maxDens | split | 2 | 6 | 7 | 23 | Y |
maxDens | split3Way | 2 | 6 | 13 | 23 | Y |
maxDens | split5Way | 1 | 25 | 32 | 22 | Y |
maxDens | split6Way | 2 | 30 | 37 | 22 | Y |
maxDens | dynamicSplit | 2 | 6 | 7 | 23 | Y |
maxDens | dynamic3Split | 3 | 6 | 13 | 23 | Y |
maxDens | dynamic5Split | 1 | 25 | 32 | 22 | Y |
maxDens | dynamic6Split | 2 | 30 | 37 | 22 | Y |
minDens | split | 2 | 6 | 7 | 23 | Y |
minDens | split3Way | 2 | 6 | 13 | 23 | Y |
minDens | split5Way | 2 | 25 | 32 | 22 | Y |
minDens | split6Way | 2 | 30 | 37 | 22 | Y |
minDens | dynamicSplit | 1 | 6 | 7 | 23 | Y |
minDens | dynamic3Split | 2 | 6 | 13 | 23 | Y |
minDens | dynamic5Split | 1 | 25 | 32 | 22 | Y |
minDens | dynamic6Split | 2 | 30 | 37 | 22 | Y |
minMagn | split | 1 | 6 | 7 | 23 | Y |
minMagn | split3Way | 2 | 6 | 13 | 23 | Y |
minMagn | split5Way | 2 | 25 | 32 | 22 | Y |
minMagn | split6Way | 1 | 30 | 37 | 22 | Y |
minMagn | dynamicSplit | 1 | 6 | 7 | 23 | Y |
minMagn | dynamic3Split | 2 | 6 | 13 | 23 | Y |
minMagn | dynamic5Split | 1 | 25 | 32 | 22 | Y |
minMagn | dynamic6Split | 1 | 30 | 37 | 22 | Y |
maxMagn | split | 2 | 6 | 7 | 23 | Y |
maxMagn | split3Way | 1 | 6 | 13 | 23 | Y |
maxMagn | split5Way | 1 | 25 | 32 | 22 | Y |
maxMagn | split6Way | 1 | 30 | 37 | 22 | Y |
maxMagn | dynamicSplit | 1 | 6 | 7 | 23 | Y |
maxMagn | dynamic3Split | 2 | 6 | 13 | 23 | Y |
maxMagn | dynamic5Split | 1 | 25 | 32 | 22 | Y |
maxMagn | dynamic6Split | 2 | 30 | 37 | 22 | Y |
ref | ref | 3 | 6 | 7 | 23 | Y |
1.6.3 Résultat : stratégies basées sur les contraintes.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxDegree | split | 2 | 6 | 7 | 23 | Y |
maxDegree | split3Way | 2 | 6 | 13 | 23 | Y |
maxDegree | split5Way | 2 | 25 | 32 | 22 | Y |
maxDegree | split6Way | 2 | 30 | 37 | 22 | Y |
maxDegree | dynamicSplit | 2 | 6 | 7 | 23 | Y |
maxDegree | dynamic3Split | 2 | 6 | 13 | 23 | Y |
maxDegree | dynamic5Split | 3 | 25 | 32 | 22 | Y |
maxDegree | dynamic6Split | 2 | 30 | 37 | 22 | Y |
minDegree | split | 2 | 6 | 7 | 23 | Y |
minDegree | split3Way | 2 | 6 | 13 | 23 | Y |
minDegree | split5Way | 2 | 25 | 32 | 22 | Y |
minDegree | split6Way | 2 | 30 | 37 | 22 | Y |
minDegree | dynamicSplit | 2 | 6 | 7 | 23 | Y |
minDegree | dynamic3Split | 2 | 6 | 13 | 23 | Y |
minDegree | dynamic5Split | 2 | 25 | 32 | 22 | Y |
minDegree | dynamic6Split | 2 | 30 | 37 | 22 | Y |
maxOcc | split | 3 | 6 | 7 | 23 | Y |
maxOcc | split3Way | 2 | 6 | 13 | 23 | Y |
maxOcc | split5Way | 2 | 25 | 32 | 22 | Y |
maxOcc | split6Way | 2 | 30 | 37 | 22 | Y |
maxOcc | dynamicSplit | 2 | 6 | 7 | 23 | Y |
maxOcc | dynamic3Split | 2 | 6 | 13 | 23 | Y |
maxOcc | dynamic5Split | 2 | 25 | 32 | 22 | Y |
maxOcc | dynamic6Split | 2 | 30 | 37 | 22 | Y |
minOcc | split | 3 | 6 | 7 | 23 | Y |
minOcc | split3Way | 2 | 6 | 13 | 23 | Y |
minOcc | split5Way | 2 | 25 | 32 | 22 | Y |
minOcc | split6Way | 2 | 30 | 37 | 22 | Y |
minOcc | dynamicSplit | 1 | 6 | 7 | 23 | Y |
minOcc | dynamic3Split | 2 | 6 | 13 | 23 | Y |
minOcc | dynamic5Split | 2 | 25 | 32 | 22 | Y |
minOcc | dynamic6Split | 2 | 30 | 37 | 22 | Y |
maxAbs | split | 2 | 6 | 7 | 23 | Y |
maxAbs | split3Way | 3 | 6 | 13 | 23 | Y |
maxAbs | split5Way | 1 | 25 | 32 | 22 | Y |
maxAbs | split6Way | 3 | 30 | 37 | 22 | Y |
maxAbs | dynamicSplit | 1 | 6 | 7 | 23 | Y |
maxAbs | dynamic3Split | 3 | 6 | 13 | 23 | Y |
maxAbs | dynamic5Split | 2 | 25 | 32 | 22 | Y |
maxAbs | dynamic6Split | 3 | 30 | 37 | 22 | Y |
minAbs | split | 2 | 6 | 7 | 23 | Y |
minAbs | split3Way | 2 | 6 | 13 | 23 | Y |
minAbs | split5Way | 2 | 25 | 32 | 22 | Y |
minAbs | split6Way | 2 | 30 | 37 | 22 | Y |
minAbs | dynamicSplit | 2 | 6 | 7 | 23 | Y |
minAbs | dynamic3Split | 2 | 6 | 13 | 23 | Y |
minAbs | dynamic5Split | 2 | 25 | 32 | 22 | Y |
minAbs | dynamic6Split | 2 | 30 | 37 | 22 | Y |
maxCan | split | 3 | 6 | 7 | 23 | Y |
maxCan | split3Way | 2 | 6 | 13 | 23 | Y |
maxCan | split5Way | 2 | 25 | 32 | 22 | Y |
maxCan | split6Way | 1 | 30 | 37 | 22 | Y |
maxCan | dynamicSplit | 2 | 6 | 7 | 23 | Y |
maxCan | dynamic3Split | 2 | 6 | 13 | 23 | Y |
maxCan | dynamic5Split | 1 | 25 | 32 | 22 | Y |
maxCan | dynamic6Split | 2 | 30 | 37 | 22 | Y |
minCan | split | 2 | 6 | 7 | 23 | Y |
minCan | split3Way | 2 | 6 | 13 | 23 | Y |
minCan | split5Way | 2 | 25 | 32 | 22 | Y |
minCan | split6Way | 2 | 30 | 37 | 22 | Y |
minCan | dynamicSplit | 2 | 6 | 7 | 23 | Y |
minCan | dynamic3Split | 2 | 6 | 13 | 23 | Y |
minCan | dynamic5Split | 2 | 25 | 32 | 22 | Y |
minCan | dynamic6Split | 2 | 30 | 37 | 22 | Y |
1.6.4 Stratégies mixtes
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
absWDens | split | 1 | 6 | 7 | 23 | Y |
absWDens | split3Way | 2 | 6 | 13 | 23 | Y |
absWDens | split5Way | 2 | 25 | 32 | 22 | Y |
absWDens | split6Way | 2 | 30 | 37 | 22 | Y |
absWDens | dynamicSplit | MO | X | |||
absWDens | dynamic3Split | 2 | 6 | 13 | 23 | Y |
absWDens | dynamic5Split | MO | X | |||
absWDens | dynamic6Split | MO | X | |||
densWAbs | split | 2 | 6 | 7 | 23 | Y |
densWAbs | split3Way | 3 | 6 | 13 | 23 | Y |
densWAbs | split5Way | 3 | 25 | 32 | 22 | Y |
densWAbs | split6Way | 2 | 30 | 37 | 22 | Y |
densWAbs | dynamicSplit | 3 | 6 | 7 | 23 | Y |
densWAbs | dynamic3Split | 3 | 6 | 13 | 23 | Y |
densWAbs | dynamic5Split | 3 | 25 | 32 | 22 | Y |
densWAbs | dynamic6Split | 3 | 30 | 37 | 22 | Y |
1.7 inv_square_int_true-unreach-call
1.7.1 Modèle
//VARIABLES
x = [-10,10]f
y, z
//CONTRAINTES
y = x*x - 2.f
y == 0.f
z = 1.f / y
1.7.2 Résultats
var selector | val selector | time (ms) | #fail | #choice | #propagation | Sol |
---|---|---|---|---|---|---|
maxWidth | split | 2 | 15 | 14 | 28 | N |
maxWidth | split3Way | MO | X | |||
maxWidth | split5Way | 2 | 53 | 65 | 29 | N |
maxWidth | split6Way | 2 | 66 | 78 | 29 | N |
maxWidth | dynamicSplit | 2 | 15 | 14 | 28 | N |
maxWidth | dynamic3Split | 1 | 29 | 42 | 31 | N |
maxWidth | dynamic5Split | 1 | 53 | 65 | 29 | N |
maxWidth | dynamic6Split | 1 | 66 | 78 | 29 | N |
minWidth | split | 1 | 15 | 14 | 28 | N |
minWidth | split3Way | MO | X | |||
minWidth | split5Way | 1 | 53 | 65 | 29 | N |
minWidth | split6Way | 1 | 66 | 78 | 29 | N |
minWidth | dynamicSplit | 1 | 15 | 14 | 28 | N |
minWidth | dynamic3Split | 2 | 29 | 42 | 31 | N |
minWidth | dynamic5Split | 1 | 53 | 65 | 29 | N |
minWidth | dynamic6Split | 2 | 66 | 78 | 29 | N |
maxCard | split | 1 | 15 | 14 | 28 | N |
maxCard | split3Way | MO | X | |||
maxCard | split5Way | 2 | 53 | 65 | 29 | N |
maxCard | split6Way | 2 | 66 | 78 | 29 | N |
maxCard | dynamicSplit | 2 | 15 | 14 | 28 | N |
maxCard | dynamic3Split | 2 | 29 | 42 | 31 | N |
maxCard | dynamic5Split | 2 | 53 | 65 | 29 | N |
maxCard | dynamic6Split | 2 | 66 | 78 | 29 | N |
minCard | split | 1 | 15 | 14 | 28 | N |
minCard | split3Way | MO | X | |||
minCard | split5Way | 1 | 53 | 65 | 29 | N |
minCard | split6Way | 1 | 66 | 78 | 29 | N |
minCard | dynamicSplit | 3 | 15 | 14 | 28 | N |
minCard | dynamic3Split | 2 | 29 | 42 | 31 | N |
minCard | dynamic5Split | 1 | 53 | 65 | 29 | N |
minCard | dynamic6Split | 2 | 66 | 78 | 29 | N |
maxDens | split | 2 | 15 | 14 | 28 | N |
maxDens | split3Way | MO | X | |||
maxDens | split5Way | 2 | 53 | 65 | 29 | N |
maxDens | split6Way | 2 | 66 | 78 | 29 | N |
maxDens | dynamicSplit | 2 | 15 | 14 | 28 | N |
maxDens | dynamic3Split | 2 | 29 | 42 | 31 | N |
maxDens | dynamic5Split | 2 | 53 | 65 | 29 | N |
maxDens | dynamic6Split | 2 | 66 | 78 | 29 | N |
minDens | split | 1 | 15 | 14 | 28 | N |
minDens | split3Way | MO | X | |||
minDens | split5Way | 1 | 53 | 65 | 29 | N |
minDens | split6Way | 2 | 66 | 78 | 29 | N |
minDens | dynamicSplit | 2 | 15 | 14 | 28 | N |
minDens | dynamic3Split | 2 | 29 | 42 | 31 | N |
minDens | dynamic5Split | 2 | 53 | 65 | 29 | N |
minDens | dynamic6Split | 1 | 66 | 78 | 29 | N |
minMagn | split | 1 | 15 | 14 | 28 | N |
minMagn | split3Way | MO | X | |||
minMagn | split5Way | 1 | 53 | 65 | 29 | N |
minMagn | split6Way | 2 | 66 | 78 | 29 | N |
minMagn | dynamicSplit | 2 | 15 | 14 | 28 | N |
minMagn | dynamic3Split | 2 | 29 | 42 | 31 | N |
minMagn | dynamic5Split | 2 | 53 | 65 | 29 | N |
minMagn | dynamic6Split | 1 | 66 | 78 | 29 | N |
maxMagn | split | 1 | 15 | 14 | 28 | N |
maxMagn | split3Way | MO | X | |||
maxMagn | split5Way | 1 | 53 | 65 | 29 | N |
maxMagn | split6Way | 2 | 66 | 78 | 29 | N |
maxMagn | dynamicSplit | 2 | 15 | 14 | 28 | N |
maxMagn | dynamic3Split | 2 | 29 | 42 | 31 | N |
maxMagn | dynamic5Split | 2 | 53 | 65 | 29 | N |
maxMagn | dynamic6Split | 1 | 66 | 78 | 29 | N |
ref | ref | 3 | 15 | 14 | 32 | N |
1.7.3 Résultat : stratégies basées sur les contraintes.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxDegree | split | 3 | 15 | 14 | 32 | N |
maxDegree | split3Way | MO | X | |||
maxDegree | split5Way | 4 | 53 | 65 | 33 | N |
maxDegree | split6Way | 3 | 66 | 78 | 33 | N |
maxDegree | dynamicSplit | 2 | 15 | 14 | 32 | N |
maxDegree | dynamic3Split | 2 | 43 | 63 | 46 | N |
maxDegree | dynamic5Split | 4 | 53 | 65 | 33 | N |
maxDegree | dynamic6Split | 2 | 66 | 78 | 33 | N |
minDegree | split | 3 | 15 | 14 | 32 | N |
minDegree | split3Way | MO | X | |||
minDegree | split5Way | 3 | 53 | 65 | 33 | N |
minDegree | split6Way | 2 | 66 | 78 | 33 | N |
minDegree | dynamicSplit | 3 | 15 | 14 | 32 | N |
minDegree | dynamic3Split | 2 | 43 | 63 | 46 | N |
minDegree | dynamic5Split | 2 | 53 | 65 | 33 | N |
minDegree | dynamic6Split | 3 | 66 | 78 | 33 | N |
maxOcc | split | 3 | 15 | 14 | 32 | N |
maxOcc | split3Way | MO | X | |||
maxOcc | split5Way | 3 | 53 | 65 | 33 | N |
maxOcc | split6Way | 2 | 66 | 78 | 33 | N |
maxOcc | dynamicSplit | 2 | 15 | 14 | 32 | N |
maxOcc | dynamic3Split | 3 | 43 | 63 | 46 | N |
maxOcc | dynamic5Split | 3 | 53 | 65 | 33 | N |
maxOcc | dynamic6Split | 3 | 66 | 78 | 33 | N |
minOcc | split | 3 | 15 | 14 | 32 | N |
minOcc | split3Way | MO | X | |||
minOcc | split5Way | 3 | 53 | 65 | 33 | N |
minOcc | split6Way | 2 | 66 | 78 | 33 | N |
minOcc | dynamicSplit | 2 | 15 | 14 | 32 | N |
minOcc | dynamic3Split | 2 | 43 | 63 | 46 | N |
minOcc | dynamic5Split | 4 | 53 | 65 | 33 | N |
minOcc | dynamic6Split | 2 | 66 | 78 | 33 | N |
maxAbs | split | 3 | 15 | 14 | 32 | N |
maxAbs | split3Way | MO | X | |||
maxAbs | split5Way | 3 | 53 | 65 | 33 | N |
maxAbs | split6Way | 2 | 66 | 78 | 33 | N |
maxAbs | dynamicSplit | 3 | 15 | 14 | 32 | N |
maxAbs | dynamic3Split | 4 | 43 | 63 | 46 | N |
maxAbs | dynamic5Split | 3 | 53 | 65 | 33 | N |
maxAbs | dynamic6Split | 3 | 66 | 78 | 33 | N |
minAbs | split | 4 | 15 | 14 | 32 | N |
minAbs | split3Way | MO | X | |||
minAbs | split5Way | 3 | 53 | 65 | 33 | N |
minAbs | split6Way | 3 | 66 | 78 | 33 | N |
minAbs | dynamicSplit | 3 | 15 | 14 | 32 | N |
minAbs | dynamic3Split | 3 | 43 | 63 | 46 | N |
minAbs | dynamic5Split | 3 | 53 | 65 | 33 | N |
minAbs | dynamic6Split | 3 | 66 | 78 | 33 | N |
maxCan | split | 2 | 15 | 14 | 32 | N |
maxCan | split3Way | MO | X | |||
maxCan | split5Way | 2 | 53 | 65 | 33 | N |
maxCan | split6Way | 2 | 66 | 78 | 33 | N |
maxCan | dynamicSplit | 3 | 15 | 14 | 32 | N |
maxCan | dynamic3Split | 2 | 43 | 63 | 46 | N |
maxCan | dynamic5Split | 2 | 53 | 65 | 33 | N |
maxCan | dynamic6Split | 2 | 66 | 78 | 33 | N |
minCan | split | 2 | 15 | 14 | 32 | N |
minCan | split3Way | MO | X | |||
minCan | split5Way | 3 | 53 | 65 | 33 | N |
minCan | split6Way | 2 | 66 | 78 | 33 | N |
minCan | dynamicSplit | 3 | 15 | 14 | 32 | N |
minCan | dynamic3Split | 2 | 43 | 63 | 46 | N |
minCan | dynamic5Split | 3 | 53 | 65 | 33 | N |
minCan | dynamic6Split | 2 | 66 | 78 | 33 | N |
1.7.4 Résultat : stratégies mixtes
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
absWDens | split | 2 | 15 | 14 | 32 | N |
absWDens | split3Way | MO | X | |||
absWDens | split5Way | 4 | 53 | 65 | 33 | N |
absWDens | split6Way | 2 | 66 | 78 | 33 | N |
absWDens | dynamicSplit | MO | N | |||
absWDens | dynamic3Split | MO | N | |||
absWDens | dynamic5Split | MO | N | |||
absWDens | dynamic6Split | MO | N | |||
densWAbs | split | 3 | 15 | 14 | 32 | N |
densWAbs | split3Way | MO | X | |||
densWAbs | split5Way | 2 | 53 | 65 | 33 | N |
densWAbs | split6Way | 3 | 66 | 78 | 33 | N |
densWAbs | dynamicSplit | 3 | 15 | 14 | 32 | N |
densWAbs | dynamic3Split | 2 | 43 | 63 | 46 | N |
densWAbs | dynamic5Split | 3 | 53 | 65 | 33 | N |
densWAbs | dynamic6Split | 3 | 66 | 78 | 33 | N |
1.8 slope
1.8.1 Modèle
//VARIABLES
h = [1e-9,1e-6]f
x0,x1,x2,fx1,fx2,res
//CONTRAINTES
x0 = 13
x1 = x0 + h
x2 = x0 - h
fx1 = x1*x1
fx2 = x2*x2
res = (fx1 - fx2) / (2.0*h)
res < 26.0f - 1.0f
1.8.2 Résultats
var selector | val selector | time (ms) | #fail | #choice | #propagation | Sol |
---|---|---|---|---|---|---|
maxWidth | split | TO | 4462706 | 4462716 | 120730782 | X |
maxWidth | split3Way | 3 | 0 | 33 | 200 | Y |
maxWidth | split5Way | 3 | 5 | 9 | 142 | Y |
maxWidth | split6Way | 3 | 9 | 15 | 224 | Y |
maxWidth | dynamicSplit | TO | 3638205 | 3638228 | 86550601 | X |
maxWidth | dynamic3Split | 3 | 0 | 33 | 200 | Y |
maxWidth | dynamic5Split | 2 | 5 | 9 | 142 | Y |
maxWidth | dynamic6Split | 3 | 9 | 15 | 224 | Y |
minWidth | split | 2 | 1 | 24 | 169 | Y |
minWidth | split3Way | 2 | 0 | 32 | 190 | Y |
minWidth | split5Way | 1 | 1 | 3 | 59 | Y |
minWidth | split6Way | 2 | 1 | 3 | 59 | Y |
minWidth | dynamicSplit | 2 | 1 | 24 | 169 | Y |
minWidth | dynamic3Split | 3 | 0 | 32 | 190 | Y |
minWidth | dynamic5Split | 2 | 1 | 3 | 59 | Y |
minWidth | dynamic6Split | 2 | 1 | 3 | 59 | Y |
maxCard | split | TO | 5795751 | 5795765 | 123467332 | X |
maxCard | split3Way | 3 | 0 | 33 | 200 | Y |
maxCard | split5Way | 2 | 13 | 18 | 208 | Y |
maxCard | split6Way | 3 | 28 | 35 | 374 | Y |
maxCard | dynamicSplit | 5 | 84 | 107 | 1527 | Y |
maxCard | dynamic3Split | 2 | 0 | 33 | 200 | Y |
maxCard | dynamic5Split | 3 | 9 | 13 | 140 | Y |
maxCard | dynamic6Split | 3 | 19 | 25 | 269 | Y |
minCard | split | 2 | 1 | 24 | 169 | Y |
minCard | split3Way | 3 | 0 | 32 | 190 | Y |
minCard | split5Way | 2 | 1 | 3 | 59 | Y |
minCard | split6Way | 2 | 1 | 3 | 59 | Y |
minCard | dynamicSplit | 2 | 1 | 24 | 169 | Y |
minCard | dynamic3Split | 3 | 0 | 32 | 190 | Y |
minCard | dynamic5Split | 2 | 1 | 3 | 59 | Y |
minCard | dynamic6Split | 2 | 1 | 3 | 59 | Y |
maxDens | split | 3 | 7 | 25 | 242 | Y |
maxDens | split3Way | 3 | 0 | 32 | 193 | Y |
maxDens | split5Way | 2 | 1 | 2 | 46 | Y |
maxDens | split6Way | 3 | 3 | 4 | 78 | Y |
maxDens | dynamicSplit | 3 | 7 | 25 | 242 | Y |
maxDens | dynamic3Split | 3 | 0 | 32 | 193 | Y |
maxDens | dynamic5Split | 2 | 1 | 2 | 46 | Y |
maxDens | dynamic6Split | 3 | 3 | 4 | 78 | Y |
minDens | split | 3 | 3 | 26 | 230 | Y |
minDens | split3Way | 3 | 0 | 32 | 192 | Y |
minDens | split5Way | 2 | 1 | 3 | 63 | Y |
minDens | split6Way | 3 | 4 | 7 | 130 | Y |
minDens | dynamicSplit | 3 | 3 | 26 | 230 | Y |
minDens | dynamic3Split | 3 | 0 | 32 | 192 | Y |
minDens | dynamic5Split | 2 | 1 | 3 | 63 | Y |
minDens | dynamic6Split | 3 | 4 | 7 | 130 | Y |
minMagn | split | TO | 5795764 | 5795775 | 123467593 | X |
minMagn | split3Way | 3 | 0 | 33 | 200 | Y |
minMagn | split5Way | 2 | 13 | 18 | 208 | Y |
minMagn | split6Way | 3 | 28 | 35 | 374 | Y |
minMagn | dynamicSplit | 3 | 25 | 48 | 721 | Y |
minMagn | dynamic3Split | 2 | 0 | 33 | 200 | Y |
minMagn | dynamic5Split | 3 | 13 | 18 | 208 | Y |
minMagn | dynamic6Split | 2 | 28 | 35 | 374 | Y |
maxMagn | split | 3 | 3 | 26 | 230 | Y |
maxMagn | split3Way | 2 | 0 | 32 | 192 | Y |
maxMagn | split5Way | 2 | 1 | 3 | 63 | Y |
maxMagn | split6Way | 3 | 4 | 7 | 130 | Y |
maxMagn | dynamicSplit | 3 | 3 | 26 | 230 | Y |
maxMagn | dynamic3Split | 3 | 0 | 32 | 192 | Y |
maxMagn | dynamic5Split | 2 | 1 | 3 | 63 | Y |
maxMagn | dynamic6Split | 3 | 4 | 7 | 130 | Y |
ref | ref | 3 | 7 | 25 | 242 | Y |
1.8.3 Résultat : stratégies basées sur les contraintes.
var selector | val selector | time (ms) | #fail | #choice | #propagation | sol |
---|---|---|---|---|---|---|
maxDegree | split | 3 | 7 | 25 | 242 | Y |
maxDegree | split3Way | 3 | 0 | 32 | 193 | Y |
maxDegree | split5Way | 2 | 1 | 2 | 46 | Y |
maxDegree | split6Way | 2 | 3 | 4 | 78 | Y |
maxDegree | dynamicSplit | 3 | 7 | 25 | 242 | Y |
maxDegree | dynamic3Split | 3 | 0 | 32 | 193 | Y |
maxDegree | dynamic5Split | 4 | 1 | 2 | 46 | Y |
maxDegree | dynamic6Split | 3 | 3 | 4 | 78 | Y |
minDegree | split | 3 | 1 | 24 | 169 | Y |
minDegree | split3Way | 2 | 0 | 32 | 190 | Y |
minDegree | split5Way | 2 | 1 | 3 | 59 | Y |
minDegree | split6Way | 3 | 1 | 3 | 59 | Y |
minDegree | dynamicSplit | 3 | 1 | 24 | 169 | Y |
minDegree | dynamic3Split | 2 | 0 | 32 | 190 | Y |
minDegree | dynamic5Split | 2 | 1 | 3 | 59 | Y |
minDegree | dynamic6Split | 2 | 1 | 3 | 59 | Y |
maxOcc | split | 3 | 1 | 24 | 169 | Y |
maxOcc | split3Way | 2 | 0 | 32 | 190 | Y |
maxOcc | split5Way | 2 | 1 | 3 | 59 | Y |
maxOcc | split6Way | 2 | 1 | 3 | 59 | Y |
maxOcc | dynamicSplit | 2 | 1 | 24 | 169 | Y |
maxOcc | dynamic3Split | 2 | 0 | 32 | 190 | Y |
maxOcc | dynamic5Split | 2 | 1 | 3 | 59 | Y |
maxOcc | dynamic6Split | 2 | 1 | 3 | 59 | Y |
minOcc | split | 3 | 1 | 24 | 169 | Y |
minOcc | split3Way | 2 | 0 | 32 | 190 | Y |
minOcc | split5Way | 2 | 1 | 3 | 59 | Y |
minOcc | split6Way | 2 | 1 | 3 | 59 | Y |
minOcc | dynamicSplit | 2 | 1 | 24 | 169 | Y |
minOcc | dynamic3Split | 2 | 0 | 32 | 190 | Y |
minOcc | dynamic5Split | 2 | 1 | 3 | 59 | Y |
minOcc | dynamic6Split | 2 | 1 | 3 | 59 | Y |
maxAbs | split | 2 | 7 | 25 | 242 | Y |
maxAbs | split3Way | 2 | 0 | 32 | 193 | Y |
maxAbs | split5Way | 3 | 1 | 2 | 46 | Y |
maxAbs | split6Way | 2 | 3 | 4 | 78 | Y |
maxAbs | dynamicSplit | 5 | 7 | 25 | 242 | Y |
maxAbs | dynamic3Split | 3 | 0 | 32 | 193 | Y |
maxAbs | dynamic5Split | 2 | 1 | 2 | 46 | Y |
maxAbs | dynamic6Split | 2 | 3 | 4 | 78 | Y |
minAbs | split | 3 | 7 | 25 | 242 | Y |
minAbs | split3Way | 2 | 0 | 32 | 193 | Y |
minAbs | split5Way | 3 | 1 | 2 | 46 | Y |
minAbs | split6Way | 2 | 3 | 4 | 78 | Y |
minAbs | dynamicSplit | 4 | 7 | 25 | 242 | Y |
minAbs | dynamic3Split | 3 | 0 | 32 | 193 | Y |
minAbs | dynamic5Split | 2 | 1 | 2 | 46 | Y |
minAbs | dynamic6Split | 2 | 3 | 4 | 78 | Y |
maxCan | split | 3 | 7 | 25 | 242 | Y |
maxCan | split3Way | 3 | 0 | 32 | 193 | Y |
maxCan | split5Way | 3 | 1 | 2 | 46 | Y |
maxCan | split6Way | 2 | 3 | 4 | 78 | Y |
maxCan | dynamicSplit | 3 | 7 | 25 | 242 | Y |
maxCan | dynamic3Split | 2 | 0 | 32 | 193 | Y |
maxCan | dynamic5Split | 2 | 1 | 2 | 46 | Y |
maxCan | dynamic6Split | 2 | 3 | 4 | 78 | Y |
minCan | split | 3 | 7 | 25 | 242 | Y |
minCan | split3Way | 2 | 0 | 32 | 193 | Y |
minCan | split5Way | 2 | 1 | 2 | 46 | Y |
minCan | split6Way | 2 | 3 | 4 | 78 | Y |
minCan | dynamicSplit | 3 | 7 | 25 | 242 | Y |
minCan | dynamic3Split | 3 | 0 | 32 | 193 | Y |
minCan | dynamic5Split | 3 | 1 | 2 | 46 | Y |
minCan | dynamic6Split | 3 | 3 | 4 | 78 | Y |
1.8.4 Stratégies mixtes
variable selection | value selection | time (ms) | #fail | #choice | #propagation |
---|---|---|---|---|---|
absWDens | split | MO | |||
absWDens | split3Way | MO | |||
absWDens | split5Way | MO | |||
absWDens | split6Way | MO | |||
absWDens | dynamicSplit | TO | 27205588 | 27205588 | |
absWDens | dynamic3Split | MO | |||
absWDens | dynamic5Split | MO | |||
absWDens | dynamic6Split | MO | |||
densWAbs | split | 3 | 7 | 25 | 242 |
densWAbs | split3Way | 3 | 0 | 32 | 193 |
densWAbs | split5Way | 3 | 1 | 2 | 46 |
densWAbs | split6Way | 2 | 3 | 4 | 78 |
densWAbs | dynamicSplit | 3 | 7 | 25 | 242 |
densWAbs | dynamic3Split | 3 | 0 | 32 | 193 |
densWAbs | dynamic5Split | 3 | 1 | 2 | 46 |
densWAbs | dynamic6Split | 2 | 3 | 4 | 78 |