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 0                 sKizzo -hbdd 0 sKizzo 2clsQ yquaffle
  q2-2-YN-04_02.qdimacs 3 7 12 14 44 69 56 86 9236 2076 352 1486    >300 1.09  >300                   #N/A 300 1.09 300
  q2-2-YN-04_03.qdimacs 3 7 15 14 44 79 56 98 12995 2510 352 1878    >300 1.47  >300                   #N/A 300 1.47 300
  q2-2-YN-04_05.qdimacs 3 11 16 14 62 87 73 103 22276 3998 744 2904    >300 7.93  >300                   #N/A 300 7.93 300
  q2-2-YN-04_06.qdimacs 3 11 19 14 62 97 73 115 29119 4578 744 3442    >300 11.36  >300                   #N/A 300 11.36 300
  q2-2-YN-04_08.qdimacs 3 12 17 14 73 98 87 117 28851 4959 949 3632    >300 14.77  >300                   #N/A 300 14.77 300
  q2-2-YN-04_09.qdimacs 3 12 20 14 73 108 87 129 36963 5595 949 4226    >300 21.48  >300                   #N/A 300 21.48 300
  q2-2-YN-04_11.qdimacs 3 14 19 14 86 111 104 134 42169 6590 1290 4866    >300 55.33  >300                   #N/A 300 55.33 300
  q2-2-YN-04_12.qdimacs 3 14 22 14 86 121 104 146 52648 7311 1290 5545    >300 69.18  >300                   #N/A 300 69.18 300
  q2-2-YN-04_14.qdimacs 3 18 23 14 96 121 121 151 72375 9297 1824 6927    >300 212.89  >300                   #N/A 300 212.89 300
  q2-2-YN-04_15.qdimacs 3 18 26 14 96 131 121 163 87519 10140 1824 7728    >300 277.71  >300                   #N/A 300 277.71 300
  q2-2-YN-04_17.qdimacs 3 20 25 14 103 128 134 164 93874 11026 2163 8261    >300 439.44  >300                   #N/A 300 439.44 300
  q2-2-YN-04_18.qdimacs 3 20 28 14 103 138 134 176 111931 11936 2163 9129    >300 503.39  >300                   #N/A 300 503.39 300
  q2-2-YN-07_02.qdimacs 3 7 12 18 44 69 56 86 9236 2076 352 1418   164.1 0.66  >300                   #N/A 164.1 0.66 300
  q2-2-YN-07_03.qdimacs 3 7 15 18 44 79 56 98 12995 2510 352 1798   239.94 0.84  >300                   #N/A 239.94 0.84 300
  q2-2-YN-07_05.qdimacs 3 11 16 18 62 87 73 103 22276 3998 744 2804    >300 4.57  >300                   #N/A 300 4.57 300
  q2-2-YN-07_06.qdimacs 3 11 19 18 62 97 73 115 29119 4578 744 3330    >300 6.41  >300                   #N/A 300 6.41 300
  q2-2-YN-07_08.qdimacs 3 12 17 18 73 98 87 117 28851 4959 949 3524    >300 3.4  >300                   #N/A 300 3.4 300
  q2-2-YN-07_09.qdimacs 3 12 20 18 73 108 87 129 36963 5595 949 4106    >300 4.75  >300                   #N/A 300 4.75 300
  q2-2-YN-07_11.qdimacs 3 14 19 18 86 111 104 134 42169 6590 1290 4742    >300 30.16  >300                   #N/A 300 30.16 300
  q2-2-YN-07_12.qdimacs 3 14 22 18 86 121 104 146 52648 7311 1290 5409    >300 34.79  >300                   #N/A 300 34.79 300
  q2-2-YN-07_14.qdimacs 3 18 23 18 96 121 121 151 72375 9297 1824 6771    >300 114  >300                   #N/A 300 114 300
  q2-2-YN-07_15.qdimacs 3 18 26 18 96 131 121 163 87519 10140 1824 7560    >300 144.05  >300                   #N/A 300 144.05 300
  q2-2-YN-07_17.qdimacs 3 20 25 18 103 128 134 164 93874 11026 2163 8089    >300 230.04  >300                   #N/A 300 230.04 300
  q2-2-YN-07_18.qdimacs 3 20 28 18 103 138 134 176 111931 11936 2163 8945    >300 254.74  >300                   #N/A 300 254.74 300
  q2-2-YN-10_02.qdimacs 5 9 12 33 53 69 58 86 9528 2388 530 1297    >300 0.96  >300                   #N/A 300 0.96 300
  q2-2-YN-10_03.qdimacs 5 9 15 33 53 79 58 98 13929 2828 530 1638    >300 1.21  >300                   #N/A 300 1.21 300
  q2-2-YN-10_05.qdimacs 5 13 16 33 71 87 75 103 22660 4424 994 2605    >300 1.79  >300                   #N/A 300 1.79 300
  q2-2-YN-10_06.qdimacs 5 13 19 33 71 97 75 115 30253 5010 994 3092    >300 8.19  >300                   #N/A 300 8.19 300
  q2-2-YN-10_08.qdimacs 5 14 17 33 82 98 89 117 29303 5446 1230 3325    >300 3.82  >300                   #N/A 300 3.82 300
  q2-2-YN-10_09.qdimacs 5 14 20 33 82 108 89 129 38249 6088 1230 3868    >300 5.12  >300                   #N/A 300 5.12 300
  q2-2-YN-10_11.qdimacs 5 16 19 33 95 111 106 134 42695 7159 1615 4521    >300 34.98  >300                   #N/A 300 34.98 300
  q2-2-YN-10_12.qdimacs 5 16 22 33 95 121 106 146 54110 7886 1615 5149    >300 43.79  >300                   #N/A 300 43.79 300
  q2-2-YN-10_14.qdimacs 5 20 23 33 105 121 123 151 72983 9964 2205 6472    >300 137.06  >300                   #N/A 300 137.06 300
  q2-2-YN-10_15.qdimacs 5 20 26 33 105 131 123 163 89165 10813 2205 7222    >300 158.48  >300                   #N/A 300 158.48 300
  q2-2-YN-10_17.qdimacs 5 22 25 33 112 128 136 164 94538 11755 2576 7760    >300 247.62  >300                   #N/A 300 247.62 300
  q2-2-YN-10_18.qdimacs 5 22 28 33 112 138 136 176 113711 12671 2576 8577    >300 288.41  >300                   #N/A 300 288.41 300
  q2-2-YN-12_02.qdimacs 8 12 15 43 63 79 58 86 12429 3288 819 1609    >300 1.49  >300                   #N/A 300 1.49 300
  q2-2-YN-12_03.qdimacs 8 12 18 43 63 89 58 98 18117 3797 819 1989    >300 1.78  >300                   #N/A 300 1.78 300
  q2-2-YN-12_05.qdimacs 8 16 19 43 81 97 75 103 27559 5615 1377 3034    >300 13.17  >300                   #N/A 300 13.17 300
  q2-2-YN-12_06.qdimacs 8 16 22 43 81 107 75 115 36745 6270 1377 3560    >300 15.45  >300                   #N/A 300 15.45 300
  q2-2-YN-12_08.qdimacs 8 16 19 44 90 106 89 117 30959 6258 1530 3496    >300 16.22  >300                   #N/A 300 16.22 300
  q2-2-YN-12_09.qdimacs 8 16 22 44 90 116 89 129 40859 6940 1530 4046    >300 24.62  >300                   #N/A 300 24.62 300
  q2-2-YN-12_11.qdimacs 8 16 19 45 95 111 106 134 34988 6772 1615 3897    >300 36.66  >300                   #N/A 300 36.66 300
  q2-2-YN-12_12.qdimacs 8 16 22 45 95 121 106 146 45755 7469 1615 4459    >300 47.6  >300                   #N/A 300 47.6 300
  q2-2-YN-12_14.qdimacs 8 20 23 45 105 121 123 151 62381 9535 2205 5710    >300 153.98  >300                   #N/A 300 153.98 300
  q2-2-YN-12_15.qdimacs 8 20 26 45 105 131 123 163 77771 10354 2205 6394    >300 172.16  >300                   #N/A 300 172.16 300
  q2-2-YN-12_17.qdimacs 8 22 25 45 112 128 136 164 82025 11299 2576 6923    >300 372.81  >300                   #N/A 300 372.81 300
  q2-2-YN-12_18.qdimacs 8 22 28 45 112 138 136 176 100334 12185 2576 7674    >300 420.79  >300                   #N/A 300 420.79 300
                0 2 48 0