concept entailment (-d -r1 -r2) not solved?    
sigN name roles b-concepts axioms clause variables time graph data
sig 1 12 sig 1 12 1 12 total A E sKizzo 1:13 sKizzo 0 2clsQ yquaffle 0                 sKizzo 1:13 sKizzo 2clsQ yquaffle              
01 d2-1-NN-01_01.qdimacs 1 8 9 5 47 49 59 74 2391 1469 423 1041   131.69 0.4 0.272                 #N/A 131.69 0.4 0.272              
  d2-1-NN-01_02.qdimacs 1 8 11 5 47 61 59 86 2831 1711 423 1283   122.45 0.57 0.252                 #N/A 122.45 0.57 0.252              
  d2-1-NN-01_03.qdimacs 1 8 12 5 47 70 59 93 3068 1889 423 1461   123.57 0.74 0.284                 #N/A 123.57 0.74 0.284              
  d2-1-NN-01_04.qdimacs 1 8 15 5 47 80 59 105 3743 2259 423 1831   121.01 0.83 0.356                 #N/A 121.01 0.83 0.356              
  d2-1-NN-01_05.qdimacs 1 12 13 5 65 67 76 91 4373 2808 845 1958    >250 1.61 0.832                 #N/A 250 1.61 0.832              
  d2-1-NN-01_06.qdimacs 1 12 15 5 65 79 76 103 4945 3134 845 2284    >250 2.03 1.004                 #N/A 250 2.03 1.004              
  d2-1-NN-01_07.qdimacs 1 12 16 5 65 88 76 110 5244 3366 845 2516    >250 2.7 1.26                 #N/A 250 2.7 1.26              
  d2-1-NN-01_08.qdimacs 1 12 19 5 65 98 76 122 6069 3830 845 2980    >250 3.21 1.428                 #N/A 250 3.21 1.428              
  d2-1-NN-01_09.qdimacs 1 13 14 5 75 77 90 105 5416 3505 1050 2450    >250 2.83 1.708                 #N/A 250 2.83 1.708              
  d2-1-NN-01_10.qdimacs 1 13 16 5 75 89 90 117 6040 3863 1050 2808    >250 3.67 2.116                 #N/A 250 3.67 2.116              
  d2-1-NN-01_11.qdimacs 1 13 17 5 75 98 90 124 6364 4114 1050 3059    >250 4.56 2.248                 #N/A 250 4.56 2.248              
  d2-1-NN-01_12.qdimacs 1 13 20 5 75 108 90 136 7255 4618 1050 3563    >250 6.55 2.86                 #N/A 250 6.55 2.86              
  d2-1-NN-01_13.qdimacs 1 15 16 5 88 90 107 122 7119 4696 1408 3283    >250 7.54 2.832                 #N/A 250 7.54 2.832              
  d2-1-NN-01_14.qdimacs 1 15 18 5 88 102 107 134 7825 5104 1408 3691    >250 10.28 3.372                 #N/A 250 10.28 3.372              
  d2-1-NN-01_15.qdimacs 1 15 19 5 88 111 107 141 8188 5386 1408 3973    >250 11.62 3.852                 #N/A 250 11.62 3.852              
  d2-1-NN-01_16.qdimacs 1 15 22 5 88 121 107 153 9178 5949 1408 4536    >250 16.58 4.612                 #N/A 250 16.58 4.612              
  d2-1-NN-01_17.qdimacs 1 19 20 5 98 100 124 139 10204 6598 1960 4633    >250 24.46 8.056                 #N/A 250 24.46 8.056              
  d2-1-NN-01_18.qdimacs 1 19 22 5 98 112 124 151 11040 7074 1960 5109    >250 32.3 9.372                 #N/A 250 32.3 9.372              
  d2-1-NN-01_19.qdimacs 1 19 23 5 98 121 124 158 11464 7402 1960 5437    >250 36.89 10.508                 #N/A 250 36.89 10.508              
  d2-1-NN-01_20.qdimacs 1 19 26 5 98 131 124 170 12601 8035 1960 6070    >250 47.14 12.396                 #N/A 250 47.14 12.396              
  d2-1-NN-01_21.qdimacs 1 21 22 5 105 107 137 152 12213 7849 2310 5534    >250 118.61 13.928                 #N/A 250 118.61 13.928              
  d2-1-NN-01_22.qdimacs 1 21 24 5 105 119 137 164 13123 8363 2310 6048    >250 142.27 15.644                 #N/A 250 142.27 15.644              
  d2-1-NN-01_23.qdimacs 1 21 25 5 105 128 137 171 13582 8716 2310 6401    >250 158.02 17.441                 #N/A 250 158.02 17.441              
  d2-1-NN-01_24.qdimacs 1 21 28 5 105 138 137 183 14806 9390 2310 7075    >250 192.56 20.509                 #N/A 250 192.56 20.509              
  d2-1-NN-01_25.qdimacs 1 23 24 5 113 115 152 167 14524 9305 2712 6588    >250 519.57 21.405                 #N/A 250 519.57 21.405              
  d2-1-NN-01_26.qdimacs 1 23 26 5 113 127 152 179 15512 9859 2712 7142    >250 617.48 24.097                 #N/A 250 617.48 24.097              
  d2-1-NN-01_27.qdimacs 1 23 27 5 113 136 152 186 16008 10238 2712 7521    >250 674.08 26.285                 #N/A 250 674.08 26.285              
  d2-1-NN-01_28.qdimacs 1 23 30 5 113 146 152 198 17325 10956 2712 8239    >250 792.37 30.681                 #N/A 250 792.37 30.681              
02 d2-1-NN-02_01.qdimacs 1 8 9 7 47 49 59 74 2391 1469 423 1039    >250 0.57 0.216                 #N/A 250 0.57 0.216              
  d2-1-NN-02_02.qdimacs 1 8 11 7 47 61 59 86 2831 1711 423 1281    >250 0.54 0.296                 #N/A 250 0.54 0.296              
  d2-1-NN-02_03.qdimacs 1 8 12 7 47 70 59 93 3068 1889 423 1459    >250 0.66 0.304                 #N/A 250 0.66 0.304              
  d2-1-NN-02_04.qdimacs 1 8 15 7 47 80 59 105 3743 2259 423 1829    >250 0.86 0.376                 #N/A 250 0.86 0.376              
  d2-1-NN-02_05.qdimacs 1 12 13 7 65 67 76 91 4373 2808 845 1956    >250 1.9 0.876                 #N/A 250 1.9 0.876              
  d2-1-NN-02_06.qdimacs 1 12 15 7 65 79 76 103 4945 3134 845 2282    >250 1.91 1.016                 #N/A 250 1.91 1.016              
  d2-1-NN-02_07.qdimacs 1 12 16 7 65 88 76 110 5244 3366 845 2514    >250 2.2 1.404                 #N/A 250 2.2 1.404              
  d2-1-NN-02_08.qdimacs 1 12 19 7 65 98 76 122 6069 3830 845 2978    >250 3.02 1.508                 #N/A 250 3.02 1.508              
  d2-1-NN-02_09.qdimacs 1 13 14 7 75 77 90 105 5416 3505 1050 2448    >250 3.28 1.592                 #N/A 250 3.28 1.592              
  d2-1-NN-02_10.qdimacs 1 13 16 7 75 89 90 117 6040 3863 1050 2806    >250 3.84 1.904                 #N/A 250 3.84 1.904              
  d2-1-NN-02_11.qdimacs 1 13 17 7 75 98 90 124 6364 4114 1050 3057    >250 5.4 2.296                 #N/A 250 5.4 2.296              
  d2-1-NN-02_12.qdimacs 1 13 20 7 75 108 90 136 7255 4618 1050 3561    >250 7.25 2.872                 #N/A 250 7.25 2.872              
  d2-1-NN-02_13.qdimacs 1 15 16 7 88 90 107 122 7119 4696 1408 3281    >250 7.88 2.756                 #N/A 250 7.88 2.756              
  d2-1-NN-02_14.qdimacs 1 15 18 7 88 102 107 134 7825 5104 1408 3689    >250 10.71 3.428                 #N/A 250 10.71 3.428              
  d2-1-NN-02_15.qdimacs 1 15 19 7 88 111 107 141 8188 5386 1408 3971    >250 12.53 3.66                 #N/A 250 12.53 3.66              
  d2-1-NN-02_16.qdimacs 1 15 22 7 88 121 107 153 9178 5949 1408 4534    >250 18.52 4.612                 #N/A 250 18.52 4.612              
  d2-1-NN-02_17.qdimacs 1 19 20 7 98 100 124 139 10204 6598 1960 4631    >250 24.64 8.236                 #N/A 250 24.64 8.236              
  d2-1-NN-02_18.qdimacs 1 19 22 7 98 112 124 151 11040 7074 1960 5107    >250 31.97 9.42                 #N/A 250 31.97 9.42              
  d2-1-NN-02_19.qdimacs 1 19 23 7 98 121 124 158 11464 7402 1960 5435    >250 37.96 10.368                 #N/A 250 37.96 10.368              
  d2-1-NN-02_20.qdimacs 1 19 26 7 98 131 124 170 12601 8035 1960 6068    >250 48.61 12.644                 #N/A 250 48.61 12.644              
  d2-1-NN-02_21.qdimacs 1 21 22 7 105 107 137 152 12213 7849 2310 5532    >250 114.67 13.652                 #N/A 250 114.67 13.652              
  d2-1-NN-02_22.qdimacs 1 21 24 7 105 119 137 164 13123 8363 2310 6046    >250 138.6 15.708                 #N/A 250 138.6 15.708              
  d2-1-NN-02_23.qdimacs 1 21 25 7 105 128 137 171 13582 8716 2310 6399    >250 161.93 17.184                 #N/A 250 161.93 17.184              
  d2-1-NN-02_24.qdimacs 1 21 28 7 105 138 137 183 14806 9390 2310 7073    >250 197.77 20.573                 #N/A 250 197.77 20.573              
  d2-1-NN-02_25.qdimacs 1 23 24 7 113 115 152 167 14524 9305 2712 6586    >250 523.51 21.601                 #N/A 250 523.51 21.601              
  d2-1-NN-02_26.qdimacs 1 23 26 7 113 127 152 179 15512 9859 2712 7140    >250 615.63 24.645                 #N/A 250 615.63 24.645              
  d2-1-NN-02_27.qdimacs 1 23 27 7 113 136 152 186 16008 10238 2712 7519    >250 685.43 26.025                 #N/A 250 685.43 26.025              
  d2-1-NN-02_28.qdimacs 1 23 30 7 113 146 152 198 17325 10956 2712 8237    >250 802.24 30.429                 #N/A 250 802.24 30.429              
03 d2-1-NN-03_01.qdimacs 2 8 9 11 47 49 59 74 2391 1469 423 1035    >250 0.48 0.22                 #N/A 250 0.48 0.22              
  d2-1-NN-03_02.qdimacs 2 8 11 11 47 61 59 86 2831 1711 423 1277    >250 0.6 0.272                 #N/A 250 0.6 0.272              
  d2-1-NN-03_03.qdimacs 2 8 12 11 47 70 59 93 3068 1889 423 1455    >250 0.62 0.396                 #N/A 250 0.62 0.396              
  d2-1-NN-03_04.qdimacs 2 8 15 11 47 80 59 105 3743 2259 423 1825    >250 0.93 0.392                 #N/A 250 0.93 0.392              
  d2-1-NN-03_05.qdimacs 2 12 13 11 65 67 76 91 4373 2808 845 1952    >250 2.32 0.896                 #N/A 250 2.32 0.896              
  d2-1-NN-03_06.qdimacs 2 12 15 11 65 79 76 103 4945 3134 845 2278    >250 3.13 1.04                 #N/A 250 3.13 1.04              
  d2-1-NN-03_07.qdimacs 2 12 16 11 65 88 76 110 5244 3366 845 2510    >250 3.21 1.34                 #N/A 250 3.21 1.34              
  d2-1-NN-03_08.qdimacs 2 12 19 11 65 98 76 122 6069 3830 845 2974    >250 4.71 1.632                 #N/A 250 4.71 1.632              
  d2-1-NN-03_09.qdimacs 2 13 14 11 75 77 90 105 5416 3505 1050 2444    >250 4.42 1.692                 #N/A 250 4.42 1.692              
  d2-1-NN-03_10.qdimacs 2 13 16 11 75 89 90 117 6040 3863 1050 2802    >250 5.99 2.12                 #N/A 250 5.99 2.12              
  d2-1-NN-03_11.qdimacs 2 13 17 11 75 98 90 124 6364 4114 1050 3053    >250 5.6 2.22                 #N/A 250 5.6 2.22              
  d2-1-NN-03_12.qdimacs 2 13 20 11 75 108 90 136 7255 4618 1050 3557    >250 7.16 2.964                 #N/A 250 7.16 2.964              
  d2-1-NN-03_13.qdimacs 2 15 16 11 88 90 107 122 7119 4696 1408 3277    >250 10.78 2.888                 #N/A 250 10.78 2.888              
  d2-1-NN-03_14.qdimacs 2 15 18 11 88 102 107 134 7825 5104 1408 3685    >250 13.31 3.668                 #N/A 250 13.31 3.668              
  d2-1-NN-03_15.qdimacs 2 15 19 11 88 111 107 141 8188 5386 1408 3967    >250 12.19 3.792                 #N/A 250 12.19 3.792              
  d2-1-NN-03_16.qdimacs 2 15 22 11 88 121 107 153 9178 5949 1408 4530    >250 15.73 4.732                 #N/A 250 15.73 4.732              
  d2-1-NN-03_17.qdimacs 2 19 20 11 98 100 124 139 10204 6598 1960 4627    >250 43.37 8.284                 #N/A 250 43.37 8.284              
  d2-1-NN-03_18.qdimacs 2 19 22 11 98 112 124 151 11040 7074 1960 5103    >250 52.28 9.648                 #N/A 250 52.28 9.648              
  d2-1-NN-03_19.qdimacs 2 19 23 11 98 121 124 158 11464 7402 1960 5431    >250 54.43 10.484                 #N/A 250 54.43 10.484              
  d2-1-NN-03_20.qdimacs 2 19 26 11 98 131 124 170 12601 8035 1960 6064    >250 65.09 12.656                 #N/A 250 65.09 12.656              
  d2-1-NN-03_21.qdimacs 2 21 22 11 105 107 137 152 12213 7849 2310 5528    >250 127.23 13.708                 #N/A 250 127.23 13.708              
  d2-1-NN-03_22.qdimacs 2 21 24 11 105 119 137 164 13123 8363 2310 6042    >250 158.28 15.888                 #N/A 250 158.28 15.888              
  d2-1-NN-03_23.qdimacs 2 21 25 11 105 128 137 171 13582 8716 2310 6395    >250 166.91 17.565                 #N/A 250 166.91 17.565              
  d2-1-NN-03_24.qdimacs 2 21 28 11 105 138 137 183 14806 9390 2310 7069    >250 198.16 20.665                 #N/A 250 198.16 20.665              
  d2-1-NN-03_25.qdimacs 2 23 24 11 113 115 152 167 14524 9305 2712 6582    >250 540.39 21.417                 #N/A 250 540.39 21.417              
  d2-1-NN-03_26.qdimacs 2 23 26 11 113 127 152 179 15512 9859 2712 7136    >250 642.47 24.577                 #N/A 250 642.47 24.577              
  d2-1-NN-03_27.qdimacs 2 23 27 11 113 136 152 186 16008 10238 2712 7515    >250 825.48 26.657                 #N/A 250 825.48 26.657              
  d2-1-NN-03_28.qdimacs 2 23 30 11 113 146 152 198 17325 10956 2712 8233    >250 939.16 30.877                 #N/A 250 939.16 30.877              
04 d2-1-NN-04_01.qdimacs 3 8 9 15 47 49 59 74 2391 1469 423 1031    >250 0.54 0.264                 #N/A 250 0.54 0.264              
  d2-1-NN-04_02.qdimacs 3 8 11 15 47 61 59 86 2831 1711 423 1273    >250 0.5 0.232                 #N/A 250 0.5 0.232              
  d2-1-NN-04_03.qdimacs 3 8 12 15 47 70 59 93 3068 1889 423 1451    >250 0.52 0.388                 #N/A 250 0.52 0.388              
  d2-1-NN-04_04.qdimacs 3 8 15 15 47 80 59 105 3743 2259 423 1821    >250 0.77 0.376                 #N/A 250 0.77 0.376              
  d2-1-NN-04_05.qdimacs 3 12 13 15 65 67 76 91 4373 2808 845 1948    >250 2.77 0.812                 #N/A 250 2.77 0.812              
  d2-1-NN-04_06.qdimacs 3 12 15 15 65 79 76 103 4945 3134 845 2274    >250 3.81 1.044                 #N/A 250 3.81 1.044              
  d2-1-NN-04_07.qdimacs 3 12 16 15 65 88 76 110 5244 3366 845 2506    >250 3.7 1.192                 #N/A 250 3.7 1.192              
  d2-1-NN-04_08.qdimacs 3 12 19 15 65 98 76 122 6069 3830 845 2970    >250 4.9 1.484                 #N/A 250 4.9 1.484              
  d2-1-NN-04_09.qdimacs 3 13 14 15 75 77 90 105 5416 3505 1050 2440    >250 5.02 1.792                 #N/A 250 5.02 1.792              
  d2-1-NN-04_10.qdimacs 3 13 16 15 75 89 90 117 6040 3863 1050 2798    >250 6.57 2.12                 #N/A 250 6.57 2.12              
  d2-1-NN-04_11.qdimacs 3 13 17 15 75 98 90 124 6364 4114 1050 3049    >250 6.37 2.352                 #N/A 250 6.37 2.352              
  d2-1-NN-04_12.qdimacs 3 13 20 15 75 108 90 136 7255 4618 1050 3553    >250 8.89 2.852                 #N/A 250 8.89 2.852              
  d2-1-NN-04_13.qdimacs 3 15 16 15 88 90 107 122 7119 4696 1408 3273    >250 12.53 2.824                 #N/A 250 12.53 2.824              
  d2-1-NN-04_14.qdimacs 3 15 18 15 88 102 107 134 7825 5104 1408 3681    >250 15.81 3.328                 #N/A 250 15.81 3.328              
  d2-1-NN-04_15.qdimacs 3 15 19 15 88 111 107 141 8188 5386 1408 3963    >250 15.81 3.864                 #N/A 250 15.81 3.864              
  d2-1-NN-04_16.qdimacs 3 15 22 15 88 121 107 153 9178 5949 1408 4526    >250 20.72 4.684                 #N/A 250 20.72 4.684              
  d2-1-NN-04_17.qdimacs 3 19 20 15 98 100 124 139 10204 6598 1960 4623    >250 44.61 8.14                 #N/A 250 44.61 8.14              
  d2-1-NN-04_18.qdimacs 3 19 22 15 98 112 124 151 11040 7074 1960 5099    >250 56.5 9.612                 #N/A 250 56.5 9.612              
  d2-1-NN-04_19.qdimacs 3 19 23 15 98 121 124 158 11464 7402 1960 5427    >250 87.75 10.316                 #N/A 250 87.75 10.316              
  d2-1-NN-04_20.qdimacs 3 19 26 15 98 131 124 170 12601 8035 1960 6060    >250 110.11 12.444                 #N/A 250 110.11 12.444              
  d2-1-NN-04_21.qdimacs 3 21 22 15 105 107 137 152 12213 7849 2310 5524    >250 127.74 13.808                 #N/A 250 127.74 13.808              
  d2-1-NN-04_22.qdimacs 3 21 24 15 105 119 137 164 13123 8363 2310 6038    >250 157.48 16.092                 #N/A 250 157.48 16.092              
  d2-1-NN-04_23.qdimacs 3 21 25 15 105 128 137 171 13582 8716 2310 6391    >250 168.42 17.132                 #N/A 250 168.42 17.132              
  d2-1-NN-04_24.qdimacs 3 21 28 15 105 138 137 183 14806 9390 2310 7065    >250 207.18 20.309                 #N/A 250 207.18 20.309              
  d2-1-NN-04_25.qdimacs 3 23 24 15 113 115 152 167 14524 9305 2712 6578    >250 500.34 21.553                 #N/A 250 500.34 21.553              
  d2-1-NN-04_26.qdimacs 3 23 26 15 113 127 152 179 15512 9859 2712 7132    >250 588.89 24.341                 #N/A 250 588.89 24.341              
  d2-1-NN-04_27.qdimacs 3 23 27 15 113 136 152 186 16008 10238 2712 7511    >250 850.75 26.309                 #N/A 250 850.75 26.309              
  d2-1-NN-04_28.qdimacs 3 23 30 15 113 146 152 198 17325 10956 2712 8229    >250 995.99 30.645                 #N/A 250 995.99 30.645              
05 d2-1-NN-05_01.qdimacs 2 8 9 13 47 49 59 74 2391 1469 423 1033    >250 0.52 0.232                 #N/A 250 0.52 0.232              
  d2-1-NN-05_02.qdimacs 2 8 11 13 47 61 59 86 2831 1711 423 1275    >250 0.6 0.28                 #N/A 250 0.6 0.28              
  d2-1-NN-05_03.qdimacs 2 8 12 13 47 70 59 93 3068 1889 423 1453    >250 0.77 0.396                 #N/A 250 0.77 0.396              
  d2-1-NN-05_04.qdimacs 2 8 15 13 47 80 59 105 3743 2259 423 1823    >250 1.15 0.404                 #N/A 250 1.15 0.404              
  d2-1-NN-05_05.qdimacs 2 12 13 13 65 67 76 91 4373 2808 845 1950    >250 2.05 0.988                 #N/A 250 2.05 0.988              
  d2-1-NN-05_06.qdimacs 2 12 15 13 65 79 76 103 4945 3134 845 2276    >250 2.89 1.136                 #N/A 250 2.89 1.136              
  d2-1-NN-05_07.qdimacs 2 12 16 13 65 88 76 110 5244 3366 845 2508    >250 4.49 1.168                 #N/A 250 4.49 1.168              
  d2-1-NN-05_08.qdimacs 2 12 19 13 65 98 76 122 6069 3830 845 2972    >250 5.99 1.592                 #N/A 250 5.99 1.592              
  d2-1-NN-05_09.qdimacs 2 13 14 13 75 77 90 105 5416 3505 1050 2442    >250 4.06 2.036                 #N/A 250 4.06 2.036              
  d2-1-NN-05_10.qdimacs 2 13 16 13 75 89 90 117 6040 3863 1050 2800    >250 5.35 1.936                 #N/A 250 5.35 1.936              
  d2-1-NN-05_11.qdimacs 2 13 17 13 75 98 90 124 6364 4114 1050 3051    >250 6.35 2.6                 #N/A 250 6.35 2.6              
  d2-1-NN-05_12.qdimacs 2 13 20 13 75 108 90 136 7255 4618 1050 3555    >250 9.15 3.28                 #N/A 250 9.15 3.28              
  d2-1-NN-05_13.qdimacs 2 15 16 13 88 90 107 122 7119 4696 1408 3275    >250 8.53 2.82                 #N/A 250 8.53 2.82              
  d2-1-NN-05_14.qdimacs 2 15 18 13 88 102 107 134 7825 5104 1408 3683    >250 10.46 3.464                 #N/A 250 10.46 3.464              
  d2-1-NN-05_15.qdimacs 2 15 19 13 88 111 107 141 8188 5386 1408 3965    >250 16.07 3.82                 #N/A 250 16.07 3.82              
  d2-1-NN-05_16.qdimacs 2 15 22 13 88 121 107 153 9178 5949 1408 4528    >250 21.71 4.824                 #N/A 250 21.71 4.824              
  d2-1-NN-05_17.qdimacs 2 19 20 13 98 100 124 139 10204 6598 1960 4625    >250 36.48 8.088                 #N/A 250 36.48 8.088              
  d2-1-NN-05_18.qdimacs 2 19 22 13 98 112 124 151 11040 7074 1960 5101    >250 43.67 9.796                 #N/A 250 43.67 9.796              
  d2-1-NN-05_19.qdimacs 2 19 23 13 98 121 124 158 11464 7402 1960 5429    >250 58.01 10.5                 #N/A 250 58.01 10.5              
  d2-1-NN-05_20.qdimacs 2 19 26 13 98 131 124 170 12601 8035 1960 6062    >250 71.83 12.864                 #N/A 250 71.83 12.864              
  d2-1-NN-05_21.qdimacs 2 21 22 13 105 107 137 152 12213 7849 2310 5526    >250 130.86 13.956                 #N/A 250 130.86 13.956              
  d2-1-NN-05_22.qdimacs 2 21 24 13 105 119 137 164 13123 8363 2310 6040    >250 161.46 16.472                 #N/A 250 161.46 16.472              
  d2-1-NN-05_23.qdimacs 2 21 25 13 105 128 137 171 13582 8716 2310 6393    >250 161.27 17.545                 #N/A 250 161.27 17.545              
  d2-1-NN-05_24.qdimacs 2 21 28 13 105 138 137 183 14806 9390 2310 7067    >250 200.06 20.881                 #N/A 250 200.06 20.881              
  d2-1-NN-05_25.qdimacs 2 23 24 13 113 115 152 167 14524 9305 2712 6580    >250 519.88 21.797                 #N/A 250 519.88 21.797              
  d2-1-NN-05_26.qdimacs 2 23 26 13 113 127 152 179 15512 9859 2712 7134    >250 611.78 25.009                 #N/A 250 611.78 25.009              
  d2-1-NN-05_27.qdimacs 2 23 27 13 113 136 152 186 16008 10238 2712 7513    >250 1110.89 26.773                 #N/A 250 1110.89 26.773              
  d2-1-NN-05_28.qdimacs 2 23 30 13 113 146 152 198 17325 10956 2712 8231    >250 1296.63 31.045                 #N/A 250 1296.63 31.045              
06 d2-1-NN-06_01.qdimacs 3 8 9 17 47 49 59 74 2391 1469 423 1029    >250 0.14 0.192                 #N/A 250 0.14 0.192              
  d2-1-NN-06_02.qdimacs 3 8 11 17 47 61 59 86 2831 1711 423 1271    >250 0.14 0.196                 #N/A 250 0.14 0.196              
  d2-1-NN-06_03.qdimacs 3 8 12 17 47 70 59 93 3068 1889 423 1449    >250 0.12 0.264                 #N/A 250 0.12 0.264              
  d2-1-NN-06_04.qdimacs 3 8 15 17 47 80 59 105 3743 2259 423 1819    >250 0.14 0.404                 #N/A 250 0.14 0.404              
  d2-1-NN-06_05.qdimacs 3 12 13 17 65 67 76 91 4373 2808 845 1946    >250 0.3 0.768                 #N/A 250 0.3 0.768              
  d2-1-NN-06_06.qdimacs 3 12 15 17 65 79 76 103 4945 3134 845 2272    >250 0.34 0.984                 #N/A 250 0.34 0.984              
  d2-1-NN-06_07.qdimacs 3 12 16 17 65 88 76 110 5244 3366 845 2504    >250 0.39 1.08                 #N/A 250 0.39 1.08              
  d2-1-NN-06_08.qdimacs 3 12 19 17 65 98 76 122 6069 3830 845 2968    >250 0.4 1.42                 #N/A 250 0.4 1.42              
  d2-1-NN-06_09.qdimacs 3 13 14 17 75 77 90 105 5416 3505 1050 2438    >250 0.98 1.656                 #N/A 250 0.98 1.656              
  d2-1-NN-06_10.qdimacs 3 13 16 17 75 89 90 117 6040 3863 1050 2796    >250 0.96 2.068                 #N/A 250 0.96 2.068              
  d2-1-NN-06_11.qdimacs 3 13 17 17 75 98 90 124 6364 4114 1050 3047    >250 0.99 2.332                 #N/A 250 0.99 2.332              
  d2-1-NN-06_12.qdimacs 3 13 20 17 75 108 90 136 7255 4618 1050 3551    >250 1.36 2.808                 #N/A 250 1.36 2.808              
  d2-1-NN-06_13.qdimacs 3 15 16 17 88 90 107 122 7119 4696 1408 3271    >250 2.01 2.664                 #N/A 250 2.01 2.664              
  d2-1-NN-06_14.qdimacs 3 15 18 17 88 102 107 134 7825 5104 1408 3679    >250 2.97 3.324                 #N/A 250 2.97 3.324              
  d2-1-NN-06_15.qdimacs 3 15 19 17 88 111 107 141 8188 5386 1408 3961    >250 2.52 3.62                 #N/A 250 2.52 3.62              
  d2-1-NN-06_16.qdimacs 3 15 22 17 88 121 107 153 9178 5949 1408 4524    >250 2.93 4.588                 #N/A 250 2.93 4.588              
  d2-1-NN-06_17.qdimacs 3 19 20 17 98 100 124 139 10204 6598 1960 4621    >250 8.69 8.008                 #N/A 250 8.69 8.008              
  d2-1-NN-06_18.qdimacs 3 19 22 17 98 112 124 151 11040 7074 1960 5097    >250 10.38 9.604                 #N/A 250 10.38 9.604              
  d2-1-NN-06_19.qdimacs 3 19 23 17 98 121 124 158 11464 7402 1960 5425    >250 10.73 10.228                 #N/A 250 10.73 10.228              
  d2-1-NN-06_20.qdimacs 3 19 26 17 98 131 124 170 12601 8035 1960 6058    >250 11.69 12.528                 #N/A 250 11.69 12.528              
  d2-1-NN-06_21.qdimacs 3 21 22 17 105 107 137 152 12213 7849 2310 5522    >250 40.29 13.364                 #N/A 250 40.29 13.364              
  d2-1-NN-06_22.qdimacs 3 21 24 17 105 119 137 164 13123 8363 2310 6036    >250 42.09 15.812                 #N/A 250 42.09 15.812              
  d2-1-NN-06_23.qdimacs 3 21 25 17 105 128 137 171 13582 8716 2310 6389    >250 43.19 17.104                 #N/A 250 43.19 17.104              
  d2-1-NN-06_24.qdimacs 3 21 28 17 105 138 137 183 14806 9390 2310 7063    >250 48.73 20.237                 #N/A 250 48.73 20.237              
  d2-1-NN-06_25.qdimacs 3 23 24 17 113 115 152 167 14524 9305 2712 6576    >250 216.8 20.989                 #N/A 250 216.8 20.989              
  d2-1-NN-06_26.qdimacs 3 23 26 17 113 127 152 179 15512 9859 2712 7130    >250 225.42 24.085                 #N/A 250 225.42 24.085              
  d2-1-NN-06_27.qdimacs 3 23 27 17 113 136 152 186 16008 10238 2712 7509    >250 226.1 26.197                 #N/A 250 226.1 26.197              
  d2-1-NN-06_28.qdimacs 3 23 30 17 113 146 152 198 17325 10956 2712 8227    >250 245.09 30.649                 #N/A 250 245.09 30.649              
07 d2-1-NN-07_01.qdimacs 3 8 9 19 47 49 59 74 2391 1469 423 1027    >250 0.1 0.16                 #N/A 250 0.1 0.16              
  d2-1-NN-07_02.qdimacs 3 8 11 19 47 61 59 86 2831 1711 423 1269    >250 0.12 0.228                 #N/A 250 0.12 0.228              
  d2-1-NN-07_03.qdimacs 3 8 12 19 47 70 59 93 3068 1889 423 1447    >250 0.11 0.256                 #N/A 250 0.11 0.256              
  d2-1-NN-07_04.qdimacs 3 8 15 19 47 80 59 105 3743 2259 423 1817    >250 0.13 0.324                 #N/A 250 0.13 0.324              
  d2-1-NN-07_05.qdimacs 3 12 13 19 65 67 76 91 4373 2808 845 1944    >250 0.32 0.756                 #N/A 250 0.32 0.756              
  d2-1-NN-07_06.qdimacs 3 12 15 19 65 79 76 103 4945 3134 845 2270    >250 0.33 1.044                 #N/A 250 0.33 1.044              
  d2-1-NN-07_07.qdimacs 3 12 16 19 65 88 76 110 5244 3366 845 2502    >250 0.35 1.012                 #N/A 250 0.35 1.012              
  d2-1-NN-07_08.qdimacs 3 12 19 19 65 98 76 122 6069 3830 845 2966    >250 0.47 1.276                 #N/A 250 0.47 1.276              
  d2-1-NN-07_09.qdimacs 3 13 14 19 75 77 90 105 5416 3505 1050 2436    >250 1 1.58                 #N/A 250 1 1.58              
  d2-1-NN-07_10.qdimacs 3 13 16 19 75 89 90 117 6040 3863 1050 2794    >250 0.87 1.976                 #N/A 250 0.87 1.976              
  d2-1-NN-07_11.qdimacs 3 13 17 19 75 98 90 124 6364 4114 1050 3045    >250 1.02 2.26                 #N/A 250 1.02 2.26              
  d2-1-NN-07_12.qdimacs 3 13 20 19 75 108 90 136 7255 4618 1050 3549    >250 1.7 2.816                 #N/A 250 1.7 2.816              
  d2-1-NN-07_13.qdimacs 3 15 16 19 88 90 107 122 7119 4696 1408 3269    >250 1.8 2.748                 #N/A 250 1.8 2.748              
  d2-1-NN-07_14.qdimacs 3 15 18 19 88 102 107 134 7825 5104 1408 3677    >250 3 3.28                 #N/A 250 3 3.28              
  d2-1-NN-07_15.qdimacs 3 15 19 19 88 111 107 141 8188 5386 1408 3959    >250 2.55 3.7                 #N/A 250 2.55 3.7              
  d2-1-NN-07_16.qdimacs 3 15 22 19 88 121 107 153 9178 5949 1408 4522    >250 3.45 4.564                 #N/A 250 3.45 4.564              
  d2-1-NN-07_17.qdimacs 3 19 20 19 98 100 124 139 10204 6598 1960 4619    >250 8.98 7.98                 #N/A 250 8.98 7.98              
  d2-1-NN-07_18.qdimacs 3 19 22 19 98 112 124 151 11040 7074 1960 5095    >250 9.46 9.448                 #N/A 250 9.46 9.448              
  d2-1-NN-07_19.qdimacs 3 19 23 19 98 121 124 158 11464 7402 1960 5423    >250 11.08 10.424                 #N/A 250 11.08 10.424              
  d2-1-NN-07_20.qdimacs 3 19 26 19 98 131 124 170 12601 8035 1960 6056    >250 12.15 12.26                 #N/A 250 12.15 12.26              
  d2-1-NN-07_21.qdimacs 3 21 22 19 105 107 137 152 12213 7849 2310 5520    >250 39.92 13.684                 #N/A 250 39.92 13.684              
  d2-1-NN-07_22.qdimacs 3 21 24 19 105 119 137 164 13123 8363 2310 6034    >250 41.57 15.544                 #N/A 250 41.57 15.544              
  d2-1-NN-07_23.qdimacs 3 21 25 19 105 128 137 171 13582 8716 2310 6387    >250 43.44 17.128                 #N/A 250 43.44 17.128              
  d2-1-NN-07_24.qdimacs 3 21 28 19 105 138 137 183 14806 9390 2310 7061    >250 46.96 20.181                 #N/A 250 46.96 20.181              
  d2-1-NN-07_25.qdimacs 3 23 24 19 113 115 152 167 14524 9305 2712 6574    >250 215.71 21.141                 #N/A 250 215.71 21.141              
  d2-1-NN-07_26.qdimacs 3 23 26 19 113 127 152 179 15512 9859 2712 7128    >250 232.1 24.357                 #N/A 250 232.1 24.357              
  d2-1-NN-07_27.qdimacs 3 23 27 19 113 136 152 186 16008 10238 2712 7507    >250 234.42 26.077                 #N/A 250 234.42 26.077              
  d2-1-NN-07_28.qdimacs 3 23 30 19 113 146 152 198 17325 10956 2712 8225    >250 243.22 29.793                 #N/A 250 243.22 29.793              
08 d2-1-NN-08_01.qdimacs 4 8 9 23 47 49 59 74 2391 1469 423 1023    >250 0.13 0.196                 #N/A 250 0.13 0.196              
  d2-1-NN-08_02.qdimacs 4 8 11 23 47 61 59 86 2831 1711 423 1265    >250 0.12 0.24                 #N/A 250 0.12 0.24              
  d2-1-NN-08_03.qdimacs 4 8 12 23 47 70 59 93 3068 1889 423 1443    >250 0.13 0.304                 #N/A 250 0.13 0.304              
  d2-1-NN-08_04.qdimacs 4 8 15 23 47 80 59 105 3743 2259 423 1813    >250 0.15 0.336                 #N/A 250 0.15 0.336              
  d2-1-NN-08_05.qdimacs 4 12 13 23 65 67 76 91 4373 2808 845 1940    >250 0.39 0.868                 #N/A 250 0.39 0.868              
  d2-1-NN-08_06.qdimacs 4 12 15 23 65 79 76 103 4945 3134 845 2266    >250 0.42 0.928                 #N/A 250 0.42 0.928              
  d2-1-NN-08_07.qdimacs 4 12 16 23 65 88 76 110 5244 3366 845 2498    >250 0.45 1.088                 #N/A 250 0.45 1.088              
  d2-1-NN-08_08.qdimacs 4 12 19 23 65 98 76 122 6069 3830 845 2962    >250 0.76 1.6                 #N/A 250 0.76 1.6              
  d2-1-NN-08_09.qdimacs 4 13 14 23 75 77 90 105 5416 3505 1050 2432    >250 0.63 1.64                 #N/A 250 0.63 1.64              
  d2-1-NN-08_10.qdimacs 4 13 16 23 75 89 90 117 6040 3863 1050 2790    >250 0.72 1.956                 #N/A 250 0.72 1.956              
  d2-1-NN-08_11.qdimacs 4 13 17 23 75 98 90 124 6364 4114 1050 3041    >250 0.75 2.08                 #N/A 250 0.75 2.08              
  d2-1-NN-08_12.qdimacs 4 13 20 23 75 108 90 136 7255 4618 1050 3545    >250 1.17 2.8                 #N/A 250 1.17 2.8              
  d2-1-NN-08_13.qdimacs 4 15 16 23 88 90 107 122 7119 4696 1408 3265    >250 1.58 2.644                 #N/A 250 1.58 2.644              
  d2-1-NN-08_14.qdimacs 4 15 18 23 88 102 107 134 7825 5104 1408 3673    >250 1.95 3.512                 #N/A 250 1.95 3.512              
  d2-1-NN-08_15.qdimacs 4 15 19 23 88 111 107 141 8188 5386 1408 3955    >250 2.56 3.544                 #N/A 250 2.56 3.544              
  d2-1-NN-08_16.qdimacs 4 15 22 23 88 121 107 153 9178 5949 1408 4518    >250 2.61 4.58                 #N/A 250 2.61 4.58              
  d2-1-NN-08_17.qdimacs 4 19 20 23 98 100 124 139 10204 6598 1960 4615    >250 7.36 8.308                 #N/A 250 7.36 8.308              
  d2-1-NN-08_18.qdimacs 4 19 22 23 98 112 124 151 11040 7074 1960 5091    >250 7.52 9.404                 #N/A 250 7.52 9.404              
  d2-1-NN-08_19.qdimacs 4 19 23 23 98 121 124 158 11464 7402 1960 5419    >250 8.36 10.092                 #N/A 250 8.36 10.092              
  d2-1-NN-08_20.qdimacs 4 19 26 23 98 131 124 170 12601 8035 1960 6052    >250 8.47 12.408                 #N/A 250 8.47 12.408              
  d2-1-NN-08_21.qdimacs 4 21 22 23 105 107 137 152 12213 7849 2310 5516    >250 34.82 13.636                 #N/A 250 34.82 13.636              
  d2-1-NN-08_22.qdimacs 4 21 24 23 105 119 137 164 13123 8363 2310 6030    >250 37.02 15.808                 #N/A 250 37.02 15.808              
  d2-1-NN-08_23.qdimacs 4 21 25 23 105 128 137 171 13582 8716 2310 6383    >250 40.04 16.912                 #N/A 250 40.04 16.912              
  d2-1-NN-08_24.qdimacs 4 21 28 23 105 138 137 183 14806 9390 2310 7057    >250 43.1 20.113                 #N/A 250 43.1 20.113              
  d2-1-NN-08_25.qdimacs 4 23 24 23 113 115 152 167 14524 9305 2712 6570    >250 204.67 21.189                 #N/A 250 204.67 21.189              
  d2-1-NN-08_26.qdimacs 4 23 26 23 113 127 152 179 15512 9859 2712 7124    >250 221.06 24.513                 #N/A 250 221.06 24.513              
  d2-1-NN-08_27.qdimacs 4 23 27 23 113 136 152 186 16008 10238 2712 7503    >250 222.85 25.853                 #N/A 250 222.85 25.853              
  d2-1-NN-08_28.qdimacs 4 23 30 23 113 146 152 198 17325 10956 2712 8221    >250 235.78 30.057                 #N/A 250 235.78 30.057              
09 d2-1-NN-09_01.qdimacs 4 9 10 26 49 51 59 74 2688 1669 490 1153    >250 1.29 0.312                 #N/A 250 1.29 0.312              
  d2-1-NN-09_02.qdimacs 4 9 11 28 51 61 61 86 3046 1880 510 1342    >250 2.17 0.464                 #N/A 250 2.17 0.464              
  d2-1-NN-09_03.qdimacs 4 9 12 28 51 70 61 93 3283 2058 510 1520    >250 0.19 0.336                 #N/A 250 0.19 0.336              
  d2-1-NN-09_04.qdimacs 4 9 15 28 51 80 61 105 3958 2428 510 1890    >250 0.16 0.424                 #N/A 250 0.16 0.424              
  d2-1-NN-09_05.qdimacs 4 13 14 26 67 69 76 91 4758 3077 938 2113    >250 3.45 1.08                 #N/A 250 3.45 1.08              
  d2-1-NN-09_06.qdimacs 4 13 15 28 69 79 78 103 5230 3362 966 2368    >250 3.47 1.584                 #N/A 250 3.47 1.584              
  d2-1-NN-09_07.qdimacs 4 13 16 28 69 88 78 110 5529 3594 966 2600    >250 0.53 1.388                 #N/A 250 0.53 1.388              
  d2-1-NN-09_08.qdimacs 4 13 19 28 69 98 78 122 6354 4058 966 3064    >250 0.91 1.82                 #N/A 250 0.91 1.82              
  d2-1-NN-09_09.qdimacs 4 14 15 26 77 79 90 105 5855 3812 1155 2631    >250 7.61 2.336                 #N/A 250 7.61 2.336              
  d2-1-NN-09_10.qdimacs 4 14 16 28 79 89 92 117 6365 4121 1185 2908    >250 11.03 3.556                 #N/A 250 11.03 3.556              
  d2-1-NN-09_11.qdimacs 4 14 17 28 79 98 92 124 6689 4372 1185 3159    >250 1 2.848                 #N/A 250 1 2.848              
  d2-1-NN-09_12.qdimacs 4 14 20 28 79 108 92 136 7580 4876 1185 3663    >250 1.23 3.824                 #N/A 250 1.23 3.824              
  d2-1-NN-09_13.qdimacs 4 16 17 26 90 92 107 122 7624 5054 1530 3498    >250 14.23 3.908                 #N/A 250 14.23 3.908              
  d2-1-NN-09_14.qdimacs 4 16 18 28 92 102 109 134 8199 5404 1564 3812    >250 17.58 5.536                 #N/A 250 17.58 5.536              
  d2-1-NN-09_15.qdimacs 4 16 19 28 92 111 109 141 8562 5686 1564 4094    >250 2.47 4.66                 #N/A 250 2.47 4.66              
  d2-1-NN-09_16.qdimacs 4 16 22 28 92 121 109 153 9552 6249 1564 4657