query conservativity (-q -sSf -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 -hbdd 0 sKizzo 2clsQ yquaffle 48                 sKizzo -hbdd 0 sKizzo 2clsQ yquaffle
  q2-3-YY-04_01.qdimacs 2 7 11 12 43 66 46 70 7759 1928 344 1380    >300  >300.370  >300 NOT!                 #N/A 300 300.37 300
  q2-3-YY-04_02.qdimacs 2 7 11 12 43 66 54 78 8527 1992 344 1444    >300  >300.030  >300 NOT!                 #N/A 300 300.03 300
  q2-3-YY-04_03.qdimacs 2 7 9 12 43 47 54 62 5725 1556 344 1035    >300  >300.030  >300 NOT!                 #N/A 300 300.03 300
  q2-3-YY-04_04.qdimacs 2 7 10 12 43 56 54 66 6612 1755 344 1222    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-04_05.qdimacs 2 10 12 12 57 61 63 71 11679 2739 627 1863    >300  >300.290  >300 NOT!                 #N/A 300 300.29 300
  q2-3-YY-04_06.qdimacs 2 10 14 12 57 80 63 87 16389 3323 627 2420    >300  >300.270  >300 NOT!                 #N/A 300 300.27 300
  q2-3-YY-04_07.qdimacs 2 11 13 12 61 65 71 79 15237 3245 732 2237    >300  >300.790  >300 NOT!                 #N/A 300 300.79 300
  q2-3-YY-04_08.qdimacs 2 11 15 12 61 84 71 95 20831 3874 732 2842    >300  >300.690  >300 NOT!                 #N/A 300 300.69 300
  q2-3-YY-04_09.qdimacs 2 11 13 12 68 72 78 86 16473 3574 816 2482    >300  >300.700  >300 NOT!                 #N/A 300 300.7 300
  q2-3-YY-04_10.qdimacs 2 11 15 12 68 91 78 102 22235 4217 816 3101    >300  >300.600  >300 NOT!                 #N/A 300 300.6 300
  q2-3-YY-04_11.qdimacs 2 12 14 12 72 76 86 94 20745 4147 936 2911    >300  >300.840  >300 NOT!                 #N/A 300 300.84 300
  q2-3-YY-04_12.qdimacs 2 12 16 12 72 95 86 110 27455 4838 936 3578    >300  >300.620  >300 NOT!                 #N/A 300 300.62 300
  q2-3-YY-07_01.qdimacs 3 7 11 17 43 66 46 70 7060 1854 344 1238    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-07_02.qdimacs 3 7 11 17 43 66 54 78 7764 1918 344 1302    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-07_03.qdimacs 3 7 9 17 43 47 54 62 5130 1501 344 922    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-07_04.qdimacs 3 7 10 17 43 56 54 66 5981 1691 344 1095    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-07_05.qdimacs 3 10 12 17 57 61 63 71 10760 2667 627 1703    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-07_06.qdimacs 3 10 14 17 57 80 63 87 15242 3232 627 2231    >300  >300.020  >300 NOT!                 #N/A 300 300.02 300
  q2-3-YY-07_07.qdimacs 3 11 13 17 61 65 71 79 14126 3168 732 2062    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-07_08.qdimacs 3 11 15 17 61 84 71 95 19472 3778 732 2638    >300  >300.020  >300 NOT!                 #N/A 300 300.02 300
  q2-3-YY-07_09.qdimacs 3 11 13 17 68 72 78 86 15278 3490 816 2300    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-07_10.qdimacs 3 11 15 17 68 91 78 102 20792 4114 816 2890    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-07_11.qdimacs 3 12 14 17 72 76 86 94 19346 4058 936 2714    >300  >301.150  >300 NOT!                 #N/A 300 301.15 300
  q2-3-YY-07_12.qdimacs 3 12 16 17 72 95 86 110 25788 4730 936 3352    >300  >301.120  >300 NOT!                 #N/A 300 301.12 300
  q2-3-YY-10_01.qdimacs 4 8 11 23 47 66 48 70 7202 1999 423 1208    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-10_02.qdimacs 4 8 11 23 47 66 56 78 7922 2071 423 1280    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-10_03.qdimacs 4 8 10 21 45 49 54 62 5780 1702 405 985    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-10_04.qdimacs 4 8 10 21 45 56 54 66 6032 1807 405 1090    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-10_05.qdimacs 4 11 13 21 59 63 63 71 11747 2926 708 1780    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-10_06.qdimacs 4 11 14 23 61 80 65 87 15434 3426 732 2188    >300  >300.020  >300 NOT!                 #N/A 300 300.02 300
  q2-3-YY-10_07.qdimacs 4 12 14 21 63 67 71 79 15312 3450 819 2148    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-10_08.qdimacs 4 12 15 23 65 84 73 95 19684 3990 845 2593    >300  >300.080  >300 NOT!                 #N/A 300 300.08 300
  q2-3-YY-10_09.qdimacs 4 12 14 21 70 74 78 86 16560 3793 910 2400    >300  >300.020  >300 NOT!                 #N/A 300 300.02 300
  q2-3-YY-10_10.qdimacs 4 12 15 23 72 91 80 102 21023 4340 936 2852    >300  >300.130  >300 NOT!                 #N/A 300 300.13 300
  q2-3-YY-10_11.qdimacs 4 13 15 21 74 78 86 94 20843 4384 1036 2823    >300  >301.220  >300 NOT!                 #N/A 300 301.22 300
  q2-3-YY-10_12.qdimacs 4 13 16 23 76 95 88 110 26042 4974 1064 3312    >300  >301.380  >300 NOT!                 #N/A 300 301.38 300
  q2-3-YY-13_01.qdimacs 5 9 11 32 51 66 48 70 7154 2134 510 1112    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-13_02.qdimacs 5 9 11 32 51 66 56 78 7874 2214 510 1192    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-13_03.qdimacs 5 9 10 30 49 51 54 62 5701 1870 490 933    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-13_04.qdimacs 5 9 10 30 49 56 54 66 5941 1945 490 1008    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-13_05.qdimacs 5 12 13 30 63 65 63 71 11663 3141 819 1695    >300  >300.010  >300 NOT!                 #N/A 300 300.01 300
  q2-3-YY-13_06.qdimacs 5 12 14 32 65 80 65 87 15390 3604 845 2055    >300  >300.230  >300 NOT!                 #N/A 300 300.23 300
  q2-3-YY-13_07.qdimacs 5 13 14 30 67 69 71 79 15217 3685 938 2057    >300  >300.050  >300 NOT!                 #N/A 300 300.05 300
  q2-3-YY-13_08.qdimacs 5 13 15 32 69 84 73 95 19638 4184 966 2450    >300  >300.250  >300 NOT!                 #N/A 300 300.25 300
  q2-3-YY-13_09.qdimacs 5 13 14 30 74 76 78 86 16463 4042 1036 2316    >300  >300.040  >300 NOT!                 #N/A 300 300.04 300
  q2-3-YY-13_10.qdimacs 5 13 15 32 76 91 80 102 20982 4548 1064 2716    >300  >300.170  >300 NOT!                 #N/A 300 300.17 300
  q2-3-YY-13_11.qdimacs 5 14 15 30 78 80 86 94 20741 4653 1170 2733    >300  >301.380  >300 NOT!                 #N/A 300 301.38 300
  q2-3-YY-13_12.qdimacs 5 14 16 32 80 95 88 110 26004 5198 1200 3166    >300  >301.990  >300 NOT!                 #N/A 300 301.99 300
                0 0 0 0