deductive conservativity (-d) | solved? | |||||||||||||||||||||||||||||||||||||
sigN | name | roles | b-concepts | axioms | clause | variables | time | graph data | ||||||||||||||||||||||||||||||
sig | 1 | 12 | sig | 1 | 12 | 1 | 12 | total | A | E | sKizzo | sKizzo11 | 2clsQ | yquaffle | 18 | sKizzo | sKizzo11 | 2clsQ | yquaffle | |||||||||||||||||||
01 | d-1-NN-01_01.qdimacs | 1 | 8 | 9 | 5 | 47 | 49 | 59 | 74 | 2385 | 1478 | 423 | 1050 | 88.26 | >120 | 0.37 | 0.232 | 88.26 | 120 | 0.37 | 0.232 | |||||||||||||||||
d-1-NN-01_02.qdimacs | 1 | 8 | 11 | 5 | 47 | 61 | 59 | 86 | 2829 | 1722 | 423 | 1294 | 90.87 | >120 | 0.6 | 0.292 | 90.87 | 120 | 0.6 | 0.292 | ||||||||||||||||||
d-1-NN-01_03.qdimacs | 1 | 8 | 12 | 5 | 47 | 70 | 59 | 93 | 3068 | 1901 | 423 | 1473 | 96.69 | >120 | 0.58 | 0.336 | 96.69 | 120 | 0.58 | 0.336 | ||||||||||||||||||
d-1-NN-01_04.qdimacs | 1 | 8 | 15 | 5 | 47 | 80 | 59 | 105 | 3749 | 2274 | 423 | 1846 | 93.38 | >120 | 0.8 | 0.436 | 93.38 | 120 | 0.8 | 0.436 | ||||||||||||||||||
d-1-NN-01_05.qdimacs | 1 | 12 | 13 | 5 | 65 | 67 | 76 | 91 | 4363 | 2821 | 845 | 1971 | >120 | >120 | 1.85 | 0.856 | 120 | 120 | 1.85 | 0.856 | ||||||||||||||||||
d-1-NN-01_06.qdimacs | 1 | 12 | 15 | 5 | 65 | 79 | 76 | 103 | 4939 | 3149 | 845 | 2299 | >120 | >120 | 2.32 | 1.072 | 120 | 120 | 2.32 | 1.072 | ||||||||||||||||||
d-1-NN-01_07.qdimacs | 1 | 12 | 16 | 5 | 65 | 88 | 76 | 110 | 5240 | 3382 | 845 | 2532 | >120 | >120 | 2.8 | 1.248 | 120 | 120 | 2.8 | 1.248 | ||||||||||||||||||
d-1-NN-01_08.qdimacs | 1 | 12 | 19 | 5 | 65 | 98 | 76 | 122 | 6071 | 3849 | 845 | 2999 | >120 | >120 | 3.66 | 1.484 | 120 | 120 | 3.66 | 1.484 | ||||||||||||||||||
d-1-NN-01_09.qdimacs | 1 | 13 | 14 | 5 | 76 | 78 | 90 | 105 | 5405 | 3548 | 1064 | 2479 | >120 | >120 | 4.49 | 1.524 | 120 | 120 | 4.49 | 1.524 | ||||||||||||||||||
d-1-NN-01_10.qdimacs | 1 | 13 | 16 | 5 | 76 | 90 | 90 | 117 | 6033 | 3910 | 1064 | 2841 | >120 | >120 | 5.42 | 1.692 | 120 | 120 | 5.42 | 1.692 | ||||||||||||||||||
d-1-NN-01_11.qdimacs | 1 | 13 | 17 | 5 | 76 | 99 | 90 | 124 | 6359 | 4163 | 1064 | 3094 | >120 | >120 | 7.12 | 1.92 | 120 | 120 | 7.12 | 1.92 | ||||||||||||||||||
d-1-NN-01_12.qdimacs | 1 | 13 | 20 | 5 | 76 | 109 | 90 | 136 | 7256 | 4673 | 1064 | 3604 | >120 | >120 | 10.65 | 2.392 | 120 | 120 | 10.65 | 2.392 | ||||||||||||||||||
d-1-NN-01_13.qdimacs | 1 | 15 | 16 | 5 | 89 | 91 | 107 | 122 | 7106 | 4745 | 1424 | 3316 | >120 | >120 | 16.36 | 2.652 | 120 | 120 | 16.36 | 2.652 | ||||||||||||||||||
d-1-NN-01_14.qdimacs | 1 | 15 | 18 | 5 | 89 | 103 | 107 | 134 | 7816 | 5157 | 1424 | 3728 | >120 | >120 | 20.28 | 3.02 | 120 | 120 | 20.28 | 3.02 | ||||||||||||||||||
d-1-NN-01_15.qdimacs | 1 | 15 | 19 | 5 | 89 | 112 | 107 | 141 | 8181 | 5441 | 1424 | 4012 | >120 | >120 | 24.11 | 3.064 | 120 | 120 | 24.11 | 3.064 | ||||||||||||||||||
d-1-NN-01_16.qdimacs | 1 | 15 | 22 | 5 | 89 | 122 | 107 | 153 | 9177 | 6010 | 1424 | 4581 | >120 | >120 | 27.61 | 3.76 | 120 | 120 | 27.61 | 3.76 | ||||||||||||||||||
d-1-NN-01_17.qdimacs | 1 | 19 | 20 | 5 | 99 | 101 | 124 | 139 | 10187 | 6659 | 1980 | 4674 | >120 | >120 | 76.04 | >120 | 120 | 120 | 76.04 | 120 | ||||||||||||||||||
d-1-NN-01_18.qdimacs | 1 | 19 | 22 | 5 | 99 | 113 | 124 | 151 | 11027 | 7139 | 1980 | 5154 | >120 | >120 | 97.19 | >120 | 120 | 120 | 97.19 | 120 | ||||||||||||||||||
d-1-NN-01_19.qdimacs | 1 | 19 | 23 | 5 | 99 | 122 | 124 | 158 | 11453 | 7469 | 1980 | 5484 | >120 | >120 | 110.13 | >120 | 120 | 120 | 110.13 | 120 | ||||||||||||||||||
d-1-NN-01_20.qdimacs | 1 | 19 | 26 | 5 | 99 | 132 | 124 | 170 | 12596 | 8108 | 1980 | 6123 | >120 | >120 | >120.020 | >120 | NOT! | 120 | 120 | 120.02 | 120 | |||||||||||||||||
d-1-NN-01_21.qdimacs | 1 | 21 | 22 | 5 | 106 | 108 | 137 | 152 | 12194 | 7916 | 2332 | 5579 | >120 | >120 | >120.030 | >120 | NOT! | 120 | 120 | 120.03 | 120 | |||||||||||||||||
d-1-NN-01_22.qdimacs | 1 | 21 | 24 | 5 | 106 | 120 | 137 | 164 | 13108 | 8434 | 2332 | 6097 | >120 | >120 | >120.050 | >120 | NOT! | 120 | 120 | 120.05 | 120 | |||||||||||||||||
d-1-NN-01_23.qdimacs | 1 | 21 | 25 | 5 | 106 | 129 | 137 | 171 | 13569 | 8789 | 2332 | 6452 | >120 | >120 | >120.060 | >120 | NOT! | 120 | 120 | 120.06 | 120 | |||||||||||||||||
d-1-NN-01_24.qdimacs | 1 | 21 | 28 | 5 | 106 | 139 | 137 | 183 | 14799 | 9469 | 2332 | 7132 | >120 | >120 | >120.020 | >120 | NOT! | 120 | 120 | 120.02 | 120 | |||||||||||||||||
d-1-NN-01_25.qdimacs | 1 | 23 | 24 | 5 | 114 | 116 | 152 | 167 | 14503 | 9378 | 2736 | 6637 | >120 | >120 | >120.060 | >120 | NOT! | 120 | 120 | 120.06 | 120 | |||||||||||||||||
d-1-NN-01_26.qdimacs | 1 | 23 | 26 | 5 | 114 | 128 | 152 | 179 | 15495 | 9936 | 2736 | 7195 | >120 | >120 | >120.030 | >120 | NOT! | 120 | 120 | 120.03 | 120 | |||||||||||||||||
d-1-NN-01_27.qdimacs | 1 | 23 | 27 | 5 | 114 | 137 | 152 | 186 | 15993 | 10317 | 2736 | 7576 | >120 | >120 | >120.080 | >120 | NOT! | 120 | 120 | 120.08 | 120 | |||||||||||||||||
d-1-NN-01_28.qdimacs | 1 | 23 | 30 | 5 | 114 | 147 | 152 | 198 | 17316 | 11041 | 2736 | 8300 | >120 | >120 | >120.060 | >120 | NOT! | 120 | 120 | 120.06 | 120 | |||||||||||||||||
02 | d-1-NN-02_01.qdimacs | 1 | 8 | 9 | 7 | 47 | 49 | 59 | 74 | 2385 | 1478 | 423 | 1048 | >120 | >120 | 0.4 | 0.18 | 120 | 120 | 0.4 | 0.18 | |||||||||||||||||
d-1-NN-02_02.qdimacs | 1 | 8 | 11 | 7 | 47 | 61 | 59 | 86 | 2829 | 1722 | 423 | 1292 | >120 | >120 | 0.53 | 0.332 | 120 | 120 | 0.53 | 0.332 | ||||||||||||||||||
d-1-NN-02_03.qdimacs | 1 | 8 | 12 | 7 | 47 | 70 | 59 | 93 | 3068 | 1901 | 423 | 1471 | >120 | >120 | 0.67 | 0.324 | 120 | 120 | 0.67 | 0.324 | ||||||||||||||||||
d-1-NN-02_04.qdimacs | 1 | 8 | 15 | 7 | 47 | 80 | 59 | 105 | 3749 | 2274 | 423 | 1844 | >120 | >120 | 1.03 | 0.472 | 120 | 120 | 1.03 | 0.472 | ||||||||||||||||||
d-1-NN-02_05.qdimacs | 1 | 12 | 13 | 7 | 65 | 67 | 76 | 91 | 4363 | 2821 | 845 | 1969 | >120 | >120 | 1.83 | 2.516 | 120 | 120 | 1.83 | 2.516 | ||||||||||||||||||
d-1-NN-02_06.qdimacs | 1 | 12 | 15 | 7 | 65 | 79 | 76 | 103 | 4939 | 3149 | 845 | 2297 | >120 | >120 | 2.38 | 3.132 | 120 | 120 | 2.38 | 3.132 | ||||||||||||||||||
d-1-NN-02_07.qdimacs | 1 | 12 | 16 | 7 | 65 | 88 | 76 | 110 | 5240 | 3382 | 845 | 2530 | >120 | >120 | 3.02 | 1.296 | 120 | 120 | 3.02 | 1.296 | ||||||||||||||||||
d-1-NN-02_08.qdimacs | 1 | 12 | 19 | 7 | 65 | 98 | 76 | 122 | 6071 | 3849 | 845 | 2997 | >120 | >120 | 3.83 | 1.596 | 120 | 120 | 3.83 | 1.596 | ||||||||||||||||||
d-1-NN-02_09.qdimacs | 1 | 13 | 14 | 7 | 76 | 78 | 90 | 105 | 5405 | 3548 | 1064 | 2477 | >120 | >120 | 5.32 | 1.668 | 120 | 120 | 5.32 | 1.668 | ||||||||||||||||||
d-1-NN-02_10.qdimacs | 1 | 13 | 16 | 7 | 76 | 90 | 90 | 117 | 6033 | 3910 | 1064 | 2839 | >120 | >120 | 5.88 | 2.02 | 120 | 120 | 5.88 | 2.02 | ||||||||||||||||||
d-1-NN-02_11.qdimacs | 1 | 13 | 17 | 7 | 76 | 99 | 90 | 124 | 6359 | 4163 | 1064 | 3092 | >120 | >120 | 6.44 | 2.176 | 120 | 120 | 6.44 | 2.176 | ||||||||||||||||||
d-1-NN-02_12.qdimacs | 1 | 13 | 20 | 7 | 76 | 109 | 90 | 136 | 7256 | 4673 | 1064 | 3602 | >120 | >120 | 10.43 | 2.668 | 120 | 120 | 10.43 | 2.668 | ||||||||||||||||||
d-1-NN-02_13.qdimacs | 1 | 15 | 16 | 7 | 89 | 91 | 107 | 122 | 7106 | 4745 | 1424 | 3314 | >120 | >120 | 14.95 | 2.416 | 120 | 120 | 14.95 | 2.416 | ||||||||||||||||||
d-1-NN-02_14.qdimacs | 1 | 15 | 18 | 7 | 89 | 103 | 107 | 134 | 7816 | 5157 | 1424 | 3726 | >120 | >120 | 19.68 | 2.904 | 120 | 120 | 19.68 | 2.904 | ||||||||||||||||||
d-1-NN-02_15.qdimacs | 1 | 15 | 19 | 7 | 89 | 112 | 107 | 141 | 8181 | 5441 | 1424 | 4010 | >120 | >120 | 24.31 | 3.204 | 120 | 120 | 24.31 | 3.204 | ||||||||||||||||||
d-1-NN-02_16.qdimacs | 1 | 15 | 22 | 7 | 89 | 122 | 107 | 153 | 9177 | 6010 | 1424 | 4579 | >120 | >120 | 32.08 | 3.944 | 120 | 120 | 32.08 | 3.944 | ||||||||||||||||||
d-1-NN-02_17.qdimacs | 1 | 19 | 20 | 7 | 99 | 101 | 124 | 139 | 10187 | 6659 | 1980 | 4672 | >120 | >120 | 76.36 | >120 | 120 | 120 | 76.36 | 120 | ||||||||||||||||||
d-1-NN-02_18.qdimacs | 1 | 19 | 22 | 7 | 99 | 113 | 124 | 151 | 11027 | 7139 | 1980 | 5152 | >120 | >120 | 96.02 | >120 | 120 | 120 | 96.02 | 120 | ||||||||||||||||||
d-1-NN-02_19.qdimacs | 1 | 19 | 23 | 7 | 99 | 122 | 124 | 158 | 11453 | 7469 | 1980 | 5482 | >120 | >120 | 111.75 | >120 | 120 | 120 | 111.75 | 120 | ||||||||||||||||||
d-1-NN-02_20.qdimacs | 1 | 19 | 26 | 7 | 99 | 132 | 124 | 170 | 12596 | 8108 | 1980 | 6121 | >120 | >120 | >120.050 | >120 | NOT! | 120 | 120 | 120.05 | 120 | |||||||||||||||||
d-1-NN-02_21.qdimacs | 1 | 21 | 22 | 7 | 106 | 108 | 137 | 152 | 12194 | 7916 | 2332 | 5577 | >120 | >120 | >120.020 | >120 | NOT! | 120 | 120 | 120.02 | 120 | |||||||||||||||||
d-1-NN-02_22.qdimacs | 1 | 21 | 24 | 7 | 106 | 120 | 137 | 164 | 13108 | 8434 | 2332 | 6095 | >120 | >120 | >120.050 | >120 | NOT! | 120 | 120 | 120.05 | 120 | |||||||||||||||||
d-1-NN-02_23.qdimacs | 1 | 21 | 25 | 7 | 106 | 129 | 137 | 171 | 13569 | 8789 | 2332 | 6450 | >120 | >120 | >120.020 | >120 | NOT! | 120 | 120 | 120.02 | 120 | |||||||||||||||||
d-1-NN-02_24.qdimacs | 1 | 21 | 28 | 7 | 106 | 139 | 137 | 183 | 14799 | 9469 | 2332 | 7130 | >120 | >120 | >120.040 | >120 | NOT! | 120 | 120 | 120.04 | 120 | |||||||||||||||||
d-1-NN-02_25.qdimacs | 1 | 23 | 24 | 7 | 114 | 116 | 152 | 167 | 14503 | 9378 | 2736 | 6635 | >120 | >120 | >120.060 | >120 | NOT! | 120 | 120 | 120.06 | 120 | |||||||||||||||||
d-1-NN-02_26.qdimacs | 1 | 23 | 26 | 7 | 114 | 128 | 152 | 179 | 15495 | 9936 | 2736 | 7193 | >120 | >120 | >120.030 | >120 | NOT! | 120 | 120 | 120.03 | 120 | |||||||||||||||||
d-1-NN-02_27.qdimacs | 1 | 23 | 27 | 7 | 114 | 137 | 152 | 186 | 15993 | 10317 | 2736 | 7574 | >120 | >120 | >120.020 | >120 | NOT! | 120 | 120 | 120.02 | 120 | |||||||||||||||||
d-1-NN-02_28.qdimacs | 1 | 23 | 30 | 7 | 114 | 147 | 152 | 198 | 17316 | 11041 | 2736 | 8298 | >120 | >120 | >120.100 | >120 | NOT! | 120 | 120 | 120.1 | 120 | |||||||||||||||||
03 | d-1-NN-03_01.qdimacs | 2 | 8 | 9 | 11 | 47 | 49 | 59 | 74 | 2385 | 1478 | 423 | 1044 | >120 | >120 | 0.63 | 0.184 | 120 | 120 | 0.63 | 0.184 | |||||||||||||||||
d-1-NN-03_02.qdimacs | 2 | 8 | 11 | 11 | 47 | 61 | 59 | 86 | 2829 | 1722 | 423 | 1288 | >120 | >120 | 0.72 | 0.316 | 120 | 120 | 0.72 | 0.316 | ||||||||||||||||||
d-1-NN-03_03.qdimacs | 2 | 8 | 12 | 11 | 47 | 70 | 59 | 93 | 3068 | 1901 | 423 | 1467 | 98.01 | >120 | 0.84 | 0.26 | 98.01 | 120 | 0.84 | 0.26 | ||||||||||||||||||
d-1-NN-03_04.qdimacs | 2 | 8 | 15 | 11 | 47 | 80 | 59 | 105 | 3749 | 2274 | 423 | 1840 | 100.34 | >120 | 1.16 | 0.472 | 100.34 | 120 | 1.16 | 0.472 | ||||||||||||||||||
d-1-NN-03_05.qdimacs | 2 | 12 | 13 | 11 | 65 | 67 | 76 | 91 | 4363 | 2821 | 845 | 1965 | >120 | >120 | 3.42 | 1.128 | 120 | 120 | 3.42 | 1.128 | ||||||||||||||||||
d-1-NN-03_06.qdimacs | 2 | 12 | 15 | 11 | 65 | 79 | 76 | 103 | 4939 | 3149 | 845 | 2293 | >120 | >120 | 4.57 | 1.356 | 120 | 120 | 4.57 | 1.356 | ||||||||||||||||||
d-1-NN-03_07.qdimacs | 2 | 12 | 16 | 11 | 65 | 88 | 76 | 110 | 5240 | 3382 | 845 | 2526 | >120 | >120 | 5.65 | 1.552 | 120 | 120 | 5.65 | 1.552 | ||||||||||||||||||
d-1-NN-03_08.qdimacs | 2 | 12 | 19 | 11 | 65 | 98 | 76 | 122 | 6071 | 3849 | 845 | 2993 | >120 | >120 | 6.75 | 1.904 | 120 | 120 | 6.75 | 1.904 | ||||||||||||||||||
d-1-NN-03_09.qdimacs | 2 | 13 | 14 | 11 | 76 | 78 | 90 | 105 | 5405 | 3548 | 1064 | 2473 | >120 | >120 | 6.02 | 1.512 | 120 | 120 | 6.02 | 1.512 | ||||||||||||||||||
d-1-NN-03_10.qdimacs | 2 | 13 | 16 | 11 | 76 | 90 | 90 | 117 | 6033 | 3910 | 1064 | 2835 | >120 | >120 | 6.73 | 1.836 | 120 | 120 | 6.73 | 1.836 | ||||||||||||||||||
d-1-NN-03_11.qdimacs | 2 | 13 | 17 | 11 | 76 | 99 | 90 | 124 | 6359 | 4163 | 1064 | 3088 | >120 | >120 | 8.12 | 2.128 | 120 | 120 | 8.12 | 2.128 | ||||||||||||||||||
d-1-NN-03_12.qdimacs | 2 | 13 | 20 | 11 | 76 | 109 | 90 | 136 | 7256 | 4673 | 1064 | 3598 | >120 | >120 | 12.81 | 2.588 | 120 | 120 | 12.81 | 2.588 | ||||||||||||||||||
d-1-NN-03_13.qdimacs | 2 | 15 | 16 | 11 | 89 | 91 | 107 | 122 | 7106 | 4745 | 1424 | 3310 | >120 | >120 | 14.12 | 2.496 | 120 | 120 | 14.12 | 2.496 | ||||||||||||||||||
d-1-NN-03_14.qdimacs | 2 | 15 | 18 | 11 | 89 | 103 | 107 | 134 | 7816 | 5157 | 1424 | 3722 | >120 | >120 | 19.98 | 3.048 | 120 | 120 | 19.98 | 3.048 | ||||||||||||||||||
d-1-NN-03_15.qdimacs | 2 | 15 | 19 | 11 | 89 | 112 | 107 | 141 | 8181 | 5441 | 1424 | 4006 | >120 | >120 | 22.95 | 3.276 | 120 | 120 | 22.95 | 3.276 | ||||||||||||||||||
d-1-NN-03_16.qdimacs | 2 | 15 | 22 | 11 | 89 | 122 | 107 | 153 | 9177 | 6010 | 1424 | 4575 | >120 | >120 | 33.24 | 4.024 | 120 | 120 | 33.24 | 4.024 | ||||||||||||||||||
d-1-NN-03_17.qdimacs | 2 | 19 | 20 | 11 | 99 | 101 | 124 | 139 | 10187 | 6659 | 1980 | 4668 | >120 | >120 | 82.14 | 7.196 | 120 | 120 | 82.14 | 7.196 | ||||||||||||||||||
d-1-NN-03_18.qdimacs | 2 | 19 | 22 | 11 | 99 | 113 | 124 | 151 | 11027 | 7139 | 1980 | 5148 | >120 | >120 | 100.7 | 8.976 | 120 | 120 | 100.7 | 8.976 | ||||||||||||||||||
d-1-NN-03_19.qdimacs | 2 | 19 | 23 | 11 | 99 | 122 | 124 | 158 | 11453 | 7469 | 1980 | 5478 | >120 | >120 | 112.36 | 9.484 | 120 | 120 | 112.36 | 9.484 | ||||||||||||||||||
d-1-NN-03_20.qdimacs | 2 | 19 | 26 | 11 | 99 | 132 | 124 | 170 | 12596 | 8108 | 1980 | 6117 | >120 | >120 | >120.030 | 11.188 | 120 | 120 | 120.03 | 11.188 | ||||||||||||||||||
d-1-NN-03_21.qdimacs | 2 | 21 | 22 | 11 | 106 | 108 | 137 | 152 | 12194 | 7916 | 2332 | 5573 | >120 | >120 | >120.030 | 12.056 | 120 | 120 | 120.03 | 12.056 | ||||||||||||||||||
d-1-NN-03_22.qdimacs | 2 | 21 | 24 | 11 | 106 | 120 | 137 | 164 | 13108 | 8434 | 2332 | 6091 | >120 | >120 | >120.010 | 14.268 | 120 | 120 | 120.01 | 14.268 | ||||||||||||||||||
d-1-NN-03_23.qdimacs | 2 | 21 | 25 | 11 | 106 | 129 | 137 | 171 | 13569 | 8789 | 2332 | 6446 | >120 | >120 | >120.070 | 15.676 | 120 | 120 | 120.07 | 15.676 | ||||||||||||||||||
d-1-NN-03_24.qdimacs | 2 | 21 | 28 | 11 | 106 | 139 | 137 | 183 | 14799 | 9469 | 2332 | 7126 | >120 | >120 | >120.060 | 17.913 | 120 | 120 | 120.06 | 17.913 | ||||||||||||||||||
d-1-NN-03_25.qdimacs | 2 | 23 | 24 | 11 | 114 | 116 | 152 | 167 | 14503 | 9378 | 2736 | 6631 | >120 | >120 | >120.080 | 20.629 | 120 | 120 | 120.08 | 20.629 | ||||||||||||||||||
d-1-NN-03_26.qdimacs | 2 | 23 | 26 | 11 | 114 | 128 | 152 | 179 | 15495 | 9936 | 2736 | 7189 | >120 | >120 | >120.080 | 24.297 | 120 | 120 | 120.08 | 24.297 | ||||||||||||||||||
d-1-NN-03_27.qdimacs | 2 | 23 | 27 | 11 | 114 | 137 | 152 | 186 | 15993 | 10317 | 2736 | 7570 | >120 | >120 | >120.110 | 24.937 | 120 | 120 | 120.11 | 24.937 | ||||||||||||||||||
d-1-NN-03_28.qdimacs | 2 | 23 | 30 | 11 | 114 | 147 | 152 | 198 | 17316 | 11041 | 2736 | 8294 | >120 | >120 | >120.030 | 29.281 | 120 | 120 | 120.03 | 29.281 | ||||||||||||||||||
04 | d-1-NN-04_01.qdimacs | 3 | 8 | 9 | 15 | 47 | 49 | 59 | 74 | 2385 | 1478 | 423 | 1040 | >120 | >120 | 0.58 | 0.212 | 120 | 120 | 0.58 | 0.212 | |||||||||||||||||
d-1-NN-04_02.qdimacs | 3 | 8 | 11 | 15 | 47 | 61 | 59 | 86 | 2829 | 1722 | 423 | 1284 | >120 | >120 | 0.66 | 0.26 | 120 | 120 | 0.66 | 0.26 | ||||||||||||||||||
d-1-NN-04_03.qdimacs | 3 | 8 | 12 | 15 | 47 | 70 | 59 | 93 | 3068 | 1901 | 423 | 1463 | >120 | >120 | 0.79 | 0.348 | 120 | 120 | 0.79 | 0.348 | ||||||||||||||||||
d-1-NN-04_04.qdimacs | 3 | 8 | 15 | 15 | 47 | 80 | 59 | 105 | 3749 | 2274 | 423 | 1836 | >120 | >120 | 1 | 0.46 | 120 | 120 | 1 | 0.46 | ||||||||||||||||||
d-1-NN-04_05.qdimacs | 3 | 12 | 13 | 15 | 65 | 67 | 76 | 91 | 4363 | 2821 | 845 | 1961 | >120 | >120 | 3.54 | 1.2 | 120 | 120 | 3.54 | 1.2 | ||||||||||||||||||
d-1-NN-04_06.qdimacs | 3 | 12 | 15 | 15 | 65 | 79 | 76 | 103 | 4939 | 3149 | 845 | 2289 | >120 | >120 | 4.41 | 1.084 | 120 | 120 | 4.41 | 1.084 | ||||||||||||||||||
d-1-NN-04_07.qdimacs | 3 | 12 | 16 | 15 | 65 | 88 | 76 | 110 | 5240 | 3382 | 845 | 2522 | >120 | >120 | 6.62 | 1.312 | 120 | 120 | 6.62 | 1.312 | ||||||||||||||||||
d-1-NN-04_08.qdimacs | 3 | 12 | 19 | 15 | 65 | 98 | 76 | 122 | 6071 | 3849 | 845 | 2989 | >120 | >120 | 7.31 | 1.66 | 120 | 120 | 7.31 | 1.66 | ||||||||||||||||||
d-1-NN-04_09.qdimacs | 3 | 13 | 14 | 15 | 76 | 78 | 90 | 105 | 5405 | 3548 | 1064 | 2469 | >120 | >120 | 7.02 | 1.528 | 120 | 120 | 7.02 | 1.528 | ||||||||||||||||||
d-1-NN-04_10.qdimacs | 3 | 13 | 16 | 15 | 76 | 90 | 90 | 117 | 6033 | 3910 | 1064 | 2831 | >120 | >120 | 9.75 | 1.844 | 120 | 120 | 9.75 | 1.844 | ||||||||||||||||||
d-1-NN-04_11.qdimacs | 3 | 13 | 17 | 15 | 76 | 99 | 90 | 124 | 6359 | 4163 | 1064 | 3084 | >120 | >120 | 11.86 | 1.976 | 120 | 120 | 11.86 | 1.976 | ||||||||||||||||||
d-1-NN-04_12.qdimacs | 3 | 13 | 20 | 15 | 76 | 109 | 90 | 136 | 7256 | 4673 | 1064 | 3594 | >120 | >120 | 16.71 | 2.432 | 120 | 120 | 16.71 | 2.432 | ||||||||||||||||||
d-1-NN-04_13.qdimacs | 3 | 15 | 16 | 15 | 89 | 91 | 107 | 122 | 7106 | 4745 | 1424 | 3306 | >120 | >120 | 18.28 | 2.352 | 120 | 120 | 18.28 | 2.352 | ||||||||||||||||||
d-1-NN-04_14.qdimacs | 3 | 15 | 18 | 15 | 89 | 103 | 107 | 134 | 7816 | 5157 | 1424 | 3718 | >120 | >120 | 33.03 | 5.056 | 120 | 120 | 33.03 | 5.056 | ||||||||||||||||||
d-1-NN-04_15.qdimacs | 3 | 15 | 19 | 15 | 89 | 112 | 107 | 141 | 8181 | 5441 | 1424 | 4002 | >120 | >120 | 22.67 | 3.592 | 120 | 120 | 22.67 | 3.592 | ||||||||||||||||||
d-1-NN-04_16.qdimacs | 3 | 15 | 22 | 15 | 89 | 122 | 107 | 153 | 9177 | 6010 | 1424 | 4571 | >120 | >120 | 33.22 | 3.816 | 120 | 120 | 33.22 | 3.816 | ||||||||||||||||||
d-1-NN-04_17.qdimacs | 3 | 19 | 20 | 15 | 99 | 101 | 124 | 139 | 10187 | 6659 | 1980 | 4664 | >120 | >120 | 73.99 | 7.624 | 120 | 120 | 73.99 | 7.624 | ||||||||||||||||||
d-1-NN-04_18.qdimacs | 3 | 19 | 22 | 15 | 99 | 113 | 124 | 151 | 11027 | 7139 | 1980 | 5144 | >120 | >120 | 93.36 | 8.688 | 120 | 120 | 93.36 | 8.688 | ||||||||||||||||||
d-1-NN-04_19.qdimacs | 3 | 19 | 23 | 15 | 99 | 122 | 124 | 158 | 11453 | 7469 | 1980 | 5474 | >120 | >120 | 107.53 | 8.924 | 120 | 120 | 107.53 | 8.924 | ||||||||||||||||||
d-1-NN-04_20.qdimacs | 3 | 19 | 26 | 15 | 99 | 132 | 124 | 170 | 12596 | 8108 | 1980 | 6113 | >120 | >120 | >120.050 | 16.756 | 120 | 120 | 120.05 | 16.756 | ||||||||||||||||||
d-1-NN-04_21.qdimacs | 3 | 21 | 22 | 15 | 106 | 108 | 137 | 152 | 12194 | 7916 | 2332 | 5569 | >120 | >120 | >120.020 | 13.22 | 120 | 120 | 120.02 | 13.22 | ||||||||||||||||||
d-1-NN-04_22.qdimacs | 3 | 21 | 24 | 15 | 106 | 120 | 137 | 164 | 13108 | 8434 | 2332 | 6087 | >120 | >120 | >120.090 | 15.464 | 120 | 120 | 120.09 | 15.464 | ||||||||||||||||||
d-1-NN-04_23.qdimacs | 3 | 21 | 25 | 15 | 106 | 129 | 137 | 171 | 13569 | 8789 | 2332 | 6442 | >120 | >120 | >120.030 | 17.228 | 120 | 120 | 120.03 | 17.228 | ||||||||||||||||||
d-1-NN-04_24.qdimacs | 3 | 21 | 28 | 15 | 106 | 139 | 137 | 183 | 14799 | 9469 | 2332 | 7122 | >120 | >120 | >120.040 | 19.765 | 120 | 120 | 120.04 | 19.765 | ||||||||||||||||||
d-1-NN-04_25.qdimacs | 3 | 23 | 24 | 15 | 114 | 116 | 152 | 167 | 14503 | 9378 | 2736 | 6627 | >120 | >120 | >120.040 | 18.529 | 120 | 120 | 120.04 | 18.529 | ||||||||||||||||||
d-1-NN-04_26.qdimacs | 3 | 23 | 26 | 15 | 114 | 128 | 152 | 179 | 15495 | 9936 | 2736 | 7185 | >120 | >120 | >120.090 | 21.409 | 120 | 120 | 120.09 | 21.409 | ||||||||||||||||||
d-1-NN-04_27.qdimacs | 3 | 23 | 27 | 15 | 114 | 137 | 152 | 186 | 15993 | 10317 | 2736 | 7566 | >120 | >120 | >120.060 | 23.473 | 120 | 120 | 120.06 | 23.473 | ||||||||||||||||||
d-1-NN-04_28.qdimacs | 3 | 23 | 30 | 15 | 114 | 147 | 152 | 198 | 17316 | 11041 | 2736 | 8290 | >120 | >120 | >120.030 | 27.061 | 120 | 120 | 120.03 | 27.061 | ||||||||||||||||||
05 | d-1-NN-05_01.qdimacs | 2 | 8 | 9 | 13 | 47 | 49 | 59 | 74 | 2385 | 1478 | 423 | 1042 | >120 | >120 | 0.45 | 0.276 | 120 | 120 | 0.45 | 0.276 | |||||||||||||||||
d-1-NN-05_02.qdimacs | 2 | 8 | 11 | 13 | 47 | 61 | 59 | 86 | 2829 | 1722 | 423 | 1286 | >120 | >120 | 0.55 | 0.344 | 120 | 120 | 0.55 | 0.344 | ||||||||||||||||||
d-1-NN-05_03.qdimacs | 2 | 8 | 12 | 13 | 47 | 70 | 59 | 93 | 3068 | 1901 | 423 | 1465 | >120 | >120 | 0.75 | 0.4 | 120 | 120 | 0.75 | 0.4 | ||||||||||||||||||
d-1-NN-05_04.qdimacs | 2 | 8 | 15 | 13 | 47 | 80 | 59 | 105 | 3749 | 2274 | 423 | 1838 | >120 | >120 | 1.11 | 0.492 | 120 | 120 | 1.11 | 0.492 | ||||||||||||||||||
d-1-NN-05_05.qdimacs | 2 | 12 | 13 | 13 | 65 | 67 | 76 | 91 | 4363 | 2821 | 845 | 1963 | >120 | >120 | 2.95 | 0.948 | 120 | 120 | 2.95 | 0.948 | ||||||||||||||||||
d-1-NN-05_06.qdimacs | 2 | 12 | 15 | 13 | 65 | 79 | 76 | 103 | 4939 | 3149 | 845 | 2291 | >120 | >120 | 3.97 | 1.32 | 120 | 120 | 3.97 | 1.32 | ||||||||||||||||||
d-1-NN-05_07.qdimacs | 2 | 12 | 16 | 13 | 65 | 88 | 76 | 110 | 5240 | 3382 | 845 | 2524 | >120 | >120 | 5.33 | 1.488 | 120 | 120 | 5.33 | 1.488 | ||||||||||||||||||
d-1-NN-05_08.qdimacs | 2 | 12 | 19 | 13 | 65 | 98 | 76 | 122 | 6071 | 3849 | 845 | 2991 | >120 | >120 | 7.4 | 1.916 | 120 | 120 | 7.4 | 1.916 | ||||||||||||||||||
d-1-NN-05_09.qdimacs | 2 | 13 | 14 | 13 | 76 | 78 | 90 | 105 | 5405 | 3548 | 1064 | 2471 | >120 | >120 | 5.62 | 1.648 | 120 | 120 | 5.62 | 1.648 | ||||||||||||||||||
d-1-NN-05_10.qdimacs | 2 | 13 | 16 | 13 | 76 | 90 | 90 | 117 | 6033 | 3910 | 1064 | 2833 | >120 | >120 | 7.86 | 2.152 | 120 | 120 | 7.86 | 2.152 | ||||||||||||||||||
d-1-NN-05_11.qdimacs | 2 | 13 | 17 | 13 | 76 | 99 | 90 | 124 | 6359 | 4163 | 1064 | 3086 | >120 | >120 | 9.63 | 2.148 | 120 | 120 | 9.63 | 2.148 | ||||||||||||||||||
d-1-NN-05_12.qdimacs | 2 | 13 | 20 | 13 | 76 | 109 | 90 | 136 | 7256 | 4673 | 1064 | 3596 | >120 | >120 | 12.44 | 2.644 | 120 | 120 | 12.44 | 2.644 | ||||||||||||||||||
d-1-NN-05_13.qdimacs | 2 | 15 | 16 | 13 | 89 | 91 | 107 | 122 | 7106 | 4745 | 1424 | 3308 | >120 | >120 | 13.13 | 2.672 | 120 | 120 | 13.13 | 2.672 | ||||||||||||||||||
d-1-NN-05_14.qdimacs | 2 | 15 | 18 | 13 | 89 | 103 | 107 | 134 | 7816 | 5157 | 1424 | 3720 | >120 | >120 | 18.24 | 3.216 | 120 | 120 | 18.24 | 3.216 | ||||||||||||||||||
d-1-NN-05_15.qdimacs | 2 | 15 | 19 | 13 | 89 | 112 | 107 | 141 | 8181 | 5441 | 1424 | 4004 | >120 | >120 | 25.35 | 3.312 | 120 | 120 | 25.35 | 3.312 | ||||||||||||||||||
d-1-NN-05_16.qdimacs | 2 | 15 | 22 | 13 | 89 | 122 | 107 | 153 | 9177 | 6010 | 1424 | 4573 | >120 | >120 | 35.77 | 3.968 | 120 | 120 | 35.77 | 3.968 | ||||||||||||||||||
d-1-NN-05_17.qdimacs | 2 | 19 | 20 | 13 | 99 | 101 | 124 | 139 | 10187 | 6659 | 1980 | 4666 | >120 | >120 | 84.17 | 7.604 | 120 | 120 | 84.17 | 7.604 | ||||||||||||||||||
d-1-NN-05_18.qdimacs | 2 | 19 | 22 | 13 | 99 | 113 | 124 | 151 | 11027 | 7139 | 1980 | 5146 | >120 | >120 | 100.68 | 8.724 | 120 | 120 | 100.68 | 8.724 | ||||||||||||||||||
d-1-NN-05_19.qdimacs | 2 | 19 | 23 | 13 | 99 | 122 | 124 | 158 | 11453 | 7469 | 1980 | 5476 | >120 | >120 | >120.050 | 9.432 | 120 | 120 | 120.05 | 9.432 | ||||||||||||||||||
d-1-NN-05_20.qdimacs | 2 | 19 | 26 | 13 | 99 | 132 | 124 | 170 | 12596 | 8108 | 1980 | 6115 | >120 | >120 | >120.040 | 10.86 | 120 | 120 | 120.04 | 10.86 | ||||||||||||||||||
d-1-NN-05_21.qdimacs | 2 | 21 | 22 | 13 | 106 | 108 | 137 | 152 | 12194 | 7916 | 2332 | 5571 | >120 | >120 | >120.030 | 12.324 | 120 | 120 | 120.03 | 12.324 | ||||||||||||||||||
d-1-NN-05_22.qdimacs | 2 | 21 | 24 | 13 | 106 | 120 | 137 | 164 | 13108 | 8434 | 2332 | 6089 | >120 | >120 | >120.040 | 14.76 | 120 | 120 | 120.04 | 14.76 | ||||||||||||||||||
d-1-NN-05_23.qdimacs | 2 | 21 | 25 | 13 | 106 | 129 | 137 | 171 | 13569 | 8789 | 2332 | 6444 | >120 | >120 | >120.020 | 15.492 | 120 | 120 | 120.02 | 15.492 | ||||||||||||||||||
d-1-NN-05_24.qdimacs | 2 | 21 | 28 | 13 | 106 | 139 | 137 | 183 | 14799 | 9469 | 2332 | 7124 | >120 | >120 | >120.030 | 18.001 | 120 | 120 | 120.03 | 18.001 | ||||||||||||||||||
d-1-NN-05_25.qdimacs | 2 | 23 | 24 | 13 | 114 | 116 | 152 | 167 | 14503 | 9378 | 2736 | 6629 | >120 | >120 | >120.020 | 19.729 | 120 | 120 | 120.02 | 19.729 | ||||||||||||||||||
d-1-NN-05_26.qdimacs | 2 | 23 | 26 | 13 | 114 | 128 | 152 | 179 | 15495 | 9936 | 2736 | 7187 | >120 | >120 | >120.010 | 22.457 | 120 | 120 | 120.01 | 22.457 | ||||||||||||||||||
d-1-NN-05_27.qdimacs | 2 | 23 | 27 | 13 | 114 | 137 | 152 | 186 | 15993 | 10317 | 2736 | 7568 | >120 | >120 | >120.020 | 23.101 | 120 | 120 | 120.02 | 23.101 | ||||||||||||||||||
d-1-NN-05_28.qdimacs | 2 | 23 | 30 | 13 | 114 | 147 | 152 | 198 | 17316 | 11041 | 2736 | 8292 | >120 | >120 | >120.030 | 27.029 | 120 | 120 | 120.03 | 27.029 | ||||||||||||||||||
06 | d-1-NN-06_01.qdimacs | 3 | 8 | 9 | 17 | 47 | 49 | 59 | 74 | 2385 | 1478 | 423 | 1038 | >120 | >120 | 0.1 | 0.212 | 120 | 120 | 0.1 | 0.212 | |||||||||||||||||
d-1-NN-06_02.qdimacs | 3 | 8 | 11 | 17 | 47 | 61 | 59 | 86 | 2829 | 1722 | 423 | 1282 | >120 | >120 | 0.12 | 0.192 | 120 | 120 | 0.12 | 0.192 | ||||||||||||||||||
d-1-NN-06_03.qdimacs | 3 | 8 | 12 | 17 | 47 | 70 | 59 | 93 | 3068 | 1901 | 423 | 1461 | >120 | >120 | 0.12 | 0.228 | 120 | 120 | 0.12 | 0.228 | ||||||||||||||||||
d-1-NN-06_04.qdimacs | 3 | 8 | 15 | 17 | 47 | 80 | 59 | 105 | 3749 | 2274 | 423 | 1834 | >120 | >120 | 0.16 | 0.388 | 120 | 120 | 0.16 | 0.388 | ||||||||||||||||||
d-1-NN-06_05.qdimacs | 3 | 12 | 13 | 17 | 65 | 67 | 76 | 91 | 4363 | 2821 | 845 | 1959 | >120 | >120 | 0.54 | 1.172 | 120 | 120 | 0.54 | 1.172 | ||||||||||||||||||
d-1-NN-06_06.qdimacs | 3 | 12 | 15 | 17 | 65 | 79 | 76 | 103 | 4939 | 3149 | 845 | 2287 | >120 | >120 | 0.58 | 1.036 | 120 | 120 | 0.58 | 1.036 | ||||||||||||||||||
d-1-NN-06_07.qdimacs | 3 | 12 | 16 | 17 | 65 | 88 | 76 | 110 | 5240 | 3382 | 845 | 2520 | >120 | >120 | 0.81 | 1.112 | 120 | 120 | 0.81 | 1.112 | ||||||||||||||||||
d-1-NN-06_08.qdimacs | 3 | 12 | 19 | 17 | 65 | 98 | 76 | 122 | 6071 | 3849 | 845 | 2987 | >120 | >120 | 0.76 | 1.816 | 120 | 120 | 0.76 | 1.816 | ||||||||||||||||||
d-1-NN-06_09.qdimacs | 3 | 13 | 14 | 17 | 76 | 78 | 90 | 105 | 5405 | 3548 | 1064 | 2467 | >120 | >120 | 1.64 | 1.472 | 120 | 120 | 1.64 | 1.472 | ||||||||||||||||||
d-1-NN-06_10.qdimacs | 3 | 13 | 16 | 17 | 76 | 90 | 90 | 117 | 6033 | 3910 | 1064 | 2829 | >120 | >120 | 1.75 | 1.784 | 120 | 120 | 1.75 | 1.784 | ||||||||||||||||||
d-1-NN-06_11.qdimacs | 3 | 13 | 17 | 17 | 76 | 99 | 90 | 124 | 6359 | 4163 | 1064 | 3082 | >120 | >120 | 1.96 | 2.016 | 120 | 120 | 1.96 | 2.016 | ||||||||||||||||||
d-1-NN-06_12.qdimacs | 3 | 13 | 20 | 17 | 76 | 109 | 90 | 136 | 7256 | 4673 | 1064 | 3592 | >120 | >120 | 2.18 | 2.372 | 120 | 120 | 2.18 | 2.372 | ||||||||||||||||||
d-1-NN-06_13.qdimacs | 3 | 15 | 16 | 17 | 89 | 91 | 107 | 122 | 7106 | 4745 | 1424 | 3304 | >120 | >120 | 5.53 | 2.332 | 120 | 120 | 5.53 | 2.332 | ||||||||||||||||||
d-1-NN-06_14.qdimacs | 3 | 15 | 18 | 17 | 89 | 103 | 107 | 134 | 7816 | 5157 | 1424 | 3716 | >120 | >120 | 5.53 | 2.7 | 120 | 120 | 5.53 | 2.7 | ||||||||||||||||||
d-1-NN-06_15.qdimacs | 3 | 15 | 19 | 17 | 89 | 112 | 107 | 141 | 8181 | 5441 | 1424 | 4000 | >120 | >120 | 6.73 | 3.096 | 120 | 120 | 6.73 | 3.096 | ||||||||||||||||||
d-1-NN-06_16.qdimacs | 3 | 15 | 22 | 17 | 89 | 122 | 107 | 153 | 9177 | 6010 | 1424 | 4569 | >120 | >120 | 8 | 3.732 | 120 | 120 | 8 | 3.732 | ||||||||||||||||||
d-1-NN-06_17.qdimacs | 3 | 19 | 20 | 17 | 99 | 101 | 124 | 139 | 10187 | 6659 | 1980 | 4662 | >120 | >120 | 27.49 | 7.072 | 120 | 120 | 27.49 | 7.072 | ||||||||||||||||||
d-1-NN-06_18.qdimacs | 3 | 19 | 22 | 17 | 99 | 113 | 124 | 151 | 11027 | 7139 | 1980 | 5142 | >120 | >120 | 30.09 | 8.104 | 120 | 120 | 30.09 | 8.104 | ||||||||||||||||||
d-1-NN-06_19.qdimacs | 3 | 19 | 23 | 17 | 99 | 122 | 124 | 158 | 11453 | 7469 | 1980 | 5472 | >120 | >120 | 31.4 | 9.184 | 120 | 120 | 31.4 | 9.184 | ||||||||||||||||||
d-1-NN-06_20.qdimacs | 3 | 19 | 26 | 17 | 99 | 132 | 124 | 170 | 12596 | 8108 | 1980 | 6111 | >120 | >120 | 36.19 | 10.46 | 120 | 120 | 36.19 | 10.46 | ||||||||||||||||||
d-1-NN-06_21.qdimacs | 3 | 21 | 22 | 17 | 106 | 108 | 137 | 152 | 12194 | 7916 | 2332 | 5567 | >120 | >120 | 58.06 | 11.808 | 120 | 120 | 58.06 | 11.808 | ||||||||||||||||||
d-1-NN-06_22.qdimacs | 3 | 21 | 24 | 17 | 106 | 120 | 137 | 164 | 13108 | 8434 | 2332 | 6085 | >120 | >120 | 62.41 | 13.6 | 120 | 120 | 62.41 | 13.6 | ||||||||||||||||||
d-1-NN-06_23.qdimacs | 3 | 21 | 25 | 17 | 106 | 129 | 137 | 171 | 13569 | 8789 | 2332 | 6440 | >120 | >120 | 67.27 | 14.84 | 120 | 120 | 67.27 | 14.84 | ||||||||||||||||||
d-1-NN-06_24.qdimacs | 3 | 21 | 28 | 17 | 106 | 139 | 137 | 183 | 14799 | 9469 | 2332 | 7120 | >120 | >120 | 70.87 | 17.373 | 120 | 120 | 70.87 | 17.373 | ||||||||||||||||||
d-1-NN-06_25.qdimacs | 3 | 23 | 24 | 17 | 114 | 116 | 152 | 167 | 14503 | 9378 | 2736 | 6625 | >120 | >120 | 62.54 | 18.549 | 120 | 120 | 62.54 | 18.549 | ||||||||||||||||||
d-1-NN-06_26.qdimacs | 3 | 23 | 26 | 17 | 114 | 128 | 152 | 179 | 15495 | 9936 | 2736 | 7183 | >120 | >120 | 66.38 | 21.657 | 120 | 120 | 66.38 | 21.657 | ||||||||||||||||||
d-1-NN-06_27.qdimacs | 3 | 23 | 27 | 17 | 114 | 137 | 152 | 186 | 15993 | 10317 | 2736 | 7564 | >120 | >120 | 69.62 | 23.105 | 120 | 120 | 69.62 | 23.105 | ||||||||||||||||||
d-1-NN-06_28.qdimacs | 3 | 23 | 30 | 17 | 114 | 147 | 152 | 198 | 17316 | 11041 | 2736 | 8288 | >120 | >120 | 72.84 | 26.225 | 120 | 120 | 72.84 | 26.225 | ||||||||||||||||||
07 | d-1-NN-07_01.qdimacs | 3 | 8 | 9 | 19 | 47 | 49 | 59 | 74 | 2385 | 1478 | 423 | 1036 | >120 | >120 | 0.13 | 0.188 | 120 | 120 | 0.13 | 0.188 | |||||||||||||||||
d-1-NN-07_02.qdimacs | 3 | 8 | 11 | 19 | 47 | 61 | 59 | 86 | 2829 | 1722 | 423 | 1280 | >120 | >120 | 0.11 | 0.208 | 120 | 120 | 0.11 | 0.208 | ||||||||||||||||||
d-1-NN-07_03.qdimacs | 3 | 8 | 12 | 19 | 47 | 70 | 59 | 93 | 3068 | 1901 | 423 | 1459 | >120 | >120 | 0.13 | 0.308 | 120 | 120 | 0.13 | 0.308 | ||||||||||||||||||
d-1-NN-07_04.qdimacs | 3 | 8 | 15 | 19 | 47 | 80 | 59 | 105 | 3749 | 2274 | 423 | 1832 | >120 | >120 | 0.16 | 0.276 | 120 | 120 | 0.16 | 0.276 | ||||||||||||||||||
d-1-NN-07_05.qdimacs | 3 | 12 | 13 | 19 | 65 | 67 | 76 | 91 | 4363 | 2821 | 845 | 1957 | >120 | >120 | 0.5 | 0.956 | 120 | 120 | 0.5 | 0.956 | ||||||||||||||||||
d-1-NN-07_06.qdimacs | 3 | 12 | 15 | 19 | 65 | 79 | 76 | 103 | 4939 | 3149 | 845 | 2285 | >120 | >120 | 0.6 | 1.036 | 120 | 120 | 0.6 | 1.036 | ||||||||||||||||||
d-1-NN-07_07.qdimacs | 3 | 12 | 16 | 19 | 65 | 88 | 76 | 110 | 5240 | 3382 | 845 | 2518 | >120 | >120 | 1.03 | 1.128 | 120 | 120 | 1.03 | 1.128 | ||||||||||||||||||
d-1-NN-07_08.qdimacs | 3 | 12 | 19 | 19 | 65 | 98 | 76 | 122 | 6071 | 3849 | 845 | 2985 | >120 | >120 | 0.91 | 1.364 | 120 | 120 | 0.91 | 1.364 | ||||||||||||||||||
d-1-NN-07_09.qdimacs | 3 | 13 | 14 | 19 | 76 | 78 | 90 | 105 | 5405 | 3548 | 1064 | 2465 | >120 | >120 | 1.49 | 1.504 | 120 | 120 | 1.49 | 1.504 | ||||||||||||||||||
d-1-NN-07_10.qdimacs | 3 | 13 | 16 | 19 | 76 | 90 | 90 | 117 | 6033 | 3910 | 1064 | 2827 | >120 | >120 | 1.69 | 1.8 | 120 | 120 | 1.69 | 1.8 | ||||||||||||||||||
d-1-NN-07_11.qdimacs | 3 | 13 | 17 | 19 | 76 | 99 | 90 | 124 | 6359 | 4163 | 1064 | 3080 | >120 | >120 | 1.98 | 2.008 | 120 | 120 | 1.98 | 2.008 | ||||||||||||||||||
d-1-NN-07_12.qdimacs | 3 | 13 | 20 | 19 | 76 | 109 | 90 | 136 | 7256 | 4673 | 1064 | 3590 | >120 | >120 | 2.23 | 2.38 | 120 | 120 | 2.23 | 2.38 | ||||||||||||||||||
d-1-NN-07_13.qdimacs | 3 | 15 | 16 | 19 | 89 | 91 | 107 | 122 | 7106 | 4745 | 1424 | 3302 | >120 | >120 | 4.91 | 2.364 | 120 | 120 | 4.91 | 2.364 | ||||||||||||||||||
d-1-NN-07_14.qdimacs | 3 | 15 | 18 | 19 | 89 | 103 | 107 | 134 | 7816 | 5157 | 1424 | 3714 | >120 | >120 | 5.63 | 3.304 | 120 | 120 | 5.63 | 3.304 | ||||||||||||||||||
d-1-NN-07_15.qdimacs | 3 | 15 | 19 | 19 | 89 | 112 | 107 | 141 | 8181 | 5441 | 1424 | 3998 | >120 | >120 | 6.26 | 2.972 | 120 | 120 | 6.26 | 2.972 | ||||||||||||||||||
d-1-NN-07_16.qdimacs | 3 | 15 | 22 | 19 | 89 | 122 | 107 | 153 | 9177 | 6010 | 1424 | 4567 | >120 | >120 | 7.97 | 3.74 | 120 | 120 | 7.97 | 3.74 | ||||||||||||||||||
d-1-NN-07_17.qdimacs | 3 | 19 | 20 | 19 | 99 | 101 | 124 | 139 | 10187 | 6659 | 1980 | 4660 | >120 | >120 | 28.6 | 6.864 | 120 | 120 | 28.6 | 6.864 | ||||||||||||||||||
d-1-NN-07_18.qdimacs | 3 | 19 | 22 | 19 | 99 | 113 | 124 | 151 | 11027 | 7139 | 1980 | 5140 | >120 | >120 | 32.3 | 8.628 | 120 | 120 | 32.3 | 8.628 | ||||||||||||||||||
d-1-NN-07_19.qdimacs | 3 | 19 | 23 | 19 | 99 | 122 | 124 | 158 | 11453 | 7469 | 1980 | 5470 | >120 | >120 | 32.46 | 8.716 | 120 | 120 | 32.46 | 8.716 | ||||||||||||||||||
d-1-NN-07_20.qdimacs | 3 | 19 | 26 | 19 | 99 | 132 | 124 | 170 | 12596 | 8108 | 1980 | 6109 | >120 | >120 | 35.21 | 10.408 | 120 | 120 | 35.21 | 10.408 | ||||||||||||||||||
d-1-NN-07_21.qdimacs | 3 | 21 | 22 | 19 | 106 | 108 | 137 | 152 | 12194 | 7916 | 2332 | 5565 | >120 | >120 | 56.92 | 11.792 | 120 | 120 | 56.92 | 11.792 | ||||||||||||||||||
d-1-NN-07_22.qdimacs | 3 | 21 | 24 | 19 | 106 | 120 | 137 | 164 | 13108 | 8434 | 2332 | 6083 | >120 | >120 | 61.9 | 14.4 | 120 | 120 | 61.9 | 14.4 | ||||||||||||||||||
d-1-NN-07_23.qdimacs | 3 | 21 | 25 | 19 | 106 | 129 | 137 | 171 | 13569 | 8789 | 2332 | 6438 | >120 | >120 | 66.1 | 15.14 | 120 | 120 | 66.1 | 15.14 | ||||||||||||||||||
d-1-NN-07_24.qdimacs | 3 | 21 | 28 | 19 | 106 | 139 | 137 | 183 | 14799 | 9469 | 2332 | 7118 | >120 | >120 | 73.88 | 17.789 | 120 | 120 | 73.88 | 17.789 | ||||||||||||||||||
d-1-NN-07_25.qdimacs | 3 | 23 | 24 | 19 | 114 | 116 | 152 | 167 | 14503 | 9378 | 2736 | 6623 | >120 | >120 | 64.15 | >120 | 120 | 120 | 64.15 | 120 | ||||||||||||||||||
d-1-NN-07_26.qdimacs | 3 | 23 | 26 | 19 | 114 | 128 | 152 | 179 | 15495 | 9936 | 2736 | 7181 | >120 | >120 | 66.76 | >120 | 120 | 120 | 66.76 | 120 | ||||||||||||||||||
d-1-NN-07_27.qdimacs | 3 | 23 | 27 | 19 | 114 | 137 | 152 | 186 | 15993 | 10317 | 2736 | 7562 | >120 | >120 | 69.82 | >120 | 120 | 120 | 69.82 | 120 | ||||||||||||||||||
d-1-NN-07_28.qdimacs | 3 | 23 | 30 | 19 | 114 | 147 | 152 | 198 | 17316 | 11041 | 2736 | 8286 | >120 | >120 | 73.31 | >120 | 120 | 120 | 73.31 | 120 | ||||||||||||||||||
08 | d-1-NN-08_01.qdimacs | 4 | 8 | 9 | 23 | 47 | 49 | 59 | 74 | 2385 | 1478 | 423 | 1032 | >120 | >120 | 0.16 | 0.164 | 120 | 120 | 0.16 | 0.164 | |||||||||||||||||
d-1-NN-08_02.qdimacs | 4 | 8 | 11 | 23 | 47 | 61 | 59 | 86 | 2829 | 1722 | 423 | 1276 | >120 | >120 | 0.19 | 0.256 | 120 | 120 | 0.19 | 0.256 | ||||||||||||||||||
d-1-NN-08_03.qdimacs | 4 | 8 | 12 | 23 | 47 | 70 | 59 | 93 | 3068 | 1901 | 423 | 1455 | >120 | >120 | 0.2 | 0.232 | 120 | 120 | 0.2 | 0.232 | ||||||||||||||||||
d-1-NN-08_04.qdimacs | 4 | 8 | 15 | 23 | 47 | 80 | 59 | 105 | 3749 | 2274 | 423 | 1828 | >120 | >120 | 0.22 | 0.42 | 120 | 120 | 0.22 | 0.42 | ||||||||||||||||||
d-1-NN-08_05.qdimacs | 4 | 12 | 13 | 23 | 65 | 67 | 76 | 91 | 4363 | 2821 | 845 | 1953 | >120 | >120 | 0.79 | 1.024 | 120 | 120 | 0.79 | 1.024 | ||||||||||||||||||
d-1-NN-08_06.qdimacs | 4 | 12 | 15 | 23 | 65 | 79 | 76 | 103 | 4939 | 3149 | 845 | 2281 | >120 | >120 | 0.87 | 1.18 | 120 | 120 | 0.87 | 1.18 | ||||||||||||||||||
d-1-NN-08_07.qdimacs | 4 | 12 | 16 | 23 | 65 | 88 | 76 | 110 | 5240 | 3382 | 845 | 2514 | >120 | >120 | 0.95 | 1.244 | 120 | 120 | 0.95 | 1.244 | ||||||||||||||||||
d-1-NN-08_08.qdimacs | 4 | 12 | 19 | 23 | 65 | 98 | 76 | 122 | 6071 | 3849 | 845 | 2981 | >120 | >120 | 1.37 | 1.492 | 120 | 120 | 1.37 | 1.492 | ||||||||||||||||||
d-1-NN-08_09.qdimacs | 4 | 13 | 14 | 23 | 76 | 78 | 90 | 105 | 5405 | 3548 | 1064 | 2461 | >120 | >120 | 1.43 | 1.392 | 120 | 120 | 1.43 | 1.392 | ||||||||||||||||||
d-1-NN-08_10.qdimacs | 4 | 13 | 16 | 23 | 76 | 90 | 90 | 117 | 6033 | 3910 | 1064 | 2823 | >120 | >120 | 1.73 | 1.808 | 120 | 120 | 1.73 | 1.808 | ||||||||||||||||||
d-1-NN-08_11.qdimacs | 4 | 13 | 17 | 23 | 76 | 99 | 90 | 124 | 6359 | 4163 | 1064 | 3076 | >120 | >120 | 1.73 | 1.912 | 120 | 120 | 1.73 | 1.912 | ||||||||||||||||||
d-1-NN-08_12.qdimacs | 4 | 13 | 20 | 23 | 76 | 109 | 90 | 136 | 7256 | 4673 | 1064 | 3586 | >120 | >120 | 2.62 | 2.408 | 120 | 120 | 2.62 | 2.408 | ||||||||||||||||||
d-1-NN-08_13.qdimacs | 4 | 15 | 16 | 23 | 89 | 91 | 107 | 122 | 7106 | 4745 | 1424 | 3298 | >120 | >120 | 5.01 | 2.252 | 120 | 120 | 5.01 | 2.252 | ||||||||||||||||||
d-1-NN-08_14.qdimacs | 4 | 15 | 18 | 23 | 89 | 103 | 107 | 134 | 7816 | 5157 | 1424 | 3710 | >120 | >120 | 6.2 | 2.8 | 120 | 120 | 6.2 | 2.8 | ||||||||||||||||||
d-1-NN-08_15.qdimacs | 4 | 15 | 19 | 23 | 89 | 112 | 107 | 141 | 8181 | 5441 | 1424 | 3994 | >120 | >120 | 6.71 | 3.196 | 120 | 120 | 6.71 | 3.196 | ||||||||||||||||||
d-1-NN-08_16.qdimacs | 4 | 15 | 22 | 23 | 89 | 122 | 107 | 153 | 9177 | 6010 | 1424 | 4563 | >120 | >120 | 7.95 | 3.68 | 120 | 120 | 7.95 | 3.68 | ||||||||||||||||||
d-1-NN-08_17.qdimacs | 4 | 19 | 20 | 23 | 99 | 101 | 124 | 139 | 10187 | 6659 | 1980 | 4656 | >120 | >120 | 28.01 | 7.28 | 120 | 120 | 28.01 | 7.28 | ||||||||||||||||||
d-1-NN-08_18.qdimacs | 4 | 19 | 22 | 23 | 99 | 113 | 124 | 151 | 11027 | 7139 | 1980 | 5136 | >120 | >120 | 31.43 | 8.092 | 120 | 120 | 31.43 | 8.092 | ||||||||||||||||||
d-1-NN-08_19.qdimacs | 4 | 19 | 23 | 23 | 99 | 122 | 124 | 158 | 11453 | 7469 | 1980 | 5466 | >120 | >120 | 34.95 | 9.14 | 120 | 120 | 34.95 | 9.14 | ||||||||||||||||||
d-1-NN-08_20.qdimacs | 4 | 19 | 26 | 23 | 99 | 132 | 124 | 170 | 12596 | 8108 | 1980 | 6105 | >120 | >120 | 37.18 | 10.716 | 120 | 120 | 37.18 | 10.716 | ||||||||||||||||||
d-1-NN-08_21.qdimacs | 4 | 21 | 22 | 23 | 106 | 108 | 137 | 152 | 12194 | 7916 | 2332 | 5561 | >120 | >120 | 58.97 | 12.108 | 120 | 120 | 58.97 | 12.108 | ||||||||||||||||||
d-1-NN-08_22.qdimacs | 4 | 21 | 24 | 23 | 106 | 120 | 137 | 164 | 13108 | 8434 | 2332 | 6079 | >120 | >120 | 63.64 | 14.028 | 120 | 120 | 63.64 | 14.028 | ||||||||||||||||||
d-1-NN-08_23.qdimacs | 4 | 21 | 25 | 23 | 106 | 129 | 137 | 171 | 13569 | 8789 | 2332 | 6434 | >120 | >120 | 67.66 | 14.728 | 120 | 120 | 67.66 | 14.728 | ||||||||||||||||||
d-1-NN-08_24.qdimacs | 4 | 21 | 28 | 23 | 106 | 139 | 137 | 183 | 14799 | 9469 | 2332 | 7114 | >120 | >120 | 71.61 | 17.12 | 120 | 120 | 71.61 | 17.12 | ||||||||||||||||||
d-1-NN-08_25.qdimacs | 4 | 23 | 24 | 23 | 114 | 116 | 152 | 167 | 14503 | 9378 | 2736 | 6619 | >120 | >120 | 65.32 | 17.869 | 120 | 120 | 65.32 | 17.869 | ||||||||||||||||||
d-1-NN-08_26.qdimacs | 4 | 23 | 26 | 23 | 114 | 128 | 152 | 179 | 15495 | 9936 | 2736 | 7177 | >120 | >120 | 68.15 | 21.009 | 120 | 120 | 68.15 | 21.009 | ||||||||||||||||||
d-1-NN-08_27.qdimacs | 4 | 23 | 27 | 23 | 114 | 137 | 152 | 186 | 15993 | 10317 | 2736 | 7558 | >120 | >120 | 69.81 | 21.993 | 120 | 120 | 69.81 | 21.993 | ||||||||||||||||||
d-1-NN-08_28.qdimacs | 4 | 23 | 30 | 23 | 114 | 147 | 152 | 198 | 17316 | 11041 | 2736 | 8282 | >120 | >120 | 75.73 | 25.837 | 120 | 120 | 75.73 | 25.837 | ||||||||||||||||||
09 | d-1-NN-09_01.qdimacs | 4 | 9 | 10 | 26 | 49 | 51 | 59 | 74 | 2681 | 1679 | 490 | 1163 | >120 | >120 | 3.24 | 0.344 | 120 | 120 | 3.24 | 0.344 | |||||||||||||||||
d-1-NN-09_02.qdimacs | 4 | 9 | 11 | 28 | 51 | 61 | 61 | 86 | 3041 | 1891 | 510 | 1353 | >120 | >120 | 4.72 | 0.532 | 120 | 120 | 4.72 | 0.532 | ||||||||||||||||||
d-1-NN-09_03.qdimacs | 4 | 9 | 12 | 28 | 51 | 70 | 61 | 93 | 3280 | 2070 | 510 | 1532 | >120 | >120 | 0.24 | 0.372 | 120 | 120 | 0.24 | 0.372 | ||||||||||||||||||
d-1-NN-09_04.qdimacs | 4 | 9 | 15 | 28 | 51 | 80 | 61 | 105 | 3961 | 2443 | 510 | 1905 | >120 | >120 | 0.22 | 0.62 | 120 | 120 | 0.22 | 0.62 | ||||||||||||||||||
d-1-NN-09_05.qdimacs | 4 | 13 | 14 | 26 | 67 | 69 | 76 | 91 | 4747 | 3091 | 938 | 2127 | >120 | >120 | 11.7 | 1.188 | 120 | 120 | 11.7 | 1.188 | ||||||||||||||||||
d-1-NN-09_06.qdimacs | 4 | 13 | 15 | 28 | 69 | 79 | 78 | 103 | 5221 | 3377 | 966 | 2383 | >120 | >120 | 13.13 | 1.688 | 120 | 120 | 13.13 | 1.688 | ||||||||||||||||||
d-1-NN-09_07.qdimacs | 4 | 13 | 16 | 28 | 69 | 88 | 78 | 110 | 5522 | 3610 | 966 | 2616 | >120 | >120 | 1.08 | 1.708 | 120 | 120 | 1.08 | 1.708 | ||||||||||||||||||
d-1-NN-09_08.qdimacs | 4 | 13 | 19 | 28 | 69 | 98 | 78 | 122 | 6353 | 4077 | 966 | 3083 | >120 | >120 | 1.31 | 2.228 | 120 | 120 | 1.31 | 2.228 | ||||||||||||||||||
d-1-NN-09_09.qdimacs | 4 | 14 | 15 | 26 | 78 | 80 | 90 | 105 | 5843 | 3858 | 1170 | 2662 | >120 | >120 | 22.88 | 2.036 | 120 | 120 | 22.88 | 2.036 | ||||||||||||||||||
d-1-NN-09_10.qdimacs | 4 | 14 | 16 | 28 | 80 | 90 | 92 | 117 | 6355 | 4169 | 1200 | 2941 | >120 | >120 | 26.63 | 3.116 | 120 | 120 | 26.63 | 3.116 | ||||||||||||||||||
d-1-NN-09_11.qdimacs | 4 | 14 | 17 | 28 | 80 | 99 | 92 | 124 | 6681 | 4422 | 1200 | 3194 | >120 | >120 | 2.12 | 2.528 | 120 | 120 | 2.12 | 2.528 | ||||||||||||||||||
d-1-NN-09_12.qdimacs | 4 | 14 | 20 | 28 | 80 | 109 | 92 | 136 | 7578 | 4932 | 1200 | 3704 | >120 | >120 | 2.52 | 3.192 | 120 | 120 | 2.52 | 3.192 | ||||||||||||||||||
d-1-NN-09_13.qdimacs | 4 | 16 | 17 | 26 | 91 | 93 | 107 | 122 | 7610 | 5106 | 1547 | 3533 | >120 | >120 | 47.56 | 3.184 | 120 | 120 | 47.56 | 3.184 | ||||||||||||||||||
d-1-NN-09_14.qdimacs | 4 | 16 | 18 | 28 | 93 | 103 | 109 | 134 | 8187 | 5458 | 1581 | 3849 | >120 | >120 | 62.56 | 4.724 | 120 | 120 | 62.56 | 4.724 | ||||||||||||||||||
d-1-NN-09_15.qdimacs | 4 | 16 | 19 | 28 | 93 | 112 | 109 | 141 | 8552 | 5742 | 1581 | 4133 | >120 | >120 | 6.45 | 3.848 | 120 | 120 | 6.45 | 3.848 | ||||||||||||||||||
d-1-NN-09_16.qdimacs | 4 | 16 | 22 | 28 | 93 | 122 | 109 | 153 | 9548 | 6311 | 1581 | 4702 | >120 | >120 | 8.08 | 5.056 | 120 | 120 | 8.08 | 5.056 | ||||||||||||||||||
d-1-NN-09_17.qdimacs | 4 | 20 | 21 | 26 | 101 | 103 | 124 | 139 | 10773 | 7073 | 2121 | 4926 | >120 | >120 | >120.030 | 8.544 | 120 | 120 | 120.03 | 8.544 | ||||||||||||||||||
d-1-NN-09_18.qdimacs | 4 | 20 | 22 | 28 | 103 | 113 | 126 | 151 | 11463 | 7491 | 2163 | 5300 | >120 | >120 | >120.010 | 12.068 | 120 | 120 | 120.01 | 12.068 | ||||||||||||||||||
d-1-NN-09_19.qdimacs | 4 | 20 | 23 | 28 | 103 | 122 | 126 | 158 | 11889 | 7821 | 2163 | 5630 | >120 | >120 | 34.33 | 10.9 | 120 | 120 | 34.33 | 10.9 | ||||||||||||||||||
d-1-NN-09_20.qdimacs | 4 | 20 | 26 | 28 | 103 | 132 | 126 | 170 | 13032 | 8460 | 2163 | 6269 | >120 | >120 | 36.7 | 13.728 | 120 | 120 | 36.7 | 13.728 | ||||||||||||||||||
d-1-NN-09_21.qdimacs | 4 | 22 | 23 | 26 | 108 | 110 | 137 | 152 | 12833 | 8365 | 2484 | 5855 | >120 | >120 | >120.020 | 14.304 | 120 | 120 | 120.02 | 14.304 | ||||||||||||||||||
d-1-NN-09_22.qdimacs | 4 | 22 | 24 | 28 | 110 | 120 | 139 | 164 | 13584 | 8818 | 2530 | 6260 | >120 | >120 | >120.030 | 18.405 | 120 | 120 | 120.03 | 18.405 | ||||||||||||||||||
d-1-NN-09_23.qdimacs | 4 | 22 | 25 | 28 | 110 | 129 | 139 | 171 | 14045 | 9173 | 2530 | 6615 | >120 | >120 | 67.46 | 17.096 | 120 | 120 | 67.46 | 17.096 | ||||||||||||||||||
d-1-NN-09_24.qdimacs | 4 | 22 | 28 | 28 | 110 | 139 | 139 | 183 | 15275 | 9853 | 2530 | 7295 | >120 | >120 | 72.21 | 20.737 | 120 | 120 | 72.21 | 20.737 | ||||||||||||||||||
d-1-NN-09_25.qdimacs | 4 | 24 | 25 | 26 | 116 | 118 | 152 | 167 | 15200 | 9866 | 2900 | 6940 | >120 | >120 | >120.040 | 22.433 | 120 | 120 | 120.04 | 22.433 | ||||||||||||||||||
d-1-NN-09_26.qdimacs | 4 | 24 | 26 | 28 | 118 | 128 | 154 | 179 | 16014 | 10355 | 2950 | 7377 | >120 | >120 | >120.080 | 28.093 | 120 | 120 | 120.08 | 28.093 | ||||||||||||||||||
d-1-NN-09_27.qdimacs | 4 | 24 | 27 | 28 | 118 | 137 | 154 | 186 | 16512 | 10736 | 2950 | 7758 | >120 | >120 | 65.67 | 26.989 | 120 | 120 | 65.67 | 26.989 | ||||||||||||||||||
d-1-NN-09_28.qdimacs | 4 | 24 | 30 | 28 | 118 | 147 | 154 | 198 | 17835 | 11460 | 2950 | 8482 | >120 | >120 | 68.3 | 31.653 | 120 | 120 | 68.3 | 31.653 | ||||||||||||||||||
10 | d-1-NN-10_01.qdimacs | 5 | 9 | 10 | 28 | 49 | 51 | 59 | 74 | 2681 | 1679 | 490 | 1161 | >120 | >120 | 0.18 | 0.264 | 120 | 120 | 0.18 | 0.264 | |||||||||||||||||
d-1-NN-10_02.qdimacs | 5 | 9 | 11 | 30 | 51 | 61 | 61 | 86 | 3041 | 1891 | 510 | 1351 | >120 | >120 | 0.18 | 0.256 | 120 | 120 | 0.18 | 0.256 | ||||||||||||||||||
d-1-NN-10_03.qdimacs | 5 | 9 | 12 | 30 | 51 | 70 | 61 | 93 | 3280 | 2070 | 510 | 1530 | >120 | >120 | 0.2 | 0.408 | 120 | 120 | 0.2 | 0.408 | ||||||||||||||||||
d-1-NN-10_04.qdimacs | 5 | 9 | 15 | 30 | 51 | 80 | 61 | 105 | 3961 | 2443 | 510 | 1903 | >120 | >120 | 0.24 | 0.532 | 120 | 120 | 0.24 | 0.532 | ||||||||||||||||||
d-1-NN-10_05.qdimacs | 5 | 13 | 14 | 28 | 67 | 69 | 76 | 91 | 4747 | 3091 | 938 | 2125 | >120 | >120 | 0.84 | 1.048 | 120 | 120 | 0.84 | 1.048 | ||||||||||||||||||
d-1-NN-10_06.qdimacs | 5 | 13 | 15 | 30 | 69 | 79 | 78 | 103 | 5221 | 3377 | 966 | 2381 | >120 | >120 | 1.02 | 1.32 | 120 | 120 | 1.02 | 1.32 | ||||||||||||||||||
d-1-NN-10_07.qdimacs | 5 | 13 | 16 | 30 | 69 | 88 | 78 | 110 | 5522 | 3610 | 966 | 2614 | >120 | >120 | 1.06 | 1.864 | 120 | 120 | 1.06 | 1.864 | ||||||||||||||||||
d-1-NN-10_08.qdimacs | 5 | 13 | 19 | 30 | 69 | 98 | 78 | 122 | 6353 | 4077 | 966 | 3081 | >120 | >120 | 1.35 | 1.744 | 120 | 120 | 1.35 | 1.744 | ||||||||||||||||||
d-1-NN-10_09.qdimacs | 5 | 14 | 15 | 28 | 78 | 80 | 90 | 105 | 5843 | 3858 | 1170 | 2660 | >120 | >120 | 2.15 | 1.784 | 120 | 120 | 2.15 | 1.784 | ||||||||||||||||||
d-1-NN-10_10.qdimacs | 5 | 14 | 16 | 30 | 80 | 90 | 92 | 117 | 6355 | 4169 | 1200 | 2939 | >120 | >120 | 2.36 | 2.1 | 120 | 120 | 2.36 | 2.1 | ||||||||||||||||||
d-1-NN-10_11.qdimacs | 5 | 14 | 17 | 30 | 80 | 99 | 92 | 124 | 6681 | 4422 | 1200 | 3192 | >120 | >120 | 2.73 | 2.32 | 120 | 120 | 2.73 | 2.32 | ||||||||||||||||||
d-1-NN-10_12.qdimacs | 5 | 14 | 20 | 30 | 80 | 109 | 92 | 136 | 7578 | 4932 | 1200 | 3702 | >120 | >120 | 3.71 | 2.924 | 120 | 120 | 3.71 | 2.924 | ||||||||||||||||||
d-1-NN-10_13.qdimacs | 5 | 16 | 17 | 28 | 91 | 93 | 107 | 122 | 7610 | 5106 | 1547 | 3531 | >120 | >120 | 6.6 | 2.648 | 120 | 120 | 6.6 | 2.648 | ||||||||||||||||||
d-1-NN-10_14.qdimacs | 5 | 16 | 18 | 30 | 93 | 103 | 109 | 134 | 8187 | 5458 | 1581 | 3847 | >120 | >120 | 7.61 | 3.324 | 120 | 120 | 7.61 | 3.324 | ||||||||||||||||||
d-1-NN-10_15.qdimacs | 5 | 16 | 19 | 30 | 93 | 112 | 109 | 141 | 8552 | 5742 | 1581 | 4131 | >120 | >120 | 8.22 | 3.708 | 120 | 120 | 8.22 | 3.708 | ||||||||||||||||||
d-1-NN-10_16.qdimacs | 5 | 16 | 22 | 30 | 93 | 122 | 109 | 153 | 9548 | 6311 | 1581 | 4700 | >120 | >120 | 10.01 | 4.508 | 120 | 120 | 10.01 | 4.508 | ||||||||||||||||||
d-1-NN-10_17.qdimacs | 5 | 20 | 21 | 28 | 101 | 103 | 124 | 139 | 10773 | 7073 | 2121 | 4924 | >120 | >120 | 36.48 | 7.868 | 120 | 120 | 36.48 | 7.868 | ||||||||||||||||||
d-1-NN-10_18.qdimacs | 5 | 20 | 22 | 30 | 103 | 113 | 126 | 151 | 11463 | 7491 | 2163 | 5298 | >120 | >120 | 40.5 | 10.048 | 120 | 120 | 40.5 | 10.048 | ||||||||||||||||||
d-1-NN-10_19.qdimacs | 5 | 20 | 23 | 30 | 103 | 122 | 126 | 158 | 11889 | 7821 | 2163 | 5628 | >120 | >120 | 40.21 | 10.42 | 120 | 120 | 40.21 | 10.42 | ||||||||||||||||||
d-1-NN-10_20.qdimacs | 5 | 20 | 26 | 30 | 103 | 132 | 126 | 170 | 13032 | 8460 | 2163 | 6267 | >120 | >120 | 44.33 | 12.412 | 120 | 120 | 44.33 | 12.412 | ||||||||||||||||||
d-1-NN-10_21.qdimacs | 5 | 22 | 23 | 28 | 108 | 110 | 137 | 152 | 12833 | 8365 | 2484 | 5853 | >120 | >120 | 70.66 | 13.372 | 120 | 120 | 70.66 | 13.372 | ||||||||||||||||||
d-1-NN-10_22.qdimacs | 5 | 22 | 24 | 30 | 110 | 120 | 139 | 164 | 13584 | 8818 | 2530 | 6258 | >120 | >120 | 82.33 | 16.052 | 120 | 120 | 82.33 | 16.052 | ||||||||||||||||||
d-1-NN-10_23.qdimacs | 5 | 22 | 25 | 30 | 110 | 129 | 139 | 171 | 14045 | 9173 | 2530 | 6613 | >120 | >120 | 79.78 | 17.24 | 120 | 120 | 79.78 | 17.24 | ||||||||||||||||||
d-1-NN-10_24.qdimacs | 5 | 22 | 28 | 30 | 110 | 139 | 139 | 183 | 15275 | 9853 | 2530 | 7293 | >120 | >120 | 86.64 | 19.801 | 120 | 120 | 86.64 | 19.801 | ||||||||||||||||||
d-1-NN-10_25.qdimacs | 5 | 24 | 25 | 28 | 116 | 118 | 152 | 167 | 15200 | 9866 | 2900 | 6938 | >120 | >120 | 82.08 | 20.933 | 120 | 120 | 82.08 | 20.933 | ||||||||||||||||||
d-1-NN-10_26.qdimacs | 5 | 24 | 26 | 30 | 118 | 128 | 154 | 179 | 16014 | 10355 | 2950 | 7375 | >120 | >120 | 88.57 | 25.613 | 120 | 120 | 88.57 | 25.613 | ||||||||||||||||||
d-1-NN-10_27.qdimacs | 5 | 24 | 27 | 30 | 118 | 137 | 154 | 186 | 16512 | 10736 | 2950 | 7756 | >120 | >120 | 90.86 | 26.405 | 120 | 120 | 90.86 | 26.405 | ||||||||||||||||||
d-1-NN-10_28.qdimacs | 5 | 24 | 30 | 30 | 118 | 147 | 154 | 198 | 17835 | 11460 | 2950 | 8480 | >120 | >120 | 93.14 | 31.761 | 120 | 120 | 93.14 | 31.761 | ||||||||||||||||||
11 | d-1-NN-11_01.qdimacs | 6 | 9 | 10 | 29 | 49 | 51 | 59 | 74 | 2681 | 1679 | 490 | 1160 | >120 | >120 | 0.22 | 0.248 | 120 | 120 | 0.22 | 0.248 | |||||||||||||||||
d-1-NN-11_02.qdimacs | 6 | 9 | 11 | 31 | 51 | 61 | 61 | 86 | 3041 | 1891 | 510 | 1350 | >120 | >120 | 0.23 | 0.252 | 120 | 120 | 0.23 | 0.252 | ||||||||||||||||||
d-1-NN-11_03.qdimacs | 6 | 9 | 12 | 31 | 51 | 70 | 61 | 93 | 3280 | 2070 | 510 | 1529 | >120 | >120 | 0.25 | 0.388 | 120 | 120 | 0.25 | 0.388 | ||||||||||||||||||
d-1-NN-11_04.qdimacs | 6 | 9 | 15 | 31 | 51 | 80 | 61 | 105 | 3961 | 2443 | 510 | 1902 | >120 | >120 | 0.27 | 0.504 | 120 | 120 | 0.27 | 0.504 | ||||||||||||||||||
d-1-NN-11_05.qdimacs | 6 | 13 | 14 | 29 | 67 | 69 | 76 | 91 | 4747 | 3091 | 938 | 2124 | >120 | >120 | 1.13 | 1.236 | 120 | 120 | 1.13 | 1.236 | ||||||||||||||||||
d-1-NN-11_06.qdimacs | 6 | 13 | 15 | 31 | 69 | 79 | 78 | 103 | 5221 | 3377 | 966 | 2380 | >120 | >120 | 1.1 | 1.34 | 120 | 120 | 1.1 | 1.34 | ||||||||||||||||||
d-1-NN-11_07.qdimacs | 6 | 13 | 16 | 31 | 69 | 88 | 78 | 110 | 5522 | 3610 | 966 | 2613 | >120 | >120 | 1.34 | 1.468 | 120 | 120 | 1.34 | 1.468 | ||||||||||||||||||
d-1-NN-11_08.qdimacs | 6 | 13 | 19 | 31 | 69 | 98 | 78 | 122 | 6353 | 4077 | 966 | 3080 | >120 | >120 | 1.61 | 1.816 | 120 | 120 | 1.61 | 1.816 | ||||||||||||||||||
d-1-NN-11_09.qdimacs | 6 | 14 | 15 | 29 | 78 | 80 | 90 | 105 | 5843 | 3858 | 1170 | 2659 | >120 | >120 | 2.14 | 1.988 | 120 | 120 | 2.14 | 1.988 | ||||||||||||||||||
d-1-NN-11_10.qdimacs | 6 | 14 | 16 | 31 | 80 | 90 | 92 | 117 | 6355 | 4169 | 1200 | 2938 | >120 | >120 | 2.24 | 2.128 | 120 | 120 | 2.24 | 2.128 | ||||||||||||||||||
d-1-NN-11_11.qdimacs | 6 | 14 | 17 | 31 | 80 | 99 | 92 | 124 | 6681 | 4422 | 1200 | 3191 | >120 | >120 | 2.73 | 2.148 | 120 | 120 | 2.73 | 2.148 | ||||||||||||||||||
d-1-NN-11_12.qdimacs | 6 | 14 | 20 | 31 | 80 | 109 | 92 | 136 | 7578 | 4932 | 1200 | 3701 | >120 | >120 | 2.67 | 2.684 | 120 | 120 | 2.67 | 2.684 | ||||||||||||||||||
d-1-NN-11_13.qdimacs | 6 | 16 | 17 | 29 | 91 | 93 | 107 | 122 | 7610 | 5106 | 1547 | 3530 | >120 | >120 | 7.21 | 2.728 | 120 | 120 | 7.21 | 2.728 | ||||||||||||||||||
d-1-NN-11_14.qdimacs | 6 | 16 | 18 | 31 | 93 | 103 | 109 | 134 | 8187 | 5458 | 1581 | 3846 | >120 | >120 | 7.21 | 3.252 | 120 | 120 | 7.21 | 3.252 | ||||||||||||||||||
d-1-NN-11_15.qdimacs | 6 | 16 | 19 | 31 | 93 | 112 | 109 | 141 | 8552 | 5742 | 1581 | 4130 | >120 | >120 | 9.19 | 3.54 | 120 | 120 | 9.19 | 3.54 | ||||||||||||||||||
d-1-NN-11_16.qdimacs | 6 | 16 | 22 | 31 | 93 | 122 | 109 | 153 | 9548 | 6311 | 1581 | 4699 | >120 | >120 | 9.56 | 4.316 | 120 | 120 | 9.56 | 4.316 | ||||||||||||||||||
d-1-NN-11_17.qdimacs | 6 | 20 | 21 | 29 | 101 | 103 | 124 | 139 | 10773 | 7073 | 2121 | 4923 | >120 | >120 | 35.34 | 7.756 | 120 | 120 | 35.34 | 7.756 | ||||||||||||||||||
d-1-NN-11_18.qdimacs | 6 | 20 | 22 | 31 | 103 | 113 | 126 | 151 | 11463 | 7491 | 2163 | 5297 | >120 | >120 | 39.07 | 9.664 | 120 | 120 | 39.07 | 9.664 | ||||||||||||||||||
d-1-NN-11_19.qdimacs | 6 | 20 | 23 | 31 | 103 | 122 | 126 | 158 | 11889 | 7821 | 2163 | 5627 | >120 | >120 | 42.41 | 10.276 | 120 | 120 | 42.41 | 10.276 | ||||||||||||||||||
d-1-NN-11_20.qdimacs | 6 | 20 | 26 | 31 | 103 | 132 | 126 | 170 | 13032 | 8460 | 2163 | 6266 | >120 | >120 | 44.25 | 12.032 | 120 | 120 | 44.25 | 12.032 | ||||||||||||||||||
d-1-NN-11_21.qdimacs | 6 | 22 | 23 | 29 | 108 | 110 | 137 | 152 | 12833 | 8365 | 2484 | 5852 | >120 | >120 | 73.24 | 13.764 | 120 | 120 | 73.24 | 13.764 | ||||||||||||||||||
d-1-NN-11_22.qdimacs | 6 | 22 | 24 | 31 | 110 | 120 | 139 | 164 | 13584 | 8818 | 2530 | 6257 | >120 | >120 | 78.11 | 15.5 | 120 | 120 | 78.11 | 15.5 | ||||||||||||||||||
d-1-NN-11_23.qdimacs | 6 | 22 | 25 | 31 | 110 | 129 | 139 | 171 | 14045 | 9173 | 2530 | 6612 | >120 | >120 | 81 | 16.504 | 120 | 120 | 81 | 16.504 | ||||||||||||||||||
d-1-NN-11_24.qdimacs | 6 | 22 | 28 | 31 | 110 | 139 | 139 | 183 | 15275 | 9853 | 2530 | 7292 | >120 | >120 | 87.45 | 19.165 | 120 | 120 | 87.45 | 19.165 | ||||||||||||||||||
d-1-NN-11_25.qdimacs | 6 | 24 | 25 | 29 | 116 | 118 | 152 | 167 | 15200 | 9866 | 2900 | 6937 | >120 | >120 | 74.77 | 20.709 | 120 | 120 | 74.77 | 20.709 | ||||||||||||||||||
d-1-NN-11_26.qdimacs | 6 | 24 | 26 | 31 | 118 | 128 | 154 | 179 | 16014 | 10355 | 2950 | 7374 | >120 | >120 | 80.42 | 24.017 | 120 | 120 | 80.42 | 24.017 | ||||||||||||||||||
d-1-NN-11_27.qdimacs | 6 | 24 | 27 | 31 | 118 | 137 | 154 | 186 | 16512 | 10736 | 2950 | 7755 | >120 | >120 | 82.32 | 25.477 | 120 | 120 | 82.32 | 25.477 | ||||||||||||||||||
d-1-NN-11_28.qdimacs | 6 | 24 | 30 | 31 | 118 | 147 | 154 | 198 | 17835 | 11460 | 2950 | 8479 | >120 | >120 | 87.97 | 29.497 | 120 | 120 | 87.97 | 29.497 | ||||||||||||||||||
12 | d-1-NN-12_01.qdimacs | 5 | 9 | 10 | 32 | 49 | 51 | 59 | 74 | 2681 | 1679 | 490 | 1157 | >120 | >120 | 0.19 | 0.268 | 120 | 120 | 0.19 | 0.268 | |||||||||||||||||
d-1-NN-12_02.qdimacs | 5 | 9 | 11 | 34 | 51 | 61 | 61 | 86 | 3041 | 1891 | 510 | 1347 | >120 | >120 | 0.19 | 0.256 | 120 | 120 | 0.19 | 0.256 | ||||||||||||||||||
d-1-NN-12_03.qdimacs | 5 | 9 | 12 | 34 | 51 | 70 | 61 | 93 | 3280 | 2070 | 510 | 1526 | >120 | >120 | 0.19 | 0.48 | 120 | 120 | 0.19 | 0.48 | ||||||||||||||||||
d-1-NN-12_04.qdimacs | 5 | 9 | 15 | 34 | 51 | 80 | 61 | 105 | 3961 | 2443 | 510 | 1899 | >120 | >120 | 0.22 | 0.724 | 120 | 120 | 0.22 | 0.724 | ||||||||||||||||||
d-1-NN-12_05.qdimacs | 5 | 13 | 14 | 32 | 67 | 69 | 76 | 91 | 4747 | 3091 | 938 | 2121 | >120 | >120 | 0.88 | 1.18 | 120 | 120 | 0.88 | 1.18 | ||||||||||||||||||
d-1-NN-12_06.qdimacs | 5 | 13 | 15 | 34 | 69 | 79 | 78 | 103 | 5221 | 3377 | 966 | 2377 | >120 | >120 | 1.11 | 1.26 | 120 | 120 | 1.11 | 1.26 | ||||||||||||||||||
d-1-NN-12_07.qdimacs | 5 | 13 | 16 | 34 | 69 | 88 | 78 | 110 | 5522 | 3610 | 966 | 2610 | >120 | >120 | 1.17 | 1.364 | 120 | 120 | 1.17 | 1.364 | ||||||||||||||||||
d-1-NN-12_08.qdimacs | 5 | 13 | 19 | 34 | 69 | 98 | 78 | 122 | 6353 | 4077 | 966 | 3077 | >120 | >120 | 1.33 | 1.688 | 120 | 120 | 1.33 | 1.688 | ||||||||||||||||||
d-1-NN-12_09.qdimacs | 5 | 14 | 15 | 32 | 78 | 80 | 90 | 105 | 5843 | 3858 | 1170 | 2656 | >120 | >120 | 2.34 | 1.816 | 120 | 120 | 2.34 | 1.816 | ||||||||||||||||||
d-1-NN-12_10.qdimacs | 5 | 14 | 16 | 34 | 80 | 90 | 92 | 117 | 6355 | 4169 | 1200 | 2935 | >120 | >120 | 1.71 | 2.148 | 120 | 120 | 1.71 | 2.148 | ||||||||||||||||||
d-1-NN-12_11.qdimacs | 5 | 14 | 17 | 34 | 80 | 99 | 92 | 124 | 6681 | 4422 | 1200 | 3188 | >120 | >120 | 1.99 | 2.176 | 120 | 120 | 1.99 | 2.176 | ||||||||||||||||||
d-1-NN-12_12.qdimacs | 5 | 14 | 20 | 34 | 80 | 109 | 92 | 136 | 7578 | 4932 | 1200 | 3698 | >120 | >120 | 1.97 | 2.764 | 120 | 120 | 1.97 | 2.764 | ||||||||||||||||||
d-1-NN-12_13.qdimacs | 5 | 16 | 17 | 32 | 91 | 93 | 107 | 122 | 7610 | 5106 | 1547 | 3527 | >120 | >120 | 5.71 | 2.78 | 120 | 120 | 5.71 | 2.78 | ||||||||||||||||||
d-1-NN-12_14.qdimacs | 5 | 16 | 18 | 34 | 93 | 103 | 109 | 134 | 8187 | 5458 | 1581 | 3843 | >120 | >120 | 6.45 | 3.38 | 120 | 120 | 6.45 | 3.38 | ||||||||||||||||||
d-1-NN-12_15.qdimacs | 5 | 16 | 19 | 34 | 93 | 112 | 109 | 141 | 8552 | 5742 | 1581 | 4127 | >120 | >120 | 7.08 | 3.968 | 120 | 120 | 7.08 | 3.968 | ||||||||||||||||||
d-1-NN-12_16.qdimacs | 5 | 16 | 22 | 34 | 93 | 122 | 109 | 153 | 9548 | 6311 | 1581 | 4696 | >120 | >120 | 7.99 | 4.452 | 120 | 120 | 7.99 | 4.452 | ||||||||||||||||||
d-1-NN-12_17.qdimacs | 5 | 20 | 21 | 32 | 101 | 103 | 124 | 139 | 10773 | 7073 | 2121 | 4920 | >120 | >120 | 30 | 8.224 | 120 | 120 | 30 | 8.224 | ||||||||||||||||||
d-1-NN-12_18.qdimacs | 5 | 20 | 22 | 34 | 103 | 113 | 126 | 151 | 11463 | 7491 | 2163 | 5294 | >120 | >120 | 32.1 | 9.612 | 120 | 120 | 32.1 | 9.612 | ||||||||||||||||||
d-1-NN-12_19.qdimacs | 5 | 20 | 23 | 34 | 103 | 122 | 126 | 158 | 11889 | 7821 | 2163 | 5624 | >120 | >120 | 33.63 | 10.16 | 120 | 120 | 33.63 | 10.16 | ||||||||||||||||||
d-1-NN-12_20.qdimacs | 5 | 20 | 26 | 34 | 103 | 132 | 126 | 170 | 13032 | 8460 | 2163 | 6263 | >120 | >120 | 36.19 | 12.092 | 120 | 120 | 36.19 | 12.092 | ||||||||||||||||||
d-1-NN-12_21.qdimacs | 5 | 22 | 23 | 32 | 108 | 110 | 137 | 152 | 12833 | 8365 | 2484 | 5849 | >120 | >120 | 58.67 | 13.564 | 120 | 120 | 58.67 | 13.564 | ||||||||||||||||||
d-1-NN-12_22.qdimacs | 5 | 22 | 24 | 34 | 110 | 120 | 139 | 164 | 13584 | 8818 | 2530 | 6254 | >120 | >120 | 63.82 | 16.084 | 120 | 120 | 63.82 | 16.084 | ||||||||||||||||||
d-1-NN-12_23.qdimacs | 5 | 22 | 25 | 34 | 110 | 129 | 139 | 171 | 14045 | 9173 | 2530 | 6609 | >120 | >120 | 68.41 | 16.88 | 120 | 120 | 68.41 | 16.88 | ||||||||||||||||||
d-1-NN-12_24.qdimacs | 5 | 22 | 28 | 34 | 110 | 139 | 139 | 183 | 15275 | 9853 | 2530 | 7289 | >120 | >120 | 72.3 | 19.333 | 120 | 120 | 72.3 | 19.333 | ||||||||||||||||||
d-1-NN-12_25.qdimacs | 5 | 24 | 25 | 32 | 116 | 118 | 152 | 167 | 15200 | 9866 | 2900 | 6934 | >120 | >120 | 60 | 20.777 | 120 | 120 | 60 | 20.777 | ||||||||||||||||||
d-1-NN-12_26.qdimacs | 5 | 24 | 26 | 34 | 118 | 128 | 154 | 179 | 16014 | 10355 | 2950 | 7371 | >120 | >120 | 64.51 | 25.505 | 120 | 120 | 64.51 | 25.505 | ||||||||||||||||||
d-1-NN-12_27.qdimacs | 5 | 24 | 27 | 34 | 118 | 137 | 154 | 186 | 16512 | 10736 | 2950 | 7752 | >120 | >120 | 66.31 | 25.377 | 120 | 120 | 66.31 | 25.377 | ||||||||||||||||||
d-1-NN-12_28.qdimacs | 5 | 24 | 30 | 34 | 118 | 147 | 154 | 198 | 17835 | 11460 | 2950 | 8476 | >120 | >120 | 69.5 | 29.465 | 120 | 120 | 69.5 | 29.465 | ||||||||||||||||||
13 | d-1-NN-13_01.qdimacs | 6 | 10 | 11 | 34 | 53 | 55 | 59 | 74 | 2985 | 1934 | 583 | 1317 | >120 | >120 | 0.21 | 0.336 | 120 | 120 | 0.21 | 0.336 | |||||||||||||||||
d-1-NN-13_02.qdimacs | 6 | 10 | 12 | 36 | 55 | 65 | 61 | 86 | 3369 | 2164 | 605 | 1523 | >120 | >120 | 0.38 | 0.472 | 120 | 120 | 0.38 | 0.472 | ||||||||||||||||||
d-1-NN-13_03.qdimacs | 6 | 10 | 12 | 36 | 55 | 70 | 61 | 93 | 3460 | 2229 | 605 | 1588 | >120 | >120 | 0.24 | 0.328 | 120 | 120 | 0.24 | 0.328 | ||||||||||||||||||
d-1-NN-13_04.qdimacs | 6 | 10 | 15 | 36 | 55 | 80 | 61 | 105 | 4141 | 2602 | 605 | 1961 | >120 | >120 | 0.27 | 0.62 | 120 | 120 | 0.27 | 0.62 | ||||||||||||||||||
d-1-NN-13_05.qdimacs | 6 | 14 | 15 | 34 | 71 | 73 | 76 | 91 | 5139 | 3431 | 1065 | 2332 | >120 | >120 | 1.02 | 1.24 | 120 | 120 | 1.02 | 1.24 | ||||||||||||||||||
d-1-NN-13_06.qdimacs | 6 | 14 | 16 | 36 | 73 | 83 | 78 | 103 | 5637 | 3735 | 1095 | 2604 | >120 | >120 | 1.09 | 2.192 | 120 | 120 | 1.09 | 2.192 | ||||||||||||||||||
d-1-NN-13_07.qdimacs | 6 | 14 | 16 | 36 | 73 | 88 | 78 | 110 | 5756 | 3820 | 1095 | 2689 | >120 | >120 | 1.36 | 1.66 | 120 | 120 | 1.36 | 1.66 | ||||||||||||||||||
d-1-NN-13_08.qdimacs | 6 | 14 | 19 | 36 | 73 | 98 | 78 | 122 | 6587 | 4287 | 1095 | 3156 | >120 | >120 | 1.39 | 6.532 | 120 | 120 | 1.39 | 6.532 | ||||||||||||||||||
d-1-NN-13_09.qdimacs | 6 | 15 | 16 | 34 | 82 | 84 | 90 | 105 | 6289 | 4242 | 1312 | 2896 | >120 | >120 | 1.75 | 2.096 | 120 | 120 | 1.75 | 2.096 | ||||||||||||||||||
d-1-NN-13_10.qdimacs | 6 | 15 | 17 | 36 | 84 | 94 | 92 | 117 | 6825 | 4571 | 1344 | 3191 | >120 | >120 | 3.05 | 2.516 | 120 | 120 | 3.05 | 2.516 | ||||||||||||||||||
d-1-NN-13_11.qdimacs | 6 | 15 | 17 | 36 | 84 | 99 | 92 | 124 | 6951 | 4661 | 1344 | 3281 | >120 | >120 | 2.57 | 2.544 | 120 | 120 | 2.57 | 2.544 | ||||||||||||||||||
d-1-NN-13_12.qdimacs | 6 | 15 | 20 | 36 | 84 | 109 | 92 | 136 | 7848 | 5171 | 1344 | 3791 | >120 | >120 | 2.84 | 3.376 | 120 | 120 | 2.84 | 3.376 | ||||||||||||||||||
d-1-NN-13_13.qdimacs | 6 | 17 | 18 | 34 | 95 | 97 | 107 | 122 | 8122 | 5549 | 1710 | 3805 | >120 | >120 | 7.59 | 3.188 | 120 | 120 | 7.59 | 3.188 | ||||||||||||||||||
d-1-NN-13_14.qdimacs | 6 | 17 | 19 | 36 | 97 | 107 | 109 | 134 | 8723 | 5919 | 1746 | 4137 | >120 | >120 | 9.01 | 3.768 | 120 | 120 | 9.01 | 3.768 | ||||||||||||||||||
d-1-NN-13_15.qdimacs | 6 | 17 | 19 | 36 | 97 | 112 | 109 | 141 | 8863 | 6019 | 1746 | 4237 | >120 | >120 | 8.35 | 3.908 | 120 | 120 | 8.35 | 3.908 | ||||||||||||||||||
d-1-NN-13_16.qdimacs | 6 | 17 | 22 | 36 | 97 | 122 | 109 | 153 | 9859 | 6588 | 1746 | 4806 | >120 | >120 | 9.83 | 4.756 | 120 | 120 | 9.83 | 4.756 | ||||||||||||||||||
d-1-NN-13_17.qdimacs | 6 | 21 | 22 | 34 | 105 | 107 | 124 | 139 | 11367 | 7585 | 2310 | 5241 | >120 | >120 | 35.93 | 9.08 | 120 | 120 | 35.93 | 9.08 | ||||||||||||||||||
d-1-NN-13_18.qdimacs | 6 | 21 | 23 | 36 | 107 | 117 | 126 | 151 | 12081 | 8021 | 2354 | 5631 | >120 | >120 | 38.36 | 11.504 | 120 | 120 | 38.36 | 11.504 | ||||||||||||||||||
d-1-NN-13_19.qdimacs | 6 | 21 | 23 | 36 | 107 | 122 | 126 | 158 | 12249 | 8141 | 2354 | 5751 | >120 | >120 | 39.08 | 10.896 | 120 | 120 | 39.08 | 10.896 | ||||||||||||||||||
d-1-NN-13_20.qdimacs | 6 | 21 | 26 | 36 | 107 | 132 | 126 | 170 | 13392 | 8780 | 2354 | 6390 | >120 | >120 | 42.81 | 13.02 | 120 | 120 | 42.81 | 13.02 | ||||||||||||||||||
d-1-NN-13_21.qdimacs | 6 | 23 | 24 | 34 | 112 | 114 | 137 | 152 | 13480 | 8920 | 2688 | 6198 | >120 | >120 | 74.02 | 15.432 | 120 | 120 | 74.02 | 15.432 | ||||||||||||||||||
d-1-NN-13_22.qdimacs | 6 | 23 | 25 | 36 | 114 | 124 | 139 | 164 | 14255 | 9391 | 2736 | 6619 | >120 | >120 | 74.42 | 17.937 | 120 | 120 | 74.42 | 17.937 | ||||||||||||||||||
d-1-NN-13_23.qdimacs | 6 | 23 | 25 | 36 | 114 | 129 | 139 | 171 | 14437 | 9521 | 2736 | 6749 | >120 | >120 | 75.41 | 18.137 | 120 | 120 | 75.41 | 18.137 | ||||||||||||||||||
d-1-NN-13_24.qdimacs | 6 | 23 | 28 | 36 | 114 | 139 | 139 | 183 | 15667 | 10201 | 2736 | 7429 | >120 | >120 | 82.1 | 21.197 | 120 | 120 | 82.1 | 21.197 | ||||||||||||||||||
d-1-NN-13_25.qdimacs | 6 | 25 | 26 | 34 | 120 | 122 | 152 | 167 | 15905 | 10468 | 3120 | 7314 | >120 | >120 | 70.72 | 23.789 | 120 | 120 | 70.72 | 23.789 | ||||||||||||||||||
d-1-NN-13_26.qdimacs | 6 | 25 | 27 | 36 | 122 | 132 | 154 | 179 | 16743 | 10975 | 3172 | 7767 | >120 | >120 | 72.54 | 27.553 | 120 | 120 | 72.54 | 27.553 | ||||||||||||||||||
d-1-NN-13_27.qdimacs | 6 | 25 | 27 | 36 | 122 | 137 | 154 | 186 | 16939 | 11115 | 3172 | 7907 | >120 | >120 | 73.02 | 27.705 | 120 | 120 | 73.02 | 27.705 | ||||||||||||||||||
d-1-NN-13_28.qdimacs | 6 | 25 | 30 | 36 | 122 | 147 | 154 | 198 | 18262 | 11839 | 3172 | 8631 | >120 | >120 | 78.73 | 32.077 | 120 | 120 | 78.73 | 32.077 | ||||||||||||||||||
14 | d-1-NN-14_01.qdimacs | 7 | 10 | 11 | 38 | 53 | 55 | 59 | 74 | 2985 | 1934 | 583 | 1313 | >120 | >120 | 0.22 | 0.348 | 120 | 120 | 0.22 | 0.348 | |||||||||||||||||
d-1-NN-14_02.qdimacs | 7 | 10 | 12 | 40 | 55 | 65 | 61 | 86 | 3369 | 2164 | 605 | 1519 | >120 | >120 | 0.23 | 0.468 | 120 | 120 | 0.23 | 0.468 | ||||||||||||||||||
d-1-NN-14_03.qdimacs | 7 | 10 | 12 | 40 | 55 | 70 | 61 | 93 | 3460 | 2229 | 605 | 1584 | >120 | >120 | 0.25 | 0.472 | 120 | 120 | 0.25 | 0.472 | ||||||||||||||||||
d-1-NN-14_04.qdimacs | 7 | 10 | 15 | 40 | 55 | 80 | 61 | 105 | 4141 | 2602 | 605 | 1957 | >120 | >120 | 0.28 | 0.64 | 120 | 120 | 0.28 | 0.64 | ||||||||||||||||||
d-1-NN-14_05.qdimacs | 7 | 14 | 15 | 38 | 71 | 73 | 76 | 91 | 5139 | 3431 | 1065 | 2328 | >120 | >120 | 1.04 | 1.652 | 120 | 120 | 1.04 | 1.652 | ||||||||||||||||||
d-1-NN-14_06.qdimacs | 7 | 14 | 16 | 40 | 73 | 83 | 78 | 103 | 5637 | 3735 | 1095 | 2600 | >120 | >120 | 1.14 | 2.888 | 120 | 120 | 1.14 | 2.888 | ||||||||||||||||||
d-1-NN-14_07.qdimacs | 7 | 14 | 16 | 40 | 73 | 88 | 78 | 110 | 5756 | 3820 | 1095 | 2685 | >120 | >120 | 1.31 | 1.548 | 120 | 120 | 1.31 | 1.548 | ||||||||||||||||||
d-1-NN-14_08.qdimacs | 7 | 14 | 19 | 40 | 73 | 98 | 78 | 122 | 6587 | 4287 | 1095 | 3152 | >120 | >120 | 1.75 | 6.372 | 120 | 120 | 1.75 | 6.372 | ||||||||||||||||||
d-1-NN-14_09.qdimacs | 7 | 15 | 16 | 38 | 82 | 84 | 90 | 105 | 6289 | 4242 | 1312 | 2892 | >120 | >120 | 2.27 | 2.052 | 120 | 120 | 2.27 | 2.052 | ||||||||||||||||||
d-1-NN-14_10.qdimacs | 7 | 15 | 17 | 40 | 84 | 94 | 92 | 117 | 6825 | 4571 | 1344 | 3187 | >120 | >120 | 2.15 | 2.472 | 120 | 120 | 2.15 | 2.472 | ||||||||||||||||||
d-1-NN-14_11.qdimacs | 7 | 15 | 17 | 40 | 84 | 99 | 92 | 124 | 6951 | 4661 | 1344 | 3277 | >120 | >120 | 2.37 | 2.552 | 120 | 120 | 2.37 | 2.552 | ||||||||||||||||||
d-1-NN-14_12.qdimacs | 7 | 15 | 20 | 40 | 84 | 109 | 92 | 136 | 7848 | 5171 | 1344 | 3787 | >120 | >120 | 2.94 | 3.084 | 120 | 120 | 2.94 | 3.084 | ||||||||||||||||||
d-1-NN-14_13.qdimacs | 7 | 17 | 18 | 38 | 95 | 97 | 107 | 122 | 8122 | 5549 | 1710 | 3801 | >120 | >120 | 7.02 | 3.168 | 120 | 120 | 7.02 | 3.168 | ||||||||||||||||||
d-1-NN-14_14.qdimacs | 7 | 17 | 19 | 40 | 97 | 107 | 109 | 134 | 8723 | 5919 | 1746 | 4133 | >120 | >120 | 7.65 | 3.86 | 120 | 120 | 7.65 | 3.86 | ||||||||||||||||||
d-1-NN-14_15.qdimacs | 7 | 17 | 19 | 40 | 97 | 112 | 109 | 141 | 8863 | 6019 | 1746 | 4233 | >120 | >120 | 7.94 | 3.884 | 120 | 120 | 7.94 | 3.884 | ||||||||||||||||||
d-1-NN-14_16.qdimacs | 7 | 17 | 22 | 40 | 97 | 122 | 109 | 153 | 9859 | 6588 | 1746 | 4802 | >120 | >120 | 10.06 | 4.624 | 120 | 120 | 10.06 | 4.624 | ||||||||||||||||||
d-1-NN-14_17.qdimacs | 7 | 21 | 22 | 38 | 105 | 107 | 124 | 139 | 11367 | 7585 | 2310 | 5237 | >120 | >120 | 36.53 | 9.28 | 120 | 120 | 36.53 | 9.28 | ||||||||||||||||||
d-1-NN-14_18.qdimacs | 7 | 21 | 23 | 40 | 107 | 117 | 126 | 151 | 12081 | 8021 | 2354 | 5627 | >120 | >120 | 38.64 | 10.996 | 120 | 120 | 38.64 | 10.996 | ||||||||||||||||||
d-1-NN-14_19.qdimacs | 7 | 21 | 23 | 40 | 107 | 122 | 126 | 158 | 12249 | 8141 | 2354 | 5747 | >120 | >120 | 40.14 | 10.78 | 120 | 120 | 40.14 | 10.78 | ||||||||||||||||||
d-1-NN-14_20.qdimacs | 7 | 21 | 26 | 40 | 107 | 132 | 126 | 170 | 13392 | 8780 | 2354 | 6386 | >120 | >120 | 43.83 | 12.6 | 120 | 120 | 43.83 | 12.6 | ||||||||||||||||||
d-1-NN-14_21.qdimacs | 7 | 23 | 24 | 38 | 112 | 114 | 137 | 152 | 13480 | 8920 | 2688 | 6194 | >120 | >120 | 74 | 15.508 | 120 | 120 | 74 | 15.508 | ||||||||||||||||||
d-1-NN-14_22.qdimacs | 7 | 23 | 25 | 40 | 114 | 124 | 139 | 164 | 14255 | 9391 | 2736 | 6615 | >120 | >120 | 75.19 | 17.921 | 120 | 120 | 75.19 | 17.921 | ||||||||||||||||||
d-1-NN-14_23.qdimacs | 7 | 23 | 25 | 40 | 114 | 129 | 139 | 171 | 14437 | 9521 | 2736 | 6745 | >120 | >120 | 78.44 | 18.329 | 120 | 120 | 78.44 | 18.329 | ||||||||||||||||||
d-1-NN-14_24.qdimacs | 7 | 23 | 28 | 40 | 114 | 139 | 139 | 183 | 15667 | 10201 | 2736 | 7425 | >120 | >120 | 81.05 | 21.813 | 120 | 120 | 81.05 | 21.813 | ||||||||||||||||||
d-1-NN-14_25.qdimacs | 7 | 25 | 26 | 38 | 120 | 122 | 152 | 167 | 15905 | 10468 | 3120 | 7310 | >120 | >120 | 72.12 | 24.141 | 120 | 120 | 72.12 | 24.141 | ||||||||||||||||||
d-1-NN-14_26.qdimacs | 7 | 25 | 27 | 40 | 122 | 132 | 154 | 179 | 16743 | 10975 | 3172 | 7763 | >120 | >120 | 73.28 | 27.057 | 120 | 120 | 73.28 | 27.057 | ||||||||||||||||||
d-1-NN-14_27.qdimacs | 7 | 25 | 27 | 40 | 122 | 137 | 154 | 186 | 16939 | 11115 | 3172 | 7903 | >120 | >120 | 73.07 | 27.945 | 120 | 120 | 73.07 | 27.945 | ||||||||||||||||||
d-1-NN-14_28.qdimacs | 7 | 25 | 30 | 40 | 122 | 147 | 154 | 198 | 18262 | 11839 | 3172 | 8627 | >120 | >120 | 76.4 | 31.785 | 120 | 120 | 76.4 | 31.785 | ||||||||||||||||||
15 | d-1-NN-15_01.qdimacs | 10 | 13 | 14 | 48 | 63 | 65 | 59 | 74 | 3945 | 2737 | 882 | 1807 | >120 | >120 | 0.44 | 0.484 | 120 | 120 | 0.44 | 0.484 | |||||||||||||||||
d-1-NN-15_02.qdimacs | 10 | 13 | 15 | 50 | 65 | 75 | 61 | 86 | 4401 | 3019 | 910 | 2059 | >120 | >120 | 0.47 | 0.772 | 120 | 120 | 0.47 | 0.772 | ||||||||||||||||||
d-1-NN-15_03.qdimacs | 10 | 13 | 15 | 50 | 65 | 80 | 61 | 93 | 4513 | 3099 | 910 | 2139 | >120 | >120 | 0.57 | 0.636 | 120 | 120 | 0.57 | 0.636 | ||||||||||||||||||
d-1-NN-15_04.qdimacs | 10 | 13 | 18 | 50 | 65 | 90 | 61 | 105 | 5266 | 3532 | 910 | 2572 | >120 | >120 | 0.55 | 0.96 | 120 | 120 | 0.55 | 0.96 | ||||||||||||||||||
d-1-NN-15_05.qdimacs | 10 | 17 | 18 | 48 | 81 | 83 | 76 | 91 | 6363 | 4473 | 1458 | 2967 | >120 | >120 | 2.13 | 3.656 | 120 | 120 | 2.13 | 3.656 | ||||||||||||||||||
d-1-NN-15_06.qdimacs | 10 | 17 | 19 | 50 | 83 | 93 | 78 | 103 | 6933 | 4829 | 1494 | 3285 | >120 | >120 | 2.19 | 4.044 | 120 | 120 | 2.19 | 4.044 | ||||||||||||||||||
d-1-NN-15_07.qdimacs | 10 | 17 | 19 | 50 | 83 | 98 | 78 | 110 | 7073 | 4929 | 1494 | 3385 | >120 | >120 | 2.99 | 3.032 | 120 | 120 | 2.99 | 3.032 | ||||||||||||||||||
d-1-NN-15_08.qdimacs | 10 | 17 | 22 | 50 | 83 | 108 | 78 | 122 | 7976 | 5456 | 1494 | 3912 | >120 | >120 | 3.33 | 4.692 | 120 | 120 | 3.33 | 4.692 | ||||||||||||||||||
d-1-NN-15_09.qdimacs | 10 | 17 | 18 | 49 | 90 | 92 | 90 | 105 | 7205 | 5058 | 1620 | 3389 | >120 | >120 | 3.34 | 2.968 | 120 | 120 | 3.34 | 2.968 | ||||||||||||||||||
d-1-NN-15_10.qdimacs | 10 | 17 | 19 | 51 | 92 | 102 | 92 | 117 | 7789 | 5423 | 1656 | 3716 | >120 | >120 | 3.85 | 3.576 | 120 | 120 | 3.85 | 3.576 | ||||||||||||||||||
d-1-NN-15_11.qdimacs | 10 | 17 | 19 | 51 | 92 | 107 | 92 | 124 | 7929 | 5523 | 1656 | 3816 | >120 | >120 | 4.17 | 3.636 | 120 | 120 | 4.17 | 3.636 | ||||||||||||||||||
d-1-NN-15_12.qdimacs | 10 | 17 | 22 | 51 | 92 | 117 | 92 | 136 | 8874 | 6077 | 1656 | 4370 | >120 | >120 | 5.09 | 4.856 | 120 | 120 | 5.09 | 4.856 | ||||||||||||||||||
d-1-NN-15_13.qdimacs | 10 | 17 | 18 | 50 | 95 | 97 | 107 | 122 | 8122 | 5549 | 1710 | 3789 | >120 | >120 | 5.07 | 3.26 | 120 | 120 | 5.07 | 3.26 | ||||||||||||||||||
d-1-NN-15_14.qdimacs | 10 | 17 | 19 | 52 | 97 | 107 | 109 | 134 | 8723 | 5919 | 1746 | 4121 | >120 | >120 | 5.89 | 4.044 | 120 | 120 | 5.89 | 4.044 | ||||||||||||||||||
d-1-NN-15_15.qdimacs | 10 | 17 | 19 | 52 | 97 | 112 | 109 | 141 | 8863 | 6019 | 1746 | 4221 | >120 | >120 | 5.66 | 3.912 | 120 | 120 | 5.66 | 3.912 | ||||||||||||||||||
d-1-NN-15_16.qdimacs | 10 | 17 | 22 | 52 | 97 | 122 | 109 | 153 | 9859 | 6588 | 1746 | 4790 | >120 | >120 | 6.36 | 4.812 | 120 | 120 | 6.36 | 4.812 | ||||||||||||||||||
d-1-NN-15_17.qdimacs | 10 | 21 | 22 | 50 | 105 | 107 | 124 | 139 | 11367 | 7585 | 2310 | 5225 | >120 | >120 | 30.57 | 9.172 | 120 | 120 | 30.57 | 9.172 | ||||||||||||||||||
d-1-NN-15_18.qdimacs | 10 | 21 | 23 | 52 | 107 | 117 | 126 | 151 | 12081 | 8021 | 2354 | 5615 | >120 | >120 | 34.57 | 11 | 120 | 120 | 34.57 | 11 | ||||||||||||||||||
d-1-NN-15_19.qdimacs | 10 | 21 | 23 | 52 | 107 | 122 | 126 | 158 | 12249 | 8141 | 2354 | 5735 | >120 | >120 | 35.38 | 11.22 | 120 | 120 | 35.38 | 11.22 | ||||||||||||||||||
d-1-NN-15_20.qdimacs | 10 | 21 | 26 | 52 | 107 | 132 | 126 | 170 | 13392 | 8780 | 2354 | 6374 | >120 | >120 | 56.7 | 17.012 | 120 | 120 | 56.7 | 17.012 | ||||||||||||||||||
d-1-NN-15_21.qdimacs | 10 | 23 | 24 | 50 | 112 | 114 | 137 | 152 | 13480 | 8920 | 2688 | 6182 | >120 | >120 | 55.98 | 15.644 | 120 | 120 | 55.98 | 15.644 | ||||||||||||||||||
d-1-NN-15_22.qdimacs | 10 | 23 | 25 | 52 | 114 | 124 | 139 | 164 | 14255 | 9391 | 2736 | 6603 | >120 | >120 | 58.64 | 17.885 | 120 | 120 | 58.64 | 17.885 | ||||||||||||||||||
d-1-NN-15_23.qdimacs | 10 | 23 | 25 | 52 | 114 | 129 | 139 | 171 | 14437 | 9521 | 2736 | 6733 | >120 | >120 | 59.76 | 17.933 | 120 | 120 | 59.76 | 17.933 | ||||||||||||||||||
d-1-NN-15_24.qdimacs | 10 | 23 | 28 | 52 | 114 | 139 | 139 | 183 | 15667 | 10201 | 2736 | 7413 | >120 | >120 | 64.17 | 21.121 | 120 | 120 | 64.17 | 21.121 | ||||||||||||||||||
d-1-NN-15_25.qdimacs | 10 | 25 | 26 | 50 | 120 | 122 | 152 | 167 | 15905 | 10468 | 3120 | 7298 | >120 | >120 | 109.04 | 23.309 | 120 | 120 | 109.04 | 23.309 | ||||||||||||||||||
d-1-NN-15_26.qdimacs | 10 | 25 | 27 | 52 | 122 | 132 | 154 | 179 | 16743 | 10975 | 3172 | 7751 | >120 | >120 | 111.52 | 27.765 | 120 | 120 | 111.52 | 27.765 | ||||||||||||||||||
d-1-NN-15_27.qdimacs | 10 | 25 | 27 | 52 | 122 | 137 | 154 | 186 | 16939 | 11115 | 3172 | 7891 | >120 | >120 | 112.42 | >120 | 120 | 120 | 112.42 | 120 | ||||||||||||||||||
d-1-NN-15_28.qdimacs | 10 | 25 | 30 | 52 | 122 | 147 | 154 | 198 | 18262 | 11839 | 3172 | 8615 | >120 | >120 | 119.04 | >120 | 120 | 120 | 119.04 | 120 | ||||||||||||||||||
6 | 0 | 368 | 390 | |||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||