concept entailment (-d -r1 -r2) | not solved? | |||||||||||||||||||||||||||||||||||||
sigN | name | roles | b-concepts | axioms | clause | variables | time | graph data | ||||||||||||||||||||||||||||||
sig | 1 | 12 | sig | 1 | 12 | 1 | 12 | total | A | E | sKizzo 1:13 | sKizzo 0 | 2clsQ | yquaffle | 0 | sKizzo 1:13 | sKizzo | 2clsQ | yquaffle | |||||||||||||||||||
01 | d2-1-NN-01_01.qdimacs | 1 | 8 | 9 | 5 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1041 | 131.69 | 0.4 | 0.272 | #N/A | 131.69 | 0.4 | 0.272 | ||||||||||||||||||
d2-1-NN-01_02.qdimacs | 1 | 8 | 11 | 5 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1283 | 122.45 | 0.57 | 0.252 | #N/A | 122.45 | 0.57 | 0.252 | |||||||||||||||||||
d2-1-NN-01_03.qdimacs | 1 | 8 | 12 | 5 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1461 | 123.57 | 0.74 | 0.284 | #N/A | 123.57 | 0.74 | 0.284 | |||||||||||||||||||
d2-1-NN-01_04.qdimacs | 1 | 8 | 15 | 5 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1831 | 121.01 | 0.83 | 0.356 | #N/A | 121.01 | 0.83 | 0.356 | |||||||||||||||||||
d2-1-NN-01_05.qdimacs | 1 | 12 | 13 | 5 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1958 | >250 | 1.61 | 0.832 | #N/A | 250 | 1.61 | 0.832 | |||||||||||||||||||
d2-1-NN-01_06.qdimacs | 1 | 12 | 15 | 5 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2284 | >250 | 2.03 | 1.004 | #N/A | 250 | 2.03 | 1.004 | |||||||||||||||||||
d2-1-NN-01_07.qdimacs | 1 | 12 | 16 | 5 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2516 | >250 | 2.7 | 1.26 | #N/A | 250 | 2.7 | 1.26 | |||||||||||||||||||
d2-1-NN-01_08.qdimacs | 1 | 12 | 19 | 5 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2980 | >250 | 3.21 | 1.428 | #N/A | 250 | 3.21 | 1.428 | |||||||||||||||||||
d2-1-NN-01_09.qdimacs | 1 | 13 | 14 | 5 | 75 | 77 | 90 | 105 | 5416 | 3505 | 1050 | 2450 | >250 | 2.83 | 1.708 | #N/A | 250 | 2.83 | 1.708 | |||||||||||||||||||
d2-1-NN-01_10.qdimacs | 1 | 13 | 16 | 5 | 75 | 89 | 90 | 117 | 6040 | 3863 | 1050 | 2808 | >250 | 3.67 | 2.116 | #N/A | 250 | 3.67 | 2.116 | |||||||||||||||||||
d2-1-NN-01_11.qdimacs | 1 | 13 | 17 | 5 | 75 | 98 | 90 | 124 | 6364 | 4114 | 1050 | 3059 | >250 | 4.56 | 2.248 | #N/A | 250 | 4.56 | 2.248 | |||||||||||||||||||
d2-1-NN-01_12.qdimacs | 1 | 13 | 20 | 5 | 75 | 108 | 90 | 136 | 7255 | 4618 | 1050 | 3563 | >250 | 6.55 | 2.86 | #N/A | 250 | 6.55 | 2.86 | |||||||||||||||||||
d2-1-NN-01_13.qdimacs | 1 | 15 | 16 | 5 | 88 | 90 | 107 | 122 | 7119 | 4696 | 1408 | 3283 | >250 | 7.54 | 2.832 | #N/A | 250 | 7.54 | 2.832 | |||||||||||||||||||
d2-1-NN-01_14.qdimacs | 1 | 15 | 18 | 5 | 88 | 102 | 107 | 134 | 7825 | 5104 | 1408 | 3691 | >250 | 10.28 | 3.372 | #N/A | 250 | 10.28 | 3.372 | |||||||||||||||||||
d2-1-NN-01_15.qdimacs | 1 | 15 | 19 | 5 | 88 | 111 | 107 | 141 | 8188 | 5386 | 1408 | 3973 | >250 | 11.62 | 3.852 | #N/A | 250 | 11.62 | 3.852 | |||||||||||||||||||
d2-1-NN-01_16.qdimacs | 1 | 15 | 22 | 5 | 88 | 121 | 107 | 153 | 9178 | 5949 | 1408 | 4536 | >250 | 16.58 | 4.612 | #N/A | 250 | 16.58 | 4.612 | |||||||||||||||||||
d2-1-NN-01_17.qdimacs | 1 | 19 | 20 | 5 | 98 | 100 | 124 | 139 | 10204 | 6598 | 1960 | 4633 | >250 | 24.46 | 8.056 | #N/A | 250 | 24.46 | 8.056 | |||||||||||||||||||
d2-1-NN-01_18.qdimacs | 1 | 19 | 22 | 5 | 98 | 112 | 124 | 151 | 11040 | 7074 | 1960 | 5109 | >250 | 32.3 | 9.372 | #N/A | 250 | 32.3 | 9.372 | |||||||||||||||||||
d2-1-NN-01_19.qdimacs | 1 | 19 | 23 | 5 | 98 | 121 | 124 | 158 | 11464 | 7402 | 1960 | 5437 | >250 | 36.89 | 10.508 | #N/A | 250 | 36.89 | 10.508 | |||||||||||||||||||
d2-1-NN-01_20.qdimacs | 1 | 19 | 26 | 5 | 98 | 131 | 124 | 170 | 12601 | 8035 | 1960 | 6070 | >250 | 47.14 | 12.396 | #N/A | 250 | 47.14 | 12.396 | |||||||||||||||||||
d2-1-NN-01_21.qdimacs | 1 | 21 | 22 | 5 | 105 | 107 | 137 | 152 | 12213 | 7849 | 2310 | 5534 | >250 | 118.61 | 13.928 | #N/A | 250 | 118.61 | 13.928 | |||||||||||||||||||
d2-1-NN-01_22.qdimacs | 1 | 21 | 24 | 5 | 105 | 119 | 137 | 164 | 13123 | 8363 | 2310 | 6048 | >250 | 142.27 | 15.644 | #N/A | 250 | 142.27 | 15.644 | |||||||||||||||||||
d2-1-NN-01_23.qdimacs | 1 | 21 | 25 | 5 | 105 | 128 | 137 | 171 | 13582 | 8716 | 2310 | 6401 | >250 | 158.02 | 17.441 | #N/A | 250 | 158.02 | 17.441 | |||||||||||||||||||
d2-1-NN-01_24.qdimacs | 1 | 21 | 28 | 5 | 105 | 138 | 137 | 183 | 14806 | 9390 | 2310 | 7075 | >250 | 192.56 | 20.509 | #N/A | 250 | 192.56 | 20.509 | |||||||||||||||||||
d2-1-NN-01_25.qdimacs | 1 | 23 | 24 | 5 | 113 | 115 | 152 | 167 | 14524 | 9305 | 2712 | 6588 | >250 | 519.57 | 21.405 | #N/A | 250 | 519.57 | 21.405 | |||||||||||||||||||
d2-1-NN-01_26.qdimacs | 1 | 23 | 26 | 5 | 113 | 127 | 152 | 179 | 15512 | 9859 | 2712 | 7142 | >250 | 617.48 | 24.097 | #N/A | 250 | 617.48 | 24.097 | |||||||||||||||||||
d2-1-NN-01_27.qdimacs | 1 | 23 | 27 | 5 | 113 | 136 | 152 | 186 | 16008 | 10238 | 2712 | 7521 | >250 | 674.08 | 26.285 | #N/A | 250 | 674.08 | 26.285 | |||||||||||||||||||
d2-1-NN-01_28.qdimacs | 1 | 23 | 30 | 5 | 113 | 146 | 152 | 198 | 17325 | 10956 | 2712 | 8239 | >250 | 792.37 | 30.681 | #N/A | 250 | 792.37 | 30.681 | |||||||||||||||||||
02 | d2-1-NN-02_01.qdimacs | 1 | 8 | 9 | 7 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1039 | >250 | 0.57 | 0.216 | #N/A | 250 | 0.57 | 0.216 | ||||||||||||||||||
d2-1-NN-02_02.qdimacs | 1 | 8 | 11 | 7 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1281 | >250 | 0.54 | 0.296 | #N/A | 250 | 0.54 | 0.296 | |||||||||||||||||||
d2-1-NN-02_03.qdimacs | 1 | 8 | 12 | 7 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1459 | >250 | 0.66 | 0.304 | #N/A | 250 | 0.66 | 0.304 | |||||||||||||||||||
d2-1-NN-02_04.qdimacs | 1 | 8 | 15 | 7 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1829 | >250 | 0.86 | 0.376 | #N/A | 250 | 0.86 | 0.376 | |||||||||||||||||||
d2-1-NN-02_05.qdimacs | 1 | 12 | 13 | 7 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1956 | >250 | 1.9 | 0.876 | #N/A | 250 | 1.9 | 0.876 | |||||||||||||||||||
d2-1-NN-02_06.qdimacs | 1 | 12 | 15 | 7 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2282 | >250 | 1.91 | 1.016 | #N/A | 250 | 1.91 | 1.016 | |||||||||||||||||||
d2-1-NN-02_07.qdimacs | 1 | 12 | 16 | 7 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2514 | >250 | 2.2 | 1.404 | #N/A | 250 | 2.2 | 1.404 | |||||||||||||||||||
d2-1-NN-02_08.qdimacs | 1 | 12 | 19 | 7 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2978 | >250 | 3.02 | 1.508 | #N/A | 250 | 3.02 | 1.508 | |||||||||||||||||||
d2-1-NN-02_09.qdimacs | 1 | 13 | 14 | 7 | 75 | 77 | 90 | 105 | 5416 | 3505 | 1050 | 2448 | >250 | 3.28 | 1.592 | #N/A | 250 | 3.28 | 1.592 | |||||||||||||||||||
d2-1-NN-02_10.qdimacs | 1 | 13 | 16 | 7 | 75 | 89 | 90 | 117 | 6040 | 3863 | 1050 | 2806 | >250 | 3.84 | 1.904 | #N/A | 250 | 3.84 | 1.904 | |||||||||||||||||||
d2-1-NN-02_11.qdimacs | 1 | 13 | 17 | 7 | 75 | 98 | 90 | 124 | 6364 | 4114 | 1050 | 3057 | >250 | 5.4 | 2.296 | #N/A | 250 | 5.4 | 2.296 | |||||||||||||||||||
d2-1-NN-02_12.qdimacs | 1 | 13 | 20 | 7 | 75 | 108 | 90 | 136 | 7255 | 4618 | 1050 | 3561 | >250 | 7.25 | 2.872 | #N/A | 250 | 7.25 | 2.872 | |||||||||||||||||||
d2-1-NN-02_13.qdimacs | 1 | 15 | 16 | 7 | 88 | 90 | 107 | 122 | 7119 | 4696 | 1408 | 3281 | >250 | 7.88 | 2.756 | #N/A | 250 | 7.88 | 2.756 | |||||||||||||||||||
d2-1-NN-02_14.qdimacs | 1 | 15 | 18 | 7 | 88 | 102 | 107 | 134 | 7825 | 5104 | 1408 | 3689 | >250 | 10.71 | 3.428 | #N/A | 250 | 10.71 | 3.428 | |||||||||||||||||||
d2-1-NN-02_15.qdimacs | 1 | 15 | 19 | 7 | 88 | 111 | 107 | 141 | 8188 | 5386 | 1408 | 3971 | >250 | 12.53 | 3.66 | #N/A | 250 | 12.53 | 3.66 | |||||||||||||||||||
d2-1-NN-02_16.qdimacs | 1 | 15 | 22 | 7 | 88 | 121 | 107 | 153 | 9178 | 5949 | 1408 | 4534 | >250 | 18.52 | 4.612 | #N/A | 250 | 18.52 | 4.612 | |||||||||||||||||||
d2-1-NN-02_17.qdimacs | 1 | 19 | 20 | 7 | 98 | 100 | 124 | 139 | 10204 | 6598 | 1960 | 4631 | >250 | 24.64 | 8.236 | #N/A | 250 | 24.64 | 8.236 | |||||||||||||||||||
d2-1-NN-02_18.qdimacs | 1 | 19 | 22 | 7 | 98 | 112 | 124 | 151 | 11040 | 7074 | 1960 | 5107 | >250 | 31.97 | 9.42 | #N/A | 250 | 31.97 | 9.42 | |||||||||||||||||||
d2-1-NN-02_19.qdimacs | 1 | 19 | 23 | 7 | 98 | 121 | 124 | 158 | 11464 | 7402 | 1960 | 5435 | >250 | 37.96 | 10.368 | #N/A | 250 | 37.96 | 10.368 | |||||||||||||||||||
d2-1-NN-02_20.qdimacs | 1 | 19 | 26 | 7 | 98 | 131 | 124 | 170 | 12601 | 8035 | 1960 | 6068 | >250 | 48.61 | 12.644 | #N/A | 250 | 48.61 | 12.644 | |||||||||||||||||||
d2-1-NN-02_21.qdimacs | 1 | 21 | 22 | 7 | 105 | 107 | 137 | 152 | 12213 | 7849 | 2310 | 5532 | >250 | 114.67 | 13.652 | #N/A | 250 | 114.67 | 13.652 | |||||||||||||||||||
d2-1-NN-02_22.qdimacs | 1 | 21 | 24 | 7 | 105 | 119 | 137 | 164 | 13123 | 8363 | 2310 | 6046 | >250 | 138.6 | 15.708 | #N/A | 250 | 138.6 | 15.708 | |||||||||||||||||||
d2-1-NN-02_23.qdimacs | 1 | 21 | 25 | 7 | 105 | 128 | 137 | 171 | 13582 | 8716 | 2310 | 6399 | >250 | 161.93 | 17.184 | #N/A | 250 | 161.93 | 17.184 | |||||||||||||||||||
d2-1-NN-02_24.qdimacs | 1 | 21 | 28 | 7 | 105 | 138 | 137 | 183 | 14806 | 9390 | 2310 | 7073 | >250 | 197.77 | 20.573 | #N/A | 250 | 197.77 | 20.573 | |||||||||||||||||||
d2-1-NN-02_25.qdimacs | 1 | 23 | 24 | 7 | 113 | 115 | 152 | 167 | 14524 | 9305 | 2712 | 6586 | >250 | 523.51 | 21.601 | #N/A | 250 | 523.51 | 21.601 | |||||||||||||||||||
d2-1-NN-02_26.qdimacs | 1 | 23 | 26 | 7 | 113 | 127 | 152 | 179 | 15512 | 9859 | 2712 | 7140 | >250 | 615.63 | 24.645 | #N/A | 250 | 615.63 | 24.645 | |||||||||||||||||||
d2-1-NN-02_27.qdimacs | 1 | 23 | 27 | 7 | 113 | 136 | 152 | 186 | 16008 | 10238 | 2712 | 7519 | >250 | 685.43 | 26.025 | #N/A | 250 | 685.43 | 26.025 | |||||||||||||||||||
d2-1-NN-02_28.qdimacs | 1 | 23 | 30 | 7 | 113 | 146 | 152 | 198 | 17325 | 10956 | 2712 | 8237 | >250 | 802.24 | 30.429 | #N/A | 250 | 802.24 | 30.429 | |||||||||||||||||||
03 | d2-1-NN-03_01.qdimacs | 2 | 8 | 9 | 11 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1035 | >250 | 0.48 | 0.22 | #N/A | 250 | 0.48 | 0.22 | ||||||||||||||||||
d2-1-NN-03_02.qdimacs | 2 | 8 | 11 | 11 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1277 | >250 | 0.6 | 0.272 | #N/A | 250 | 0.6 | 0.272 | |||||||||||||||||||
d2-1-NN-03_03.qdimacs | 2 | 8 | 12 | 11 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1455 | >250 | 0.62 | 0.396 | #N/A | 250 | 0.62 | 0.396 | |||||||||||||||||||
d2-1-NN-03_04.qdimacs | 2 | 8 | 15 | 11 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1825 | >250 | 0.93 | 0.392 | #N/A | 250 | 0.93 | 0.392 | |||||||||||||||||||
d2-1-NN-03_05.qdimacs | 2 | 12 | 13 | 11 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1952 | >250 | 2.32 | 0.896 | #N/A | 250 | 2.32 | 0.896 | |||||||||||||||||||
d2-1-NN-03_06.qdimacs | 2 | 12 | 15 | 11 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2278 | >250 | 3.13 | 1.04 | #N/A | 250 | 3.13 | 1.04 | |||||||||||||||||||
d2-1-NN-03_07.qdimacs | 2 | 12 | 16 | 11 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2510 | >250 | 3.21 | 1.34 | #N/A | 250 | 3.21 | 1.34 | |||||||||||||||||||
d2-1-NN-03_08.qdimacs | 2 | 12 | 19 | 11 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2974 | >250 | 4.71 | 1.632 | #N/A | 250 | 4.71 | 1.632 | |||||||||||||||||||
d2-1-NN-03_09.qdimacs | 2 | 13 | 14 | 11 | 75 | 77 | 90 | 105 | 5416 | 3505 | 1050 | 2444 | >250 | 4.42 | 1.692 | #N/A | 250 | 4.42 | 1.692 | |||||||||||||||||||
d2-1-NN-03_10.qdimacs | 2 | 13 | 16 | 11 | 75 | 89 | 90 | 117 | 6040 | 3863 | 1050 | 2802 | >250 | 5.99 | 2.12 | #N/A | 250 | 5.99 | 2.12 | |||||||||||||||||||
d2-1-NN-03_11.qdimacs | 2 | 13 | 17 | 11 | 75 | 98 | 90 | 124 | 6364 | 4114 | 1050 | 3053 | >250 | 5.6 | 2.22 | #N/A | 250 | 5.6 | 2.22 | |||||||||||||||||||
d2-1-NN-03_12.qdimacs | 2 | 13 | 20 | 11 | 75 | 108 | 90 | 136 | 7255 | 4618 | 1050 | 3557 | >250 | 7.16 | 2.964 | #N/A | 250 | 7.16 | 2.964 | |||||||||||||||||||
d2-1-NN-03_13.qdimacs | 2 | 15 | 16 | 11 | 88 | 90 | 107 | 122 | 7119 | 4696 | 1408 | 3277 | >250 | 10.78 | 2.888 | #N/A | 250 | 10.78 | 2.888 | |||||||||||||||||||
d2-1-NN-03_14.qdimacs | 2 | 15 | 18 | 11 | 88 | 102 | 107 | 134 | 7825 | 5104 | 1408 | 3685 | >250 | 13.31 | 3.668 | #N/A | 250 | 13.31 | 3.668 | |||||||||||||||||||
d2-1-NN-03_15.qdimacs | 2 | 15 | 19 | 11 | 88 | 111 | 107 | 141 | 8188 | 5386 | 1408 | 3967 | >250 | 12.19 | 3.792 | #N/A | 250 | 12.19 | 3.792 | |||||||||||||||||||
d2-1-NN-03_16.qdimacs | 2 | 15 | 22 | 11 | 88 | 121 | 107 | 153 | 9178 | 5949 | 1408 | 4530 | >250 | 15.73 | 4.732 | #N/A | 250 | 15.73 | 4.732 | |||||||||||||||||||
d2-1-NN-03_17.qdimacs | 2 | 19 | 20 | 11 | 98 | 100 | 124 | 139 | 10204 | 6598 | 1960 | 4627 | >250 | 43.37 | 8.284 | #N/A | 250 | 43.37 | 8.284 | |||||||||||||||||||
d2-1-NN-03_18.qdimacs | 2 | 19 | 22 | 11 | 98 | 112 | 124 | 151 | 11040 | 7074 | 1960 | 5103 | >250 | 52.28 | 9.648 | #N/A | 250 | 52.28 | 9.648 | |||||||||||||||||||
d2-1-NN-03_19.qdimacs | 2 | 19 | 23 | 11 | 98 | 121 | 124 | 158 | 11464 | 7402 | 1960 | 5431 | >250 | 54.43 | 10.484 | #N/A | 250 | 54.43 | 10.484 | |||||||||||||||||||
d2-1-NN-03_20.qdimacs | 2 | 19 | 26 | 11 | 98 | 131 | 124 | 170 | 12601 | 8035 | 1960 | 6064 | >250 | 65.09 | 12.656 | #N/A | 250 | 65.09 | 12.656 | |||||||||||||||||||
d2-1-NN-03_21.qdimacs | 2 | 21 | 22 | 11 | 105 | 107 | 137 | 152 | 12213 | 7849 | 2310 | 5528 | >250 | 127.23 | 13.708 | #N/A | 250 | 127.23 | 13.708 | |||||||||||||||||||
d2-1-NN-03_22.qdimacs | 2 | 21 | 24 | 11 | 105 | 119 | 137 | 164 | 13123 | 8363 | 2310 | 6042 | >250 | 158.28 | 15.888 | #N/A | 250 | 158.28 | 15.888 | |||||||||||||||||||
d2-1-NN-03_23.qdimacs | 2 | 21 | 25 | 11 | 105 | 128 | 137 | 171 | 13582 | 8716 | 2310 | 6395 | >250 | 166.91 | 17.565 | #N/A | 250 | 166.91 | 17.565 | |||||||||||||||||||
d2-1-NN-03_24.qdimacs | 2 | 21 | 28 | 11 | 105 | 138 | 137 | 183 | 14806 | 9390 | 2310 | 7069 | >250 | 198.16 | 20.665 | #N/A | 250 | 198.16 | 20.665 | |||||||||||||||||||
d2-1-NN-03_25.qdimacs | 2 | 23 | 24 | 11 | 113 | 115 | 152 | 167 | 14524 | 9305 | 2712 | 6582 | >250 | 540.39 | 21.417 | #N/A | 250 | 540.39 | 21.417 | |||||||||||||||||||
d2-1-NN-03_26.qdimacs | 2 | 23 | 26 | 11 | 113 | 127 | 152 | 179 | 15512 | 9859 | 2712 | 7136 | >250 | 642.47 | 24.577 | #N/A | 250 | 642.47 | 24.577 | |||||||||||||||||||
d2-1-NN-03_27.qdimacs | 2 | 23 | 27 | 11 | 113 | 136 | 152 | 186 | 16008 | 10238 | 2712 | 7515 | >250 | 825.48 | 26.657 | #N/A | 250 | 825.48 | 26.657 | |||||||||||||||||||
d2-1-NN-03_28.qdimacs | 2 | 23 | 30 | 11 | 113 | 146 | 152 | 198 | 17325 | 10956 | 2712 | 8233 | >250 | 939.16 | 30.877 | #N/A | 250 | 939.16 | 30.877 | |||||||||||||||||||
04 | d2-1-NN-04_01.qdimacs | 3 | 8 | 9 | 15 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1031 | >250 | 0.54 | 0.264 | #N/A | 250 | 0.54 | 0.264 | ||||||||||||||||||
d2-1-NN-04_02.qdimacs | 3 | 8 | 11 | 15 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1273 | >250 | 0.5 | 0.232 | #N/A | 250 | 0.5 | 0.232 | |||||||||||||||||||
d2-1-NN-04_03.qdimacs | 3 | 8 | 12 | 15 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1451 | >250 | 0.52 | 0.388 | #N/A | 250 | 0.52 | 0.388 | |||||||||||||||||||
d2-1-NN-04_04.qdimacs | 3 | 8 | 15 | 15 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1821 | >250 | 0.77 | 0.376 | #N/A | 250 | 0.77 | 0.376 | |||||||||||||||||||
d2-1-NN-04_05.qdimacs | 3 | 12 | 13 | 15 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1948 | >250 | 2.77 | 0.812 | #N/A | 250 | 2.77 | 0.812 | |||||||||||||||||||
d2-1-NN-04_06.qdimacs | 3 | 12 | 15 | 15 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2274 | >250 | 3.81 | 1.044 | #N/A | 250 | 3.81 | 1.044 | |||||||||||||||||||
d2-1-NN-04_07.qdimacs | 3 | 12 | 16 | 15 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2506 | >250 | 3.7 | 1.192 | #N/A | 250 | 3.7 | 1.192 | |||||||||||||||||||
d2-1-NN-04_08.qdimacs | 3 | 12 | 19 | 15 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2970 | >250 | 4.9 | 1.484 | #N/A | 250 | 4.9 | 1.484 | |||||||||||||||||||
d2-1-NN-04_09.qdimacs | 3 | 13 | 14 | 15 | 75 | 77 | 90 | 105 | 5416 | 3505 | 1050 | 2440 | >250 | 5.02 | 1.792 | #N/A | 250 | 5.02 | 1.792 | |||||||||||||||||||
d2-1-NN-04_10.qdimacs | 3 | 13 | 16 | 15 | 75 | 89 | 90 | 117 | 6040 | 3863 | 1050 | 2798 | >250 | 6.57 | 2.12 | #N/A | 250 | 6.57 | 2.12 | |||||||||||||||||||
d2-1-NN-04_11.qdimacs | 3 | 13 | 17 | 15 | 75 | 98 | 90 | 124 | 6364 | 4114 | 1050 | 3049 | >250 | 6.37 | 2.352 | #N/A | 250 | 6.37 | 2.352 | |||||||||||||||||||
d2-1-NN-04_12.qdimacs | 3 | 13 | 20 | 15 | 75 | 108 | 90 | 136 | 7255 | 4618 | 1050 | 3553 | >250 | 8.89 | 2.852 | #N/A | 250 | 8.89 | 2.852 | |||||||||||||||||||
d2-1-NN-04_13.qdimacs | 3 | 15 | 16 | 15 | 88 | 90 | 107 | 122 | 7119 | 4696 | 1408 | 3273 | >250 | 12.53 | 2.824 | #N/A | 250 | 12.53 | 2.824 | |||||||||||||||||||
d2-1-NN-04_14.qdimacs | 3 | 15 | 18 | 15 | 88 | 102 | 107 | 134 | 7825 | 5104 | 1408 | 3681 | >250 | 15.81 | 3.328 | #N/A | 250 | 15.81 | 3.328 | |||||||||||||||||||
d2-1-NN-04_15.qdimacs | 3 | 15 | 19 | 15 | 88 | 111 | 107 | 141 | 8188 | 5386 | 1408 | 3963 | >250 | 15.81 | 3.864 | #N/A | 250 | 15.81 | 3.864 | |||||||||||||||||||
d2-1-NN-04_16.qdimacs | 3 | 15 | 22 | 15 | 88 | 121 | 107 | 153 | 9178 | 5949 | 1408 | 4526 | >250 | 20.72 | 4.684 | #N/A | 250 | 20.72 | 4.684 | |||||||||||||||||||
d2-1-NN-04_17.qdimacs | 3 | 19 | 20 | 15 | 98 | 100 | 124 | 139 | 10204 | 6598 | 1960 | 4623 | >250 | 44.61 | 8.14 | #N/A | 250 | 44.61 | 8.14 | |||||||||||||||||||
d2-1-NN-04_18.qdimacs | 3 | 19 | 22 | 15 | 98 | 112 | 124 | 151 | 11040 | 7074 | 1960 | 5099 | >250 | 56.5 | 9.612 | #N/A | 250 | 56.5 | 9.612 | |||||||||||||||||||
d2-1-NN-04_19.qdimacs | 3 | 19 | 23 | 15 | 98 | 121 | 124 | 158 | 11464 | 7402 | 1960 | 5427 | >250 | 87.75 | 10.316 | #N/A | 250 | 87.75 | 10.316 | |||||||||||||||||||
d2-1-NN-04_20.qdimacs | 3 | 19 | 26 | 15 | 98 | 131 | 124 | 170 | 12601 | 8035 | 1960 | 6060 | >250 | 110.11 | 12.444 | #N/A | 250 | 110.11 | 12.444 | |||||||||||||||||||
d2-1-NN-04_21.qdimacs | 3 | 21 | 22 | 15 | 105 | 107 | 137 | 152 | 12213 | 7849 | 2310 | 5524 | >250 | 127.74 | 13.808 | #N/A | 250 | 127.74 | 13.808 | |||||||||||||||||||
d2-1-NN-04_22.qdimacs | 3 | 21 | 24 | 15 | 105 | 119 | 137 | 164 | 13123 | 8363 | 2310 | 6038 | >250 | 157.48 | 16.092 | #N/A | 250 | 157.48 | 16.092 | |||||||||||||||||||
d2-1-NN-04_23.qdimacs | 3 | 21 | 25 | 15 | 105 | 128 | 137 | 171 | 13582 | 8716 | 2310 | 6391 | >250 | 168.42 | 17.132 | #N/A | 250 | 168.42 | 17.132 | |||||||||||||||||||
d2-1-NN-04_24.qdimacs | 3 | 21 | 28 | 15 | 105 | 138 | 137 | 183 | 14806 | 9390 | 2310 | 7065 | >250 | 207.18 | 20.309 | #N/A | 250 | 207.18 | 20.309 | |||||||||||||||||||
d2-1-NN-04_25.qdimacs | 3 | 23 | 24 | 15 | 113 | 115 | 152 | 167 | 14524 | 9305 | 2712 | 6578 | >250 | 500.34 | 21.553 | #N/A | 250 | 500.34 | 21.553 | |||||||||||||||||||
d2-1-NN-04_26.qdimacs | 3 | 23 | 26 | 15 | 113 | 127 | 152 | 179 | 15512 | 9859 | 2712 | 7132 | >250 | 588.89 | 24.341 | #N/A | 250 | 588.89 | 24.341 | |||||||||||||||||||
d2-1-NN-04_27.qdimacs | 3 | 23 | 27 | 15 | 113 | 136 | 152 | 186 | 16008 | 10238 | 2712 | 7511 | >250 | 850.75 | 26.309 | #N/A | 250 | 850.75 | 26.309 | |||||||||||||||||||
d2-1-NN-04_28.qdimacs | 3 | 23 | 30 | 15 | 113 | 146 | 152 | 198 | 17325 | 10956 | 2712 | 8229 | >250 | 995.99 | 30.645 | #N/A | 250 | 995.99 | 30.645 | |||||||||||||||||||
05 | d2-1-NN-05_01.qdimacs | 2 | 8 | 9 | 13 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1033 | >250 | 0.52 | 0.232 | #N/A | 250 | 0.52 | 0.232 | ||||||||||||||||||
d2-1-NN-05_02.qdimacs | 2 | 8 | 11 | 13 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1275 | >250 | 0.6 | 0.28 | #N/A | 250 | 0.6 | 0.28 | |||||||||||||||||||
d2-1-NN-05_03.qdimacs | 2 | 8 | 12 | 13 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1453 | >250 | 0.77 | 0.396 | #N/A | 250 | 0.77 | 0.396 | |||||||||||||||||||
d2-1-NN-05_04.qdimacs | 2 | 8 | 15 | 13 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1823 | >250 | 1.15 | 0.404 | #N/A | 250 | 1.15 | 0.404 | |||||||||||||||||||
d2-1-NN-05_05.qdimacs | 2 | 12 | 13 | 13 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1950 | >250 | 2.05 | 0.988 | #N/A | 250 | 2.05 | 0.988 | |||||||||||||||||||
d2-1-NN-05_06.qdimacs | 2 | 12 | 15 | 13 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2276 | >250 | 2.89 | 1.136 | #N/A | 250 | 2.89 | 1.136 | |||||||||||||||||||
d2-1-NN-05_07.qdimacs | 2 | 12 | 16 | 13 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2508 | >250 | 4.49 | 1.168 | #N/A | 250 | 4.49 | 1.168 | |||||||||||||||||||
d2-1-NN-05_08.qdimacs | 2 | 12 | 19 | 13 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2972 | >250 | 5.99 | 1.592 | #N/A | 250 | 5.99 | 1.592 | |||||||||||||||||||
d2-1-NN-05_09.qdimacs | 2 | 13 | 14 | 13 | 75 | 77 | 90 | 105 | 5416 | 3505 | 1050 | 2442 | >250 | 4.06 | 2.036 | #N/A | 250 | 4.06 | 2.036 | |||||||||||||||||||
d2-1-NN-05_10.qdimacs | 2 | 13 | 16 | 13 | 75 | 89 | 90 | 117 | 6040 | 3863 | 1050 | 2800 | >250 | 5.35 | 1.936 | #N/A | 250 | 5.35 | 1.936 | |||||||||||||||||||
d2-1-NN-05_11.qdimacs | 2 | 13 | 17 | 13 | 75 | 98 | 90 | 124 | 6364 | 4114 | 1050 | 3051 | >250 | 6.35 | 2.6 | #N/A | 250 | 6.35 | 2.6 | |||||||||||||||||||
d2-1-NN-05_12.qdimacs | 2 | 13 | 20 | 13 | 75 | 108 | 90 | 136 | 7255 | 4618 | 1050 | 3555 | >250 | 9.15 | 3.28 | #N/A | 250 | 9.15 | 3.28 | |||||||||||||||||||
d2-1-NN-05_13.qdimacs | 2 | 15 | 16 | 13 | 88 | 90 | 107 | 122 | 7119 | 4696 | 1408 | 3275 | >250 | 8.53 | 2.82 | #N/A | 250 | 8.53 | 2.82 | |||||||||||||||||||
d2-1-NN-05_14.qdimacs | 2 | 15 | 18 | 13 | 88 | 102 | 107 | 134 | 7825 | 5104 | 1408 | 3683 | >250 | 10.46 | 3.464 | #N/A | 250 | 10.46 | 3.464 | |||||||||||||||||||
d2-1-NN-05_15.qdimacs | 2 | 15 | 19 | 13 | 88 | 111 | 107 | 141 | 8188 | 5386 | 1408 | 3965 | >250 | 16.07 | 3.82 | #N/A | 250 | 16.07 | 3.82 | |||||||||||||||||||
d2-1-NN-05_16.qdimacs | 2 | 15 | 22 | 13 | 88 | 121 | 107 | 153 | 9178 | 5949 | 1408 | 4528 | >250 | 21.71 | 4.824 | #N/A | 250 | 21.71 | 4.824 | |||||||||||||||||||
d2-1-NN-05_17.qdimacs | 2 | 19 | 20 | 13 | 98 | 100 | 124 | 139 | 10204 | 6598 | 1960 | 4625 | >250 | 36.48 | 8.088 | #N/A | 250 | 36.48 | 8.088 | |||||||||||||||||||
d2-1-NN-05_18.qdimacs | 2 | 19 | 22 | 13 | 98 | 112 | 124 | 151 | 11040 | 7074 | 1960 | 5101 | >250 | 43.67 | 9.796 | #N/A | 250 | 43.67 | 9.796 | |||||||||||||||||||
d2-1-NN-05_19.qdimacs | 2 | 19 | 23 | 13 | 98 | 121 | 124 | 158 | 11464 | 7402 | 1960 | 5429 | >250 | 58.01 | 10.5 | #N/A | 250 | 58.01 | 10.5 | |||||||||||||||||||
d2-1-NN-05_20.qdimacs | 2 | 19 | 26 | 13 | 98 | 131 | 124 | 170 | 12601 | 8035 | 1960 | 6062 | >250 | 71.83 | 12.864 | #N/A | 250 | 71.83 | 12.864 | |||||||||||||||||||
d2-1-NN-05_21.qdimacs | 2 | 21 | 22 | 13 | 105 | 107 | 137 | 152 | 12213 | 7849 | 2310 | 5526 | >250 | 130.86 | 13.956 | #N/A | 250 | 130.86 | 13.956 | |||||||||||||||||||
d2-1-NN-05_22.qdimacs | 2 | 21 | 24 | 13 | 105 | 119 | 137 | 164 | 13123 | 8363 | 2310 | 6040 | >250 | 161.46 | 16.472 | #N/A | 250 | 161.46 | 16.472 | |||||||||||||||||||
d2-1-NN-05_23.qdimacs | 2 | 21 | 25 | 13 | 105 | 128 | 137 | 171 | 13582 | 8716 | 2310 | 6393 | >250 | 161.27 | 17.545 | #N/A | 250 | 161.27 | 17.545 | |||||||||||||||||||
d2-1-NN-05_24.qdimacs | 2 | 21 | 28 | 13 | 105 | 138 | 137 | 183 | 14806 | 9390 | 2310 | 7067 | >250 | 200.06 | 20.881 | #N/A | 250 | 200.06 | 20.881 | |||||||||||||||||||
d2-1-NN-05_25.qdimacs | 2 | 23 | 24 | 13 | 113 | 115 | 152 | 167 | 14524 | 9305 | 2712 | 6580 | >250 | 519.88 | 21.797 | #N/A | 250 | 519.88 | 21.797 | |||||||||||||||||||
d2-1-NN-05_26.qdimacs | 2 | 23 | 26 | 13 | 113 | 127 | 152 | 179 | 15512 | 9859 | 2712 | 7134 | >250 | 611.78 | 25.009 | #N/A | 250 | 611.78 | 25.009 | |||||||||||||||||||
d2-1-NN-05_27.qdimacs | 2 | 23 | 27 | 13 | 113 | 136 | 152 | 186 | 16008 | 10238 | 2712 | 7513 | >250 | 1110.89 | 26.773 | #N/A | 250 | 1110.89 | 26.773 | |||||||||||||||||||
d2-1-NN-05_28.qdimacs | 2 | 23 | 30 | 13 | 113 | 146 | 152 | 198 | 17325 | 10956 | 2712 | 8231 | >250 | 1296.63 | 31.045 | #N/A | 250 | 1296.63 | 31.045 | |||||||||||||||||||
06 | d2-1-NN-06_01.qdimacs | 3 | 8 | 9 | 17 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1029 | >250 | 0.14 | 0.192 | #N/A | 250 | 0.14 | 0.192 | ||||||||||||||||||
d2-1-NN-06_02.qdimacs | 3 | 8 | 11 | 17 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1271 | >250 | 0.14 | 0.196 | #N/A | 250 | 0.14 | 0.196 | |||||||||||||||||||
d2-1-NN-06_03.qdimacs | 3 | 8 | 12 | 17 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1449 | >250 | 0.12 | 0.264 | #N/A | 250 | 0.12 | 0.264 | |||||||||||||||||||
d2-1-NN-06_04.qdimacs | 3 | 8 | 15 | 17 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1819 | >250 | 0.14 | 0.404 | #N/A | 250 | 0.14 | 0.404 | |||||||||||||||||||
d2-1-NN-06_05.qdimacs | 3 | 12 | 13 | 17 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1946 | >250 | 0.3 | 0.768 | #N/A | 250 | 0.3 | 0.768 | |||||||||||||||||||
d2-1-NN-06_06.qdimacs | 3 | 12 | 15 | 17 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2272 | >250 | 0.34 | 0.984 | #N/A | 250 | 0.34 | 0.984 | |||||||||||||||||||
d2-1-NN-06_07.qdimacs | 3 | 12 | 16 | 17 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2504 | >250 | 0.39 | 1.08 | #N/A | 250 | 0.39 | 1.08 | |||||||||||||||||||
d2-1-NN-06_08.qdimacs | 3 | 12 | 19 | 17 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2968 | >250 | 0.4 | 1.42 | #N/A | 250 | 0.4 | 1.42 | |||||||||||||||||||
d2-1-NN-06_09.qdimacs | 3 | 13 | 14 | 17 | 75 | 77 | 90 | 105 | 5416 | 3505 | 1050 | 2438 | >250 | 0.98 | 1.656 | #N/A | 250 | 0.98 | 1.656 | |||||||||||||||||||
d2-1-NN-06_10.qdimacs | 3 | 13 | 16 | 17 | 75 | 89 | 90 | 117 | 6040 | 3863 | 1050 | 2796 | >250 | 0.96 | 2.068 | #N/A | 250 | 0.96 | 2.068 | |||||||||||||||||||
d2-1-NN-06_11.qdimacs | 3 | 13 | 17 | 17 | 75 | 98 | 90 | 124 | 6364 | 4114 | 1050 | 3047 | >250 | 0.99 | 2.332 | #N/A | 250 | 0.99 | 2.332 | |||||||||||||||||||
d2-1-NN-06_12.qdimacs | 3 | 13 | 20 | 17 | 75 | 108 | 90 | 136 | 7255 | 4618 | 1050 | 3551 | >250 | 1.36 | 2.808 | #N/A | 250 | 1.36 | 2.808 | |||||||||||||||||||
d2-1-NN-06_13.qdimacs | 3 | 15 | 16 | 17 | 88 | 90 | 107 | 122 | 7119 | 4696 | 1408 | 3271 | >250 | 2.01 | 2.664 | #N/A | 250 | 2.01 | 2.664 | |||||||||||||||||||
d2-1-NN-06_14.qdimacs | 3 | 15 | 18 | 17 | 88 | 102 | 107 | 134 | 7825 | 5104 | 1408 | 3679 | >250 | 2.97 | 3.324 | #N/A | 250 | 2.97 | 3.324 | |||||||||||||||||||
d2-1-NN-06_15.qdimacs | 3 | 15 | 19 | 17 | 88 | 111 | 107 | 141 | 8188 | 5386 | 1408 | 3961 | >250 | 2.52 | 3.62 | #N/A | 250 | 2.52 | 3.62 | |||||||||||||||||||
d2-1-NN-06_16.qdimacs | 3 | 15 | 22 | 17 | 88 | 121 | 107 | 153 | 9178 | 5949 | 1408 | 4524 | >250 | 2.93 | 4.588 | #N/A | 250 | 2.93 | 4.588 | |||||||||||||||||||
d2-1-NN-06_17.qdimacs | 3 | 19 | 20 | 17 | 98 | 100 | 124 | 139 | 10204 | 6598 | 1960 | 4621 | >250 | 8.69 | 8.008 | #N/A | 250 | 8.69 | 8.008 | |||||||||||||||||||
d2-1-NN-06_18.qdimacs | 3 | 19 | 22 | 17 | 98 | 112 | 124 | 151 | 11040 | 7074 | 1960 | 5097 | >250 | 10.38 | 9.604 | #N/A | 250 | 10.38 | 9.604 | |||||||||||||||||||
d2-1-NN-06_19.qdimacs | 3 | 19 | 23 | 17 | 98 | 121 | 124 | 158 | 11464 | 7402 | 1960 | 5425 | >250 | 10.73 | 10.228 | #N/A | 250 | 10.73 | 10.228 | |||||||||||||||||||
d2-1-NN-06_20.qdimacs | 3 | 19 | 26 | 17 | 98 | 131 | 124 | 170 | 12601 | 8035 | 1960 | 6058 | >250 | 11.69 | 12.528 | #N/A | 250 | 11.69 | 12.528 | |||||||||||||||||||
d2-1-NN-06_21.qdimacs | 3 | 21 | 22 | 17 | 105 | 107 | 137 | 152 | 12213 | 7849 | 2310 | 5522 | >250 | 40.29 | 13.364 | #N/A | 250 | 40.29 | 13.364 | |||||||||||||||||||
d2-1-NN-06_22.qdimacs | 3 | 21 | 24 | 17 | 105 | 119 | 137 | 164 | 13123 | 8363 | 2310 | 6036 | >250 | 42.09 | 15.812 | #N/A | 250 | 42.09 | 15.812 | |||||||||||||||||||
d2-1-NN-06_23.qdimacs | 3 | 21 | 25 | 17 | 105 | 128 | 137 | 171 | 13582 | 8716 | 2310 | 6389 | >250 | 43.19 | 17.104 | #N/A | 250 | 43.19 | 17.104 | |||||||||||||||||||
d2-1-NN-06_24.qdimacs | 3 | 21 | 28 | 17 | 105 | 138 | 137 | 183 | 14806 | 9390 | 2310 | 7063 | >250 | 48.73 | 20.237 | #N/A | 250 | 48.73 | 20.237 | |||||||||||||||||||
d2-1-NN-06_25.qdimacs | 3 | 23 | 24 | 17 | 113 | 115 | 152 | 167 | 14524 | 9305 | 2712 | 6576 | >250 | 216.8 | 20.989 | #N/A | 250 | 216.8 | 20.989 | |||||||||||||||||||
d2-1-NN-06_26.qdimacs | 3 | 23 | 26 | 17 | 113 | 127 | 152 | 179 | 15512 | 9859 | 2712 | 7130 | >250 | 225.42 | 24.085 | #N/A | 250 | 225.42 | 24.085 | |||||||||||||||||||
d2-1-NN-06_27.qdimacs | 3 | 23 | 27 | 17 | 113 | 136 | 152 | 186 | 16008 | 10238 | 2712 | 7509 | >250 | 226.1 | 26.197 | #N/A | 250 | 226.1 | 26.197 | |||||||||||||||||||
d2-1-NN-06_28.qdimacs | 3 | 23 | 30 | 17 | 113 | 146 | 152 | 198 | 17325 | 10956 | 2712 | 8227 | >250 | 245.09 | 30.649 | #N/A | 250 | 245.09 | 30.649 | |||||||||||||||||||
07 | d2-1-NN-07_01.qdimacs | 3 | 8 | 9 | 19 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1027 | >250 | 0.1 | 0.16 | #N/A | 250 | 0.1 | 0.16 | ||||||||||||||||||
d2-1-NN-07_02.qdimacs | 3 | 8 | 11 | 19 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1269 | >250 | 0.12 | 0.228 | #N/A | 250 | 0.12 | 0.228 | |||||||||||||||||||
d2-1-NN-07_03.qdimacs | 3 | 8 | 12 | 19 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1447 | >250 | 0.11 | 0.256 | #N/A | 250 | 0.11 | 0.256 | |||||||||||||||||||
d2-1-NN-07_04.qdimacs | 3 | 8 | 15 | 19 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1817 | >250 | 0.13 | 0.324 | #N/A | 250 | 0.13 | 0.324 | |||||||||||||||||||
d2-1-NN-07_05.qdimacs | 3 | 12 | 13 | 19 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1944 | >250 | 0.32 | 0.756 | #N/A | 250 | 0.32 | 0.756 | |||||||||||||||||||
d2-1-NN-07_06.qdimacs | 3 | 12 | 15 | 19 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2270 | >250 | 0.33 | 1.044 | #N/A | 250 | 0.33 | 1.044 | |||||||||||||||||||
d2-1-NN-07_07.qdimacs | 3 | 12 | 16 | 19 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2502 | >250 | 0.35 | 1.012 | #N/A | 250 | 0.35 | 1.012 | |||||||||||||||||||
d2-1-NN-07_08.qdimacs | 3 | 12 | 19 | 19 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2966 | >250 | 0.47 | 1.276 | #N/A | 250 | 0.47 | 1.276 | |||||||||||||||||||
d2-1-NN-07_09.qdimacs | 3 | 13 | 14 | 19 | 75 | 77 | 90 | 105 | 5416 | 3505 | 1050 | 2436 | >250 | 1 | 1.58 | #N/A | 250 | 1 | 1.58 | |||||||||||||||||||
d2-1-NN-07_10.qdimacs | 3 | 13 | 16 | 19 | 75 | 89 | 90 | 117 | 6040 | 3863 | 1050 | 2794 | >250 | 0.87 | 1.976 | #N/A | 250 | 0.87 | 1.976 | |||||||||||||||||||
d2-1-NN-07_11.qdimacs | 3 | 13 | 17 | 19 | 75 | 98 | 90 | 124 | 6364 | 4114 | 1050 | 3045 | >250 | 1.02 | 2.26 | #N/A | 250 | 1.02 | 2.26 | |||||||||||||||||||
d2-1-NN-07_12.qdimacs | 3 | 13 | 20 | 19 | 75 | 108 | 90 | 136 | 7255 | 4618 | 1050 | 3549 | >250 | 1.7 | 2.816 | #N/A | 250 | 1.7 | 2.816 | |||||||||||||||||||
d2-1-NN-07_13.qdimacs | 3 | 15 | 16 | 19 | 88 | 90 | 107 | 122 | 7119 | 4696 | 1408 | 3269 | >250 | 1.8 | 2.748 | #N/A | 250 | 1.8 | 2.748 | |||||||||||||||||||
d2-1-NN-07_14.qdimacs | 3 | 15 | 18 | 19 | 88 | 102 | 107 | 134 | 7825 | 5104 | 1408 | 3677 | >250 | 3 | 3.28 | #N/A | 250 | 3 | 3.28 | |||||||||||||||||||
d2-1-NN-07_15.qdimacs | 3 | 15 | 19 | 19 | 88 | 111 | 107 | 141 | 8188 | 5386 | 1408 | 3959 | >250 | 2.55 | 3.7 | #N/A | 250 | 2.55 | 3.7 | |||||||||||||||||||
d2-1-NN-07_16.qdimacs | 3 | 15 | 22 | 19 | 88 | 121 | 107 | 153 | 9178 | 5949 | 1408 | 4522 | >250 | 3.45 | 4.564 | #N/A | 250 | 3.45 | 4.564 | |||||||||||||||||||
d2-1-NN-07_17.qdimacs | 3 | 19 | 20 | 19 | 98 | 100 | 124 | 139 | 10204 | 6598 | 1960 | 4619 | >250 | 8.98 | 7.98 | #N/A | 250 | 8.98 | 7.98 | |||||||||||||||||||
d2-1-NN-07_18.qdimacs | 3 | 19 | 22 | 19 | 98 | 112 | 124 | 151 | 11040 | 7074 | 1960 | 5095 | >250 | 9.46 | 9.448 | #N/A | 250 | 9.46 | 9.448 | |||||||||||||||||||
d2-1-NN-07_19.qdimacs | 3 | 19 | 23 | 19 | 98 | 121 | 124 | 158 | 11464 | 7402 | 1960 | 5423 | >250 | 11.08 | 10.424 | #N/A | 250 | 11.08 | 10.424 | |||||||||||||||||||
d2-1-NN-07_20.qdimacs | 3 | 19 | 26 | 19 | 98 | 131 | 124 | 170 | 12601 | 8035 | 1960 | 6056 | >250 | 12.15 | 12.26 | #N/A | 250 | 12.15 | 12.26 | |||||||||||||||||||
d2-1-NN-07_21.qdimacs | 3 | 21 | 22 | 19 | 105 | 107 | 137 | 152 | 12213 | 7849 | 2310 | 5520 | >250 | 39.92 | 13.684 | #N/A | 250 | 39.92 | 13.684 | |||||||||||||||||||
d2-1-NN-07_22.qdimacs | 3 | 21 | 24 | 19 | 105 | 119 | 137 | 164 | 13123 | 8363 | 2310 | 6034 | >250 | 41.57 | 15.544 | #N/A | 250 | 41.57 | 15.544 | |||||||||||||||||||
d2-1-NN-07_23.qdimacs | 3 | 21 | 25 | 19 | 105 | 128 | 137 | 171 | 13582 | 8716 | 2310 | 6387 | >250 | 43.44 | 17.128 | #N/A | 250 | 43.44 | 17.128 | |||||||||||||||||||
d2-1-NN-07_24.qdimacs | 3 | 21 | 28 | 19 | 105 | 138 | 137 | 183 | 14806 | 9390 | 2310 | 7061 | >250 | 46.96 | 20.181 | #N/A | 250 | 46.96 | 20.181 | |||||||||||||||||||
d2-1-NN-07_25.qdimacs | 3 | 23 | 24 | 19 | 113 | 115 | 152 | 167 | 14524 | 9305 | 2712 | 6574 | >250 | 215.71 | 21.141 | #N/A | 250 | 215.71 | 21.141 | |||||||||||||||||||
d2-1-NN-07_26.qdimacs | 3 | 23 | 26 | 19 | 113 | 127 | 152 | 179 | 15512 | 9859 | 2712 | 7128 | >250 | 232.1 | 24.357 | #N/A | 250 | 232.1 | 24.357 | |||||||||||||||||||
d2-1-NN-07_27.qdimacs | 3 | 23 | 27 | 19 | 113 | 136 | 152 | 186 | 16008 | 10238 | 2712 | 7507 | >250 | 234.42 | 26.077 | #N/A | 250 | 234.42 | 26.077 | |||||||||||||||||||
d2-1-NN-07_28.qdimacs | 3 | 23 | 30 | 19 | 113 | 146 | 152 | 198 | 17325 | 10956 | 2712 | 8225 | >250 | 243.22 | 29.793 | #N/A | 250 | 243.22 | 29.793 | |||||||||||||||||||
08 | d2-1-NN-08_01.qdimacs | 4 | 8 | 9 | 23 | 47 | 49 | 59 | 74 | 2391 | 1469 | 423 | 1023 | >250 | 0.13 | 0.196 | #N/A | 250 | 0.13 | 0.196 | ||||||||||||||||||
d2-1-NN-08_02.qdimacs | 4 | 8 | 11 | 23 | 47 | 61 | 59 | 86 | 2831 | 1711 | 423 | 1265 | >250 | 0.12 | 0.24 | #N/A | 250 | 0.12 | 0.24 | |||||||||||||||||||
d2-1-NN-08_03.qdimacs | 4 | 8 | 12 | 23 | 47 | 70 | 59 | 93 | 3068 | 1889 | 423 | 1443 | >250 | 0.13 | 0.304 | #N/A | 250 | 0.13 | 0.304 | |||||||||||||||||||
d2-1-NN-08_04.qdimacs | 4 | 8 | 15 | 23 | 47 | 80 | 59 | 105 | 3743 | 2259 | 423 | 1813 | >250 | 0.15 | 0.336 | #N/A | 250 | 0.15 | 0.336 | |||||||||||||||||||
d2-1-NN-08_05.qdimacs | 4 | 12 | 13 | 23 | 65 | 67 | 76 | 91 | 4373 | 2808 | 845 | 1940 | >250 | 0.39 | 0.868 | #N/A | 250 | 0.39 | 0.868 | |||||||||||||||||||
d2-1-NN-08_06.qdimacs | 4 | 12 | 15 | 23 | 65 | 79 | 76 | 103 | 4945 | 3134 | 845 | 2266 | >250 | 0.42 | 0.928 | #N/A | 250 | 0.42 | 0.928 | |||||||||||||||||||
d2-1-NN-08_07.qdimacs | 4 | 12 | 16 | 23 | 65 | 88 | 76 | 110 | 5244 | 3366 | 845 | 2498 | >250 | 0.45 | 1.088 | #N/A | 250 | 0.45 | 1.088 | |||||||||||||||||||
d2-1-NN-08_08.qdimacs | 4 | 12 | 19 | 23 | 65 | 98 | 76 | 122 | 6069 | 3830 | 845 | 2962 | >250 | 0.76 | 1.6 | #N/A | 250 | 0.76 | 1.6 | |||||||||||||||||||
d2-1-NN-08_09.qdimacs | 4 | 13 | 14 | 23 | 75 | 77 | 90 | 105 | 5416 | 3505 | 1050 | 2432 | >250 | 0.63 | 1.64 | #N/A | 250 | 0.63 | 1.64 | |||||||||||||||||||
d2-1-NN-08_10.qdimacs | 4 | 13 | 16 | 23 | 75 | 89 | 90 | 117 | 6040 | 3863 | 1050 | 2790 | >250 | 0.72 | 1.956 | #N/A | 250 | 0.72 | 1.956 | |||||||||||||||||||
d2-1-NN-08_11.qdimacs | 4 | 13 | 17 | 23 | 75 | 98 | 90 | 124 | 6364 | 4114 | 1050 | 3041 | >250 | 0.75 | 2.08 | #N/A | 250 | 0.75 | 2.08 | |||||||||||||||||||
d2-1-NN-08_12.qdimacs | 4 | 13 | 20 | 23 | 75 | 108 | 90 | 136 | 7255 | 4618 | 1050 | 3545 | >250 | 1.17 | 2.8 | #N/A | 250 | 1.17 | 2.8 | |||||||||||||||||||
d2-1-NN-08_13.qdimacs | 4 | 15 | 16 | 23 | 88 | 90 | 107 | 122 | 7119 | 4696 | 1408 | 3265 | >250 | 1.58 | 2.644 | #N/A | 250 | 1.58 | 2.644 | |||||||||||||||||||
d2-1-NN-08_14.qdimacs | 4 | 15 | 18 | 23 | 88 | 102 | 107 | 134 | 7825 | 5104 | 1408 | 3673 | >250 | 1.95 | 3.512 | #N/A | 250 | 1.95 | 3.512 | |||||||||||||||||||
d2-1-NN-08_15.qdimacs | 4 | 15 | 19 | 23 | 88 | 111 | 107 | 141 | 8188 | 5386 | 1408 | 3955 | >250 | 2.56 | 3.544 | #N/A | 250 | 2.56 | 3.544 | |||||||||||||||||||
d2-1-NN-08_16.qdimacs | 4 | 15 | 22 | 23 | 88 | 121 | 107 | 153 | 9178 | 5949 | 1408 | 4518 | >250 | 2.61 | 4.58 | #N/A | 250 | 2.61 | 4.58 | |||||||||||||||||||
d2-1-NN-08_17.qdimacs | 4 | 19 | 20 | 23 | 98 | 100 | 124 | 139 | 10204 | 6598 | 1960 | 4615 | >250 | 7.36 | 8.308 | #N/A | 250 | 7.36 | 8.308 | |||||||||||||||||||
d2-1-NN-08_18.qdimacs | 4 | 19 | 22 | 23 | 98 | 112 | 124 | 151 | 11040 | 7074 | 1960 | 5091 | >250 | 7.52 | 9.404 | #N/A | 250 | 7.52 | 9.404 | |||||||||||||||||||
d2-1-NN-08_19.qdimacs | 4 | 19 | 23 | 23 | 98 | 121 | 124 | 158 | 11464 | 7402 | 1960 | 5419 | >250 | 8.36 | 10.092 | #N/A | 250 | 8.36 | 10.092 | |||||||||||||||||||
d2-1-NN-08_20.qdimacs | 4 | 19 | 26 | 23 | 98 | 131 | 124 | 170 | 12601 | 8035 | 1960 | 6052 | >250 | 8.47 | 12.408 | #N/A | 250 | 8.47 | 12.408 | |||||||||||||||||||
d2-1-NN-08_21.qdimacs | 4 | 21 | 22 | 23 | 105 | 107 | 137 | 152 | 12213 | 7849 | 2310 | 5516 | >250 | 34.82 | 13.636 | #N/A | 250 | 34.82 | 13.636 | |||||||||||||||||||
d2-1-NN-08_22.qdimacs | 4 | 21 | 24 | 23 | 105 | 119 | 137 | 164 | 13123 | 8363 | 2310 | 6030 | >250 | 37.02 | 15.808 | #N/A | 250 | 37.02 | 15.808 | |||||||||||||||||||
d2-1-NN-08_23.qdimacs | 4 | 21 | 25 | 23 | 105 | 128 | 137 | 171 | 13582 | 8716 | 2310 | 6383 | >250 | 40.04 | 16.912 | #N/A | 250 | 40.04 | 16.912 | |||||||||||||||||||
d2-1-NN-08_24.qdimacs | 4 | 21 | 28 | 23 | 105 | 138 | 137 | 183 | 14806 | 9390 | 2310 | 7057 | >250 | 43.1 | 20.113 | #N/A | 250 | 43.1 | 20.113 | |||||||||||||||||||
d2-1-NN-08_25.qdimacs | 4 | 23 | 24 | 23 | 113 | 115 | 152 | 167 | 14524 | 9305 | 2712 | 6570 | >250 | 204.67 | 21.189 | #N/A | 250 | 204.67 | 21.189 | |||||||||||||||||||
d2-1-NN-08_26.qdimacs | 4 | 23 | 26 | 23 | 113 | 127 | 152 | 179 | 15512 | 9859 | 2712 | 7124 | >250 | 221.06 | 24.513 | #N/A | 250 | 221.06 | 24.513 | |||||||||||||||||||
d2-1-NN-08_27.qdimacs | 4 | 23 | 27 | 23 | 113 | 136 | 152 | 186 | 16008 | 10238 | 2712 | 7503 | >250 | 222.85 | 25.853 | #N/A | 250 | 222.85 | 25.853 | |||||||||||||||||||
d2-1-NN-08_28.qdimacs | 4 | 23 | 30 | 23 | 113 | 146 | 152 | 198 | 17325 | 10956 | 2712 | 8221 | >250 | 235.78 | 30.057 | #N/A | 250 | 235.78 | 30.057 | |||||||||||||||||||
09 | d2-1-NN-09_01.qdimacs | 4 | 9 | 10 | 26 | 49 | 51 | 59 | 74 | 2688 | 1669 | 490 | 1153 | >250 | 1.29 | 0.312 | #N/A | 250 | 1.29 | 0.312 | ||||||||||||||||||
d2-1-NN-09_02.qdimacs | 4 | 9 | 11 | 28 | 51 | 61 | 61 | 86 | 3046 | 1880 | 510 | 1342 | >250 | 2.17 | 0.464 | #N/A | 250 | 2.17 | 0.464 | |||||||||||||||||||
d2-1-NN-09_03.qdimacs | 4 | 9 | 12 | 28 | 51 | 70 | 61 | 93 | 3283 | 2058 | 510 | 1520 | >250 | 0.19 | 0.336 | #N/A | 250 | 0.19 | 0.336 | |||||||||||||||||||
d2-1-NN-09_04.qdimacs | 4 | 9 | 15 | 28 | 51 | 80 | 61 | 105 | 3958 | 2428 | 510 | 1890 | >250 | 0.16 | 0.424 | #N/A | 250 | 0.16 | 0.424 | |||||||||||||||||||
d2-1-NN-09_05.qdimacs | 4 | 13 | 14 | 26 | 67 | 69 | 76 | 91 | 4758 | 3077 | 938 | 2113 | >250 | 3.45 | 1.08 | #N/A | 250 | 3.45 | 1.08 | |||||||||||||||||||
d2-1-NN-09_06.qdimacs | 4 | 13 | 15 | 28 | 69 | 79 | 78 | 103 | 5230 | 3362 | 966 | 2368 | >250 | 3.47 | 1.584 | #N/A | 250 | 3.47 | 1.584 | |||||||||||||||||||
d2-1-NN-09_07.qdimacs | 4 | 13 | 16 | 28 | 69 | 88 | 78 | 110 | 5529 | 3594 | 966 | 2600 | >250 | 0.53 | 1.388 | #N/A | 250 | 0.53 | 1.388 | |||||||||||||||||||
d2-1-NN-09_08.qdimacs | 4 | 13 | 19 | 28 | 69 | 98 | 78 | 122 | 6354 | 4058 | 966 | 3064 | >250 | 0.91 | 1.82 | #N/A | 250 | 0.91 | 1.82 | |||||||||||||||||||
d2-1-NN-09_09.qdimacs | 4 | 14 | 15 | 26 | 77 | 79 | 90 | 105 | 5855 | 3812 | 1155 | 2631 | >250 | 7.61 | 2.336 | #N/A | 250 | 7.61 | 2.336 | |||||||||||||||||||
d2-1-NN-09_10.qdimacs | 4 | 14 | 16 | 28 | 79 | 89 | 92 | 117 | 6365 | 4121 | 1185 | 2908 | >250 | 11.03 | 3.556 | #N/A | 250 | 11.03 | 3.556 | |||||||||||||||||||
d2-1-NN-09_11.qdimacs | 4 | 14 | 17 | 28 | 79 | 98 | 92 | 124 | 6689 | 4372 | 1185 | 3159 | >250 | 1 | 2.848 | #N/A | 250 | 1 | 2.848 | |||||||||||||||||||
d2-1-NN-09_12.qdimacs | 4 | 14 | 20 | 28 | 79 | 108 | 92 | 136 | 7580 | 4876 | 1185 | 3663 | >250 | 1.23 | 3.824 | #N/A | 250 | 1.23 | 3.824 | |||||||||||||||||||
d2-1-NN-09_13.qdimacs | 4 | 16 | 17 | 26 | 90 | 92 | 107 | 122 | 7624 | 5054 | 1530 | 3498 | >250 | 14.23 | 3.908 | #N/A | 250 | 14.23 | 3.908 | |||||||||||||||||||
d2-1-NN-09_14.qdimacs | 4 | 16 | 18 | 28 | 92 | 102 | 109 | 134 | 8199 | 5404 | 1564 | 3812 | >250 | 17.58 | 5.536 | #N/A | 250 | 17.58 | 5.536 | |||||||||||||||||||
d2-1-NN-09_15.qdimacs | 4 | 16 | 19 | 28 | 92 | 111 | 109 | 141 | 8562 | 5686 | 1564 | 4094 | >250 | 2.47 | 4.66 | #N/A | 250 | 2.47 | 4.66 | |||||||||||||||||||
d2-1-NN-09_16.qdimacs | 4 | 16 | 22 | 28 | 92 | 121 | 109 | 153 | 9552 | 6249 | 1564 | 4657 | >250 | 2.86 | 5.896 | #N/A | 250 | 2.86 | 5.896 | |||||||||||||||||||
d2-1-NN-09_17.qdimacs | 4 | 20 | 21 | 26 | 100 | 102 | 124 | 139 | 10791 | 7009 | 2100 | 4883 | >250 | 50.12 | 10.232 | #N/A | 250 | 50.12 | 10.232 | |||||||||||||||||||
d2-1-NN-09_18.qdimacs | 4 | 20 | 22 | 28 | 102 | 112 | 126 | 151 | 11479 | 7425 | 2142 | 5255 | >250 | 80.2 | 14.204 | #N/A | 250 | 80.2 | 14.204 | |||||||||||||||||||
d2-1-NN-09_19.qdimacs | 4 | 20 | 23 | 28 | 102 | 121 | 126 | 158 | 11903 | 7753 | 2142 | 5583 | >250 | 8.82 | 12.288 | #N/A | 250 | 8.82 | 12.288 | |||||||||||||||||||
d2-1-NN-09_20.qdimacs | 4 | 20 | 26 | 28 | 102 | 131 | 126 | 170 | 13040 | 8386 | 2142 | 6216 | >250 | 10.34 | 15.244 | #N/A | 250 | 10.34 | 15.244 | |||||||||||||||||||
d2-1-NN-09_21.qdimacs | 4 | 22 | 23 | 26 | 107 | 109 | 137 | 152 | 12853 | 8295 | 2461 | 5808 | >250 | 180.63 | 16.908 | #N/A | 250 | 180.63 | 16.908 | |||||||||||||||||||
d2-1-NN-09_22.qdimacs | 4 | 22 | 24 | 28 | 109 | 119 | 139 | 164 | 13602 | 8746 | 2507 | 6211 | >250 | 261.11 | 22.029 | #N/A | 250 | 261.11 | 22.029 | |||||||||||||||||||
d2-1-NN-09_23.qdimacs | 4 | 22 | 25 | 28 | 109 | 128 | 139 | 171 | 14061 | 9099 | 2507 | 6564 | >250 | 44.85 | 20.249 | #N/A | 250 | 44.85 | 20.249 | |||||||||||||||||||
d2-1-NN-09_24.qdimacs | 4 | 22 | 28 | 28 | 109 | 138 | 139 | 183 | 15285 | 9773 | 2507 | 7238 | >250 | 48.39 | 23.981 | #N/A | 250 | 48.39 | 23.981 | |||||||||||||||||||
d2-1-NN-09_25.qdimacs | 4 | 24 | 25 | 26 | 115 | 117 | 152 | 167 | 15222 | 9790 | 2875 | 6889 | >250 | 942.33 | 25.805 | #N/A | 250 | 942.33 | 25.805 | |||||||||||||||||||
d2-1-NN-09_26.qdimacs | 4 | 24 | 26 | 28 | 117 | 127 | 154 | 179 | 16034 | 10277 | 2925 | 7324 | >250 | 942.62 | 32.169 | #N/A | 250 | 942.62 | 32.169 | |||||||||||||||||||
d2-1-NN-09_27.qdimacs | 4 | 24 | 27 | 28 | 117 | 136 | 154 | 186 | 16530 | 10656 | 2925 | 7703 | >250 | 234.94 | 30.045 | #N/A | 250 | 234.94 | 30.045 | |||||||||||||||||||
d2-1-NN-09_28.qdimacs | 4 | 24 | 30 | 28 | 117 | 146 | 154 | 198 | 17847 | 11374 | 2925 | 8421 | >250 | 245.59 | 35.526 | #N/A | 250 | 245.59 | 35.526 | |||||||||||||||||||
10 | d2-1-NN-10_01.qdimacs | 5 | 9 | 10 | 28 | 49 | 51 | 59 | 74 | 2688 | 1669 | 490 | 1151 | >250 | 0.18 | 0.284 | #N/A | 250 | 0.18 | 0.284 | ||||||||||||||||||
d2-1-NN-10_02.qdimacs | 5 | 9 | 11 | 30 | 51 | 61 | 61 | 86 | 3046 | 1880 | 510 | 1340 | >250 | 0.19 | 0.292 | #N/A | 250 | 0.19 | 0.292 | |||||||||||||||||||
d2-1-NN-10_03.qdimacs | 5 | 9 | 12 | 30 | 51 | 70 | 61 | 93 | 3283 | 2058 | 510 | 1518 | >250 | 0.23 | 0.412 | #N/A | 250 | 0.23 | 0.412 | |||||||||||||||||||
d2-1-NN-10_04.qdimacs | 5 | 9 | 15 | 30 | 51 | 80 | 61 | 105 | 3958 | 2428 | 510 | 1888 | >250 | 0.23 | 0.42 | #N/A | 250 | 0.23 | 0.42 | |||||||||||||||||||
d2-1-NN-10_05.qdimacs | 5 | 13 | 14 | 28 | 67 | 69 | 76 | 91 | 4758 | 3077 | 938 | 2111 | >250 | 0.53 | 1.12 | #N/A | 250 | 0.53 | 1.12 | |||||||||||||||||||
d2-1-NN-10_06.qdimacs | 5 | 13 | 15 | 30 | 69 | 79 | 78 | 103 | 5230 | 3362 | 966 | 2366 | >250 | 0.66 | 1.264 | #N/A | 250 | 0.66 | 1.264 | |||||||||||||||||||
d2-1-NN-10_07.qdimacs | 5 | 13 | 16 | 30 | 69 | 88 | 78 | 110 | 5529 | 3594 | 966 | 2598 | >250 | 0.68 | 1.324 | #N/A | 250 | 0.68 | 1.324 | |||||||||||||||||||
d2-1-NN-10_08.qdimacs | 5 | 13 | 19 | 30 | 69 | 98 | 78 | 122 | 6354 | 4058 | 966 | 3062 | >250 | 1.06 | 1.664 | #N/A | 250 | 1.06 | 1.664 | |||||||||||||||||||
d2-1-NN-10_09.qdimacs | 5 | 14 | 15 | 28 | 77 | 79 | 90 | 105 | 5855 | 3812 | 1155 | 2629 | >250 | 1.22 | 2.092 | #N/A | 250 | 1.22 | 2.092 | |||||||||||||||||||
d2-1-NN-10_10.qdimacs | 5 | 14 | 16 | 30 | 79 | 89 | 92 | 117 | 6365 | 4121 | 1185 | 2906 | >250 | 1.52 | 2.312 | #N/A | 250 | 1.52 | 2.312 | |||||||||||||||||||
d2-1-NN-10_11.qdimacs | 5 | 14 | 17 | 30 | 79 | 98 | 92 | 124 | 6689 | 4372 | 1185 | 3157 | >250 | 1.67 | 2.692 | #N/A | 250 | 1.67 | 2.692 | |||||||||||||||||||
d2-1-NN-10_12.qdimacs | 5 | 14 | 20 | 30 | 79 | 108 | 92 | 136 | 7580 | 4876 | 1185 | 3661 | >250 | 2.1 | 3.408 | #N/A | 250 | 2.1 | 3.408 | |||||||||||||||||||
d2-1-NN-10_13.qdimacs | 5 | 16 | 17 | 28 | 90 | 92 | 107 | 122 | 7624 | 5054 | 1530 | 3496 | >250 | 3.73 | 3.288 | #N/A | 250 | 3.73 | 3.288 | |||||||||||||||||||
d2-1-NN-10_14.qdimacs | 5 | 16 | 18 | 30 | 92 | 102 | 109 | 134 | 8199 | 5404 | 1564 | 3810 | >250 | 3.97 | 4.26 | #N/A | 250 | 3.97 | 4.26 | |||||||||||||||||||
d2-1-NN-10_15.qdimacs | 5 | 16 | 19 | 30 | 92 | 111 | 109 | 141 | 8562 | 5686 | 1564 | 4092 | >250 | 4.19 | 4.688 | #N/A | 250 | 4.19 | 4.688 | |||||||||||||||||||
d2-1-NN-10_16.qdimacs | 5 | 16 | 22 | 30 | 92 | 121 | 109 | 153 | 9552 | 6249 | 1564 | 4655 | >250 | 5.08 | 5.836 | #N/A | 250 | 5.08 | 5.836 | |||||||||||||||||||
d2-1-NN-10_17.qdimacs | 5 | 20 | 21 | 28 | 100 | 102 | 124 | 139 | 10791 | 7009 | 2100 | 4881 | >250 | 13.55 | 9.516 | #N/A | 250 | 13.55 | 9.516 | |||||||||||||||||||
d2-1-NN-10_18.qdimacs | 5 | 20 | 22 | 30 | 102 | 112 | 126 | 151 | 11479 | 7425 | 2142 | 5253 | >250 | 15.39 | 10.996 | #N/A | 250 | 15.39 | 10.996 | |||||||||||||||||||
d2-1-NN-10_19.qdimacs | 5 | 20 | 23 | 30 | 102 | 121 | 126 | 158 | 11903 | 7753 | 2142 | 5581 | >250 | 16.6 | 11.948 | #N/A | 250 | 16.6 | 11.948 | |||||||||||||||||||
d2-1-NN-10_20.qdimacs | 5 | 20 | 26 | 30 | 102 | 131 | 126 | 170 | 13040 | 8386 | 2142 | 6214 | >250 | 18.44 | 14.24 | #N/A | 250 | 18.44 | 14.24 | |||||||||||||||||||
d2-1-NN-10_21.qdimacs | 5 | 22 | 23 | 28 | 107 | 109 | 137 | 152 | 12853 | 8295 | 2461 | 5806 | >250 | 55.02 | 15.492 | #N/A | 250 | 55.02 | 15.492 | |||||||||||||||||||
d2-1-NN-10_22.qdimacs | 5 | 22 | 24 | 30 | 109 | 119 | 139 | 164 | 13602 | 8746 | 2507 | 6209 | >250 | 56.49 | 18.057 | #N/A | 250 | 56.49 | 18.057 | |||||||||||||||||||
d2-1-NN-10_23.qdimacs | 5 | 22 | 25 | 30 | 109 | 128 | 139 | 171 | 14061 | 9099 | 2507 | 6562 | >250 | 60.06 | 19.577 | #N/A | 250 | 60.06 | 19.577 | |||||||||||||||||||
d2-1-NN-10_24.qdimacs | 5 | 22 | 28 | 30 | 109 | 138 | 139 | 183 | 15285 | 9773 | 2507 | 7236 | >250 | 64.95 | 23.217 | #N/A | 250 | 64.95 | 23.217 | |||||||||||||||||||
d2-1-NN-10_25.qdimacs | 5 | 24 | 25 | 28 | 115 | 117 | 152 | 167 | 15222 | 9790 | 2875 | 6887 | >250 | 258.71 | 24.437 | #N/A | 250 | 258.71 | 24.437 | |||||||||||||||||||
d2-1-NN-10_26.qdimacs | 5 | 24 | 26 | 30 | 117 | 127 | 154 | 179 | 16034 | 10277 | 2925 | 7322 | >250 | 269.19 | 27.425 | #N/A | 250 | 269.19 | 27.425 | |||||||||||||||||||
d2-1-NN-10_27.qdimacs | 5 | 24 | 27 | 30 | 117 | 136 | 154 | 186 | 16530 | 10656 | 2925 | 7701 | >250 | 274.46 | 29.449 | #N/A | 250 | 274.46 | 29.449 | |||||||||||||||||||
d2-1-NN-10_28.qdimacs | 5 | 24 | 30 | 30 | 117 | 146 | 154 | 198 | 17847 | 11374 | 2925 | 8419 | >250 | 284 | 34.338 | #N/A | 250 | 284 | 34.338 | |||||||||||||||||||
11 | d2-1-NN-11_01.qdimacs | 6 | 9 | 10 | 29 | 49 | 51 | 59 | 74 | 2688 | 1669 | 490 | 1150 | >250 | 0.15 | 0.24 | #N/A | 250 | 0.15 | 0.24 | ||||||||||||||||||
d2-1-NN-11_02.qdimacs | 6 | 9 | 11 | 31 | 51 | 61 | 61 | 86 | 3046 | 1880 | 510 | 1339 | >250 | 0.16 | 0.3 | #N/A | 250 | 0.16 | 0.3 | |||||||||||||||||||
d2-1-NN-11_03.qdimacs | 6 | 9 | 12 | 31 | 51 | 70 | 61 | 93 | 3283 | 2058 | 510 | 1517 | >250 | 0.23 | 0.472 | #N/A | 250 | 0.23 | 0.472 | |||||||||||||||||||
d2-1-NN-11_04.qdimacs | 6 | 9 | 15 | 31 | 51 | 80 | 61 | 105 | 3958 | 2428 | 510 | 1887 | >250 | 0.18 | 0.416 | #N/A | 250 | 0.18 | 0.416 | |||||||||||||||||||
d2-1-NN-11_05.qdimacs | 6 | 13 | 14 | 29 | 67 | 69 | 76 | 91 | 4758 | 3077 | 938 | 2110 | >250 | 0.45 | 1.124 | #N/A | 250 | 0.45 | 1.124 | |||||||||||||||||||
d2-1-NN-11_06.qdimacs | 6 | 13 | 15 | 31 | 69 | 79 | 78 | 103 | 5230 | 3362 | 966 | 2365 | >250 | 0.59 | 1.324 | #N/A | 250 | 0.59 | 1.324 | |||||||||||||||||||
d2-1-NN-11_07.qdimacs | 6 | 13 | 16 | 31 | 69 | 88 | 78 | 110 | 5529 | 3594 | 966 | 2597 | >250 | 0.53 | 1.244 | #N/A | 250 | 0.53 | 1.244 | |||||||||||||||||||
d2-1-NN-11_08.qdimacs | 6 | 13 | 19 | 31 | 69 | 98 | 78 | 122 | 6354 | 4058 | 966 | 3061 | >250 | 0.65 | 1.552 | #N/A | 250 | 0.65 | 1.552 | |||||||||||||||||||
d2-1-NN-11_09.qdimacs | 6 | 14 | 15 | 29 | 77 | 79 | 90 | 105 | 5855 | 3812 | 1155 | 2628 | >250 | 0.86 | 1.976 | #N/A | 250 | 0.86 | 1.976 | |||||||||||||||||||
d2-1-NN-11_10.qdimacs | 6 | 14 | 16 | 31 | 79 | 89 | 92 | 117 | 6365 | 4121 | 1185 | 2905 | >250 | 1.04 | 2.4 | #N/A | 250 | 1.04 | 2.4 | |||||||||||||||||||
d2-1-NN-11_11.qdimacs | 6 | 14 | 17 | 31 | 79 | 98 | 92 | 124 | 6689 | 4372 | 1185 | 3156 | >250 | 0.92 | 2.576 | #N/A | 250 | 0.92 | 2.576 | |||||||||||||||||||
d2-1-NN-11_12.qdimacs | 6 | 14 | 20 | 31 | 79 | 108 | 92 | 136 | 7580 | 4876 | 1185 | 3660 | >250 | 1.31 | 3.152 | #N/A | 250 | 1.31 | 3.152 | |||||||||||||||||||
d2-1-NN-11_13.qdimacs | 6 | 16 | 17 | 29 | 90 | 92 | 107 | 122 | 7624 | 5054 | 1530 | 3495 | >250 | 1.91 | 3.216 | #N/A | 250 | 1.91 | 3.216 | |||||||||||||||||||
d2-1-NN-11_14.qdimacs | 6 | 16 | 18 | 31 | 92 | 102 | 109 | 134 | 8199 | 5404 | 1564 | 3809 | >250 | 3.05 | 3.784 | #N/A | 250 | 3.05 | 3.784 | |||||||||||||||||||
d2-1-NN-11_15.qdimacs | 6 | 16 | 19 | 31 | 92 | 111 | 109 | 141 | 8562 | 5686 | 1564 | 4091 | >250 | 2.58 | 4.216 | #N/A | 250 | 2.58 | 4.216 | |||||||||||||||||||
d2-1-NN-11_16.qdimacs | 6 | 16 | 22 | 31 | 92 | 121 | 109 | 153 | 9552 | 6249 | 1564 | 4654 | >250 | 3.09 | 5.164 | #N/A | 250 | 3.09 | 5.164 | |||||||||||||||||||
d2-1-NN-11_17.qdimacs | 6 | 20 | 21 | 29 | 100 | 102 | 124 | 139 | 10791 | 7009 | 2100 | 4880 | >250 | 9.09 | 9.248 | #N/A | 250 | 9.09 | 9.248 | |||||||||||||||||||
d2-1-NN-11_18.qdimacs | 6 | 20 | 22 | 31 | 102 | 112 | 126 | 151 | 11479 | 7425 | 2142 | 5252 | >250 | 9.23 | 10.716 | #N/A | 250 | 9.23 | 10.716 | |||||||||||||||||||
d2-1-NN-11_19.qdimacs | 6 | 20 | 23 | 31 | 102 | 121 | 126 | 158 | 11903 | 7753 | 2142 | 5580 | >250 | 9.44 | 11.76 | #N/A | 250 | 9.44 | 11.76 | |||||||||||||||||||
d2-1-NN-11_20.qdimacs | 6 | 20 | 26 | 31 | 102 | 131 | 126 | 170 | 13040 | 8386 | 2142 | 6213 | >250 | 9.96 | 13.56 | #N/A | 250 | 9.96 | 13.56 | |||||||||||||||||||
d2-1-NN-11_21.qdimacs | 6 | 22 | 23 | 29 | 107 | 109 | 137 | 152 | 12853 | 8295 | 2461 | 5805 | >250 | 42.38 | 15.768 | #N/A | 250 | 42.38 | 15.768 | |||||||||||||||||||
d2-1-NN-11_22.qdimacs | 6 | 22 | 24 | 31 | 109 | 119 | 139 | 164 | 13602 | 8746 | 2507 | 6208 | >250 | 47.92 | 17.833 | #N/A | 250 | 47.92 | 17.833 | |||||||||||||||||||
d2-1-NN-11_23.qdimacs | 6 | 22 | 25 | 31 | 109 | 128 | 139 | 171 | 14061 | 9099 | 2507 | 6561 | >250 | 47.42 | 18.933 | #N/A | 250 | 47.42 | 18.933 | |||||||||||||||||||
d2-1-NN-11_24.qdimacs | 6 | 22 | 28 | 31 | 109 | 138 | 139 | 183 | 15285 | 9773 | 2507 | 7235 | >250 | 50.91 | 22.345 | #N/A | 250 | 50.91 | 22.345 | |||||||||||||||||||
d2-1-NN-11_25.qdimacs | 6 | 24 | 25 | 29 | 115 | 117 | 152 | 167 | 15222 | 9790 | 2875 | 6886 | >250 | 252.35 | 23.977 | #N/A | 250 | 252.35 | 23.977 | |||||||||||||||||||
d2-1-NN-11_26.qdimacs | 6 | 24 | 26 | 31 | 117 | 127 | 154 | 179 | 16034 | 10277 | 2925 | 7321 | >250 | 274.51 | 27.457 | #N/A | 250 | 274.51 | 27.457 | |||||||||||||||||||
d2-1-NN-11_27.qdimacs | 6 | 24 | 27 | 31 | 117 | 136 | 154 | 186 | 16530 | 10656 | 2925 | 7700 | >250 | 269.73 | 28.465 | #N/A | 250 | 269.73 | 28.465 | |||||||||||||||||||
d2-1-NN-11_28.qdimacs | 6 | 24 | 30 | 31 | 117 | 146 | 154 | 198 | 17847 | 11374 | 2925 | 8418 | >250 | 292.17 | 33.337 | #N/A | 250 | 292.17 | 33.337 | |||||||||||||||||||
12 | d2-1-NN-12_01.qdimacs | 5 | 9 | 10 | 32 | 49 | 51 | 59 | 74 | 2688 | 1669 | 490 | 1147 | >250 | 0.14 | 0.244 | #N/A | 250 | 0.14 | 0.244 | ||||||||||||||||||
d2-1-NN-12_02.qdimacs | 5 | 9 | 11 | 34 | 51 | 61 | 61 | 86 | 3046 | 1880 | 510 | 1336 | >250 | 0.19 | 0.292 | #N/A | 250 | 0.19 | 0.292 | |||||||||||||||||||
d2-1-NN-12_03.qdimacs | 5 | 9 | 12 | 34 | 51 | 70 | 61 | 93 | 3283 | 2058 | 510 | 1514 | >250 | 0.16 | 0.384 | #N/A | 250 | 0.16 | 0.384 | |||||||||||||||||||
d2-1-NN-12_04.qdimacs | 5 | 9 | 15 | 34 | 51 | 80 | 61 | 105 | 3958 | 2428 | 510 | 1884 | >250 | 0.17 | 0.556 | #N/A | 250 | 0.17 | 0.556 | |||||||||||||||||||
d2-1-NN-12_05.qdimacs | 5 | 13 | 14 | 32 | 67 | 69 | 76 | 91 | 4758 | 3077 | 938 | 2107 | >250 | 0.4 | 1.004 | #N/A | 250 | 0.4 | 1.004 | |||||||||||||||||||
d2-1-NN-12_06.qdimacs | 5 | 13 | 15 | 34 | 69 | 79 | 78 | 103 | 5230 | 3362 | 966 | 2362 | >250 | 0.56 | 1.208 | #N/A | 250 | 0.56 | 1.208 | |||||||||||||||||||
d2-1-NN-12_07.qdimacs | 5 | 13 | 16 | 34 | 69 | 88 | 78 | 110 | 5529 | 3594 | 966 | 2594 | >250 | 0.49 | 1.26 | #N/A | 250 | 0.49 | 1.26 | |||||||||||||||||||
d2-1-NN-12_08.qdimacs | 5 | 13 | 19 | 34 | 69 | 98 | 78 | 122 | 6354 | 4058 | 966 | 3058 | >250 | 0.59 | 1.628 | #N/A | 250 | 0.59 | 1.628 | |||||||||||||||||||
d2-1-NN-12_09.qdimacs | 5 | 14 | 15 | 32 | 77 | 79 | 90 | 105 | 5855 | 3812 | 1155 | 2625 | >250 | 0.76 | 2.06 | #N/A | 250 | 0.76 | 2.06 | |||||||||||||||||||
d2-1-NN-12_10.qdimacs | 5 | 14 | 16 | 34 | 79 | 89 | 92 | 117 | 6365 | 4121 | 1185 | 2902 | >250 | 0.73 | 2.384 | #N/A | 250 | 0.73 | 2.384 | |||||||||||||||||||
d2-1-NN-12_11.qdimacs | 5 | 14 | 17 | 34 | 79 | 98 | 92 | 124 | 6689 | 4372 | 1185 | 3153 | >250 | 0.94 | 2.856 | #N/A | 250 | 0.94 | 2.856 | |||||||||||||||||||
d2-1-NN-12_12.qdimacs | 5 | 14 | 20 | 34 | 79 | 108 | 92 | 136 | 7580 | 4876 | 1185 | 3657 | >250 | 1.18 | 3.196 | #N/A | 250 | 1.18 | 3.196 | |||||||||||||||||||
d2-1-NN-12_13.qdimacs | 5 | 16 | 17 | 32 | 90 | 92 | 107 | 122 | 7624 | 5054 | 1530 | 3492 | >250 | 2.39 | 3.3 | #N/A | 250 | 2.39 | 3.3 | |||||||||||||||||||
d2-1-NN-12_14.qdimacs | 5 | 16 | 18 | 34 | 92 | 102 | 109 | 134 | 8199 | 5404 | 1564 | 3806 | >250 | 2.34 | 3.956 | #N/A | 250 | 2.34 | 3.956 | |||||||||||||||||||
d2-1-NN-12_15.qdimacs | 5 | 16 | 19 | 34 | 92 | 111 | 109 | 141 | 8562 | 5686 | 1564 | 4088 | >250 | 2.32 | 4.124 | #N/A | 250 | 2.32 | 4.124 | |||||||||||||||||||
d2-1-NN-12_16.qdimacs | 5 | 16 | 22 | 34 | 92 | 121 | 109 | 153 | 9552 | 6249 | 1564 | 4651 | >250 | 3.01 | 5.244 | #N/A | 250 | 3.01 | 5.244 | |||||||||||||||||||
d2-1-NN-12_17.qdimacs | 5 | 20 | 21 | 32 | 100 | 102 | 124 | 139 | 10791 | 7009 | 2100 | 4877 | >250 | 7.37 | 9.352 | #N/A | 250 | 7.37 | 9.352 | |||||||||||||||||||
d2-1-NN-12_18.qdimacs | 5 | 20 | 22 | 34 | 102 | 112 | 126 | 151 | 11479 | 7425 | 2142 | 5249 | >250 | 7.85 | 11.384 | #N/A | 250 | 7.85 | 11.384 | |||||||||||||||||||
d2-1-NN-12_19.qdimacs | 5 | 20 | 23 | 34 | 102 | 121 | 126 | 158 | 11903 | 7753 | 2142 | 5577 | >250 | 8.89 | 11.564 | #N/A | 250 | 8.89 | 11.564 | |||||||||||||||||||
d2-1-NN-12_20.qdimacs | 5 | 20 | 26 | 34 | 102 | 131 | 126 | 170 | 13040 | 8386 | 2142 | 6210 | >250 | 9.71 | 14.06 | #N/A | 250 | 9.71 | 14.06 | |||||||||||||||||||
d2-1-NN-12_21.qdimacs | 5 | 22 | 23 | 32 | 107 | 109 | 137 | 152 | 12853 | 8295 | 2461 | 5802 | >250 | 40.15 | 15.592 | #N/A | 250 | 40.15 | 15.592 | |||||||||||||||||||
d2-1-NN-12_22.qdimacs | 5 | 22 | 24 | 34 | 109 | 119 | 139 | 164 | 13602 | 8746 | 2507 | 6205 | >250 | 42.92 | 18.349 | #N/A | 250 | 42.92 | 18.349 | |||||||||||||||||||
d2-1-NN-12_23.qdimacs | 5 | 22 | 25 | 34 | 109 | 128 | 139 | 171 | 14061 | 9099 | 2507 | 6558 | >250 | 45.06 | 19.233 | #N/A | 250 | 45.06 | 19.233 | |||||||||||||||||||
d2-1-NN-12_24.qdimacs | 5 | 22 | 28 | 34 | 109 | 138 | 139 | 183 | 15285 | 9773 | 2507 | 7232 | >250 | 47.64 | 22.633 | #N/A | 250 | 47.64 | 22.633 | |||||||||||||||||||
d2-1-NN-12_25.qdimacs | 5 | 24 | 25 | 32 | 115 | 117 | 152 | 167 | 15222 | 9790 | 2875 | 6883 | >250 | 215.45 | 24.137 | #N/A | 250 | 215.45 | 24.137 | |||||||||||||||||||
d2-1-NN-12_26.qdimacs | 5 | 24 | 26 | 34 | 117 | 127 | 154 | 179 | 16034 | 10277 | 2925 | 7318 | >250 | 228.52 | 27.817 | #N/A | 250 | 228.52 | 27.817 | |||||||||||||||||||
d2-1-NN-12_27.qdimacs | 5 | 24 | 27 | 34 | 117 | 136 | 154 | 186 | 16530 | 10656 | 2925 | 7697 | >250 | 232.35 | 29.061 | #N/A | 250 | 232.35 | 29.061 | |||||||||||||||||||
d2-1-NN-12_28.qdimacs | 5 | 24 | 30 | 34 | 117 | 146 | 154 | 198 | 17847 | 11374 | 2925 | 8415 | >250 | 239.89 | 33.701 | #N/A | 250 | 239.89 | 33.701 | |||||||||||||||||||
13 | d2-1-NN-13_01.qdimacs | 6 | 10 | 11 | 34 | 53 | 55 | 59 | 74 | 2993 | 1923 | 583 | 1306 | >250 | 0.18 | 0.3 | #N/A | 250 | 0.18 | 0.3 | ||||||||||||||||||
d2-1-NN-13_02.qdimacs | 6 | 10 | 12 | 36 | 55 | 65 | 61 | 86 | 3375 | 2152 | 605 | 1511 | >250 | 0.24 | 0.36 | #N/A | 250 | 0.24 | 0.36 | |||||||||||||||||||
d2-1-NN-13_03.qdimacs | 6 | 10 | 12 | 36 | 55 | 70 | 61 | 93 | 3466 | 2217 | 605 | 1576 | >250 | 0.16 | 0.372 | #N/A | 250 | 0.16 | 0.372 | |||||||||||||||||||
d2-1-NN-13_04.qdimacs | 6 | 10 | 15 | 36 | 55 | 80 | 61 | 105 | 4141 | 2587 | 605 | 1946 | >250 | 0.22 | 0.528 | #N/A | 250 | 0.22 | 0.528 | |||||||||||||||||||
d2-1-NN-13_05.qdimacs | 6 | 14 | 15 | 34 | 71 | 73 | 76 | 91 | 5151 | 3416 | 1065 | 2317 | >250 | 0.47 | 1.248 | #N/A | 250 | 0.47 | 1.248 | |||||||||||||||||||
d2-1-NN-13_06.qdimacs | 6 | 14 | 16 | 36 | 73 | 83 | 78 | 103 | 5647 | 3719 | 1095 | 2588 | >250 | 0.59 | 1.412 | #N/A | 250 | 0.59 | 1.412 | |||||||||||||||||||
d2-1-NN-13_07.qdimacs | 6 | 14 | 16 | 36 | 73 | 88 | 78 | 110 | 5766 | 3804 | 1095 | 2673 | >250 | 0.93 | 1.424 | #N/A | 250 | 0.93 | 1.424 | |||||||||||||||||||
d2-1-NN-13_08.qdimacs | 6 | 14 | 19 | 36 | 73 | 98 | 78 | 122 | 6591 | 4268 | 1095 | 3137 | >250 | 0.82 | 1.832 | #N/A | 250 | 0.82 | 1.832 | |||||||||||||||||||
d2-1-NN-13_09.qdimacs | 6 | 15 | 16 | 34 | 81 | 83 | 90 | 105 | 6302 | 4193 | 1296 | 2863 | >250 | 0.82 | 2.46 | #N/A | 250 | 0.82 | 2.46 | |||||||||||||||||||
d2-1-NN-13_10.qdimacs | 6 | 15 | 17 | 36 | 83 | 93 | 92 | 117 | 6836 | 4520 | 1328 | 3156 | >250 | 1.05 | 2.752 | #N/A | 250 | 1.05 | 2.752 | |||||||||||||||||||
d2-1-NN-13_11.qdimacs | 6 | 15 | 17 | 36 | 83 | 98 | 92 | 124 | 6962 | 4610 | 1328 | 3246 | >250 | 1.13 | 2.908 | #N/A | 250 | 1.13 | 2.908 | |||||||||||||||||||
d2-1-NN-13_12.qdimacs | 6 | 15 | 20 | 36 | 83 | 108 | 92 | 136 | 7853 | 5114 | 1328 | 3750 | >250 | 1.29 | 3.688 | #N/A | 250 | 1.29 | 3.688 | |||||||||||||||||||
d2-1-NN-13_13.qdimacs | 6 | 17 | 18 | 34 | 94 | 96 | 107 | 122 | 8137 | 5494 | 1692 | 3768 | >250 | 3.18 | 3.868 | #N/A | 250 | 3.18 | 3.868 | |||||||||||||||||||
d2-1-NN-13_14.qdimacs | 6 | 17 | 19 | 36 | 96 | 106 | 109 | 134 | 8736 | 5862 | 1728 | 4098 | >250 | 2.51 | 4.728 | #N/A | 250 | 2.51 | 4.728 | |||||||||||||||||||
d2-1-NN-13_15.qdimacs | 6 | 17 | 19 | 36 | 96 | 111 | 109 | 141 | 8876 | 5962 | 1728 | 4198 | >250 | 2.62 | 4.708 | #N/A | 250 | 2.62 | 4.708 | |||||||||||||||||||
d2-1-NN-13_16.qdimacs | 6 | 17 | 22 | 36 | 96 | 121 | 109 | 153 | 9866 | 6525 | 1728 | 4761 | >250 | 3.22 | 5.8 | #N/A | 250 | 3.22 | 5.8 | |||||||||||||||||||
d2-1-NN-13_17.qdimacs | 6 | 21 | 22 | 34 | 104 | 106 | 124 | 139 | 11386 | 7518 | 2288 | 5196 | >250 | 9.22 | 10.968 | #N/A | 250 | 9.22 | 10.968 | |||||||||||||||||||
d2-1-NN-13_18.qdimacs | 6 | 21 | 23 | 36 | 106 | 116 | 126 | 151 | 12098 | 7952 | 2332 | 5584 | >250 | 10.32 | 12.972 | #N/A | 250 | 10.32 | 12.972 | |||||||||||||||||||
d2-1-NN-13_19.qdimacs | 6 | 21 | 23 | 36 | 106 | 121 | 126 | 158 | 12266 | 8072 | 2332 | 5704 | >250 | 9.98 | 12.892 | #N/A | 250 | 9.98 | 12.892 | |||||||||||||||||||
d2-1-NN-13_20.qdimacs | 6 | 21 | 26 | 36 | 106 | 131 | 126 | 170 | 13403 | 8705 | 2332 | 6337 | >250 | 10.17 | 15.436 | #N/A | 250 | 10.17 | 15.436 | |||||||||||||||||||
d2-1-NN-13_21.qdimacs | 6 | 23 | 24 | 34 | 111 | 113 | 137 | 152 | 13501 | 8847 | 2664 | 6149 | >250 | 48.92 | 18.261 | #N/A | 250 | 48.92 | 18.261 | |||||||||||||||||||
d2-1-NN-13_22.qdimacs | 6 | 23 | 25 | 36 | 113 | 123 | 139 | 164 | 14274 | 9316 | 2712 | 6568 | >250 | 52.33 | 20.865 | #N/A | 250 | 52.33 | 20.865 | |||||||||||||||||||
d2-1-NN-13_23.qdimacs | 6 | 23 | 25 | 36 | 113 | 128 | 139 | 171 | 14456 | 9446 | 2712 | 6698 | >250 | 54.84 | 21.049 | #N/A | 250 | 54.84 | 21.049 | |||||||||||||||||||
d2-1-NN-13_24.qdimacs | 6 | 23 | 28 | 36 | 113 | 138 | 139 | 183 | 15680 | 10120 | 2712 | 7372 | >250 | 56.25 | 24.717 | #N/A | 250 | 56.25 | 24.717 | |||||||||||||||||||
d2-1-NN-13_25.qdimacs | 6 | 25 | 26 | 34 | 119 | 121 | 152 | 167 | 15928 | 10389 | 3094 | 7261 | >250 | 248.18 | 27.665 | #N/A | 250 | 248.18 | 27.665 | |||||||||||||||||||
d2-1-NN-13_26.qdimacs | 6 | 25 | 27 | 36 | 121 | 131 | 154 | 179 | 16764 | 10894 | 3146 | 7712 | >250 | 262.22 | 31.473 | #N/A | 250 | 262.22 | 31.473 | |||||||||||||||||||
d2-1-NN-13_27.qdimacs | 6 | 25 | 27 | 36 | 121 | 136 | 154 | 186 | 16960 | 11034 | 3146 | 7852 | >250 | 262.11 | 31.501 | #N/A | 250 | 262.11 | 31.501 | |||||||||||||||||||
d2-1-NN-13_28.qdimacs | 6 | 25 | 30 | 36 | 121 | 146 | 154 | 198 | 18277 | 11752 | 3146 | 8570 | >250 | 274.22 | 36.542 | #N/A | 250 | 274.22 | 36.542 | |||||||||||||||||||
14 | d2-1-NN-14_01.qdimacs | 7 | 10 | 11 | 38 | 53 | 55 | 59 | 74 | 2993 | 1923 | 583 | 1302 | >250 | 0.22 | 0.3 | #N/A | 250 | 0.22 | 0.3 | ||||||||||||||||||
d2-1-NN-14_02.qdimacs | 7 | 10 | 12 | 40 | 55 | 65 | 61 | 86 | 3375 | 2152 | 605 | 1507 | >250 | 0.17 | 0.368 | #N/A | 250 | 0.17 | 0.368 | |||||||||||||||||||
d2-1-NN-14_03.qdimacs | 7 | 10 | 12 | 40 | 55 | 70 | 61 | 93 | 3466 | 2217 | 605 | 1572 | >250 | 0.17 | 0.376 | #N/A | 250 | 0.17 | 0.376 | |||||||||||||||||||
d2-1-NN-14_04.qdimacs | 7 | 10 | 15 | 40 | 55 | 80 | 61 | 105 | 4141 | 2587 | 605 | 1942 | >250 | 0.21 | 0.552 | #N/A | 250 | 0.21 | 0.552 | |||||||||||||||||||
d2-1-NN-14_05.qdimacs | 7 | 14 | 15 | 38 | 71 | 73 | 76 | 91 | 5151 | 3416 | 1065 | 2313 | >250 | 0.57 | 1.368 | #N/A | 250 | 0.57 | 1.368 | |||||||||||||||||||
d2-1-NN-14_06.qdimacs | 7 | 14 | 16 | 40 | 73 | 83 | 78 | 103 | 5647 | 3719 | 1095 | 2584 | >250 | 0.54 | 1.516 | #N/A | 250 | 0.54 | 1.516 | |||||||||||||||||||
d2-1-NN-14_07.qdimacs | 7 | 14 | 16 | 40 | 73 | 88 | 78 | 110 | 5766 | 3804 | 1095 | 2669 | >250 | 0.73 | 1.44 | #N/A | 250 | 0.73 | 1.44 | |||||||||||||||||||
d2-1-NN-14_08.qdimacs | 7 | 14 | 19 | 40 | 73 | 98 | 78 | 122 | 6591 | 4268 | 1095 | 3133 | >250 | 0.71 | 1.884 | #N/A | 250 | 0.71 | 1.884 | |||||||||||||||||||
d2-1-NN-14_09.qdimacs | 7 | 15 | 16 | 38 | 81 | 83 | 90 | 105 | 6302 | 4193 | 1296 | 2859 | >250 | 0.98 | 2.48 | #N/A | 250 | 0.98 | 2.48 | |||||||||||||||||||
d2-1-NN-14_10.qdimacs | 7 | 15 | 17 | 40 | 83 | 93 | 92 | 117 | 6836 | 4520 | 1328 | 3152 | >250 | 1.34 | 2.988 | #N/A | 250 | 1.34 | 2.988 | |||||||||||||||||||
d2-1-NN-14_11.qdimacs | 7 | 15 | 17 | 40 | 83 | 98 | 92 | 124 | 6962 | 4610 | 1328 | 3242 | >250 | 0.98 | 2.928 | #N/A | 250 | 0.98 | 2.928 | |||||||||||||||||||
d2-1-NN-14_12.qdimacs | 7 | 15 | 20 | 40 | 83 | 108 | 92 | 136 | 7853 | 5114 | 1328 | 3746 | >250 | 1.59 | 3.496 | #N/A | 250 | 1.59 | 3.496 | |||||||||||||||||||
d2-1-NN-14_13.qdimacs | 7 | 17 | 18 | 38 | 94 | 96 | 107 | 122 | 8137 | 5494 | 1692 | 3764 | >250 | 3.62 | 4.008 | #N/A | 250 | 3.62 | 4.008 | |||||||||||||||||||
d2-1-NN-14_14.qdimacs | 7 | 17 | 19 | 40 | 96 | 106 | 109 | 134 | 8736 | 5862 | 1728 | 4094 | >250 | 2.76 | 4.684 | #N/A | 250 | 2.76 | 4.684 | |||||||||||||||||||
d2-1-NN-14_15.qdimacs | 7 | 17 | 19 | 40 | 96 | 111 | 109 | 141 | 8876 | 5962 | 1728 | 4194 | >250 | 3.01 | 4.776 | #N/A | 250 | 3.01 | 4.776 | |||||||||||||||||||
d2-1-NN-14_16.qdimacs | 7 | 17 | 22 | 40 | 96 | 121 | 109 | 153 | 9866 | 6525 | 1728 | 4757 | >250 | 3.37 | 5.884 | #N/A | 250 | 3.37 | 5.884 | |||||||||||||||||||
d2-1-NN-14_17.qdimacs | 7 | 21 | 22 | 38 | 104 | 106 | 124 | 139 | 11386 | 7518 | 2288 | 5192 | >250 | 9.72 | 11.164 | #N/A | 250 | 9.72 | 11.164 | |||||||||||||||||||
d2-1-NN-14_18.qdimacs | 7 | 21 | 23 | 40 | 106 | 116 | 126 | 151 | 12098 | 7952 | 2332 | 5580 | >250 | 10.84 | 12.896 | #N/A | 250 | 10.84 | 12.896 | |||||||||||||||||||
d2-1-NN-14_19.qdimacs | 7 | 21 | 23 | 40 | 106 | 121 | 126 | 158 | 12266 | 8072 | 2332 | 5700 | >250 | 10.75 | 13.148 | #N/A | 250 | 10.75 | 13.148 | |||||||||||||||||||
d2-1-NN-14_20.qdimacs | 7 | 21 | 26 | 40 | 106 | 131 | 126 | 170 | 13403 | 8705 | 2332 | 6333 | >250 | 11.43 | 15.268 | #N/A | 250 | 11.43 | 15.268 | |||||||||||||||||||
d2-1-NN-14_21.qdimacs | 7 | 23 | 24 | 38 | 111 | 113 | 137 | 152 | 13501 | 8847 | 2664 | 6145 | >250 | 48.61 | 18.285 | #N/A | 250 | 48.61 | 18.285 | |||||||||||||||||||
d2-1-NN-14_22.qdimacs | 7 | 23 | 25 | 40 | 113 | 123 | 139 | 164 | 14274 | 9316 | 2712 | 6564 | >250 | 51.65 | 20.893 | #N/A | 250 | 51.65 | 20.893 | |||||||||||||||||||
d2-1-NN-14_23.qdimacs | 7 | 23 | 25 | 40 | 113 | 128 | 139 | 171 | 14456 | 9446 | 2712 | 6694 | >250 | 52.48 | 21.405 | #N/A | 250 | 52.48 | 21.405 | |||||||||||||||||||
d2-1-NN-14_24.qdimacs | 7 | 23 | 28 | 40 | 113 | 138 | 139 | 183 | 15680 | 10120 | 2712 | 7368 | >250 | 55.19 | 25.097 | #N/A | 250 | 55.19 | 25.097 | |||||||||||||||||||
d2-1-NN-14_25.qdimacs | 7 | 25 | 26 | 38 | 119 | 121 | 152 | 167 | 15928 | 10389 | 3094 | 7257 | >250 | 286.34 | 28.217 | #N/A | 250 | 286.34 | 28.217 | |||||||||||||||||||
d2-1-NN-14_26.qdimacs | 7 | 25 | 27 | 40 | 121 | 131 | 154 | 179 | 16764 | 10894 | 3146 | 7708 | >250 | 299.7 | 32.009 | #N/A | 250 | 299.7 | 32.009 | |||||||||||||||||||
d2-1-NN-14_27.qdimacs | 7 | 25 | 27 | 40 | 121 | 136 | 154 | 186 | 16960 | 11034 | 3146 | 7848 | >250 | 308.54 | 32.017 | #N/A | 250 | 308.54 | 32.017 | |||||||||||||||||||
d2-1-NN-14_28.qdimacs | 7 | 25 | 30 | 40 | 121 | 146 | 154 | 198 | 18277 | 11752 | 3146 | 8566 | >250 | 319.85 | 37.15 | #N/A | 250 | 319.85 | 37.15 | |||||||||||||||||||
15 | d2-1-NN-15_01.qdimacs | 10 | 13 | 14 | 48 | 63 | 65 | 59 | 74 | 3956 | 2723 | 882 | 1793 | >250 | 0.34 | 0.584 | #N/A | 250 | 0.34 | 0.584 | ||||||||||||||||||
d2-1-NN-15_02.qdimacs | 10 | 13 | 15 | 50 | 65 | 75 | 61 | 86 | 4410 | 3004 | 910 | 2044 | >250 | 0.51 | 0.66 | #N/A | 250 | 0.51 | 0.66 | |||||||||||||||||||
d2-1-NN-15_03.qdimacs | 10 | 13 | 15 | 50 | 65 | 80 | 61 | 93 | 4522 | 3084 | 910 | 2124 | >250 | 0.37 | 0.676 | #N/A | 250 | 0.37 | 0.676 | |||||||||||||||||||
d2-1-NN-15_04.qdimacs | 10 | 13 | 18 | 50 | 65 | 90 | 61 | 105 | 5269 | 3514 | 910 | 2554 | >250 | 0.5 | 0.944 | #N/A | 250 | 0.5 | 0.944 | |||||||||||||||||||
d2-1-NN-15_05.qdimacs | 10 | 17 | 18 | 48 | 81 | 83 | 76 | 91 | 6378 | 4455 | 1458 | 2949 | >250 | 1.15 | 2.16 | #N/A | 250 | 1.15 | 2.16 | |||||||||||||||||||
d2-1-NN-15_06.qdimacs | 10 | 17 | 19 | 50 | 83 | 93 | 78 | 103 | 6946 | 4810 | 1494 | 3266 | >250 | 1.3 | 2.812 | #N/A | 250 | 1.3 | 2.812 | |||||||||||||||||||
d2-1-NN-15_07.qdimacs | 10 | 17 | 19 | 50 | 83 | 98 | 78 | 110 | 7086 | 4910 | 1494 | 3366 | >250 | 1.36 | 2.556 | #N/A | 250 | 1.36 | 2.556 | |||||||||||||||||||
d2-1-NN-15_08.qdimacs | 10 | 17 | 22 | 50 | 83 | 108 | 78 | 122 | 7983 | 5434 | 1494 | 3890 | >250 | 1.54 | 3.248 | #N/A | 250 | 1.54 | 3.248 | |||||||||||||||||||
d2-1-NN-15_09.qdimacs | 10 | 17 | 18 | 49 | 89 | 91 | 90 | 105 | 7220 | 5003 | 1602 | 3352 | >250 | 2.14 | 3.524 | #N/A | 250 | 2.14 | 3.524 | |||||||||||||||||||
d2-1-NN-15_10.qdimacs | 10 | 17 | 19 | 51 | 91 | 101 | 92 | 117 | 7802 | 5366 | 1638 | 3677 | >250 | 2.14 | 4.224 | #N/A | 250 | 2.14 | 4.224 | |||||||||||||||||||
d2-1-NN-15_11.qdimacs | 10 | 17 | 19 | 51 | 91 | 106 | 92 | 124 | 7942 | 5466 | 1638 | 3777 | >250 | 1.76 | 4.312 | #N/A | 250 | 1.76 | 4.312 | |||||||||||||||||||
d2-1-NN-15_12.qdimacs | 10 | 17 | 22 | 51 | 91 | 116 | 92 | 136 | 8881 | 6014 | 1638 | 4325 | >250 | 2.44 | 5.208 | #N/A | 250 | 2.44 | 5.208 | |||||||||||||||||||
d2-1-NN-15_13.qdimacs | 10 | 17 | 18 | 50 | 94 | 96 | 107 | 122 | 8137 | 5494 | 1692 | 3752 | >250 | 3.04 | 4.084 | #N/A | 250 | 3.04 | 4.084 | |||||||||||||||||||
d2-1-NN-15_14.qdimacs | 10 | 17 | 19 | 52 | 96 | 106 | 109 | 134 | 8736 | 5862 | 1728 | 4082 | >250 | 3.32 | 4.684 | #N/A | 250 | 3.32 | 4.684 | |||||||||||||||||||
d2-1-NN-15_15.qdimacs | 10 | 17 | 19 | 52 | 96 | 111 | 109 | 141 | 8876 | 5962 | 1728 | 4182 | >250 | 3.36 | 4.784 | #N/A | 250 | 3.36 | 4.784 | |||||||||||||||||||
d2-1-NN-15_16.qdimacs | 10 | 17 | 22 | 52 | 96 | 121 | 109 | 153 | 9866 | 6525 | 1728 | 4745 | >250 | 3.89 | 5.876 | #N/A | 250 | 3.89 | 5.876 | |||||||||||||||||||
d2-1-NN-15_17.qdimacs | 10 | 21 | 22 | 50 | 104 | 106 | 124 | 139 | 11386 | 7518 | 2288 | 5180 | >250 | 11.25 | 10.944 | #N/A | 250 | 11.25 | 10.944 | |||||||||||||||||||
d2-1-NN-15_18.qdimacs | 10 | 21 | 23 | 52 | 106 | 116 | 126 | 151 | 12098 | 7952 | 2332 | 5568 | >250 | 12.23 | 13.048 | #N/A | 250 | 12.23 | 13.048 | |||||||||||||||||||
d2-1-NN-15_19.qdimacs | 10 | 21 | 23 | 52 | 106 | 121 | 126 | 158 | 12266 | 8072 | 2332 | 5688 | >250 | 11.91 | 12.632 | #N/A | 250 | 11.91 | 12.632 | |||||||||||||||||||
d2-1-NN-15_20.qdimacs | 10 | 21 | 26 | 52 | 106 | 131 | 126 | 170 | 13403 | 8705 | 2332 | 6321 | >250 | 12.98 | 15.252 | #N/A | 250 | 12.98 | 15.252 | |||||||||||||||||||
d2-1-NN-15_21.qdimacs | 10 | 23 | 24 | 50 | 111 | 113 | 137 | 152 | 13501 | 8847 | 2664 | 6133 | >250 | 54.36 | 18.129 | #N/A | 250 | 54.36 | 18.129 | |||||||||||||||||||
d2-1-NN-15_22.qdimacs | 10 | 23 | 25 | 52 | 113 | 123 | 139 | 164 | 14274 | 9316 | 2712 | 6552 | >250 | 58.34 | 20.601 | #N/A | 250 | 58.34 | 20.601 | |||||||||||||||||||
d2-1-NN-15_23.qdimacs | 10 | 23 | 25 | 52 | 113 | 128 | 139 | 171 | 14456 | 9446 | 2712 | 6682 | >250 | 59.82 | 21.073 | #N/A | 250 | 59.82 | 21.073 | |||||||||||||||||||
d2-1-NN-15_24.qdimacs | 10 | 23 | 28 | 52 | 113 | 138 | 139 | 183 | 15680 | 10120 | 2712 | 7356 | >250 | 64.51 | 24.181 | #N/A | 250 | 64.51 | 24.181 | |||||||||||||||||||
d2-1-NN-15_25.qdimacs | 10 | 25 | 26 | 50 | 119 | 121 | 152 | 167 | 15928 | 10389 | 3094 | 7245 | >250 | 119.94 | 27.649 | #N/A | 250 | 119.94 | 27.649 | |||||||||||||||||||
d2-1-NN-15_26.qdimacs | 10 | 25 | 27 | 52 | 121 | 131 | 154 | 179 | 16764 | 10894 | 3146 | 7696 | >250 | 125.31 | 31.425 | #N/A | 250 | 125.31 | 31.425 | |||||||||||||||||||
d2-1-NN-15_27.qdimacs | 10 | 25 | 27 | 52 | 121 | 136 | 154 | 186 | 16960 | 11034 | 3146 | 7836 | >250 | 126.61 | 31.597 | #N/A | 250 | 126.61 | 31.597 | |||||||||||||||||||
d2-1-NN-15_28.qdimacs | 10 | 25 | 30 | 52 | 121 | 146 | 154 | 198 | 18277 | 11752 | 3146 | 8554 | >250 | 131.13 | 36.482 | #N/A | 250 | 131.13 | 36.482 | |||||||||||||||||||
0 | 4 | 420 | 420 | |||||||||||||||||||||||||||||||||||
|
0 | 0 | 0 | 0 | ||||||||||||||||||||||||||||||||||
0 | 25 | 16.6667 | 1 | |||||||||||||||||||||||||||||||||||
0 | 32.85714 | 30.4762 | 2 | |||||||||||||||||||||||||||||||||||
0 | 46.19048 | 49.5238 | 4 | |||||||||||||||||||||||||||||||||||
0 | 52.61905 | 57.381 | 8 | |||||||||||||||||||||||||||||||||||
0 | 64.28571 | 75.4762 | 16 | |||||||||||||||||||||||||||||||||||
0 | 66.90476 | 97.619 | 32 | |||||||||||||||||||||||||||||||||||
0 | 78.80952 | 100 | 64 | |||||||||||||||||||||||||||||||||||
0.71429 | 82.14286 | 100 | 128 | |||||||||||||||||||||||||||||||||||
0.95238 | 91.19048 | 100 | 256 | |||||||||||||||||||||||||||||||||||
0.95238 | 95 | 100 | 512 | |||||||||||||||||||||||||||||||||||
0.95238 | 99.52381 | 100 | 1024 | |||||||||||||||||||||||||||||||||||
0.95238 | 100 | 100 | 2048 | |||||||||||||||||||||||||||||||||||
4 | 420 | 420 | ||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||