query conservativity (-q -sSf) solved?    
sigN name roles b-concepts axioms clause variables time graph data
sig 1 12 sig 1 12 1 12 total A E sKizzo -hbdd 0 sKizzo 2clsQ yquaffle 1                 sKizzo -hbdd 0 sKizzo 2clsQ yquaffle
  q2-1-NN-04_07.qdimacs 3 12 16 15 65 88 76 110 25674 4340 845 3105    >300 5.09  >300                 #N/A 300 #N/A 5.09 300
  q2-1-NN-04_08.qdimacs 3 12 19 15 65 98 76 122 33384 4936 845 3656    >300 8.39  >300                 #N/A 300 #N/A 8.39 300
  q2-1-NN-04_11.qdimacs 3 13 17 15 76 99 90 124 32843 5346 1064 3862    >300 9.69  >300                 #N/A 300 #N/A 9.69 300
  q2-1-NN-04_12.qdimacs 3 13 20 15 76 109 90 136 41900 5998 1064 4469    >300 12.5  >300                 #N/A 300 #N/A 12.5 300
  q2-1-NN-04_15.qdimacs 3 15 19 15 89 112 107 141 47263 7038 1424 5134    >300 37.3  >300                 #N/A 300 #N/A 37.3 300
  q2-1-NN-04_16.qdimacs 3 15 22 15 89 122 107 153 58810 7775 1424 5826    >300 49.09  >300                 #N/A 300 #N/A 49.09 300
  q2-1-NN-04_19.qdimacs 3 19 23 15 99 122 124 158 79679 9818 1980 7238    >300 145.04  >300                 #N/A 300 #N/A 145.04 300
  q2-1-NN-04_20.qdimacs 3 19 26 15 99 132 124 170 96086 10677 1980 8052    >300 173.57  >300                 #N/A 300 #N/A 173.57 300
  q2-1-NN-04_23.qdimacs 3 21 25 15 106 129 137 171 102541 11592 2332 8600    >300 259.64  >300                 #N/A 300 #N/A 259.64 300
  q2-1-NN-04_24.qdimacs 3 21 28 15 106 139 137 183 121972 12518 2332 9481    >300 328.56  >300                 #N/A 300 #N/A 328.56 300
  q2-1-NN-04_27.qdimacs 3 23 27 15 114 137 152 186 130631 13630 2736 10174    >300 393.92  >300                 #N/A 300 #N/A 393.92 300
  q2-1-NN-04_28.qdimacs 3 23 30 15 114 147 152 198 153482 14626 2736 11125    >300 442.61  >300                 #N/A 300 #N/A 442.61 300
  q2-1-NN-10_07.qdimacs 5 13 16 30 69 88 78 110 24102 4463 966 2747    >300 2.83  >300                 #N/A 300 #N/A 2.83 300
  q2-1-NN-10_08.qdimacs 5 13 19 30 69 98 78 122 32031 5052 966 3246    >300 4.28  >300                 #N/A 300 #N/A 4.28 300
  q2-1-NN-10_11.qdimacs 5 14 17 30 80 99 92 124 30968 5488 1200 3478    >300 4.8  >300                 #N/A 300 #N/A 4.8 300
  q2-1-NN-10_12.qdimacs 5 14 20 30 80 109 92 136 40274 6133 1200 4033    >300 5.77  >300                 #N/A 300 #N/A 5.77 300
  q2-1-NN-10_15.qdimacs 5 16 19 30 93 112 109 141 44854 7207 1581 4696    >300 13.12  >300                 #N/A 300 #N/A 13.12 300
  q2-1-NN-10_16.qdimacs 5 16 22 30 93 122 109 153 56677 7937 1581 5336    >300 18.08  >300                 #N/A 300 #N/A 18.08 300
  q2-1-NN-10_19.qdimacs 5 20 23 30 103 122 126 158 76322 10024 2163 6691    >300 80.99  >300                 #N/A 300 #N/A 80.99 300
  q2-1-NN-10_20.qdimacs 5 20 26 30 103 132 126 170 93008 10876 2163 7453    >300 104.6  >300                 #N/A 300 #N/A 104.6 300
  q2-1-NN-10_23.qdimacs 5 22 25 30 110 129 139 171 98563 11821 2530 8001    >300 159.06  >300                 #N/A 300 #N/A 159.06 300
  q2-1-NN-10_24.qdimacs 5 22 28 30 110 139 139 183 118288 12740 2530 8830    >300 185.4  >300                 #N/A 300 #N/A 185.4 300
  q2-1-NN-10_27.qdimacs 5 24 27 30 118 137 154 186 125933 13884 2950 9524    >300 181.84  >300                 #N/A 300 #N/A 181.84 300
  q2-1-NN-10_28.qdimacs 5 24 30 30 118 147 154 198 149099 14873 2950 10423    >300 196.53  >300                 #N/A 300 #N/A 196.53 300
  q2-1-NN-14_07.qdimacs 7 14 16 40 73 88 78 110 21998 4564 1095 2509    >300 5.87  >300                 #N/A 300 #N/A 5.87 300
  q2-1-NN-14_08.qdimacs 7 14 19 40 73 98 78 122 30098 5146 1095 2971    >300 8.71  >300                 #N/A 300 #N/A 8.71 300
  q2-1-NN-14_11.qdimacs 7 15 17 40 84 99 92 124 28501 5606 1344 3222    >300 14.54  >300                 #N/A 300 #N/A 14.54 300
  q2-1-NN-14_12.qdimacs 7 15 20 40 84 109 92 136 38008 6244 1344 3740    >300 17.84  >300                 #N/A 300 #N/A 17.84 300
  q2-1-NN-14_15.qdimacs 7 17 19 40 97 112 109 141 41777 7348 1746 4402    >300 45.33  >300                 #N/A 300 #N/A 45.33 300
  q2-1-NN-14_16.qdimacs 7 17 22 40 97 122 109 153 53828 8071 1746 5005    >300 55.72  >300                 #N/A 300 #N/A 55.72 300
  q2-1-NN-14_19.qdimacs 7 21 23 40 107 122 126 158 72213 10194 2354 6320    >300 158.34  >300                 #N/A 300 #N/A 158.34 300
  q2-1-NN-14_20.qdimacs 7 21 26 40 107 132 126 170 89130 11039 2354 7045    >300 175.69  >300                 #N/A 300 #N/A 175.69 300
  q2-1-NN-14_23.qdimacs 7 23 25 40 114 129 139 171 93773 12010 2736 7594    >300 288.32  >300                 #N/A 300 #N/A 288.32 300
  q2-1-NN-14_24.qdimacs 7 23 28 40 114 139 139 183 113744 12922 2736 8386    >300 314.26  >300                 #N/A 300 #N/A 314.26 300
  q2-1-NN-14_27.qdimacs 7 25 27 40 122 137 154 186 120355 14094 3172 9082    >300 400.76  >300                 #N/A 300 #N/A 400.76 300
  q2-1-NN-14_28.qdimacs 7 25 30 40 122 147 154 198 143788 15076 3172 9944    >300 436.35  >300                 #N/A 300 #N/A 436.35 300
  q2-1-NN-15_07.qdimacs 10 17 19 50 83 98 78 110 26468 5767 1494 2923    >300 12.97  >300                 #N/A 300 #N/A 12.97 300
  q2-1-NN-15_08.qdimacs 10 17 22 50 83 108 78 122 36161 6418 1494 3424    >300 17.44  >300                 #N/A 300 #N/A 17.44 300
  q2-1-NN-15_11.qdimacs 10 17 19 51 92 107 92 124 29564 6424 1656 3391    >300 20.2  >300                 #N/A 300 #N/A 20.2 300
  q2-1-NN-15_12.qdimacs 10 17 22 51 92 117 92 136 40013 7102 1656 3916    >300 24.44  >300                 #N/A 300 #N/A 24.44 300
  q2-1-NN-15_15.qdimacs 10 17 19 52 97 112 109 141 33218 6955 1746 3805    >300 45.12  >300                 #N/A 300 #N/A 45.12 300
  q2-1-NN-15_16.qdimacs 10 17 22 52 97 122 109 153 44585 7648 1746 4342    >300 48.37  >300                 #N/A 300 #N/A 48.37 300
  q2-1-NN-15_19.qdimacs 10 21 23 52 107 122 126 158 60612 9759 2354 5585    >300 59.94  >300                 #N/A 300 #N/A 59.94 300
  q2-1-NN-15_20.qdimacs 10 21 26 52 107 132 126 170 76701 10574 2354 6244    >300  N  >300 NOT!               #N/A 300 #N/A #N/A 300
  q2-1-NN-15_23.qdimacs 10 23 25 52 114 129 139 171 80174 11548 2736 6784    >300 174.64  >300                 #N/A 300 #N/A 174.64 300
  q2-1-NN-15_24.qdimacs 10 23 28 52 114 139 139 183 99245 12430 2736 7510    >300 206.16  >300                 #N/A 300 #N/A 206.16 300
  q2-1-NN-15_27.qdimacs 10 25 27 52 122 137 154 186 104446 13602 3172 8194    >300 322.15  >300                 #N/A 300 #N/A 322.15 300
  q2-1-NN-15_28.qdimacs 10 25 30 52 122 147 154 198 126907 14554 3172 8990    >300 368.25  >300                 #N/A 300 #N/A 368.25 300
                0 0 47 0