query entailment (-q -sSg) | 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 | 2clsQ | yquaffle | 0 | sKizzo | 2clsQ | yquaffle | |||||||||||||||||||
01 | q2-1-NN-01_01.qdimacs | 1 | 8 | 9 | 5 | 47 | 49 | 59 | 74 | 8305 | 1892 | 423 | 1384 | 12.26 | 0.25 | >1000 | 12.26 | 0.25 | 1000 | ||||||||||||||||||
q2-1-NN-01_02.qdimacs | 1 | 8 | 11 | 5 | 47 | 61 | 59 | 86 | 11479 | 2238 | 423 | 1720 | 13.23 | 0.32 | >1000 | 13.23 | 0.32 | 1000 | |||||||||||||||||||
q2-1-NN-01_03.qdimacs | 1 | 8 | 12 | 5 | 47 | 70 | 59 | 93 | 13180 | 2489 | 423 | 1966 | 15.42 | 0.35 | >1000 | 15.42 | 0.35 | 1000 | |||||||||||||||||||
q2-1-NN-01_04.qdimacs | 1 | 8 | 15 | 5 | 47 | 80 | 59 | 105 | 17848 | 2959 | 423 | 2421 | 14.98 | 0.58 | >1000 | 14.98 | 0.58 | 1000 | |||||||||||||||||||
q2-1-NN-01_05.qdimacs | 1 | 12 | 13 | 5 | 65 | 67 | 76 | 91 | 20109 | 3713 | 845 | 2743 | 151.02 | 1.72 | >1000 | 151.02 | 1.72 | 1000 | |||||||||||||||||||
q2-1-NN-01_06.qdimacs | 1 | 12 | 15 | 5 | 65 | 79 | 76 | 103 | 25991 | 4199 | 845 | 3219 | 153.68 | 2.02 | >1000 | 153.68 | 2.02 | 1000 | |||||||||||||||||||
q2-1-NN-01_07.qdimacs | 1 | 12 | 16 | 5 | 65 | 88 | 76 | 110 | 29042 | 4544 | 845 | 3559 | 218.15 | 2.86 | >1000 | 218.15 | 2.86 | 1000 | |||||||||||||||||||
q2-1-NN-01_08.qdimacs | 1 | 12 | 19 | 5 | 65 | 98 | 76 | 122 | 37088 | 5160 | 845 | 4160 | 234.37 | 3.58 | >1000 | 234.37 | 3.58 | 1000 | |||||||||||||||||||
q2-1-NN-01_09.qdimacs | 1 | 13 | 14 | 5 | 75 | 77 | 90 | 105 | 26332 | 4624 | 1050 | 3439 | 256.19 | 5.39 | >1000 | 256.19 | 5.39 | 1000 | |||||||||||||||||||
q2-1-NN-01_10.qdimacs | 1 | 13 | 16 | 5 | 75 | 89 | 90 | 117 | 33282 | 5156 | 1050 | 3961 | 256.67 | 5.52 | >1000 | 256.67 | 5.52 | 1000 | |||||||||||||||||||
q2-1-NN-01_11.qdimacs | 1 | 13 | 17 | 5 | 75 | 98 | 90 | 124 | 36861 | 5530 | 1050 | 4330 | 236.1 | 7.09 | >1000 | 236.1 | 7.09 | 1000 | |||||||||||||||||||
q2-1-NN-01_12.qdimacs | 1 | 13 | 20 | 5 | 75 | 108 | 90 | 136 | 46278 | 6199 | 1050 | 4984 | 236.81 | 8.69 | >1000 | 236.81 | 8.69 | 1000 | |||||||||||||||||||
q2-1-NN-01_13.qdimacs | 1 | 15 | 16 | 5 | 88 | 90 | 107 | 122 | 38814 | 6211 | 1408 | 4648 | 396.74 | 17.06 | >1000 | 396.74 | 17.06 | 1000 | |||||||||||||||||||
q2-1-NN-01_14.qdimacs | 1 | 15 | 18 | 5 | 88 | 102 | 107 | 134 | 47812 | 6821 | 1408 | 5248 | 396.44 | 20.6 | >1000 | 396.44 | 20.6 | 1000 | |||||||||||||||||||
q2-1-NN-01_15.qdimacs | 1 | 15 | 19 | 5 | 88 | 111 | 107 | 141 | 52397 | 7246 | 1408 | 5668 | 362.02 | 22.49 | >1000 | 362.02 | 22.49 | 1000 | |||||||||||||||||||
q2-1-NN-01_16.qdimacs | 1 | 15 | 22 | 5 | 88 | 121 | 107 | 153 | 64352 | 8000 | 1408 | 6407 | 364.77 | 28.67 | >1000 | 364.77 | 28.67 | 1000 | |||||||||||||||||||
q2-1-NN-01_17.qdimacs | 1 | 19 | 20 | 5 | 98 | 100 | 124 | 139 | 66938 | 8797 | 1960 | 6642 | 1036.2 | 76.92 | >1000 | 1036.2 | 76.92 | 1000 | |||||||||||||||||||
q2-1-NN-01_18.qdimacs | 1 | 19 | 22 | 5 | 98 | 112 | 124 | 151 | 80144 | 9531 | 1960 | 7366 | 1034.38 | 91.91 | >1000 | 1034.38 | 91.91 | 1000 | |||||||||||||||||||
q2-1-NN-01_19.qdimacs | 1 | 19 | 23 | 5 | 98 | 121 | 124 | 158 | 86773 | 10042 | 1960 | 7872 | >2000 | 97.1 | >1000 | 2000 | 97.1 | 1000 | |||||||||||||||||||
q2-1-NN-01_20.qdimacs | 1 | 19 | 26 | 5 | 98 | 131 | 124 | 170 | 103684 | 10918 | 1960 | 8733 | >2000 | 113.98 | >1000 | 2000 | 113.98 | 1000 | |||||||||||||||||||
q2-1-NN-01_21.qdimacs | 1 | 21 | 22 | 5 | 105 | 107 | 137 | 152 | 87228 | 10472 | 2310 | 7947 | 1393.63 | 159.11 | >1000 | 1393.63 | 159.11 | 1000 | |||||||||||||||||||
q2-1-NN-01_22.qdimacs | 1 | 21 | 24 | 5 | 105 | 119 | 137 | 164 | 103030 | 11272 | 2310 | 8737 | 1396.35 | 174.54 | >1000 | 1396.35 | 174.54 | 1000 | |||||||||||||||||||
q2-1-NN-01_23.qdimacs | 1 | 21 | 25 | 5 | 105 | 128 | 137 | 171 | 110915 | 11828 | 2310 | 9288 | >2000 | 185.09 | >1000 | 2000 | 185.09 | 1000 | |||||||||||||||||||
q2-1-NN-01_24.qdimacs | 1 | 21 | 28 | 5 | 105 | 138 | 137 | 183 | 130898 | 12771 | 2310 | 10216 | >2000 | 210.46 | >1000 | 2000 | 210.46 | 1000 | |||||||||||||||||||
q2-1-NN-01_25.qdimacs | 1 | 23 | 24 | 5 | 113 | 115 | 152 | 167 | 112462 | 12410 | 2712 | 9463 | >2000 | 180.92 | >1000 | 2000 | 180.92 | 1000 | |||||||||||||||||||
q2-1-NN-01_26.qdimacs | 1 | 23 | 26 | 5 | 113 | 127 | 152 | 179 | 131188 | 13278 | 2712 | 10321 | >2000 | 190.32 | >1000 | 2000 | 190.32 | 1000 | |||||||||||||||||||
q2-1-NN-01_27.qdimacs | 1 | 23 | 27 | 5 | 113 | 136 | 152 | 186 | 140485 | 13880 | 2712 | 10918 | >2000 | 203.87 | >1000 | 2000 | 203.87 | 1000 | |||||||||||||||||||
q2-1-NN-01_28.qdimacs | 1 | 23 | 30 | 5 | 113 | 146 | 152 | 198 | 163936 | 14893 | 2712 | 11916 | >2000 | 222.04 | >1000 | 2000 | 222.04 | 1000 | |||||||||||||||||||
02 | q2-1-NN-02_01.qdimacs | 1 | 8 | 9 | 7 | 47 | 49 | 59 | 74 | 8305 | 1892 | 423 | 1350 | 22.72 | 0.63 | >1000 | 22.72 | 0.63 | 1000 | ||||||||||||||||||
q2-1-NN-02_02.qdimacs | 1 | 8 | 11 | 7 | 47 | 61 | 59 | 86 | 11479 | 2238 | 423 | 1682 | 27.98 | 0.78 | >1000 | 27.98 | 0.78 | 1000 | |||||||||||||||||||
q2-1-NN-02_03.qdimacs | 1 | 8 | 12 | 7 | 47 | 70 | 59 | 93 | 13180 | 2489 | 423 | 1926 | 45.7 | 0.43 | >1000 | 45.7 | 0.43 | 1000 | |||||||||||||||||||
q2-1-NN-02_04.qdimacs | 1 | 8 | 15 | 7 | 47 | 80 | 59 | 105 | 17848 | 2959 | 423 | 2375 | 46.47 | 0.42 | >1000 | 46.47 | 0.42 | 1000 | |||||||||||||||||||
q2-1-NN-02_05.qdimacs | 1 | 12 | 13 | 7 | 65 | 67 | 76 | 91 | 20109 | 3713 | 845 | 2693 | 200.55 | 3.51 | >1000 | 200.55 | 3.51 | 1000 | |||||||||||||||||||
q2-1-NN-02_06.qdimacs | 1 | 12 | 15 | 7 | 65 | 79 | 76 | 103 | 25991 | 4199 | 845 | 3165 | 199.28 | 4.64 | >1000 | 199.28 | 4.64 | 1000 | |||||||||||||||||||
q2-1-NN-02_07.qdimacs | 1 | 12 | 16 | 7 | 65 | 88 | 76 | 110 | 29042 | 4544 | 845 | 3503 | 269.89 | 2.44 | >1000 | 269.89 | 2.44 | 1000 | |||||||||||||||||||
q2-1-NN-02_08.qdimacs | 1 | 12 | 19 | 7 | 65 | 98 | 76 | 122 | 37088 | 5160 | 845 | 4098 | >2000 | 2.92 | >1000 | 2000 | 2.92 | 1000 | |||||||||||||||||||
q2-1-NN-02_09.qdimacs | 1 | 13 | 14 | 7 | 75 | 77 | 90 | 105 | 26332 | 4624 | 1050 | 3385 | 280.36 | 9.38 | >1000 | 280.36 | 9.38 | 1000 | |||||||||||||||||||
q2-1-NN-02_10.qdimacs | 1 | 13 | 16 | 7 | 75 | 89 | 90 | 117 | 33282 | 5156 | 1050 | 3903 | 283.83 | 11.03 | >1000 | 283.83 | 11.03 | 1000 | |||||||||||||||||||
q2-1-NN-02_11.qdimacs | 1 | 13 | 17 | 7 | 75 | 98 | 90 | 124 | 36861 | 5530 | 1050 | 4270 | 366.83 | 5.99 | >1000 | 366.83 | 5.99 | 1000 | |||||||||||||||||||
q2-1-NN-02_12.qdimacs | 1 | 13 | 20 | 7 | 75 | 108 | 90 | 136 | 46278 | 6199 | 1050 | 4918 | 368.87 | 8.62 | >1000 | 368.87 | 8.62 | 1000 | |||||||||||||||||||
q2-1-NN-02_13.qdimacs | 1 | 15 | 16 | 7 | 88 | 90 | 107 | 122 | 38814 | 6211 | 1408 | 4586 | 370.59 | 27.87 | >1000 | 370.59 | 27.87 | 1000 | |||||||||||||||||||
q2-1-NN-02_14.qdimacs | 1 | 15 | 18 | 7 | 88 | 102 | 107 | 134 | 47812 | 6821 | 1408 | 5182 | 370.11 | 33.52 | >1000 | 370.11 | 33.52 | 1000 | |||||||||||||||||||
q2-1-NN-02_15.qdimacs | 1 | 15 | 19 | 7 | 88 | 111 | 107 | 141 | 52397 | 7246 | 1408 | 5600 | 651.18 | 19.97 | >1000 | 651.18 | 19.97 | 1000 | |||||||||||||||||||
q2-1-NN-02_16.qdimacs | 1 | 15 | 22 | 7 | 88 | 121 | 107 | 153 | 64352 | 8000 | 1408 | 6333 | 651.89 | 27.67 | >1000 | 651.89 | 27.67 | 1000 | |||||||||||||||||||
q2-1-NN-02_17.qdimacs | 1 | 19 | 20 | 7 | 98 | 100 | 124 | 139 | 66938 | 8797 | 1960 | 6564 | 1245 | 117.98 | >1000 | 1245 | 117.98 | 1000 | |||||||||||||||||||
q2-1-NN-02_18.qdimacs | 1 | 19 | 22 | 7 | 98 | 112 | 124 | 151 | 80144 | 9531 | 1960 | 7284 | 1242.21 | 135.99 | >1000 | 1242.21 | 135.99 | 1000 | |||||||||||||||||||
q2-1-NN-02_19.qdimacs | 1 | 19 | 23 | 7 | 98 | 121 | 124 | 158 | 86773 | 10042 | 1960 | 7788 | 1047.91 | 93.76 | >1000 | 1047.91 | 93.76 | 1000 | |||||||||||||||||||
q2-1-NN-02_20.qdimacs | 1 | 19 | 26 | 7 | 98 | 131 | 124 | 170 | 103684 | 10918 | 1960 | 8643 | 1049.06 | 103.93 | >1000 | 1049.06 | 103.93 | 1000 | |||||||||||||||||||
q2-1-NN-02_21.qdimacs | 1 | 21 | 22 | 7 | 105 | 107 | 137 | 152 | 87228 | 10472 | 2310 | 7861 | 938.33 | 266.79 | >1000 | 938.33 | 266.79 | 1000 | |||||||||||||||||||
q2-1-NN-02_22.qdimacs | 1 | 21 | 24 | 7 | 105 | 119 | 137 | 164 | 103030 | 11272 | 2310 | 8647 | 951.54 | 302.77 | >1000 | 951.54 | 302.77 | 1000 | |||||||||||||||||||
q2-1-NN-02_23.qdimacs | 1 | 21 | 25 | 7 | 105 | 128 | 137 | 171 | 110915 | 11828 | 2310 | 9196 | 1342.68 | 178.8 | >1000 | 1342.68 | 178.8 | 1000 | |||||||||||||||||||
q2-1-NN-02_24.qdimacs | 1 | 21 | 28 | 7 | 105 | 138 | 137 | 183 | 130898 | 12771 | 2310 | 10118 | 1379.96 | 201.31 | >1000 | 1379.96 | 201.31 | 1000 | |||||||||||||||||||
q2-1-NN-02_25.qdimacs | 1 | 23 | 24 | 7 | 113 | 115 | 152 | 167 | 112462 | 12410 | 2712 | 9369 | >2000 | 419.46 | >1000 | 2000 | 419.46 | 1000 | |||||||||||||||||||
q2-1-NN-02_26.qdimacs | 1 | 23 | 26 | 7 | 113 | 127 | 152 | 179 | 131188 | 13278 | 2712 | 10223 | >2000 | 445.25 | >1000 | 2000 | 445.25 | 1000 | |||||||||||||||||||
q2-1-NN-02_27.qdimacs | 1 | 23 | 27 | 7 | 113 | 136 | 152 | 186 | 140485 | 13880 | 2712 | 10818 | >2000 | 205.64 | >1000 | 2000 | 205.64 | 1000 | |||||||||||||||||||
q2-1-NN-02_28.qdimacs | 1 | 23 | 30 | 7 | 113 | 146 | 152 | 198 | 163936 | 14893 | 2712 | 11810 | >2000 | 219.2 | >1000 | 2000 | 219.2 | 1000 | |||||||||||||||||||
03 | q2-1-NN-03_01.qdimacs | 2 | 8 | 9 | 11 | 47 | 49 | 59 | 74 | 7516 | 1833 | 423 | 1234 | 25.72 | 0.99 | >1000 | 25.72 | 0.99 | 1000 | ||||||||||||||||||
q2-1-NN-03_02.qdimacs | 2 | 8 | 11 | 11 | 47 | 61 | 59 | 86 | 10538 | 2167 | 423 | 1546 | 28.59 | 1.08 | >1000 | 28.59 | 1.08 | 1000 | |||||||||||||||||||
q2-1-NN-03_03.qdimacs | 2 | 8 | 12 | 11 | 47 | 70 | 59 | 93 | 12172 | 2409 | 423 | 1777 | 152.09 | 1.49 | >1000 | 152.09 | 1.49 | 1000 | |||||||||||||||||||
q2-1-NN-03_04.qdimacs | 2 | 8 | 15 | 11 | 47 | 80 | 59 | 105 | 16720 | 2869 | 423 | 2204 | 154.11 | 1.61 | >1000 | 154.11 | 1.61 | 1000 | |||||||||||||||||||
q2-1-NN-03_05.qdimacs | 2 | 12 | 13 | 11 | 65 | 67 | 76 | 91 | 18734 | 3632 | 845 | 2523 | 255.83 | 5.14 | >1000 | 255.83 | 5.14 | 1000 | |||||||||||||||||||
q2-1-NN-03_06.qdimacs | 2 | 12 | 15 | 11 | 65 | 79 | 76 | 103 | 24400 | 4106 | 845 | 2975 | 448.04 | 6.78 | >1000 | 448.04 | 6.78 | 1000 | |||||||||||||||||||
q2-1-NN-03_07.qdimacs | 2 | 12 | 16 | 11 | 65 | 88 | 76 | 110 | 27356 | 4442 | 845 | 3300 | 441.49 | 8.06 | >1000 | 441.49 | 8.06 | 1000 | |||||||||||||||||||
q2-1-NN-03_08.qdimacs | 2 | 12 | 19 | 11 | 65 | 98 | 76 | 122 | 35234 | 5048 | 845 | 3873 | 440.63 | 10.78 | >1000 | 440.63 | 10.78 | 1000 | |||||||||||||||||||
q2-1-NN-03_09.qdimacs | 2 | 13 | 14 | 11 | 75 | 77 | 90 | 105 | 24655 | 4532 | 1050 | 3196 | 458.67 | 9.67 | >1000 | 458.67 | 9.67 | 1000 | |||||||||||||||||||
q2-1-NN-03_10.qdimacs | 2 | 13 | 16 | 11 | 75 | 89 | 90 | 117 | 31373 | 5052 | 1050 | 3694 | 462.66 | 13.43 | >1000 | 462.66 | 13.43 | 1000 | |||||||||||||||||||
q2-1-NN-03_11.qdimacs | 2 | 13 | 17 | 11 | 75 | 98 | 90 | 124 | 34850 | 5417 | 1050 | 4048 | 810.59 | 15.61 | >1000 | 810.59 | 15.61 | 1000 | |||||||||||||||||||
q2-1-NN-03_12.qdimacs | 2 | 13 | 20 | 11 | 75 | 108 | 90 | 136 | 44087 | 6076 | 1050 | 4674 | 811.3 | 22.41 | >1000 | 811.3 | 22.41 | 1000 | |||||||||||||||||||
q2-1-NN-03_13.qdimacs | 2 | 15 | 16 | 11 | 88 | 90 | 107 | 122 | 36625 | 6104 | 1408 | 4366 | 531.26 | 31.49 | >1000 | 531.26 | 31.49 | 1000 | |||||||||||||||||||
q2-1-NN-03_14.qdimacs | 2 | 15 | 18 | 11 | 88 | 102 | 107 | 134 | 45359 | 6702 | 1408 | 4942 | 534.05 | 40.53 | >1000 | 534.05 | 40.53 | 1000 | |||||||||||||||||||
q2-1-NN-03_15.qdimacs | 2 | 15 | 19 | 11 | 88 | 111 | 107 | 141 | 49828 | 7118 | 1408 | 5347 | 1279.4 | 49.04 | >1000 | 1279.4 | 49.04 | 1000 | |||||||||||||||||||
q2-1-NN-03_16.qdimacs | 2 | 15 | 22 | 11 | 88 | 121 | 107 | 153 | 61579 | 7862 | 1408 | 6058 | 1283.66 | 59.63 | >1000 | 1283.66 | 59.63 | 1000 | |||||||||||||||||||
q2-1-NN-03_17.qdimacs | 2 | 19 | 20 | 11 | 98 | 100 | 124 | 139 | 63861 | 8676 | 1960 | 6298 | >2000 | 130.94 | >1000 | 2000 | 130.94 | 1000 | |||||||||||||||||||
q2-1-NN-03_18.qdimacs | 2 | 19 | 22 | 11 | 98 | 112 | 124 | 151 | 76739 | 9398 | 1960 | 6998 | >2000 | 156.57 | >1000 | 2000 | 156.57 | 1000 | |||||||||||||||||||
q2-1-NN-03_19.qdimacs | 2 | 19 | 23 | 11 | 98 | 121 | 124 | 158 | 83224 | 9900 | 1960 | 7489 | >2000 | 180.25 | >1000 | 2000 | 180.25 | 1000 | |||||||||||||||||||
q2-1-NN-03_20.qdimacs | 2 | 19 | 26 | 11 | 98 | 131 | 124 | 170 | 99883 | 10766 | 1960 | 8322 | >2000 | 205.06 | >1000 | 2000 | 205.06 | 1000 | |||||||||||||||||||
q2-1-NN-03_21.qdimacs | 2 | 21 | 22 | 11 | 105 | 107 | 137 | 152 | 83557 | 10342 | 2310 | 7570 | >2000 | 253.97 | >1000 | 2000 | 253.97 | 1000 | |||||||||||||||||||
q2-1-NN-03_22.qdimacs | 2 | 21 | 24 | 11 | 105 | 119 | 137 | 164 | 98999 | 11130 | 2310 | 8336 | >2000 | 286.25 | >1000 | 2000 | 286.25 | 1000 | |||||||||||||||||||
q2-1-NN-03_23.qdimacs | 2 | 21 | 25 | 11 | 105 | 128 | 137 | 171 | 106726 | 11677 | 2310 | 8872 | >2000 | 309.29 | >1000 | 2000 | 309.29 | 1000 | |||||||||||||||||||
q2-1-NN-03_24.qdimacs | 2 | 21 | 28 | 11 | 105 | 138 | 137 | 183 | 126433 | 12610 | 2310 | 9772 | >2000 | 357.91 | >1000 | 2000 | 357.91 | 1000 | |||||||||||||||||||
q2-1-NN-03_25.qdimacs | 2 | 23 | 24 | 11 | 113 | 115 | 152 | 167 | 108097 | 12270 | 2712 | 9052 | >2000 | 343.62 | >1000 | 2000 | 343.62 | 1000 | |||||||||||||||||||
q2-1-NN-03_26.qdimacs | 2 | 23 | 26 | 11 | 113 | 127 | 152 | 179 | 126431 | 13126 | 2712 | 9886 | >2000 | 393.53 | >1000 | 2000 | 393.53 | 1000 | |||||||||||||||||||
q2-1-NN-03_27.qdimacs | 2 | 23 | 27 | 11 | 113 | 136 | 152 | 186 | 135556 | 13719 | 2712 | 10468 | >2000 | 423.99 | >1000 | 2000 | 423.99 | 1000 | |||||||||||||||||||
q2-1-NN-03_28.qdimacs | 2 | 23 | 30 | 11 | 113 | 146 | 152 | 198 | 158707 | 14722 | 2712 | 11438 | >2000 | 469.97 | >1000 | 2000 | 469.97 | 1000 | |||||||||||||||||||
04 | q2-1-NN-04_01.qdimacs | 3 | 8 | 9 | 15 | 47 | 49 | 59 | 74 | 6731 | 1774 | 423 | 1126 | 22.98 | 0.73 | >1000 | 22.98 | 0.73 | 1000 | ||||||||||||||||||
q2-1-NN-04_02.qdimacs | 3 | 8 | 11 | 15 | 47 | 61 | 59 | 86 | 9601 | 2096 | 423 | 1418 | 28.39 | 1.01 | >1000 | 28.39 | 1.01 | 1000 | |||||||||||||||||||
q2-1-NN-04_03.qdimacs | 3 | 8 | 12 | 15 | 47 | 70 | 59 | 93 | 11168 | 2329 | 423 | 1636 | 151.91 | 1.61 | >1000 | 151.91 | 1.61 | 1000 | |||||||||||||||||||
q2-1-NN-04_04.qdimacs | 3 | 8 | 15 | 15 | 47 | 80 | 59 | 105 | 15596 | 2779 | 423 | 2041 | 151.28 | 1.44 | >1000 | 151.28 | 1.44 | 1000 | |||||||||||||||||||
q2-1-NN-04_05.qdimacs | 3 | 12 | 13 | 15 | 65 | 67 | 76 | 91 | 17363 | 3551 | 845 | 2361 | 241.96 | 4.48 | >1000 | 241.96 | 4.48 | 1000 | |||||||||||||||||||
q2-1-NN-04_06.qdimacs | 3 | 12 | 15 | 15 | 65 | 79 | 76 | 103 | 22813 | 4013 | 845 | 2793 | 242.98 | 5.58 | >1000 | 242.98 | 5.58 | 1000 | |||||||||||||||||||
q2-1-NN-04_07.qdimacs | 3 | 12 | 16 | 15 | 65 | 88 | 76 | 110 | 25674 | 4340 | 845 | 3105 | 1252.05 | 7.34 | >1000 | 1252.05 | 7.34 | 1000 | |||||||||||||||||||
q2-1-NN-04_08.qdimacs | 3 | 12 | 19 | 15 | 65 | 98 | 76 | 122 | 33384 | 4936 | 845 | 3656 | 1258.57 | 8.51 | >1000 | 1258.57 | 8.51 | 1000 | |||||||||||||||||||
q2-1-NN-04_09.qdimacs | 3 | 13 | 14 | 15 | 75 | 77 | 90 | 105 | 22982 | 4440 | 1050 | 3015 | 366.11 | 8.72 | >1000 | 366.11 | 8.72 | 1000 | |||||||||||||||||||
q2-1-NN-04_10.qdimacs | 3 | 13 | 16 | 15 | 75 | 89 | 90 | 117 | 29468 | 4948 | 1050 | 3493 | 344.17 | 10.54 | >1000 | 344.17 | 10.54 | 1000 | |||||||||||||||||||
q2-1-NN-04_11.qdimacs | 3 | 13 | 17 | 15 | 75 | 98 | 90 | 124 | 32843 | 5304 | 1050 | 3834 | >2000 | 12.65 | >1000 | 2000 | 12.65 | 1000 | |||||||||||||||||||
q2-1-NN-04_12.qdimacs | 3 | 13 | 20 | 15 | 75 | 108 | 90 | 136 | 41900 | 5953 | 1050 | 4438 | >2000 | 19.17 | >1000 | 2000 | 19.17 | 1000 | |||||||||||||||||||
q2-1-NN-04_13.qdimacs | 3 | 15 | 16 | 15 | 88 | 90 | 107 | 122 | 34440 | 5997 | 1408 | 4154 | 494.02 | 25.88 | >1000 | 494.02 | 25.88 | 1000 | |||||||||||||||||||
q2-1-NN-04_14.qdimacs | 3 | 15 | 18 | 15 | 88 | 102 | 107 | 134 | 42910 | 6583 | 1408 | 4710 | 495.33 | 36.67 | >1000 | 495.33 | 36.67 | 1000 | |||||||||||||||||||
q2-1-NN-04_15.qdimacs | 3 | 15 | 19 | 15 | 88 | 111 | 107 | 141 | 47263 | 6990 | 1408 | 5102 | >2000 | 43.07 | >1000 | 2000 | 43.07 | 1000 | |||||||||||||||||||
q2-1-NN-04_16.qdimacs | 3 | 15 | 22 | 15 | 88 | 121 | 107 | 153 | 58810 | 7724 | 1408 | 5791 | >2000 | 54.46 | >1000 | 2000 | 54.46 | 1000 | |||||||||||||||||||
q2-1-NN-04_17.qdimacs | 3 | 19 | 20 | 15 | 98 | 100 | 124 | 139 | 60788 | 8555 | 1960 | 6040 | 977.1 | 117.18 | >1000 | 977.1 | 117.18 | 1000 | |||||||||||||||||||
q2-1-NN-04_18.qdimacs | 3 | 19 | 22 | 15 | 98 | 112 | 124 | 151 | 73338 | 9265 | 1960 | 6720 | 976.7 | 141.01 | >1000 | 976.7 | 141.01 | 1000 | |||||||||||||||||||
q2-1-NN-04_19.qdimacs | 3 | 19 | 23 | 15 | 98 | 121 | 124 | 158 | 79679 | 9758 | 1960 | 7198 | 1489.66 | 156.92 | >1000 | 1489.66 | 156.92 | 1000 | |||||||||||||||||||
q2-1-NN-04_20.qdimacs | 3 | 19 | 26 | 15 | 98 | 131 | 124 | 170 | 96086 | 10614 | 1960 | 8009 | 1488.83 | 187.18 | >1000 | 1488.83 | 187.18 | 1000 | |||||||||||||||||||
q2-1-NN-04_21.qdimacs | 3 | 21 | 22 | 15 | 105 | 107 | 137 | 152 | 79890 | 10212 | 2310 | 7287 | 1418.42 | 221.96 | >1000 | 1418.42 | 221.96 | 1000 | |||||||||||||||||||
q2-1-NN-04_22.qdimacs | 3 | 21 | 24 | 15 | 105 | 119 | 137 | 164 | 94972 | 10988 | 2310 | 8033 | 1237.47 | 262.87 | >1000 | 1237.47 | 262.87 | 1000 | |||||||||||||||||||
q2-1-NN-04_23.qdimacs | 3 | 21 | 25 | 15 | 105 | 128 | 137 | 171 | 102541 | 11526 | 2310 | 8556 | >2000 | 284.3 | >1000 | 2000 | 284.3 | 1000 | |||||||||||||||||||
q2-1-NN-04_24.qdimacs | 3 | 21 | 28 | 15 | 105 | 138 | 137 | 183 | 121972 | 12449 | 2310 | 9434 | >2000 | 332.85 | >1000 | 2000 | 332.85 | 1000 | |||||||||||||||||||
q2-1-NN-04_25.qdimacs | 3 | 23 | 24 | 15 | 113 | 115 | 152 | 167 | 103736 | 12130 | 2712 | 8743 | 1655.03 | 311.21 | >1000 | 1655.03 | 311.21 | 1000 | |||||||||||||||||||
q2-1-NN-04_26.qdimacs | 3 | 23 | 26 | 15 | 113 | 127 | 152 | 179 | 121678 | 12974 | 2712 | 9557 | 1661 | 353.97 | >1000 | 1661 | 353.97 | 1000 | |||||||||||||||||||
q2-1-NN-04_27.qdimacs | 3 | 23 | 27 | 15 | 113 | 136 | 152 | 186 | 130631 | 13558 | 2712 | 10126 | >2000 | 381.38 | >1000 | 2000 | 381.38 | 1000 | |||||||||||||||||||
q2-1-NN-04_28.qdimacs | 3 | 23 | 30 | 15 | 113 | 146 | 152 | 198 | 153482 | 14551 | 2712 | 11074 | >2000 | 428.93 | >1000 | 2000 | 428.93 | 1000 | |||||||||||||||||||
05 | q2-1-NN-05_01.qdimacs | 2 | 8 | 9 | 13 | 47 | 49 | 59 | 74 | 7516 | 1833 | 423 | 1202 | 40.43 | 1.03 | >1000 | 40.43 | 1.03 | 1000 | ||||||||||||||||||
q2-1-NN-05_02.qdimacs | 2 | 8 | 11 | 13 | 47 | 61 | 59 | 86 | 10538 | 2167 | 423 | 1510 | 42.48 | 1.4 | >1000 | 42.48 | 1.4 | 1000 | |||||||||||||||||||
q2-1-NN-05_03.qdimacs | 2 | 8 | 12 | 13 | 47 | 70 | 59 | 93 | 12172 | 2409 | 423 | 1739 | >2000 | 1.23 | >1000 | 2000 | 1.23 | 1000 | |||||||||||||||||||
q2-1-NN-05_04.qdimacs | 2 | 8 | 15 | 13 | 47 | 80 | 59 | 105 | 16720 | 2869 | 423 | 2160 | >2000 | 2.16 | >1000 | 2000 | 2.16 | 1000 | |||||||||||||||||||
q2-1-NN-05_05.qdimacs | 2 | 12 | 13 | 13 | 65 | 67 | 76 | 91 | 18734 | 3632 | 845 | 2475 | 339.25 | 7.16 | >1000 | 339.25 | 7.16 | 1000 | |||||||||||||||||||
q2-1-NN-05_06.qdimacs | 2 | 12 | 15 | 13 | 65 | 79 | 76 | 103 | 24400 | 4106 | 845 | 2923 | 338.81 | 8.85 | >1000 | 338.81 | 8.85 | 1000 | |||||||||||||||||||
q2-1-NN-05_07.qdimacs | 2 | 12 | 16 | 13 | 65 | 88 | 76 | 110 | 27356 | 4442 | 845 | 3246 | 1100.63 | 7.48 | >1000 | 1100.63 | 7.48 | 1000 | |||||||||||||||||||
q2-1-NN-05_08.qdimacs | 2 | 12 | 19 | 13 | 65 | 98 | 76 | 122 | 35234 | 5048 | 845 | 3813 | 668.02 | 11.06 | >1000 | 668.02 | 11.06 | 1000 | |||||||||||||||||||
q2-1-NN-05_09.qdimacs | 2 | 13 | 14 | 13 | 75 | 77 | 90 | 105 | 24655 | 4532 | 1050 | 3144 | 496.8 | 13.33 | >1000 | 496.8 | 13.33 | 1000 | |||||||||||||||||||
q2-1-NN-05_10.qdimacs | 2 | 13 | 16 | 13 | 75 | 89 | 90 | 117 | 31373 | 5052 | 1050 | 3638 | 497.22 | 18.16 | >1000 | 497.22 | 18.16 | 1000 | |||||||||||||||||||
q2-1-NN-05_11.qdimacs | 2 | 13 | 17 | 13 | 75 | 98 | 90 | 124 | 34850 | 5417 | 1050 | 3990 | 1472.51 | 14.79 | >1000 | 1472.51 | 14.79 | 1000 | |||||||||||||||||||
q2-1-NN-05_12.qdimacs | 2 | 13 | 20 | 13 | 75 | 108 | 90 | 136 | 44087 | 6076 | 1050 | 4610 | >2000 | 18.97 | >1000 | 2000 | 18.97 | 1000 | |||||||||||||||||||
q2-1-NN-05_13.qdimacs | 2 | 15 | 16 | 13 | 88 | 90 | 107 | 122 | 36625 | 6104 | 1408 | 4306 | 812.94 | 45.8 | >1000 | 812.94 | 45.8 | 1000 | |||||||||||||||||||
q2-1-NN-05_14.qdimacs | 2 | 15 | 18 | 13 | 88 | 102 | 107 | 134 | 45359 | 6702 | 1408 | 4878 | 818.08 | 55.27 | >1000 | 818.08 | 55.27 | 1000 | |||||||||||||||||||
q2-1-NN-05_15.qdimacs | 2 | 15 | 19 | 13 | 88 | 111 | 107 | 141 | 49828 | 7118 | 1408 | 5281 | 1917.68 | 45.3 | >1000 | 1917.68 | 45.3 | 1000 | |||||||||||||||||||
q2-1-NN-05_16.qdimacs | 2 | 15 | 22 | 13 | 88 | 121 | 107 | 153 | 61579 | 7862 | 1408 | 5986 | 1917.89 | 56.86 | >1000 | 1917.89 | 56.86 | 1000 | |||||||||||||||||||
q2-1-NN-05_17.qdimacs | 2 | 19 | 20 | 13 | 98 | 100 | 124 | 139 | 63861 | 8676 | 1960 | 6222 | >2000 | 176.23 | >1000 | 2000 | 176.23 | 1000 | |||||||||||||||||||
q2-1-NN-05_18.qdimacs | 2 | 19 | 22 | 13 | 98 | 112 | 124 | 151 | 76739 | 9398 | 1960 | 6918 | >2000 | 208.26 | >1000 | 2000 | 208.26 | 1000 | |||||||||||||||||||
q2-1-NN-05_19.qdimacs | 2 | 19 | 23 | 13 | 98 | 121 | 124 | 158 | 83224 | 9900 | 1960 | 7407 | >2000 | 164.23 | >1000 | 2000 | 164.23 | 1000 | |||||||||||||||||||
q2-1-NN-05_20.qdimacs | 2 | 19 | 26 | 13 | 98 | 131 | 124 | 170 | 99883 | 10766 | 1960 | 8234 | >2000 | 194.39 | >1000 | 2000 | 194.39 | 1000 | |||||||||||||||||||
q2-1-NN-05_21.qdimacs | 2 | 21 | 22 | 13 | 105 | 107 | 137 | 152 | 83557 | 10342 | 2310 | 7486 | >2000 | 380.76 | >1000 | 2000 | 380.76 | 1000 | |||||||||||||||||||
q2-1-NN-05_22.qdimacs | 2 | 21 | 24 | 13 | 105 | 119 | 137 | 164 | 98999 | 11130 | 2310 | 8248 | >2000 | 439.47 | >1000 | 2000 | 439.47 | 1000 | |||||||||||||||||||
q2-1-NN-05_23.qdimacs | 2 | 21 | 25 | 13 | 105 | 128 | 137 | 171 | 106726 | 11677 | 2310 | 8782 | >2000 | 297.3 | >1000 | 2000 | 297.3 | 1000 | |||||||||||||||||||
q2-1-NN-05_24.qdimacs | 2 | 21 | 28 | 13 | 105 | 138 | 137 | 183 | 126433 | 12610 | 2310 | 9676 | >2000 | 346.17 | >1000 | 2000 | 346.17 | 1000 | |||||||||||||||||||
q2-1-NN-05_25.qdimacs | 2 | 23 | 24 | 13 | 113 | 115 | 152 | 167 | 108097 | 12270 | 2712 | 8960 | >2000 | 593.08 | >1000 | 2000 | 593.08 | 1000 | |||||||||||||||||||
q2-1-NN-05_26.qdimacs | 2 | 23 | 26 | 13 | 113 | 127 | 152 | 179 | 126431 | 13126 | 2712 | 9790 | >2000 | 689.46 | >1000 | 2000 | 689.46 | 1000 | |||||||||||||||||||
q2-1-NN-05_27.qdimacs | 2 | 23 | 27 | 13 | 113 | 136 | 152 | 186 | 135556 | 13719 | 2712 | 10370 | >2000 | 399.54 | >1000 | 2000 | 399.54 | 1000 | |||||||||||||||||||
q2-1-NN-05_28.qdimacs | 2 | 23 | 30 | 13 | 113 | 146 | 152 | 198 | 158707 | 14722 | 2712 | 11334 | >2000 | 446.36 | >1000 | 2000 | 446.36 | 1000 | |||||||||||||||||||
06 | q2-1-NN-06_01.qdimacs | 3 | 8 | 9 | 17 | 47 | 49 | 59 | 74 | 6731 | 1774 | 423 | 1096 | 33.36 | 0.73 | >1000 | 33.36 | 0.73 | 1000 | ||||||||||||||||||
q2-1-NN-06_02.qdimacs | 3 | 8 | 11 | 17 | 47 | 61 | 59 | 86 | 9601 | 2096 | 423 | 1384 | 39.52 | 0.96 | >1000 | 39.52 | 0.96 | 1000 | |||||||||||||||||||
q2-1-NN-06_03.qdimacs | 3 | 8 | 12 | 17 | 47 | 70 | 59 | 93 | 11168 | 2329 | 423 | 1600 | 241.48 | 1.29 | >1000 | 241.48 | 1.29 | 1000 | |||||||||||||||||||
q2-1-NN-06_04.qdimacs | 3 | 8 | 15 | 17 | 47 | 80 | 59 | 105 | 15596 | 2779 | 423 | 1999 | 240.49 | 1.43 | >1000 | 240.49 | 1.43 | 1000 | |||||||||||||||||||
q2-1-NN-06_05.qdimacs | 3 | 12 | 13 | 17 | 65 | 67 | 76 | 91 | 17363 | 3551 | 845 | 2315 | 273.77 | 5.05 | >1000 | 273.77 | 5.05 | 1000 | |||||||||||||||||||
q2-1-NN-06_06.qdimacs | 3 | 12 | 15 | 17 | 65 | 79 | 76 | 103 | 22813 | 4013 | 845 | 2743 | 308.49 | 5.88 | >1000 | 308.49 | 5.88 | 1000 | |||||||||||||||||||
q2-1-NN-06_07.qdimacs | 3 | 12 | 16 | 17 | 65 | 88 | 76 | 110 | 25674 | 4340 | 845 | 3053 | 710.46 | 7.6 | >1000 | 710.46 | 7.6 | 1000 | |||||||||||||||||||
q2-1-NN-06_08.qdimacs | 3 | 12 | 19 | 17 | 65 | 98 | 76 | 122 | 33384 | 4936 | 845 | 3598 | 708.37 | 9.87 | >1000 | 708.37 | 9.87 | 1000 | |||||||||||||||||||
q2-1-NN-06_09.qdimacs | 3 | 13 | 14 | 17 | 75 | 77 | 90 | 105 | 22982 | 4440 | 1050 | 2965 | 373.69 | 9.46 | >1000 | 373.69 | 9.46 | 1000 | |||||||||||||||||||
q2-1-NN-06_10.qdimacs | 3 | 13 | 16 | 17 | 75 | 89 | 90 | 117 | 29468 | 4948 | 1050 | 3439 | 416.74 | 12.8 | >1000 | 416.74 | 12.8 | 1000 | |||||||||||||||||||
q2-1-NN-06_11.qdimacs | 3 | 13 | 17 | 17 | 75 | 98 | 90 | 124 | 32843 | 5304 | 1050 | 3778 | 873.93 | 14.85 | >1000 | 873.93 | 14.85 | 1000 | |||||||||||||||||||
q2-1-NN-06_12.qdimacs | 3 | 13 | 20 | 17 | 75 | 108 | 90 | 136 | 41900 | 5953 | 1050 | 4376 | 882.05 | 19.95 | >1000 | 882.05 | 19.95 | 1000 | |||||||||||||||||||
q2-1-NN-06_13.qdimacs | 3 | 15 | 16 | 17 | 88 | 90 | 107 | 122 | 34440 | 5997 | 1408 | 4096 | 517.25 | 28.6 | >1000 | 517.25 | 28.6 | 1000 | |||||||||||||||||||
q2-1-NN-06_14.qdimacs | 3 | 15 | 18 | 17 | 88 | 102 | 107 | 134 | 42910 | 6583 | 1408 | 4648 | 537.55 | 37.19 | >1000 | 537.55 | 37.19 | 1000 | |||||||||||||||||||
q2-1-NN-06_15.qdimacs | 3 | 15 | 19 | 17 | 88 | 111 | 107 | 141 | 47263 | 6990 | 1408 | 5038 | 893.91 | 42.53 | >1000 | 893.91 | 42.53 | 1000 | |||||||||||||||||||
q2-1-NN-06_16.qdimacs | 3 | 15 | 22 | 17 | 88 | 121 | 107 | 153 | 58810 | 7724 | 1408 | 5721 | 890.78 | 54.37 | >1000 | 890.78 | 54.37 | 1000 | |||||||||||||||||||
q2-1-NN-06_17.qdimacs | 3 | 19 | 20 | 17 | 98 | 100 | 124 | 139 | 60788 | 8555 | 1960 | 5966 | 772.19 | 110.72 | >1000 | 772.19 | 110.72 | 1000 | |||||||||||||||||||
q2-1-NN-06_18.qdimacs | 3 | 19 | 22 | 17 | 98 | 112 | 124 | 151 | 73338 | 9265 | 1960 | 6642 | 1095.85 | 145.81 | >1000 | 1095.85 | 145.81 | 1000 | |||||||||||||||||||
q2-1-NN-06_19.qdimacs | 3 | 19 | 23 | 17 | 98 | 121 | 124 | 158 | 79679 | 9758 | 1960 | 7118 | >2000 | 154.55 | >1000 | 2000 | 154.55 | 1000 | |||||||||||||||||||
q2-1-NN-06_20.qdimacs | 3 | 19 | 26 | 17 | 98 | 131 | 124 | 170 | 96086 | 10614 | 1960 | 7923 | >2000 | 181.5 | >1000 | 2000 | 181.5 | 1000 | |||||||||||||||||||
q2-1-NN-06_21.qdimacs | 3 | 21 | 22 | 17 | 105 | 107 | 137 | 152 | 79890 | 10212 | 2310 | 7205 | 1821.12 | 224.52 | >1000 | 1821.12 | 224.52 | 1000 | |||||||||||||||||||
q2-1-NN-06_22.qdimacs | 3 | 21 | 24 | 17 | 105 | 119 | 137 | 164 | 94972 | 10988 | 2310 | 7947 | 1650.08 | 250.46 | >1000 | 1650.08 | 250.46 | 1000 | |||||||||||||||||||
q2-1-NN-06_23.qdimacs | 3 | 21 | 25 | 17 | 105 | 128 | 137 | 171 | 102541 | 11526 | 2310 | 8468 | >2000 | 275.07 | >1000 | 2000 | 275.07 | 1000 | |||||||||||||||||||
q2-1-NN-06_24.qdimacs | 3 | 21 | 28 | 17 | 105 | 138 | 137 | 183 | 121972 | 12449 | 2310 | 9340 | >2000 | 329.35 | >1000 | 2000 | 329.35 | 1000 | |||||||||||||||||||
q2-1-NN-06_25.qdimacs | 3 | 23 | 24 | 17 | 113 | 115 | 152 | 167 | 103736 | 12130 | 2712 | 8653 | 1885.52 | 315.35 | >1000 | 1885.52 | 315.35 | 1000 | |||||||||||||||||||
q2-1-NN-06_26.qdimacs | 3 | 23 | 26 | 17 | 113 | 127 | 152 | 179 | 121678 | 12974 | 2712 | 9463 | >2000 | 355.54 | >1000 | 2000 | 355.54 | 1000 | |||||||||||||||||||
q2-1-NN-06_27.qdimacs | 3 | 23 | 27 | 17 | 113 | 136 | 152 | 186 | 130631 | 13558 | 2712 | 10030 | >2000 | 376.41 | >1000 | 2000 | 376.41 | 1000 | |||||||||||||||||||
q2-1-NN-06_28.qdimacs | 3 | 23 | 30 | 17 | 113 | 146 | 152 | 198 | 153482 | 14551 | 2712 | 10972 | >2000 | 426.06 | >1000 | 2000 | 426.06 | 1000 | |||||||||||||||||||
07 | q2-1-NN-07_01.qdimacs | 3 | 8 | 9 | 19 | 47 | 49 | 59 | 74 | 6731 | 1774 | 423 | 1066 | 38.89 | 0.72 | >1000 | 38.89 | 0.72 | 1000 | ||||||||||||||||||
q2-1-NN-07_02.qdimacs | 3 | 8 | 11 | 19 | 47 | 61 | 59 | 86 | 9601 | 2096 | 423 | 1350 | 37.18 | 0.94 | >1000 | 37.18 | 0.94 | 1000 | |||||||||||||||||||
q2-1-NN-07_03.qdimacs | 3 | 8 | 12 | 19 | 47 | 70 | 59 | 93 | 11168 | 2329 | 423 | 1564 | 148.87 | 1.27 | >1000 | 148.87 | 1.27 | 1000 | |||||||||||||||||||
q2-1-NN-07_04.qdimacs | 3 | 8 | 15 | 19 | 47 | 80 | 59 | 105 | 15596 | 2779 | 423 | 1957 | 142.59 | 1.5 | >1000 | 142.59 | 1.5 | 1000 | |||||||||||||||||||
q2-1-NN-07_05.qdimacs | 3 | 12 | 13 | 19 | 65 | 67 | 76 | 91 | 17363 | 3551 | 845 | 2269 | 313.07 | 5.23 | >1000 | 313.07 | 5.23 | 1000 | |||||||||||||||||||
q2-1-NN-07_06.qdimacs | 3 | 12 | 15 | 19 | 65 | 79 | 76 | 103 | 22813 | 4013 | 845 | 2693 | 299.84 | 6.08 | >1000 | 299.84 | 6.08 | 1000 | |||||||||||||||||||
q2-1-NN-07_07.qdimacs | 3 | 12 | 16 | 19 | 65 | 88 | 76 | 110 | 25674 | 4340 | 845 | 3001 | 1182.73 | 7.94 | >1000 | 1182.73 | 7.94 | 1000 | |||||||||||||||||||
q2-1-NN-07_08.qdimacs | 3 | 12 | 19 | 19 | 65 | 98 | 76 | 122 | 33384 | 4936 | 845 | 3540 | 1182.75 | 10.41 | >1000 | 1182.75 | 10.41 | 1000 | |||||||||||||||||||
q2-1-NN-07_09.qdimacs | 3 | 13 | 14 | 19 | 75 | 77 | 90 | 105 | 22982 | 4440 | 1050 | 2915 | 425.09 | 9.05 | >1000 | 425.09 | 9.05 | 1000 | |||||||||||||||||||
q2-1-NN-07_10.qdimacs | 3 | 13 | 16 | 19 | 75 | 89 | 90 | 117 | 29468 | 4948 | 1050 | 3385 | 577.87 | 12.2 | >1000 | 577.87 | 12.2 | 1000 | |||||||||||||||||||
q2-1-NN-07_11.qdimacs | 3 | 13 | 17 | 19 | 75 | 98 | 90 | 124 | 32843 | 5304 | 1050 | 3722 | 1339.93 | 13.74 | >1000 | 1339.93 | 13.74 | 1000 | |||||||||||||||||||
q2-1-NN-07_12.qdimacs | 3 | 13 | 20 | 19 | 75 | 108 | 90 | 136 | 41900 | 5953 | 1050 | 4314 | 1339.81 | 19.27 | >1000 | 1339.81 | 19.27 | 1000 | |||||||||||||||||||
q2-1-NN-07_13.qdimacs | 3 | 15 | 16 | 19 | 88 | 90 | 107 | 122 | 34440 | 5997 | 1408 | 4038 | 641.56 | 26.16 | >1000 | 641.56 | 26.16 | 1000 | |||||||||||||||||||
q2-1-NN-07_14.qdimacs | 3 | 15 | 18 | 19 | 88 | 102 | 107 | 134 | 42910 | 6583 | 1408 | 4586 | 546.64 | 34.31 | >1000 | 546.64 | 34.31 | 1000 | |||||||||||||||||||
q2-1-NN-07_15.qdimacs | 3 | 15 | 19 | 19 | 88 | 111 | 107 | 141 | 47263 | 6990 | 1408 | 4974 | 1051.62 | 38.34 | >1000 | 1051.62 | 38.34 | 1000 | |||||||||||||||||||
q2-1-NN-07_16.qdimacs | 3 | 15 | 22 | 19 | 88 | 121 | 107 | 153 | 58810 | 7724 | 1408 | 5651 | 1694.26 | 50.55 | >1000 | 1694.26 | 50.55 | 1000 | |||||||||||||||||||
q2-1-NN-07_17.qdimacs | 3 | 19 | 20 | 19 | 98 | 100 | 124 | 139 | 60788 | 8555 | 1960 | 5892 | 1707.07 | 109.79 | >1000 | 1707.07 | 109.79 | 1000 | |||||||||||||||||||
q2-1-NN-07_18.qdimacs | 3 | 19 | 22 | 19 | 98 | 112 | 124 | 151 | 73338 | 9265 | 1960 | 6564 | 1401.36 | 129.87 | >1000 | 1401.36 | 129.87 | 1000 | |||||||||||||||||||
q2-1-NN-07_19.qdimacs | 3 | 19 | 23 | 19 | 98 | 121 | 124 | 158 | 79679 | 9758 | 1960 | 7038 | >2000 | 145.6 | >1000 | 2000 | 145.6 | 1000 | |||||||||||||||||||
q2-1-NN-07_20.qdimacs | 3 | 19 | 26 | 19 | 98 | 131 | 124 | 170 | 96086 | 10614 | 1960 | 7837 | >2000 | 173.62 | >1000 | 2000 | 173.62 | 1000 | |||||||||||||||||||
q2-1-NN-07_21.qdimacs | 3 | 21 | 22 | 19 | 105 | 107 | 137 | 152 | 79890 | 10212 | 2310 | 7123 | >2000 | 213.07 | >1000 | 2000 | 213.07 | 1000 | |||||||||||||||||||
q2-1-NN-07_22.qdimacs | 3 | 21 | 24 | 19 | 105 | 119 | 137 | 164 | 94972 | 10988 | 2310 | 7861 | >2000 | 250.04 | >1000 | 2000 | 250.04 | 1000 | |||||||||||||||||||
q2-1-NN-07_23.qdimacs | 3 | 21 | 25 | 19 | 105 | 128 | 137 | 171 | 102541 | 11526 | 2310 | 8380 | >2000 | 271.85 | >1000 | 2000 | 271.85 | 1000 | |||||||||||||||||||
q2-1-NN-07_24.qdimacs | 3 | 21 | 28 | 19 | 105 | 138 | 137 | 183 | 121972 | 12449 | 2310 | 9246 | >2000 | 311.46 | >1000 | 2000 | 311.46 | 1000 | |||||||||||||||||||
q2-1-NN-07_25.qdimacs | 3 | 23 | 24 | 19 | 113 | 115 | 152 | 167 | 103736 | 12130 | 2712 | 8563 | >2000 | 301.96 | >1000 | 2000 | 301.96 | 1000 | |||||||||||||||||||
q2-1-NN-07_26.qdimacs | 3 | 23 | 26 | 19 | 113 | 127 | 152 | 179 | 121678 | 12974 | 2712 | 9369 | >2000 | 343.66 | >1000 | 2000 | 343.66 | 1000 | |||||||||||||||||||
q2-1-NN-07_27.qdimacs | 3 | 23 | 27 | 19 | 113 | 136 | 152 | 186 | 130631 | 13558 | 2712 | 9934 | >2000 | 371.47 | >1000 | 2000 | 371.47 | 1000 | |||||||||||||||||||
q2-1-NN-07_28.qdimacs | 3 | 23 | 30 | 19 | 113 | 146 | 152 | 198 | 153482 | 14551 | 2712 | 10870 | >2000 | 416.91 | >1000 | 2000 | 416.91 | 1000 | |||||||||||||||||||
08 | q2-1-NN-08_01.qdimacs | 4 | 8 | 9 | 23 | 47 | 49 | 59 | 74 | 5950 | 1715 | 423 | 970 | 65.79 | 0.88 | >1000 | 65.79 | 0.88 | 1000 | ||||||||||||||||||
q2-1-NN-08_02.qdimacs | 4 | 8 | 11 | 23 | 47 | 61 | 59 | 86 | 8668 | 2025 | 423 | 1234 | 50.01 | 1.04 | >1000 | 50.01 | 1.04 | 1000 | |||||||||||||||||||
q2-1-NN-08_03.qdimacs | 4 | 8 | 12 | 23 | 47 | 70 | 59 | 93 | 10168 | 2249 | 423 | 1435 | 385.91 | 1.28 | >1000 | 385.91 | 1.28 | 1000 | |||||||||||||||||||
q2-1-NN-08_04.qdimacs | 4 | 8 | 15 | 23 | 47 | 80 | 59 | 105 | 14476 | 2689 | 423 | 1806 | 171.96 | 1.63 | >1000 | 171.96 | 1.63 | 1000 | |||||||||||||||||||
q2-1-NN-08_05.qdimacs | 4 | 12 | 13 | 23 | 65 | 67 | 76 | 91 | 15996 | 3470 | 845 | 2119 | 393.53 | 5.37 | >1000 | 393.53 | 5.37 | 1000 | |||||||||||||||||||
q2-1-NN-08_06.qdimacs | 4 | 12 | 15 | 23 | 65 | 79 | 76 | 103 | 21230 | 3920 | 845 | 2523 | 277.04 | 6.53 | >1000 | 277.04 | 6.53 | 1000 | |||||||||||||||||||
q2-1-NN-08_07.qdimacs | 4 | 12 | 16 | 23 | 65 | 88 | 76 | 110 | 23996 | 4238 | 845 | 2818 | 806.33 | 7.02 | >1000 | 806.33 | 7.02 | 1000 | |||||||||||||||||||
q2-1-NN-08_08.qdimacs | 4 | 12 | 19 | 23 | 65 | 98 | 76 | 122 | 31538 | 4824 | 845 | 3335 | 818.64 | 11.21 | >1000 | 818.64 | 11.21 | 1000 | |||||||||||||||||||
q2-1-NN-08_09.qdimacs | 4 | 13 | 14 | 23 | 75 | 77 | 90 | 105 | 21313 | 4348 | 1050 | 2746 | 476.6 | 11.75 | >1000 | 476.6 | 11.75 | 1000 | |||||||||||||||||||
q2-1-NN-08_10.qdimacs | 4 | 13 | 16 | 23 | 75 | 89 | 90 | 117 | 27567 | 4844 | 1050 | 3196 | 497.46 | 15.18 | >1000 | 497.46 | 15.18 | 1000 | |||||||||||||||||||
q2-1-NN-08_11.qdimacs | 4 | 13 | 17 | 23 | 75 | 98 | 90 | 124 | 30840 | 5191 | 1050 | 3520 | >2000 | 13.97 | >1000 | 2000 | 13.97 | 1000 | |||||||||||||||||||
q2-1-NN-08_12.qdimacs | 4 | 13 | 20 | 23 | 75 | 108 | 90 | 136 | 39717 | 5830 | 1050 | 4090 | >2000 | 19.45 | >1000 | 2000 | 19.45 | 1000 | |||||||||||||||||||
q2-1-NN-08_13.qdimacs | 4 | 15 | 16 | 23 | 88 | 90 | 107 | 122 | 32259 | 5890 | 1408 | 3838 | 711.3 | 33.67 | >1000 | 711.3 | 33.67 | 1000 | |||||||||||||||||||
q2-1-NN-08_14.qdimacs | 4 | 15 | 18 | 23 | 88 | 102 | 107 | 134 | 40465 | 6464 | 1408 | 4366 | 577.33 | 47.38 | >1000 | 577.33 | 47.38 | 1000 | |||||||||||||||||||
q2-1-NN-08_15.qdimacs | 4 | 15 | 19 | 23 | 88 | 111 | 107 | 141 | 44702 | 6862 | 1408 | 4741 | >2000 | 43.28 | >1000 | 2000 | 43.28 | 1000 | |||||||||||||||||||
q2-1-NN-08_16.qdimacs | 4 | 15 | 22 | 23 | 88 | 121 | 107 | 153 | 56045 | 7586 | 1408 | 5396 | >2000 | 53.58 | >1000 | 2000 | 53.58 | 1000 | |||||||||||||||||||
q2-1-NN-08_17.qdimacs | 4 | 19 | 20 | 23 | 98 | 100 | 124 | 139 | 57719 | 8434 | 1960 | 5646 | 1336.41 | 156.68 | >1000 | 1336.41 | 156.68 | 1000 | |||||||||||||||||||
q2-1-NN-08_18.qdimacs | 4 | 19 | 22 | 23 | 98 | 112 | 124 | 151 | 69941 | 9132 | 1960 | 6298 | 1148.48 | 191.35 | >1000 | 1148.48 | 191.35 | 1000 | |||||||||||||||||||
q2-1-NN-08_19.qdimacs | 4 | 19 | 23 | 23 | 98 | 121 | 124 | 158 | 76138 | 9616 | 1960 | 6759 | >2000 | 173.02 | >1000 | 2000 | 173.02 | 1000 | |||||||||||||||||||
q2-1-NN-08_20.qdimacs | 4 | 19 | 26 | 23 | 98 | 131 | 124 | 170 | 92293 | 10462 | 1960 | 7536 | >2000 | 193.55 | >1000 | 2000 | 193.55 | 1000 | |||||||||||||||||||
q2-1-NN-08_21.qdimacs | 4 | 21 | 22 | 23 | 105 | 107 | 137 | 152 | 76227 | 10082 | 2310 | 6852 | >2000 | 329.58 | >1000 | 2000 | 329.58 | 1000 | |||||||||||||||||||
q2-1-NN-08_22.qdimacs | 4 | 21 | 24 | 23 | 105 | 119 | 137 | 164 | 90949 | 10846 | 2310 | 7570 | >2000 | 390.72 | >1000 | 2000 | 390.72 | 1000 | |||||||||||||||||||
q2-1-NN-08_23.qdimacs | 4 | 21 | 25 | 23 | 105 | 128 | 137 | 171 | 98360 | 11375 | 2310 | 8076 | >2000 | 310.46 | >1000 | 2000 | 310.46 | 1000 | |||||||||||||||||||
q2-1-NN-08_24.qdimacs | 4 | 21 | 28 | 23 | 105 | 138 | 137 | 183 | 117515 | 12288 | 2310 | 8920 | >2000 | 357.63 | >1000 | 2000 | 357.63 | 1000 | |||||||||||||||||||
q2-1-NN-08_25.qdimacs | 4 | 23 | 24 | 23 | 113 | 115 | 152 | 167 | 99379 | 11990 | 2712 | 8266 | >2000 | 549 | >1000 | 2000 | 549 | 1000 | |||||||||||||||||||
q2-1-NN-08_26.qdimacs | 4 | 23 | 26 | 23 | 113 | 127 | 152 | 179 | 116929 | 12822 | 2712 | 9052 | >2000 | 611.97 | >1000 | 2000 | 611.97 | 1000 | |||||||||||||||||||
q2-1-NN-08_27.qdimacs | 4 | 23 | 27 | 23 | 113 | 136 | 152 | 186 | 125710 | 13397 | 2712 | 9604 | >2000 | 456.35 | >1000 | 2000 | 456.35 | 1000 | |||||||||||||||||||
q2-1-NN-08_28.qdimacs | 4 | 23 | 30 | 23 | 113 | 146 | 152 | 198 | 148261 | 14380 | 2712 | 10518 | >2000 | 490.4 | >1000 | 2000 | 490.4 | 1000 | |||||||||||||||||||
09 | q2-1-NN-09_01.qdimacs | 4 | 9 | 10 | 26 | 49 | 51 | 59 | 74 | 7489 | 1990 | 490 | 1084 | 334.89 | 0.94 | >1000 | 334.89 | 0.94 | 1000 | ||||||||||||||||||
q2-1-NN-09_02.qdimacs | 4 | 9 | 11 | 28 | 51 | 61 | 61 | 86 | 9678 | 2262 | 510 | 1276 | 451.01 | 1 | >1000 | 451.01 | 1 | 1000 | |||||||||||||||||||
q2-1-NN-09_03.qdimacs | 4 | 9 | 12 | 28 | 51 | 70 | 61 | 93 | 11341 | 2496 | 510 | 1482 | >2000 | 1.08 | >1000 | 2000 | 1.08 | 1000 | |||||||||||||||||||
q2-1-NN-09_04.qdimacs | 4 | 9 | 15 | 28 | 51 | 80 | 61 | 105 | 16114 | 2949 | 510 | 1851 | >2000 | 1.81 | >1000 | 2000 | 1.81 | 1000 | |||||||||||||||||||
q2-1-NN-09_05.qdimacs | 4 | 13 | 14 | 26 | 67 | 69 | 76 | 91 | 18709 | 3848 | 938 | 2286 | >2000 | 2.29 | >1000 | 2000 | 2.29 | 1000 | |||||||||||||||||||
q2-1-NN-09_06.qdimacs | 4 | 13 | 15 | 28 | 69 | 79 | 78 | 103 | 22926 | 4238 | 966 | 2572 | >2000 | 2.4 | >1000 | 2000 | 2.4 | 1000 | |||||||||||||||||||
q2-1-NN-09_07.qdimacs | 4 | 13 | 16 | 28 | 69 | 88 | 78 | 110 | 25901 | 4566 | 966 | 2872 | >2000 | 2.47 | >1000 | 2000 | 2.47 | 1000 | |||||||||||||||||||
q2-1-NN-09_08.qdimacs | 4 | 13 | 19 | 28 | 69 | 98 | 78 | 122 | 34010 | 5165 | 966 | 3387 | >2000 | 10.5 | >1000 | 2000 | 10.5 | 1000 | |||||||||||||||||||
q2-1-NN-09_09.qdimacs | 4 | 14 | 15 | 26 | 77 | 79 | 90 | 105 | 24634 | 4778 | 1155 | 2947 | >2000 | 12.16 | >1000 | 2000 | 12.16 | 1000 | |||||||||||||||||||
q2-1-NN-09_10.qdimacs | 4 | 14 | 16 | 28 | 79 | 89 | 92 | 117 | 29603 | 5203 | 1185 | 3262 | >2000 | 12.42 | >1000 | 2000 | 12.42 | 1000 | |||||||||||||||||||
q2-1-NN-09_11.qdimacs | 4 | 14 | 17 | 28 | 79 | 98 | 92 | 124 | 33106 | 5560 | 1185 | 3591 | >2000 | 16.81 | >1000 | 2000 | 16.81 | 1000 | |||||||||||||||||||
q2-1-NN-09_12.qdimacs | 4 | 14 | 20 | 28 | 79 | 108 | 92 | 136 | 42604 | 6212 | 1185 | 4159 | >2000 | 19.18 | >1000 | 2000 | 19.18 | 1000 | |||||||||||||||||||
q2-1-NN-09_13.qdimacs | 4 | 16 | 17 | 26 | 90 | 92 | 107 | 122 | 36603 | 6392 | 1530 | 4082 | >2000 | 34.73 | >1000 | 2000 | 34.73 | 1000 | |||||||||||||||||||
q2-1-NN-09_14.qdimacs | 4 | 16 | 18 | 28 | 92 | 102 | 109 | 134 | 43069 | 6880 | 1564 | 4448 | >2000 | 40.3 | >1000 | 2000 | 40.3 | 1000 | |||||||||||||||||||
q2-1-NN-09_15.qdimacs | 4 | 16 | 19 | 28 | 92 | 111 | 109 | 141 | 47567 | 7288 | 1564 | 4828 | >2000 | 47.67 | >1000 | 2000 | 47.67 | 1000 | |||||||||||||||||||
q2-1-NN-09_16.qdimacs | 4 | 16 | 22 | 28 | 92 | 121 | 109 | 153 | 59606 | 8025 | 1564 | 5481 | >2000 | 60.08 | >1000 | 2000 | 60.08 | 1000 | |||||||||||||||||||
q2-1-NN-09_17.qdimacs | 4 | 20 | 21 | 26 | 100 | 102 | 124 | 139 | 63838 | 9015 | 2100 | 5927 | >2000 | 141.98 | >1000 | 2000 | 141.98 | 1000 | |||||||||||||||||||
q2-1-NN-09_18.qdimacs | 4 | 20 | 22 | 28 | 102 | 112 | 126 | 151 | 73529 | 9613 | 2142 | 6379 | >2000 | 162.87 | >1000 | 2000 | 162.87 | 1000 | |||||||||||||||||||
q2-1-NN-09_19.qdimacs | 4 | 20 | 23 | 28 | 102 | 121 | 126 | 158 | 80032 | 10107 | 2142 | 6845 | >2000 | 177.82 | >1000 | 2000 | 177.82 | 1000 | |||||||||||||||||||
q2-1-NN-09_20.qdimacs | 4 | 20 | 26 | 28 | 102 | 131 | 126 | 170 | 96982 | 10966 | 2142 | 7620 | >2000 | 211.38 | >1000 | 2000 | 211.38 | 1000 | |||||||||||||||||||
q2-1-NN-09_21.qdimacs | 4 | 22 | 23 | 26 | 107 | 109 | 137 | 152 | 83532 | 10713 | 2461 | 7160 | >2000 | 258.88 | >1000 | 2000 | 258.88 | 1000 | |||||||||||||||||||
q2-1-NN-09_22.qdimacs | 4 | 22 | 24 | 28 | 109 | 119 | 139 | 164 | 95182 | 11368 | 2507 | 7657 | >2000 | 301.16 | >1000 | 2000 | 301.16 | 1000 | |||||||||||||||||||
q2-1-NN-09_23.qdimacs | 4 | 22 | 25 | 28 | 109 | 128 | 139 | 171 | 102926 | 11907 | 2507 | 8168 | >2000 | 315.78 | >1000 | 2000 | 315.78 | 1000 | |||||||||||||||||||
q2-1-NN-09_24.qdimacs | 4 | 22 | 28 | 28 | 109 | 138 | 139 | 183 | 122939 | 12833 | 2507 | 9010 | >2000 | 368.49 | >1000 | 2000 | 368.49 | 1000 | |||||||||||||||||||
q2-1-NN-09_25.qdimacs | 4 | 24 | 25 | 26 | 115 | 117 | 152 | 167 | 108069 | 12676 | 2875 | 8605 | >2000 | 388.81 | >1000 | 2000 | 388.81 | 1000 | |||||||||||||||||||
q2-1-NN-09_26.qdimacs | 4 | 24 | 26 | 28 | 117 | 127 | 154 | 179 | 121908 | 13389 | 2925 | 9148 | >2000 | 420.45 | >1000 | 2000 | 420.45 | 1000 | |||||||||||||||||||
q2-1-NN-09_27.qdimacs | 4 | 24 | 27 | 28 | 117 | 136 | 154 | 186 | 131051 | 13974 | 2925 | 9705 | >2000 | 444.5 | >1000 | 2000 | 444.5 | 1000 | |||||||||||||||||||
q2-1-NN-09_28.qdimacs | 4 | 24 | 30 | 28 | 117 | 146 | 154 | 198 | 154529 | 14970 | 2925 | 10617 | >2000 | 494.52 | >1000 | 2000 | 494.52 | 1000 | |||||||||||||||||||
10 | q2-1-NN-10_01.qdimacs | 5 | 9 | 10 | 28 | 49 | 51 | 59 | 74 | 6624 | 1928 | 490 | 1018 | 85.78 | 0.48 | >1000 | 85.78 | 0.48 | 1000 | ||||||||||||||||||
q2-1-NN-10_02.qdimacs | 5 | 9 | 11 | 30 | 51 | 61 | 61 | 86 | 8649 | 2190 | 510 | 1200 | 115.6 | 0.59 | >1000 | 115.6 | 0.59 | 1000 | |||||||||||||||||||
q2-1-NN-10_03.qdimacs | 5 | 9 | 12 | 30 | 51 | 70 | 61 | 93 | 10238 | 2415 | 510 | 1395 | 1271.66 | 0.75 | >1000 | 1271.66 | 0.75 | 1000 | |||||||||||||||||||
q2-1-NN-10_04.qdimacs | 5 | 9 | 15 | 30 | 51 | 80 | 61 | 105 | 14879 | 2858 | 510 | 1748 | 831.82 | 0.9 | >1000 | 831.82 | 0.9 | 1000 | |||||||||||||||||||
q2-1-NN-10_05.qdimacs | 5 | 13 | 14 | 28 | 67 | 69 | 76 | 91 | 17240 | 3764 | 938 | 2182 | 498.49 | 2.42 | >1000 | 498.49 | 2.42 | 1000 | |||||||||||||||||||
q2-1-NN-10_06.qdimacs | 5 | 13 | 15 | 30 | 69 | 79 | 78 | 103 | 21229 | 4144 | 966 | 2458 | 518.31 | 2.79 | >1000 | 518.31 | 2.79 | 1000 | |||||||||||||||||||
q2-1-NN-10_07.qdimacs | 5 | 13 | 16 | 30 | 69 | 88 | 78 | 110 | 24102 | 4463 | 966 | 2747 | >2000 | 3.12 | >1000 | 2000 | 3.12 | 1000 | |||||||||||||||||||
q2-1-NN-10_08.qdimacs | 5 | 13 | 19 | 30 | 69 | 98 | 78 | 122 | 32031 | 5052 | 966 | 3246 | >2000 | 5.62 | >1000 | 2000 | 5.62 | 1000 | |||||||||||||||||||
q2-1-NN-10_09.qdimacs | 5 | 14 | 15 | 28 | 77 | 79 | 90 | 105 | 22849 | 4683 | 1155 | 2828 | 691.65 | 4.25 | >1000 | 691.65 | 4.25 | 1000 | |||||||||||||||||||
q2-1-NN-10_10.qdimacs | 5 | 14 | 16 | 30 | 79 | 89 | 92 | 117 | 27574 | 5098 | 1185 | 3133 | 883.51 | 5.2 | >1000 | 883.51 | 5.2 | 1000 | |||||||||||||||||||
q2-1-NN-10_11.qdimacs | 5 | 14 | 17 | 30 | 79 | 98 | 92 | 124 | 30968 | 5446 | 1185 | 3451 | >2000 | 5.55 | >1000 | 2000 | 5.55 | 1000 | |||||||||||||||||||
q2-1-NN-10_12.qdimacs | 5 | 14 | 20 | 30 | 79 | 108 | 92 | 136 | 40274 | 6088 | 1185 | 4003 | >2000 | 7.58 | >1000 | 2000 | 7.58 | 1000 | |||||||||||||||||||
q2-1-NN-10_13.qdimacs | 5 | 16 | 17 | 28 | 90 | 92 | 107 | 122 | 34289 | 6282 | 1530 | 3940 | 816.16 | 13.11 | >1000 | 816.16 | 13.11 | 1000 | |||||||||||||||||||
q2-1-NN-10_14.qdimacs | 5 | 16 | 18 | 30 | 92 | 102 | 109 | 134 | 40479 | 6760 | 1564 | 4296 | 1197.42 | 15.1 | >1000 | 1197.42 | 15.1 | 1000 | |||||||||||||||||||
q2-1-NN-10_15.qdimacs | 5 | 16 | 19 | 30 | 92 | 111 | 109 | 141 | 44854 | 7159 | 1564 | 4665 | >2000 | 16.92 | >1000 | 2000 | 16.92 | 1000 | |||||||||||||||||||
q2-1-NN-10_16.qdimacs | 5 | 16 | 22 | 30 | 92 | 121 | 109 | 153 | 56677 | 7886 | 1564 | 5302 | >2000 | 19.76 | >1000 | 2000 | 19.76 | 1000 | |||||||||||||||||||
q2-1-NN-10_17.qdimacs | 5 | 20 | 21 | 28 | 100 | 102 | 124 | 139 | 60619 | 8891 | 2100 | 5755 | >2000 | 70.35 | >1000 | 2000 | 70.35 | 1000 | |||||||||||||||||||
q2-1-NN-10_18.qdimacs | 5 | 20 | 22 | 30 | 102 | 112 | 126 | 151 | 69970 | 9479 | 2142 | 6197 | >2000 | 82.09 | >1000 | 2000 | 82.09 | 1000 | |||||||||||||||||||
q2-1-NN-10_19.qdimacs | 5 | 20 | 23 | 30 | 102 | 121 | 126 | 158 | 76322 | 9964 | 2142 | 6652 | >2000 | 88.76 | >1000 | 2000 | 88.76 | 1000 | |||||||||||||||||||
q2-1-NN-10_20.qdimacs | 5 | 20 | 26 | 30 | 102 | 131 | 126 | 170 | 93008 | 10813 | 2142 | 7411 | >2000 | 100.78 | >1000 | 2000 | 100.78 | 1000 | |||||||||||||||||||
q2-1-NN-10_21.qdimacs | 5 | 22 | 23 | 28 | 107 | 109 | 137 | 152 | 79706 | 10580 | 2461 | 6971 | >2000 | 133.01 | >1000 | 2000 | 133.01 | 1000 | |||||||||||||||||||
q2-1-NN-10_22.qdimacs | 5 | 22 | 24 | 30 | 109 | 119 | 139 | 164 | 90984 | 11225 | 2507 | 7458 | >2000 | 148.66 | >1000 | 2000 | 148.66 | 1000 | |||||||||||||||||||
q2-1-NN-10_23.qdimacs | 5 | 22 | 25 | 30 | 109 | 128 | 139 | 171 | 98563 | 11755 | 2507 | 7958 | >2000 | 164.26 | >1000 | 2000 | 164.26 | 1000 | |||||||||||||||||||
q2-1-NN-10_24.qdimacs | 5 | 22 | 28 | 30 | 109 | 138 | 139 | 183 | 118288 | 12671 | 2507 | 8784 | >2000 | 183.15 | >1000 | 2000 | 183.15 | 1000 | |||||||||||||||||||
q2-1-NN-10_25.qdimacs | 5 | 24 | 25 | 28 | 115 | 117 | 152 | 167 | 103534 | 12533 | 2875 | 8398 | >2000 | 153.84 | >1000 | 2000 | 153.84 | 1000 | |||||||||||||||||||
q2-1-NN-10_26.qdimacs | 5 | 24 | 26 | 30 | 117 | 127 | 154 | 179 | 116969 | 13236 | 2925 | 8931 | >2000 | 175.01 | >1000 | 2000 | 175.01 | 1000 | |||||||||||||||||||
q2-1-NN-10_27.qdimacs | 5 | 24 | 27 | 30 | 117 | 136 | 154 | 186 | 125933 | 13812 | 2925 | 9477 | >2000 | 176.55 | >1000 | 2000 | 176.55 | 1000 | |||||||||||||||||||
q2-1-NN-10_28.qdimacs | 5 | 24 | 30 | 30 | 117 | 146 | 154 | 198 | 149099 | 14798 | 2925 | 10373 | >2000 | 198.01 | >1000 | 2000 | 198.01 | 1000 | |||||||||||||||||||
11 | q2-1-NN-11_01.qdimacs | 6 | 9 | 10 | 29 | 49 | 51 | 59 | 74 | 5763 | 1866 | 490 | 970 | 102.02 | 0.62 | >1000 | 102.02 | 0.62 | 1000 | ||||||||||||||||||
q2-1-NN-11_02.qdimacs | 6 | 9 | 11 | 31 | 51 | 61 | 61 | 86 | 7624 | 2118 | 510 | 1143 | 129.33 | 0.62 | >1000 | 129.33 | 0.62 | 1000 | |||||||||||||||||||
q2-1-NN-11_03.qdimacs | 6 | 9 | 12 | 31 | 51 | 70 | 61 | 93 | 9139 | 2334 | 510 | 1328 | >2000 | 0.78 | >1000 | 2000 | 0.78 | 1000 | |||||||||||||||||||
q2-1-NN-11_04.qdimacs | 6 | 9 | 15 | 31 | 51 | 80 | 61 | 105 | 13648 | 2767 | 510 | 1668 | >2000 | 0.9 | >1000 | 2000 | 0.9 | 1000 | |||||||||||||||||||
q2-1-NN-11_05.qdimacs | 6 | 13 | 14 | 29 | 67 | 69 | 76 | 91 | 15775 | 3680 | 938 | 2104 | 358.92 | 5.56 | >1000 | 358.92 | 5.56 | 1000 | |||||||||||||||||||
q2-1-NN-11_06.qdimacs | 6 | 13 | 15 | 31 | 69 | 79 | 78 | 103 | 19536 | 4050 | 966 | 2371 | 725.19 | 6.37 | >1000 | 725.19 | 6.37 | 1000 | |||||||||||||||||||
q2-1-NN-11_07.qdimacs | 6 | 13 | 16 | 31 | 69 | 88 | 78 | 110 | 22307 | 4360 | 966 | 2650 | >2000 | 7.17 | >1000 | 2000 | 7.17 | 1000 | |||||||||||||||||||
q2-1-NN-11_08.qdimacs | 6 | 13 | 19 | 31 | 69 | 98 | 78 | 122 | 30056 | 4939 | 966 | 3136 | >2000 | 10.79 | >1000 | 2000 | 10.79 | 1000 | |||||||||||||||||||
q2-1-NN-11_09.qdimacs | 6 | 14 | 15 | 29 | 77 | 79 | 90 | 105 | 21068 | 4588 | 1155 | 2737 | 726.85 | 11.46 | >1000 | 726.85 | 11.46 | 1000 | |||||||||||||||||||
q2-1-NN-11_10.qdimacs | 6 | 14 | 16 | 31 | 79 | 89 | 92 | 117 | 25549 | 4993 | 1185 | 3033 | 1112.48 | 11.83 | >1000 | 1112.48 | 11.83 | 1000 | |||||||||||||||||||
q2-1-NN-11_11.qdimacs | 6 | 14 | 17 | 31 | 79 | 98 | 92 | 124 | 28834 | 5332 | 1185 | 3341 | >2000 | 14.38 | >1000 | 2000 | 14.38 | 1000 | |||||||||||||||||||
q2-1-NN-11_12.qdimacs | 6 | 14 | 20 | 31 | 79 | 108 | 92 | 136 | 37948 | 5964 | 1185 | 3880 | >2000 | 20.1 | >1000 | 2000 | 20.1 | 1000 | |||||||||||||||||||
q2-1-NN-11_13.qdimacs | 6 | 16 | 17 | 29 | 90 | 92 | 107 | 122 | 31979 | 6172 | 1530 | 3830 | 960.37 | 32.78 | >1000 | 960.37 | 32.78 | 1000 | |||||||||||||||||||
q2-1-NN-11_14.qdimacs | 6 | 16 | 18 | 31 | 92 | 102 | 109 | 134 | 37893 | 6640 | 1564 | 4177 | 1245.14 | 35.45 | >1000 | 1245.14 | 35.45 | 1000 | |||||||||||||||||||
q2-1-NN-11_15.qdimacs | 6 | 16 | 19 | 31 | 92 | 111 | 109 | 141 | 42145 | 7030 | 1564 | 4536 | >2000 | 43.04 | >1000 | 2000 | 43.04 | 1000 | |||||||||||||||||||
q2-1-NN-11_16.qdimacs | 6 | 16 | 22 | 31 | 92 | 121 | 109 | 153 | 53752 | 7747 | 1564 | 5160 | >2000 | 62.32 | >1000 | 2000 | 62.32 | 1000 | |||||||||||||||||||
q2-1-NN-11_17.qdimacs | 6 | 20 | 21 | 29 | 100 | 102 | 124 | 139 | 57404 | 8767 | 2100 | 5623 | >2000 | 136.06 | >1000 | 2000 | 136.06 | 1000 | |||||||||||||||||||
q2-1-NN-11_18.qdimacs | 6 | 20 | 22 | 31 | 102 | 112 | 126 | 151 | 66415 | 9345 | 2142 | 6056 | >2000 | 157.58 | >1000 | 2000 | 157.58 | 1000 | |||||||||||||||||||
q2-1-NN-11_19.qdimacs | 6 | 20 | 23 | 31 | 102 | 121 | 126 | 158 | 72616 | 9821 | 2142 | 6501 | >2000 | 168.46 | >1000 | 2000 | 168.46 | 1000 | |||||||||||||||||||
q2-1-NN-11_20.qdimacs | 6 | 20 | 26 | 31 | 102 | 131 | 126 | 170 | 89038 | 10660 | 2142 | 7247 | >2000 | 197.01 | >1000 | 2000 | 197.01 | 1000 | |||||||||||||||||||
q2-1-NN-11_21.qdimacs | 6 | 22 | 23 | 29 | 107 | 109 | 137 | 152 | 75884 | 10447 | 2461 | 6826 | >2000 | 256.2 | >1000 | 2000 | 256.2 | 1000 | |||||||||||||||||||
q2-1-NN-11_22.qdimacs | 6 | 22 | 24 | 31 | 109 | 119 | 139 | 164 | 86790 | 11082 | 2507 | 7304 | >2000 | 286.91 | >1000 | 2000 | 286.91 | 1000 | |||||||||||||||||||
q2-1-NN-11_23.qdimacs | 6 | 22 | 25 | 31 | 109 | 128 | 139 | 171 | 94204 | 11603 | 2507 | 7794 | >2000 | 317.13 | >1000 | 2000 | 317.13 | 1000 | |||||||||||||||||||
q2-1-NN-11_24.qdimacs | 6 | 22 | 28 | 31 | 109 | 138 | 139 | 183 | 113641 | 12509 | 2507 | 8607 | >2000 | 358.92 | >1000 | 2000 | 358.92 | 1000 | |||||||||||||||||||
q2-1-NN-11_25.qdimacs | 6 | 24 | 25 | 29 | 115 | 117 | 152 | 167 | 99003 | 12390 | 2875 | 8239 | >2000 | 389.27 | >1000 | 2000 | 389.27 | 1000 | |||||||||||||||||||
q2-1-NN-11_26.qdimacs | 6 | 24 | 26 | 31 | 117 | 127 | 154 | 179 | 112034 | 13083 | 2925 | 8763 | >2000 | 429.71 | >1000 | 2000 | 429.71 | 1000 | |||||||||||||||||||
q2-1-NN-11_27.qdimacs | 6 | 24 | 27 | 31 | 117 | 136 | 154 | 186 | 120819 | 13650 | 2925 | 9299 | >2000 | 468.14 | >1000 | 2000 | 468.14 | 1000 | |||||||||||||||||||
q2-1-NN-11_28.qdimacs | 6 | 24 | 30 | 31 | 117 | 146 | 154 | 198 | 143673 | 14626 | 2925 | 10182 | >2000 | 498.62 | >1000 | 2000 | 498.62 | 1000 | |||||||||||||||||||
12 | q2-1-NN-12_01.qdimacs | 5 | 9 | 10 | 32 | 49 | 51 | 59 | 74 | 6624 | 1928 | 490 | 958 | 231.66 | 0.93 | >1000 | 231.66 | 0.93 | 1000 | ||||||||||||||||||
q2-1-NN-12_02.qdimacs | 5 | 9 | 11 | 34 | 51 | 61 | 61 | 86 | 8649 | 2190 | 510 | 1136 | 316.68 | 1.27 | >1000 | 316.68 | 1.27 | 1000 | |||||||||||||||||||
q2-1-NN-12_03.qdimacs | 5 | 9 | 12 | 34 | 51 | 70 | 61 | 93 | 10238 | 2415 | 510 | 1327 | >2000 | 1.4 | >1000 | 2000 | 1.4 | 1000 | |||||||||||||||||||
q2-1-NN-12_04.qdimacs | 5 | 9 | 15 | 34 | 51 | 80 | 61 | 105 | 14879 | 2858 | 510 | 1668 | >2000 | 1.94 | >1000 | 2000 | 1.94 | 1000 | |||||||||||||||||||
q2-1-NN-12_05.qdimacs | 5 | 13 | 14 | 32 | 67 | 69 | 76 | 91 | 17240 | 3764 | 938 | 2090 | 849.42 | 4.61 | >1000 | 849.42 | 4.61 | 1000 | |||||||||||||||||||
q2-1-NN-12_06.qdimacs | 5 | 13 | 15 | 34 | 69 | 79 | 78 | 103 | 21229 | 4144 | 966 | 2362 | 1264.91 | 6.51 | >1000 | 1264.91 | 6.51 | 1000 | |||||||||||||||||||
q2-1-NN-12_07.qdimacs | 5 | 13 | 16 | 34 | 69 | 88 | 78 | 110 | 24102 | 4463 | 966 | 2647 | >2000 | 6.84 | >1000 | 2000 | 6.84 | 1000 | |||||||||||||||||||
q2-1-NN-12_08.qdimacs | 5 | 13 | 19 | 34 | 69 | 98 | 78 | 122 | 32031 | 5052 | 966 | 3134 | >2000 | 9.46 | >1000 | 2000 | 9.46 | 1000 | |||||||||||||||||||
q2-1-NN-12_09.qdimacs | 5 | 14 | 15 | 32 | 77 | 79 | 90 | 105 | 22849 | 4683 | 1155 | 2728 | 1076.91 | 9.86 | >1000 | 1076.91 | 9.86 | 1000 | |||||||||||||||||||
q2-1-NN-12_10.qdimacs | 5 | 14 | 16 | 34 | 79 | 89 | 92 | 117 | 27574 | 5098 | 1185 | 3029 | >2000 | 10.64 | >1000 | 2000 | 10.64 | 1000 | |||||||||||||||||||
q2-1-NN-12_11.qdimacs | 5 | 14 | 17 | 34 | 79 | 98 | 92 | 124 | 30968 | 5446 | 1185 | 3343 | >2000 | 15.8 | >1000 | 2000 | 15.8 | 1000 | |||||||||||||||||||
q2-1-NN-12_12.qdimacs | 5 | 14 | 20 | 34 | 79 | 108 | 92 | 136 | 40274 | 6088 | 1185 | 3883 | >2000 | 19.48 | >1000 | 2000 | 19.48 | 1000 | |||||||||||||||||||
q2-1-NN-12_13.qdimacs | 5 | 16 | 17 | 32 | 90 | 92 | 107 | 122 | 34289 | 6282 | 1530 | 3824 | >2000 | 31.54 | >1000 | 2000 | 31.54 | 1000 | |||||||||||||||||||
q2-1-NN-12_14.qdimacs | 5 | 16 | 18 | 34 | 92 | 102 | 109 | 134 | 40479 | 6760 | 1564 | 4176 | >2000 | 41.44 | >1000 | 2000 | 41.44 | 1000 | |||||||||||||||||||
q2-1-NN-12_15.qdimacs | 5 | 16 | 19 | 34 | 92 | 111 | 109 | 141 | 44854 | 7159 | 1564 | 4541 | >2000 | 47.5 | >1000 | 2000 | 47.5 | 1000 | |||||||||||||||||||
q2-1-NN-12_16.qdimacs | 5 | 16 | 22 | 34 | 92 | 121 | 109 | 153 | 56677 | 7886 | 1564 | 5166 | >2000 | 58.5 | >1000 | 2000 | 58.5 | 1000 | |||||||||||||||||||
q2-1-NN-12_17.qdimacs | 5 | 20 | 21 | 32 | 100 | 102 | 124 | 139 | 60619 | 8891 | 2100 | 5607 | >2000 | 142.09 | >1000 | 2000 | 142.09 | 1000 | |||||||||||||||||||
q2-1-NN-12_18.qdimacs | 5 | 20 | 22 | 34 | 102 | 112 | 126 | 151 | 69970 | 9479 | 2142 | 6045 | >2000 | 159.81 | >1000 | 2000 | 159.81 | 1000 | |||||||||||||||||||
q2-1-NN-12_19.qdimacs | 5 | 20 | 23 | 34 | 102 | 121 | 126 | 158 | 76322 | 9964 | 2142 | 6496 | >2000 | 177.87 | >1000 | 2000 | 177.87 | 1000 | |||||||||||||||||||
q2-1-NN-12_20.qdimacs | 5 | 20 | 26 | 34 | 102 | 131 | 126 | 170 | 93008 | 10813 | 2142 | 7243 | >2000 | 210.62 | >1000 | 2000 | 210.62 | 1000 | |||||||||||||||||||
q2-1-NN-12_21.qdimacs | 5 | 22 | 23 | 32 | 107 | 109 | 137 | 152 | 79706 | 10580 | 2461 | 6807 | >2000 | 261.82 | >1000 | 2000 | 261.82 | 1000 | |||||||||||||||||||
q2-1-NN-12_22.qdimacs | 5 | 22 | 24 | 34 | 109 | 119 | 139 | 164 | 90984 | 11225 | 2507 | 7290 | >2000 | 287.58 | >1000 | 2000 | 287.58 | 1000 | |||||||||||||||||||
q2-1-NN-12_23.qdimacs | 5 | 22 | 25 | 34 | 109 | 128 | 139 | 171 | 98563 | 11755 | 2507 | 7786 | >2000 | 302.07 | >1000 | 2000 | 302.07 | 1000 | |||||||||||||||||||
q2-1-NN-12_24.qdimacs | 5 | 22 | 28 | 34 | 109 | 138 | 139 | 183 | 118288 | 12671 | 2507 | 8600 | >2000 | 354.6 | >1000 | 2000 | 354.6 | 1000 | |||||||||||||||||||
q2-1-NN-12_25.qdimacs | 5 | 24 | 25 | 32 | 115 | 117 | 152 | 167 | 103534 | 12533 | 2875 | 8218 | >2000 | 397.98 | >1000 | 2000 | 397.98 | 1000 | |||||||||||||||||||
q2-1-NN-12_26.qdimacs | 5 | 24 | 26 | 34 | 117 | 127 | 154 | 179 | 116969 | 13236 | 2925 | 8747 | >2000 | 436.19 | >1000 | 2000 | 436.19 | 1000 | |||||||||||||||||||
q2-1-NN-12_27.qdimacs | 5 | 24 | 27 | 34 | 117 | 136 | 154 | 186 | 125933 | 13812 | 2925 | 9289 | >2000 | 459.22 | >1000 | 2000 | 459.22 | 1000 | |||||||||||||||||||
q2-1-NN-12_28.qdimacs | 5 | 24 | 30 | 34 | 117 | 146 | 154 | 198 | 149099 | 14798 | 2925 | 10173 | >2000 | 514.9 | >1000 | 2000 | 514.9 | 1000 | |||||||||||||||||||
13 | q2-1-NN-13_01.qdimacs | 6 | 10 | 11 | 34 | 53 | 55 | 59 | 74 | 7302 | 2203 | 583 | 1076 | 489.73 | 0.58 | >1000 | 489.73 | 0.58 | 1000 | ||||||||||||||||||
q2-1-NN-13_02.qdimacs | 6 | 10 | 12 | 36 | 55 | 65 | 61 | 86 | 9527 | 2484 | 605 | 1267 | 1258.43 | 0.67 | >1000 | 1258.43 | 0.67 | 1000 | |||||||||||||||||||
q2-1-NN-13_03.qdimacs | 6 | 10 | 12 | 36 | 55 | 70 | 61 | 93 | 10066 | 2569 | 605 | 1352 | >2000 | 0.7 | >1000 | 2000 | 0.7 | 1000 | |||||||||||||||||||
q2-1-NN-13_04.qdimacs | 6 | 10 | 15 | 36 | 55 | 80 | 61 | 105 | 15016 | 3015 | 605 | 1690 | >2000 | 1.14 | >1000 | 2000 | 1.14 | 1000 | |||||||||||||||||||
q2-1-NN-13_05.qdimacs | 6 | 14 | 15 | 34 | 71 | 73 | 76 | 91 | 18488 | 4144 | 1065 | 2263 | >2000 | 3.95 | >1000 | 2000 | 3.95 | 1000 | |||||||||||||||||||
q2-1-NN-13_06.qdimacs | 6 | 14 | 16 | 36 | 73 | 83 | 78 | 103 | 22759 | 4543 | 1095 | 2548 | 1744.79 | 5.11 | >1000 | 1744.79 | 5.11 | 1000 | |||||||||||||||||||
q2-1-NN-13_07.qdimacs | 6 | 14 | 16 | 36 | 73 | 88 | 78 | 110 | 23914 | 4668 | 1095 | 2673 | >2000 | 5.81 | >1000 | 2000 | 5.81 | 1000 | |||||||||||||||||||
q2-1-NN-13_08.qdimacs | 6 | 14 | 19 | 36 | 73 | 98 | 78 | 122 | 32206 | 5260 | 1095 | 3157 | >2000 | 8.25 | >1000 | 2000 | 8.25 | 1000 | |||||||||||||||||||
q2-1-NN-13_09.qdimacs | 6 | 15 | 16 | 34 | 81 | 83 | 90 | 105 | 24389 | 5110 | 1296 | 2930 | >2000 | 8.47 | >1000 | 2000 | 8.47 | 1000 | |||||||||||||||||||
q2-1-NN-13_10.qdimacs | 6 | 15 | 17 | 36 | 83 | 93 | 92 | 117 | 29426 | 5544 | 1328 | 3244 | >2000 | 8.89 | >1000 | 2000 | 8.89 | 1000 | |||||||||||||||||||
q2-1-NN-13_11.qdimacs | 6 | 15 | 17 | 36 | 83 | 98 | 92 | 124 | 30770 | 5679 | 1328 | 3379 | >2000 | 10.94 | >1000 | 2000 | 10.94 | 1000 | |||||||||||||||||||
q2-1-NN-13_12.qdimacs | 6 | 15 | 20 | 36 | 83 | 108 | 92 | 136 | 40481 | 6324 | 1328 | 3916 | >2000 | 15.32 | >1000 | 2000 | 15.32 | 1000 | |||||||||||||||||||
q2-1-NN-13_13.qdimacs | 6 | 17 | 18 | 34 | 94 | 96 | 107 | 122 | 36323 | 6778 | 1692 | 4066 | >2000 | 46.05 | >1000 | 2000 | 46.05 | 1000 | |||||||||||||||||||
q2-1-NN-13_14.qdimacs | 6 | 17 | 19 | 36 | 96 | 106 | 109 | 134 | 42874 | 7275 | 1728 | 4431 | >2000 | 61.76 | >1000 | 2000 | 61.76 | 1000 | |||||||||||||||||||
q2-1-NN-13_15.qdimacs | 6 | 17 | 19 | 36 | 96 | 111 | 109 | 141 | 44638 | 7430 | 1728 | 4586 | >2000 | 61.11 | >1000 | 2000 | 61.11 | 1000 | |||||||||||||||||||
q2-1-NN-13_16.qdimacs | 6 | 17 | 22 | 36 | 96 | 121 | 109 | 153 | 56917 | 8160 | 1728 | 5208 | >2000 | 75.83 | >1000 | 2000 | 75.83 | 1000 | |||||||||||||||||||
q2-1-NN-13_17.qdimacs | 6 | 21 | 22 | 34 | 104 | 106 | 124 | 139 | 63523 | 9476 | 2288 | 5896 | >2000 | 206.61 | >1000 | 2000 | 206.61 | 1000 | |||||||||||||||||||
q2-1-NN-13_18.qdimacs | 6 | 21 | 23 | 36 | 106 | 116 | 126 | 151 | 73316 | 10083 | 2332 | 6347 | >2000 | 238.94 | >1000 | 2000 | 238.94 | 1000 | |||||||||||||||||||
q2-1-NN-13_19.qdimacs | 6 | 21 | 23 | 36 | 106 | 121 | 126 | 158 | 76088 | 10278 | 2332 | 6542 | >2000 | 242.12 | >1000 | 2000 | 242.12 | 1000 | |||||||||||||||||||
q2-1-NN-13_20.qdimacs | 6 | 21 | 26 | 36 | 106 | 131 | 126 | 170 | 93281 | 11130 | 2332 | 7286 | >2000 | 272.37 | >1000 | 2000 | 272.37 | 1000 | |||||||||||||||||||
q2-1-NN-13_21.qdimacs | 6 | 23 | 24 | 34 | 111 | 113 | 137 | 152 | 83189 | 11218 | 2664 | 7126 | >2000 | 371.91 | >1000 | 2000 | 371.91 | 1000 | |||||||||||||||||||
q2-1-NN-13_22.qdimacs | 6 | 23 | 25 | 36 | 113 | 123 | 139 | 164 | 94954 | 11882 | 2712 | 7622 | >2000 | 432.4 | >1000 | 2000 | 432.4 | 1000 | |||||||||||||||||||
q2-1-NN-13_23.qdimacs | 6 | 23 | 25 | 36 | 113 | 128 | 139 | 171 | 98314 | 12097 | 2712 | 7837 | >2000 | 441.04 | >1000 | 2000 | 441.04 | 1000 | |||||||||||||||||||
q2-1-NN-13_24.qdimacs | 6 | 23 | 28 | 36 | 113 | 138 | 139 | 183 | 118585 | 13016 | 2712 | 8648 | >2000 | 486.5 | >1000 | 2000 | 486.5 | 1000 | |||||||||||||||||||
q2-1-NN-13_25.qdimacs | 6 | 25 | 26 | 34 | 119 | 121 | 152 | 167 | 107693 | 13228 | 3094 | 8570 | >2000 | 541.52 | >1000 | 2000 | 541.52 | 1000 | |||||||||||||||||||
q2-1-NN-13_26.qdimacs | 6 | 25 | 27 | 36 | 121 | 131 | 154 | 179 | 121662 | 13950 | 3146 | 9112 | >2000 | 597.96 | >1000 | 2000 | 597.96 | 1000 | |||||||||||||||||||
q2-1-NN-13_27.qdimacs | 6 | 25 | 27 | 36 | 121 | 136 | 154 | 186 | 125666 | 14185 | 3146 | 9347 | >2000 | 606.75 | >1000 | 2000 | 606.75 | 1000 | |||||||||||||||||||
q2-1-NN-13_28.qdimacs | 6 | 25 | 30 | 36 | 121 | 146 | 154 | 198 | 149423 | 15174 | 3146 | 10228 | >2000 | 690.73 | >1000 | 2000 | 690.73 | 1000 | |||||||||||||||||||
14 | q2-1-NN-14_01.qdimacs | 7 | 10 | 11 | 38 | 53 | 55 | 59 | 74 | 6357 | 2136 | 583 | 983 | 472 | 0.58 | >1000 | 472 | 0.58 | 1000 | ||||||||||||||||||
q2-1-NN-14_02.qdimacs | 7 | 10 | 12 | 40 | 55 | 65 | 61 | 86 | 8402 | 2407 | 605 | 1162 | >2000 | 0.79 | >1000 | 2000 | 0.79 | 1000 | |||||||||||||||||||
q2-1-NN-14_03.qdimacs | 7 | 10 | 12 | 40 | 55 | 70 | 61 | 93 | 8864 | 2487 | 605 | 1242 | >2000 | 0.7 | >1000 | 2000 | 0.7 | 1000 | |||||||||||||||||||
q2-1-NN-14_04.qdimacs | 7 | 10 | 15 | 40 | 55 | 80 | 61 | 105 | 13670 | 2923 | 605 | 1558 | >2000 | 0.97 | >1000 | 2000 | 0.97 | 1000 | |||||||||||||||||||
q2-1-NN-14_05.qdimacs | 7 | 14 | 15 | 38 | 71 | 73 | 76 | 91 | 16921 | 4055 | 1065 | 2116 | >2000 | 5.38 | >1000 | 2000 | 5.38 | 1000 | |||||||||||||||||||
q2-1-NN-14_06.qdimacs | 7 | 14 | 16 | 40 | 73 | 83 | 78 | 103 | 20948 | 4444 | 1095 | 2389 | >2000 | 7.06 | >1000 | 2000 | 7.06 | 1000 | |||||||||||||||||||
q2-1-NN-14_07.qdimacs | 7 | 14 | 16 | 40 | 73 | 88 | 78 | 110 | 21998 | 4564 | 1095 | 2509 | >2000 | 7.54 | >1000 | 2000 | 7.54 | 1000 | |||||||||||||||||||
q2-1-NN-14_08.qdimacs | 7 | 14 | 19 | 40 | 73 | 98 | 78 | 122 | 30098 | 5146 | 1095 | 2971 | >2000 | 10.45 | >1000 | 2000 | 10.45 | 1000 | |||||||||||||||||||
q2-1-NN-14_09.qdimacs | 7 | 15 | 16 | 38 | 81 | 83 | 90 | 105 | 22492 | 5010 | 1296 | 2764 | >2000 | 13.9 | >1000 | 2000 | 13.9 | 1000 | |||||||||||||||||||
q2-1-NN-14_10.qdimacs | 7 | 15 | 17 | 40 | 83 | 93 | 92 | 117 | 27269 | 5434 | 1328 | 3066 | >2000 | 14.93 | >1000 | 2000 | 14.93 | 1000 | |||||||||||||||||||
q2-1-NN-14_11.qdimacs | 7 | 15 | 17 | 40 | 83 | 98 | 92 | 124 | 28501 | 5564 | 1328 | 3196 | >2000 | 16.49 | >1000 | 2000 | 16.49 | 1000 | |||||||||||||||||||
q2-1-NN-14_12.qdimacs | 7 | 15 | 20 | 40 | 83 | 108 | 92 | 136 | 38008 | 6199 | 1328 | 3711 | >2000 | 20.7 | >1000 | 2000 | 20.7 | 1000 | |||||||||||||||||||
q2-1-NN-14_13.qdimacs | 7 | 17 | 18 | 38 | 94 | 96 | 107 | 122 | 33880 | 6663 | 1692 | 3869 | >2000 | 37.61 | >1000 | 2000 | 37.61 | 1000 | |||||||||||||||||||
q2-1-NN-14_14.qdimacs | 7 | 17 | 19 | 40 | 96 | 106 | 109 | 134 | 40139 | 7150 | 1728 | 4222 | >2000 | 48.31 | >1000 | 2000 | 48.31 | 1000 | |||||||||||||||||||
q2-1-NN-14_15.qdimacs | 7 | 17 | 19 | 40 | 96 | 111 | 109 | 141 | 41777 | 7300 | 1728 | 4372 | >2000 | 47.67 | >1000 | 2000 | 47.67 | 1000 | |||||||||||||||||||
q2-1-NN-14_16.qdimacs | 7 | 17 | 22 | 40 | 96 | 121 | 109 | 153 | 53828 | 8020 | 1728 | 4972 | >2000 | 58.4 | >1000 | 2000 | 58.4 | 1000 | |||||||||||||||||||
q2-1-NN-14_17.qdimacs | 7 | 21 | 22 | 38 | 104 | 106 | 124 | 139 | 60158 | 9347 | 2288 | 5653 | >2000 | 153.23 | >1000 | 2000 | 153.23 | 1000 | |||||||||||||||||||
q2-1-NN-14_18.qdimacs | 7 | 21 | 23 | 40 | 106 | 116 | 126 | 151 | 69595 | 9944 | 2332 | 6092 | >2000 | 175.47 | >1000 | 2000 | 175.47 | 1000 | |||||||||||||||||||
q2-1-NN-14_19.qdimacs | 7 | 21 | 23 | 40 | 106 | 121 | 126 | 158 | 72213 | 10134 | 2332 | 6282 | >2000 | 181.81 | >1000 | 2000 | 181.81 | 1000 | |||||||||||||||||||
q2-1-NN-14_20.qdimacs | 7 | 21 | 26 | 40 | 106 | 131 | 126 | 170 | 89130 | 10976 | 2332 | 7004 | >2000 | 210.4 | >1000 | 2000 | 210.4 | 1000 | |||||||||||||||||||
q2-1-NN-14_21.qdimacs | 7 | 23 | 24 | 38 | 111 | 113 | 137 | 152 | 79204 | 11080 | 2664 | 6858 | >2000 | 290.15 | >1000 | 2000 | 290.15 | 1000 | |||||||||||||||||||
q2-1-NN-14_22.qdimacs | 7 | 23 | 25 | 40 | 113 | 123 | 139 | 164 | 90581 | 11734 | 2712 | 7342 | >2000 | 323.31 | >1000 | 2000 | 323.31 | 1000 | |||||||||||||||||||
q2-1-NN-14_23.qdimacs | 7 | 23 | 25 | 40 | 113 | 128 | 139 | 171 | 93773 | 11944 | 2712 | 7552 | >2000 | 331.7 | >1000 | 2000 | 331.7 | 1000 | |||||||||||||||||||
q2-1-NN-14_24.qdimacs | 7 | 23 | 28 | 40 | 113 | 138 | 139 | 183 | 113744 | 12853 | 2712 | 8341 | >2000 | 374.86 | >1000 | 2000 | 374.86 | 1000 | |||||||||||||||||||
q2-1-NN-14_25.qdimacs | 7 | 25 | 26 | 38 | 119 | 121 | 152 | 167 | 102984 | 13080 | 3094 | 8276 | >2000 | 426.11 | >1000 | 2000 | 426.11 | 1000 | |||||||||||||||||||
q2-1-NN-14_26.qdimacs | 7 | 25 | 27 | 40 | 121 | 131 | 154 | 179 | 116533 | 13792 | 3146 | 8806 | >2000 | 476.77 | >1000 | 2000 | 476.77 | 1000 | |||||||||||||||||||
q2-1-NN-14_27.qdimacs | 7 | 25 | 27 | 40 | 121 | 136 | 154 | 186 | 120355 | 14022 | 3146 | 9036 | >2000 | 481.02 | >1000 | 2000 | 481.02 | 1000 | |||||||||||||||||||
q2-1-NN-14_28.qdimacs | 7 | 25 | 30 | 40 | 121 | 146 | 154 | 198 | 143788 | 15001 | 3146 | 9895 | >2000 | 518.09 | >1000 | 2000 | 518.09 | 1000 | |||||||||||||||||||
15 | q2-1-NN-15_01.qdimacs | 10 | 13 | 14 | 48 | 63 | 65 | 59 | 74 | 8163 | 2978 | 882 | 1232 | 1721.6 | 1.11 | >1000 | 1721.6 | 1.11 | 1000 | ||||||||||||||||||
q2-1-NN-15_02.qdimacs | 10 | 13 | 15 | 50 | 65 | 75 | 61 | 86 | 10760 | 3304 | 910 | 1444 | >2000 | 1 | >1000 | 2000 | 1 | 1000 | |||||||||||||||||||
q2-1-NN-15_03.qdimacs | 10 | 13 | 15 | 50 | 65 | 80 | 61 | 93 | 11348 | 3399 | 910 | 1539 | >2000 | 1.21 | >1000 | 2000 | 1.21 | 1000 | |||||||||||||||||||
q2-1-NN-15_04.qdimacs | 10 | 13 | 18 | 50 | 65 | 90 | 61 | 105 | 17441 | 3904 | 910 | 1894 | >2000 | 1.5 | >1000 | 2000 | 1.5 | 1000 | |||||||||||||||||||
q2-1-NN-15_05.qdimacs | 10 | 17 | 18 | 48 | 81 | 83 | 76 | 91 | 20383 | 5188 | 1458 | 2482 | >2000 | 13.65 | >1000 | 2000 | 13.65 | 1000 | |||||||||||||||||||
q2-1-NN-15_06.qdimacs | 10 | 17 | 19 | 50 | 83 | 93 | 78 | 103 | 25208 | 5632 | 1494 | 2788 | >2000 | 13.81 | >1000 | 2000 | 13.81 | 1000 | |||||||||||||||||||
q2-1-NN-15_07.qdimacs | 10 | 17 | 19 | 50 | 83 | 98 | 78 | 110 | 26468 | 5767 | 1494 | 2923 | >2000 | 14.68 | >1000 | 2000 | 14.68 | 1000 | |||||||||||||||||||
q2-1-NN-15_08.qdimacs | 10 | 17 | 22 | 50 | 83 | 108 | 78 | 122 | 36161 | 6418 | 1494 | 3424 | >2000 | 18.04 | >1000 | 2000 | 18.04 | 1000 | |||||||||||||||||||
q2-1-NN-15_09.qdimacs | 10 | 17 | 18 | 49 | 89 | 91 | 90 | 105 | 23227 | 5792 | 1602 | 2916 | >2000 | 18.95 | >1000 | 2000 | 18.95 | 1000 | |||||||||||||||||||
q2-1-NN-15_10.qdimacs | 10 | 17 | 19 | 51 | 91 | 101 | 92 | 117 | 28304 | 6244 | 1638 | 3229 | >2000 | 22.27 | >1000 | 2000 | 22.27 | 1000 | |||||||||||||||||||
q2-1-NN-15_11.qdimacs | 10 | 17 | 19 | 51 | 91 | 106 | 92 | 124 | 29564 | 6379 | 1638 | 3364 | >2000 | 22.34 | >1000 | 2000 | 22.34 | 1000 | |||||||||||||||||||
q2-1-NN-15_12.qdimacs | 10 | 17 | 22 | 51 | 91 | 116 | 92 | 136 | 40013 | 7054 | 1638 | 3886 | >2000 | 29.04 | >1000 | 2000 | 29.04 | 1000 | |||||||||||||||||||
q2-1-NN-15_13.qdimacs | 10 | 17 | 18 | 50 | 94 | 96 | 107 | 122 | 26575 | 6318 | 1692 | 3326 | >2000 | 33.52 | >1000 | 2000 | 33.52 | 1000 | |||||||||||||||||||
q2-1-NN-15_14.qdimacs | 10 | 17 | 19 | 52 | 96 | 106 | 109 | 134 | 31958 | 6775 | 1728 | 3643 | >2000 | 43.18 | >1000 | 2000 | 43.18 | 1000 | |||||||||||||||||||
q2-1-NN-15_15.qdimacs | 10 | 17 | 19 | 52 | 96 | 111 | 109 | 141 | 33218 | 6910 | 1728 | 3778 | >2000 | 45.36 | >1000 | 2000 | 45.36 | 1000 | |||||||||||||||||||
q2-1-NN-15_16.qdimacs | 10 | 17 | 22 | 52 | 96 | 121 | 109 | 153 | 44585 | 7600 | 1728 | 4312 | >2000 | 56.89 | >1000 | 2000 | 56.89 | 1000 | |||||||||||||||||||
q2-1-NN-15_17.qdimacs | 10 | 21 | 22 | 50 | 104 | 106 | 124 | 139 | 50087 | 8960 | 2288 | 4972 | >2000 | 63.1 | >1000 | 2000 | 63.1 | 1000 | |||||||||||||||||||
q2-1-NN-15_18.qdimacs | 10 | 21 | 23 | 52 | 106 | 116 | 126 | 151 | 58456 | 9527 | 2332 | 5375 | >2000 | 67.52 | >1000 | 2000 | 67.52 | 1000 | |||||||||||||||||||
q2-1-NN-15_19.qdimacs | 10 | 21 | 23 | 52 | 106 | 121 | 126 | 158 | 60612 | 9702 | 2332 | 5550 | >2000 | 73.4 | >1000 | 2000 | 73.4 | 1000 | |||||||||||||||||||
q2-1-NN-15_20.qdimacs | 10 | 21 | 26 | 52 | 106 | 131 | 126 | 170 | 76701 | 10514 | 2332 | 6206 | >2000 | 84.77 | >1000 | 2000 | 84.77 | 1000 | |||||||||||||||||||
q2-1-NN-15_21.qdimacs | 10 | 23 | 24 | 50 | 111 | 113 | 137 | 152 | 67273 | 10666 | 2664 | 6102 | >2000 | 185.25 | >1000 | 2000 | 185.25 | 1000 | |||||||||||||||||||
q2-1-NN-15_22.qdimacs | 10 | 23 | 25 | 52 | 113 | 123 | 139 | 164 | 77486 | 11290 | 2712 | 6550 | >2000 | 215.09 | >1000 | 2000 | 215.09 | 1000 | |||||||||||||||||||
q2-1-NN-15_23.qdimacs | 10 | 23 | 25 | 52 | 113 | 128 | 139 | 171 | 80174 | 11485 | 2712 | 6745 | >2000 | 219.09 | >1000 | 2000 | 219.09 | 1000 | |||||||||||||||||||
q2-1-NN-15_24.qdimacs | 10 | 23 | 28 | 52 | 113 | 138 | 139 | 183 | 99245 | 12364 | 2712 | 7468 | >2000 | 244.18 | >1000 | 2000 | 244.18 | 1000 | |||||||||||||||||||
q2-1-NN-15_25.qdimacs | 10 | 25 | 26 | 50 | 119 | 121 | 152 | 167 | 88881 | 12636 | 3094 | 7442 | >2000 | 351.23 | >1000 | 2000 | 351.23 | 1000 | |||||||||||||||||||
q2-1-NN-15_26.qdimacs | 10 | 25 | 27 | 52 | 121 | 131 | 154 | 179 | 101170 | 13318 | 3146 | 7936 | >2000 | 370.83 | >1000 | 2000 | 370.83 | 1000 | |||||||||||||||||||
q2-1-NN-15_27.qdimacs | 10 | 25 | 27 | 52 | 121 | 136 | 154 | 186 | 104446 | 13533 | 3146 | 8151 | >2000 | 382.53 | >1000 | 2000 | 382.53 | 1000 | |||||||||||||||||||
q2-1-NN-15_28.qdimacs | 10 | 25 | 30 | 52 | 121 | 146 | 154 | 198 | 126907 | 14482 | 3146 | 8944 | >2000 | 416.55 | >1000 | 2000 | 416.55 | 1000 | |||||||||||||||||||
|
175 | 0 | 420 | 0 | |||||||||||||||||||||||||||||||||
0 | 0 | 0 | 0 | 0 | |||||||||||||||||||||||||||||||||
0 | 0 | 7.619048 | 0 | 1 | |||||||||||||||||||||||||||||||||
0 | 0 | 14.28571 | 0 | 2 | |||||||||||||||||||||||||||||||||
0 | 0 | 17.61905 | 0 | 4 | |||||||||||||||||||||||||||||||||
0 | 0 | 26.42857 | 0 | 8 | |||||||||||||||||||||||||||||||||
0.95238 | 0 | 39.04762 | 0 | 16 | |||||||||||||||||||||||||||||||||
2.38095 | 0 | 46.66667 | 0 | 32 | |||||||||||||||||||||||||||||||||
4.52381 | 0 | 57.14286 | 0 | 64 | |||||||||||||||||||||||||||||||||
5.47619 | 0 | 61.42857 | 0 | 128 | |||||||||||||||||||||||||||||||||
10.7143 | 0 | 78.33333 | 0 | 256 | |||||||||||||||||||||||||||||||||
21.4286 | 0 | 97.61905 | 0 | 512 | |||||||||||||||||||||||||||||||||
30.4762 | 0 | 100 | 0 | 1024 | |||||||||||||||||||||||||||||||||
41.6667 | 0 | 100 | 0 | 2048 | |||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||