file - IBM

| CPO 12.6 Results | New Reference Group | Instance UB Proof | LB LBRef. UB UBRef. ------------------------------------------------------------------Barnes mt10c1 927 1 927 [13] 927 [3] Barnes mt10cc 908 1 908 [13] 908 [5] Barnes mt10x 918 1 918 [13] 918 [2] Barnes mt10xx 918 1 918 [13] 918 [2] Barnes mt10xxx 918 1 918 [13] 918 [2] Barnes mt10xy 905 1 905 [13] 905 [3] Barnes mt10xyz 847 1 847 [13] 847 [2] Barnes setb4c9 914 1 914 [13] 914 [3] Barnes setb4cc 907 1 907 [13] 907 [2] Barnes setb4x 925 1 925 [13] 925 [2] Barnes setb4xx 925 1 925 [13] 925 [2] Barnes setb4xxx 925 1 925 [13] 925 [2] Barnes setb4xy 910 1 910 [13] 910 [4] Barnes setb4xyz 902 1 902 [13] 902 [13] Barnes seti5c12 1169 1 1169 [13] 1169 [13] Barnes seti5cc 1135 1 1135 [13] 1135 [13] Barnes seti5x 1198 1 1198 [13] 1198 [14] Barnes seti5xx 1194 1 1194 [13] 1194 [13] Barnes seti5xxx 1194 1 1194 [13] 1194 [13] Barnes seti5xy 1135 1 1135 [13] 1135 [13] Barnes seti5xyz 1125 1 1125 [13] 1125 [2] Brandimarte Mk01 40 1 40 [13] 40 [2] Brandimarte Mk02 26 1 26 [CPO] 26 [2] Brandimarte Mk03 204 1 204 [1] 204 [2] Brandimarte Mk04 60 1 60 [13] 60 [2] Brandimarte Mk05 173 0 168 [1] 172 [3] Brandimarte Mk06 57 1 57 [CPO] 57 [Q] Brandimarte Mk07 139 0 133 [1] 139 [3] Brandimarte Mk08 523 1 523 [1] 523 [2] Brandimarte Mk09 307 1 307 [13] 307 [2] Brandimarte Mk10 195 0 183 [Q] 195 [CPO] Dauzere 01a 2505 1 2505 [1] 2505 [CPO] Dauzere 02a 2234 0 2228 [1] 2231 [3] Dauzere 03a 2228 0 2228 [1] 2228 [Q] Dauzere 04a 2503 1 2503 [1] 2503 [2] Dauzere 05a 2213 0 2189 [1] 2213 [CPO] Dauzere 06a 2191 0 2162 [1] 2185 [Q] Dauzere 07a 2277 0 2206 [Q] 2277 [CPO] Dauzere 08a 2066 0 2061 [1] 2064 [Q] Dauzere 09a 2061 1 2061 [1] 2061 [CPO] Dauzere 10a 2263 0 2197 [Q] 2263 [CPO] Dauzere 11a 2067 0 2017 [1] 2053 [Q] Dauzere 12a 2013 0 1969 [1] 2013 [CPO] Dauzere 13a 2258 0 2161 [1] 2257 [3] Dauzere 14a 2163 0 2161 [1] 2163 [Q] Dauzere 15a 2162 0 2161 [1] 2162 [Q] Dauzere 16a 2240 0 2148 [1] 2240 [CPO] Dauzere 17a 2140 0 2088 [1] 2129 [Q] Dauzere 18a 2125 0 2057 [1] 2105 [Q] Hurink_edata abz5 1167 1 1167 [CPO] 1167 [Q] Hurink_edata abz6 925 1 925 [CPO] 925 [Q] Hurink_edata abz7 620 0 564 [Q] 620 [CPO] Hurink_edata abz8 639 0 586 [Q] 639 [CPO] Hurink_edata abz9 644 1 644 [CPO] 644 [CPO]

Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_edata

car1 car2 car3 car4 car5 car6 car7 car8 la01 la02 la03 la04 la05 la06 la07 la08 la09 la10 la11 la12 la13 la14 la15 la16 la17 la18 la19 la20 la21 la22 la23 la24 la25 la26 la27 la28 la29 la30 la31 la32 la33 la34 la35 la36 la37 la38 la39 la40 mt06 mt10 mt20 orb1 orb10 orb2 orb3 orb4 orb5

6176 6327 6856 7789 7229 7990 6123 7689 609 655 550 568 503 833 762 845 878 866 1103 960 1053 1123 1111 892 707 842 796 857 1009 880 950 908 936 1106 1181 1142 1107 1188 1532 1698 1547 1599 1736 1160 1397 1141 1184 1144 55 871 1088 977 933 865 951 984 842

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

6176 6327 6856 7789 7229 7990 6123 7689 609 655 550 568 503 833 762 845 878 866 1103 960 1053 1123 1111 892 707 842 796 857 1009 880 950 908 936 1106 1181 1142 1107 1148 1532 1698 1547 1599 1736 1160 1397 1141 1184 1144 55 871 1088 977 933 865 951 984 842

[CPO] [CPO] [CPO] [Q] [Q] [CPO] [CPO] [CPO] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [13] [2] [2] [2] [2] [2] [2] [2] [2] [2] [CPO] [13] [2] [13] [13] [Q] [2] [CPO] [CPO] [Q] [CPO] [2] [2] [13] [2] [13] [13] [13] [13] [13] [2] [2] [2] [CPO] [CPO] [CPO] [CPO] [CPO] [CPO]

6176 6327 6856 7789 7229 7990 6123 7689 609 655 550 568 503 833 762 845 878 866 1103 960 1053 1123 1111 892 707 842 796 857 1009 880 950 908 936 1106 1181 1142 1107 1188 1532 1698 1547 1599 1736 1160 1397 1141 1184 1144 55 871 1088 977 933 865 951 984 842

[Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [15] [15] [2] [15] [13] [CPO] [15] [15] [CPO] [CPO] [CPO] [2] [2] [2] [2] [15] [2] [13] [2] [13] [2] [2] [2] [CPO] [Q] [Q] [Q] [Q] [Q]

Hurink_edata Hurink_edata Hurink_edata Hurink_edata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata

orb6 orb7 orb8 orb9 abz5 abz6 abz7 abz8 abz9 car1 car2 car3 car4 car5 car6 car7 car8 la01 la02 la03 la04 la05 la06 la07 la08 la09 la10 la11 la12 la13 la14 la15 la16 la17 la18 la19 la20 la21 la22 la23 la24 la25 la26 la27 la28 la29 la30 la31 la32 la33 la34 la35 la36 la37 la38 la39 la40

958 389 894 933 954 807 535 558 553 5034 5985 5623 6514 5615 6147 4425 5692 570 529 477 502 457 799 749 765 853 804 1071 936 1038 1070 1089 717 646 666 700 756 838 757 846 805 787 1066 1099 1079 1001 1089 1522 1658 1498 1536 1549 1023 1062 954 1011 955

1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1

958 389 894 933 954 807 492 506 497 5034 5929 5597 6514 5615 6147 4425 5692 570 529 477 502 457 799 749 765 853 804 1071 936 1038 1070 1089 717 646 666 700 756 808 737 816 775 752 1056 1085 1075 993 1068 1520 1657 1497 1535 1549 1023 1062 954 1011 955

[CPO] [CPO] [Q] [CPO] [CPO] [Q] [Q] [Q] [Q] [CPO] [Q] [Q] [Q] [CPO] [CPO] [CPO] [CPO] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [13] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [13] [CPO] [13] [13] [2]

958 389 894 933 954 807 531 542 541 5034 5985 5623 6514 5615 6147 4425 5692 570 529 477 502 457 799 749 765 853 804 1071 936 1038 1070 1089 717 646 666 700 756 833 757 832 801 785 1061 1090 1077 996 1078 1520 1658 1498 1535 1549 1023 1062 954 1011 955

[Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [CPO] [CPO] [CPO] [Q] [CPO] [Q] [Q] [Q] [CPO] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [15] [CPO] [2] [15] [13] [15] [15] [15] [15] [15] [15] [2] [2] [2] [CPO] [15] [CPO] [13] [2] [CPO]

Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_rdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata

mt06 mt10 mt20 orb1 orb10 orb2 orb3 orb4 orb5 orb6 orb7 orb8 orb9 abz5 abz6 abz7 abz8 abz9 car1 car2 car3 car4 car5 car6 car7 car8 la01 la02 la03 la04 la05 la06 la07 la08 la09 la10 la11 la12 la13 la14 la15 la16 la17 la18 la19 la20 la21 la22 la23 la24 la25 la26 la27 la28 la29 la30 la31

47 686 1022 746 742 696 712 753 639 754 302 639 694 1234 943 656 667 678 7038 7166 7312 8003 7702 8313 6558 8264 666 655 597 590 593 926 890 863 951 958 1222 1039 1150 1292 1207 945 784 848 842 902 1046 927 1032 935 977 1218 1235 1216 1152 1355 1784

1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

47 686 1022 746 742 696 712 753 639 754 302 639 694 1234 943 656 608 678 7038 7166 7312 8003 7702 8313 6558 8264 666 655 597 590 593 926 890 863 951 958 1222 1039 1150 1292 1207 945 784 848 842 902 1046 927 1032 935 977 1218 1235 1216 1152 1355 1784

[2] [Q] [2] [CPO] [CPO] [CPO] [CPO] [Q] [CPO] [CPO] [CPO] [CPO] [Q] [CPO] [CPO] [CPO] [Q] [CPO] [Q] [Q] [Q] [Q] [CPO] [CPO] [CPO] [CPO] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [CPO] [2] [2]

47 686 1022 746 742 696 712 753 639 754 302 639 694 1234 943 656 667 678 7038 7166 7312 8003 7702 8313 6558 8264 666 655 597 590 593 926 890 863 951 958 1222 1039 1150 1292 1207 945 784 848 842 902 1046 927 1032 935 977 1218 1235 1216 1152 1355 1784

[2] [2] [2] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [CPO] [CPO] [CPO] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [CPO] [2] [2]

Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_sdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata

la32 la33 la34 la35 la36 la37 la38 la39 la40 mt06 mt10 mt20 orb1 orb10 orb2 orb3 orb4 orb5 orb6 orb7 orb8 orb9 abz5 abz6 abz7 abz8 abz9 car1 car2 car3 car4 car5 car6 car7 car8 la01 la02 la03 la04 la05 la06 la07 la08 la09 la10 la11 la12 la13 la14 la15 la16 la17 la18 la19 la20 la21 la22

1850 1719 1721 1888 1268 1397 1196 1233 1222 55 930 1165 1059 944 888 1005 1005 887 1010 397 899 934 859 742 493 508 498 5006 5929 5599 6514 4912 5486 4281 4613 570 529 477 502 457 799 749 765 853 804 1071 936 1038 1070 1089 717 646 663 617 756 801 734

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0

1850 1719 1721 1888 1268 1397 1196 1233 1222 55 930 1165 1059 944 888 1005 1005 887 1010 397 899 934 859 742 492 506 497 5005 5929 5597 6514 4909 5486 4281 4613 570 529 477 502 457 799 749 765 853 804 1071 936 1038 1070 1089 717 646 663 617 756 800 733

[2] [2] [2] [2] [2] [2] [CPO] [2] [2] [2] [2] [2] [CPO] [CPO] [CPO] [CPO] [CPO] [CPO] [CPO] [CPO] [CPO] [CPO] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2]

1850 1719 1721 1888 1268 1397 1196 1233 1222 55 930 1165 1059 944 888 1005 1005 887 1010 397 899 934 859 742 493 508 498 5006 5929 5598 6514 4912 5486 4281 4613 570 529 477 502 457 799 749 765 853 804 1071 936 1038 1070 1089 717 646 663 617 756 801 734

[2] [2] [2] [2] [CPO] [2] [2] [2] [CPO] [2] [2] [2] [CPO] [Q] [Q] [Q] [Q] [Q] [Q] [CPO] [Q] [Q] [Q] [Q] [CPO] [CPO] [CPO] [Q] [Q] [Q] [CPO] [CPO] [Q] [Q] [Q] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [Q] [CPO]

Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata Hurink_vdata

la23 la24 la25 la26 la27 la28 la29 la30 la31 la32 la33 la34 la35 la36 la37 la38 la39 la40 mt06 mt10 mt20 orb1 orb10 orb2 orb3 orb4 orb5 orb6 orb7 orb8 orb9

810 774 753 1052 1084 1069 994 1069 1520 1658 1498 1535 1550 948 986 943 922 955 47 655 1022 695 681 620 648 753 584 715 275 573 659

0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1

809 773 751 1052 1084 1069 993 1068 1520 1657 1497 1535 1549 948 986 943 922 955 47 655 1022 695 681 620 648 753 584 715 275 573 659

[2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q]

810 774 753 1052 1084 1069 993 1069 1520 1657 1497 1535 1549 948 986 943 922 955 47 655 1022 695 681 620 648 753 584 715 275 573 659

[Q] [CPO] [Q] [Q] [CPO] [Q] [Q] [2] [2] [Q] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [2] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q] [Q]