deductive conservativity (-d -r1 -r2) solved?    
sigN name roles b-concepts axioms clause variables time graph data
sig 1 12 sig 1 12 1 12 total A E sKizzo sKizzo11 2clsQ yquaffle 0                 sKizzo sKizzo11 2clsQ yquaffle              
01 d-1-NN-01_01.qdimacs 1 8 9 5 47 49 59 74 2391 1469 423 1041     0.39 0.192                   #N/A #N/A 0.39 0.192              
  d-1-NN-01_02.qdimacs 1 8 11 5 47 61 59 86 2831 1711 423 1283     0.66 0.216                   #N/A #N/A 0.66 0.216              
  d-1-NN-01_03.qdimacs 1 8 12 5 47 70 59 93 3068 1889 423 1461     0.74 0.256                   #N/A #N/A 0.74 0.256              
  d-1-NN-01_04.qdimacs 1 8 15 5 47 80 59 105 3743 2259 423 1831     1.13 0.336                   #N/A #N/A 1.13 0.336              
  d-1-NN-01_05.qdimacs 1 12 13 5 65 67 76 91 4373 2808 845 1958     1.46 0.904                   #N/A #N/A 1.46 0.904              
  d-1-NN-01_06.qdimacs 1 12 15 5 65 79 76 103 4945 3134 845 2284     1.91 0.96                   #N/A #N/A 1.91 0.96              
  d-1-NN-01_07.qdimacs 1 12 16 5 65 88 76 110 5244 3366 845 2516     2.22 1.108                   #N/A #N/A 2.22 1.108              
  d-1-NN-01_08.qdimacs 1 12 19 5 65 98 76 122 6069 3830 845 2980     2.89 1.496                   #N/A #N/A 2.89 1.496              
  d-1-NN-01_09.qdimacs 1 13 14 5 76 78 90 105 5416 3534 1064 2465     2.62 1.596                   #N/A #N/A 2.62 1.596              
  d-1-NN-01_10.qdimacs 1 13 16 5 76 90 90 117 6040 3894 1064 2825     3.87 1.932                   #N/A #N/A 3.87 1.932              
  d-1-NN-01_11.qdimacs 1 13 17 5 76 99 90 124 6364 4146 1064 3077     4.74 2.384                   #N/A #N/A 4.74 2.384              
  d-1-NN-01_12.qdimacs 1 13 20 5 76 109 90 136 7255 4653 1064 3584     6.58 2.996                   #N/A #N/A 6.58 2.996              
  d-1-NN-01_13.qdimacs 1 15 16 5 89 91 107 122 7119 4729 1424 3300     7.44 3.212                   #N/A #N/A 7.44 3.212              
  d-1-NN-01_14.qdimacs 1 15 18 5 89 103 107 134 7825 5139 1424 3710     9.51 3.916                   #N/A #N/A 9.51 3.916              
  d-1-NN-01_15.qdimacs 1 15 19 5 89 112 107 141 8188 5422 1424 3993     11.49 4.192                   #N/A #N/A 11.49 4.192              
  d-1-NN-01_16.qdimacs 1 15 22 5 89 122 107 153 9178 5988 1424 4559     15.28 5.396                   #N/A #N/A 15.28 5.396              
  d-1-NN-01_17.qdimacs 1 19 20 5 99 101 124 139 10204 6639 1980 4654     25.86 7.5                   #N/A #N/A 25.86 7.5              
  d-1-NN-01_18.qdimacs 1 19 22 5 99 113 124 151 11040 7117 1980 5132     32.64 8.24                   #N/A #N/A 32.64 8.24              
  d-1-NN-01_19.qdimacs 1 19 23 5 99 122 124 158 11464 7446 1980 5461     36.37 9.432                   #N/A #N/A 36.37 9.432              
  d-1-NN-01_20.qdimacs 1 19 26 5 99 132 124 170 12601 8082 1980 6097     44.48 10.608                   #N/A #N/A 44.48 10.608              
  d-1-NN-01_21.qdimacs 1 21 22 5 106 108 137 152 12213 7894 2332 5557     115.57 12.004                   #N/A #N/A 115.57 12.004              
  d-1-NN-01_22.qdimacs 1 21 24 5 106 120 137 164 13123 8410 2332 6073      >120.020 14.264                   #N/A #N/A 120.02 14.264              
  d-1-NN-01_23.qdimacs 1 21 25 5 106 129 137 171 13582 8764 2332 6427      >120.010 15.096                   #N/A #N/A 120.01 15.096              
  d-1-NN-01_24.qdimacs 1 21 28 5 106 139 137 183 14806 9441 2332 7104      >120.070 18.141                   #N/A #N/A 120.07 18.141              
  d-1-NN-01_25.qdimacs 1 23 24 5 114 116 152 167 14524 9354 2736 6613      >120.010 19.197                   #N/A #N/A 120.01 19.197              
  d-1-NN-01_26.qdimacs 1 23 26 5 114 128 152 179 15512 9910 2736 7169      >120.070 21.733                   #N/A #N/A 120.07 21.733              
  d-1-NN-01_27.qdimacs 1 23 27 5 114 137 152 186 16008 10290 2736 7549      >120.040 23.677                   #N/A #N/A 120.04 23.677              
  d-1-NN-01_28.qdimacs 1 23 30 5 114 147 152 198 17325 11011 2736 8270      >120.050 27.389                   #N/A #N/A 120.05 27.389              
02 d-1-NN-02_01.qdimacs 1 8 9 7 47 49 59 74 2391 1469 423 1039     0.52 0.232                   #N/A #N/A 0.52 0.232              
  d-1-NN-02_02.qdimacs 1 8 11 7 47 61 59 86 2831 1711 423 1281     0.64 0.224                   #N/A #N/A 0.64 0.224              
  d-1-NN-02_03.qdimacs 1 8 12 7 47 70 59 93 3068 1889 423 1459     0.83 0.268                   #N/A #N/A 0.83 0.268              
  d-1-NN-02_04.qdimacs 1 8 15 7 47 80 59 105 3743 2259 423 1829     0.99 0.344                   #N/A #N/A 0.99 0.344              
  d-1-NN-02_05.qdimacs 1 12 13 7 65 67 76 91 4373 2808 845 1956     1.32 0.836                   #N/A #N/A 1.32 0.836              
  d-1-NN-02_06.qdimacs 1 12 15 7 65 79 76 103 4945 3134 845 2282     2.09 1.12                   #N/A #N/A 2.09 1.12              
  d-1-NN-02_07.qdimacs 1 12 16 7 65 88 76 110 5244 3366 845 2514     3.12 1.12                   #N/A #N/A 3.12 1.12              
  d-1-NN-02_08.qdimacs 1 12 19 7 65 98 76 122 6069 3830 845 2978     3.32 1.52                   #N/A #N/A 3.32 1.52              
  d-1-NN-02_09.qdimacs 1 13 14 7 76 78 90 105 5416 3534 1064 2463     2.95 1.372                   #N/A #N/A 2.95 1.372              
  d-1-NN-02_10.qdimacs 1 13 16 7 76 90 90 117 6040 3894 1064 2823     3.7 1.784                   #N/A #N/A 3.7 1.784              
  d-1-NN-02_11.qdimacs 1 13 17 7 76 99 90 124 6364 4146 1064 3075     4.85 1.824                   #N/A #N/A 4.85 1.824              
  d-1-NN-02_12.qdimacs 1 13 20 7 76 109 90 136 7255 4653 1064 3582     6.82 2.436                   #N/A #N/A 6.82 2.436              
  d-1-NN-02_13.qdimacs 1 15 16 7 89 91 107 122 7119 4729 1424 3298     7.62 2.388                   #N/A #N/A 7.62 2.388              
  d-1-NN-02_14.qdimacs 1 15 18 7 89 103 107 134 7825 5139 1424 3708     10.22 2.78                   #N/A #N/A 10.22 2.78              
  d-1-NN-02_15.qdimacs 1 15 19 7 89 112 107 141 8188 5422 1424 3991     12.2 3.184                   #N/A #N/A 12.2 3.184              
  d-1-NN-02_16.qdimacs 1 15 22 7 89 122 107 153 9178 5988 1424 4557     17.43 4.34                   #N/A #N/A 17.43 4.34              
  d-1-NN-02_17.qdimacs 1 19 20 7 99 101 124 139 10204 6639 1980 4652     24.8 7.108                   #N/A #N/A 24.8 7.108              
  d-1-NN-02_18.qdimacs 1 19 22 7 99 113 124 151 11040 7117 1980 5130     33.24 8.248                   #N/A #N/A 33.24 8.248              
  d-1-NN-02_19.qdimacs 1 19 23 7 99 122 124 158 11464 7446 1980 5459     37.35 9.036                   #N/A #N/A 37.35 9.036              
  d-1-NN-02_20.qdimacs 1 19 26 7 99 132 124 170 12601 8082 1980 6095     48.96 11.096                   #N/A #N/A 48.96 11.096              
  d-1-NN-02_21.qdimacs 1 21 22 7 106 108 137 152 12213 7894 2332 5555     114.02 12.06                   #N/A #N/A 114.02 12.06              
  d-1-NN-02_22.qdimacs 1 21 24 7 106 120 137 164 13123 8410 2332 6071      >120.030 14.092                   #N/A #N/A 120.03 14.092              
  d-1-NN-02_23.qdimacs 1 21 25 7 106 129 137 171 13582 8764 2332 6425      >120.080 15.332                   #N/A #N/A 120.08 15.332              
  d-1-NN-02_24.qdimacs 1 21 28 7 106 139 137 183 14806 9441 2332 7102      >120.020 18.245                   #N/A #N/A 120.02 18.245              
  d-1-NN-02_25.qdimacs 1 23 24 7 114 116 152 167 14524 9354 2736 6611      >120.050 19.009                   #N/A #N/A 120.05 19.009              
  d-1-NN-02_26.qdimacs 1 23 26 7 114 128 152 179 15512 9910 2736 7167      >120.020 22.117                   #N/A #N/A 120.02 22.117              
  d-1-NN-02_27.qdimacs 1 23 27 7 114 137 152 186 16008 10290 2736 7547      >120.030 23.685                   #N/A #N/A 120.03 23.685              
  d-1-NN-02_28.qdimacs 1 23 30 7 114 147 152 198 17325 11011 2736 8268      >120.020 26.989                   #N/A #N/A 120.02 26.989              
03 d-1-NN-03_01.qdimacs 2 8 9 11 47 49 59 74 2391 1469 423 1035     0.61 0.2                   #N/A #N/A 0.61 0.2              
  d-1-NN-03_02.qdimacs 2 8 11 11 47 61 59 86 2831 1711 423 1277     0.71 0.24                   #N/A #N/A 0.71 0.24              
  d-1-NN-03_03.qdimacs 2 8 12 11 47 70 59 93 3068 1889 423 1455     0.77 0.332                   #N/A #N/A 0.77 0.332              
  d-1-NN-03_04.qdimacs 2 8 15 11 47 80 59 105 3743 2259 423 1825     0.92 0.352                   #N/A #N/A 0.92 0.352              
  d-1-NN-03_05.qdimacs 2 12 13 11 65 67 76 91 4373 2808 845 1952     2.52 0.832                   #N/A #N/A 2.52 0.832              
  d-1-NN-03_06.qdimacs 2 12 15 11 65 79 76 103 4945 3134 845 2278     3.23 0.996                   #N/A #N/A 3.23 0.996              
  d-1-NN-03_07.qdimacs 2 12 16 11 65 88 76 110 5244 3366 845 2510     3 1.672                   #N/A #N/A 3 1.672              
  d-1-NN-03_08.qdimacs 2 12 19 11 65 98 76 122 6069 3830 845 2974     5.05 1.436                   #N/A #N/A 5.05 1.436              
  d-1-NN-03_09.qdimacs 2 13 14 11 76 78 90 105 5416 3534 1064 2459     3.5 1.464                   #N/A #N/A 3.5 1.464              
  d-1-NN-03_10.qdimacs 2 13 16 11 76 90 90 117 6040 3894 1064 2819     4.71 1.828                   #N/A #N/A 4.71 1.828              
  d-1-NN-03_11.qdimacs 2 13 17 11 76 99 90 124 6364 4146 1064 3071     5.25 1.86                   #N/A #N/A 5.25 1.86              
  d-1-NN-03_12.qdimacs 2 13 20 11 76 109 90 136 7255 4653 1064 3578     6.65 2.524                   #N/A #N/A 6.65 2.524              
  d-1-NN-03_13.qdimacs 2 15 16 11 89 91 107 122 7119 4729 1424 3294     10.83 2.496                   #N/A #N/A 10.83 2.496              
  d-1-NN-03_14.qdimacs 2 15 18 11 89 103 107 134 7825 5139 1424 3704     12.48 3.02                   #N/A #N/A 12.48 3.02              
  d-1-NN-03_15.qdimacs 2 15 19 11 89 112 107 141 8188 5422 1424 3987     10.79 3.288                   #N/A #N/A 10.79 3.288              
  d-1-NN-03_16.qdimacs 2 15 22 11 89 122 107 153 9178 5988 1424 4553     14.8 4.148                   #N/A #N/A 14.8 4.148              
  d-1-NN-03_17.qdimacs 2 19 20 11 99 101 124 139 10204 6639 1980 4648     38.25 7.324                   #N/A #N/A 38.25 7.324              
  d-1-NN-03_18.qdimacs 2 19 22 11 99 113 124 151 11040 7117 1980 5126     45.59 8.856                   #N/A #N/A 45.59 8.856              
  d-1-NN-03_19.qdimacs 2 19 23 11 99 122 124 158 11464 7446 1980 5455     66.23 9.168                   #N/A #N/A 66.23 9.168              
  d-1-NN-03_20.qdimacs 2 19 26 11 99 132 124 170 12601 8082 1980 6091     79.98 11.056                   #N/A #N/A 79.98 11.056              
  d-1-NN-03_21.qdimacs 2 21 22 11 106 108 137 152 12213 7894 2332 5551      >120.010 12.604                   #N/A #N/A 120.01 12.604              
  d-1-NN-03_22.qdimacs 2 21 24 11 106 120 137 164 13123 8410 2332 6067      >120.100 14.204                   #N/A #N/A 120.1 14.204              
  d-1-NN-03_23.qdimacs 2 21 25 11 106 129 137 171 13582 8764 2332 6421      >120.030 15.7                   #N/A #N/A 120.03 15.7              
  d-1-NN-03_24.qdimacs 2 21 28 11 106 139 137 183 14806 9441 2332 7098      >120.020 18.237                   #N/A #N/A 120.02 18.237              
  d-1-NN-03_25.qdimacs 2 23 24 11 114 116 152 167 14524 9354 2736 6607      >120.010 19.469                   #N/A #N/A 120.01 19.469              
  d-1-NN-03_26.qdimacs 2 23 26 11 114 128 152 179 15512 9910 2736 7163      >120.060 22.337                   #N/A #N/A 120.06 22.337              
  d-1-NN-03_27.qdimacs 2 23 27 11 114 137 152 186 16008 10290 2736 7543      >120.040 23.601                   #N/A #N/A 120.04 23.601              
  d-1-NN-03_28.qdimacs 2 23 30 11 114 147 152 198 17325 11011 2736 8264      >120.050 27.817                   #N/A #N/A 120.05 27.817              
04 d-1-NN-04_01.qdimacs 3 8 9 15 47 49 59 74 2391 1469 423 1031     0.55 0.184                   #N/A #N/A 0.55 0.184              
  d-1-NN-04_02.qdimacs 3 8 11 15 47 61 59 86 2831 1711 423 1273     0.71 0.208                   #N/A #N/A 0.71 0.208              
  d-1-NN-04_03.qdimacs 3 8 12 15 47 70 59 93 3068 1889 423 1451     0.52 0.268                   #N/A #N/A 0.52 0.268              
  d-1-NN-04_04.qdimacs 3 8 15 15 47 80 59 105 3743 2259 423 1821     0.7 0.392                   #N/A #N/A 0.7 0.392              
  d-1-NN-04_05.qdimacs 3 12 13 15 65 67 76 91 4373 2808 845 1948     2.79 0.788                   #N/A #N/A 2.79 0.788              
  d-1-NN-04_06.qdimacs 3 12 15 15 65 79 76 103 4945 3134 845 2274     3.23 0.916                   #N/A #N/A 3.23 0.916              
  d-1-NN-04_07.qdimacs 3 12 16 15 65 88 76 110 5244 3366 845 2506     3.21 1.172                   #N/A #N/A 3.21 1.172              
  d-1-NN-04_08.qdimacs 3 12 19 15 65 98 76 122 6069 3830 845 2970     4.64 1.384                   #N/A #N/A 4.64 1.384              
  d-1-NN-04_09.qdimacs 3 13 14 15 76 78 90 105 5416 3534 1064 2455     4.41 1.448                   #N/A #N/A 4.41 1.448              
  d-1-NN-04_10.qdimacs 3 13 16 15 76 90 90 117 6040 3894 1064 2815     6.61 1.608                   #N/A #N/A 6.61 1.608              
  d-1-NN-04_11.qdimacs 3 13 17 15 76 99 90 124 6364 4146 1064 3067     5.87 1.976                   #N/A #N/A 5.87 1.976              
  d-1-NN-04_12.qdimacs 3 13 20 15 76 109 90 136 7255 4653 1064 3574     8.03 2.828                   #N/A #N/A 8.03 2.828              
  d-1-NN-04_13.qdimacs 3 15 16 15 89 91 107 122 7119 4729 1424 3290     11.52 2.304                   #N/A #N/A 11.52 2.304              
  d-1-NN-04_14.qdimacs 3 15 18 15 89 103 107 134 7825 5139 1424 3700     14.76 2.808                   #N/A #N/A 14.76 2.808              
  d-1-NN-04_15.qdimacs 3 15 19 15 89 112 107 141 8188 5422 1424 3983     15.84 3.112                   #N/A #N/A 15.84 3.112              
  d-1-NN-04_16.qdimacs 3 15 22 15 89 122 107 153 9178 5988 1424 4549     20.68 3.852                   #N/A #N/A 20.68 3.852              
  d-1-NN-04_17.qdimacs 3 19 20 15 99 101 124 139 10204 6639 1980 4644     41.98 7.088                   #N/A #N/A 41.98 7.088              
  d-1-NN-04_18.qdimacs 3 19 22 15 99 113 124 151 11040 7117 1980 5122     52.15 8.212                   #N/A #N/A 52.15 8.212              
  d-1-NN-04_19.qdimacs 3 19 23 15 99 122 124 158 11464 7446 1980 5451     84.48 9.46                   #N/A #N/A 84.48 9.46              
  d-1-NN-04_20.qdimacs 3 19 26 15 99 132 124 170 12601 8082 1980 6087     102.84 10.816                   #N/A #N/A 102.84 10.816              
  d-1-NN-04_21.qdimacs 3 21 22 15 106 108 137 152 12213 7894 2332 5547      >120.070 12.068                   #N/A #N/A 120.07 12.068              
  d-1-NN-04_22.qdimacs 3 21 24 15 106 120 137 164 13123 8410 2332 6063      >120.070 14.248                   #N/A #N/A 120.07 14.248              
  d-1-NN-04_23.qdimacs 3 21 25 15 106 129 137 171 13582 8764 2332 6417      >120.080 15.152                   #N/A #N/A 120.08 15.152              
  d-1-NN-04_24.qdimacs 3 21 28 15 106 139 137 183 14806 9441 2332 7094      >120.060 18.213                   #N/A #N/A 120.06 18.213              
  d-1-NN-04_25.qdimacs 3 23 24 15 114 116 152 167 14524 9354 2736 6603      >120.050 18.933                   #N/A #N/A 120.05 18.933              
  d-1-NN-04_26.qdimacs 3 23 26 15 114 128 152 179 15512 9910 2736 7159      >120.040 22.085                   #N/A #N/A 120.04 22.085              
  d-1-NN-04_27.qdimacs 3 23 27 15 114 137 152 186 16008 10290 2736 7539      >120.010 23.789                   #N/A #N/A 120.01 23.789              
  d-1-NN-04_28.qdimacs 3 23 30 15 114 147 152 198 17325 11011 2736 8260      >120.070 27.201                   #N/A #N/A 120.07 27.201              
05 d-1-NN-05_01.qdimacs 2 8 9 13 47 49 59 74 2391 1469 423 1033     0.58 0.204                   #N/A #N/A 0.58 0.204              
  d-1-NN-05_02.qdimacs 2 8 11 13 47 61 59 86 2831 1711 423 1275     0.71 0.248                   #N/A #N/A 0.71 0.248              
  d-1-NN-05_03.qdimacs 2 8 12 13 47 70 59 93 3068 1889 423 1453     0.92 0.284                   #N/A #N/A 0.92 0.284              
  d-1-NN-05_04.qdimacs 2 8 15 13 47 80 59 105 3743 2259 423 1823     1.23 0.364                   #N/A #N/A 1.23 0.364              
  d-1-NN-05_05.qdimacs 2 12 13 13 65 67 76 91 4373 2808 845 1950     2.15 0.948                   #N/A #N/A 2.15 0.948              
  d-1-NN-05_06.qdimacs 2 12 15 13 65 79 76 103 4945 3134 845 2276     2.87 1.032                   #N/A #N/A 2.87 1.032              
  d-1-NN-05_07.qdimacs 2 12 16 13 65 88 76 110 5244 3366 845 2508     4.18 1.156                   #N/A #N/A 4.18 1.156              
  d-1-NN-05_08.qdimacs 2 12 19 13 65 98 76 122 6069 3830 845 2972     5.21 1.568                   #N/A #N/A 5.21 1.568              
  d-1-NN-05_09.qdimacs 2 13 14 13 76 78 90 105 5416 3534 1064 2457     3.83 1.52                   #N/A #N/A 3.83 1.52              
  d-1-NN-05_10.qdimacs 2 13 16 13 76 90 90 117 6040 3894 1064 2817     4.91 1.768                   #N/A #N/A 4.91 1.768              
  d-1-NN-05_11.qdimacs 2 13 17 13 76 99 90 124 6364 4146 1064 3069     6.44 2.072                   #N/A #N/A 6.44 2.072              
  d-1-NN-05_12.qdimacs 2 13 20 13 76 109 90 136 7255 4653 1064 3576     8.96 2.556                   #N/A #N/A 8.96 2.556              
  d-1-NN-05_13.qdimacs 2 15 16 13 89 91 107 122 7119 4729 1424 3292     7.94 2.436                   #N/A #N/A 7.94 2.436              
  d-1-NN-05_14.qdimacs 2 15 18 13 89 103 107 134 7825 5139 1424 3702     10.35 2.96                   #N/A #N/A 10.35 2.96              
  d-1-NN-05_15.qdimacs 2 15 19 13 89 112 107 141 8188 5422 1424 3985     14.95 3.34                   #N/A #N/A 14.95 3.34              
  d-1-NN-05_16.qdimacs 2 15 22 13 89 122 107 153 9178 5988 1424 4551     20.53 4.432                   #N/A #N/A 20.53 4.432              
  d-1-NN-05_17.qdimacs 2 19 20 13 99 101 124 139 10204 6639 1980 4646     39.26 7.308                   #N/A #N/A 39.26 7.308              
  d-1-NN-05_18.qdimacs 2 19 22 13 99 113 124 151 11040 7117 1980 5124     45.49 8.564                   #N/A #N/A 45.49 8.564              
  d-1-NN-05_19.qdimacs 2 19 23 13 99 122 124 158 11464 7446 1980 5453     79.6 9.196                   #N/A #N/A 79.6 9.196              
  d-1-NN-05_20.qdimacs 2 19 26 13 99 132 124 170 12601 8082 1980 6089     92.25 11.488                   #N/A #N/A 92.25 11.488              
  d-1-NN-05_21.qdimacs 2 21 22 13 106 108 137 152 12213 7894 2332 5549      >120.010 12.268                   #N/A #N/A 120.01 12.268              
  d-1-NN-05_22.qdimacs 2 21 24 13 106 120 137 164 13123 8410 2332 6065      >120.080 14.584                   #N/A #N/A 120.08 14.584              
  d-1-NN-05_23.qdimacs 2 21 25 13 106 129 137 171 13582 8764 2332 6419      >120.030 15.5                   #N/A #N/A 120.03 15.5              
  d-1-NN-05_24.qdimacs 2 21 28 13 106 139 137 183 14806 9441 2332 7096      >120.020 18.541                   #N/A #N/A 120.02 18.541              
  d-1-NN-05_25.qdimacs 2 23 24 13 114 116 152 167 14524 9354 2736 6605      >120.060 19.205                   #N/A #N/A 120.06 19.205              
  d-1-NN-05_26.qdimacs 2 23 26 13 114 128 152 179 15512 9910 2736 7161      >120.080 22.477                   #N/A #N/A 120.08 22.477              
  d-1-NN-05_27.qdimacs 2 23 27 13 114 137 152 186 16008 10290 2736 7541      >120.070 23.865                   #N/A #N/A 120.07 23.865              
  d-1-NN-05_28.qdimacs 2 23 30 13 114 147 152 198 17325 11011 2736 8262      >120.040 27.629                   #N/A #N/A 120.04 27.629              
06 d-1-NN-06_01.qdimacs 3 8 9 17 47 49 59 74 2391 1469 423 1029     0.09 0.168                   #N/A #N/A 0.09 0.168              
  d-1-NN-06_02.qdimacs 3 8 11 17 47 61 59 86 2831 1711 423 1271     0.14 0.2                   #N/A #N/A 0.14 0.2              
  d-1-NN-06_03.qdimacs 3 8 12 17 47 70 59 93 3068 1889 423 1449     0.15 0.232                   #N/A #N/A 0.15 0.232              
  d-1-NN-06_04.qdimacs 3 8 15 17 47 80 59 105 3743 2259 423 1819     0.15 0.304                   #N/A #N/A 0.15 0.304              
  d-1-NN-06_05.qdimacs 3 12 13 17 65 67 76 91 4373 2808 845 1946     0.31 1.18                   #N/A #N/A 0.31 1.18              
  d-1-NN-06_06.qdimacs 3 12 15 17 65 79 76 103 4945 3134 845 2272     0.33 0.896                   #N/A #N/A 0.33 0.896              
  d-1-NN-06_07.qdimacs 3 12 16 17 65 88 76 110 5244 3366 845 2504     0.38 1.112                   #N/A #N/A 0.38 1.112              
  d-1-NN-06_08.qdimacs 3 12 19 17 65 98 76 122 6069 3830 845 2968     0.57 1.276                   #N/A #N/A 0.57 1.276              
  d-1-NN-06_09.qdimacs 3 13 14 17 76 78 90 105 5416 3534 1064 2453     0.78 1.412                   #N/A #N/A 0.78 1.412              
  d-1-NN-06_10.qdimacs 3 13 16 17 76 90 90 117 6040 3894 1064 2813     0.87 1.652                   #N/A #N/A 0.87 1.652              
  d-1-NN-06_11.qdimacs 3 13 17 17 76 99 90 124 6364 4146 1064 3065     0.98 1.908                   #N/A #N/A 0.98 1.908              
  d-1-NN-06_12.qdimacs 3 13 20 17 76 109 90 136 7255 4653 1064 3572     1.13 2.392                   #N/A #N/A 1.13 2.392              
  d-1-NN-06_13.qdimacs 3 15 16 17 89 91 107 122 7119 4729 1424 3288     2.58 2.22                   #N/A #N/A 2.58 2.22              
  d-1-NN-06_14.qdimacs 3 15 18 17 89 103 107 134 7825 5139 1424 3698     2.51 2.696                   #N/A #N/A 2.51 2.696              
  d-1-NN-06_15.qdimacs 3 15 19 17 89 112 107 141 8188 5422 1424 3981     2.79 3.116                   #N/A #N/A 2.79 3.116              
  d-1-NN-06_16.qdimacs 3 15 22 17 89 122 107 153 9178 5988 1424 4547     3.76 3.824                   #N/A #N/A 3.76 3.824              
  d-1-NN-06_17.qdimacs 3 19 20 17 99 101 124 139 10204 6639 1980 4642     10.76 6.876                   #N/A #N/A 10.76 6.876              
  d-1-NN-06_18.qdimacs 3 19 22 17 99 113 124 151 11040 7117 1980 5120     10.03 8.5                   #N/A #N/A 10.03 8.5              
  d-1-NN-06_19.qdimacs 3 19 23 17 99 122 124 158 11464 7446 1980 5449     10.64 8.892                   #N/A #N/A 10.64 8.892              
  d-1-NN-06_20.qdimacs 3 19 26 17 99 132 124 170 12601 8082 1980 6085     12.26 10.68                   #N/A #N/A 12.26 10.68              
  d-1-NN-06_21.qdimacs 3 21 22 17 106 108 137 152 12213 7894 2332 5545     40.14 12.384                   #N/A #N/A 40.14 12.384              
  d-1-NN-06_22.qdimacs 3 21 24 17 106 120 137 164 13123 8410 2332 6061     43.81 13.784                   #N/A #N/A 43.81 13.784              
  d-1-NN-06_23.qdimacs 3 21 25 17 106 129 137 171 13582 8764 2332 6415     46.3 15.5                   #N/A #N/A 46.3 15.5              
  d-1-NN-06_24.qdimacs 3 21 28 17 106 139 137 183 14806 9441 2332 7092     49.71 17.837                   #N/A #N/A 49.71 17.837              
  d-1-NN-06_25.qdimacs 3 23 24 17 114 116 152 167 14524 9354 2736 6601      >120.080 19.001                   #N/A #N/A 120.08 19.001              
  d-1-NN-06_26.qdimacs 3 23 26 17 114 128 152 179 15512 9910 2736 7157      >120.060 21.473                   #N/A #N/A 120.06 21.473              
  d-1-NN-06_27.qdimacs 3 23 27 17 114 137 152 186 16008 10290 2736 7537      >120.040 23.381                   #N/A #N/A 120.04 23.381              
  d-1-NN-06_28.qdimacs 3 23 30 17 114 147 152 198 17325 11011 2736 8258      >120.090 27.153                   #N/A #N/A 120.09 27.153              
07 d-1-NN-07_01.qdimacs 3 8 9 19 47 49 59 74 2391 1469 423 1027     0.09 0.164                   #N/A #N/A 0.09 0.164              
  d-1-NN-07_02.qdimacs 3 8 11 19 47 61 59 86 2831 1711 423 1269     0.14 0.2                   #N/A #N/A 0.14 0.2              
  d-1-NN-07_03.qdimacs 3 8 12 19 47 70 59 93 3068 1889 423 1447     0.16 0.224                   #N/A #N/A 0.16 0.224              
  d-1-NN-07_04.qdimacs 3 8 15 19 47 80 59 105 3743 2259 423 1817     0.13 0.296                   #N/A #N/A 0.13 0.296              
  d-1-NN-07_05.qdimacs 3 12 13 19 65 67 76 91 4373 2808 845 1944     0.3 0.752                   #N/A #N/A 0.3 0.752              
  d-1-NN-07_06.qdimacs 3 12 15 19 65 79 76 103 4945 3134 845 2270     0.32 1.008                   #N/A #N/A 0.32 1.008              
  d-1-NN-07_07.qdimacs 3 12 16 19 65 88 76 110 5244 3366 845 2502     0.37 0.984                   #N/A #N/A 0.37 0.984              
  d-1-NN-07_08.qdimacs 3 12 19 19 65 98 76 122 6069 3830 845 2966     0.44 1.26                   #N/A #N/A 0.44 1.26              
  d-1-NN-07_09.qdimacs 3 13 14 19 76 78 90 105 5416 3534 1064 2451     0.93 1.412                   #N/A #N/A 0.93 1.412              
  d-1-NN-07_10.qdimacs 3 13 16 19 76 90 90 117 6040 3894 1064 2811     0.77 1.724                   #N/A #N/A 0.77 1.724              
  d-1-NN-07_11.qdimacs 3 13 17 19 76 99 90 124 6364 4146 1064 3063     0.97 1.8                   #N/A #N/A 0.97 1.8              
  d-1-NN-07_12.qdimacs 3 13 20 19 76 109 90 136 7255 4653 1064 3570     1.33 2.404                   #N/A #N/A 1.33 2.404              
  d-1-NN-07_13.qdimacs 3 15 16 19 89 91 107 122 7119 4729 1424 3286     2.3 2.344                   #N/A #N/A 2.3 2.344              
  d-1-NN-07_14.qdimacs 3 15 18 19 89 103 107 134 7825 5139 1424 3696     2.58 3.228                   #N/A #N/A 2.58 3.228              
  d-1-NN-07_15.qdimacs 3 15 19 19 89 112 107 141 8188 5422 1424 3979     2.87 3.144                   #N/A #N/A 2.87 3.144              
  d-1-NN-07_16.qdimacs 3 15 22 19 89 122 107 153 9178 5988 1424 4545     3.53 3.828                   #N/A #N/A 3.53 3.828              
  d-1-NN-07_17.qdimacs 3 19 20 19 99 101 124 139 10204 6639 1980 4640     10.72 7.104                   #N/A #N/A 10.72 7.104              
  d-1-NN-07_18.qdimacs 3 19 22 19 99 113 124 151 11040 7117 1980 5118     10.48 8.188                   #N/A #N/A 10.48 8.188              
  d-1-NN-07_19.qdimacs 3 19 23 19 99 122 124 158 11464 7446 1980 5447     10.38 9.136                   #N/A #N/A 10.38 9.136              
  d-1-NN-07_20.qdimacs 3 19 26 19 99 132 124 170 12601 8082 1980 6083     12.53 10.696                   #N/A #N/A 12.53 10.696              
  d-1-NN-07_21.qdimacs 3 21 22 19 106 108 137 152 12213 7894 2332 5543     41.37 11.832                   #N/A #N/A 41.37 11.832              
  d-1-NN-07_22.qdimacs 3 21 24 19 106 120 137 164 13123 8410 2332 6059     44.81 14.152                   #N/A #N/A 44.81 14.152              
  d-1-NN-07_23.qdimacs 3 21 25 19 106 129 137 171 13582 8764 2332 6413     46 14.892                   #N/A #N/A 46 14.892              
  d-1-NN-07_24.qdimacs 3 21 28 19 106 139 137 183 14806 9441 2332 7090     49.34 18.097                   #N/A #N/A 49.34 18.097              
  d-1-NN-07_25.qdimacs 3 23 24 19 114 116 152 167 14524 9354 2736 6599      >120.100 18.669                   #N/A #N/A 120.1 18.669              
  d-1-NN-07_26.qdimacs 3 23 26 19 114 128 152 179 15512 9910 2736 7155      >120.020 21.877                   #N/A #N/A 120.02 21.877              
  d-1-NN-07_27.qdimacs 3 23 27 19 114 137 152 186 16008 10290 2736 7535      >120.130 23.353                   #N/A #N/A 120.13 23.353              
  d-1-NN-07_28.qdimacs 3 23 30 19 114 147 152 198 17325 11011 2736 8256      >120.090 26.769                   #N/A #N/A 120.09 26.769              
08 d-1-NN-08_01.qdimacs 4 8 9 23 47 49 59 74 2391 1469 423 1023     0.12 0.164                   #N/A #N/A 0.12 0.164              
  d-1-NN-08_02.qdimacs 4 8 11 23 47 61 59 86 2831 1711 423 1265     0.19 0.212                   #N/A #N/A 0.19 0.212              
  d-1-NN-08_03.qdimacs 4 8 12 23 47 70 59 93 3068 1889 423 1443     0.17 0.224                   #N/A #N/A 0.17 0.224              
  d-1-NN-08_04.qdimacs 4 8 15 23 47 80 59 105 3743 2259 423 1813     0.15 0.3                   #N/A #N/A 0.15 0.3              
  d-1-NN-08_05.qdimacs 4 12 13 23 65 67 76 91 4373 2808 845 1940     0.48 1.024                   #N/A #N/A 0.48 1.024              
  d-1-NN-08_06.qdimacs 4 12 15 23 65 79 76 103 4945 3134 845 2266     0.43 0.996                   #N/A #N/A 0.43 0.996              
  d-1-NN-08_07.qdimacs 4 12 16 23 65 88 76 110 5244 3366 845 2498     0.43 1.068                   #N/A #N/A 0.43 1.068              
  d-1-NN-08_08.qdimacs 4 12 19 23 65 98 76 122 6069 3830 845 2962     0.57 1.24                   #N/A #N/A 0.57 1.24              
  d-1-NN-08_09.qdimacs 4 13 14 23 76 78 90 105 5416 3534 1064 2447     0.6 1.316                   #N/A #N/A 0.6 1.316              
  d-1-NN-08_10.qdimacs 4 13 16 23 76 90 90 117 6040 3894 1064 2807     0.87 1.656                   #N/A #N/A 0.87 1.656              
  d-1-NN-08_11.qdimacs 4 13 17 23 76 99 90 124 6364 4146 1064 3059     0.92 1.876                   #N/A #N/A 0.92 1.876              
  d-1-NN-08_12.qdimacs 4 13 20 23 76 109 90 136 7255 4653 1064 3566     0.98 2.348                   #N/A #N/A 0.98 2.348              
  d-1-NN-08_13.qdimacs 4 15 16 23 89 91 107 122 7119 4729 1424 3282     1.8 2.192                   #N/A #N/A 1.8 2.192              
  d-1-NN-08_14.qdimacs 4 15 18 23 89 103 107 134 7825 5139 1424 3692     2.1 2.768                   #N/A #N/A 2.1 2.768              
  d-1-NN-08_15.qdimacs 4 15 19 23 89 112 107 141 8188 5422 1424 3975     2.63 3.02                   #N/A #N/A 2.63 3.02              
  d-1-NN-08_16.qdimacs 4 15 22 23 89 122 107 153 9178 5988 1424 4541     2.55 3.868                   #N/A #N/A 2.55 3.868              
  d-1-NN-08_17.qdimacs 4 19 20 23 99 101 124 139 10204 6639 1980 4636     8.71 6.9                   #N/A #N/A 8.71 6.9              
  d-1-NN-08_18.qdimacs 4 19 22 23 99 113 124 151 11040 7117 1980 5114     8.37 8.548                   #N/A #N/A 8.37 8.548              
  d-1-NN-08_19.qdimacs 4 19 23 23 99 122 124 158 11464 7446 1980 5443     8.56 8.772                   #N/A #N/A 8.56 8.772              
  d-1-NN-08_20.qdimacs 4 19 26 23 99 132 124 170 12601 8082 1980 6079     9.15 10.604                   #N/A #N/A 9.15 10.604              
  d-1-NN-08_21.qdimacs 4 21 22 23 106 108 137 152 12213 7894 2332 5539     38.2 12.212                   #N/A #N/A 38.2 12.212              
  d-1-NN-08_22.qdimacs 4 21 24 23 106 120 137 164 13123 8410 2332 6055     39.18 13.712                   #N/A #N/A 39.18 13.712              
  d-1-NN-08_23.qdimacs 4 21 25 23 106 129 137 171 13582 8764 2332 6409     40.95 15.044                   #N/A #N/A 40.95 15.044              
  d-1-NN-08_24.qdimacs 4 21 28 23 106 139 137 183 14806 9441 2332 7086     44 17.461                   #N/A #N/A 44 17.461              
  d-1-NN-08_25.qdimacs 4 23 24 23 114 116 152 167 14524 9354 2736 6595      >120.060 18.909                   #N/A #N/A 120.06 18.909              
  d-1-NN-08_26.qdimacs 4 23 26 23 114 128 152 179 15512 9910 2736 7151      >120.090 21.561                   #N/A #N/A 120.09 21.561              
  d-1-NN-08_27.qdimacs 4 23 27 23 114 137 152 186 16008 10290 2736 7531      >120.050 23.329                   #N/A #N/A 120.05 23.329              
  d-1-NN-08_28.qdimacs 4 23 30 23 114 147 152 198 17325 11011 2736 8252      >120.090 27.009                   #N/A #N/A 120.09 27.009              
09 d-1-NN-09_01.qdimacs 4 9 10 26 49 51 59 74 2688 1669 490 1153     1.52 0.284                   #N/A #N/A 1.52 0.284              
  d-1-NN-09_02.qdimacs 4 9 11 28 51 61 61 86 3046 1880 510 1342     1.75 0.52                   #N/A #N/A 1.75 0.52              
  d-1-NN-09_03.qdimacs 4 9 12 28 51 70 61 93 3283 2058 510 1520     0.17 0.308                   #N/A #N/A 0.17 0.308              
  d-1-NN-09_04.qdimacs 4 9 15 28 51 80 61 105 3958 2428 510 1890     0.27 0.42                   #N/A #N/A 0.27 0.42              
  d-1-NN-09_05.qdimacs 4 13 14 26 67 69 76 91 4758 3077 938 2113     3.73 1.076                   #N/A #N/A 3.73 1.076              
  d-1-NN-09_06.qdimacs 4 13 15 28 69 79 78 103 5230 3362 966 2368     3.57 1.56                   #N/A #N/A 3.57 1.56              
  d-1-NN-09_07.qdimacs 4 13 16 28 69 88 78 110 5529 3594 966 2600     0.64 1.3                   #N/A #N/A 0.64 1.3              
  d-1-NN-09_08.qdimacs 4 13 19 28 69 98 78 122 6354 4058 966 3064     0.58 1.692                   #N/A #N/A 0.58 1.692              
  d-1-NN-09_09.qdimacs 4 14 15 26 78 80 90 105 5855 3843 1170 2647     5.8 2.052                   #N/A #N/A 5.8 2.052              
  d-1-NN-09_10.qdimacs 4 14 16 28 80 90 92 117 6365 4153 1200 2925     5.98 3.056                   #N/A #N/A 5.98 3.056              
  d-1-NN-09_11.qdimacs 4 14 17 28 80 99 92 124 6689 4405 1200 3177     1.11 2.312                   #N/A #N/A 1.11 2.312              
  d-1-NN-09_12.qdimacs 4 14 20 28 80 109 92 136 7580 4912 1200 3684     1.19 3.268                   #N/A #N/A 1.19 3.268              
  d-1-NN-09_13.qdimacs 4 16 17 26 91 93 107 122 7624 5089 1547 3516     12.81 3.328                   #N/A #N/A 12.81 3.328              
  d-1-NN-09_14.qdimacs 4 16 18 28 93 103 109 134 8199 5440 1581 3831     14.32 4.968                   #N/A #N/A 14.32 4.968              
  d-1-NN-09_15.qdimacs 4 16 19 28 93 112 109 141