deductive conservativity (-d) | solved? | |||||||||||||||||||||||||||||||||||
sigN | name | roles | b-concepts | axioms | clause | variables | time | graph data | ||||||||||||||||||||||||||||
sig | 1 | 12 | sig | 1 | 12 | 1 | 12 | total | A | E | sKizzo | 2clsQ | yquaffle | 0 | sKizzo | 2clsQ | yquaffle | |||||||||||||||||||
01 | d-1-NN-01_01.qdimacs | 1 | 8 | 9 | 5 | 47 | 49 | 59 | 74 | 4195 | 2742 | 799 | 1943 | 0.37 | 0.93 | 0.388 | 0.37 | 0.93 | 0.388 | |||||||||||||||||
d-1-NN-01_02.qdimacs | 1 | 8 | 11 | 5 | 47 | 61 | 59 | 86 | 5055 | 3214 | 799 | 2415 | 0.4 | 1.46 | 0.524 | 0.4 | 1.46 | 0.524 | ||||||||||||||||||
d-1-NN-01_03.qdimacs | 1 | 8 | 12 | 5 | 47 | 70 | 59 | 93 | 5520 | 3561 | 799 | 2762 | 0.43 | 1.69 | 0.568 | 0.43 | 1.69 | 0.568 | ||||||||||||||||||
d-1-NN-01_04.qdimacs | 1 | 8 | 15 | 5 | 47 | 80 | 59 | 105 | 6852 | 4291 | 799 | 3492 | 0.42 | 2.36 | 0.732 | 0.42 | 2.36 | 0.732 | ||||||||||||||||||
d-1-NN-01_05.qdimacs | 1 | 12 | 13 | 5 | 65 | 67 | 76 | 91 | 7727 | 5347 | 1625 | 3722 | 2.34 | 6.79 | 2.132 | 2.34 | 6.79 | 2.132 | ||||||||||||||||||
d-1-NN-01_06.qdimacs | 1 | 12 | 15 | 5 | 65 | 79 | 76 | 103 | 8851 | 5987 | 1625 | 4362 | 2.09 | 10.04 | 2.776 | 2.09 | 10.04 | 2.776 | ||||||||||||||||||
d-1-NN-01_07.qdimacs | 1 | 12 | 16 | 5 | 65 | 88 | 76 | 110 | 9440 | 6442 | 1625 | 4817 | 2.11 | 12.2 | 3.128 | 2.11 | 12.2 | 3.128 | ||||||||||||||||||
d-1-NN-01_08.qdimacs | 1 | 12 | 19 | 5 | 65 | 98 | 76 | 122 | 11072 | 7360 | 1625 | 5735 | 2.23 | 15.31 | 3.96 | 2.23 | 15.31 | 3.96 | ||||||||||||||||||
d-1-NN-01_09.qdimacs | 1 | 13 | 14 | 5 | 76 | 78 | 90 | 105 | 9653 | 6758 | 2052 | 4706 | 3.42 | 12.11 | 4.1 | 3.42 | 12.11 | 4.1 | ||||||||||||||||||
d-1-NN-01_10.qdimacs | 1 | 13 | 16 | 5 | 76 | 90 | 90 | 117 | 10881 | 7466 | 2052 | 5414 | 3.21 | 16.2 | 5.152 | 3.21 | 16.2 | 5.152 | ||||||||||||||||||
d-1-NN-01_11.qdimacs | 1 | 13 | 17 | 5 | 76 | 99 | 90 | 124 | 11520 | 7961 | 2052 | 5909 | 3.2 | 18.09 | 6.164 | 3.2 | 18.09 | 6.164 | ||||||||||||||||||
d-1-NN-01_12.qdimacs | 1 | 13 | 20 | 5 | 76 | 109 | 90 | 136 | 13284 | 8965 | 2052 | 6913 | 3.43 | 22.33 | 7.688 | 3.43 | 22.33 | 7.688 | ||||||||||||||||||
d-1-NN-01_13.qdimacs | 1 | 15 | 16 | 5 | 89 | 91 | 107 | 122 | 12757 | 9095 | 2759 | 6336 | 11.65 | 28.39 | 7.332 | 11.65 | 28.39 | 7.332 | ||||||||||||||||||
d-1-NN-01_14.qdimacs | 1 | 15 | 18 | 5 | 89 | 103 | 107 | 134 | 14149 | 9903 | 2759 | 7144 | 11.67 | 35.88 | 9.156 | 11.67 | 35.88 | 9.156 | ||||||||||||||||||
d-1-NN-01_15.qdimacs | 1 | 15 | 19 | 5 | 89 | 112 | 107 | 141 | 14866 | 10460 | 2759 | 7701 | 11.63 | 37.82 | 10.4 | 11.63 | 37.82 | 10.4 | ||||||||||||||||||
d-1-NN-01_16.qdimacs | 1 | 15 | 22 | 5 | 89 | 122 | 107 | 153 | 16828 | 11582 | 2759 | 8823 | 11.67 | 44.19 | 12.616 | 11.67 | 44.19 | 12.616 | ||||||||||||||||||
d-1-NN-01_17.qdimacs | 1 | 19 | 20 | 5 | 99 | 101 | 124 | 139 | 18277 | 12858 | 3861 | 8997 | >300 | 78.83 | 24.053 | 300 | 78.83 | 24.053 | ||||||||||||||||||
d-1-NN-01_18.qdimacs | 1 | 19 | 22 | 5 | 99 | 113 | 124 | 151 | 19929 | 13802 | 3861 | 9941 | >300 | 89.93 | 28.713 | 300 | 89.93 | 28.713 | ||||||||||||||||||
d-1-NN-01_19.qdimacs | 1 | 19 | 23 | 5 | 99 | 122 | 124 | 158 | 20768 | 14451 | 3861 | 10590 | >300 | 88.6 | 30.073 | 300 | 88.6 | 30.073 | ||||||||||||||||||
d-1-NN-01_20.qdimacs | 1 | 19 | 26 | 5 | 99 | 132 | 124 | 170 | 23024 | 15713 | 3861 | 11852 | >300 | 95.61 | 36.506 | 300 | 95.61 | 36.506 | ||||||||||||||||||
d-1-NN-01_21.qdimacs | 1 | 21 | 22 | 5 | 106 | 108 | 137 | 152 | 21910 | 15331 | 4558 | 10773 | >300 | 122.82 | 42.506 | 300 | 122.82 | 42.506 | ||||||||||||||||||
d-1-NN-01_22.qdimacs | 1 | 21 | 24 | 5 | 106 | 120 | 137 | 164 | 23710 | 16351 | 4558 | 11793 | >300 | 135.7 | 49.374 | 300 | 135.7 | 49.374 | ||||||||||||||||||
d-1-NN-01_23.qdimacs | 1 | 21 | 25 | 5 | 106 | 129 | 137 | 171 | 24619 | 17050 | 4558 | 12492 | >300 | 141.49 | 53.287 | 300 | 141.49 | 53.287 | ||||||||||||||||||
d-1-NN-01_24.qdimacs | 1 | 21 | 28 | 5 | 106 | 139 | 137 | 183 | 27049 | 18394 | 4558 | 13836 | >300 | 151.45 | 62.551 | 300 | 151.45 | 62.551 | ||||||||||||||||||
d-1-NN-01_25.qdimacs | 1 | 23 | 24 | 5 | 114 | 116 | 152 | 167 | 26110 | 18210 | 5358 | 12852 | >300 | 182.87 | 59.591 | 300 | 182.87 | 59.591 | ||||||||||||||||||
d-1-NN-01_26.qdimacs | 1 | 23 | 26 | 5 | 114 | 128 | 152 | 179 | 28066 | 19310 | 5358 | 13952 | >300 | 198.94 | 69.964 | 300 | 198.94 | 69.964 | ||||||||||||||||||
d-1-NN-01_27.qdimacs | 1 | 23 | 27 | 5 | 114 | 137 | 152 | 186 | 29049 | 20061 | 5358 | 14703 | >300 | 207.07 | 74.36 | 300 | 207.07 | 74.36 | ||||||||||||||||||
d-1-NN-01_28.qdimacs | 1 | 23 | 30 | 5 | 114 | 147 | 152 | 198 | 31665 | 21493 | 5358 | 16135 | >300 | 221.28 | 87.169 | 300 | 221.28 | 87.169 | ||||||||||||||||||
02 | d-1-NN-02_01.qdimacs | 1 | 8 | 9 | 7 | 47 | 49 | 59 | 74 | 4195 | 2742 | 799 | 1943 | 0.42 | 0.87 | 0.392 | 0.42 | 0.87 | 0.392 | |||||||||||||||||
d-1-NN-02_02.qdimacs | 1 | 8 | 11 | 7 | 47 | 61 | 59 | 86 | 5055 | 3214 | 799 | 2415 | 0.38 | 1.32 | 0.536 | 0.38 | 1.32 | 0.536 | ||||||||||||||||||
d-1-NN-02_03.qdimacs | 1 | 8 | 12 | 7 | 47 | 70 | 59 | 93 | 5520 | 3561 | 799 | 2762 | 0.4 | 1.43 | 0.584 | 0.4 | 1.43 | 0.584 | ||||||||||||||||||
d-1-NN-02_04.qdimacs | 1 | 8 | 15 | 7 | 47 | 80 | 59 | 105 | 6852 | 4291 | 799 | 3492 | 0.45 | 2.17 | 0.78 | 0.45 | 2.17 | 0.78 | ||||||||||||||||||
d-1-NN-02_05.qdimacs | 1 | 12 | 13 | 7 | 65 | 67 | 76 | 91 | 7727 | 5347 | 1625 | 3722 | 2.08 | 6.44 | 2.088 | 2.08 | 6.44 | 2.088 | ||||||||||||||||||
d-1-NN-02_06.qdimacs | 1 | 12 | 15 | 7 | 65 | 79 | 76 | 103 | 8851 | 5987 | 1625 | 4362 | 2.37 | 9.03 | 2.84 | 2.37 | 9.03 | 2.84 | ||||||||||||||||||
d-1-NN-02_07.qdimacs | 1 | 12 | 16 | 7 | 65 | 88 | 76 | 110 | 9440 | 6442 | 1625 | 4817 | 2.08 | 10.91 | 3.164 | 2.08 | 10.91 | 3.164 | ||||||||||||||||||
d-1-NN-02_08.qdimacs | 1 | 12 | 19 | 7 | 65 | 98 | 76 | 122 | 11072 | 7360 | 1625 | 5735 | 2.21 | 14.62 | 3.988 | 2.21 | 14.62 | 3.988 | ||||||||||||||||||
d-1-NN-02_09.qdimacs | 1 | 13 | 14 | 7 | 76 | 78 | 90 | 105 | 9653 | 6758 | 2052 | 4706 | 3.14 | 12.04 | 4.044 | 3.14 | 12.04 | 4.044 | ||||||||||||||||||
d-1-NN-02_10.qdimacs | 1 | 13 | 16 | 7 | 76 | 90 | 90 | 117 | 10881 | 7466 | 2052 | 5414 | 3.21 | 14.78 | 5.128 | 3.21 | 14.78 | 5.128 | ||||||||||||||||||
d-1-NN-02_11.qdimacs | 1 | 13 | 17 | 7 | 76 | 99 | 90 | 124 | 11520 | 7961 | 2052 | 5909 | 3.17 | 17.1 | 5.772 | 3.17 | 17.1 | 5.772 | ||||||||||||||||||
d-1-NN-02_12.qdimacs | 1 | 13 | 20 | 7 | 76 | 109 | 90 | 136 | 13284 | 8965 | 2052 | 6913 | 3.31 | 21.24 | 7.208 | 3.31 | 21.24 | 7.208 | ||||||||||||||||||
d-1-NN-02_13.qdimacs | 1 | 15 | 16 | 7 | 89 | 91 | 107 | 122 | 12757 | 9095 | 2759 | 6336 | 11.47 | 26.07 | 7.764 | 11.47 | 26.07 | 7.764 | ||||||||||||||||||
d-1-NN-02_14.qdimacs | 1 | 15 | 18 | 7 | 89 | 103 | 107 | 134 | 14149 | 9903 | 2759 | 7144 | 11.39 | 31.95 | 9.104 | 11.39 | 31.95 | 9.104 | ||||||||||||||||||
d-1-NN-02_15.qdimacs | 1 | 15 | 19 | 7 | 89 | 112 | 107 | 141 | 14866 | 10460 | 2759 | 7701 | 11.47 | 34.43 | 9.852 | 11.47 | 34.43 | 9.852 | ||||||||||||||||||
d-1-NN-02_16.qdimacs | 1 | 15 | 22 | 7 | 89 | 122 | 107 | 153 | 16828 | 11582 | 2759 | 8823 | 11.52 | 40.23 | 12.496 | 11.52 | 40.23 | 12.496 | ||||||||||||||||||
d-1-NN-02_17.qdimacs | 1 | 19 | 20 | 7 | 99 | 101 | 124 | 139 | 18277 | 12858 | 3861 | 8997 | >300 | 68.99 | 23.825 | 300 | 68.99 | 23.825 | ||||||||||||||||||
d-1-NN-02_18.qdimacs | 1 | 19 | 22 | 7 | 99 | 113 | 124 | 151 | 19929 | 13802 | 3861 | 9941 | >300 | 78.29 | 28.449 | 300 | 78.29 | 28.449 | ||||||||||||||||||
d-1-NN-02_19.qdimacs | 1 | 19 | 23 | 7 | 99 | 122 | 124 | 158 | 20768 | 14451 | 3861 | 10590 | >300 | 82.14 | 30.537 | 300 | 82.14 | 30.537 | ||||||||||||||||||
d-1-NN-02_20.qdimacs | 1 | 19 | 26 | 7 | 99 | 132 | 124 | 170 | 23024 | 15713 | 3861 | 11852 | >300 | 90.08 | 36.694 | 300 | 90.08 | 36.694 | ||||||||||||||||||
d-1-NN-02_21.qdimacs | 1 | 21 | 22 | 7 | 106 | 108 | 137 | 152 | 21910 | 15331 | 4558 | 10773 | >300 | 113.42 | 42.526 | 300 | 113.42 | 42.526 | ||||||||||||||||||
d-1-NN-02_22.qdimacs | 1 | 21 | 24 | 7 | 106 | 120 | 137 | 164 | 23710 | 16351 | 4558 | 11793 | >300 | 125.86 | 50.255 | 300 | 125.86 | 50.255 | ||||||||||||||||||
d-1-NN-02_23.qdimacs | 1 | 21 | 25 | 7 | 106 | 129 | 137 | 171 | 24619 | 17050 | 4558 | 12492 | >300 | 129.01 | 53.507 | 300 | 129.01 | 53.507 | ||||||||||||||||||
d-1-NN-02_24.qdimacs | 1 | 21 | 28 | 7 | 106 | 139 | 137 | 183 | 27049 | 18394 | 4558 | 13836 | >300 | 141.12 | 63.279 | 300 | 141.12 | 63.279 | ||||||||||||||||||
d-1-NN-02_25.qdimacs | 1 | 23 | 24 | 7 | 114 | 116 | 152 | 167 | 26110 | 18210 | 5358 | 12852 | >300 | 167.67 | 60.139 | 300 | 167.67 | 60.139 | ||||||||||||||||||
d-1-NN-02_26.qdimacs | 1 | 23 | 26 | 7 | 114 | 128 | 152 | 179 | 28066 | 19310 | 5358 | 13952 | >300 | 184.1 | 70.416 | 300 | 184.1 | 70.416 | ||||||||||||||||||
d-1-NN-02_27.qdimacs | 1 | 23 | 27 | 7 | 114 | 137 | 152 | 186 | 29049 | 20061 | 5358 | 14703 | >300 | 191.37 | 75.12 | 300 | 191.37 | 75.12 | ||||||||||||||||||
d-1-NN-02_28.qdimacs | 1 | 23 | 30 | 7 | 114 | 147 | 152 | 198 | 31665 | 21493 | 5358 | 16135 | >300 | 205.88 | 87.817 | 300 | 205.88 | 87.817 | ||||||||||||||||||
03 | d-1-NN-03_01.qdimacs | 2 | 8 | 9 | 11 | 47 | 49 | 59 | 74 | 4195 | 2742 | 799 | 1943 | 0.36 | 0.78 | 0.42 | 0.36 | 0.78 | 0.42 | |||||||||||||||||
d-1-NN-03_02.qdimacs | 2 | 8 | 11 | 11 | 47 | 61 | 59 | 86 | 5055 | 3214 | 799 | 2415 | 0.42 | 1.28 | 0.548 | 0.42 | 1.28 | 0.548 | ||||||||||||||||||
d-1-NN-03_03.qdimacs | 2 | 8 | 12 | 11 | 47 | 70 | 59 | 93 | 5520 | 3561 | 799 | 2762 | 0.42 | 1.31 | 0.556 | 0.42 | 1.31 | 0.556 | ||||||||||||||||||
d-1-NN-03_04.qdimacs | 2 | 8 | 15 | 11 | 47 | 80 | 59 | 105 | 6852 | 4291 | 799 | 3492 | 0.45 | 2.02 | 0.728 | 0.45 | 2.02 | 0.728 | ||||||||||||||||||
d-1-NN-03_05.qdimacs | 2 | 12 | 13 | 11 | 65 | 67 | 76 | 91 | 7727 | 5347 | 1625 | 3722 | 3.12 | 6.52 | 2.68 | 3.12 | 6.52 | 2.68 | ||||||||||||||||||
d-1-NN-03_06.qdimacs | 2 | 12 | 15 | 11 | 65 | 79 | 76 | 103 | 8851 | 5987 | 1625 | 4362 | 3.04 | 8.93 | 2.896 | 3.04 | 8.93 | 2.896 | ||||||||||||||||||
d-1-NN-03_07.qdimacs | 2 | 12 | 16 | 11 | 65 | 88 | 76 | 110 | 9440 | 6442 | 1625 | 4817 | 3.06 | 10.93 | 3.66 | 3.06 | 10.93 | 3.66 | ||||||||||||||||||
d-1-NN-03_08.qdimacs | 2 | 12 | 19 | 11 | 65 | 98 | 76 | 122 | 11072 | 7360 | 1625 | 5735 | 3.07 | 13.91 | 4.124 | 3.07 | 13.91 | 4.124 | ||||||||||||||||||
d-1-NN-03_09.qdimacs | 2 | 13 | 14 | 11 | 76 | 78 | 90 | 105 | 9653 | 6758 | 2052 | 4706 | 4.89 | 12.7 | 4.12 | 4.89 | 12.7 | 4.12 | ||||||||||||||||||
d-1-NN-03_10.qdimacs | 2 | 13 | 16 | 11 | 76 | 90 | 90 | 117 | 10881 | 7466 | 2052 | 5414 | 5.11 | 15.29 | 5.74 | 5.11 | 15.29 | 5.74 | ||||||||||||||||||
d-1-NN-03_11.qdimacs | 2 | 13 | 17 | 11 | 76 | 99 | 90 | 124 | 11520 | 7961 | 2052 | 5909 | 4.98 | 17.68 | 6.268 | 4.98 | 17.68 | 6.268 | ||||||||||||||||||
d-1-NN-03_12.qdimacs | 2 | 13 | 20 | 11 | 76 | 109 | 90 | 136 | 13284 | 8965 | 2052 | 6913 | 5.1 | 21.71 | 7.776 | 5.1 | 21.71 | 7.776 | ||||||||||||||||||
d-1-NN-03_13.qdimacs | 2 | 15 | 16 | 11 | 89 | 91 | 107 | 122 | 12757 | 9095 | 2759 | 6336 | 22.08 | 29.71 | 7.52 | 22.08 | 29.71 | 7.52 | ||||||||||||||||||
d-1-NN-03_14.qdimacs | 2 | 15 | 18 | 11 | 89 | 103 | 107 | 134 | 14149 | 9903 | 2759 | 7144 | 22.62 | 36.98 | 9.356 | 22.62 | 36.98 | 9.356 | ||||||||||||||||||
d-1-NN-03_15.qdimacs | 2 | 15 | 19 | 11 | 89 | 112 | 107 | 141 | 14866 | 10460 | 2759 | 7701 | 22.38 | 39.64 | 10.52 | 22.38 | 39.64 | 10.52 | ||||||||||||||||||
d-1-NN-03_16.qdimacs | 2 | 15 | 22 | 11 | 89 | 122 | 107 | 153 | 16828 | 11582 | 2759 | 8823 | 22.12 | 46.02 | 12.444 | 22.12 | 46.02 | 12.444 | ||||||||||||||||||
d-1-NN-03_17.qdimacs | 2 | 19 | 20 | 11 | 99 | 101 | 124 | 139 | 18277 | 12858 | 3861 | 8997 | >300 | 91.07 | 24.213 | 300 | 91.07 | 24.213 | ||||||||||||||||||
d-1-NN-03_18.qdimacs | 2 | 19 | 22 | 11 | 99 | 113 | 124 | 151 | 19929 | 13802 | 3861 | 9941 | >300 | 106.52 | 28.989 | 300 | 106.52 | 28.989 | ||||||||||||||||||
d-1-NN-03_19.qdimacs | 2 | 19 | 23 | 11 | 99 | 122 | 124 | 158 | 20768 | 14451 | 3861 | 10590 | >300 | 112.99 | 30.725 | 300 | 112.99 | 30.725 | ||||||||||||||||||
d-1-NN-03_20.qdimacs | 2 | 19 | 26 | 11 | 99 | 132 | 124 | 170 | 23024 | 15713 | 3861 | 11852 | >300 | 125.29 | 36.774 | 300 | 125.29 | 36.774 | ||||||||||||||||||
d-1-NN-03_21.qdimacs | 2 | 21 | 22 | 11 | 106 | 108 | 137 | 152 | 21910 | 15331 | 4558 | 10773 | >300 | 147.88 | 43.106 | 300 | 147.88 | 43.106 | ||||||||||||||||||
d-1-NN-03_22.qdimacs | 2 | 21 | 24 | 11 | 106 | 120 | 137 | 164 | 23710 | 16351 | 4558 | 11793 | >300 | 169.53 | 50.635 | 300 | 169.53 | 50.635 | ||||||||||||||||||
d-1-NN-03_23.qdimacs | 2 | 21 | 25 | 11 | 106 | 129 | 137 | 171 | 24619 | 17050 | 4558 | 12492 | >300 | 175.17 | 53.979 | 300 | 175.17 | 53.979 | ||||||||||||||||||
d-1-NN-03_24.qdimacs | 2 | 21 | 28 | 11 | 106 | 139 | 137 | 183 | 27049 | 18394 | 4558 | 13836 | >300 | 192.9 | 64.035 | 300 | 192.9 | 64.035 | ||||||||||||||||||
d-1-NN-03_25.qdimacs | 2 | 23 | 24 | 11 | 114 | 116 | 152 | 167 | 26110 | 18210 | 5358 | 12852 | >300 | 217.45 | 60.979 | 300 | 217.45 | 60.979 | ||||||||||||||||||
d-1-NN-03_26.qdimacs | 2 | 23 | 26 | 11 | 114 | 128 | 152 | 179 | 28066 | 19310 | 5358 | 13952 | >300 | 243.55 | 71.34 | 300 | 243.55 | 71.34 | ||||||||||||||||||
d-1-NN-03_27.qdimacs | 2 | 23 | 27 | 11 | 114 | 137 | 152 | 186 | 29049 | 20061 | 5358 | 14703 | >300 | 255.6 | 75.68 | 300 | 255.6 | 75.68 | ||||||||||||||||||
d-1-NN-03_28.qdimacs | 2 | 23 | 30 | 11 | 114 | 147 | 152 | 198 | 31665 | 21493 | 5358 | 16135 | >300 | 278.51 | 88.601 | 300 | 278.51 | 88.601 | ||||||||||||||||||
04 | d-1-NN-04_01.qdimacs | 3 | 8 | 9 | 15 | 47 | 49 | 59 | 74 | 4195 | 2742 | 799 | 1943 | 0.36 | 0.93 | 0.408 | 0.36 | 0.93 | 0.408 | |||||||||||||||||
d-1-NN-04_02.qdimacs | 3 | 8 | 11 | 15 | 47 | 61 | 59 | 86 | 5055 | 3214 | 799 | 2415 | 0.37 | 1.15 | 0.62 | 0.37 | 1.15 | 0.62 | ||||||||||||||||||
d-1-NN-04_03.qdimacs | 3 | 8 | 12 | 15 | 47 | 70 | 59 | 93 | 5520 | 3561 | 799 | 2762 | 0.39 | 1.33 | 0.572 | 0.39 | 1.33 | 0.572 | ||||||||||||||||||
d-1-NN-04_04.qdimacs | 3 | 8 | 15 | 15 | 47 | 80 | 59 | 105 | 6852 | 4291 | 799 | 3492 | 0.54 | 1.97 | 0.852 | 0.54 | 1.97 | 0.852 | ||||||||||||||||||
d-1-NN-04_05.qdimacs | 3 | 12 | 13 | 15 | 65 | 67 | 76 | 91 | 7727 | 5347 | 1625 | 3722 | 3.08 | 6.8 | 2.248 | 3.08 | 6.8 | 2.248 | ||||||||||||||||||
d-1-NN-04_06.qdimacs | 3 | 12 | 15 | 15 | 65 | 79 | 76 | 103 | 8851 | 5987 | 1625 | 4362 | 3.24 | 10.61 | 2.796 | 3.24 | 10.61 | 2.796 | ||||||||||||||||||
d-1-NN-04_07.qdimacs | 3 | 12 | 16 | 15 | 65 | 88 | 76 | 110 | 9440 | 6442 | 1625 | 4817 | 3.1 | 11.75 | 3.184 | 3.1 | 11.75 | 3.184 | ||||||||||||||||||
d-1-NN-04_08.qdimacs | 3 | 12 | 19 | 15 | 65 | 98 | 76 | 122 | 11072 | 7360 | 1625 | 5735 | 3.45 | 16.62 | 4.076 | 3.45 | 16.62 | 4.076 | ||||||||||||||||||
d-1-NN-04_09.qdimacs | 3 | 13 | 14 | 15 | 76 | 78 | 90 | 105 | 9653 | 6758 | 2052 | 4706 | 4.87 | 13.67 | 4.068 | 4.87 | 13.67 | 4.068 | ||||||||||||||||||
d-1-NN-04_10.qdimacs | 3 | 13 | 16 | 15 | 76 | 90 | 90 | 117 | 10881 | 7466 | 2052 | 5414 | 4.91 | 17.81 | 5.28 | 4.91 | 17.81 | 5.28 | ||||||||||||||||||
d-1-NN-04_11.qdimacs | 3 | 13 | 17 | 15 | 76 | 99 | 90 | 124 | 11520 | 7961 | 2052 | 5909 | 4.92 | 20.56 | 5.708 | 4.92 | 20.56 | 5.708 | ||||||||||||||||||
d-1-NN-04_12.qdimacs | 3 | 13 | 20 | 15 | 76 | 109 | 90 | 136 | 13284 | 8965 | 2052 | 6913 | 5 | 26.81 | 7.06 | 5 | 26.81 | 7.06 | ||||||||||||||||||
d-1-NN-04_13.qdimacs | 3 | 15 | 16 | 15 | 89 | 91 | 107 | 122 | 12757 | 9095 | 2759 | 6336 | 22.33 | 32.77 | 7.292 | 22.33 | 32.77 | 7.292 | ||||||||||||||||||
d-1-NN-04_14.qdimacs | 3 | 15 | 18 | 15 | 89 | 103 | 107 | 134 | 14149 | 9903 | 2759 | 7144 | 21.83 | 40.46 | 9 | 21.83 | 40.46 | 9 | ||||||||||||||||||
d-1-NN-04_15.qdimacs | 3 | 15 | 19 | 15 | 89 | 112 | 107 | 141 | 14866 | 10460 | 2759 | 7701 | 22.75 | 42.6 | 9.808 | 22.75 | 42.6 | 9.808 | ||||||||||||||||||
d-1-NN-04_16.qdimacs | 3 | 15 | 22 | 15 | 89 | 122 | 107 | 153 | 16828 | 11582 | 2759 | 8823 | 23.81 | 50.57 | 12.076 | 23.81 | 50.57 | 12.076 | ||||||||||||||||||
d-1-NN-04_17.qdimacs | 3 | 19 | 20 | 15 | 99 | 101 | 124 | 139 | 18277 | 12858 | 3861 | 8997 | >300 | 89.17 | 23.461 | 300 | 89.17 | 23.461 | ||||||||||||||||||
d-1-NN-04_18.qdimacs | 3 | 19 | 22 | 15 | 99 | 113 | 124 | 151 | 19929 | 13802 | 3861 | 9941 | >300 | 103.07 | 28.405 | 300 | 103.07 | 28.405 | ||||||||||||||||||
d-1-NN-04_19.qdimacs | 3 | 19 | 23 | 15 | 99 | 122 | 124 | 158 | 20768 | 14451 | 3861 | 10590 | >300 | 109.49 | 30.693 | 300 | 109.49 | 30.693 | ||||||||||||||||||
d-1-NN-04_20.qdimacs | 3 | 19 | 26 | 15 | 99 | 132 | 124 | 170 | 23024 | 15713 | 3861 | 11852 | >300 | 120.54 | 36.222 | 300 | 120.54 | 36.222 | ||||||||||||||||||
d-1-NN-04_21.qdimacs | 3 | 21 | 22 | 15 | 106 | 108 | 137 | 152 | 21910 | 15331 | 4558 | 10773 | >300 | 145.95 | 42.982 | 300 | 145.95 | 42.982 | ||||||||||||||||||
d-1-NN-04_22.qdimacs | 3 | 21 | 24 | 15 | 106 | 120 | 137 | 164 | 23710 | 16351 | 4558 | 11793 | >300 | 164.51 | 50.13 | 300 | 164.51 | 50.13 | ||||||||||||||||||
d-1-NN-04_23.qdimacs | 3 | 21 | 25 | 15 | 106 | 129 | 137 | 171 | 24619 | 17050 | 4558 | 12492 | >300 | 171.35 | 53.783 | 300 | 171.35 | 53.783 | ||||||||||||||||||
d-1-NN-04_24.qdimacs | 3 | 21 | 28 | 15 | 106 | 139 | 137 | 183 | 27049 | 18394 | 4558 | 13836 | >300 | 225.33 | 69.572 | 300 | 225.33 | 69.572 | ||||||||||||||||||
d-1-NN-04_25.qdimacs | 3 | 23 | 24 | 15 | 114 | 116 | 152 | 167 | 26110 | 18210 | 5358 | 12852 | >300 | 240.39 | 62.367 | 300 | 240.39 | 62.367 | ||||||||||||||||||
d-1-NN-04_26.qdimacs | 3 | 23 | 26 | 15 | 114 | 128 | 152 | 179 | 28066 | 19310 | 5358 | 13952 | >300 | 279.58 | 72.26 | 300 | 279.58 | 72.26 | ||||||||||||||||||
d-1-NN-04_27.qdimacs | 3 | 23 | 27 | 15 | 114 | 137 | 152 | 186 | 29049 | 20061 | 5358 | 14703 | >300 | 268.31 | 76.896 | 300 | 268.31 | 76.896 | ||||||||||||||||||
d-1-NN-04_28.qdimacs | 3 | 23 | 30 | 15 | 114 | 147 | 152 | 198 | 31665 | 21493 | 5358 | 16135 | >300 | N | 89.465 | 300 | #N/A | 89.465 | ||||||||||||||||||
05 | d-1-NN-05_01.qdimacs | 2 | 8 | 9 | 13 | 47 | 49 | 59 | 74 | 4195 | 2742 | 799 | 1943 | 0.37 | 0.82 | 0.528 | 0.37 | 0.82 | 0.528 | |||||||||||||||||
d-1-NN-05_02.qdimacs | 2 | 8 | 11 | 13 | 47 | 61 | 59 | 86 | 5055 | 3214 | 799 | 2415 | 0.41 | 1.09 | 0.56 | 0.41 | 1.09 | 0.56 | ||||||||||||||||||
d-1-NN-05_03.qdimacs | 2 | 8 | 12 | 13 | 47 | 70 | 59 | 93 | 5520 | 3561 | 799 | 2762 | 0.43 | 2.23 | 0.592 | 0.43 | 2.23 | 0.592 | ||||||||||||||||||
d-1-NN-05_04.qdimacs | 2 | 8 | 15 | 13 | 47 | 80 | 59 | 105 | 6852 | 4291 | 799 | 3492 | 0.54 | 1.86 | 0.912 | 0.54 | 1.86 | 0.912 | ||||||||||||||||||
d-1-NN-05_05.qdimacs | 2 | 12 | 13 | 13 | 65 | 67 | 76 | 91 | 7727 | 5347 | 1625 | 3722 | 3.08 | 6.58 | 2.28 | 3.08 | 6.58 | 2.28 | ||||||||||||||||||
d-1-NN-05_06.qdimacs | 2 | 12 | 15 | 13 | 65 | 79 | 76 | 103 | 8851 | 5987 | 1625 | 4362 | 3.07 | 8.68 | 3.024 | 3.07 | 8.68 | 3.024 | ||||||||||||||||||
d-1-NN-05_07.qdimacs | 2 | 12 | 16 | 13 | 65 | 88 | 76 | 110 | 9440 | 6442 | 1625 | 4817 | 3.45 | 10.45 | 3.292 | 3.45 | 10.45 | 3.292 | ||||||||||||||||||
d-1-NN-05_08.qdimacs | 2 | 12 | 19 | 13 | 65 | 98 | 76 | 122 | 11072 | 7360 | 1625 | 5735 | 3.27 | 14.25 | 4.264 | 3.27 | 14.25 | 4.264 | ||||||||||||||||||
d-1-NN-05_09.qdimacs | 2 | 13 | 14 | 13 | 76 | 78 | 90 | 105 | 9653 | 6758 | 2052 | 4706 | 4.95 | 12.46 | 4.232 | 4.95 | 12.46 | 4.232 | ||||||||||||||||||
d-1-NN-05_10.qdimacs | 2 | 13 | 16 | 13 | 76 | 90 | 90 | 117 | 10881 | 7466 | 2052 | 5414 | 5.22 | 16.33 | 5.364 | 5.22 | 16.33 | 5.364 | ||||||||||||||||||
d-1-NN-05_11.qdimacs | 2 | 13 | 17 | 13 | 76 | 99 | 90 | 124 | 11520 | 7961 | 2052 | 5909 | 5.07 | 18.68 | 6.012 | 5.07 | 18.68 | 6.012 | ||||||||||||||||||
d-1-NN-05_12.qdimacs | 2 | 13 | 20 | 13 | 76 | 109 | 90 | 136 | 13284 | 8965 | 2052 | 6913 | 5.12 | 23.28 | 7.476 | 5.12 | 23.28 | 7.476 | ||||||||||||||||||
d-1-NN-05_13.qdimacs | 2 | 15 | 16 | 13 | 89 | 91 | 107 | 122 | 12757 | 9095 | 2759 | 6336 | 24.12 | 31.5 | 7.716 | 24.12 | 31.5 | 7.716 | ||||||||||||||||||
d-1-NN-05_14.qdimacs | 2 | 15 | 18 | 13 | 89 | 103 | 107 | 134 | 14149 | 9903 | 2759 | 7144 | 24.62 | 38.7 | 9.364 | 24.62 | 38.7 | 9.364 | ||||||||||||||||||
d-1-NN-05_15.qdimacs | 2 | 15 | 19 | 13 | 89 | 112 | 107 | 141 | 14866 | 10460 | 2759 | 7701 | 23.01 | 41.7 | 10.796 | 23.01 | 41.7 | 10.796 | ||||||||||||||||||
d-1-NN-05_16.qdimacs | 2 | 15 | 22 | 13 | 89 | 122 | 107 | 153 | 16828 | 11582 | 2759 | 8823 | 22.65 | 49.36 | 12.664 | 22.65 | 49.36 | 12.664 | ||||||||||||||||||
d-1-NN-05_17.qdimacs | 2 | 19 | 20 | 13 | 99 | 101 | 124 | 139 | 18277 | 12858 | 3861 | 8997 | >300 | 96.12 | 24.861 | 300 | 96.12 | 24.861 | ||||||||||||||||||
d-1-NN-05_18.qdimacs | 2 | 19 | 22 | 13 | 99 | 113 | 124 | 151 | 19929 | 13802 | 3861 | 9941 | >300 | 113.34 | 29.149 | 300 | 113.34 | 29.149 | ||||||||||||||||||
d-1-NN-05_19.qdimacs | 2 | 19 | 23 | 13 | 99 | 122 | 124 | 158 | 20768 | 14451 | 3861 | 10590 | >300 | 119.88 | 31.721 | 300 | 119.88 | 31.721 | ||||||||||||||||||
d-1-NN-05_20.qdimacs | 2 | 19 | 26 | 13 | 99 | 132 | 124 | 170 | 23024 | 15713 | 3861 | 11852 | >300 | 133.02 | 37.878 | 300 | 133.02 | 37.878 | ||||||||||||||||||
d-1-NN-05_21.qdimacs | 2 | 21 | 22 | 13 | 106 | 108 | 137 | 152 | 21910 | 15331 | 4558 | 10773 | >300 | 157.23 | 45.958 | 300 | 157.23 | 45.958 | ||||||||||||||||||
d-1-NN-05_22.qdimacs | 2 | 21 | 24 | 13 | 106 | 120 | 137 | 164 | 23710 | 16351 | 4558 | 11793 | >300 | 178.92 | 51.907 | 300 | 178.92 | 51.907 | ||||||||||||||||||
d-1-NN-05_23.qdimacs | 2 | 21 | 25 | 13 | 106 | 129 | 137 | 171 | 24619 | 17050 | 4558 | 12492 | >300 | 186.45 | 55.435 | 300 | 186.45 | 55.435 | ||||||||||||||||||
d-1-NN-05_24.qdimacs | 2 | 21 | 28 | 13 | 106 | 139 | 137 | 183 | 27049 | 18394 | 4558 | 13836 | >300 | 205.26 | 65.311 | 300 | 205.26 | 65.311 | ||||||||||||||||||
d-1-NN-05_25.qdimacs | 2 | 23 | 24 | 13 | 114 | 116 | 152 | 167 | 26110 | 18210 | 5358 | 12852 | >300 | 231.25 | 62.295 | 300 | 231.25 | 62.295 | ||||||||||||||||||
d-1-NN-05_26.qdimacs | 2 | 23 | 26 | 13 | 114 | 128 | 152 | 179 | 28066 | 19310 | 5358 | 13952 | >300 | 257.4 | 72.864 | 300 | 257.4 | 72.864 | ||||||||||||||||||
d-1-NN-05_27.qdimacs | 2 | 23 | 27 | 13 | 114 | 137 | 152 | 186 | 29049 | 20061 | 5358 | 14703 | >300 | 272.74 | 77.972 | 300 | 272.74 | 77.972 | ||||||||||||||||||
d-1-NN-05_28.qdimacs | 2 | 23 | 30 | 13 | 114 | 147 | 152 | 198 | 31665 | 21493 | 5358 | 16135 | >300 | 294.63 | 90.285 | 300 | 294.63 | 90.285 | ||||||||||||||||||
06 | d-1-NN-06_01.qdimacs | 3 | 8 | 9 | 17 | 47 | 49 | 59 | 74 | 4195 | 2742 | 799 | 1943 | 0.37 | 0.92 | 0.376 | 0.37 | 0.92 | 0.376 | |||||||||||||||||
d-1-NN-06_02.qdimacs | 3 | 8 | 11 | 17 | 47 | 61 | 59 | 86 | 5055 | 3214 | 799 | 2415 | 0.38 | 1.18 | 0.688 | 0.38 | 1.18 | 0.688 | ||||||||||||||||||
d-1-NN-06_03.qdimacs | 3 | 8 | 12 | 17 | 47 | 70 | 59 | 93 | 5520 | 3561 | 799 | 2762 | 0.61 | 1.6 | 0.508 | 0.61 | 1.6 | 0.508 | ||||||||||||||||||
d-1-NN-06_04.qdimacs | 3 | 8 | 15 | 17 | 47 | 80 | 59 | 105 | 6852 | 4291 | 799 | 3492 | 0.44 | 2.55 | 0.712 | 0.44 | 2.55 | 0.712 | ||||||||||||||||||
d-1-NN-06_05.qdimacs | 3 | 12 | 13 | 17 | 65 | 67 | 76 | 91 | 7727 | 5347 | 1625 | 3722 | 3.06 | 7.08 | 2.14 | 3.06 | 7.08 | 2.14 | ||||||||||||||||||
d-1-NN-06_06.qdimacs | 3 | 12 | 15 | 17 | 65 | 79 | 76 | 103 | 8851 | 5987 | 1625 | 4362 | 3.08 | 11.62 | 2.732 | 3.08 | 11.62 | 2.732 | ||||||||||||||||||
d-1-NN-06_07.qdimacs | 3 | 12 | 16 | 17 | 65 | 88 | 76 | 110 | 9440 | 6442 | 1625 | 4817 | 3.1 | 13.48 | 3.052 | 3.1 | 13.48 | 3.052 | ||||||||||||||||||
d-1-NN-06_08.qdimacs | 3 | 12 | 19 | 17 | 65 | 98 | 76 | 122 | 11072 | 7360 | 1625 | 5735 | 3.15 | 18.26 | 3.912 | 3.15 | 18.26 | 3.912 | ||||||||||||||||||
d-1-NN-06_09.qdimacs | 3 | 13 | 14 | 17 | 76 | 78 | 90 | 105 | 9653 | 6758 | 2052 | 4706 | 4.99 | 15 | 3.94 | 4.99 | 15 | 3.94 | ||||||||||||||||||
d-1-NN-06_10.qdimacs | 3 | 13 | 16 | 17 | 76 | 90 | 90 | 117 | 10881 | 7466 | 2052 | 5414 | 5.01 | 19.23 | 5.452 | 5.01 | 19.23 | 5.452 | ||||||||||||||||||
d-1-NN-06_11.qdimacs | 3 | 13 | 17 | 17 | 76 | 99 | 90 | 124 | 11520 | 7961 | 2052 | 5909 | 5.02 | 23.52 | 5.688 | 5.02 | 23.52 | 5.688 | ||||||||||||||||||
d-1-NN-06_12.qdimacs | 3 | 13 | 20 | 17 | 76 | 109 | 90 | 136 | 13284 | 8965 | 2052 | 6913 | 5.06 | 28.73 | 7.124 | 5.06 | 28.73 | 7.124 | ||||||||||||||||||
d-1-NN-06_13.qdimacs | 3 | 15 | 16 | 17 | 89 | 91 | 107 | 122 | 12757 | 9095 | 2759 | 6336 | 21.96 | 34.69 | 7.272 | 21.96 | 34.69 | 7.272 | ||||||||||||||||||
d-1-NN-06_14.qdimacs | 3 | 15 | 18 | 17 | 89 | 103 | 107 | 134 | 14149 | 9903 | 2759 | 7144 | 25.04 | 42.52 | 9.016 | 25.04 | 42.52 | 9.016 | ||||||||||||||||||
d-1-NN-06_15.qdimacs | 3 | 15 | 19 | 17 | 89 | 112 | 107 | 141 | 14866 | 10460 | 2759 | 7701 | 23.19 | 46.83 | 10.212 | 23.19 | 46.83 | 10.212 | ||||||||||||||||||
d-1-NN-06_16.qdimacs | 3 | 15 | 22 | 17 | 89 | 122 | 107 | 153 | 16828 | 11582 | 2759 | 8823 | 22.52 | 55.72 | 12.112 | 22.52 | 55.72 | 12.112 | ||||||||||||||||||
d-1-NN-06_17.qdimacs | 3 | 19 | 20 | 17 | 99 | 101 | 124 | 139 | 18277 | 12858 | 3861 | 8997 | >300 | 94.43 | 24.025 | 300 | 94.43 | 24.025 | ||||||||||||||||||
d-1-NN-06_18.qdimacs | 3 | 19 | 22 | 17 | 99 | 113 | 124 | 151 | 19929 | 13802 | 3861 | 9941 | >300 | 108.73 | 28.325 | 300 | 108.73 | 28.325 | ||||||||||||||||||
d-1-NN-06_19.qdimacs | 3 | 19 | 23 | 17 | 99 | 122 | 124 | 158 | 20768 | 14451 | 3861 | 10590 | >300 | 120.24 | 30.897 | 300 | 120.24 | 30.897 | ||||||||||||||||||
d-1-NN-06_20.qdimacs | 3 | 19 | 26 | 17 | 99 | 132 | 124 | 170 | 23024 | 15713 | 3861 | 11852 | >300 | 132.57 | 36.474 | 300 | 132.57 | 36.474 | ||||||||||||||||||
d-1-NN-06_21.qdimacs | 3 | 21 | 22 | 17 | 106 | 108 | 137 | 152 | 21910 | 15331 | 4558 | 10773 | >300 | 153.21 | 42.962 | 300 | 153.21 | 42.962 | ||||||||||||||||||
d-1-NN-06_22.qdimacs | 3 | 21 | 24 | 17 | 106 | 120 | 137 | 164 | 23710 | 16351 | 4558 | 11793 | >300 | 172.25 | 50.507 | 300 | 172.25 | 50.507 | ||||||||||||||||||
d-1-NN-06_23.qdimacs | 3 | 21 | 25 | 17 | 106 | 129 | 137 | 171 | 24619 | 17050 | 4558 | 12492 | >300 | 187 | 54.219 | 300 | 187 | 54.219 | ||||||||||||||||||
d-1-NN-06_24.qdimacs | 3 | 21 | 28 | 17 | 106 | 139 | 137 | 183 | 27049 | 18394 | 4558 | 13836 | >300 | 204.49 | 63.631 | 300 | 204.49 | 63.631 | ||||||||||||||||||
d-1-NN-06_25.qdimacs | 3 | 23 | 24 | 17 | 114 | 116 | 152 | 167 | 26110 | 18210 | 5358 | 12852 | >300 | 226.69 | 60.691 | 300 | 226.69 | 60.691 | ||||||||||||||||||
d-1-NN-06_26.qdimacs | 3 | 23 | 26 | 17 | 114 | 128 | 152 | 179 | 28066 | 19310 | 5358 | 13952 | >300 | 252.55 | 70.908 | 300 | 252.55 | 70.908 | ||||||||||||||||||
d-1-NN-06_27.qdimacs | 3 | 23 | 27 | 17 | 114 | 137 | 152 | 186 | 29049 | 20061 | 5358 | 14703 | >300 | 274.35 | 76.016 | 300 | 274.35 | 76.016 | ||||||||||||||||||
d-1-NN-06_28.qdimacs | 3 | 23 | 30 | 17 | 114 | 147 | 152 | 198 | 31665 | 21493 | 5358 | 16135 | >300 | 280.02 | 87.013 | 300 | 280.02 | 87.013 | ||||||||||||||||||
07 | d-1-NN-07_01.qdimacs | 3 | 8 | 9 | 19 | 47 | 49 | 59 | 74 | 4195 | 2742 | 799 | 1943 | 0.44 | 0.84 | 0.384 | 0.44 | 0.84 | 0.384 | |||||||||||||||||
d-1-NN-07_02.qdimacs | 3 | 8 | 11 | 19 | 47 | 61 | 59 | 86 | 5055 | 3214 | 799 | 2415 | 0.37 | 1.23 | 0.496 | 0.37 | 1.23 | 0.496 | ||||||||||||||||||
d-1-NN-07_03.qdimacs | 3 | 8 | 12 | 19 | 47 | 70 | 59 | 93 | 5520 | 3561 | 799 | 2762 | 0.4 | N | 0.556 | 0.4 | #N/A | 0.556 | ||||||||||||||||||
d-1-NN-07_04.qdimacs | 3 | 8 | 15 | 19 | 47 | 80 | 59 | 105 | 6852 | 4291 | 799 | 3492 | 0.43 | 2.03 | 0.796 | 0.43 | 2.03 | 0.796 | ||||||||||||||||||
d-1-NN-07_05.qdimacs | 3 | 12 | 13 | 19 | 65 | 67 | 76 | 91 | 7727 | 5347 | 1625 | 3722 | 3.01 | 8.7 | 2.284 | 3.01 | 8.7 | 2.284 | ||||||||||||||||||
d-1-NN-07_06.qdimacs | 3 | 12 | 15 | 19 | 65 | 79 | 76 | 103 | 8851 | 5987 | 1625 | 4362 | 3.04 | 12.09 | 2.764 | 3.04 | 12.09 | 2.764 | ||||||||||||||||||
d-1-NN-07_07.qdimacs | 3 | 12 | 16 | 19 | 65 | 88 | 76 | 110 | 9440 | 6442 | 1625 | 4817 | 3.05 | 15.42 | 3.032 | 3.05 | 15.42 | 3.032 | ||||||||||||||||||
d-1-NN-07_08.qdimacs | 3 | 12 | 19 | 19 | 65 | 98 | 76 | 122 | 11072 | 7360 | 1625 | 5735 | 3.06 | 19.8 | 4.256 | 3.06 | 19.8 | 4.256 | ||||||||||||||||||
d-1-NN-07_09.qdimacs | 3 | 13 | 14 | 19 | 76 | 78 | 90 | 105 | 9653 | 6758 | 2052 | 4706 | 4.9 | 14.48 | 3.912 | 4.9 | 14.48 | 3.912 | ||||||||||||||||||
d-1-NN-07_10.qdimacs | 3 | 13 | 16 | 19 | 76 | 90 | 90 | 117 | 10881 | 7466 | 2052 | 5414 | 4.9 | 19.66 | 5.044 | 4.9 | 19.66 | 5.044 | ||||||||||||||||||
d-1-NN-07_11.qdimacs | 3 | 13 | 17 | 19 | 76 | 99 | 90 | 124 | 11520 | 7961 | 2052 | 5909 | 4.96 | 23.01 | 5.608 | 4.96 | 23.01 | 5.608 | ||||||||||||||||||
d-1-NN-07_12.qdimacs | 3 | 13 | 20 | 19 | 76 | 109 | 90 | 136 | 13284 | 8965 | 2052 | 6913 | 4.98 | 29.09 | 7.32 | 4.98 | 29.09 | 7.32 | ||||||||||||||||||
d-1-NN-07_13.qdimacs | 3 | 15 | 16 | 19 | 89 | 91 | 107 | 122 | 12757 | 9095 | 2759 | 6336 | 22.06 | 34.72 | 7.472 | 22.06 | 34.72 | 7.472 | ||||||||||||||||||
d-1-NN-07_14.qdimacs | 3 | 15 | 18 | 19 | 89 | 103 | 107 | 134 | 14149 | 9903 | 2759 | 7144 | 21.31 | 43.94 | 9.132 | 21.31 | 43.94 | 9.132 | ||||||||||||||||||
d-1-NN-07_15.qdimacs | 3 | 15 | 19 | 19 | 89 | 112 | 107 | 141 | 14866 | 10460 | 2759 | 7701 | 22.37 | 50.2 | 9.688 | 22.37 | 50.2 | 9.688 | ||||||||||||||||||
d-1-NN-07_16.qdimacs | 3 | 15 | 22 | 19 | 89 | 122 | 107 | 153 | 16828 | 11582 | 2759 | 8823 | 23.09 | 57.68 | 11.844 | 23.09 | 57.68 | 11.844 | ||||||||||||||||||
d-1-NN-07_17.qdimacs | 3 | 19 | 20 | 19 | 99 | 101 | 124 | 139 | 18277 | 12858 | 3861 | 8997 | >300 | 97.38 | 23.557 | 300 | 97.38 | 23.557 | ||||||||||||||||||
d-1-NN-07_18.qdimacs | 3 | 19 | 22 | 19 | 99 | 113 | 124 | 151 | 19929 | 13802 | 3861 | 9941 | >300 | 110.09 | 28.061 | 300 | 110.09 | 28.061 | ||||||||||||||||||
d-1-NN-07_19.qdimacs | 3 | 19 | 23 | 19 | 99 | 122 | 124 | 158 | 20768 | 14451 | 3861 | 10590 | >300 | 122.97 | 30.225 | 300 | 122.97 | 30.225 | ||||||||||||||||||
d-1-NN-07_20.qdimacs | 3 | 19 | 26 | 19 | 99 | 132 | 124 | 170 | 23024 | 15713 | 3861 | 11852 | >300 | 136.64 | 35.862 | 300 | 136.64 | 35.862 | ||||||||||||||||||
d-1-NN-07_21.qdimacs | 3 | 21 | 22 | 19 | 106 | 108 | 137 | 152 | 21910 | 15331 | 4558 | 10773 | >300 | N | 42.718 | 300 | #N/A | 42.718 | ||||||||||||||||||
d-1-NN-07_22.qdimacs | 3 | 21 | 24 | 19 | 106 | 120 | 137 | 164 | 23710 | 16351 | 4558 | 11793 | >300 | 177.57 | 49.87 | 300 | 177.57 | 49.87 | ||||||||||||||||||
d-1-NN-07_23.qdimacs | 3 | 21 | 25 | 19 | 106 | 129 | 137 | 171 | 24619 | 17050 | 4558 | 12492 | >300 | 194.59 | 53.083 | 300 | 194.59 | 53.083 | ||||||||||||||||||
d-1-NN-07_24.qdimacs | 3 | 21 | 28 | 19 | 106 | 139 | 137 | 183 | 27049 | 18394 | 4558 | 13836 | >300 | 212.45 | 62.423 | 300 | 212.45 | 62.423 | ||||||||||||||||||
d-1-NN-07_25.qdimacs | 3 | 23 | 24 | 19 | 114 | 116 | 152 | 167 | 26110 | 18210 | 5358 | 12852 | >300 | 233.36 | 59.619 | 300 | 233.36 | 59.619 | ||||||||||||||||||
d-1-NN-07_26.qdimacs | 3 | 23 | 26 | 19 | 114 | 128 | 152 | 179 | 28066 | 19310 | 5358 | 13952 | >300 | 259.22 | 69.804 | 300 | 259.22 | 69.804 | ||||||||||||||||||
d-1-NN-07_27.qdimacs | 3 | 23 | 27 | 19 | 114 | 137 | 152 | 186 | 29049 | 20061 | 5358 | 14703 | >300 | 283.08 | 74.008 | 300 | 283.08 | 74.008 | ||||||||||||||||||
d-1-NN-07_28.qdimacs | 3 | 23 | 30 | 19 | 114 | 147 | 152 | 198 | 31665 | 21493 | 5358 | 16135 | >300 | >300.040 | 87.081 | 300 | 300.04 | 87.081 | ||||||||||||||||||
08 | d-1-NN-08_01.qdimacs | 4 | 8 | 9 | 23 | 47 | 49 | 59 | 74 | 4195 | 2742 | 799 | 1943 | 0.37 | 4.45 | 0.388 | 0.37 | 4.45 | 0.388 | |||||||||||||||||
d-1-NN-08_02.qdimacs | 4 | 8 | 11 | 23 | 47 | 61 | 59 | 86 | 5055 | 3214 | 799 | 2415 | 0.39 | 6.57 | 0.516 | 0.39 | 6.57 | 0.516 | ||||||||||||||||||
d-1-NN-08_03.qdimacs | 4 | 8 | 12 | 23 | 47 | 70 | 59 | 93 | 5520 | 3561 | 799 | 2762 | 0.48 | 7.62 | 0.572 | 0.48 | 7.62 | 0.572 | ||||||||||||||||||
d-1-NN-08_04.qdimacs | 4 | 8 | 15 | 23 | 47 | 80 | 59 | 105 | 6852 | 4291 | 799 | 3492 | 0.49 | 11.7 | 0.752 | 0.49 | 11.7 | 0.752 | ||||||||||||||||||
d-1-NN-08_05.qdimacs | 4 | 12 | 13 | 23 | 65 | 67 | 76 | 91 | 7727 | 5347 | 1625 | 3722 | 3.1 | 38.83 | 2.128 | 3.1 | 38.83 | 2.128 | ||||||||||||||||||
d-1-NN-08_06.qdimacs | 4 | 12 | 15 | 23 | 65 | 79 | 76 | 103 | 8851 | 5987 | 1625 | 4362 | 3.05 | 53.71 | 2.728 | 3.05 | 53.71 | 2.728 | ||||||||||||||||||
d-1-NN-08_07.qdimacs | 4 | 12 | 16 | 23 | 65 | 88 | 76 | 110 | 9440 | 6442 | 1625 | 4817 | 3.09 | 65.19 | 3.096 | 3.09 | 65.19 | 3.096 | ||||||||||||||||||
d-1-NN-08_08.qdimacs | 4 | 12 | 19 | 23 | 65 | 98 | 76 | 122 | 11072 | 7360 | 1625 | 5735 | 3.22 | 87.45 | 3.956 | 3.22 | 87.45 | 3.956 | ||||||||||||||||||
d-1-NN-08_09.qdimacs | 4 | 13 | 14 | 23 | 76 | 78 | 90 | 105 | 9653 | 6758 | 2052 | 4706 | 4.95 | 42.04 | 4.32 | 4.95 | 42.04 | 4.32 | ||||||||||||||||||
d-1-NN-08_10.qdimacs | 4 | 13 | 16 | 23 | 76 | 90 | 90 | 117 | 10881 | 7466 | 2052 | 5414 | 5.05 | 56.9 | 5.504 | 5.05 | 56.9 | 5.504 | ||||||||||||||||||
d-1-NN-08_11.qdimacs | 4 | 13 | 17 | 23 | 76 | 99 | 90 | 124 | 11520 | 7961 | 2052 | 5909 | 5 | 64.63 | 5.656 | 5 | 64.63 | 5.656 | ||||||||||||||||||
d-1-NN-08_12.qdimacs | 4 | 13 | 20 | 23 | 76 | 109 | 90 | 136 | 13284 | 8965 | 2052 | 6913 | 5.04 | 81.1 | 7.072 | 5.04 | 81.1 | 7.072 | ||||||||||||||||||
d-1-NN-08_13.qdimacs | 4 | 15 | 16 | 23 | 89 | 91 | 107 | 122 | 12757 | 9095 | 2759 | 6336 | 21.54 | 100.08 | 7.624 | 21.54 | 100.08 | 7.624 | ||||||||||||||||||
d-1-NN-08_14.qdimacs | 4 | 15 | 18 | 23 | 89 | 103 | 107 | 134 | 14149 | 9903 | 2759 | 7144 | 21.53 | 125.09 | 8.96 | 21.53 | 125.09 | 8.96 | ||||||||||||||||||
d-1-NN-08_15.qdimacs | 4 | 15 | 19 | 23 | 89 | 112 | 107 | 141 | 14866 | 10460 | 2759 | 7701 | 22.34 | 136.45 | 10.16 | 22.34 | 136.45 | 10.16 | ||||||||||||||||||
d-1-NN-08_16.qdimacs | 4 | 15 | 22 | 23 | 89 | 122 | 107 | 153 | 16828 | 11582 | 2759 | 8823 | 22.5 | 157.33 | 12.04 | 22.5 | 157.33 | 12.04 | ||||||||||||||||||
d-1-NN-08_17.qdimacs | 4 | 19 | 20 | 23 | 99 | 101 | 124 | 139 | 18277 | 12858 | 3861 | 8997 | >300 | 288.9 | 23.705 | 300 | 288.9 | 23.705 | ||||||||||||||||||
d-1-NN-08_18.qdimacs | 4 | 19 | 22 | 23 | 99 | 113 | 124 | 151 | 19929 | 13802 | 3861 | 9941 | >300 | >300.200 | 28.165 | 300 | 300.2 | 28.165 | ||||||||||||||||||
d-1-NN-08_19.qdimacs | 4 | 19 | 23 | 23 | 99 | 122 | 124 | 158 | 20768 | 14451 | 3861 | 10590 | >300 | >300.080 | 30.505 | 300 | 300.08 | 30.505 | ||||||||||||||||||
d-1-NN-08_20.qdimacs | 4 | 19 | 26 | 23 | 99 | 132 | 124 | 170 | 23024 | 15713 | 3861 | 11852 | >300 | >300.100 | 36.222 | 300 | 300.1 | 36.222 | ||||||||||||||||||
d-1-NN-08_21.qdimacs | 4 | 21 | 22 | 23 | 106 | 108 | 137 | 152 | 21910 | 15331 | 4558 | 10773 | >300 | N | 42.302 | 300 | #N/A | 42.302 | ||||||||||||||||||
d-1-NN-08_22.qdimacs | 4 | 21 | 24 | 23 | 106 | 120 | 137 | 164 | 23710 | 16351 | 4558 | 11793 | >300 | >300.120 | 50.203 | 300 | 300.12 | 50.203 | ||||||||||||||||||
d-1-NN-08_23.qdimacs | 4 | 21 | 25 | 23 | 106 | 129 | 137 | 171 | 24619 | 17050 | 4558 | 12492 | >300 | >300.030 | 53.667 | 300 | 300.03 | 53.667 | ||||||||||||||||||
d-1-NN-08_24.qdimacs | 4 | 21 | 28 | 23 | 106 | 139 | 137 | 183 | 27049 | 18394 | 4558 | 13836 | >300 | >300.200 | 63.003 | 300 | 300.2 | 63.003 | ||||||||||||||||||
d-1-NN-08_25.qdimacs | 4 | 23 | 24 | 23 | 114 | 116 | 152 | 167 | 26110 | 18210 | 5358 | 12852 | >300 | >300.080 | 59.627 | 300 | 300.08 | 59.627 | ||||||||||||||||||
d-1-NN-08_26.qdimacs | 4 | 23 | 26 | 23 | 114 | 128 | 152 | 179 | 28066 | 19310 | 5358 | 13952 | >300 | >300.130 | 70.168 | 300 | 300.13 | 70.168 | ||||||||||||||||||
d-1-NN-08_27.qdimacs | 4 | 23 | 27 | 23 | 114 | 137 | 152 | 186 | 29049 | 20061 | 5358 | 14703 | >300 | >300.030 | 75.008 | 300 | 300.03 | 75.008 | ||||||||||||||||||
d-1-NN-08_28.qdimacs | 4 | 23 | 30 | 23 | 114 | 147 | 152 | 198 | 31665 | 21493 | 5358 | 16135 | >300 | N | 87.285 | 300 | #N/A | 87.285 | ||||||||||||||||||
09 | d-1-NN-09_01.qdimacs | 4 | 9 | 10 | 26 | 49 | 51 | 59 | 74 | 4707 | 3133 | 931 | 2202 | 0.58 | 20.57 | 0.844 | 0.58 | 20.57 | 0.844 | |||||||||||||||||
d-1-NN-09_02.qdimacs | 4 | 9 | 11 | 28 | 51 | 61 | 61 | 86 | 5401 | 3541 | 969 | 2572 | 0.63 | 104.1 | 1.256 | 0.63 | 104.1 | 1.256 | ||||||||||||||||||
d-1-NN-09_03.qdimacs | 4 | 9 | 12 | 28 | 51 | 70 | 61 | 93 | 5866 | 3888 | 969 | 2919 | 0.65 | 0.77 | 0.836 | 0.65 | 0.77 | 0.836 | ||||||||||||||||||
d-1-NN-09_04.qdimacs | 4 | 9 | 15 | 28 | 51 | 80 | 61 | 105 | 7198 | 4618 | 969 | 3649 | 0.74 | 1.04 | 1.344 | 0.74 | 1.04 | 1.344 | ||||||||||||||||||
d-1-NN-09_05.qdimacs | 4 | 13 | 14 | 26 | 67 | 69 | 76 | 91 | 8383 | 5876 | 1809 | 4067 | 5.96 | 108.34 | 2.988 | 5.96 | 108.34 | 2.988 | ||||||||||||||||||
d-1-NN-09_06.qdimacs | 4 | 13 | 15 | 28 | 69 | 79 | 78 | 103 | 9305 | 6432 | 1863 | 4569 | 6.4 | >300.090 | 4.48 | 6.4 | 300.09 | 4.48 | ||||||||||||||||||
d-1-NN-09_07.qdimacs | 4 | 13 | 16 | 28 | 69 | 88 | 78 | 110 | 9894 | 6887 | 1863 | 5024 | 6.44 | 4.98 | 4.36 | 6.44 | 4.98 | 4.36 | ||||||||||||||||||
d-1-NN-09_08.qdimacs | 4 | 13 | 19 | 28 | 69 | 98 | 78 | 122 | 11526 | 7805 | 1863 | 5942 | 6.42 | 6.25 | 5.32 | 6.42 | 6.25 | 5.32 | ||||||||||||||||||
d-1-NN-09_09.qdimacs | 4 | 14 | 15 | 26 | 78 | 80 | 90 | 105 | 10409 | 7367 | 2262 | 5105 | 9.1 | 219.26 | 5.66 | 9.1 | 219.26 | 5.66 | ||||||||||||||||||
d-1-NN-09_10.qdimacs | 4 | 14 | 16 | 28 | 80 | 90 | 92 | 117 | 11407 | 7973 | 2320 | 5653 | 10.67 | >300.120 | 9.344 | 10.67 | 300.12 | 9.344 | ||||||||||||||||||
d-1-NN-09_11.qdimacs | 4 | 14 | 17 | 28 | 80 | 99 | 92 | 124 | 12046 | 8468 | 2320 | 6148 | 10.54 | 8.93 | 7.988 | 10.54 | 8.93 | 7.988 | ||||||||||||||||||
d-1-NN-09_12.qdimacs | 4 | 14 | 20 | 28 | 80 | 109 | 92 | 136 | 13810 | 9472 | 2320 | 7152 | 11.08 | 9.85 | 10.048 | 11.08 | 9.85 | 10.048 | ||||||||||||||||||
d-1-NN-09_13.qdimacs | 4 | 16 | 17 | 26 | 91 | 93 | 107 | 122 | 13629 | 9806 | 3003 | 6803 | >300 | >300.040 | 10.312 | 300 | 300.04 | 10.312 | ||||||||||||||||||
d-1-NN-09_14.qdimacs | 4 | 16 | 18 | 28 | 93 | 103 | 109 | 134 | 14757 | 10494 | 3069 | 7425 | >300 | >300.140 | 15.756 | 300 | 300.14 | 15.756 | ||||||||||||||||||
d-1-NN-09_15.qdimacs | 4 | 16 | 19 | 28 | 93 | 112 | 109 | 141 | 15474 | 11051 | 3069 | 7982 | >300 | 17.41 | 12.756 | 300 | 17.41 | 12.756 | ||||||||||||||||||
d-1-NN-09_16.qdimacs | 4 | 16 | 22 | 28 | 93 | 122 | 109 | 153 | 17436 | 12173 | 3069 | 9104 | >300 | 19.06 | 16.713 | 300 | 19.06 | 16.713 | ||||||||||||||||||
d-1-NN-09_17.qdimacs | 4 | 20 | 21 | 26 | 101 | 103 | 124 | 139 | 19281 | 13675 | 4141 | 9534 | >300 | >300.050 | 29.757 | 300 | 300.05 | 29.757 | ||||||||||||||||||
d-1-NN-09_18.qdimacs | 4 | 20 | 22 | 28 | 103 | 113 | 126 | 151 | 20635 | 14495 | 4223 | 10272 | >300 | >300.020 | 41.638 | 300 | 300.02 | 41.638 | ||||||||||||||||||
d-1-NN-09_19.qdimacs | 4 | 20 | 23 | 28 | 103 | 122 | 126 | 158 | 21474 | 15144 | 4223 | 10921 | >300 | 42.52 | 34.698 | 300 | 42.52 | 34.698 | ||||||||||||||||||
d-1-NN-09_20.qdimacs | 4 | 20 | 26 | 28 | 103 | 132 | 126 | 170 | 23730 | 16406 | 4223 | 12183 | >300 | 45.32 | 41.118 | 300 | 45.32 | 41.118 | ||||||||||||||||||
d-1-NN-09_21.qdimacs | 4 | 22 | 23 | 26 | 108 | 110 | 137 | 152 | 23004 | 16218 | 4860 | 11358 | >300 | >300.120 | 51.895 | 300 | 300.12 | 51.895 | ||||||||||||||||||
d-1-NN-09_22.qdimacs | 4 | 22 | 24 | 28 | 110 | 120 | 139 | 164 | 24480 | 17108 | 4950 | 12158 | >300 | >300.070 | 67.228 | 300 | 300.07 | 67.228 | ||||||||||||||||||
d-1-NN-09_23.qdimacs | 4 | 22 | 25 | 28 | 110 | 129 | 139 | 171 | 25389 | 17807 | 4950 | 12857 | >300 | 67.49 | 62.795 | 300 | 67.49 | 62.795 | ||||||||||||||||||
d-1-NN-09_24.qdimacs | 4 | 22 | 28 | 28 | 110 | 139 | 139 | 183 | 27819 | 19151 | 4950 | 14201 | >300 | 71.08 | 75.696 | 300 | 71.08 | 75.696 | ||||||||||||||||||
d-1-NN-09_25.qdimacs | 4 | 24 | 25 | 26 | 116 | 118 | 152 | 167 | 27304 | 19175 | 5684 | 13491 | >300 | >300.080 | 72.928 | 300 | 300.08 | 72.928 | ||||||||||||||||||
d-1-NN-09_26.qdimacs | 4 | 24 | 26 | 28 | 118 | 128 | 154 | 179 | 28906 | 20137 | 5782 | 14355 | >300 | >300.090 | 92.401 | 300 | 300.09 | 92.401 | ||||||||||||||||||
d-1-NN-09_27.qdimacs | 4 | 24 | 27 | 28 | 118 | 137 | 154 | 186 | 29889 | 20888 | 5782 | 15106 | >300 | 100.96 | 86.105 | 300 | 100.96 | 86.105 | ||||||||||||||||||
d-1-NN-09_28.qdimacs | 4 | 24 | 30 | 28 | 118 | 147 | 154 | 198 | 32505 | 22320 | 5782 | 16538 | >300 | 104.73 | 102.686 | 300 | 104.73 | 102.686 | ||||||||||||||||||
10 | d-1-NN-10_01.qdimacs | 5 | 9 | 10 | 28 | 49 | 51 | 59 | 74 | 4707 | 3133 | 931 | 2202 | 0.57 | 6.52 | 0.488 | 0.57 | 6.52 | 0.488 | |||||||||||||||||
d-1-NN-10_02.qdimacs | 5 | 9 | 11 | 30 | 51 | 61 | 61 | 86 | 5401 | 3541 | 969 | 2572 | 0.62 | 16.15 | 0.7 | 0.62 | 16.15 | 0.7 | ||||||||||||||||||
d-1-NN-10_03.qdimacs | 5 | 9 | 12 | 30 | 51 | 70 | 61 | 93 | 5866 | 3888 | 969 | 2919 | 0.65 | 0.9 | 0.66 | 0.65 | 0.9 | 0.66 | ||||||||||||||||||
d-1-NN-10_04.qdimacs | 5 | 9 | 15 | 30 | 51 | 80 | 61 | 105 | 7198 | 4618 | 969 | 3649 | 0.8 | 1.21 | 0.888 | 0.8 | 1.21 | 0.888 | ||||||||||||||||||
d-1-NN-10_05.qdimacs | 5 | 13 | 14 | 28 | 67 | 69 | 76 | 91 | 8383 | 5876 | 1809 | 4067 | 6.2 | 43.96 | 2.66 | 6.2 | 43.96 | 2.66 | ||||||||||||||||||
d-1-NN-10_06.qdimacs | 5 | 13 | 15 | 30 | 69 | 79 | 78 | 103 | 9305 | 6432 | 1863 | 4569 | 6.43 | 143.32 | 3.232 | 6.43 | 143.32 | 3.232 | ||||||||||||||||||
d-1-NN-10_07.qdimacs | 5 | 13 | 16 | 30 | 69 | 88 | 78 | 110 | 9894 | 6887 | 1863 | 5024 | 6.44 | 5.68 | 3.588 | 6.44 | 5.68 | 3.588 | ||||||||||||||||||
d-1-NN-10_08.qdimacs | 5 | 13 | 19 | 30 | 69 | 98 | 78 | 122 | 11526 | 7805 | 1863 | 5942 | 6.45 | 7.32 | 4.652 | 6.45 | 7.32 | 4.652 | ||||||||||||||||||
d-1-NN-10_09.qdimacs | 5 | 14 | 15 | 28 | 78 | 80 | 90 | 105 | 10409 | 7367 | 2262 | 5105 | 9.54 | 81.13 | 5.28 | 9.54 | 81.13 | 5.28 | ||||||||||||||||||
d-1-NN-10_10.qdimacs | 5 | 14 | 16 | 30 | 80 | 90 | 92 | 117 | 11407 | 7973 | 2320 | 5653 | 10.52 | 219.06 | 6.008 | 10.52 | 219.06 | 6.008 | ||||||||||||||||||
d-1-NN-10_11.qdimacs | 5 | 14 | 17 | 30 | 80 | 99 | 92 | 124 | 12046 | 8468 | 2320 | 6148 | 10.53 | 9.19 | 6.896 | 10.53 | 9.19 | 6.896 | ||||||||||||||||||
d-1-NN-10_12.qdimacs | 5 | 14 | 20 | 30 | 80 | 109 | 92 | 136 | 13810 | 9472 | 2320 | 7152 | 10.43 | 10.51 | 8.54 | 10.43 | 10.51 | 8.54 | ||||||||||||||||||
d-1-NN-10_13.qdimacs | 5 | 16 | 17 | 28 | 91 | 93 | 107 | 122 | 13629 | 9806 | 3003 | 6803 | 216.6 | 187.4 | 8.708 | 216.6 | 187.4 | 8.708 | ||||||||||||||||||
d-1-NN-10_14.qdimacs | 5 | 16 | 18 | 30 | 93 | 103 | 109 | 134 | 14757 | 10494 | 3069 | 7425 | >300 | >300.100 | 10.652 | 300 | 300.1 | 10.652 | ||||||||||||||||||
d-1-NN-10_15.qdimacs | 5 | 16 | 19 | 30 | 93 | 112 | 109 | 141 | 15474 | 11051 | 3069 | 7982 | >300 | 17.95 | 11.528 | 300 | 17.95 | 11.528 | ||||||||||||||||||
d-1-NN-10_16.qdimacs | 5 | 16 | 22 | 30 | 93 | 122 | 109 | 153 | 17436 | 12173 | 3069 | 9104 | >300 | 19.89 | 13.992 | 300 | 19.89 | 13.992 | ||||||||||||||||||
d-1-NN-10_17.qdimacs | 5 | 20 | 21 | 28 | 101 | 103 | 124 | 139 | 19281 | 13675 | 4141 | 9534 | >300 | >300.100 | 27.325 | 300 | 300.1 | 27.325 | ||||||||||||||||||
d-1-NN-10_18.qdimacs | 5 | 20 | 22 | 30 | 103 | 113 | 126 | 151 | 20635 | 14495 | 4223 | 10272 | >300 | >300.120 | 31.561 | 300 | 300.12 | 31.561 | ||||||||||||||||||
d-1-NN-10_19.qdimacs | 5 | 20 | 23 | 30 | 103 | 122 | 126 | 158 | 21474 | 15144 | 4223 | 10921 | >300 | 44.84 | 34.026 | 300 | 44.84 | 34.026 | ||||||||||||||||||
d-1-NN-10_20.qdimacs | 5 | 20 | 26 | 30 | 103 | 132 | 126 | 170 | 23730 | 16406 | 4223 | 12183 | >300 | 47.87 | 39.87 | 300 | 47.87 | 39.87 | ||||||||||||||||||
d-1-NN-10_21.qdimacs | 5 | 22 | 23 | 28 | 108 | 110 | 137 | 152 | 23004 | 16218 | 4860 | 11358 | >300 | >300.060 | 48.574 | 300 | 300.06 | 48.574 | ||||||||||||||||||
d-1-NN-10_22.qdimacs | 5 | 22 | 24 | 30 | 110 | 120 | 139 | 164 | 24480 | 17108 | 4950 | 12158 | >300 | >300.080 | 55.207 | 300 | 300.08 | 55.207 | ||||||||||||||||||
d-1-NN-10_23.qdimacs | 5 | 22 | 25 | 30 | 110 | 129 | 139 | 171 | 25389 | 17807 | 4950 | 12857 | >300 | 71.81 | 59.163 | 300 | 71.81 | 59.163 | ||||||||||||||||||
d-1-NN-10_24.qdimacs | 5 | 22 | 28 | 30 | 110 | 139 | 139 | 183 | 27819 | 19151 | 4950 | 14201 | >300 | 74.5 | 69.32 | 300 | 74.5 | 69.32 | ||||||||||||||||||
d-1-NN-10_25.qdimacs | 5 | 24 | 25 | 28 | 116 | 118 | 152 | 167 | 27304 | 19175 | 5684 | 13491 | >300 | >300.110 | 67.548 | 300 | 300.11 | 67.548 | ||||||||||||||||||
d-1-NN-10_26.qdimacs | 5 | 24 | 26 | 30 | 118 | 128 | 154 | 179 | 28906 | 20137 | 5782 | 14355 | >300 | >300.110 | 76.756 | 300 | 300.11 | 76.756 | ||||||||||||||||||
d-1-NN-10_27.qdimacs | 5 | 24 | 27 | 30 | 118 | 137 | 154 | 186 | 29889 | 20888 | 5782 | 15106 | >300 | 106.87 | 82.04 | 300 | 106.87 | 82.04 | ||||||||||||||||||
d-1-NN-10_28.qdimacs | 5 | 24 | 30 | 30 | 118 | 147 | 154 | 198 | 32505 | 22320 | 5782 | 16538 | >300 | 112 | 94.981 | 300 | 112 | 94.981 | ||||||||||||||||||
11 | d-1-NN-11_01.qdimacs | 6 | 9 | 10 | 29 | 49 | 51 | 59 | 74 | 4707 | 3133 | 931 | 2202 | 0.69 | 10.66 | 0.492 | 0.69 | 10.66 | 0.492 | |||||||||||||||||
d-1-NN-11_02.qdimacs | 6 | 9 | 11 | 31 | 51 | 61 | 61 | 86 | 5401 | 3541 | 969 | 2572 | 0.75 | 27.97 | 0.588 | 0.75 | 27.97 | 0.588 | ||||||||||||||||||
d-1-NN-11_03.qdimacs | 6 | 9 | 12 | 31 | 51 | 70 | 61 | 93 | 5866 | 3888 | 969 | 2919 | 0.72 | 30.32 | 0.652 | 0.72 | 30.32 | 0.652 | ||||||||||||||||||
d-1-NN-11_04.qdimacs | 6 | 9 | 15 | 31 | 51 | 80 | 61 | 105 | 7198 | 4618 | 969 | 3649 | 0.73 | 42.68 | 0.932 | 0.73 | 42.68 | 0.932 | ||||||||||||||||||
d-1-NN-11_05.qdimacs | 6 | 13 | 14 | 29 | 67 | 69 | 76 | 91 | 8383 | 5876 | 1809 | 4067 | 6.13 | 54.32 | 2.64 | 6.13 | 54.32 | 2.64 | ||||||||||||||||||
d-1-NN-11_06.qdimacs | 6 | 13 | 15 | 31 | 69 | 79 | 78 | 103 | 9305 | 6432 | 1863 | 4569 | 6.98 | 167.23 | 3.656 | 6.98 | 167.23 | 3.656 | ||||||||||||||||||
d-1-NN-11_07.qdimacs | 6 | 13 | 16 | 31 | 69 | 88 | 78 | 110 | 9894 | 6887 | 1863 | 5024 | 7 | 149.82 | 3.692 | 7 | 149.82 | 3.692 | ||||||||||||||||||
d-1-NN-11_08.qdimacs | 6 | 13 | 19 | 31 | 69 | 98 | 78 | 122 | 11526 | 7805 | 1863 | 5942 | 7.12 | 190.57 | 5.04 | 7.12 | 190.57 | 5.04 | ||||||||||||||||||
d-1-NN-11_09.qdimacs | 6 | 14 | 15 | 29 | 78 | 80 | 90 | 105 | 10409 | 7367 | 2262 | 5105 | 10.1 | 55.45 | 4.968 | 10.1 | 55.45 | 4.968 | ||||||||||||||||||
d-1-NN-11_10.qdimacs | 6 | 14 | 16 | 31 | 80 | 90 | 92 | 117 | 11407 | 7973 | 2320 | 5653 | 12.07 | 121.52 | 6.028 | 12.07 | 121.52 | 6.028 | ||||||||||||||||||
d-1-NN-11_11.qdimacs | 6 | 14 | 17 | 31 | 80 | 99 | 92 | 124 | 12046 | 8468 | 2320 | 6148 | 12.14 | 125.62 | 6.616 | 12.14 | 125.62 | 6.616 | ||||||||||||||||||
d-1-NN-11_12.qdimacs | 6 | 14 | 20 | 31 | 80 | 109 | 92 | 136 | 13810 | 9472 | 2320 | 7152 | 12.11 | 151.44 | 8.66 | 12.11 | 151.44 | 8.66 | ||||||||||||||||||
d-1-NN-11_13.qdimacs | 6 | 16 | 17 | 29 | 91 | 93 | 107 | 122 | 13629 | 9806 | 3003 | 6803 | >300 | 124.82 | 8.74 | 300 | 124.82 | 8.74 | ||||||||||||||||||
d-1-NN-11_14.qdimacs | 6 | 16 | 18 | 31 | 93 | 103 | 109 | 134 | 14757 | 10494 | 3069 | 7425 | >300 | 266.41 | 10.48 | 300 | 266.41 | 10.48 | ||||||||||||||||||
d-1-NN-11_15.qdimacs | 6 | 16 | 19 | 31 | 93 | 112 | 109 | 141 | 15474 | 11051 | 3069 | 7982 | >300 | 242.72 | 11.288 | 300 | 242.72 | 11.288 | ||||||||||||||||||
d-1-NN-11_16.qdimacs | 6 | 16 | 22 | 31 | 93 | 122 | 109 | 153 | 17436 | 12173 | 3069 | 9104 | >300 | 282.84 | 13.78 | 300 | 282.84 | 13.78 | ||||||||||||||||||
d-1-NN-11_17.qdimacs | 6 | 20 | 21 | 29 | 101 | 103 | 124 | 139 | 19281 | 13675 | 4141 | 9534 | >300 | >300.020 | 26.989 | 300 | 300.02 | 26.989 | ||||||||||||||||||
d-1-NN-11_18.qdimacs | 6 | 20 | 22 | 31 | 103 | 113 | 126 | 151 | 20635 | 14495 | 4223 | 10272 | >300 | >300.030 | 31.593 | 300 | 300.03 | 31.593 | ||||||||||||||||||
d-1-NN-11_19.qdimacs | 6 | 20 | 23 | 31 | 103 | 122 | 126 | 158 | 21474 | 15144 | 4223 | 10921 | >300 | >300.080 | 33.938 | 300 | 300.08 | 33.938 | ||||||||||||||||||
d-1-NN-11_20.qdimacs | 6 | 20 | 26 | 31 | 103 | 132 | 126 | 170 | 23730 | 16406 | 4223 | 12183 | >300 | >300.060 | 40.098 | 300 | 300.06 | 40.098 | ||||||||||||||||||
d-1-NN-11_21.qdimacs | 6 | 22 | 23 | 29 | 108 | 110 | 137 | 152 | 23004 | 16218 | 4860 | 11358 | >300 | >300.220 | 48.634 | 300 | 300.22 | 48.634 | ||||||||||||||||||
d-1-NN-11_22.qdimacs | 6 | 22 | 24 | 31 | 110 | 120 | 139 | 164 | 24480 | 17108 | 4950 | 12158 | >300 | >300.150 | 55.435 | 300 | 300.15 | 55.435 | ||||||||||||||||||
d-1-NN-11_23.qdimacs | 6 | 22 | 25 | 31 | 110 | 129 | 139 | 171 | 25389 | 17807 | 4950 | 12857 | >300 | >300.070 | 59.567 | 300 | 300.07 | 59.567 | ||||||||||||||||||
d-1-NN-11_24.qdimacs | 6 | 22 | 28 | 31 | 110 | 139 | 139 | 183 | 27819 | 19151 | 4950 | 14201 | >300 | >300.120 | 69.792 | 300 | 300.12 | 69.792 | ||||||||||||||||||
d-1-NN-11_25.qdimacs | 6 | 24 | 25 | 29 | 116 | 118 | 152 | 167 | 27304 | 19175 | 5684 | 13491 | >300 | >300.070 | 67.5 | 300 | 300.07 | 67.5 | ||||||||||||||||||
d-1-NN-11_26.qdimacs | 6 | 24 | 26 | 31 | 118 | 128 | 154 | 179 | 28906 | 20137 | 5782 | 14355 | >300 | >300.170 | 76.844 | 300 | 300.17 | 76.844 | ||||||||||||||||||
d-1-NN-11_27.qdimacs | 6 | 24 | 27 | 31 | 118 | 137 | 154 | 186 | 29889 | 20888 | 5782 | 15106 | >300 | >300.080 | 81.984 | 300 | 300.08 | 81.984 | ||||||||||||||||||
d-1-NN-11_28.qdimacs | 6 | 24 | 30 | 31 | 118 | 147 | 154 | 198 | 32505 | 22320 | 5782 | 16538 | >300 | >300.050 | 95.549 | 300 | 300.05 | 95.549 | ||||||||||||||||||
12 | d-1-NN-12_01.qdimacs | 5 | 9 | 10 | 32 | 49 | 51 | 59 | 74 | 4707 | 3133 | 931 | 2202 | 0.65 | 12.81 | 0.484 | 0.65 | 12.81 | 0.484 | |||||||||||||||||
d-1-NN-12_02.qdimacs | 5 | 9 | 11 | 34 | 51 | 61 | 61 | 86 | 5401 | 3541 | 969 | 2572 | 0.63 | 58.33 | 0.616 | 0.63 | 58.33 | 0.616 | ||||||||||||||||||
d-1-NN-12_03.qdimacs | 5 | 9 | 12 | 34 | 51 | 70 | 61 | 93 | 5866 | 3888 | 969 | 2919 | 0.66 | 0.84 | 1.012 | 0.66 | 0.84 | 1.012 | ||||||||||||||||||
d-1-NN-12_04.qdimacs | 5 | 9 | 15 | 34 | 51 | 80 | 61 | 105 | 7198 | 4618 | 969 | 3649 | 0.79 | 1.32 | 0.888 | 0.79 | 1.32 | 0.888 | ||||||||||||||||||
d-1-NN-12_05.qdimacs | 5 | 13 | 14 | 32 | 67 | 69 | 76 | 91 | 8383 | 5876 | 1809 | 4067 | 5.93 | 78.9 | 2.636 | 5.93 | 78.9 | 2.636 | ||||||||||||||||||
d-1-NN-12_06.qdimacs | 5 | 13 | 15 | 34 | 69 | 79 | 78 | 103 | 9305 | 6432 | 1863 | 4569 | 6.49 | 299.32 | 3.28 | 6.49 | 299.32 | 3.28 | ||||||||||||||||||
d-1-NN-12_07.qdimacs | 5 | 13 | 16 | 34 | 69 | 88 | 78 | 110 | 9894 | 6887 | 1863 | 5024 | 6.45 | 5.28 | 3.66 | 6.45 | 5.28 | 3.66 | ||||||||||||||||||
d-1-NN-12_08.qdimacs | 5 | 13 | 19 | 34 | 69 | 98 | 78 | 122 | 11526 | 7805 | 1863 | 5942 | 6.51 | 7.15 | 4.724 | 6.51 | 7.15 | 4.724 | ||||||||||||||||||
d-1-NN-12_09.qdimacs | 5 | 14 | 15 | 32 | 78 | 80 | 90 | 105 | 10409 | 7367 | 2262 | 5105 | 9.41 | 68.53 | 4.86 | 9.41 | 68.53 | 4.86 | ||||||||||||||||||
d-1-NN-12_10.qdimacs | 5 | 14 | 16 | 34 | 80 | 90 | 92 | 117 | 11407 | 7973 | 2320 | 5653 | 10.68 | 174.53 | 6.116 | 10.68 | 174.53 | 6.116 | ||||||||||||||||||
d-1-NN-12_11.qdimacs | 5 | 14 | 17 | 34 | 80 | 99 | 92 | 124 | 12046 | 8468 | 2320 | 6148 | 10.5 | 9.07 | 6.548 | 10.5 | 9.07 | 6.548 | ||||||||||||||||||
d-1-NN-12_12.qdimacs | 5 | 14 | 20 | 34 | 80 | 109 | 92 | 136 | 13810 | 9472 | 2320 | 7152 | 10.55 | 10.98 | 8.288 | 10.55 | 10.98 | 8.288 | ||||||||||||||||||
d-1-NN-12_13.qdimacs | 5 | 16 | 17 | 32 | 91 | 93 | 107 | 122 | 13629 | 9806 | 3003 | 6803 | >300 | 149.49 | 9.124 | 300 | 149.49 | 9.124 | ||||||||||||||||||
d-1-NN-12_14.qdimacs | 5 | 16 | 18 | 34 | 93 | 103 | 109 | 134 | 14757 | 10494 | 3069 | 7425 | >300 | >300.090 | 10.432 | 300 | 300.09 | 10.432 | ||||||||||||||||||
d-1-NN-12_15.qdimacs | 5 | 16 | 19 | 34 | 93 | 112 | 109 | 141 | 15474 | 11051 | 3069 | 7982 | >300 | 17.98 | 11.436 | 300 | 17.98 | 11.436 | ||||||||||||||||||
d-1-NN-12_16.qdimacs | 5 | 16 | 22 | 34 | 93 | 122 | 109 | 153 | 17436 | 12173 | 3069 | 9104 | >300 | 19.82 | 13.908 | 300 | 19.82 | 13.908 | ||||||||||||||||||
d-1-NN-12_17.qdimacs | 5 | 20 | 21 | 32 | 101 | 103 | 124 | 139 | 19281 | 13675 | 4141 | 9534 | >300 | >300.090 | 27.329 | 300 | 300.09 | 27.329 | ||||||||||||||||||
d-1-NN-12_18.qdimacs | 5 | 20 | 22 | 34 | 103 | 113 | 126 | 151 | 20635 | 14495 | 4223 | 10272 | >300 | >300.120 | 31.697 | 300 | 300.12 | 31.697 | ||||||||||||||||||
d-1-NN-12_19.qdimacs | 5 | 20 | 23 | 34 | 103 | 122 | 126 | 158 | 21474 | 15144 | 4223 | 10921 | >300 | 45.67 | 34.006 | 300 | 45.67 | 34.006 | ||||||||||||||||||
d-1-NN-12_20.qdimacs | 5 | 20 | 26 | 34 | 103 | 132 | 126 | 170 | 23730 | 16406 | 4223 | 12183 | >300 | 48.46 | 40.306 | 300 | 48.46 | 40.306 | ||||||||||||||||||
d-1-NN-12_21.qdimacs | 5 | 22 | 23 | 32 | 108 | 110 | 137 | 152 | 23004 | 16218 | 4860 | 11358 | >300 | >300.050 | 48.566 | 300 | 300.05 | 48.566 | ||||||||||||||||||
d-1-NN-12_22.qdimacs | 5 | 22 | 24 | 34 | 110 | 120 | 139 | 164 | 24480 | 17108 | 4950 | 12158 | >300 | >300.060 | 55.635 | 300 | 300.06 | 55.635 | ||||||||||||||||||
d-1-NN-12_23.qdimacs | 5 | 22 | 25 | 34 | 110 | 129 | 139 | 171 | 25389 | 17807 | 4950 | 12857 | >300 | 71.42 | 59.307 | 300 | 71.42 | 59.307 | ||||||||||||||||||
d-1-NN-12_24.qdimacs | 5 | 22 | 28 | 34 | 110 | 139 | 139 | 183 | 27819 | 19151 | 4950 | 14201 | >300 | 75.06 | 69.6 | 300 | 75.06 | 69.6 | ||||||||||||||||||
d-1-NN-12_25.qdimacs | 5 | 24 | 25 | 32 | 116 | 118 | 152 | 167 | 27304 | 19175 | 5684 | 13491 | >300 | >300.110 | 67.68 | 300 | 300.11 | 67.68 | ||||||||||||||||||
d-1-NN-12_26.qdimacs | 5 | 24 | 26 | 34 | 118 | 128 | 154 | 179 | 28906 | 20137 | 5782 | 14355 | >300 | >300.310 | 76.896 | 300 | 300.31 | 76.896 | ||||||||||||||||||
d-1-NN-12_27.qdimacs | 5 | 24 | 27 | 34 | 118 | 137 | 154 | 186 | 29889 | 20888 | 5782 | 15106 | >300 | 107 | 82.668 | 300 | 107 | 82.668 | ||||||||||||||||||
d-1-NN-12_28.qdimacs | 5 | 24 | 30 | 34 | 118 | 147 | 154 | 198 | 32505 | 22320 | 5782 | 16538 | >300 | 111.31 | 95.877 | 300 | 111.31 | 95.877 | ||||||||||||||||||
13 | d-1-NN-13_01.qdimacs | 6 | 10 | 11 | 34 | 53 | 55 | 59 | 74 | 5227 | 3628 | 1113 | 2515 | 1.36 | 5.1 | 0.604 | 1.36 | 5.1 | 0.604 | |||||||||||||||||
d-1-NN-13_02.qdimacs | 6 | 10 | 12 | 36 | 55 | 65 | 61 | 86 | 5969 | 4072 | 1155 | 2917 | 1.1 | 12.43 | 0.8 | 1.1 | 12.43 | 0.8 | ||||||||||||||||||
d-1-NN-13_03.qdimacs | 6 | 10 | 12 | 36 | 55 | 70 | 61 | 93 | 6144 | 4197 | 1155 | 3042 | 1.09 | 0.81 | 0.864 | 1.09 | 0.81 | 0.864 | ||||||||||||||||||
d-1-NN-13_04.qdimacs | 6 | 10 | 15 | 36 | 55 | 80 | 61 | 105 | 7476 | 4927 | 1155 | 3772 | 1.1 | 1.12 | 0.94 | 1.1 | 1.12 | 0.94 | ||||||||||||||||||
d-1-NN-13_05.qdimacs | 6 | 14 | 15 | 34 | 71 | 73 | 76 | 91 | 9047 | 6541 | 2059 | 4482 | 12.43 | 19.23 | 3.252 | 12.43 | 19.23 | 3.252 | ||||||||||||||||||
d-1-NN-13_06.qdimacs | 6 | 14 | 16 | 36 | 73 | 83 | 78 | 103 | 10017 | 7133 | 2117 | 5016 | 13.57 | 34.85 | 4.032 | 13.57 | 34.85 | 4.032 | ||||||||||||||||||
d-1-NN-13_07.qdimacs | 6 | 14 | 16 | 36 | 73 | 88 | 78 | 110 | 10248 | 7298 | 2117 | 5181 | 13.29 | 6.85 | 4.224 | 13.29 | 6.85 | 4.224 | ||||||||||||||||||
d-1-NN-13_08.qdimacs | 6 | 14 | 19 | 36 | 73 | 98 | 78 | 122 | 11880 | 8216 | 2117 | 6099 | 13.55 | 7.51 | 5.62 | 13.55 | 7.51 | 5.62 | ||||||||||||||||||
d-1-NN-13_09.qdimacs | 6 | 15 | 16 | 34 | 82 | 84 | 90 | 105 | 11173 | 8120 | 2542 | 5578 | 34.1 | 41.53 | 6.096 | 34.1 | 41.53 | 6.096 | ||||||||||||||||||
d-1-NN-13_10.qdimacs | 6 | 15 | 17 | 36 | 84 | 94 | 92 | 117 | 12219 | 8762 | 2604 | 6158 | 66.8 | 70.27 | 7.48 | 66.8 | 70.27 | 7.48 | ||||||||||||||||||
d-1-NN-13_11.qdimacs | 6 | 15 | 17 | 36 | 84 | 99 | 92 | 124 | 12464 | 8937 | 2604 | 6333 | 58.37 | 14.87 | 7.512 | 58.37 | 14.87 | 7.512 | ||||||||||||||||||
d-1-NN-13_12.qdimacs | 6 | 15 | 20 | 36 | 84 | 109 | 92 | 136 | 14228 | 9941 | 2604 | 7337 | 55.23 | 15.7 | 9.26 | 55.23 | 15.7 | 9.26 | ||||||||||||||||||
d-1-NN-13_13.qdimacs | 6 | 17 | 18 | 34 | 95 | 97 | 107 | 122 | 14509 | 10677 | 3325 | 7352 | >300 | 85.69 | 10.468 | 300 | 85.69 | 10.468 | ||||||||||||||||||
d-1-NN-13_14.qdimacs | 6 | 17 | 19 | 36 | 97 | 107 | 109 | 134 | 15685 | 11401 | 3395 | 8006 | >300 | 135.46 | 12.452 | 300 | 135.46 | 12.452 | ||||||||||||||||||
d-1-NN-13_15.qdimacs | 6 | 17 | 19 | 36 | 97 | 112 | 109 | 141 | 15958 | 11596 | 3395 | 8201 | >300 | 28.48 | 12.78 | 300 | 28.48 | 12.78 | ||||||||||||||||||
d-1-NN-13_16.qdimacs | 6 | 17 | 22 | 36 | 97 | 122 | 109 | 153 | 17920 | 12718 | 3395 | 9323 | >300 | 30.88 | 15.804 | 300 | 30.88 | 15.804 | ||||||||||||||||||
d-1-NN-13_17.qdimacs | 6 | 21 | 22 | 34 | 105 | 107 | 124 | 139 | 20293 | 14684 | 4515 | 10169 | >300 | 216.5 | 31.617 | 300 | 216.5 | 31.617 | ||||||||||||||||||
d-1-NN-13_18.qdimacs | 6 | 21 | 23 | 36 | 107 | 117 | 126 | 151 | 21695 | 15540 | 4601 | 10939 | >300 | >300.070 | 36.534 | 300 | 300.07 | 36.534 | ||||||||||||||||||
d-1-NN-13_19.qdimacs | 6 | 21 | 23 | 36 | 107 | 122 | 126 | 158 | 22024 | 15775 | 4601 | 11174 | >300 | 71.16 | 37.058 | 300 | 71.16 | 37.058 | ||||||||||||||||||
d-1-NN-13_20.qdimacs | 6 | 21 | 26 | 36 | 107 | 132 | 126 | 170 | 24280 | 17037 | 4601 | 12436 | >300 | 74.41 | 43.458 | 300 | 74.41 | 43.458 | ||||||||||||||||||
d-1-NN-13_21.qdimacs | 6 | 23 | 24 | 34 | 112 | 114 | 137 | 152 | 24106 | 17313 | 5264 | 12049 | >300 | >300.130 | 55.743 | 300 | 300.13 | 55.743 | ||||||||||||||||||
d-1-NN-13_22.qdimacs | 6 | 23 | 25 | 36 | 114 | 124 | 139 | 164 | 25630 | 18239 | 5358 | 12881 | >300 | >300.180 | 63.819 | 300 | 300.18 | 63.819 | ||||||||||||||||||
d-1-NN-13_23.qdimacs | 6 | 23 | 25 | 36 | 114 | 129 | 139 | 171 | 25987 | 18494 | 5358 | 13136 | >300 | 110.76 | 64.563 | 300 | 110.76 | 64.563 | ||||||||||||||||||
d-1-NN-13_24.qdimacs | 6 | 23 | 28 | 36 | 114 | 139 | 139 | 183 | 28417 | 19838 | 5358 | 14480 | >300 | 115.79 | 75.536 | 300 | 115.79 | 75.536 | ||||||||||||||||||
d-1-NN-13_25.qdimacs | 6 | 25 | 26 | 34 | 120 | 122 | 152 | 167 | 28506 | 20364 | 6120 | 14244 | >300 | >300.140 | 76.712 | 300 | 300.14 | 76.712 | ||||||||||||||||||
d-1-NN-13_26.qdimacs | 6 | 25 | 27 | 36 | 122 | 132 | 154 | 179 | 30156 | 21362 | 6222 | 15140 | >300 | >300.030 | 87.537 | 300 | 300.03 | 87.537 | ||||||||||||||||||
d-1-NN-13_27.qdimacs | 6 | 25 | 27 | 36 | 122 | 137 | 154 | 186 | 30541 | 21637 | 6222 | 15415 | >300 | 162.76 | 88.869 | 300 | 162.76 | 88.869 | ||||||||||||||||||
d-1-NN-13_28.qdimacs | 6 | 25 | 30 | 36 | 122 | 147 | 154 | 198 | 33157 | 23069 | 6222 | 16847 | >300 | 168.24 | 102.398 | 300 | 168.24 | 102.398 | ||||||||||||||||||
14 | d-1-NN-14_01.qdimacs | 7 | 10 | 11 | 38 | 53 | 55 | 59 | 74 | 5227 | 3628 | 1113 | 2515 | 1.08 | 18.86 | 0.62 | 1.08 | 18.86 | 0.62 | |||||||||||||||||
d-1-NN-14_02.qdimacs | 7 | 10 | 12 | 40 | 55 | 65 | 61 | 86 | 5969 | 4072 | 1155 | 2917 | 1.17 | 78.47 | 0.76 | 1.17 | 78.47 | 0.76 | ||||||||||||||||||
d-1-NN-14_03.qdimacs | 7 | 10 | 12 | 40 | 55 | 70 | 61 | 93 | 6144 | 4197 | 1155 | 3042 | 1.11 | 1.08 | 0.788 | 1.11 | 1.08 | 0.788 | ||||||||||||||||||
d-1-NN-14_04.qdimacs | 7 | 10 | 15 | 40 | 55 | 80 | 61 | 105 | 7476 | 4927 | 1155 | 3772 | 1.22 | 1.33 | 1.016 | 1.22 | 1.33 | 1.016 | ||||||||||||||||||
d-1-NN-14_05.qdimacs | 7 | 14 | 15 | 38 | 71 | 73 | 76 | 91 | 9047 | 6541 | 2059 | 4482 | 12.56 | 96.39 | 3.292 | 12.56 | 96.39 | 3.292 | ||||||||||||||||||
d-1-NN-14_06.qdimacs | 7 | 14 | 16 | 40 | 73 | 83 | 78 | 103 | 10017 | 7133 | 2117 | 5016 | 13.62 | >300.030 | 4.176 | 13.62 | 300.03 | 4.176 | ||||||||||||||||||
d-1-NN-14_07.qdimacs | 7 | 14 | 16 | 40 | 73 | 88 | 78 | 110 | 10248 | 7298 | 2117 | 5181 | 13.85 | 6.43 | 4.28 | 13.85 | 6.43 | 4.28 | ||||||||||||||||||
d-1-NN-14_08.qdimacs | 7 | 14 | 19 | 40 | 73 | 98 | 78 | 122 | 11880 | 8216 | 2117 | 6099 | 13.77 | 7.72 | 5.328 | 13.77 | 7.72 | 5.328 | ||||||||||||||||||
d-1-NN-14_09.qdimacs | 7 | 15 | 16 | 38 | 82 | 84 | 90 | 105 | 11173 | 8120 | 2542 | 5578 | 36.14 | 82.13 | 6.148 | 36.14 | 82.13 | 6.148 | ||||||||||||||||||
d-1-NN-14_10.qdimacs | 7 | 15 | 17 | 40 | 84 | 94 | 92 | 117 | 12219 | 8762 | 2604 | 6158 | 57.95 | 210.58 | 7.432 | 57.95 | 210.58 | 7.432 | ||||||||||||||||||
d-1-NN-14_11.qdimacs | 7 | 15 | 17 | 40 | 84 | 99 | 92 | 124 | 12464 | 8937 | 2604 | 6333 | 53.7 | 10.84 | 7.496 | 53.7 | 10.84 | 7.496 | ||||||||||||||||||
d-1-NN-14_12.qdimacs | 7 | 15 | 20 | 40 | 84 | 109 | 92 | 136 | 14228 | 9941 | 2604 | 7337 | 63.54 | 12.66 | 9.384 | 63.54 | 12.66 | 9.384 | ||||||||||||||||||
d-1-NN-14_13.qdimacs | 7 | 17 | 18 | 38 | 95 | 97 | 107 | 122 | 14509 | 10677 | 3325 | 7352 | >300 | 173.59 | 10.96 | 300 | 173.59 | 10.96 | ||||||||||||||||||
d-1-NN-14_14.qdimacs | 7 | 17 | 19 | 40 | 97 | 107 | 109 | 134 | 15685 | 11401 | 3395 | 8006 | >300 | >300.130 | 12.548 | 300 | 300.13 | 12.548 | ||||||||||||||||||
d-1-NN-14_15.qdimacs | 7 | 17 | 19 | 40 | 97 | 112 | 109 | 141 | 15958 | 11596 | 3395 | 8201 | >300 | 20.56 | 12.864 | 300 | 20.56 | 12.864 | ||||||||||||||||||
d-1-NN-14_16.qdimacs | 7 | 17 | 22 | 40 | 97 | 122 | 109 | 153 | 17920 | 12718 | 3395 | 9323 | >300 | 22.34 | 15.944 | 300 | 22.34 | 15.944 | ||||||||||||||||||
d-1-NN-14_17.qdimacs | 7 | 21 | 22 | 38 | 105 | 107 | 124 | 139 | 20293 | 14684 | 4515 | 10169 | >300 | >300.250 | 31.689 | 300 | 300.25 | 31.689 | ||||||||||||||||||
d-1-NN-14_18.qdimacs | 7 | 21 | 23 | 40 | 107 | 117 | 126 | 151 | 21695 | 15540 | 4601 | 10939 | >300 | >300.080 | 36.846 | 300 | 300.08 | 36.846 | ||||||||||||||||||
d-1-NN-14_19.qdimacs | 7 | 21 | 23 | 40 | 107 | 122 | 126 | 158 | 22024 | 15775 | 4601 | 11174 | >300 | 49.77 | 37.358 | 300 | 49.77 | 37.358 | ||||||||||||||||||
d-1-NN-14_20.qdimacs | 7 | 21 | 26 | 40 | 107 | 132 | 126 | 170 | 24280 | 17037 | 4601 | 12436 | >300 | 52.97 | 43.85 | 300 | 52.97 | 43.85 | ||||||||||||||||||
d-1-NN-14_21.qdimacs | 7 | 23 | 24 | 38 | 112 | 114 | 137 | 152 | 24106 | 17313 | 5264 | 12049 | >300 | >300.240 | 55.891 | 300 | 300.24 | 55.891 | ||||||||||||||||||
d-1-NN-14_22.qdimacs | 7 | 23 | 25 | 40 | 114 | 124 | 139 | 164 | 25630 | 18239 | 5358 | 12881 | >300 | >300.130 | 63.447 | 300 | 300.13 | 63.447 | ||||||||||||||||||
d-1-NN-14_23.qdimacs | 7 | 23 | 25 | 40 | 114 | 129 | 139 | 171 | 25987 | 18494 | 5358 | 13136 | >300 | 78.4 | 64.679 | 300 | 78.4 | 64.679 | ||||||||||||||||||
d-1-NN-14_24.qdimacs | 7 | 23 | 28 | 40 | 114 | 139 | 139 | 183 | 28417 | 19838 | 5358 | 14480 | >300 | 82.17 | 75.888 | 300 | 82.17 | 75.888 | ||||||||||||||||||
d-1-NN-14_25.qdimacs | 7 | 25 | 26 | 38 | 120 | 122 | 152 | 167 | 28506 | 20364 | 6120 | 14244 | >300 | >300.150 | 77 | 300 | 300.15 | 77 | ||||||||||||||||||
d-1-NN-14_26.qdimacs | 7 | 25 | 27 | 40 | 122 | 132 | 154 | 179 | 30156 | 21362 | 6222 | 15140 | >300 | >300.060 | 87.373 | 300 | 300.06 | 87.373 | ||||||||||||||||||
d-1-NN-14_27.qdimacs | 7 | 25 | 27 | 40 | 122 | 137 | 154 | 186 | 30541 | 21637 | 6222 | 15415 | >300 | 115.83 | 88.837 | 300 | 115.83 | 88.837 | ||||||||||||||||||
d-1-NN-14_28.qdimacs | 7 | 25 | 30 | 40 | 122 | 147 | 154 | 198 | 33157 | 23069 | 6222 | 16847 | >300 | 120.59 | 103.25 | 300 | 120.59 | 103.25 | ||||||||||||||||||
15 | d-1-NN-15_01.qdimacs | 10 | 13 | 14 | 48 | 63 | 65 | 59 | 74 | 6835 | 5193 | 1701 | 3492 | 4.96 | 44.44 | 1.184 | 4.96 | 44.44 | 1.184 | |||||||||||||||||
d-1-NN-15_02.qdimacs | 10 | 13 | 15 | 50 | 65 | 75 | 61 | 86 | 7721 | 5741 | 1755 | 3986 | 5.07 | 179.72 | 1.476 | 5.07 | 179.72 | 1.476 | ||||||||||||||||||
d-1-NN-15_03.qdimacs | 10 | 13 | 15 | 50 | 65 | 80 | 61 | 93 | 7938 | 5896 | 1755 | 4141 | 5.28 | 2.64 | 1.492 | 5.28 | 2.64 | 1.492 | ||||||||||||||||||
d-1-NN-15_04.qdimacs | 10 | 13 | 18 | 50 | 65 | 90 | 61 | 105 | 9414 | 6746 | 1755 | 4991 | 5.11 | 3.33 | 2.06 | 5.11 | 3.33 | 2.06 | ||||||||||||||||||
d-1-NN-15_05.qdimacs | 10 | 17 | 18 | 48 | 81 | 83 | 76 | 91 | 11087 | 8584 | 2835 | 5749 | >300 | 182.24 | 6.036 | 300 | 182.24 | 6.036 | ||||||||||||||||||
d-1-NN-15_06.qdimacs | 10 | 17 | 19 | 50 | 83 | 93 | 78 | 103 | 12201 | 9280 | 2905 | 6375 | >300 | >300.070 | 7.28 | 300 | 300.07 | 7.28 | ||||||||||||||||||
d-1-NN-15_07.qdimacs | 10 | 17 | 19 | 50 | 83 | 98 | 78 | 110 | 12474 | 9475 | 2905 | 6570 | >300 | 10.76 | 7.508 | 300 | 10.76 | 7.508 | ||||||||||||||||||
d-1-NN-15_08.qdimacs | 10 | 17 | 22 | 50 | 83 | 108 | 78 | 122 | 14250 | 10513 | 2905 | 7608 | >300 | 12.15 | 9.584 | 300 | 12.15 | 9.584 | ||||||||||||||||||
d-1-NN-15_09.qdimacs | 10 | 17 | 18 | 49 | 90 | 92 | 90 | 105 | 12725 | 9722 | 3150 | 6572 | >300 | 150.6 | 9.532 | 300 | 150.6 | 9.532 | ||||||||||||||||||
d-1-NN-15_10.qdimacs | 10 | 17 | 19 | 51 | 92 | 102 | 92 | 117 | 13867 | 10436 | 3220 | 7216 | >300 | >300.020 | 10.992 | 300 | 300.02 | 10.992 | ||||||||||||||||||
d-1-NN-15_11.qdimacs | 10 | 17 | 19 | 51 | 92 | 107 | 92 | 124 | 14140 | 10631 | 3220 | 7411 | >300 | 15.19 | 11.144 | 300 | 15.19 | 11.144 | ||||||||||||||||||
d-1-NN-15_12.qdimacs | 10 | 17 | 22 | 51 | 92 | 117 | 92 | 136 | 16000 | 11723 | 3220 | 8503 | >300 | 16.96 | 13.732 | 300 | 16.96 | 13.732 | ||||||||||||||||||
d-1-NN-15_13.qdimacs | 10 | 17 | 18 | 50 | 95 | 97 | 107 | 122 | 14509 | 10677 | 3325 | 7352 | >300 | >300.020 | 11.116 | 300 | 300.02 | 11.116 | ||||||||||||||||||
d-1-NN-15_14.qdimacs | 10 | 17 | 19 | 52 | 97 | 107 | 109 | 134 | 15685 | 11401 | 3395 | 8006 | >300 | >300.050 | 12.656 | 300 | 300.05 | 12.656 | ||||||||||||||||||
d-1-NN-15_15.qdimacs | 10 | 17 | 19 | 52 | 97 | 112 | 109 | 141 | 15958 | 11596 | 3395 | 8201 | >300 | 21.7 | 13.332 | 300 | 21.7 | 13.332 | ||||||||||||||||||
d-1-NN-15_16.qdimacs | 10 | 17 | 22 | 52 | 97 | 122 | 109 | 153 | 17920 | 12718 | 3395 | 9323 | >300 | 23.63 | 15.952 | 300 | 23.63 | 15.952 | ||||||||||||||||||
d-1-NN-15_17.qdimacs | 10 | 21 | 22 | 50 | 105 | 107 | 124 | 139 | 20293 | 14684 | 4515 | 10169 | >300 | >300.080 | 31.941 | 300 | 300.08 | 31.941 | ||||||||||||||||||
d-1-NN-15_18.qdimacs | 10 | 21 | 23 | 52 | 107 | 117 | 126 | 151 | 21695 | 15540 | 4601 | 10939 | >300 | >300.210 | 37.106 | 300 | 300.21 | 37.106 | ||||||||||||||||||
d-1-NN-15_19.qdimacs | 10 | 21 | 23 | 52 | 107 | 122 | 126 | 158 | 22024 | 15775 | 4601 | 11174 | >300 | 53.16 | 37.574 | 300 | 53.16 | 37.574 | ||||||||||||||||||
d-1-NN-15_20.qdimacs | 10 | 21 | 26 | 52 | 107 | 132 | 126 | 170 | 24280 | 17037 | 4601 | 12436 | >300 | 56.86 | 44.134 | 300 | 56.86 | 44.134 | ||||||||||||||||||
d-1-NN-15_21.qdimacs | 10 | 23 | 24 | 50 | 112 | 114 | 137 | 152 | 24106 | 17313 | 5264 | 12049 | >300 | >300.170 | 55.807 | 300 | 300.17 | 55.807 | ||||||||||||||||||
d-1-NN-15_22.qdimacs | 10 | 23 | 25 | 52 | 114 | 124 | 139 | 164 | 25630 | 18239 | 5358 | 12881 | >300 | >300.080 | 64.223 | 300 | 300.08 | 64.223 | ||||||||||||||||||
d-1-NN-15_23.qdimacs | 10 | 23 | 25 | 52 | 114 | 129 | 139 | 171 | 25987 | 18494 | 5358 | 13136 | >300 | 83.73 | 65.303 | 300 | 83.73 | 65.303 | ||||||||||||||||||
d-1-NN-15_24.qdimacs | 10 | 23 | 28 | 52 | 114 | 139 | 139 | 183 | 28417 | 19838 | 5358 | 14480 | >300 | 88.79 | 76.02 | 300 | 88.79 | 76.02 | ||||||||||||||||||
d-1-NN-15_25.qdimacs | 10 | 25 | 26 | 50 | 120 | 122 | 152 | 167 | 28506 | 20364 | 6120 | 14244 | >300 | >300.140 | 77.396 | 300 | 300.14 | 77.396 | ||||||||||||||||||
d-1-NN-15_26.qdimacs | 10 | 25 | 27 | 52 | 122 | 132 | 154 | 179 | 30156 | 21362 | 6222 | 15140 | >300 | >300.100 | 88.453 | 300 | 300.1 | 88.453 | ||||||||||||||||||
d-1-NN-15_27.qdimacs | 10 | 25 | 27 | 52 | 122 | 137 | 154 | 186 | 30541 | 21637 | 6222 | 15415 | >300 | 125.99 | 90.061 | 300 | 125.99 | 90.061 | ||||||||||||||||||
d-1-NN-15_28.qdimacs | 10 | 25 | 30 | 52 | 122 | 147 | 154 | 198 | 33157 | 23069 | 6222 | 16847 | >300 | 131.32 | 103.77 | 300 | 131.32 | 103.77 | ||||||||||||||||||
205 | 346 | 420 | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||