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

Author: Heytem zitoun

Created: 2017-04-30 Sun 13:07

Validate