deductive conservativity (-d -r1 -r2) | solved? | |||||||||||||||||||||||||||||||||||||
sigN | name | roles | b-concepts | axioms | clause | variables | time | graph data | ||||||||||||||||||||||||||||||
sig | 1 | 12 | sig | 1 | 12 | 1 | 12 | total | A | E | sKizzo | sKizzo11 | 2clsQ | yquaffle | 0 | sKizzo | sKizzo11 | 2clsQ | yquaffle | |||||||||||||||||||
01 | d-1-NN-01_01.qdimacs | 1 | 8 | 9 | 5 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1041 | 0.39 | 0.192 | #N/A | #N/A | 0.39 | 0.192 | |||||||||||||||||||
d-1-NN-01_02.qdimacs | 1 | 8 | 11 | 5 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1283 | 0.66 | 0.216 | #N/A | #N/A | 0.66 | 0.216 | ||||||||||||||||||||
d-1-NN-01_03.qdimacs | 1 | 8 | 12 | 5 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1461 | 0.74 | 0.256 | #N/A | #N/A | 0.74 | 0.256 | ||||||||||||||||||||
d-1-NN-01_04.qdimacs | 1 | 8 | 15 | 5 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1831 | 1.13 | 0.336 | #N/A | #N/A | 1.13 | 0.336 | ||||||||||||||||||||
d-1-NN-01_05.qdimacs | 1 | 12 | 13 | 5 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1958 | 1.46 | 0.904 | #N/A | #N/A | 1.46 | 0.904 | ||||||||||||||||||||
d-1-NN-01_06.qdimacs | 1 | 12 | 15 | 5 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2284 | 1.91 | 0.96 | #N/A | #N/A | 1.91 | 0.96 | ||||||||||||||||||||
d-1-NN-01_07.qdimacs | 1 | 12 | 16 | 5 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2516 | 2.22 | 1.108 | #N/A | #N/A | 2.22 | 1.108 | ||||||||||||||||||||
d-1-NN-01_08.qdimacs | 1 | 12 | 19 | 5 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2980 | 2.89 | 1.496 | #N/A | #N/A | 2.89 | 1.496 | ||||||||||||||||||||
d-1-NN-01_09.qdimacs | 1 | 13 | 14 | 5 | 76 | 78 | 90 | 105 | 5416 | 3534 | 1064 | 2465 | 2.62 | 1.596 | #N/A | #N/A | 2.62 | 1.596 | ||||||||||||||||||||
d-1-NN-01_10.qdimacs | 1 | 13 | 16 | 5 | 76 | 90 | 90 | 117 | 6040 | 3894 | 1064 | 2825 | 3.87 | 1.932 | #N/A | #N/A | 3.87 | 1.932 | ||||||||||||||||||||
d-1-NN-01_11.qdimacs | 1 | 13 | 17 | 5 | 76 | 99 | 90 | 124 | 6364 | 4146 | 1064 | 3077 | 4.74 | 2.384 | #N/A | #N/A | 4.74 | 2.384 | ||||||||||||||||||||
d-1-NN-01_12.qdimacs | 1 | 13 | 20 | 5 | 76 | 109 | 90 | 136 | 7255 | 4653 | 1064 | 3584 | 6.58 | 2.996 | #N/A | #N/A | 6.58 | 2.996 | ||||||||||||||||||||
d-1-NN-01_13.qdimacs | 1 | 15 | 16 | 5 | 89 | 91 | 107 | 122 | 7119 | 4729 | 1424 | 3300 | 7.44 | 3.212 | #N/A | #N/A | 7.44 | 3.212 | ||||||||||||||||||||
d-1-NN-01_14.qdimacs | 1 | 15 | 18 | 5 | 89 | 103 | 107 | 134 | 7825 | 5139 | 1424 | 3710 | 9.51 | 3.916 | #N/A | #N/A | 9.51 | 3.916 | ||||||||||||||||||||
d-1-NN-01_15.qdimacs | 1 | 15 | 19 | 5 | 89 | 112 | 107 | 141 | 8188 | 5422 | 1424 | 3993 | 11.49 | 4.192 | #N/A | #N/A | 11.49 | 4.192 | ||||||||||||||||||||
d-1-NN-01_16.qdimacs | 1 | 15 | 22 | 5 | 89 | 122 | 107 | 153 | 9178 | 5988 | 1424 | 4559 | 15.28 | 5.396 | #N/A | #N/A | 15.28 | 5.396 | ||||||||||||||||||||
d-1-NN-01_17.qdimacs | 1 | 19 | 20 | 5 | 99 | 101 | 124 | 139 | 10204 | 6639 | 1980 | 4654 | 25.86 | 7.5 | #N/A | #N/A | 25.86 | 7.5 | ||||||||||||||||||||
d-1-NN-01_18.qdimacs | 1 | 19 | 22 | 5 | 99 | 113 | 124 | 151 | 11040 | 7117 | 1980 | 5132 | 32.64 | 8.24 | #N/A | #N/A | 32.64 | 8.24 | ||||||||||||||||||||
d-1-NN-01_19.qdimacs | 1 | 19 | 23 | 5 | 99 | 122 | 124 | 158 | 11464 | 7446 | 1980 | 5461 | 36.37 | 9.432 | #N/A | #N/A | 36.37 | 9.432 | ||||||||||||||||||||
d-1-NN-01_20.qdimacs | 1 | 19 | 26 | 5 | 99 | 132 | 124 | 170 | 12601 | 8082 | 1980 | 6097 | 44.48 | 10.608 | #N/A | #N/A | 44.48 | 10.608 | ||||||||||||||||||||
d-1-NN-01_21.qdimacs | 1 | 21 | 22 | 5 | 106 | 108 | 137 | 152 | 12213 | 7894 | 2332 | 5557 | 115.57 | 12.004 | #N/A | #N/A | 115.57 | 12.004 | ||||||||||||||||||||
d-1-NN-01_22.qdimacs | 1 | 21 | 24 | 5 | 106 | 120 | 137 | 164 | 13123 | 8410 | 2332 | 6073 | >120.020 | 14.264 | #N/A | #N/A | 120.02 | 14.264 | ||||||||||||||||||||
d-1-NN-01_23.qdimacs | 1 | 21 | 25 | 5 | 106 | 129 | 137 | 171 | 13582 | 8764 | 2332 | 6427 | >120.010 | 15.096 | #N/A | #N/A | 120.01 | 15.096 | ||||||||||||||||||||
d-1-NN-01_24.qdimacs | 1 | 21 | 28 | 5 | 106 | 139 | 137 | 183 | 14806 | 9441 | 2332 | 7104 | >120.070 | 18.141 | #N/A | #N/A | 120.07 | 18.141 | ||||||||||||||||||||
d-1-NN-01_25.qdimacs | 1 | 23 | 24 | 5 | 114 | 116 | 152 | 167 | 14524 | 9354 | 2736 | 6613 | >120.010 | 19.197 | #N/A | #N/A | 120.01 | 19.197 | ||||||||||||||||||||
d-1-NN-01_26.qdimacs | 1 | 23 | 26 | 5 | 114 | 128 | 152 | 179 | 15512 | 9910 | 2736 | 7169 | >120.070 | 21.733 | #N/A | #N/A | 120.07 | 21.733 | ||||||||||||||||||||
d-1-NN-01_27.qdimacs | 1 | 23 | 27 | 5 | 114 | 137 | 152 | 186 | 16008 | 10290 | 2736 | 7549 | >120.040 | 23.677 | #N/A | #N/A | 120.04 | 23.677 | ||||||||||||||||||||
d-1-NN-01_28.qdimacs | 1 | 23 | 30 | 5 | 114 | 147 | 152 | 198 | 17325 | 11011 | 2736 | 8270 | >120.050 | 27.389 | #N/A | #N/A | 120.05 | 27.389 | ||||||||||||||||||||
02 | d-1-NN-02_01.qdimacs | 1 | 8 | 9 | 7 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1039 | 0.52 | 0.232 | #N/A | #N/A | 0.52 | 0.232 | |||||||||||||||||||
d-1-NN-02_02.qdimacs | 1 | 8 | 11 | 7 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1281 | 0.64 | 0.224 | #N/A | #N/A | 0.64 | 0.224 | ||||||||||||||||||||
d-1-NN-02_03.qdimacs | 1 | 8 | 12 | 7 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1459 | 0.83 | 0.268 | #N/A | #N/A | 0.83 | 0.268 | ||||||||||||||||||||
d-1-NN-02_04.qdimacs | 1 | 8 | 15 | 7 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1829 | 0.99 | 0.344 | #N/A | #N/A | 0.99 | 0.344 | ||||||||||||||||||||
d-1-NN-02_05.qdimacs | 1 | 12 | 13 | 7 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1956 | 1.32 | 0.836 | #N/A | #N/A | 1.32 | 0.836 | ||||||||||||||||||||
d-1-NN-02_06.qdimacs | 1 | 12 | 15 | 7 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2282 | 2.09 | 1.12 | #N/A | #N/A | 2.09 | 1.12 | ||||||||||||||||||||
d-1-NN-02_07.qdimacs | 1 | 12 | 16 | 7 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2514 | 3.12 | 1.12 | #N/A | #N/A | 3.12 | 1.12 | ||||||||||||||||||||
d-1-NN-02_08.qdimacs | 1 | 12 | 19 | 7 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2978 | 3.32 | 1.52 | #N/A | #N/A | 3.32 | 1.52 | ||||||||||||||||||||
d-1-NN-02_09.qdimacs | 1 | 13 | 14 | 7 | 76 | 78 | 90 | 105 | 5416 | 3534 | 1064 | 2463 | 2.95 | 1.372 | #N/A | #N/A | 2.95 | 1.372 | ||||||||||||||||||||
d-1-NN-02_10.qdimacs | 1 | 13 | 16 | 7 | 76 | 90 | 90 | 117 | 6040 | 3894 | 1064 | 2823 | 3.7 | 1.784 | #N/A | #N/A | 3.7 | 1.784 | ||||||||||||||||||||
d-1-NN-02_11.qdimacs | 1 | 13 | 17 | 7 | 76 | 99 | 90 | 124 | 6364 | 4146 | 1064 | 3075 | 4.85 | 1.824 | #N/A | #N/A | 4.85 | 1.824 | ||||||||||||||||||||
d-1-NN-02_12.qdimacs | 1 | 13 | 20 | 7 | 76 | 109 | 90 | 136 | 7255 | 4653 | 1064 | 3582 | 6.82 | 2.436 | #N/A | #N/A | 6.82 | 2.436 | ||||||||||||||||||||
d-1-NN-02_13.qdimacs | 1 | 15 | 16 | 7 | 89 | 91 | 107 | 122 | 7119 | 4729 | 1424 | 3298 | 7.62 | 2.388 | #N/A | #N/A | 7.62 | 2.388 | ||||||||||||||||||||
d-1-NN-02_14.qdimacs | 1 | 15 | 18 | 7 | 89 | 103 | 107 | 134 | 7825 | 5139 | 1424 | 3708 | 10.22 | 2.78 | #N/A | #N/A | 10.22 | 2.78 | ||||||||||||||||||||
d-1-NN-02_15.qdimacs | 1 | 15 | 19 | 7 | 89 | 112 | 107 | 141 | 8188 | 5422 | 1424 | 3991 | 12.2 | 3.184 | #N/A | #N/A | 12.2 | 3.184 | ||||||||||||||||||||
d-1-NN-02_16.qdimacs | 1 | 15 | 22 | 7 | 89 | 122 | 107 | 153 | 9178 | 5988 | 1424 | 4557 | 17.43 | 4.34 | #N/A | #N/A | 17.43 | 4.34 | ||||||||||||||||||||
d-1-NN-02_17.qdimacs | 1 | 19 | 20 | 7 | 99 | 101 | 124 | 139 | 10204 | 6639 | 1980 | 4652 | 24.8 | 7.108 | #N/A | #N/A | 24.8 | 7.108 | ||||||||||||||||||||
d-1-NN-02_18.qdimacs | 1 | 19 | 22 | 7 | 99 | 113 | 124 | 151 | 11040 | 7117 | 1980 | 5130 | 33.24 | 8.248 | #N/A | #N/A | 33.24 | 8.248 | ||||||||||||||||||||
d-1-NN-02_19.qdimacs | 1 | 19 | 23 | 7 | 99 | 122 | 124 | 158 | 11464 | 7446 | 1980 | 5459 | 37.35 | 9.036 | #N/A | #N/A | 37.35 | 9.036 | ||||||||||||||||||||
d-1-NN-02_20.qdimacs | 1 | 19 | 26 | 7 | 99 | 132 | 124 | 170 | 12601 | 8082 | 1980 | 6095 | 48.96 | 11.096 | #N/A | #N/A | 48.96 | 11.096 | ||||||||||||||||||||
d-1-NN-02_21.qdimacs | 1 | 21 | 22 | 7 | 106 | 108 | 137 | 152 | 12213 | 7894 | 2332 | 5555 | 114.02 | 12.06 | #N/A | #N/A | 114.02 | 12.06 | ||||||||||||||||||||
d-1-NN-02_22.qdimacs | 1 | 21 | 24 | 7 | 106 | 120 | 137 | 164 | 13123 | 8410 | 2332 | 6071 | >120.030 | 14.092 | #N/A | #N/A | 120.03 | 14.092 | ||||||||||||||||||||
d-1-NN-02_23.qdimacs | 1 | 21 | 25 | 7 | 106 | 129 | 137 | 171 | 13582 | 8764 | 2332 | 6425 | >120.080 | 15.332 | #N/A | #N/A | 120.08 | 15.332 | ||||||||||||||||||||
d-1-NN-02_24.qdimacs | 1 | 21 | 28 | 7 | 106 | 139 | 137 | 183 | 14806 | 9441 | 2332 | 7102 | >120.020 | 18.245 | #N/A | #N/A | 120.02 | 18.245 | ||||||||||||||||||||
d-1-NN-02_25.qdimacs | 1 | 23 | 24 | 7 | 114 | 116 | 152 | 167 | 14524 | 9354 | 2736 | 6611 | >120.050 | 19.009 | #N/A | #N/A | 120.05 | 19.009 | ||||||||||||||||||||
d-1-NN-02_26.qdimacs | 1 | 23 | 26 | 7 | 114 | 128 | 152 | 179 | 15512 | 9910 | 2736 | 7167 | >120.020 | 22.117 | #N/A | #N/A | 120.02 | 22.117 | ||||||||||||||||||||
d-1-NN-02_27.qdimacs | 1 | 23 | 27 | 7 | 114 | 137 | 152 | 186 | 16008 | 10290 | 2736 | 7547 | >120.030 | 23.685 | #N/A | #N/A | 120.03 | 23.685 | ||||||||||||||||||||
d-1-NN-02_28.qdimacs | 1 | 23 | 30 | 7 | 114 | 147 | 152 | 198 | 17325 | 11011 | 2736 | 8268 | >120.020 | 26.989 | #N/A | #N/A | 120.02 | 26.989 | ||||||||||||||||||||
03 | d-1-NN-03_01.qdimacs | 2 | 8 | 9 | 11 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1035 | 0.61 | 0.2 | #N/A | #N/A | 0.61 | 0.2 | |||||||||||||||||||
d-1-NN-03_02.qdimacs | 2 | 8 | 11 | 11 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1277 | 0.71 | 0.24 | #N/A | #N/A | 0.71 | 0.24 | ||||||||||||||||||||
d-1-NN-03_03.qdimacs | 2 | 8 | 12 | 11 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1455 | 0.77 | 0.332 | #N/A | #N/A | 0.77 | 0.332 | ||||||||||||||||||||
d-1-NN-03_04.qdimacs | 2 | 8 | 15 | 11 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1825 | 0.92 | 0.352 | #N/A | #N/A | 0.92 | 0.352 | ||||||||||||||||||||
d-1-NN-03_05.qdimacs | 2 | 12 | 13 | 11 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1952 | 2.52 | 0.832 | #N/A | #N/A | 2.52 | 0.832 | ||||||||||||||||||||
d-1-NN-03_06.qdimacs | 2 | 12 | 15 | 11 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2278 | 3.23 | 0.996 | #N/A | #N/A | 3.23 | 0.996 | ||||||||||||||||||||
d-1-NN-03_07.qdimacs | 2 | 12 | 16 | 11 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2510 | 3 | 1.672 | #N/A | #N/A | 3 | 1.672 | ||||||||||||||||||||
d-1-NN-03_08.qdimacs | 2 | 12 | 19 | 11 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2974 | 5.05 | 1.436 | #N/A | #N/A | 5.05 | 1.436 | ||||||||||||||||||||
d-1-NN-03_09.qdimacs | 2 | 13 | 14 | 11 | 76 | 78 | 90 | 105 | 5416 | 3534 | 1064 | 2459 | 3.5 | 1.464 | #N/A | #N/A | 3.5 | 1.464 | ||||||||||||||||||||
d-1-NN-03_10.qdimacs | 2 | 13 | 16 | 11 | 76 | 90 | 90 | 117 | 6040 | 3894 | 1064 | 2819 | 4.71 | 1.828 | #N/A | #N/A | 4.71 | 1.828 | ||||||||||||||||||||
d-1-NN-03_11.qdimacs | 2 | 13 | 17 | 11 | 76 | 99 | 90 | 124 | 6364 | 4146 | 1064 | 3071 | 5.25 | 1.86 | #N/A | #N/A | 5.25 | 1.86 | ||||||||||||||||||||
d-1-NN-03_12.qdimacs | 2 | 13 | 20 | 11 | 76 | 109 | 90 | 136 | 7255 | 4653 | 1064 | 3578 | 6.65 | 2.524 | #N/A | #N/A | 6.65 | 2.524 | ||||||||||||||||||||
d-1-NN-03_13.qdimacs | 2 | 15 | 16 | 11 | 89 | 91 | 107 | 122 | 7119 | 4729 | 1424 | 3294 | 10.83 | 2.496 | #N/A | #N/A | 10.83 | 2.496 | ||||||||||||||||||||
d-1-NN-03_14.qdimacs | 2 | 15 | 18 | 11 | 89 | 103 | 107 | 134 | 7825 | 5139 | 1424 | 3704 | 12.48 | 3.02 | #N/A | #N/A | 12.48 | 3.02 | ||||||||||||||||||||
d-1-NN-03_15.qdimacs | 2 | 15 | 19 | 11 | 89 | 112 | 107 | 141 | 8188 | 5422 | 1424 | 3987 | 10.79 | 3.288 | #N/A | #N/A | 10.79 | 3.288 | ||||||||||||||||||||
d-1-NN-03_16.qdimacs | 2 | 15 | 22 | 11 | 89 | 122 | 107 | 153 | 9178 | 5988 | 1424 | 4553 | 14.8 | 4.148 | #N/A | #N/A | 14.8 | 4.148 | ||||||||||||||||||||
d-1-NN-03_17.qdimacs | 2 | 19 | 20 | 11 | 99 | 101 | 124 | 139 | 10204 | 6639 | 1980 | 4648 | 38.25 | 7.324 | #N/A | #N/A | 38.25 | 7.324 | ||||||||||||||||||||
d-1-NN-03_18.qdimacs | 2 | 19 | 22 | 11 | 99 | 113 | 124 | 151 | 11040 | 7117 | 1980 | 5126 | 45.59 | 8.856 | #N/A | #N/A | 45.59 | 8.856 | ||||||||||||||||||||
d-1-NN-03_19.qdimacs | 2 | 19 | 23 | 11 | 99 | 122 | 124 | 158 | 11464 | 7446 | 1980 | 5455 | 66.23 | 9.168 | #N/A | #N/A | 66.23 | 9.168 | ||||||||||||||||||||
d-1-NN-03_20.qdimacs | 2 | 19 | 26 | 11 | 99 | 132 | 124 | 170 | 12601 | 8082 | 1980 | 6091 | 79.98 | 11.056 | #N/A | #N/A | 79.98 | 11.056 | ||||||||||||||||||||
d-1-NN-03_21.qdimacs | 2 | 21 | 22 | 11 | 106 | 108 | 137 | 152 | 12213 | 7894 | 2332 | 5551 | >120.010 | 12.604 | #N/A | #N/A | 120.01 | 12.604 | ||||||||||||||||||||
d-1-NN-03_22.qdimacs | 2 | 21 | 24 | 11 | 106 | 120 | 137 | 164 | 13123 | 8410 | 2332 | 6067 | >120.100 | 14.204 | #N/A | #N/A | 120.1 | 14.204 | ||||||||||||||||||||
d-1-NN-03_23.qdimacs | 2 | 21 | 25 | 11 | 106 | 129 | 137 | 171 | 13582 | 8764 | 2332 | 6421 | >120.030 | 15.7 | #N/A | #N/A | 120.03 | 15.7 | ||||||||||||||||||||
d-1-NN-03_24.qdimacs | 2 | 21 | 28 | 11 | 106 | 139 | 137 | 183 | 14806 | 9441 | 2332 | 7098 | >120.020 | 18.237 | #N/A | #N/A | 120.02 | 18.237 | ||||||||||||||||||||
d-1-NN-03_25.qdimacs | 2 | 23 | 24 | 11 | 114 | 116 | 152 | 167 | 14524 | 9354 | 2736 | 6607 | >120.010 | 19.469 | #N/A | #N/A | 120.01 | 19.469 | ||||||||||||||||||||
d-1-NN-03_26.qdimacs | 2 | 23 | 26 | 11 | 114 | 128 | 152 | 179 | 15512 | 9910 | 2736 | 7163 | >120.060 | 22.337 | #N/A | #N/A | 120.06 | 22.337 | ||||||||||||||||||||
d-1-NN-03_27.qdimacs | 2 | 23 | 27 | 11 | 114 | 137 | 152 | 186 | 16008 | 10290 | 2736 | 7543 | >120.040 | 23.601 | #N/A | #N/A | 120.04 | 23.601 | ||||||||||||||||||||
d-1-NN-03_28.qdimacs | 2 | 23 | 30 | 11 | 114 | 147 | 152 | 198 | 17325 | 11011 | 2736 | 8264 | >120.050 | 27.817 | #N/A | #N/A | 120.05 | 27.817 | ||||||||||||||||||||
04 | d-1-NN-04_01.qdimacs | 3 | 8 | 9 | 15 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1031 | 0.55 | 0.184 | #N/A | #N/A | 0.55 | 0.184 | |||||||||||||||||||
d-1-NN-04_02.qdimacs | 3 | 8 | 11 | 15 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1273 | 0.71 | 0.208 | #N/A | #N/A | 0.71 | 0.208 | ||||||||||||||||||||
d-1-NN-04_03.qdimacs | 3 | 8 | 12 | 15 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1451 | 0.52 | 0.268 | #N/A | #N/A | 0.52 | 0.268 | ||||||||||||||||||||
d-1-NN-04_04.qdimacs | 3 | 8 | 15 | 15 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1821 | 0.7 | 0.392 | #N/A | #N/A | 0.7 | 0.392 | ||||||||||||||||||||
d-1-NN-04_05.qdimacs | 3 | 12 | 13 | 15 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1948 | 2.79 | 0.788 | #N/A | #N/A | 2.79 | 0.788 | ||||||||||||||||||||
d-1-NN-04_06.qdimacs | 3 | 12 | 15 | 15 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2274 | 3.23 | 0.916 | #N/A | #N/A | 3.23 | 0.916 | ||||||||||||||||||||
d-1-NN-04_07.qdimacs | 3 | 12 | 16 | 15 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2506 | 3.21 | 1.172 | #N/A | #N/A | 3.21 | 1.172 | ||||||||||||||||||||
d-1-NN-04_08.qdimacs | 3 | 12 | 19 | 15 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2970 | 4.64 | 1.384 | #N/A | #N/A | 4.64 | 1.384 | ||||||||||||||||||||
d-1-NN-04_09.qdimacs | 3 | 13 | 14 | 15 | 76 | 78 | 90 | 105 | 5416 | 3534 | 1064 | 2455 | 4.41 | 1.448 | #N/A | #N/A | 4.41 | 1.448 | ||||||||||||||||||||
d-1-NN-04_10.qdimacs | 3 | 13 | 16 | 15 | 76 | 90 | 90 | 117 | 6040 | 3894 | 1064 | 2815 | 6.61 | 1.608 | #N/A | #N/A | 6.61 | 1.608 | ||||||||||||||||||||
d-1-NN-04_11.qdimacs | 3 | 13 | 17 | 15 | 76 | 99 | 90 | 124 | 6364 | 4146 | 1064 | 3067 | 5.87 | 1.976 | #N/A | #N/A | 5.87 | 1.976 | ||||||||||||||||||||
d-1-NN-04_12.qdimacs | 3 | 13 | 20 | 15 | 76 | 109 | 90 | 136 | 7255 | 4653 | 1064 | 3574 | 8.03 | 2.828 | #N/A | #N/A | 8.03 | 2.828 | ||||||||||||||||||||
d-1-NN-04_13.qdimacs | 3 | 15 | 16 | 15 | 89 | 91 | 107 | 122 | 7119 | 4729 | 1424 | 3290 | 11.52 | 2.304 | #N/A | #N/A | 11.52 | 2.304 | ||||||||||||||||||||
d-1-NN-04_14.qdimacs | 3 | 15 | 18 | 15 | 89 | 103 | 107 | 134 | 7825 | 5139 | 1424 | 3700 | 14.76 | 2.808 | #N/A | #N/A | 14.76 | 2.808 | ||||||||||||||||||||
d-1-NN-04_15.qdimacs | 3 | 15 | 19 | 15 | 89 | 112 | 107 | 141 | 8188 | 5422 | 1424 | 3983 | 15.84 | 3.112 | #N/A | #N/A | 15.84 | 3.112 | ||||||||||||||||||||
d-1-NN-04_16.qdimacs | 3 | 15 | 22 | 15 | 89 | 122 | 107 | 153 | 9178 | 5988 | 1424 | 4549 | 20.68 | 3.852 | #N/A | #N/A | 20.68 | 3.852 | ||||||||||||||||||||
d-1-NN-04_17.qdimacs | 3 | 19 | 20 | 15 | 99 | 101 | 124 | 139 | 10204 | 6639 | 1980 | 4644 | 41.98 | 7.088 | #N/A | #N/A | 41.98 | 7.088 | ||||||||||||||||||||
d-1-NN-04_18.qdimacs | 3 | 19 | 22 | 15 | 99 | 113 | 124 | 151 | 11040 | 7117 | 1980 | 5122 | 52.15 | 8.212 | #N/A | #N/A | 52.15 | 8.212 | ||||||||||||||||||||
d-1-NN-04_19.qdimacs | 3 | 19 | 23 | 15 | 99 | 122 | 124 | 158 | 11464 | 7446 | 1980 | 5451 | 84.48 | 9.46 | #N/A | #N/A | 84.48 | 9.46 | ||||||||||||||||||||
d-1-NN-04_20.qdimacs | 3 | 19 | 26 | 15 | 99 | 132 | 124 | 170 | 12601 | 8082 | 1980 | 6087 | 102.84 | 10.816 | #N/A | #N/A | 102.84 | 10.816 | ||||||||||||||||||||
d-1-NN-04_21.qdimacs | 3 | 21 | 22 | 15 | 106 | 108 | 137 | 152 | 12213 | 7894 | 2332 | 5547 | >120.070 | 12.068 | #N/A | #N/A | 120.07 | 12.068 | ||||||||||||||||||||
d-1-NN-04_22.qdimacs | 3 | 21 | 24 | 15 | 106 | 120 | 137 | 164 | 13123 | 8410 | 2332 | 6063 | >120.070 | 14.248 | #N/A | #N/A | 120.07 | 14.248 | ||||||||||||||||||||
d-1-NN-04_23.qdimacs | 3 | 21 | 25 | 15 | 106 | 129 | 137 | 171 | 13582 | 8764 | 2332 | 6417 | >120.080 | 15.152 | #N/A | #N/A | 120.08 | 15.152 | ||||||||||||||||||||
d-1-NN-04_24.qdimacs | 3 | 21 | 28 | 15 | 106 | 139 | 137 | 183 | 14806 | 9441 | 2332 | 7094 | >120.060 | 18.213 | #N/A | #N/A | 120.06 | 18.213 | ||||||||||||||||||||
d-1-NN-04_25.qdimacs | 3 | 23 | 24 | 15 | 114 | 116 | 152 | 167 | 14524 | 9354 | 2736 | 6603 | >120.050 | 18.933 | #N/A | #N/A | 120.05 | 18.933 | ||||||||||||||||||||
d-1-NN-04_26.qdimacs | 3 | 23 | 26 | 15 | 114 | 128 | 152 | 179 | 15512 | 9910 | 2736 | 7159 | >120.040 | 22.085 | #N/A | #N/A | 120.04 | 22.085 | ||||||||||||||||||||
d-1-NN-04_27.qdimacs | 3 | 23 | 27 | 15 | 114 | 137 | 152 | 186 | 16008 | 10290 | 2736 | 7539 | >120.010 | 23.789 | #N/A | #N/A | 120.01 | 23.789 | ||||||||||||||||||||
d-1-NN-04_28.qdimacs | 3 | 23 | 30 | 15 | 114 | 147 | 152 | 198 | 17325 | 11011 | 2736 | 8260 | >120.070 | 27.201 | #N/A | #N/A | 120.07 | 27.201 | ||||||||||||||||||||
05 | d-1-NN-05_01.qdimacs | 2 | 8 | 9 | 13 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1033 | 0.58 | 0.204 | #N/A | #N/A | 0.58 | 0.204 | |||||||||||||||||||
d-1-NN-05_02.qdimacs | 2 | 8 | 11 | 13 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1275 | 0.71 | 0.248 | #N/A | #N/A | 0.71 | 0.248 | ||||||||||||||||||||
d-1-NN-05_03.qdimacs | 2 | 8 | 12 | 13 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1453 | 0.92 | 0.284 | #N/A | #N/A | 0.92 | 0.284 | ||||||||||||||||||||
d-1-NN-05_04.qdimacs | 2 | 8 | 15 | 13 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1823 | 1.23 | 0.364 | #N/A | #N/A | 1.23 | 0.364 | ||||||||||||||||||||
d-1-NN-05_05.qdimacs | 2 | 12 | 13 | 13 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1950 | 2.15 | 0.948 | #N/A | #N/A | 2.15 | 0.948 | ||||||||||||||||||||
d-1-NN-05_06.qdimacs | 2 | 12 | 15 | 13 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2276 | 2.87 | 1.032 | #N/A | #N/A | 2.87 | 1.032 | ||||||||||||||||||||
d-1-NN-05_07.qdimacs | 2 | 12 | 16 | 13 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2508 | 4.18 | 1.156 | #N/A | #N/A | 4.18 | 1.156 | ||||||||||||||||||||
d-1-NN-05_08.qdimacs | 2 | 12 | 19 | 13 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2972 | 5.21 | 1.568 | #N/A | #N/A | 5.21 | 1.568 | ||||||||||||||||||||
d-1-NN-05_09.qdimacs | 2 | 13 | 14 | 13 | 76 | 78 | 90 | 105 | 5416 | 3534 | 1064 | 2457 | 3.83 | 1.52 | #N/A | #N/A | 3.83 | 1.52 | ||||||||||||||||||||
d-1-NN-05_10.qdimacs | 2 | 13 | 16 | 13 | 76 | 90 | 90 | 117 | 6040 | 3894 | 1064 | 2817 | 4.91 | 1.768 | #N/A | #N/A | 4.91 | 1.768 | ||||||||||||||||||||
d-1-NN-05_11.qdimacs | 2 | 13 | 17 | 13 | 76 | 99 | 90 | 124 | 6364 | 4146 | 1064 | 3069 | 6.44 | 2.072 | #N/A | #N/A | 6.44 | 2.072 | ||||||||||||||||||||
d-1-NN-05_12.qdimacs | 2 | 13 | 20 | 13 | 76 | 109 | 90 | 136 | 7255 | 4653 | 1064 | 3576 | 8.96 | 2.556 | #N/A | #N/A | 8.96 | 2.556 | ||||||||||||||||||||
d-1-NN-05_13.qdimacs | 2 | 15 | 16 | 13 | 89 | 91 | 107 | 122 | 7119 | 4729 | 1424 | 3292 | 7.94 | 2.436 | #N/A | #N/A | 7.94 | 2.436 | ||||||||||||||||||||
d-1-NN-05_14.qdimacs | 2 | 15 | 18 | 13 | 89 | 103 | 107 | 134 | 7825 | 5139 | 1424 | 3702 | 10.35 | 2.96 | #N/A | #N/A | 10.35 | 2.96 | ||||||||||||||||||||
d-1-NN-05_15.qdimacs | 2 | 15 | 19 | 13 | 89 | 112 | 107 | 141 | 8188 | 5422 | 1424 | 3985 | 14.95 | 3.34 | #N/A | #N/A | 14.95 | 3.34 | ||||||||||||||||||||
d-1-NN-05_16.qdimacs | 2 | 15 | 22 | 13 | 89 | 122 | 107 | 153 | 9178 | 5988 | 1424 | 4551 | 20.53 | 4.432 | #N/A | #N/A | 20.53 | 4.432 | ||||||||||||||||||||
d-1-NN-05_17.qdimacs | 2 | 19 | 20 | 13 | 99 | 101 | 124 | 139 | 10204 | 6639 | 1980 | 4646 | 39.26 | 7.308 | #N/A | #N/A | 39.26 | 7.308 | ||||||||||||||||||||
d-1-NN-05_18.qdimacs | 2 | 19 | 22 | 13 | 99 | 113 | 124 | 151 | 11040 | 7117 | 1980 | 5124 | 45.49 | 8.564 | #N/A | #N/A | 45.49 | 8.564 | ||||||||||||||||||||
d-1-NN-05_19.qdimacs | 2 | 19 | 23 | 13 | 99 | 122 | 124 | 158 | 11464 | 7446 | 1980 | 5453 | 79.6 | 9.196 | #N/A | #N/A | 79.6 | 9.196 | ||||||||||||||||||||
d-1-NN-05_20.qdimacs | 2 | 19 | 26 | 13 | 99 | 132 | 124 | 170 | 12601 | 8082 | 1980 | 6089 | 92.25 | 11.488 | #N/A | #N/A | 92.25 | 11.488 | ||||||||||||||||||||
d-1-NN-05_21.qdimacs | 2 | 21 | 22 | 13 | 106 | 108 | 137 | 152 | 12213 | 7894 | 2332 | 5549 | >120.010 | 12.268 | #N/A | #N/A | 120.01 | 12.268 | ||||||||||||||||||||
d-1-NN-05_22.qdimacs | 2 | 21 | 24 | 13 | 106 | 120 | 137 | 164 | 13123 | 8410 | 2332 | 6065 | >120.080 | 14.584 | #N/A | #N/A | 120.08 | 14.584 | ||||||||||||||||||||
d-1-NN-05_23.qdimacs | 2 | 21 | 25 | 13 | 106 | 129 | 137 | 171 | 13582 | 8764 | 2332 | 6419 | >120.030 | 15.5 | #N/A | #N/A | 120.03 | 15.5 | ||||||||||||||||||||
d-1-NN-05_24.qdimacs | 2 | 21 | 28 | 13 | 106 | 139 | 137 | 183 | 14806 | 9441 | 2332 | 7096 | >120.020 | 18.541 | #N/A | #N/A | 120.02 | 18.541 | ||||||||||||||||||||
d-1-NN-05_25.qdimacs | 2 | 23 | 24 | 13 | 114 | 116 | 152 | 167 | 14524 | 9354 | 2736 | 6605 | >120.060 | 19.205 | #N/A | #N/A | 120.06 | 19.205 | ||||||||||||||||||||
d-1-NN-05_26.qdimacs | 2 | 23 | 26 | 13 | 114 | 128 | 152 | 179 | 15512 | 9910 | 2736 | 7161 | >120.080 | 22.477 | #N/A | #N/A | 120.08 | 22.477 | ||||||||||||||||||||
d-1-NN-05_27.qdimacs | 2 | 23 | 27 | 13 | 114 | 137 | 152 | 186 | 16008 | 10290 | 2736 | 7541 | >120.070 | 23.865 | #N/A | #N/A | 120.07 | 23.865 | ||||||||||||||||||||
d-1-NN-05_28.qdimacs | 2 | 23 | 30 | 13 | 114 | 147 | 152 | 198 | 17325 | 11011 | 2736 | 8262 | >120.040 | 27.629 | #N/A | #N/A | 120.04 | 27.629 | ||||||||||||||||||||
06 | d-1-NN-06_01.qdimacs | 3 | 8 | 9 | 17 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1029 | 0.09 | 0.168 | #N/A | #N/A | 0.09 | 0.168 | |||||||||||||||||||
d-1-NN-06_02.qdimacs | 3 | 8 | 11 | 17 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1271 | 0.14 | 0.2 | #N/A | #N/A | 0.14 | 0.2 | ||||||||||||||||||||
d-1-NN-06_03.qdimacs | 3 | 8 | 12 | 17 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1449 | 0.15 | 0.232 | #N/A | #N/A | 0.15 | 0.232 | ||||||||||||||||||||
d-1-NN-06_04.qdimacs | 3 | 8 | 15 | 17 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1819 | 0.15 | 0.304 | #N/A | #N/A | 0.15 | 0.304 | ||||||||||||||||||||
d-1-NN-06_05.qdimacs | 3 | 12 | 13 | 17 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1946 | 0.31 | 1.18 | #N/A | #N/A | 0.31 | 1.18 | ||||||||||||||||||||
d-1-NN-06_06.qdimacs | 3 | 12 | 15 | 17 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2272 | 0.33 | 0.896 | #N/A | #N/A | 0.33 | 0.896 | ||||||||||||||||||||
d-1-NN-06_07.qdimacs | 3 | 12 | 16 | 17 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2504 | 0.38 | 1.112 | #N/A | #N/A | 0.38 | 1.112 | ||||||||||||||||||||
d-1-NN-06_08.qdimacs | 3 | 12 | 19 | 17 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2968 | 0.57 | 1.276 | #N/A | #N/A | 0.57 | 1.276 | ||||||||||||||||||||
d-1-NN-06_09.qdimacs | 3 | 13 | 14 | 17 | 76 | 78 | 90 | 105 | 5416 | 3534 | 1064 | 2453 | 0.78 | 1.412 | #N/A | #N/A | 0.78 | 1.412 | ||||||||||||||||||||
d-1-NN-06_10.qdimacs | 3 | 13 | 16 | 17 | 76 | 90 | 90 | 117 | 6040 | 3894 | 1064 | 2813 | 0.87 | 1.652 | #N/A | #N/A | 0.87 | 1.652 | ||||||||||||||||||||
d-1-NN-06_11.qdimacs | 3 | 13 | 17 | 17 | 76 | 99 | 90 | 124 | 6364 | 4146 | 1064 | 3065 | 0.98 | 1.908 | #N/A | #N/A | 0.98 | 1.908 | ||||||||||||||||||||
d-1-NN-06_12.qdimacs | 3 | 13 | 20 | 17 | 76 | 109 | 90 | 136 | 7255 | 4653 | 1064 | 3572 | 1.13 | 2.392 | #N/A | #N/A | 1.13 | 2.392 | ||||||||||||||||||||
d-1-NN-06_13.qdimacs | 3 | 15 | 16 | 17 | 89 | 91 | 107 | 122 | 7119 | 4729 | 1424 | 3288 | 2.58 | 2.22 | #N/A | #N/A | 2.58 | 2.22 | ||||||||||||||||||||
d-1-NN-06_14.qdimacs | 3 | 15 | 18 | 17 | 89 | 103 | 107 | 134 | 7825 | 5139 | 1424 | 3698 | 2.51 | 2.696 | #N/A | #N/A | 2.51 | 2.696 | ||||||||||||||||||||
d-1-NN-06_15.qdimacs | 3 | 15 | 19 | 17 | 89 | 112 | 107 | 141 | 8188 | 5422 | 1424 | 3981 | 2.79 | 3.116 | #N/A | #N/A | 2.79 | 3.116 | ||||||||||||||||||||
d-1-NN-06_16.qdimacs | 3 | 15 | 22 | 17 | 89 | 122 | 107 | 153 | 9178 | 5988 | 1424 | 4547 | 3.76 | 3.824 | #N/A | #N/A | 3.76 | 3.824 | ||||||||||||||||||||
d-1-NN-06_17.qdimacs | 3 | 19 | 20 | 17 | 99 | 101 | 124 | 139 | 10204 | 6639 | 1980 | 4642 | 10.76 | 6.876 | #N/A | #N/A | 10.76 | 6.876 | ||||||||||||||||||||
d-1-NN-06_18.qdimacs | 3 | 19 | 22 | 17 | 99 | 113 | 124 | 151 | 11040 | 7117 | 1980 | 5120 | 10.03 | 8.5 | #N/A | #N/A | 10.03 | 8.5 | ||||||||||||||||||||
d-1-NN-06_19.qdimacs | 3 | 19 | 23 | 17 | 99 | 122 | 124 | 158 | 11464 | 7446 | 1980 | 5449 | 10.64 | 8.892 | #N/A | #N/A | 10.64 | 8.892 | ||||||||||||||||||||
d-1-NN-06_20.qdimacs | 3 | 19 | 26 | 17 | 99 | 132 | 124 | 170 | 12601 | 8082 | 1980 | 6085 | 12.26 | 10.68 | #N/A | #N/A | 12.26 | 10.68 | ||||||||||||||||||||
d-1-NN-06_21.qdimacs | 3 | 21 | 22 | 17 | 106 | 108 | 137 | 152 | 12213 | 7894 | 2332 | 5545 | 40.14 | 12.384 | #N/A | #N/A | 40.14 | 12.384 | ||||||||||||||||||||
d-1-NN-06_22.qdimacs | 3 | 21 | 24 | 17 | 106 | 120 | 137 | 164 | 13123 | 8410 | 2332 | 6061 | 43.81 | 13.784 | #N/A | #N/A | 43.81 | 13.784 | ||||||||||||||||||||
d-1-NN-06_23.qdimacs | 3 | 21 | 25 | 17 | 106 | 129 | 137 | 171 | 13582 | 8764 | 2332 | 6415 | 46.3 | 15.5 | #N/A | #N/A | 46.3 | 15.5 | ||||||||||||||||||||
d-1-NN-06_24.qdimacs | 3 | 21 | 28 | 17 | 106 | 139 | 137 | 183 | 14806 | 9441 | 2332 | 7092 | 49.71 | 17.837 | #N/A | #N/A | 49.71 | 17.837 | ||||||||||||||||||||
d-1-NN-06_25.qdimacs | 3 | 23 | 24 | 17 | 114 | 116 | 152 | 167 | 14524 | 9354 | 2736 | 6601 | >120.080 | 19.001 | #N/A | #N/A | 120.08 | 19.001 | ||||||||||||||||||||
d-1-NN-06_26.qdimacs | 3 | 23 | 26 | 17 | 114 | 128 | 152 | 179 | 15512 | 9910 | 2736 | 7157 | >120.060 | 21.473 | #N/A | #N/A | 120.06 | 21.473 | ||||||||||||||||||||
d-1-NN-06_27.qdimacs | 3 | 23 | 27 | 17 | 114 | 137 | 152 | 186 | 16008 | 10290 | 2736 | 7537 | >120.040 | 23.381 | #N/A | #N/A | 120.04 | 23.381 | ||||||||||||||||||||
d-1-NN-06_28.qdimacs | 3 | 23 | 30 | 17 | 114 | 147 | 152 | 198 | 17325 | 11011 | 2736 | 8258 | >120.090 | 27.153 | #N/A | #N/A | 120.09 | 27.153 | ||||||||||||||||||||
07 | d-1-NN-07_01.qdimacs | 3 | 8 | 9 | 19 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1027 | 0.09 | 0.164 | #N/A | #N/A | 0.09 | 0.164 | |||||||||||||||||||
d-1-NN-07_02.qdimacs | 3 | 8 | 11 | 19 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1269 | 0.14 | 0.2 | #N/A | #N/A | 0.14 | 0.2 | ||||||||||||||||||||
d-1-NN-07_03.qdimacs | 3 | 8 | 12 | 19 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1447 | 0.16 | 0.224 | #N/A | #N/A | 0.16 | 0.224 | ||||||||||||||||||||
d-1-NN-07_04.qdimacs | 3 | 8 | 15 | 19 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1817 | 0.13 | 0.296 | #N/A | #N/A | 0.13 | 0.296 | ||||||||||||||||||||
d-1-NN-07_05.qdimacs | 3 | 12 | 13 | 19 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1944 | 0.3 | 0.752 | #N/A | #N/A | 0.3 | 0.752 | ||||||||||||||||||||
d-1-NN-07_06.qdimacs | 3 | 12 | 15 | 19 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2270 | 0.32 | 1.008 | #N/A | #N/A | 0.32 | 1.008 | ||||||||||||||||||||
d-1-NN-07_07.qdimacs | 3 | 12 | 16 | 19 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2502 | 0.37 | 0.984 | #N/A | #N/A | 0.37 | 0.984 | ||||||||||||||||||||
d-1-NN-07_08.qdimacs | 3 | 12 | 19 | 19 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2966 | 0.44 | 1.26 | #N/A | #N/A | 0.44 | 1.26 | ||||||||||||||||||||
d-1-NN-07_09.qdimacs | 3 | 13 | 14 | 19 | 76 | 78 | 90 | 105 | 5416 | 3534 | 1064 | 2451 | 0.93 | 1.412 | #N/A | #N/A | 0.93 | 1.412 | ||||||||||||||||||||
d-1-NN-07_10.qdimacs | 3 | 13 | 16 | 19 | 76 | 90 | 90 | 117 | 6040 | 3894 | 1064 | 2811 | 0.77 | 1.724 | #N/A | #N/A | 0.77 | 1.724 | ||||||||||||||||||||
d-1-NN-07_11.qdimacs | 3 | 13 | 17 | 19 | 76 | 99 | 90 | 124 | 6364 | 4146 | 1064 | 3063 | 0.97 | 1.8 | #N/A | #N/A | 0.97 | 1.8 | ||||||||||||||||||||
d-1-NN-07_12.qdimacs | 3 | 13 | 20 | 19 | 76 | 109 | 90 | 136 | 7255 | 4653 | 1064 | 3570 | 1.33 | 2.404 | #N/A | #N/A | 1.33 | 2.404 | ||||||||||||||||||||
d-1-NN-07_13.qdimacs | 3 | 15 | 16 | 19 | 89 | 91 | 107 | 122 | 7119 | 4729 | 1424 | 3286 | 2.3 | 2.344 | #N/A | #N/A | 2.3 | 2.344 | ||||||||||||||||||||
d-1-NN-07_14.qdimacs | 3 | 15 | 18 | 19 | 89 | 103 | 107 | 134 | 7825 | 5139 | 1424 | 3696 | 2.58 | 3.228 | #N/A | #N/A | 2.58 | 3.228 | ||||||||||||||||||||
d-1-NN-07_15.qdimacs | 3 | 15 | 19 | 19 | 89 | 112 | 107 | 141 | 8188 | 5422 | 1424 | 3979 | 2.87 | 3.144 | #N/A | #N/A | 2.87 | 3.144 | ||||||||||||||||||||
d-1-NN-07_16.qdimacs | 3 | 15 | 22 | 19 | 89 | 122 | 107 | 153 | 9178 | 5988 | 1424 | 4545 | 3.53 | 3.828 | #N/A | #N/A | 3.53 | 3.828 | ||||||||||||||||||||
d-1-NN-07_17.qdimacs | 3 | 19 | 20 | 19 | 99 | 101 | 124 | 139 | 10204 | 6639 | 1980 | 4640 | 10.72 | 7.104 | #N/A | #N/A | 10.72 | 7.104 | ||||||||||||||||||||
d-1-NN-07_18.qdimacs | 3 | 19 | 22 | 19 | 99 | 113 | 124 | 151 | 11040 | 7117 | 1980 | 5118 | 10.48 | 8.188 | #N/A | #N/A | 10.48 | 8.188 | ||||||||||||||||||||
d-1-NN-07_19.qdimacs | 3 | 19 | 23 | 19 | 99 | 122 | 124 | 158 | 11464 | 7446 | 1980 | 5447 | 10.38 | 9.136 | #N/A | #N/A | 10.38 | 9.136 | ||||||||||||||||||||
d-1-NN-07_20.qdimacs | 3 | 19 | 26 | 19 | 99 | 132 | 124 | 170 | 12601 | 8082 | 1980 | 6083 | 12.53 | 10.696 | #N/A | #N/A | 12.53 | 10.696 | ||||||||||||||||||||
d-1-NN-07_21.qdimacs | 3 | 21 | 22 | 19 | 106 | 108 | 137 | 152 | 12213 | 7894 | 2332 | 5543 | 41.37 | 11.832 | #N/A | #N/A | 41.37 | 11.832 | ||||||||||||||||||||
d-1-NN-07_22.qdimacs | 3 | 21 | 24 | 19 | 106 | 120 | 137 | 164 | 13123 | 8410 | 2332 | 6059 | 44.81 | 14.152 | #N/A | #N/A | 44.81 | 14.152 | ||||||||||||||||||||
d-1-NN-07_23.qdimacs | 3 | 21 | 25 | 19 | 106 | 129 | 137 | 171 | 13582 | 8764 | 2332 | 6413 | 46 | 14.892 | #N/A | #N/A | 46 | 14.892 | ||||||||||||||||||||
d-1-NN-07_24.qdimacs | 3 | 21 | 28 | 19 | 106 | 139 | 137 | 183 | 14806 | 9441 | 2332 | 7090 | 49.34 | 18.097 | #N/A | #N/A | 49.34 | 18.097 | ||||||||||||||||||||
d-1-NN-07_25.qdimacs | 3 | 23 | 24 | 19 | 114 | 116 | 152 | 167 | 14524 | 9354 | 2736 | 6599 | >120.100 | 18.669 | #N/A | #N/A | 120.1 | 18.669 | ||||||||||||||||||||
d-1-NN-07_26.qdimacs | 3 | 23 | 26 | 19 | 114 | 128 | 152 | 179 | 15512 | 9910 | 2736 | 7155 | >120.020 | 21.877 | #N/A | #N/A | 120.02 | 21.877 | ||||||||||||||||||||
d-1-NN-07_27.qdimacs | 3 | 23 | 27 | 19 | 114 | 137 | 152 | 186 | 16008 | 10290 | 2736 | 7535 | >120.130 | 23.353 | #N/A | #N/A | 120.13 | 23.353 | ||||||||||||||||||||
d-1-NN-07_28.qdimacs | 3 | 23 | 30 | 19 | 114 | 147 | 152 | 198 | 17325 | 11011 | 2736 | 8256 | >120.090 | 26.769 | #N/A | #N/A | 120.09 | 26.769 | ||||||||||||||||||||
08 | d-1-NN-08_01.qdimacs | 4 | 8 | 9 | 23 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1023 | 0.12 | 0.164 | #N/A | #N/A | 0.12 | 0.164 | |||||||||||||||||||
d-1-NN-08_02.qdimacs | 4 | 8 | 11 | 23 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1265 | 0.19 | 0.212 | #N/A | #N/A | 0.19 | 0.212 | ||||||||||||||||||||
d-1-NN-08_03.qdimacs | 4 | 8 | 12 | 23 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1443 | 0.17 | 0.224 | #N/A | #N/A | 0.17 | 0.224 | ||||||||||||||||||||
d-1-NN-08_04.qdimacs | 4 | 8 | 15 | 23 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1813 | 0.15 | 0.3 | #N/A | #N/A | 0.15 | 0.3 | ||||||||||||||||||||
d-1-NN-08_05.qdimacs | 4 | 12 | 13 | 23 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1940 | 0.48 | 1.024 | #N/A | #N/A | 0.48 | 1.024 | ||||||||||||||||||||
d-1-NN-08_06.qdimacs | 4 | 12 | 15 | 23 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2266 | 0.43 | 0.996 | #N/A | #N/A | 0.43 | 0.996 | ||||||||||||||||||||
d-1-NN-08_07.qdimacs | 4 | 12 | 16 | 23 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2498 | 0.43 | 1.068 | #N/A | #N/A | 0.43 | 1.068 | ||||||||||||||||||||
d-1-NN-08_08.qdimacs | 4 | 12 | 19 | 23 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2962 | 0.57 | 1.24 | #N/A | #N/A | 0.57 | 1.24 | ||||||||||||||||||||
d-1-NN-08_09.qdimacs | 4 | 13 | 14 | 23 | 76 | 78 | 90 | 105 | 5416 | 3534 | 1064 | 2447 | 0.6 | 1.316 | #N/A | #N/A | 0.6 | 1.316 | ||||||||||||||||||||
d-1-NN-08_10.qdimacs | 4 | 13 | 16 | 23 | 76 | 90 | 90 | 117 | 6040 | 3894 | 1064 | 2807 | 0.87 | 1.656 | #N/A | #N/A | 0.87 | 1.656 | ||||||||||||||||||||
d-1-NN-08_11.qdimacs | 4 | 13 | 17 | 23 | 76 | 99 | 90 | 124 | 6364 | 4146 | 1064 | 3059 | 0.92 | 1.876 | #N/A | #N/A | 0.92 | 1.876 | ||||||||||||||||||||
d-1-NN-08_12.qdimacs | 4 | 13 | 20 | 23 | 76 | 109 | 90 | 136 | 7255 | 4653 | 1064 | 3566 | 0.98 | 2.348 | #N/A | #N/A | 0.98 | 2.348 | ||||||||||||||||||||
d-1-NN-08_13.qdimacs | 4 | 15 | 16 | 23 | 89 | 91 | 107 | 122 | 7119 | 4729 | 1424 | 3282 | 1.8 | 2.192 | #N/A | #N/A | 1.8 | 2.192 | ||||||||||||||||||||
d-1-NN-08_14.qdimacs | 4 | 15 | 18 | 23 | 89 | 103 | 107 | 134 | 7825 | 5139 | 1424 | 3692 | 2.1 | 2.768 | #N/A | #N/A | 2.1 | 2.768 | ||||||||||||||||||||
d-1-NN-08_15.qdimacs | 4 | 15 | 19 | 23 | 89 | 112 | 107 | 141 | 8188 | 5422 | 1424 | 3975 | 2.63 | 3.02 | #N/A | #N/A | 2.63 | 3.02 | ||||||||||||||||||||
d-1-NN-08_16.qdimacs | 4 | 15 | 22 | 23 | 89 | 122 | 107 | 153 | 9178 | 5988 | 1424 | 4541 | 2.55 | 3.868 | #N/A | #N/A | 2.55 | 3.868 | ||||||||||||||||||||
d-1-NN-08_17.qdimacs | 4 | 19 | 20 | 23 | 99 | 101 | 124 | 139 | 10204 | 6639 | 1980 | 4636 | 8.71 | 6.9 | #N/A | #N/A | 8.71 | 6.9 | ||||||||||||||||||||
d-1-NN-08_18.qdimacs | 4 | 19 | 22 | 23 | 99 | 113 | 124 | 151 | 11040 | 7117 | 1980 | 5114 | 8.37 | 8.548 | #N/A | #N/A | 8.37 | 8.548 | ||||||||||||||||||||
d-1-NN-08_19.qdimacs | 4 | 19 | 23 | 23 | 99 | 122 | 124 | 158 | 11464 | 7446 | 1980 | 5443 | 8.56 | 8.772 | #N/A | #N/A | 8.56 | 8.772 | ||||||||||||||||||||
d-1-NN-08_20.qdimacs | 4 | 19 | 26 | 23 | 99 | 132 | 124 | 170 | 12601 | 8082 | 1980 | 6079 | 9.15 | 10.604 | #N/A | #N/A | 9.15 | 10.604 | ||||||||||||||||||||
d-1-NN-08_21.qdimacs | 4 | 21 | 22 | 23 | 106 | 108 | 137 | 152 | 12213 | 7894 | 2332 | 5539 | 38.2 | 12.212 | #N/A | #N/A | 38.2 | 12.212 | ||||||||||||||||||||
d-1-NN-08_22.qdimacs | 4 | 21 | 24 | 23 | 106 | 120 | 137 | 164 | 13123 | 8410 | 2332 | 6055 | 39.18 | 13.712 | #N/A | #N/A | 39.18 | 13.712 | ||||||||||||||||||||
d-1-NN-08_23.qdimacs | 4 | 21 | 25 | 23 | 106 | 129 | 137 | 171 | 13582 | 8764 | 2332 | 6409 | 40.95 | 15.044 | #N/A | #N/A | 40.95 | 15.044 | ||||||||||||||||||||
d-1-NN-08_24.qdimacs | 4 | 21 | 28 | 23 | 106 | 139 | 137 | 183 | 14806 | 9441 | 2332 | 7086 | 44 | 17.461 | #N/A | #N/A | 44 | 17.461 | ||||||||||||||||||||
d-1-NN-08_25.qdimacs | 4 | 23 | 24 | 23 | 114 | 116 | 152 | 167 | 14524 | 9354 | 2736 | 6595 | >120.060 | 18.909 | #N/A | #N/A | 120.06 | 18.909 | ||||||||||||||||||||
d-1-NN-08_26.qdimacs | 4 | 23 | 26 | 23 | 114 | 128 | 152 | 179 | 15512 | 9910 | 2736 | 7151 | >120.090 | 21.561 | #N/A | #N/A | 120.09 | 21.561 | ||||||||||||||||||||
d-1-NN-08_27.qdimacs | 4 | 23 | 27 | 23 | 114 | 137 | 152 | 186 | 16008 | 10290 | 2736 | 7531 | >120.050 | 23.329 | #N/A | #N/A | 120.05 | 23.329 | ||||||||||||||||||||
d-1-NN-08_28.qdimacs | 4 | 23 | 30 | 23 | 114 | 147 | 152 | 198 | 17325 | 11011 | 2736 | 8252 | >120.090 | 27.009 | #N/A | #N/A | 120.09 | 27.009 | ||||||||||||||||||||
09 | d-1-NN-09_01.qdimacs | 4 | 9 | 10 | 26 | 49 | 51 | 59 | 74 | 2688 | 1669 | 490 | 1153 | 1.52 | 0.284 | #N/A | #N/A | 1.52 | 0.284 | |||||||||||||||||||
d-1-NN-09_02.qdimacs | 4 | 9 | 11 | 28 | 51 | 61 | 61 | 86 | 3046 | 1880 | 510 | 1342 | 1.75 | 0.52 | #N/A | #N/A | 1.75 | 0.52 | ||||||||||||||||||||
d-1-NN-09_03.qdimacs | 4 | 9 | 12 | 28 | 51 | 70 | 61 | 93 | 3283 | 2058 | 510 | 1520 | 0.17 | 0.308 | #N/A | #N/A | 0.17 | 0.308 | ||||||||||||||||||||
d-1-NN-09_04.qdimacs | 4 | 9 | 15 | 28 | 51 | 80 | 61 | 105 | 3958 | 2428 | 510 | 1890 | 0.27 | 0.42 | #N/A | #N/A | 0.27 | 0.42 | ||||||||||||||||||||
d-1-NN-09_05.qdimacs | 4 | 13 | 14 | 26 | 67 | 69 | 76 | 91 | 4758 | 3077 | 938 | 2113 | 3.73 | 1.076 | #N/A | #N/A | 3.73 | 1.076 | ||||||||||||||||||||
d-1-NN-09_06.qdimacs | 4 | 13 | 15 | 28 | 69 | 79 | 78 | 103 | 5230 | 3362 | 966 | 2368 | 3.57 | 1.56 | #N/A | #N/A | 3.57 | 1.56 | ||||||||||||||||||||
d-1-NN-09_07.qdimacs | 4 | 13 | 16 | 28 | 69 | 88 | 78 | 110 | 5529 | 3594 | 966 | 2600 | 0.64 | 1.3 | #N/A | #N/A | 0.64 | 1.3 | ||||||||||||||||||||
d-1-NN-09_08.qdimacs | 4 | 13 | 19 | 28 | 69 | 98 | 78 | 122 | 6354 | 4058 | 966 | 3064 | 0.58 | 1.692 | #N/A | #N/A | 0.58 | 1.692 | ||||||||||||||||||||
d-1-NN-09_09.qdimacs | 4 | 14 | 15 | 26 | 78 | 80 | 90 | 105 | 5855 | 3843 | 1170 | 2647 | 5.8 | 2.052 | #N/A | #N/A | 5.8 | 2.052 | ||||||||||||||||||||
d-1-NN-09_10.qdimacs | 4 | 14 | 16 | 28 | 80 | 90 | 92 | 117 | 6365 | 4153 | 1200 | 2925 | 5.98 | 3.056 | #N/A | #N/A | 5.98 | 3.056 | ||||||||||||||||||||
d-1-NN-09_11.qdimacs | 4 | 14 | 17 | 28 | 80 | 99 | 92 | 124 | 6689 | 4405 | 1200 | 3177 | 1.11 | 2.312 | #N/A | #N/A | 1.11 | 2.312 | ||||||||||||||||||||
d-1-NN-09_12.qdimacs | 4 | 14 | 20 | 28 | 80 | 109 | 92 | 136 | 7580 | 4912 | 1200 | 3684 | 1.19 | 3.268 | #N/A | #N/A | 1.19 | 3.268 | ||||||||||||||||||||
d-1-NN-09_13.qdimacs | 4 | 16 | 17 | 26 | 91 | 93 | 107 | 122 | 7624 | 5089 | 1547 | 3516 | 12.81 | 3.328 | #N/A | #N/A | 12.81 | 3.328 | ||||||||||||||||||||
d-1-NN-09_14.qdimacs | 4 | 16 | 18 | 28 | 93 | 103 | 109 | 134 | 8199 | 5440 | 1581 | 3831 | 14.32 | 4.968 | #N/A | #N/A | 14.32 | 4.968 | ||||||||||||||||||||
d-1-NN-09_15.qdimacs | 4 | 16 | 19 | 28 | 93 | 112 | 109 | 141 | 8562 | 5723 | 1581 | 4114 | 2.87 | 3.912 | #N/A | #N/A | 2.87 | 3.912 | ||||||||||||||||||||
d-1-NN-09_16.qdimacs | 4 | 16 | 22 | 28 | 93 | 122 | 109 | 153 | 9552 | 6289 | 1581 | 4680 | 2.87 | 5.044 | #N/A | #N/A | 2.87 | 5.044 | ||||||||||||||||||||
d-1-NN-09_17.qdimacs | 4 | 20 | 21 | 26 | 101 | 103 | 124 | 139 | 10791 | 7052 | 2121 | 4905 | 51.08 | 8.972 | #N/A | #N/A | 51.08 | 8.972 | ||||||||||||||||||||
d-1-NN-09_18.qdimacs | 4 | 20 | 22 | 28 | 103 | 113 | 126 | 151 | 11479 | 7469 | 2163 | 5278 | 58.36 | 13.06 | #N/A | #N/A | 58.36 | 13.06 | ||||||||||||||||||||
d-1-NN-09_19.qdimacs | 4 | 20 | 23 | 28 | 103 | 122 | 126 | 158 | 11903 | 7798 | 2163 | 5607 | 9.27 | 10.836 | #N/A | #N/A | 9.27 | 10.836 | ||||||||||||||||||||
d-1-NN-09_20.qdimacs | 4 | 20 | 26 | 28 | 103 | 132 | 126 | 170 | 13040 | 8434 | 2163 | 6243 | 10.68 | 13.172 | #N/A | #N/A | 10.68 | 13.172 | ||||||||||||||||||||
d-1-NN-09_21.qdimacs | 4 | 22 | 23 | 26 | 108 | 110 | 137 | 152 | 12853 | 8342 | 2484 | 5832 | >120.050 | 15.384 | #N/A | #N/A | 120.05 | 15.384 | ||||||||||||||||||||
d-1-NN-09_22.qdimacs | 4 | 22 | 24 | 28 | 110 | 120 | 139 | 164 | 13602 | 8794 | 2530 | 6236 | >120.020 | 20.041 | #N/A | #N/A | 120.02 | 20.041 | ||||||||||||||||||||
d-1-NN-09_23.qdimacs | 4 | 22 | 25 | 28 | 110 | 129 | 139 | 171 | 14061 | 9148 | 2530 | 6590 | 45.76 | 17.457 | #N/A | #N/A | 45.76 | 17.457 | ||||||||||||||||||||
d-1-NN-09_24.qdimacs | 4 | 22 | 28 | 28 | 110 | 139 | 139 | 183 | 15285 | 9825 | 2530 | 7267 | 47.98 | 21.053 | #N/A | #N/A | 47.98 | 21.053 | ||||||||||||||||||||
d-1-NN-09_25.qdimacs | 4 | 24 | 25 | 26 | 116 | 118 | 152 | 167 | 15222 | 9841 | 2900 | 6915 | >120.040 | 23.017 | #N/A | #N/A | 120.04 | 23.017 | ||||||||||||||||||||
d-1-NN-09_26.qdimacs | 4 | 24 | 26 | 28 | 118 | 128 | 154 | 179 | 16034 | 10329 | 2950 | 7351 | >120.070 | 29.633 | #N/A | #N/A | 120.07 | 29.633 | ||||||||||||||||||||
d-1-NN-09_27.qdimacs | 4 | 24 | 27 | 28 | 118 | 137 | 154 | 186 | 16530 | 10709 | 2950 | 7731 | >120.020 | 26.429 | #N/A | #N/A | 120.02 | 26.429 | ||||||||||||||||||||
d-1-NN-09_28.qdimacs | 4 | 24 | 30 | 28 | 118 | 147 | 154 | 198 | 17847 | 11430 | 2950 | 8452 | >120.040 | 31.061 | #N/A | #N/A | 120.04 | 31.061 | ||||||||||||||||||||
10 | d-1-NN-10_01.qdimacs | 5 | 9 | 10 | 28 | 49 | 51 | 59 | 74 | 2688 | 1669 | 490 | 1151 | 0.18 | 0.284 | #N/A | #N/A | 0.18 | 0.284 | |||||||||||||||||||
d-1-NN-10_02.qdimacs | 5 | 9 | 11 | 30 | 51 | 61 | 61 | 86 | 3046 | 1880 | 510 | 1340 | 0.25 | 0.26 | #N/A | #N/A | 0.25 | 0.26 | ||||||||||||||||||||
d-1-NN-10_03.qdimacs | 5 | 9 | 12 | 30 | 51 | 70 | 61 | 93 | 3283 | 2058 | 510 | 1518 | 0.18 | 0.296 | #N/A | #N/A | 0.18 | 0.296 | ||||||||||||||||||||
d-1-NN-10_04.qdimacs | 5 | 9 | 15 | 30 | 51 | 80 | 61 | 105 | 3958 | 2428 | 510 | 1888 | 0.2 | 0.38 | #N/A | #N/A | 0.2 | 0.38 | ||||||||||||||||||||
d-1-NN-10_05.qdimacs | 5 | 13 | 14 | 28 | 67 | 69 | 76 | 91 | 4758 | 3077 | 938 | 2111 | 0.69 | 0.896 | #N/A | #N/A | 0.69 | 0.896 | ||||||||||||||||||||
d-1-NN-10_06.qdimacs | 5 | 13 | 15 | 30 | 69 | 79 | 78 | 103 | 5230 | 3362 | 966 | 2366 | 0.68 | 1.188 | #N/A | #N/A | 0.68 | 1.188 | ||||||||||||||||||||
d-1-NN-10_07.qdimacs | 5 | 13 | 16 | 30 | 69 | 88 | 78 | 110 | 5529 | 3594 | 966 | 2598 | 0.7 | 1.22 | #N/A | #N/A | 0.7 | 1.22 | ||||||||||||||||||||
d-1-NN-10_08.qdimacs | 5 | 13 | 19 | 30 | 69 | 98 | 78 | 122 | 6354 | 4058 | 966 | 3062 | 0.78 | 1.632 | #N/A | #N/A | 0.78 | 1.632 | ||||||||||||||||||||
d-1-NN-10_09.qdimacs | 5 | 14 | 15 | 28 | 78 | 80 | 90 | 105 | 5855 | 3843 | 1170 | 2645 | 1.41 | 1.604 | #N/A | #N/A | 1.41 | 1.604 | ||||||||||||||||||||
d-1-NN-10_10.qdimacs | 5 | 14 | 16 | 30 | 80 | 90 | 92 | 117 | 6365 | 4153 | 1200 | 2923 | 1.74 | 2.092 | #N/A | #N/A | 1.74 | 2.092 | ||||||||||||||||||||
d-1-NN-10_11.qdimacs | 5 | 14 | 17 | 30 | 80 | 99 | 92 | 124 | 6689 | 4405 | 1200 | 3175 | 2.21 | 2.756 | #N/A | #N/A | 2.21 | 2.756 | ||||||||||||||||||||
d-1-NN-10_12.qdimacs | 5 | 14 | 20 | 30 | 80 | 109 | 92 | 136 | 7580 | 4912 | 1200 | 3682 | 2.55 | 2.876 | #N/A | #N/A | 2.55 | 2.876 | ||||||||||||||||||||
d-1-NN-10_13.qdimacs | 5 | 16 | 17 | 28 | 91 | 93 | 107 | 122 | 7624 | 5089 | 1547 | 3514 | 4.87 | 2.812 | #N/A | #N/A | 4.87 | 2.812 | ||||||||||||||||||||
d-1-NN-10_14.qdimacs | 5 | 16 | 18 | 30 | 93 | 103 | 109 | 134 | 8199 | 5440 | 1581 | 3829 | 4.45 | 3.28 | #N/A | #N/A | 4.45 | 3.28 | ||||||||||||||||||||
d-1-NN-10_15.qdimacs | 5 | 16 | 19 | 30 | 93 | 112 | 109 | 141 | 8562 | 5723 | 1581 | 4112 | 4.57 | 3.728 | #N/A | #N/A | 4.57 | 3.728 | ||||||||||||||||||||
d-1-NN-10_16.qdimacs | 5 | 16 | 22 | 30 | 93 | 122 | 109 | 153 | 9552 | 6289 | 1581 | 4678 | 5.09 | 4.672 | #N/A | #N/A | 5.09 | 4.672 | ||||||||||||||||||||
d-1-NN-10_17.qdimacs | 5 | 20 | 21 | 28 | 101 | 103 | 124 | 139 | 10791 | 7052 | 2121 | 4903 | 15.86 | 8.144 | #N/A | #N/A | 15.86 | 8.144 | ||||||||||||||||||||
d-1-NN-10_18.qdimacs | 5 | 20 | 22 | 30 | 103 | 113 | 126 | 151 | 11479 | 7469 | 2163 | 5276 | 16.61 | 9.732 | #N/A | #N/A | 16.61 | 9.732 | ||||||||||||||||||||
d-1-NN-10_19.qdimacs | 5 | 20 | 23 | 30 | 103 | 122 | 126 | 158 | 11903 | 7798 | 2163 | 5605 | 17.58 | 10.316 | #N/A | #N/A | 17.58 | 10.316 | ||||||||||||||||||||
d-1-NN-10_20.qdimacs | 5 | 20 | 26 | 30 | 103 | 132 | 126 | 170 | 13040 | 8434 | 2163 | 6241 | 19.25 | 12.476 | #N/A | #N/A | 19.25 | 12.476 | ||||||||||||||||||||
d-1-NN-10_21.qdimacs | 5 | 22 | 23 | 28 | 108 | 110 | 137 | 152 | 12853 | 8342 | 2484 | 5830 | 54.01 | 14.084 | #N/A | #N/A | 54.01 | 14.084 | ||||||||||||||||||||
d-1-NN-10_22.qdimacs | 5 | 22 | 24 | 30 | 110 | 120 | 139 | 164 | 13602 | 8794 | 2530 | 6234 | 60.25 | 15.808 | #N/A | #N/A | 60.25 | 15.808 | ||||||||||||||||||||
d-1-NN-10_23.qdimacs | 5 | 22 | 25 | 30 | 110 | 129 | 139 | 171 | 14061 | 9148 | 2530 | 6588 | 62.39 | 17.369 | #N/A | #N/A | 62.39 | 17.369 | ||||||||||||||||||||
d-1-NN-10_24.qdimacs | 5 | 22 | 28 | 30 | 110 | 139 | 139 | 183 | 15285 | 9825 | 2530 | 7265 | 66.17 | 19.929 | #N/A | #N/A | 66.17 | 19.929 | ||||||||||||||||||||
d-1-NN-10_25.qdimacs | 5 | 24 | 25 | 28 | 116 | 118 | 152 | 167 | 15222 | 9841 | 2900 | 6913 | >120.140 | 21.685 | #N/A | #N/A | 120.14 | 21.685 | ||||||||||||||||||||
d-1-NN-10_26.qdimacs | 5 | 24 | 26 | 30 | 118 | 128 | 154 | 179 | 16034 | 10329 | 2950 | 7349 | >120.020 | 24.805 | #N/A | #N/A | 120.02 | 24.805 | ||||||||||||||||||||
d-1-NN-10_27.qdimacs | 5 | 24 | 27 | 30 | 118 | 137 | 154 | 186 | 16530 | 10709 | 2950 | 7729 | >120.050 | 26.393 | #N/A | #N/A | 120.05 | 26.393 | ||||||||||||||||||||
d-1-NN-10_28.qdimacs | 5 | 24 | 30 | 30 | 118 | 147 | 154 | 198 | 17847 | 11430 | 2950 | 8450 | >120.080 | 30.369 | #N/A | #N/A | 120.08 | 30.369 | ||||||||||||||||||||
11 | d-1-NN-11_01.qdimacs | 6 | 9 | 10 | 29 | 49 | 51 | 59 | 74 | 2688 | 1669 | 490 | 1150 | 0.16 | 0.212 | #N/A | #N/A | 0.16 | 0.212 | |||||||||||||||||||
d-1-NN-11_02.qdimacs | 6 | 9 | 11 | 31 | 51 | 61 | 61 | 86 | 3046 | 1880 | 510 | 1339 | 0.21 | 0.26 | #N/A | #N/A | 0.21 | 0.26 | ||||||||||||||||||||
d-1-NN-11_03.qdimacs | 6 | 9 | 12 | 31 | 51 | 70 | 61 | 93 | 3283 | 2058 | 510 | 1517 | 0.24 | 0.292 | #N/A | #N/A | 0.24 | 0.292 | ||||||||||||||||||||
d-1-NN-11_04.qdimacs | 6 | 9 | 15 | 31 | 51 | 80 | 61 | 105 | 3958 | 2428 | 510 | 1887 | 0.18 | 0.372 | #N/A | #N/A | 0.18 | 0.372 | ||||||||||||||||||||
d-1-NN-11_05.qdimacs | 6 | 13 | 14 | 29 | 67 | 69 | 76 | 91 | 4758 | 3077 | 938 | 2110 | 0.42 | 0.904 | #N/A | #N/A | 0.42 | 0.904 | ||||||||||||||||||||
d-1-NN-11_06.qdimacs | 6 | 13 | 15 | 31 | 69 | 79 | 78 | 103 | 5230 | 3362 | 966 | 2365 | 0.51 | 1.196 | #N/A | #N/A | 0.51 | 1.196 | ||||||||||||||||||||
d-1-NN-11_07.qdimacs | 6 | 13 | 16 | 31 | 69 | 88 | 78 | 110 | 5529 | 3594 | 966 | 2597 | 0.52 | 1.192 | #N/A | #N/A | 0.52 | 1.192 | ||||||||||||||||||||
d-1-NN-11_08.qdimacs | 6 | 13 | 19 | 31 | 69 | 98 | 78 | 122 | 6354 | 4058 | 966 | 3061 | 0.65 | 1.616 | #N/A | #N/A | 0.65 | 1.616 | ||||||||||||||||||||
d-1-NN-11_09.qdimacs | 6 | 14 | 15 | 29 | 78 | 80 | 90 | 105 | 5855 | 3843 | 1170 | 2644 | 0.86 | 1.572 | #N/A | #N/A | 0.86 | 1.572 | ||||||||||||||||||||
d-1-NN-11_10.qdimacs | 6 | 14 | 16 | 31 | 80 | 90 | 92 | 117 | 6365 | 4153 | 1200 | 2922 | 0.88 | 1.968 | #N/A | #N/A | 0.88 | 1.968 | ||||||||||||||||||||
d-1-NN-11_11.qdimacs | 6 | 14 | 17 | 31 | 80 | 99 | 92 | 124 | 6689 | 4405 | 1200 | 3174 | 0.96 | 2.168 | #N/A | #N/A | 0.96 | 2.168 | ||||||||||||||||||||
d-1-NN-11_12.qdimacs | 6 | 14 | 20 | 31 | 80 | 109 | 92 | 136 | 7580 | 4912 | 1200 | 3681 | 1.8 | 2.68 | #N/A | #N/A | 1.8 | 2.68 | ||||||||||||||||||||
d-1-NN-11_13.qdimacs | 6 | 16 | 17 | 29 | 91 | 93 | 107 | 122 | 7624 | 5089 | 1547 | 3513 | 2.15 | 2.696 | #N/A | #N/A | 2.15 | 2.696 | ||||||||||||||||||||
d-1-NN-11_14.qdimacs | 6 | 16 | 18 | 31 | 93 | 103 | 109 | 134 | 8199 | 5440 | 1581 | 3828 | 2.87 | 3.264 | #N/A | #N/A | 2.87 | 3.264 | ||||||||||||||||||||
d-1-NN-11_15.qdimacs | 6 | 16 | 19 | 31 | 93 | 112 | 109 | 141 | 8562 | 5723 | 1581 | 4111 | 2.98 | 3.452 | #N/A | #N/A | 2.98 | 3.452 | ||||||||||||||||||||
d-1-NN-11_16.qdimacs | 6 | 16 | 22 | 31 | 93 | 122 | 109 | 153 | 9552 | 6289 | 1581 | 4677 | 3.69 | 4.32 | #N/A | #N/A | 3.69 | 4.32 | ||||||||||||||||||||
d-1-NN-11_17.qdimacs | 6 | 20 | 21 | 29 | 101 | 103 | 124 | 139 | 10791 | 7052 | 2121 | 4902 | 9.32 | 8.24 | #N/A | #N/A | 9.32 | 8.24 | ||||||||||||||||||||
d-1-NN-11_18.qdimacs | 6 | 20 | 22 | 31 | 103 | 113 | 126 | 151 | 11479 | 7469 | 2163 | 5275 | 9.64 | 9.392 | #N/A | #N/A | 9.64 | 9.392 | ||||||||||||||||||||
d-1-NN-11_19.qdimacs | 6 | 20 | 23 | 31 | 103 | 122 | 126 | 158 | 11903 | 7798 | 2163 | 5604 | 10.17 | 9.992 | #N/A | #N/A | 10.17 | 9.992 | ||||||||||||||||||||
d-1-NN-11_20.qdimacs | 6 | 20 | 26 | 31 | 103 | 132 | 126 | 170 | 13040 | 8434 | 2163 | 6240 | 11.36 | 12.244 | #N/A | #N/A | 11.36 | 12.244 | ||||||||||||||||||||
d-1-NN-11_21.qdimacs | 6 | 22 | 23 | 29 | 108 | 110 | 137 | 152 | 12853 | 8342 | 2484 | 5829 | 43.61 | 13.66 | #N/A | #N/A | 43.61 | 13.66 | ||||||||||||||||||||
d-1-NN-11_22.qdimacs | 6 | 22 | 24 | 31 | 110 | 120 | 139 | 164 | 13602 | 8794 | 2530 | 6233 | 48.92 | 16.02 | #N/A | #N/A | 48.92 | 16.02 | ||||||||||||||||||||
d-1-NN-11_23.qdimacs | 6 | 22 | 25 | 31 | 110 | 129 | 139 | 171 | 14061 | 9148 | 2530 | 6587 | 48.9 | 16.756 | #N/A | #N/A | 48.9 | 16.756 | ||||||||||||||||||||
d-1-NN-11_24.qdimacs | 6 | 22 | 28 | 31 | 110 | 139 | 139 | 183 | 15285 | 9825 | 2530 | 7264 | 53.1 | 19.709 | #N/A | #N/A | 53.1 | 19.709 | ||||||||||||||||||||
d-1-NN-11_25.qdimacs | 6 | 24 | 25 | 29 | 116 | 118 | 152 | 167 | 15222 | 9841 | 2900 | 6912 | >120.050 | 21.285 | #N/A | #N/A | 120.05 | 21.285 | ||||||||||||||||||||
d-1-NN-11_26.qdimacs | 6 | 24 | 26 | 31 | 118 | 128 | 154 | 179 | 16034 | 10329 | 2950 | 7348 | >120.030 | 24.613 | #N/A | #N/A | 120.03 | 24.613 | ||||||||||||||||||||
d-1-NN-11_27.qdimacs | 6 | 24 | 27 | 31 | 118 | 137 | 154 | 186 | 16530 | 10709 | 2950 | 7728 | >120.070 | 25.885 | #N/A | #N/A | 120.07 | 25.885 | ||||||||||||||||||||
d-1-NN-11_28.qdimacs | 6 | 24 | 30 | 31 | 118 | 147 | 154 | 198 | 17847 | 11430 | 2950 | 8449 | >120.010 | 29.941 | #N/A | #N/A | 120.01 | 29.941 | ||||||||||||||||||||
12 | d-1-NN-12_01.qdimacs | 5 | 9 | 10 | 32 | 49 | 51 | 59 | 74 | 2688 | 1669 | 490 | 1147 | 0.14 | 0.212 | #N/A | #N/A | 0.14 | 0.212 | |||||||||||||||||||
d-1-NN-12_02.qdimacs | 5 | 9 | 11 | 34 | 51 | 61 | 61 | 86 | 3046 | 1880 | 510 | 1336 | 0.19 | 0.26 | #N/A | #N/A | 0.19 | 0.26 | ||||||||||||||||||||
d-1-NN-12_03.qdimacs | 5 | 9 | 12 | 34 | 51 | 70 | 61 | 93 | 3283 | 2058 | 510 | 1514 | 0.18 | 0.324 | #N/A | #N/A | 0.18 | 0.324 | ||||||||||||||||||||
d-1-NN-12_04.qdimacs | 5 | 9 | 15 | 34 | 51 | 80 | 61 | 105 | 3958 | 2428 | 510 | 1884 | 0.29 | 0.48 | #N/A | #N/A | 0.29 | 0.48 | ||||||||||||||||||||
d-1-NN-12_05.qdimacs | 5 | 13 | 14 | 32 | 67 | 69 | 76 | 91 | 4758 | 3077 | 938 | 2107 | 0.41 | 0.9 | #N/A | #N/A | 0.41 | 0.9 | ||||||||||||||||||||
d-1-NN-12_06.qdimacs | 5 | 13 | 15 | 34 | 69 | 79 | 78 | 103 | 5230 | 3362 | 966 | 2362 | 0.48 | 1.076 | #N/A | #N/A | 0.48 | 1.076 | ||||||||||||||||||||
d-1-NN-12_07.qdimacs | 5 | 13 | 16 | 34 | 69 | 88 | 78 | 110 | 5529 | 3594 | 966 | 2594 | 0.49 | 1.316 | #N/A | #N/A | 0.49 | 1.316 | ||||||||||||||||||||
d-1-NN-12_08.qdimacs | 5 | 13 | 19 | 34 | 69 | 98 | 78 | 122 | 6354 | 4058 | 966 | 3058 | 0.65 | 1.516 | #N/A | #N/A | 0.65 | 1.516 | ||||||||||||||||||||
d-1-NN-12_09.qdimacs | 5 | 14 | 15 | 32 | 78 | 80 | 90 | 105 | 5855 | 3843 | 1170 | 2641 | 0.81 | 1.7 | #N/A | #N/A | 0.81 | 1.7 | ||||||||||||||||||||
d-1-NN-12_10.qdimacs | 5 | 14 | 16 | 34 | 80 | 90 | 92 | 117 | 6365 | 4153 | 1200 | 2919 | 0.8 | 2.06 | #N/A | #N/A | 0.8 | 2.06 | ||||||||||||||||||||
d-1-NN-12_11.qdimacs | 5 | 14 | 17 | 34 | 80 | 99 | 92 | 124 | 6689 | 4405 | 1200 | 3171 | 0.93 | 2.092 | #N/A | #N/A | 0.93 | 2.092 | ||||||||||||||||||||
d-1-NN-12_12.qdimacs | 5 | 14 | 20 | 34 | 80 | 109 | 92 | 136 | 7580 | 4912 | 1200 | 3678 | 1.16 | 2.684 | #N/A | #N/A | 1.16 | 2.684 | ||||||||||||||||||||
d-1-NN-12_13.qdimacs | 5 | 16 | 17 | 32 | 91 | 93 | 107 | 122 | 7624 | 5089 | 1547 | 3510 | 1.85 | 2.748 | #N/A | #N/A | 1.85 | 2.748 | ||||||||||||||||||||
d-1-NN-12_14.qdimacs | 5 | 16 | 18 | 34 | 93 | 103 | 109 | 134 | 8199 | 5440 | 1581 | 3825 | 2.21 | 3.684 | #N/A | #N/A | 2.21 | 3.684 | ||||||||||||||||||||
d-1-NN-12_15.qdimacs | 5 | 16 | 19 | 34 | 93 | 112 | 109 | 141 | 8562 | 5723 | 1581 | 4108 | 2.71 | 3.572 | #N/A | #N/A | 2.71 | 3.572 | ||||||||||||||||||||
d-1-NN-12_16.qdimacs | 5 | 16 | 22 | 34 | 93 | 122 | 109 | 153 | 9552 | 6289 | 1581 | 4674 | 3.2 | 4.34 | #N/A | #N/A | 3.2 | 4.34 | ||||||||||||||||||||
d-1-NN-12_17.qdimacs | 5 | 20 | 21 | 32 | 101 | 103 | 124 | 139 | 10791 | 7052 | 2121 | 4899 | 9.09 | 8.148 | #N/A | #N/A | 9.09 | 8.148 | ||||||||||||||||||||
d-1-NN-12_18.qdimacs | 5 | 20 | 22 | 34 | 103 | 113 | 126 | 151 | 11479 | 7469 | 2163 | 5272 | 9 | 9.472 | #N/A | #N/A | 9 | 9.472 | ||||||||||||||||||||
d-1-NN-12_19.qdimacs | 5 | 20 | 23 | 34 | 103 | 122 | 126 | 158 | 11903 | 7798 | 2163 | 5601 | 9.05 | 10.536 | #N/A | #N/A | 9.05 | 10.536 | ||||||||||||||||||||
d-1-NN-12_20.qdimacs | 5 | 20 | 26 | 34 | 103 | 132 | 126 | 170 | 13040 | 8434 | 2163 | 6237 | 10.1 | 11.932 | #N/A | #N/A | 10.1 | 11.932 | ||||||||||||||||||||
d-1-NN-12_21.qdimacs | 5 | 22 | 23 | 32 | 108 | 110 | 137 | 152 | 12853 | 8342 | 2484 | 5826 | 41.82 | 14.1 | #N/A | #N/A | 41.82 | 14.1 | ||||||||||||||||||||
d-1-NN-12_22.qdimacs | 5 | 22 | 24 | 34 | 110 | 120 | 139 | 164 | 13602 | 8794 | 2530 | 6230 | 43.74 | 15.96 | #N/A | #N/A | 43.74 | 15.96 | ||||||||||||||||||||
d-1-NN-12_23.qdimacs | 5 | 22 | 25 | 34 | 110 | 129 | 139 | 171 | 14061 | 9148 | 2530 | 6584 | 46.38 | 17.129 | #N/A | #N/A | 46.38 | 17.129 | ||||||||||||||||||||
d-1-NN-12_24.qdimacs | 5 | 22 | 28 | 34 | 110 | 139 | 139 | 183 | 15285 | 9825 | 2530 | 7261 | 50.08 | 19.829 | #N/A | #N/A | 50.08 | 19.829 | ||||||||||||||||||||
d-1-NN-12_25.qdimacs | 5 | 24 | 25 | 32 | 116 | 118 | 152 | 167 | 15222 | 9841 | 2900 | 6909 | >120.010 | 21.621 | #N/A | #N/A | 120.01 | 21.621 | ||||||||||||||||||||
d-1-NN-12_26.qdimacs | 5 | 24 | 26 | 34 | 118 | 128 | 154 | 179 | 16034 | 10329 | 2950 | 7345 | >120.140 | 24.705 | #N/A | #N/A | 120.14 | 24.705 | ||||||||||||||||||||
d-1-NN-12_27.qdimacs | 5 | 24 | 27 | 34 | 118 | 137 | 154 | 186 | 16530 | 10709 | 2950 | 7725 | >120.110 | 25.557 | #N/A | #N/A | 120.11 | 25.557 | ||||||||||||||||||||
d-1-NN-12_28.qdimacs | 5 | 24 | 30 | 34 | 118 | 147 | 154 | 198 | 17847 | 11430 | 2950 | 8446 | >120.010 | 29.905 | #N/A | #N/A | 120.01 | 29.905 | ||||||||||||||||||||
13 | d-1-NN-13_01.qdimacs | 6 | 10 | 11 | 34 | 53 | 55 | 59 | 74 | 2993 | 1923 | 583 | 1306 | 0.18 | 0.264 | #N/A | #N/A | 0.18 | 0.264 | |||||||||||||||||||
d-1-NN-13_02.qdimacs | 6 | 10 | 12 | 36 | 55 | 65 | 61 | 86 | 3375 | 2152 | 605 | 1511 | 0.25 | 0.328 | #N/A | #N/A | 0.25 | 0.328 | ||||||||||||||||||||
d-1-NN-13_03.qdimacs | 6 | 10 | 12 | 36 | 55 | 70 | 61 | 93 | 3466 | 2217 | 605 | 1576 | 0.18 | 0.34 | #N/A | #N/A | 0.18 | 0.34 | ||||||||||||||||||||
d-1-NN-13_04.qdimacs | 6 | 10 | 15 | 36 | 55 | 80 | 61 | 105 | 4141 | 2587 | 605 | 1946 | 0.2 | 0.532 | #N/A | #N/A | 0.2 | 0.532 | ||||||||||||||||||||
d-1-NN-13_05.qdimacs | 6 | 14 | 15 | 34 | 71 | 73 | 76 | 91 | 5151 | 3416 | 1065 | 2317 | 0.52 | 1.088 | #N/A | #N/A | 0.52 | 1.088 | ||||||||||||||||||||
d-1-NN-13_06.qdimacs | 6 | 14 | 16 | 36 | 73 | 83 | 78 | 103 | 5647 | 3719 | 1095 | 2588 | 1.04 | 1.332 | #N/A | #N/A | 1.04 | 1.332 | ||||||||||||||||||||
d-1-NN-13_07.qdimacs | 6 | 14 | 16 | 36 | 73 | 88 | 78 | 110 | 5766 | 3804 | 1095 | 2673 | 0.63 | 1.396 | #N/A | #N/A | 0.63 | 1.396 | ||||||||||||||||||||
d-1-NN-13_08.qdimacs | 6 | 14 | 19 | 36 | 73 | 98 | 78 | 122 | 6591 | 4268 | 1095 | 3137 | 0.71 | 1.972 | #N/A | #N/A | 0.71 | 1.972 | ||||||||||||||||||||
d-1-NN-13_09.qdimacs | 6 | 15 | 16 | 34 | 82 | 84 | 90 | 105 | 6302 | 4226 | 1312 | 2880 | 1.03 | 2.076 | #N/A | #N/A | 1.03 | 2.076 | ||||||||||||||||||||
d-1-NN-13_10.qdimacs | 6 | 15 | 17 | 36 | 84 | 94 | 92 | 117 | 6836 | 4554 | 1344 | 3174 | 1.05 | 2.248 | #N/A | #N/A | 1.05 | 2.248 | ||||||||||||||||||||
d-1-NN-13_11.qdimacs | 6 | 15 | 17 | 36 | 84 | 99 | 92 | 124 | 6962 | 4644 | 1344 | 3264 | 1.05 | 2.432 | #N/A | #N/A | 1.05 | 2.432 | ||||||||||||||||||||
d-1-NN-13_12.qdimacs | 6 | 15 | 20 | 36 | 84 | 109 | 92 | 136 | 7853 | 5151 | 1344 | 3771 | 1.64 | 3.02 | #N/A | #N/A | 1.64 | 3.02 | ||||||||||||||||||||
d-1-NN-13_13.qdimacs | 6 | 17 | 18 | 34 | 95 | 97 | 107 | 122 | 8137 | 5531 | 1710 | 3787 | 2.66 | 3.268 | #N/A | #N/A | 2.66 | 3.268 | ||||||||||||||||||||
d-1-NN-13_14.qdimacs | 6 | 17 | 19 | 36 | 97 | 107 | 109 | 134 | 8736 | 5900 | 1746 | 4118 | 3.24 | 3.94 | #N/A | #N/A | 3.24 | 3.94 | ||||||||||||||||||||
d-1-NN-13_15.qdimacs | 6 | 17 | 19 | 36 | 97 | 112 | 109 | 141 | 8876 | 6000 | 1746 | 4218 | 3.35 | 3.88 | #N/A | #N/A | 3.35 | 3.88 | ||||||||||||||||||||
d-1-NN-13_16.qdimacs | 6 | 17 | 22 | 36 | 97 | 122 | 109 | 153 | 9866 | 6566 | 1746 | 4784 | 3.85 | 4.916 | #N/A | #N/A | 3.85 | 4.916 | ||||||||||||||||||||
d-1-NN-13_17.qdimacs | 6 | 21 | 22 | 34 | 105 | 107 | 124 | 139 | 11386 | 7563 | 2310 | 5219 | 9.62 | 9.74 | #N/A | #N/A | 9.62 | 9.74 | ||||||||||||||||||||
d-1-NN-13_18.qdimacs | 6 | 21 | 23 | 36 | 107 | 117 | 126 | 151 | 12098 | 7998 | 2354 | 5608 | 10.51 | 11.004 | #N/A | #N/A | 10.51 | 11.004 | ||||||||||||||||||||
d-1-NN-13_19.qdimacs | 6 | 21 | 23 | 36 | 107 | 122 | 126 | 158 | 12266 | 8118 | 2354 | 5728 | 10.6 | 11.076 | #N/A | #N/A | 10.6 | 11.076 | ||||||||||||||||||||
d-1-NN-13_20.qdimacs | 6 | 21 | 26 | 36 | 107 | 132 | 126 | 170 | 13403 | 8754 | 2354 | 6364 | 11.68 | 13.532 | #N/A | #N/A | 11.68 | 13.532 | ||||||||||||||||||||
d-1-NN-13_21.qdimacs | 6 | 23 | 24 | 34 | 112 | 114 | 137 | 152 | 13501 | 8896 | 2688 | 6174 | 50.69 | 15.992 | #N/A | #N/A | 50.69 | 15.992 | ||||||||||||||||||||
d-1-NN-13_22.qdimacs | 6 | 23 | 25 | 36 | 114 | 124 | 139 | 164 | 14274 | 9366 | 2736 | 6594 | 54.36 | 18.593 | #N/A | #N/A | 54.36 | 18.593 | ||||||||||||||||||||
d-1-NN-13_23.qdimacs | 6 | 23 | 25 | 36 | 114 | 129 | 139 | 171 | 14456 | 9496 | 2736 | 6724 | 55.08 | 18.361 | #N/A | #N/A | 55.08 | 18.361 | ||||||||||||||||||||
d-1-NN-13_24.qdimacs | 6 | 23 | 28 | 36 | 114 | 139 | 139 | 183 | 15680 | 10173 | 2736 | 7401 | 57.26 | 22.077 | #N/A | #N/A | 57.26 | 22.077 | ||||||||||||||||||||
d-1-NN-13_25.qdimacs | 6 | 25 | 26 | 34 | 120 | 122 | 152 | 167 | 15928 | 10442 | 3120 | 7288 | >120.050 | 24.649 | #N/A | #N/A | 120.05 | 24.649 | ||||||||||||||||||||
d-1-NN-13_26.qdimacs | 6 | 25 | 27 | 36 | 122 | 132 | 154 | 179 | 16764 | 10948 | 3172 | 7740 | >120.040 | 27.985 | #N/A | #N/A | 120.04 | 27.985 | ||||||||||||||||||||
d-1-NN-13_27.qdimacs | 6 | 25 | 27 | 36 | 122 | 137 | 154 | 186 | 16960 | 11088 | 3172 | 7880 | >120.040 | 27.713 | #N/A | #N/A | 120.04 | 27.713 | ||||||||||||||||||||
d-1-NN-13_28.qdimacs | 6 | 25 | 30 | 36 | 122 | 147 | 154 | 198 | 18277 | 11809 | 3172 | 8601 | >120.040 | 32.013 | #N/A | #N/A | 120.04 | 32.013 | ||||||||||||||||||||
14 | d-1-NN-14_01.qdimacs | 7 | 10 | 11 | 38 | 53 | 55 | 59 | 74 | 2993 | 1923 | 583 | 1302 | 0.2 | 0.432 | #N/A | #N/A | 0.2 | 0.432 | |||||||||||||||||||
d-1-NN-14_02.qdimacs | 7 | 10 | 12 | 40 | 55 | 65 | 61 | 86 | 3375 | 2152 | 605 | 1507 | 0.27 | 0.328 | #N/A | #N/A | 0.27 | 0.328 | ||||||||||||||||||||
d-1-NN-14_03.qdimacs | 7 | 10 | 12 | 40 | 55 | 70 | 61 | 93 | 3466 | 2217 | 605 | 1572 | 0.23 | 0.348 | #N/A | #N/A | 0.23 | 0.348 | ||||||||||||||||||||
d-1-NN-14_04.qdimacs | 7 | 10 | 15 | 40 | 55 | 80 | 61 | 105 | 4141 | 2587 | 605 | 1942 | 0.24 | 0.444 | #N/A | #N/A | 0.24 | 0.444 | ||||||||||||||||||||
d-1-NN-14_05.qdimacs | 7 | 14 | 15 | 38 | 71 | 73 | 76 | 91 | 5151 | 3416 | 1065 | 2313 | 0.54 | 1.208 | #N/A | #N/A | 0.54 | 1.208 | ||||||||||||||||||||
d-1-NN-14_06.qdimacs | 7 | 14 | 16 | 40 | 73 | 83 | 78 | 103 | 5647 | 3719 | 1095 | 2584 | 0.59 | 1.36 | #N/A | #N/A | 0.59 | 1.36 | ||||||||||||||||||||
d-1-NN-14_07.qdimacs | 7 | 14 | 16 | 40 | 73 | 88 | 78 | 110 | 5766 | 3804 | 1095 | 2669 | 0.65 | 1.508 | #N/A | #N/A | 0.65 | 1.508 | ||||||||||||||||||||
d-1-NN-14_08.qdimacs | 7 | 14 | 19 | 40 | 73 | 98 | 78 | 122 | 6591 | 4268 | 1095 | 3133 | 0.8 | 1.772 | #N/A | #N/A | 0.8 | 1.772 | ||||||||||||||||||||
d-1-NN-14_09.qdimacs | 7 | 15 | 16 | 38 | 82 | 84 | 90 | 105 | 6302 | 4226 | 1312 | 2876 | 1.08 | 2.02 | #N/A | #N/A | 1.08 | 2.02 | ||||||||||||||||||||
d-1-NN-14_10.qdimacs | 7 | 15 | 17 | 40 | 84 | 94 | 92 | 117 | 6836 | 4554 | 1344 | 3170 | 1.03 | 2.432 | #N/A | #N/A | 1.03 | 2.432 | ||||||||||||||||||||
d-1-NN-14_11.qdimacs | 7 | 15 | 17 | 40 | 84 | 99 | 92 | 124 | 6962 | 4644 | 1344 | 3260 | 1.34 | 2.444 | #N/A | #N/A | 1.34 | 2.444 | ||||||||||||||||||||
d-1-NN-14_12.qdimacs | 7 | 15 | 20 | 40 | 84 | 109 | 92 | 136 | 7853 | 5151 | 1344 | 3767 | 1.65 | 3.04 | #N/A | #N/A | 1.65 | 3.04 | ||||||||||||||||||||
d-1-NN-14_13.qdimacs | 7 | 17 | 18 | 38 | 95 | 97 | 107 | 122 | 8137 | 5531 | 1710 | 3783 | 2.89 | 3.256 | #N/A | #N/A | 2.89 | 3.256 | ||||||||||||||||||||
d-1-NN-14_14.qdimacs | 7 | 17 | 19 | 40 | 97 | 107 | 109 | 134 | 8736 | 5900 | 1746 | 4114 | 3.37 | 3.964 | #N/A | #N/A | 3.37 | 3.964 | ||||||||||||||||||||
d-1-NN-14_15.qdimacs | 7 | 17 | 19 | 40 | 97 | 112 | 109 | 141 | 8876 | 6000 | 1746 | 4214 | 3.67 | 4.024 | #N/A | #N/A | 3.67 | 4.024 | ||||||||||||||||||||
d-1-NN-14_16.qdimacs | 7 | 17 | 22 | 40 | 97 | 122 | 109 | 153 | 9866 | 6566 | 1746 | 4780 | 4.26 | 5.284 | #N/A | #N/A | 4.26 | 5.284 | ||||||||||||||||||||
d-1-NN-14_17.qdimacs | 7 | 21 | 22 | 38 | 105 | 107 | 124 | 139 | 11386 | 7563 | 2310 | 5215 | 10.46 | 9.452 | #N/A | #N/A | 10.46 | 9.452 | ||||||||||||||||||||
d-1-NN-14_18.qdimacs | 7 | 21 | 23 | 40 | 107 | 117 | 126 | 151 | 12098 | 7998 | 2354 | 5604 | 11.18 | 11.172 | #N/A | #N/A | 11.18 | 11.172 | ||||||||||||||||||||
d-1-NN-14_19.qdimacs | 7 | 21 | 23 | 40 | 107 | 122 | 126 | 158 | 12266 | 8118 | 2354 | 5724 | 11.67 | 11.404 | #N/A | #N/A | 11.67 | 11.404 | ||||||||||||||||||||
d-1-NN-14_20.qdimacs | 7 | 21 | 26 | 40 | 107 | 132 | 126 | 170 | 13403 | 8754 | 2354 | 6360 | 12.9 | 13.164 | #N/A | #N/A | 12.9 | 13.164 | ||||||||||||||||||||
d-1-NN-14_21.qdimacs | 7 | 23 | 24 | 38 | 112 | 114 | 137 | 152 | 13501 | 8896 | 2688 | 6170 | 49.51 | 15.988 | #N/A | #N/A | 49.51 | 15.988 | ||||||||||||||||||||
d-1-NN-14_22.qdimacs | 7 | 23 | 25 | 40 | 114 | 124 | 139 | 164 | 14274 | 9366 | 2736 | 6590 | 53.51 | 18.657 | #N/A | #N/A | 53.51 | 18.657 | ||||||||||||||||||||
d-1-NN-14_23.qdimacs | 7 | 23 | 25 | 40 | 114 | 129 | 139 | 171 | 14456 | 9496 | 2736 | 6720 | 54.54 | 18.709 | #N/A | #N/A | 54.54 | 18.709 | ||||||||||||||||||||
d-1-NN-14_24.qdimacs | 7 | 23 | 28 | 40 | 114 | 139 | 139 | 183 | 15680 | 10173 | 2736 | 7397 | 56.44 | 21.477 | #N/A | #N/A | 56.44 | 21.477 | ||||||||||||||||||||
d-1-NN-14_25.qdimacs | 7 | 25 | 26 | 38 | 120 | 122 | 152 | 167 | 15928 | 10442 | 3120 | 7284 | >120.060 | 24.917 | #N/A | #N/A | 120.06 | 24.917 | ||||||||||||||||||||
d-1-NN-14_26.qdimacs | 7 | 25 | 27 | 40 | 122 | 132 | 154 | 179 | 16764 | 10948 | 3172 | 7736 | >120.010 | 28.005 | #N/A | #N/A | 120.01 | 28.005 | ||||||||||||||||||||
d-1-NN-14_27.qdimacs | 7 | 25 | 27 | 40 | 122 | 137 | 154 | 186 | 16960 | 11088 | 3172 | 7876 | >120.030 | 28.257 | #N/A | #N/A | 120.03 | 28.257 | ||||||||||||||||||||
d-1-NN-14_28.qdimacs | 7 | 25 | 30 | 40 | 122 | 147 | 154 | 198 | 18277 | 11809 | 3172 | 8597 | >120.110 | 32.485 | #N/A | #N/A | 120.11 | 32.485 | ||||||||||||||||||||
15 | d-1-NN-15_01.qdimacs | 10 | 13 | 14 | 48 | 63 | 65 | 59 | 74 | 3956 | 2723 | 882 | 1793 | 0.37 | 0.512 | #N/A | #N/A | 0.37 | 0.512 | |||||||||||||||||||
d-1-NN-15_02.qdimacs | 10 | 13 | 15 | 50 | 65 | 75 | 61 | 86 | 4410 | 3004 | 910 | 2044 | 0.33 | 0.632 | #N/A | #N/A | 0.33 | 0.632 | ||||||||||||||||||||
d-1-NN-15_03.qdimacs | 10 | 13 | 15 | 50 | 65 | 80 | 61 | 93 | 4522 | 3084 | 910 | 2124 | 0.33 | 0.636 | #N/A | #N/A | 0.33 | 0.636 | ||||||||||||||||||||
d-1-NN-15_04.qdimacs | 10 | 13 | 18 | 50 | 65 | 90 | 61 | 105 | 5269 | 3514 | 910 | 2554 | 0.4 | 0.916 | #N/A | #N/A | 0.4 | 0.916 | ||||||||||||||||||||
d-1-NN-15_05.qdimacs | 10 | 17 | 18 | 48 | 81 | 83 | 76 | 91 | 6378 | 4455 | 1458 | 2949 | 1.16 | 1.988 | #N/A | #N/A | 1.16 | 1.988 | ||||||||||||||||||||
d-1-NN-15_06.qdimacs | 10 | 17 | 19 | 50 | 83 | 93 | 78 | 103 | 6946 | 4810 | 1494 | 3266 | 1.23 | 2.52 | #N/A | #N/A | 1.23 | 2.52 | ||||||||||||||||||||
d-1-NN-15_07.qdimacs | 10 | 17 | 19 | 50 | 83 | 98 | 78 | 110 | 7086 | 4910 | 1494 | 3366 | 1.34 | 2.54 | #N/A | #N/A | 1.34 | 2.54 | ||||||||||||||||||||
d-1-NN-15_08.qdimacs | 10 | 17 | 22 | 50 | 83 | 108 | 78 | 122 | 7983 | 5434 | 1494 | 3890 | 1.9 | 3.112 | #N/A | #N/A | 1.9 | 3.112 | ||||||||||||||||||||
d-1-NN-15_09.qdimacs | 10 | 17 | 18 | 49 | 90 | 92 | 90 | 105 | 7220 | 5040 | 1620 | 3371 | 1.52 | 2.952 | #N/A | #N/A | 1.52 | 2.952 | ||||||||||||||||||||
d-1-NN-15_10.qdimacs | 10 | 17 | 19 | 51 | 92 | 102 | 92 | 117 | 7802 | 5404 | 1656 | 3697 | 2.13 | 3.504 | #N/A | #N/A | 2.13 | 3.504 | ||||||||||||||||||||
d-1-NN-15_11.qdimacs | 10 | 17 | 19 | 51 | 92 | 107 | 92 | 124 | 7942 | 5504 | 1656 | 3797 | 1.9 | 3.82 | #N/A | #N/A | 1.9 | 3.82 | ||||||||||||||||||||
d-1-NN-15_12.qdimacs | 10 | 17 | 22 | 51 | 92 | 117 | 92 | 136 | 8881 | 6055 | 1656 | 4348 | 3.06 | 4.368 | #N/A | #N/A | 3.06 | 4.368 | ||||||||||||||||||||
d-1-NN-15_13.qdimacs | 10 | 17 | 18 | 50 | 95 | 97 | 107 | 122 | 8137 | 5531 | 1710 | 3771 | 3.49 | 3.304 | #N/A | #N/A | 3.49 | 3.304 | ||||||||||||||||||||
d-1-NN-15_14.qdimacs | 10 | 17 | 19 | 52 | 97 | 107 | 109 | 134 | 8736 | 5900 | 1746 | 4102 | 3.87 | 4.076 | #N/A | #N/A | 3.87 | 4.076 | ||||||||||||||||||||
d-1-NN-15_15.qdimacs | 10 | 17 | 19 | 52 | 97 | 112 | 109 | 141 | 8876 | 6000 | 1746 | 4202 | 3.69 | 3.988 | #N/A | #N/A | 3.69 | 3.988 | ||||||||||||||||||||
d-1-NN-15_16.qdimacs | 10 | 17 | 22 | 52 | 97 | 122 | 109 | 153 | 9866 | 6566 | 1746 | 4768 | 4.37 | 4.892 | #N/A | #N/A | 4.37 | 4.892 | ||||||||||||||||||||
d-1-NN-15_17.qdimacs | 10 | 21 | 22 | 50 | 105 | 107 | 124 | 139 | 11386 | 7563 | 2310 | 5203 | 11.53 | 9.584 | #N/A | #N/A | 11.53 | 9.584 | ||||||||||||||||||||
d-1-NN-15_18.qdimacs | 10 | 21 | 23 | 52 | 107 | 117 | 126 | 151 | 12098 | 7998 | 2354 | 5592 | 12.26 | 11.544 | #N/A | #N/A | 12.26 | 11.544 | ||||||||||||||||||||
d-1-NN-15_19.qdimacs | 10 | 21 | 23 | 52 | 107 | 122 | 126 | 158 | 12266 | 8118 | 2354 | 5712 | 12.61 | 11.096 | #N/A | #N/A | 12.61 | 11.096 | ||||||||||||||||||||
d-1-NN-15_20.qdimacs | 10 | 21 | 26 | 52 | 107 | 132 | 126 | 170 | 13403 | 8754 | 2354 | 6348 | 13.92 | 13.54 | #N/A | #N/A | 13.92 | 13.54 | ||||||||||||||||||||
d-1-NN-15_21.qdimacs | 10 | 23 | 24 | 50 | 112 | 114 | 137 | 152 | 13501 | 8896 | 2688 | 6158 | 56.37 | 15.904 | #N/A | #N/A | 56.37 | 15.904 | ||||||||||||||||||||
d-1-NN-15_22.qdimacs | 10 | 23 | 25 | 52 | 114 | 124 | 139 | 164 | 14274 | 9366 | 2736 | 6578 | 61.92 | 18.649 | #N/A | #N/A | 61.92 | 18.649 | ||||||||||||||||||||
d-1-NN-15_23.qdimacs | 10 | 23 | 25 | 52 | 114 | 129 | 139 | 171 | 14456 | 9496 | 2736 | 6708 | 62.06 | 18.329 | #N/A | #N/A | 62.06 | 18.329 | ||||||||||||||||||||
d-1-NN-15_24.qdimacs | 10 | 23 | 28 | 52 | 114 | 139 | 139 | 183 | 15680 | 10173 | 2736 | 7385 | 66.41 | 21.845 | #N/A | #N/A | 66.41 | 21.845 | ||||||||||||||||||||
d-1-NN-15_25.qdimacs | 10 | 25 | 26 | 50 | 120 | 122 | 152 | 167 | 15928 | 10442 | 3120 | 7272 | >120.060 | 24.849 | #N/A | #N/A | 120.06 | 24.849 | ||||||||||||||||||||
d-1-NN-15_26.qdimacs | 10 | 25 | 27 | 52 | 122 | 132 | 154 | 179 | 16764 | 10948 | 3172 | 7724 | >120.050 | 27.893 | #N/A | #N/A | 120.05 | 27.893 | ||||||||||||||||||||
d-1-NN-15_27.qdimacs | 10 | 25 | 27 | 52 | 122 | 137 | 154 | 186 | 16960 | 11088 | 3172 | 7864 | >120.030 | 27.917 | #N/A | #N/A | 120.03 | 27.917 | ||||||||||||||||||||
d-1-NN-15_28.qdimacs | 10 | 25 | 30 | 52 | 122 | 147 | 154 | 198 | 18277 | 11809 | 3172 | 8585 | >120.020 | 32.761 | #N/A | #N/A | 120.02 | 32.761 | ||||||||||||||||||||
0 | 0 | 340 | 420 | |||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||