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