query entailment (-q -sSg) not solved?    
sigN name roles b-concepts axioms clause variables time graph data
sig 1 12 sig 1 12 1 12 total A E sKizzo 1:13 sKizzo 2clsQ yquaffle 0                 sKizzo 2clsQ yquaffle              
01 q2-1-NN-01_01.qdimacs 1 8 9 5 47 49 59 74 8305 1892 423 1384 12.26   0.25  >1000                 12.26 0.25 1000              
  q2-1-NN-01_02.qdimacs 1 8 11 5 47 61 59 86 11479 2238 423 1720 13.23   0.32  >1000                 13.23 0.32 1000              
  q2-1-NN-01_03.qdimacs 1 8 12 5 47 70 59 93 13180 2489 423 1966 15.42   0.35  >1000                 15.42 0.35 1000              
  q2-1-NN-01_04.qdimacs 1 8 15 5 47 80 59 105 17848 2959 423 2421 14.98   0.58  >1000                 14.98 0.58 1000              
  q2-1-NN-01_05.qdimacs 1 12 13 5 65 67 76 91 20109 3713 845 2743 151.02   1.72  >1000                 151.02 1.72 1000              
  q2-1-NN-01_06.qdimacs 1 12 15 5 65 79 76 103 25991 4199 845 3219 153.68   2.02  >1000                 153.68 2.02 1000              
  q2-1-NN-01_07.qdimacs 1 12 16 5 65 88 76 110 29042 4544 845 3559 218.15   2.86  >1000                 218.15 2.86 1000              
  q2-1-NN-01_08.qdimacs 1 12 19 5 65 98 76 122 37088 5160 845 4160 234.37   3.58  >1000                 234.37 3.58 1000              
  q2-1-NN-01_09.qdimacs 1 13 14 5 75 77 90 105 26332 4624 1050 3439 256.19   5.39  >1000                 256.19 5.39 1000              
  q2-1-NN-01_10.qdimacs 1 13 16 5 75 89 90 117 33282 5156 1050 3961 256.67   5.52  >1000                 256.67 5.52 1000              
  q2-1-NN-01_11.qdimacs 1 13 17 5 75 98 90 124 36861 5530 1050 4330 236.1   7.09  >1000                 236.1 7.09 1000              
  q2-1-NN-01_12.qdimacs 1 13 20 5 75 108 90 136 46278 6199 1050 4984 236.81   8.69  >1000                 236.81 8.69 1000              
  q2-1-NN-01_13.qdimacs 1 15 16 5 88 90 107 122 38814 6211 1408 4648 396.74   17.06  >1000                 396.74 17.06 1000              
  q2-1-NN-01_14.qdimacs 1 15 18 5 88 102 107 134 47812 6821 1408 5248 396.44   20.6  >1000                 396.44 20.6 1000              
  q2-1-NN-01_15.qdimacs 1 15 19 5 88 111 107 141 52397 7246 1408 5668 362.02   22.49  >1000                 362.02 22.49 1000              
  q2-1-NN-01_16.qdimacs 1 15 22 5 88 121 107 153 64352 8000 1408 6407 364.77   28.67  >1000                 364.77 28.67 1000              
  q2-1-NN-01_17.qdimacs 1 19 20 5 98 100 124 139 66938 8797 1960 6642 1036.2   76.92  >1000                 1036.2 76.92 1000              
  q2-1-NN-01_18.qdimacs 1 19 22 5 98 112 124 151 80144 9531 1960 7366 1034.38   91.91  >1000                 1034.38 91.91 1000              
  q2-1-NN-01_19.qdimacs 1 19 23 5 98 121 124 158 86773 10042 1960 7872  >2000   97.1  >1000                 2000 97.1 1000              
  q2-1-NN-01_20.qdimacs 1 19 26 5 98 131 124 170 103684 10918 1960 8733  >2000   113.98  >1000                 2000 113.98 1000              
  q2-1-NN-01_21.qdimacs 1 21 22 5 105 107 137 152 87228 10472 2310 7947 1393.63   159.11  >1000                 1393.63 159.11 1000              
  q2-1-NN-01_22.qdimacs 1 21 24 5 105 119 137 164 103030 11272 2310 8737 1396.35   174.54  >1000                 1396.35 174.54 1000              
  q2-1-NN-01_23.qdimacs 1 21 25 5 105 128 137 171 110915 11828 2310 9288  >2000   185.09  >1000                 2000 185.09 1000              
  q2-1-NN-01_24.qdimacs 1 21 28 5 105 138 137 183 130898 12771 2310 10216  >2000   210.46  >1000                 2000 210.46 1000              
  q2-1-NN-01_25.qdimacs 1 23 24 5 113 115 152 167 112462 12410 2712 9463  >2000   180.92  >1000                 2000 180.92 1000              
  q2-1-NN-01_26.qdimacs 1 23 26 5 113 127 152 179 131188 13278 2712 10321  >2000   190.32  >1000                 2000 190.32 1000              
  q2-1-NN-01_27.qdimacs 1 23 27 5 113 136 152 186 140485 13880 2712 10918  >2000   203.87  >1000                 2000 203.87 1000              
  q2-1-NN-01_28.qdimacs 1 23 30 5 113 146 152 198 163936 14893 2712 11916  >2000   222.04  >1000                 2000 222.04 1000              
02 q2-1-NN-02_01.qdimacs 1 8 9 7 47 49 59 74 8305 1892 423 1350 22.72   0.63  >1000                 22.72 0.63 1000              
  q2-1-NN-02_02.qdimacs 1 8 11 7 47 61 59 86 11479 2238 423 1682 27.98   0.78  >1000                 27.98 0.78 1000              
  q2-1-NN-02_03.qdimacs 1 8 12 7 47 70 59 93 13180 2489 423 1926 45.7   0.43  >1000                 45.7 0.43 1000              
  q2-1-NN-02_04.qdimacs 1 8 15 7 47 80 59 105 17848 2959 423 2375 46.47   0.42  >1000                 46.47 0.42 1000              
  q2-1-NN-02_05.qdimacs 1 12 13 7 65 67 76 91 20109 3713 845 2693 200.55   3.51  >1000                 200.55 3.51 1000              
  q2-1-NN-02_06.qdimacs 1 12 15 7 65 79 76 103 25991 4199 845 3165 199.28   4.64  >1000                 199.28 4.64 1000              
  q2-1-NN-02_07.qdimacs 1 12 16 7 65 88 76 110 29042 4544 845 3503 269.89   2.44  >1000                 269.89 2.44 1000              
  q2-1-NN-02_08.qdimacs 1 12 19 7 65 98 76 122 37088 5160 845 4098  >2000   2.92  >1000                 2000 2.92 1000              
  q2-1-NN-02_09.qdimacs 1 13 14 7 75 77 90 105 26332 4624 1050 3385 280.36   9.38  >1000                 280.36 9.38 1000              
  q2-1-NN-02_10.qdimacs 1 13 16 7 75 89 90 117 33282 5156 1050 3903 283.83   11.03  >1000                 283.83 11.03 1000              
  q2-1-NN-02_11.qdimacs 1 13 17 7 75 98 90 124 36861 5530 1050 4270 366.83   5.99  >1000                 366.83 5.99 1000              
  q2-1-NN-02_12.qdimacs 1 13 20 7 75 108 90 136 46278 6199 1050 4918 368.87   8.62  >1000                 368.87 8.62 1000              
  q2-1-NN-02_13.qdimacs 1 15 16 7 88 90 107 122 38814 6211 1408 4586 370.59   27.87  >1000                 370.59 27.87 1000              
  q2-1-NN-02_14.qdimacs 1 15 18 7 88 102 107 134 47812 6821 1408 5182 370.11   33.52  >1000                 370.11 33.52 1000              
  q2-1-NN-02_15.qdimacs 1 15 19 7 88 111 107 141 52397 7246 1408 5600 651.18   19.97  >1000                 651.18 19.97 1000              
  q2-1-NN-02_16.qdimacs 1 15 22 7 88 121 107 153 64352 8000 1408 6333 651.89   27.67  >1000                 651.89 27.67 1000              
  q2-1-NN-02_17.qdimacs 1 19 20 7 98 100 124 139 66938 8797 1960 6564 1245   117.98  >1000                 1245 117.98 1000              
  q2-1-NN-02_18.qdimacs 1 19 22 7 98 112 124 151 80144 9531 1960 7284 1242.21   135.99  >1000                 1242.21 135.99 1000              
  q2-1-NN-02_19.qdimacs 1 19 23 7 98 121 124 158 86773 10042 1960 7788 1047.91   93.76  >1000                 1047.91 93.76 1000              
  q2-1-NN-02_20.qdimacs 1 19 26 7 98 131 124 170 103684 10918 1960 8643 1049.06   103.93  >1000                 1049.06 103.93 1000              
  q2-1-NN-02_21.qdimacs 1 21 22 7 105 107 137 152 87228 10472 2310 7861 938.33   266.79  >1000                 938.33 266.79 1000              
  q2-1-NN-02_22.qdimacs 1 21 24 7 105 119 137 164 103030 11272 2310 8647 951.54   302.77  >1000                 951.54 302.77 1000              
  q2-1-NN-02_23.qdimacs 1 21 25 7 105 128 137 171 110915 11828 2310 9196 1342.68   178.8  >1000                 1342.68 178.8 1000              
  q2-1-NN-02_24.qdimacs 1 21 28 7 105 138 137 183 130898 12771 2310 10118 1379.96   201.31  >1000                 1379.96 201.31 1000              
  q2-1-NN-02_25.qdimacs 1 23 24 7 113 115 152 167 112462 12410 2712 9369  >2000   419.46  >1000                 2000 419.46 1000              
  q2-1-NN-02_26.qdimacs 1 23 26 7 113 127 152 179 131188 13278 2712 10223  >2000   445.25  >1000                 2000 445.25 1000              
  q2-1-NN-02_27.qdimacs 1 23 27 7 113 136 152 186 140485 13880 2712 10818  >2000   205.64  >1000                 2000 205.64 1000              
  q2-1-NN-02_28.qdimacs 1 23 30 7 113 146 152 198 163936 14893 2712 11810  >2000   219.2  >1000                 2000 219.2 1000              
03 q2-1-NN-03_01.qdimacs 2 8 9 11 47 49 59 74 7516 1833 423 1234 25.72   0.99  >1000                 25.72 0.99 1000              
  q2-1-NN-03_02.qdimacs 2 8 11 11 47 61 59 86 10538 2167 423 1546 28.59   1.08  >1000                 28.59 1.08 1000              
  q2-1-NN-03_03.qdimacs 2 8 12 11 47 70 59 93 12172 2409 423 1777 152.09   1.49  >1000                 152.09 1.49 1000              
  q2-1-NN-03_04.qdimacs 2 8 15 11 47 80 59 105 16720 2869 423 2204 154.11   1.61  >1000                 154.11 1.61 1000              
  q2-1-NN-03_05.qdimacs 2 12 13 11 65 67 76 91 18734 3632 845 2523 255.83   5.14  >1000                 255.83 5.14 1000              
  q2-1-NN-03_06.qdimacs 2 12 15 11 65 79 76 103 24400 4106 845 2975 448.04   6.78  >1000                 448.04 6.78 1000              
  q2-1-NN-03_07.qdimacs 2 12 16 11 65 88 76 110 27356 4442 845 3300 441.49   8.06  >1000                 441.49 8.06 1000              
  q2-1-NN-03_08.qdimacs 2 12 19 11 65 98 76 122 35234 5048 845 3873 440.63   10.78  >1000                 440.63 10.78 1000              
  q2-1-NN-03_09.qdimacs 2 13 14 11 75 77 90 105 24655 4532 1050 3196 458.67   9.67  >1000                 458.67 9.67 1000              
  q2-1-NN-03_10.qdimacs 2 13 16 11 75 89 90 117 31373 5052 1050 3694 462.66   13.43  >1000                 462.66 13.43 1000              
  q2-1-NN-03_11.qdimacs 2 13 17 11 75 98 90 124 34850 5417 1050 4048 810.59   15.61  >1000                 810.59 15.61 1000              
  q2-1-NN-03_12.qdimacs 2 13 20 11 75 108 90 136 44087 6076 1050 4674 811.3   22.41  >1000                 811.3 22.41 1000              
  q2-1-NN-03_13.qdimacs 2 15 16 11 88 90 107 122 36625 6104 1408 4366 531.26   31.49  >1000                 531.26 31.49 1000              
  q2-1-NN-03_14.qdimacs 2 15 18 11 88 102 107 134 45359 6702 1408 4942 534.05   40.53  >1000                 534.05 40.53 1000              
  q2-1-NN-03_15.qdimacs 2 15 19 11 88 111 107 141 49828 7118 1408 5347 1279.4   49.04  >1000                 1279.4 49.04 1000              
  q2-1-NN-03_16.qdimacs 2 15 22 11 88 121 107 153 61579 7862 1408 6058 1283.66   59.63  >1000                 1283.66 59.63 1000              
  q2-1-NN-03_17.qdimacs 2 19 20 11 98 100 124 139 63861 8676 1960 6298  >2000   130.94  >1000                 2000 130.94 1000              
  q2-1-NN-03_18.qdimacs 2 19 22 11 98 112 124 151 76739 9398 1960 6998  >2000   156.57  >1000                 2000 156.57 1000              
  q2-1-NN-03_19.qdimacs 2 19 23 11 98 121 124 158 83224 9900 1960 7489  >2000   180.25  >1000                 2000 180.25 1000              
  q2-1-NN-03_20.qdimacs 2 19 26 11 98 131 124 170 99883 10766 1960 8322  >2000   205.06  >1000                 2000 205.06 1000              
  q2-1-NN-03_21.qdimacs 2 21 22 11 105 107 137 152 83557 10342 2310 7570  >2000   253.97  >1000                 2000 253.97 1000              
  q2-1-NN-03_22.qdimacs 2 21 24 11 105 119 137 164 98999 11130 2310 8336  >2000   286.25  >1000                 2000 286.25 1000              
  q2-1-NN-03_23.qdimacs 2 21 25 11 105 128 137 171 106726 11677 2310 8872  >2000   309.29  >1000                 2000 309.29 1000              
  q2-1-NN-03_24.qdimacs 2 21 28 11 105 138 137 183 126433 12610 2310 9772  >2000   357.91  >1000                 2000 357.91 1000              
  q2-1-NN-03_25.qdimacs 2 23 24 11 113 115 152 167 108097 12270 2712 9052  >2000   343.62  >1000                 2000 343.62 1000              
  q2-1-NN-03_26.qdimacs 2 23 26 11 113 127 152 179 126431 13126 2712 9886  >2000   393.53  >1000                 2000 393.53 1000              
  q2-1-NN-03_27.qdimacs 2 23 27 11 113 136 152 186 135556 13719 2712 10468  >2000   423.99  >1000                 2000 423.99 1000              
  q2-1-NN-03_28.qdimacs 2 23 30 11 113 146 152 198 158707 14722 2712 11438  >2000   469.97  >1000                 2000 469.97 1000              
04 q2-1-NN-04_01.qdimacs 3 8 9 15 47 49 59 74 6731 1774 423 1126 22.98   0.73  >1000                 22.98 0.73 1000              
  q2-1-NN-04_02.qdimacs 3 8 11 15 47 61 59 86 9601 2096 423 1418 28.39   1.01  >1000                 28.39 1.01 1000              
  q2-1-NN-04_03.qdimacs 3 8 12 15 47 70 59 93 11168 2329 423 1636 151.91   1.61  >1000                 151.91 1.61 1000              
  q2-1-NN-04_04.qdimacs 3 8 15 15 47 80 59 105 15596 2779 423 2041 151.28   1.44  >1000                 151.28 1.44 1000              
  q2-1-NN-04_05.qdimacs 3 12 13 15 65 67 76 91 17363 3551 845 2361 241.96   4.48  >1000                 241.96 4.48 1000              
  q2-1-NN-04_06.qdimacs 3 12 15 15 65 79 76 103 22813 4013 845 2793 242.98   5.58  >1000                 242.98 5.58 1000              
  q2-1-NN-04_07.qdimacs 3 12 16 15 65 88 76 110 25674 4340 845 3105 1252.05   7.34  >1000                 1252.05 7.34 1000              
  q2-1-NN-04_08.qdimacs 3 12 19 15 65 98 76 122 33384 4936 845 3656 1258.57   8.51  >1000                 1258.57 8.51 1000              
  q2-1-NN-04_09.qdimacs 3 13 14 15 75 77 90 105 22982 4440 1050 3015 366.11   8.72  >1000                 366.11 8.72 1000              
  q2-1-NN-04_10.qdimacs 3 13 16 15 75 89 90 117 29468 4948 1050 3493 344.17   10.54  >1000                 344.17 10.54 1000              
  q2-1-NN-04_11.qdimacs 3 13 17 15 75 98 90 124 32843 5304 1050 3834  >2000   12.65  >1000                 2000 12.65 1000              
  q2-1-NN-04_12.qdimacs 3 13 20 15 75 108 90 136 41900 5953 1050 4438  >2000   19.17  >1000                 2000 19.17 1000              
  q2-1-NN-04_13.qdimacs 3 15 16 15 88 90 107 122 34440 5997 1408 4154 494.02   25.88  >1000                 494.02 25.88 1000              
  q2-1-NN-04_14.qdimacs 3 15 18 15 88 102 107 134 42910 6583 1408 4710 495.33   36.67  >1000                 495.33 36.67 1000              
  q2-1-NN-04_15.qdimacs 3 15 19 15 88 111 107 141 47263 6990 1408 5102  >2000   43.07  >1000                 2000 43.07 1000              
  q2-1-NN-04_16.qdimacs 3 15 22 15 88 121 107 153 58810 7724 1408 5791  >2000   54.46  >1000                 2000 54.46 1000              
  q2-1-NN-04_17.qdimacs 3 19 20 15 98 100 124 139 60788 8555 1960 6040 977.1   117.18  >1000                 977.1 117.18 1000              
  q2-1-NN-04_18.qdimacs 3 19 22 15 98 112 124 151 73338 9265 1960 6720 976.7   141.01  >1000                 976.7 141.01 1000              
  q2-1-NN-04_19.qdimacs 3 19 23 15 98 121 124 158 79679 9758 1960 7198 1489.66   156.92  >1000                 1489.66 156.92 1000              
  q2-1-NN-04_20.qdimacs 3 19 26 15 98 131 124 170 96086 10614 1960 8009 1488.83   187.18  >1000                 1488.83 187.18 1000              
  q2-1-NN-04_21.qdimacs 3 21 22 15 105 107 137 152 79890 10212 2310 7287 1418.42   221.96  >1000                 1418.42 221.96 1000              
  q2-1-NN-04_22.qdimacs 3 21 24 15 105 119 137 164 94972 10988 2310 8033 1237.47   262.87  >1000                 1237.47 262.87 1000              
  q2-1-NN-04_23.qdimacs 3 21 25 15 105 128 137 171 102541 11526 2310 8556  >2000   284.3  >1000                 2000 284.3 1000              
  q2-1-NN-04_24.qdimacs 3 21 28 15 105 138 137 183 121972 12449 2310 9434  >2000   332.85  >1000                 2000 332.85 1000              
  q2-1-NN-04_25.qdimacs 3 23 24 15 113 115 152 167 103736 12130 2712 8743 1655.03   311.21  >1000                 1655.03 311.21 1000              
  q2-1-NN-04_26.qdimacs 3 23 26 15 113 127 152 179 121678 12974 2712 9557 1661   353.97  >1000                 1661 353.97 1000              
  q2-1-NN-04_27.qdimacs 3 23 27 15 113 136 152 186 130631 13558 2712 10126  >2000   381.38  >1000                 2000 381.38 1000              
  q2-1-NN-04_28.qdimacs 3 23 30 15 113 146 152 198 153482 14551 2712 11074  >2000   428.93  >1000                 2000 428.93 1000              
05 q2-1-NN-05_01.qdimacs 2 8 9 13 47 49 59 74 7516 1833 423 1202 40.43   1.03  >1000                 40.43 1.03 1000              
  q2-1-NN-05_02.qdimacs 2 8 11 13 47 61 59 86 10538 2167 423 1510 42.48   1.4  >1000                 42.48 1.4 1000              
  q2-1-NN-05_03.qdimacs 2 8 12 13 47 70 59 93 12172 2409 423 1739  >2000   1.23  >1000                 2000 1.23 1000              
  q2-1-NN-05_04.qdimacs 2 8 15 13 47 80 59 105 16720 2869 423 2160  >2000   2.16  >1000                 2000 2.16 1000              
  q2-1-NN-05_05.qdimacs 2 12 13 13 65 67 76 91 18734 3632 845 2475 339.25   7.16  >1000                 339.25 7.16 1000              
  q2-1-NN-05_06.qdimacs 2 12 15 13 65 79 76 103 24400 4106 845 2923 338.81   8.85  >1000                 338.81 8.85 1000              
  q2-1-NN-05_07.qdimacs 2 12 16 13 65 88 76 110 27356 4442 845 3246 1100.63   7.48  >1000                 1100.63 7.48 1000              
  q2-1-NN-05_08.qdimacs 2 12 19 13 65 98 76 122 35234 5048 845 3813 668.02   11.06  >1000                 668.02 11.06 1000              
  q2-1-NN-05_09.qdimacs 2 13 14 13 75 77 90 105 24655 4532 1050 3144 496.8   13.33  >1000                 496.8 13.33 1000              
  q2-1-NN-05_10.qdimacs 2 13 16 13 75 89 90 117 31373 5052 1050 3638 497.22   18.16  >1000                 497.22 18.16 1000              
  q2-1-NN-05_11.qdimacs 2 13 17 13 75 98 90 124 34850 5417 1050 3990 1472.51   14.79  >1000                 1472.51 14.79 1000              
  q2-1-NN-05_12.qdimacs 2 13 20 13 75 108 90 136 44087 6076 1050 4610  >2000   18.97  >1000                 2000 18.97 1000              
  q2-1-NN-05_13.qdimacs 2 15 16 13 88 90 107 122 36625 6104 1408 4306 812.94   45.8  >1000                 812.94 45.8 1000              
  q2-1-NN-05_14.qdimacs 2 15 18 13 88 102 107 134 45359 6702 1408 4878 818.08   55.27  >1000                 818.08 55.27 1000              
  q2-1-NN-05_15.qdimacs 2 15 19 13 88 111 107 141 49828 7118 1408 5281 1917.68   45.3  >1000                 1917.68 45.3 1000              
  q2-1-NN-05_16.qdimacs 2 15 22 13 88 121 107 153 61579 7862 1408 5986 1917.89   56.86  >1000                 1917.89 56.86 1000              
  q2-1-NN-05_17.qdimacs 2 19 20 13 98 100 124 139 63861 8676 1960 6222  >2000   176.23  >1000                 2000 176.23 1000              
  q2-1-NN-05_18.qdimacs 2 19 22 13 98 112 124 151 76739 9398 1960 6918  >2000   208.26  >1000                 2000 208.26 1000              
  q2-1-NN-05_19.qdimacs 2 19 23 13 98 121 124 158 83224 9900 1960 7407  >2000   164.23  >1000                 2000 164.23 1000              
  q2-1-NN-05_20.qdimacs 2 19 26 13 98 131 124 170 99883 10766 1960 8234  >2000   194.39  >1000                 2000 194.39 1000              
  q2-1-NN-05_21.qdimacs 2 21 22 13 105 107 137 152 83557 10342 2310 7486  >2000   380.76  >1000                 2000 380.76 1000              
  q2-1-NN-05_22.qdimacs 2 21 24 13 105 119 137 164 98999 11130 2310 8248  >2000   439.47  >1000                 2000 439.47 1000              
  q2-1-NN-05_23.qdimacs 2 21 25 13 105 128 137 171 106726 11677 2310 8782  >2000   297.3  >1000                 2000 297.3 1000              
  q2-1-NN-05_24.qdimacs 2 21 28 13 105 138 137 183 126433 12610 2310 9676  >2000   346.17  >1000                 2000 346.17 1000              
  q2-1-NN-05_25.qdimacs 2 23 24 13 113 115 152 167 108097 12270 2712 8960  >2000   593.08  >1000                 2000 593.08 1000              
  q2-1-NN-05_26.qdimacs 2 23 26 13 113 127 152 179 126431 13126 2712 9790  >2000   689.46  >1000                 2000 689.46 1000              
  q2-1-NN-05_27.qdimacs 2 23 27 13 113 136 152 186 135556 13719 2712 10370  >2000   399.54  >1000                 2000 399.54 1000              
  q2-1-NN-05_28.qdimacs 2 23 30 13 113 146 152 198 158707 14722 2712 11334  >2000   446.36  >1000                 2000 446.36 1000              
06 q2-1-NN-06_01.qdimacs 3 8 9 17 47 49 59 74 6731 1774 423 1096 33.36   0.73  >1000                 33.36 0.73 1000              
  q2-1-NN-06_02.qdimacs 3 8 11 17 47 61 59 86 9601 2096 423 1384 39.52   0.96  >1000                 39.52 0.96 1000              
  q2-1-NN-06_03.qdimacs 3 8 12 17 47 70 59 93 11168 2329 423 1600 241.48   1.29  >1000                 241.48 1.29 1000              
  q2-1-NN-06_04.qdimacs 3 8 15 17 47 80 59 105 15596 2779 423 1999 240.49   1.43  >1000                 240.49 1.43 1000              
  q2-1-NN-06_05.qdimacs 3 12 13 17 65 67 76 91 17363 3551 845 2315 273.77   5.05  >1000                 273.77 5.05 1000              
  q2-1-NN-06_06.qdimacs 3 12 15 17 65 79 76 103 22813 4013 845 2743 308.49   5.88  >1000                 308.49 5.88 1000              
  q2-1-NN-06_07.qdimacs 3 12 16 17 65 88 76 110 25674 4340 845 3053 710.46   7.6  >1000                 710.46 7.6 1000              
  q2-1-NN-06_08.qdimacs 3 12 19 17 65 98 76 122 33384 4936 845 3598 708.37   9.87  >1000                 708.37 9.87 1000              
  q2-1-NN-06_09.qdimacs 3 13 14 17 75 77 90 105 22982 4440 1050 2965 373.69   9.46  >1000                 373.69 9.46 1000              
  q2-1-NN-06_10.qdimacs 3 13 16 17 75 89 90 117 29468 4948 1050 3439 416.74   12.8  >1000                 416.74 12.8 1000              
  q2-1-NN-06_11.qdimacs 3 13 17 17 75 98 90 124 32843 5304 1050 3778 873.93   14.85  >1000                 873.93 14.85 1000              
  q2-1-NN-06_12.qdimacs 3 13 20 17 75 108 90 136 41900 5953 1050 4376 882.05   19.95  >1000                 882.05 19.95 1000              
  q2-1-NN-06_13.qdimacs 3 15 16 17 88 90 107 122 34440 5997 1408 4096 517.25   28.6  >1000                 517.25 28.6 1000              
  q2-1-NN-06_14.qdimacs 3 15 18 17 88 102 107 134 42910 6583 1408 4648 537.55   37.19  >1000                 537.55 37.19 1000              
  q2-1-NN-06_15.qdimacs 3 15 19 17 88 111 107 141 47263 6990 1408 5038 893.91   42.53  >1000                 893.91 42.53 1000              
  q2-1-NN-06_16.qdimacs 3 15 22 17 88 121 107 153 58810 7724 1408 5721 890.78   54.37  >1000                 890.78 54.37 1000              
  q2-1-NN-06_17.qdimacs 3 19 20 17 98 100 124 139 60788 8555 1960 5966 772.19   110.72  >1000                 772.19 110.72 1000              
  q2-1-NN-06_18.qdimacs 3 19 22 17 98 112 124 151 73338 9265 1960 6642 1095.85   145.81  >1000                 1095.85 145.81 1000              
  q2-1-NN-06_19.qdimacs 3 19 23 17 98 121 124 158 79679 9758 1960 7118  >2000   154.55  >1000                 2000 154.55 1000              
  q2-1-NN-06_20.qdimacs 3 19 26 17 98 131 124 170 96086 10614 1960 7923  >2000   181.5  >1000                 2000 181.5 1000              
  q2-1-NN-06_21.qdimacs 3 21 22 17 105 107 137 152 79890 10212 2310 7205 1821.12   224.52  >1000                 1821.12 224.52 1000              
  q2-1-NN-06_22.qdimacs 3 21 24 17 105 119 137 164 94972 10988 2310 7947 1650.08   250.46  >1000                 1650.08 250.46 1000              
  q2-1-NN-06_23.qdimacs 3 21 25 17 105 128 137 171 102541 11526 2310 8468  >2000   275.07  >1000                 2000 275.07 1000              
  q2-1-NN-06_24.qdimacs 3 21 28 17 105 138 137 183 121972 12449 2310 9340  >2000   329.35  >1000                 2000 329.35 1000              
  q2-1-NN-06_25.qdimacs 3 23 24 17 113 115 152 167 103736 12130 2712 8653 1885.52   315.35  >1000                 1885.52 315.35 1000              
  q2-1-NN-06_26.qdimacs 3 23 26 17 113 127 152 179 121678 12974 2712 9463  >2000   355.54  >1000                 2000 355.54 1000              
  q2-1-NN-06_27.qdimacs 3 23 27 17 113 136 152 186 130631 13558 2712 10030  >2000   376.41  >1000                 2000 376.41 1000              
  q2-1-NN-06_28.qdimacs 3 23 30 17 113 146 152 198 153482 14551 2712 10972  >2000   426.06  >1000                 2000 426.06 1000              
07 q2-1-NN-07_01.qdimacs 3 8 9 19 47 49 59 74 6731 1774 423 1066 38.89   0.72  >1000                 38.89 0.72 1000              
  q2-1-NN-07_02.qdimacs 3 8 11 19 47 61 59 86 9601 2096 423 1350 37.18   0.94  >1000                 37.18 0.94 1000              
  q2-1-NN-07_03.qdimacs 3 8 12 19 47 70 59 93 11168 2329 423 1564 148.87   1.27  >1000                 148.87 1.27 1000              
  q2-1-NN-07_04.qdimacs 3 8 15 19 47 80 59 105 15596 2779 423 1957 142.59   1.5  >1000                 142.59 1.5 1000              
  q2-1-NN-07_05.qdimacs 3 12 13 19 65 67 76 91 17363 3551 845 2269 313.07   5.23  >1000                 313.07 5.23 1000              
  q2-1-NN-07_06.qdimacs 3 12 15 19 65 79 76 103 22813 4013 845 2693 299.84   6.08  >1000                 299.84 6.08 1000              
  q2-1-NN-07_07.qdimacs 3 12 16 19 65 88 76 110 25674 4340 845 3001 1182.73   7.94  >1000                 1182.73 7.94 1000              
  q2-1-NN-07_08.qdimacs 3 12 19 19 65 98 76 122 33384 4936 845 3540 1182.75   10.41  >1000                 1182.75 10.41 1000              
  q2-1-NN-07_09.qdimacs 3 13 14 19 75 77 90 105 22982 4440 1050 2915 425.09   9.05  >1000                 425.09 9.05 1000              
  q2-1-NN-07_10.qdimacs 3 13 16 19 75 89 90 117 29468 4948 1050 3385 577.87   12.2  >1000                 577.87 12.2 1000              
  q2-1-NN-07_11.qdimacs 3 13 17 19 75 98 90 124 32843 5304 1050 3722 1339.93   13.74  >1000                 1339.93 13.74 1000              
  q2-1-NN-07_12.qdimacs 3 13 20 19 75 108 90 136 41900 5953 1050 4314 1339.81   19.27  >1000                 1339.81 19.27 1000              
  q2-1-NN-07_13.qdimacs 3 15 16 19 88 90 107 122 34440 5997 1408 4038 641.56   26.16  >1000                 641.56 26.16 1000              
  q2-1-NN-07_14.qdimacs 3 15 18 19 88 102 107 134 42910 6583 1408 4586 546.64   34.31  >1000                 546.64 34.31 1000              
  q2-1-NN-07_15.qdimacs 3 15 19 19 88 111 107 141 47263 6990 1408 4974 1051.62   38.34  >1000                 1051.62 38.34 1000              
  q2-1-NN-07_16.qdimacs 3 15 22 19 88 121 107 153 58810 7724 1408 5651 1694.26   50.55  >1000                 1694.26 50.55 1000              
  q2-1-NN-07_17.qdimacs 3 19 20 19 98 100 124 139 60788 8555 1960 5892 1707.07   109.79  >1000                 1707.07 109.79 1000              
  q2-1-NN-07_18.qdimacs 3 19 22 19 98 112 124 151 73338 9265 1960 6564 1401.36   129.87  >1000                 1401.36 129.87 1000              
  q2-1-NN-07_19.qdimacs 3 19 23 19 98 121 124 158 79679 9758 1960 7038  >2000   145.6  >1000                 2000 145.6 1000              
  q2-1-NN-07_20.qdimacs 3 19 26 19 98 131 124 170 96086 10614 1960 7837  >2000   173.62  >1000                 2000 173.62 1000              
  q2-1-NN-07_21.qdimacs 3 21 22 19 105 107 137 152 79890 10212 2310 7123  >2000   213.07  >1000                 2000 213.07 1000              
  q2-1-NN-07_22.qdimacs 3 21 24 19 105 119 137 164 94972 10988 2310 7861  >2000   250.04  >1000                 2000 250.04 1000              
  q2-1-NN-07_23.qdimacs 3 21 25 19 105 128 137 171 102541 11526 2310 8380  >2000   271.85  >1000                 2000 271.85 1000              
  q2-1-NN-07_24.qdimacs 3 21 28 19 105 138 137 183 121972 12449 2310 9246  >2000   311.46  >1000                 2000 311.46 1000              
  q2-1-NN-07_25.qdimacs 3 23 24 19 113 115 152 167 103736 12130 2712 8563  >2000   301.96  >1000                 2000 301.96 1000              
  q2-1-NN-07_26.qdimacs 3 23 26 19 113 127 152 179 121678 12974 2712 9369  >2000   343.66  >1000                 2000 343.66 1000              
  q2-1-NN-07_27.qdimacs 3 23 27 19 113 136 152 186 130631 13558 2712 9934  >2000   371.47  >1000                 2000 371.47 1000              
  q2-1-NN-07_28.qdimacs 3 23 30 19 113 146 152 198 153482 14551 2712 10870  >2000   416.91  >1000                 2000 416.91 1000              
08 q2-1-NN-08_01.qdimacs 4 8 9 23 47 49 59 74 5950 1715 423 970 65.79   0.88  >1000                 65.79 0.88 1000              
  q2-1-NN-08_02.qdimacs 4 8 11 23 47 61 59 86 8668 2025 423 1234 50.01   1.04  >1000                 50.01 1.04 1000              
  q2-1-NN-08_03.qdimacs 4 8 12 23 47 70 59 93 10168 2249 423 1435 385.91   1.28  >1000                 385.91 1.28 1000              
  q2-1-NN-08_04.qdimacs 4 8 15 23 47 80 59 105 14476 2689 423 1806 171.96   1.63  >1000                 171.96 1.63 1000              
  q2-1-NN-08_05.qdimacs 4 12 13 23 65 67 76 91 15996 3470 845 2119 393.53   5.37  >1000                 393.53 5.37 1000              
  q2-1-NN-08_06.qdimacs 4 12 15 23 65 79 76 103 21230 3920 845 2523 277.04   6.53  >1000                 277.04 6.53 1000              
  q2-1-NN-08_07.qdimacs 4 12 16 23 65 88 76 110 23996 4238 845 2818 806.33   7.02  >1000                 806.33 7.02 1000              
  q2-1-NN-08_08.qdimacs 4 12 19 23 65 98 76 122 31538 4824 845 3335 818.64   11.21  >1000                 818.64 11.21 1000              
  q2-1-NN-08_09.qdimacs 4 13 14 23 75 77 90 105 21313 4348 1050 2746 476.6   11.75  >1000                 476.6 11.75 1000              
  q2-1-NN-08_10.qdimacs 4 13 16 23 75 89 90 117 27567 4844 1050 3196 497.46   15.18  >1000                 497.46 15.18 1000              
  q2-1-NN-08_11.qdimacs 4 13 17 23 75 98 90 124 30840 5191 1050 3520  >2000   13.97  >1000                 2000 13.97 1000              
  q2-1-NN-08_12.qdimacs 4 13 20 23 75 108 90 136 39717 5830 1050 4090  >2000   19.45  >1000                 2000 19.45 1000              
  q2-1-NN-08_13.qdimacs 4 15 16 23 88 90 107 122 32259 5890 1408 3838 711.3   33.67  >1000                 711.3 33.67 1000              
  q2-1-NN-08_14.qdimacs 4 15 18 23 88 102 107 134 40465 6464 1408 4366 577.33   47.38  >1000                 577.33 47.38 1000              
  q2-1-NN-08_15.qdimacs 4 15 19 23 88 111 107 141 44702 6862 1408 4741  >2000   43.28  >1000                 2000 43.28 1000              
  q2-1-NN-08_16.qdimacs 4 15 22 23 88 121 107 153 56045 7586 1408 5396  >2000   53.58  >1000                 2000 53.58 1000              
  q2-1-NN-08_17.qdimacs 4 19 20 23 98 100 124 139 57719 8434 1960 5646 1336.41   156.68  >1000                 1336.41 156.68 1000              
  q2-1-NN-08_18.qdimacs 4 19 22 23 98 112 124 151 69941 9132 1960 6298 1148.48   191.35  >1000                 1148.48 191.35 1000              
  q2-1-NN-08_19.qdimacs 4 19 23 23 98 121 124 158 76138 9616 1960 6759  >2000   173.02  >1000                 2000 173.02 1000              
  q2-1-NN-08_20.qdimacs 4 19 26 23 98 131 124 170 92293 10462 1960 7536  >2000   193.55  >1000                 2000 193.55 1000              
  q2-1-NN-08_21.qdimacs 4 21 22 23 105 107 137 152 76227 10082 2310 6852  >2000   329.58  >1000                 2000 329.58 1000              
  q2-1-NN-08_22.qdimacs 4 21 24 23 105 119 137 164 90949 10846 2310 7570  >2000   390.72  >1000                 2000 390.72 1000              
  q2-1-NN-08_23.qdimacs 4 21 25 23 105 128 137 171 98360 11375 2310 8076  >2000   310.46  >1000                 2000 310.46 1000              
  q2-1-NN-08_24.qdimacs 4 21 28 23 105 138 137 183 117515 12288 2310 8920  >2000   357.63  >1000                 2000 357.63 1000              
  q2-1-NN-08_25.qdimacs 4 23 24 23 113 115 152 167 99379 11990 2712 8266  >2000   549  >1000                 2000 549 1000              
  q2-1-NN-08_26.qdimacs 4 23 26 23 113 127 152 179 116929 12822 2712 9052  >2000   611.97  >1000                 2000 611.97 1000              
  q2-1-NN-08_27.qdimacs 4 23 27 23 113 136 152 186 125710 13397 2712 9604  >2000   456.35  >1000                 2000 456.35 1000              
  q2-1-NN-08_28.qdimacs 4 23 30 23 113 146 152 198 148261 14380 2712 10518  >2000   490.4  >1000                 2000 490.4 1000              
09 q2-1-NN-09_01.qdimacs 4 9 10 26 49 51 59 74 7489 1990 490 1084 334.89   0.94  >1000                 334.89 0.94 1000              
  q2-1-NN-09_02.qdimacs 4 9 11 28 51 61 61 86 9678 2262 510 1276 451.01   1  >1000                 451.01 1 1000              
  q2-1-NN-09_03.qdimacs 4 9 12 28 51 70 61 93 11341 2496 510 1482  >2000   1.08  >1000                 2000 1.08 1000              
  q2-1-NN-09_04.qdimacs 4 9 15 28 51 80 61 105 16114 2949 510 1851  >2000   1.81  >1000                 2000 1.81 1000              
  q2-1-NN-09_05.qdimacs 4 13 14 26 67 69 76 91 18709 3848 938 2286  >2000   2.29  >1000                 2000 2.29 1000              
  q2-1-NN-09_06.qdimacs 4 13 15 28 69 79 78 103 22926 4238 966 2572  >2000   2.4  >1000                 2000 2.4 1000              
  q2-1-NN-09_07.qdimacs 4 13 16 28 69 88 78 110 25901 4566 966 2872  >2000   2.47  >1000                 2000 2.47 1000              
  q2-1-NN-09_08.qdimacs 4 13 19 28 69 98 78 122 34010 5165 966 3387  >2000   10.5  >1000                 2000 10.5 1000              
  q2-1-NN-09_09.qdimacs 4 14 15 26 77 79 90 105 24634 4778 1155 2947  >2000   12.16  >1000                 2000 12.16 1000              
  q2-1-NN-09_10.qdimacs 4 14 16 28 79 89 92 117 29603 5203 1185 3262  >2000   12.42  >1000                 2000 12.42 1000              
  q2-1-NN-09_11.qdimacs 4 14 17 28 79 98 92 124 33106 5560 1185 3591  >2000   16.81  >1000                 2000 16.81 1000              
  q2-1-NN-09_12.qdimacs 4 14 20 28 79 108 92 136 42604 6212 1185 4159  >2000   19.18  >1000                 2000 19.18 1000              
  q2-1-NN-09_13.qdimacs 4 16 17 26 90 92 107 122 36603 6392 1530 4082  >2000   34.73  >1000                 2000 34.73 1000              
  q2-1-NN-09_14.qdimacs 4 16 18 28 92 102 109 134 43069 6880 1564 4448  >2000   40.3  >1000                 2000 40.3 1000              
  q2-1-NN-09_15.qdimacs 4 16 19 28 92 111 109 141 47567 7288 1564 4828  >2000   47.67  >1000                 2000 47.67 1000              
  q2-1-NN-09_16.qdimacs 4 16 22 28 92 121 109 153 59606 8025 1564 5481  >2000   60.08  >1000                 2000 60.08 1000              
  q2-1-NN-09_17.qdimacs 4 20 21 26 100 102 124 139 63838 9015 2100 5927  >2000   141.98  >1000                 2000 141.98 1000              
  q2-1-NN-09_18.qdimacs 4 20 22 28 102 112 126 151 73529 9613 2142 6379  >2000   162.87  >1000                 2000 162.87 1000              
  q2-1-NN-09_19.qdimacs 4 20 23 28 102 121 126 158 80032 10107 2142 6845  >2000   177.82  >1000                 2000 177.82 1000              
  q2-1-NN-09_20.qdimacs 4 20 26 28 102 131 126 170 96982 10966 2142 7620  >2000   211.38  >1000                 2000 211.38 1000              
  q2-1-NN-09_21.qdimacs 4 22 23 26 107 109 137 152 83532 10713 2461 7160  >2000   258.88  >1000                 2000 258.88 1000              
  q2-1-NN-09_22.qdimacs 4 22 24 28 109 119 139 164 95182 11368 2507 7657  >2000   301.16  >1000                 2000 301.16 1000              
  q2-1-NN-09_23.qdimacs 4 22 25 28 109 128 139 171 102926 11907 2507 8168  >2000   315.78  >1000                 2000 315.78 1000              
  q2-1-NN-09_24.qdimacs 4 22 28 28 109 138 139 183 122939 12833 2507 9010  >2000   368.49  >1000                 2000 368.49 1000              
  q2-1-NN-09_25.qdimacs 4 24 25 26 115 117 152 167 108069 12676 2875 8605  >2000   388.81  >1000                 2000 388.81 1000              
  q2-1-NN-09_26.qdimacs 4 24 26 28 117 127 154 179 121908 13389 2925 9148  >2000   420.45  >1000                 2000 420.45 1000              
  q2-1-NN-09_27.qdimacs 4 24 27 28 117 136 154 186 131051 13974 2925 9705  >2000   444.5  >1000                 2000 444.5 1000              
  q2-1-NN-09_28.qdimacs 4 24 30 28 117 146 154 198 154529 14970 2925 10617  >2000   494.52  >1000                 2000 494.52 1000              
10 q2-1-NN-10_01.qdimacs 5 9 10 28 49 51 59 74 6624 1928 490 1018 85.78   0.48  >1000                 85.78 0.48 1000              
  q2-1-NN-10_02.qdimacs 5 9 11 30 51 61 61 86 8649 2190 510 1200 115.6   0.59  >1000                 115.6 0.59 1000              
  q2-1-NN-10_03.qdimacs 5 9 12 30 51 70 61 93 10238 2415 510 1395 1271.66   0.75  >1000                 1271.66 0.75 1000              
  q2-1-NN-10_04.qdimacs 5 9 15 30 51 80 61 105 14879