query conservativity (-q -sSf) solved?   2 7 0 5 1 8 11 10 6 3 9 4 A
sigN name roles b-concepts axioms clause variables time time graph data        
sig 1 12 sig 1 12 1 12 total A E sKizzo -hbdd 0 sKizzo 2clsQ yquaffle 6 sKizzo 1:13 sKizzo 2:13 -o3 sKizzo -sGf sKizzo -o1 sKizzo 1:13 -o4 sKizzo 1:13 -o3 sKizzo 1:13 -o4 sKizzo -o1 sKizzo -o2 sKizzo -o2 sKizzo 1:13 sKizzo -hbdd 0 sKizzo 2clsQ yquaffle sKizzo sKizzo 1:13 sKizzo 2:13 -o3 sKizzo -sGf sKizzo -o1 sKizzo 1:13 -o4 sKizzo 1:13 -o3 sKizzo 1:13 -o4 sKizzo -o1 sKizzo -o2 sKizzo -o2 sKizzo 1:13 min which is best?          
  q2-3-YY-04_01.qdimacs 2 7 11 12 43 66 46 70 7756 1937 344 1389   12.07  >300.010  >300   11.47 13.1 17.66 13.29 15.77 15.14 13.48 9.88 11.57 14.16 13.49 #N/A 12.07 300.01 300 12.07 11.47 13.1 17.66 13.29 15.77 15.14 13.48 9.88 11.57 14.16 13.49 9.88 -o4  q2-3-YY-04_01.qdimacs        
  q2-3-YY-04_02.qdimacs 2 7 11 12 43 66 54 78 8524 2001 344 1453   20.99  >300.010  >300   16.01 11.7 22.06 35.46 18.79 16.71 22.11 19.82 23.66 18.43 15.36 #N/A 20.99 300.01 300 20.99 16.01 11.7 22.06 35.46 18.79 16.71 22.11 19.82 23.66 18.43 15.36 15.36 -o2  1:13 q2-3-YY-04_02.qdimacs        
  q2-3-YY-04_03.qdimacs 2 7 9 12 43 47 54 62 5718 1566 344 1042   18.83  >300.020  >300   18.91 17.33 20.37 21.01 21.34 22.41 18.36 19.65 26.74 25.66 20.68 #N/A 18.83 300.02 300 18.83 18.91 17.33 20.37 21.01 21.34 22.41 18.36 19.65 26.74 25.66 20.68 18.36 -o3  1:13 q2-3-YY-04_03.qdimacs        
  q2-3-YY-04_04.qdimacs 2 7 10 12 43 56 54 66 6607 1766 344 1230   17.22  >300.020  >300   19.03 16.99 18.74 22.84 20 18.32 19.62 17 22.64 21.78 20.86 #N/A 17.22 300.02 300 17.22 19.03 16.99 18.74 22.84 20 18.32 19.62 17 22.64 21.78 20.86 17 -o4  q2-3-YY-04_04.qdimacs        
  q2-3-YY-04_05.qdimacs 2 10 12 12 57 61 63 71 11669 2752 627 1873   111.55  >300.020  >300   98.42 126.61 131.82 138.05 214.48 143.9 98.79 91.5 615.81 140.88 104.36 #N/A 111.55 300.02 300 111.55 98.42 126.61 131.82 138.05 214.48 143.9 98.79 91.5 615.81 140.88 104.36 91.5 -o4  q2-3-YY-04_05.qdimacs        
  q2-3-YY-04_06.qdimacs 2 10 14 12 57 80 63 87 16383 3335 627 2432   105.23  >300.030  >300   120.23 78.83 92.23 98.23 100.31 87.93 138.18 123.11 91.86 265.7 95.01 #N/A 105.23 300.03 300 105.23 120.23 78.83 92.23 98.23 100.31 87.93 138.18 123.11 91.86 265.7 95.01 87.93 -o4  1:13 q2-3-YY-04_06.qdimacs        
  q2-3-YY-04_07.qdimacs 2 11 13 12 61 65 71 79 15226 3256 732 2248   738.29  >300.070  >300   297.68 578.9 304.63 1773.54 248.5 200.78 207.29 217.62 667.18 254.22 224.32 #N/A 738.29 300.07 300 738.29 297.68 578.9 304.63 1773.54 248.5 200.78 207.29 217.62 667.18 254.22 224.32 200.78 -o4  1:13 q2-3-YY-04_07.qdimacs        
  q2-3-YY-04_08.qdimacs 2 11 15 12 61 84 71 95 20824 3887 732 2855   266.43  >300.040  >300   324.14 736.37 639.96 924.97 229.31 224.78 234.02 305.06 512.13 327.24 225.97 #N/A 266.43 300.04 300 266.43 324.14 736.37 639.96 924.97 229.31 224.78 234.02 305.06 512.13 327.24 225.97 224.78 -o4  1:13 q2-3-YY-04_08.qdimacs        
  q2-3-YY-04_09.qdimacs 2 11 13 12 68 72 78 86 16462 3585 816 2493   515.85  >300.020  >300   224.36 284.54 305.13 843.64 287.85 289.25 252.36 719.66 352.64 254.31 246.16 #N/A 515.85 300.02 300 515.85 224.36 284.54 305.13 843.64 287.85 289.25 252.36 719.66 352.64 254.31 246.16 224.36  1:13 q2-3-YY-04_09.qdimacs        
  q2-3-YY-04_10.qdimacs 2 11 15 12 68 91 78 102 22228 4230 816 3114   387.26  >300.030  >300   235.6 299.24 294.35 279.98 245.95 233.66 246.21 294.05 318.55 325.66 264.18 #N/A 387.26 300.03 300 387.26 235.6 299.24 294.35 279.98 245.95 233.66 246.21 294.05 318.55 325.66 264.18 233.66 -o4  1:13 q2-3-YY-04_10.qdimacs        
  q2-3-YY-04_11.qdimacs 2 12 14 12 72 76 86 94 20733 4159 936 2923   371.41  >300.030  >300   464.9 309.57 455.62 515.71 412.88 373.97 471.03 625.39 454.55 463.84 419.9 #N/A 371.41 300.03 300 371.41 464.9 309.57 455.62 515.71 412.88 373.97 471.03 625.39 454.55 463.84 419.9 371.41   q2-3-YY-04_11.qdimacs        
  q2-3-YY-04_12.qdimacs 2 12 16 12 72 95 86 110 27447 4852 936 3592   474.53  >300.020  >300   408.47 565.48 1841.6 428.8 457.08 459.42 416.93 710.25 449.01 372.01 342.12 #N/A 474.53 300.02 300 474.53 408.47 565.48 1841.6 428.8 457.08 459.42 416.93 710.25 449.01 372.01 342.12 342.12 -o2  1:13 q2-3-YY-04_12.qdimacs        
  q2-3-YY-07_01.qdimacs 3 7 11 17 43 66 46 70 7055 1862 344 1246   116.48  >300.010  >300   63.19 53.41 73.58 329.42 51.89 71.05 76.27 77.65 101.7 68.52 198.45 #N/A 116.48 300.01 300 116.48 63.19 53.41 73.58 329.42 51.89 71.05 76.27 77.65 101.7 68.52 198.45 51.89 -o1  1:13 q2-3-YY-07_01.qdimacs        
  q2-3-YY-07_02.qdimacs 3 7 11 17 43 66 54 78 7759 1926 344 1310   222.43  >300.020  >300   50.18 65.13 57.45 309.74 88.74 199.57 118.56 92.74 51.69 130.97 214.9 #N/A 222.43 300.02 300 222.43 50.18 65.13 57.45 309.74 88.74 199.57 118.56 92.74 51.69 130.97 214.9 50.18  1:13 q2-3-YY-07_02.qdimacs        
  q2-3-YY-07_03.qdimacs 3 7 9 17 43 47 54 62 5121 1510 344 928   82.42  >300.020  >300   108.32 226.95 88.5 190.12 191.53 128.63 63.76 188.31 127.51 254.98 154.97 #N/A 82.42 300.02 300 82.42 108.32 226.95 88.5 190.12 191.53 128.63 63.76 188.31 127.51 254.98 154.97 63.76 -o3  1:13 q2-3-YY-07_03.qdimacs        
  q2-3-YY-07_04.qdimacs 3 7 10 17 43 56 54 66 5974 1701 344 1102   236.65  >300.020  >300   71.05 142.18 115.01 103.66 58.53 55.84 251.27 63.34 79.33 384.5 88.7 #N/A 236.65 300.02 300 236.65 71.05 142.18 115.01 103.66 58.53 55.84 251.27 63.34 79.33 384.5 88.7 55.84 -o4  1:13 q2-3-YY-07_04.qdimacs        
  q2-3-YY-07_05.qdimacs 3 10 12 17 57 61 63 71 10748 2679 627 1712   1478.75  >300.010  >300   738.33 889.15 904.98 -1870.87 1730.68 946.33 521.46 -2034.21 584.25 1204.07 -2126.84 #N/A 1478.75 300.01 300 1478.75 738.33 889.15 904.98 2424.13 1730.68 946.33 521.46 2260.79 584.25 1204.07 2168.16 521.46 -o3  1:13 q2-3-YY-07_05.qdimacs        
  q2-3-YY-07_06.qdimacs 3 10 14 17 57 80 63 87 15234 3243 627 2242   875.23  >300.030  >300   847.87 3542.46 508.72 974.25 630.54 356.76 927.19 -409.8 794.14 794.62 804 #N/A 875.23 300.03 300 875.23 847.87 3542.46 508.72 974.25 630.54 356.76 927.19 3885.2 794.14 794.62 804 356.76 -o4  1:13 q2-3-YY-07_06.qdimacs        
  q2-3-YY-07_07.qdimacs 3 11 13 17 61 65 71 79 14113 3178 732 2072   3023.01  >300.020  >300   1351.7 944.68  >4200 2014.22 1653.05 1023.67 1033.26 782.42  >4200 652.68 1137.63 #N/A 3023.01 300.02 300 3023.01 1351.7 944.68 4200 2014.22 1653.05 1023.67 1033.26 782.42 4200 652.68 1137.63 652.68 -o2  q2-3-YY-07_07.qdimacs        
  q2-3-YY-07_08.qdimacs 3 11 15 17 61 84 71 95 19463 3790 732 2650   1814.09  >300.030  >300   1184.95 1405.26 -904.82 -324.4  >4200 1509.34 970.58 2046.41 1573.49 1137.06 1148.07 #N/A 1814.09 300.03 300 1814.09 1184.95 1405.26 3390.18 3970.6 4200 1509.34 970.58 2046.41 1573.49 1137.06 1148.07 970.58 -o3  1:13 q2-3-YY-07_08.qdimacs        
  q2-3-YY-07_09.qdimacs 3 11 13 17 68 72 78 86 15265 3500 816 2310   1416.18  >300.020  >300   1429.48 1544.93 -2132.91 -1956.44 656.66  >4200 1117.03 1493.12 910.46 -1575.27 1080.75 #N/A 1416.18 300.02 300 1416.18 1429.48 1544.93 2162.09 2338.56 656.66 4200 1117.03 1493.12 910.46 2719.73 1080.75 656.66 -o1  1:13 q2-3-YY-07_09.qdimacs        
  q2-3-YY-07_10.qdimacs 3 11 15 17 68 91 78 102 20783 4126 816 2902   1731.97  >300.030  >300   1187.09 2006.37 979.41  >4200 1797.03 -1928.67 -234.29 -2039.87  >4200  >4200 1049.95 #N/A 1731.97 300.03 300 1731.97 1187.09 2006.37 979.41 4200 1797.03 2366.33 4060.71 2255.13 4200 4200 1049.95 979.41 -o3  q2-3-YY-07_10.qdimacs        
  q2-3-YY-07_11.qdimacs 3 12 14 17 72 76 86 94 19332 4069 936 2725   4167.17  >300.010  >300   1340.67  >4200 1599.82  >4200 -1964.38 1760.42 1239.11 -701.39 1985.6  >4200  >4200 #N/A 4167.17 300.01 300 4167.17 1340.67 4200 1599.82 4200 2330.62 1760.42 1239.11 3593.61 1985.6 4200 4200 1239.11 -o3  1:13 q2-3-YY-07_11.qdimacs        
  q2-3-YY-07_12.qdimacs 3 12 16 17 72 95 86 110 25778 4743 936 3365   >4200  >300.220  >300   2157.62  >4200  >4200 -1277.13 -2032.73  >4200 -292.37  >4200  >4200  >4200  >4200 #N/A 4200 300.22 300 4200 2157.62 4200 4200 3017.87 2262.27 4200 4002.63 4200 4200 4200 4200 2157.62  1:13 q2-3-YY-07_12.qdimacs        
  q2-3-YY-10_01.qdimacs 4 8 11 23 47 66 48 70 7192 2006 423 1215   1398.64  >300.010  >300   136.71 675.47 146.36 355.76 112.84 137.01 432.17 301.52 517.64 1196.14 250.7 #N/A 1398.64 300.01 300 1398.64 136.71 675.47 146.36 355.76 112.84 137.01 432.17 301.52 517.64 1196.14 250.7 112.84 -o1  1:13 q2-3-YY-10_01.qdimacs        
  q2-3-YY-10_02.qdimacs 4 8 11 23 47 66 56 78 7912 2078 423 1287   332.45  >300.050  >300   447.42 681.57 409.37 112.49 225.84 197.95 234.72 192.18 258.19 761.63 173.43 #N/A 332.45 300.05 300 332.45 447.42 681.57 409.37 112.49 225.84 197.95 234.72 192.18 258.19 761.63 173.43 112.49 -sGf  q2-3-YY-10_02.qdimacs        
  q2-3-YY-10_03.qdimacs 4 8 10 21 45 49 54 62 5768 1711 405 991   195.01  >300.020  >300   83.6 193.83 334.6 299.53 77.99 225.21 222.51 61.45 273.76 -2097.83 79.73 #N/A 195.01 300.02 300 195.01 83.6 193.83 334.6 299.53 77.99 225.21 222.51 61.45 273.76 2197.17 79.73 61.45 -o4  q2-3-YY-10_03.qdimacs        
  q2-3-YY-10_04.qdimacs 4 8 10 21 45 56 54 66 6020 1816 405 1096   195.01  >300.020  >300   84 192.7 334.51 299.88 77.92 225.43 223.03 61.54 274.33 -2098.82 79.62 #N/A 195.01 300.02 300 195.01 84 192.7 334.51 299.88 77.92 225.43 223.03 61.54 274.33 2196.18 79.62 61.54 -o4  q2-3-YY-10_04.qdimacs        
  q2-3-YY-10_05.qdimacs 4 11 13 21 59 63 63 71 11732 2938 708 1789   1127.61  >300.010  >300   1128.52  >4200 1313.03 -279.62 1203.21 1429.4 1394.89  >4200  >4200 905.12 1777.56 #N/A 1127.61 300.01 300 1127.61 1128.52 4200 1313.03 4015.38 1203.21 1429.4 1394.89 4200 4200 905.12 1777.56 905.12 -o2  q2-3-YY-10_05.qdimacs        
  q2-3-YY-10_06.qdimacs 4 11 14 23 61 80 65 87 15421 3436 732 2198   2345.03  >300.030  >300   1639.22 1695.06 498.04 -2127.04 1237.29 1318.27 1675.65 -2075.88  >4200  >4200 -2144.67 #N/A 2345.03 300.03 300 2345.03 1639.22 1695.06 498.04 2167.96 1237.29 1318.27 1675.65 2219.12 4200 4200 2150.33 498.04 -o3  q2-3-YY-10_06.qdimacs        
  q2-3-YY-10_07.qdimacs 4 12 14 21 63 67 71 79 15296 3460 819 2158   3191.9  >300.030  >300    >4200 2180.34  >4200  >4200 -1547.56 2046.98 -1073.57 1457.38  >4200 -1049.58 1923.13 #N/A 3191.9 300.03 300 3191.9 4200 2180.34 4200 4200 2747.44 2046.98 3221.43 1457.38 4200 3245.42 1923.13 1457.38 -o4  q2-3-YY-10_07.qdimacs        
  q2-3-YY-10_08.qdimacs 4 12 15 23 65 84 73 95 19670 4001 845 2604   >4200  >300.030  >300   2743.45  >4200 -907.53 2081.24 -1395.14 2125.29 -669.28 -2028.06  >4200 -1663.49 -1032.35 #N/A 4200 300.03 300 4200 2743.45 4200 3387.47 2081.24 2899.86 2125.29 3625.72 2266.94 4200 2631.51 3262.65 2081.24 -sGf  q2-3-YY-10_08.qdimacs        
  q2-3-YY-10_09.qdimacs 4 12 14 21 70 74 78 86 16544 3803 910 2410   2738.49  >300.030  >300    >4200 2021.65 2050.31 -1830.89 -853.68 -1427.6  >4200 1495.91  >4200  >4200  >4200 #N/A 2738.49 300.03 300 2738.49 4200 2021.65 2050.31 2464.11 3441.32 2867.4 4200 1495.91 4200 4200 4200 1495.91 -o4  q2-3-YY-10_09.qdimacs        
  q2-3-YY-10_10.qdimacs 4 12 15 23 72 91 80 102 21009 4351 936 2863   1772.37  >300.020  >300   1352.71  >4200  >4200  >4200 -937.56 -1806.54  >4200  >4200  >4200  >4200 -1921.61 #N/A 1772.37 300.02 300 1772.37 1352.71 4200 4200 4200 3357.44 2488.46 4200 4200 4200 4200 2373.39 1352.71  1:13 q2-3-YY-10_10.qdimacs        
  q2-3-YY-10_11.qdimacs 4 13 15 21 74 78 86 94 20826 4395 1036 2834   2714.08  >300.040  >300   2901.21  >4200  >4200  >4200  >4200 -1465.45 -590.12 -1834.83  >4200 -925.46  >4200 #N/A 2714.08 300.04 300 2714.08 2901.21 4200 4200 4200 4200 2829.55 3704.88 2460.17 4200 3369.54 4200 2460.17 -o4  q2-3-YY-10_11.qdimacs        
  q2-3-YY-10_12.qdimacs 4 13 16 23 76 95 88 110 26027 4986 1064 3324   >4200  >300.020  >300 NOT!  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200 #N/A 4200 300.02 300 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200   q2-3-YY-10_12.qdimacs        
  q2-3-YY-13_01.qdimacs 5 9 11 32 51 66 48 70 7139 2140 510 1118   2924.42  >300.030  >300    >4200  >4200 946.14  >4200  >4200  >4200  >4200 -671.51 983.31 2018.13 1304.9 #N/A 2924.42 300.03 300 2924.42 4200 4200 946.14 4200 4200 4200 4200 3623.49 983.31 2018.13 1304.9 946.14 -o3  q2-3-YY-13_01.qdimacs        
  q2-3-YY-13_02.qdimacs 5 9 11 32 51 66 56 78 7859 2220 510 1198   >4200  >300.070  >300    >4200  >4200 871.79  >4200  >4200 -849.17  >4200  >4200 787.22 2049.53  >4200 #N/A 4200 300.07 300 4200 4200 4200 871.79 4200 4200 3445.83 4200 4200 787.22 2049.53 4200 787.22 -o1  q2-3-YY-13_02.qdimacs        
  q2-3-YY-13_03.qdimacs 5 9 10 30 49 51 54 62 5684 1878 490 938   591.43  >300.560  >300   2765.32 480.74 1413.81 -1599.55  >4200 569.45 -1307.64  >4200  >4200 645.07  >4200 #N/A 591.43 300.56 300 591.43 2765.32 480.74 1413.81 2695.45 4200 569.45 2987.36 4200 4200 645.07 4200 569.45 -o4  1:13 q2-3-YY-13_03.qdimacs        
  q2-3-YY-13_04.qdimacs 5 9 10 30 49 56 54 66 5924 1953 490 1013   592.79  >300.530  >300   2767.36 480.67 1411.69 -1600.27  >4200 570.18 -1303.46  >4200  >4200 644.08  >4200 #N/A 592.79 300.53 300 592.79 2767.36 480.67 1411.69 2694.73 4200 570.18 2991.54 4200 4200 644.08 4200 570.18 -o4  1:13 q2-3-YY-13_04.qdimacs        
  q2-3-YY-13_05.qdimacs 5 12 13 30 63 65 63 71 11643 3152 819 1703   >4200  >300.750  >300    >4200  >4200  >4200  >4200  >4200  >4200 -106.31  >4200  >4200  >4200  >4200 #N/A 4200 300.75 300 4200 4200 4200 4200 4200 4200 4200 4188.69 4200 4200 4200 4200 4188.69 -o3  1:13 q2-3-YY-13_05.qdimacs        
  q2-3-YY-13_06.qdimacs 5 12 14 32 65 80 65 87 15372 3613 845 2064   2717.64  >300.050  >300    >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200 -1187.73 #N/A 2717.64 300.05 300 2717.64 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 3107.27 2717.64   q2-3-YY-13_06.qdimacs        
  q2-3-YY-13_07.qdimacs 5 13 14 30 67 69 71 79 15196 3694 938 2066   >4200  >302.800  >300    >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200 -629.16  >4200  >4200 #N/A 4200 302.8 300 4200 4200 4200 4200 4200 4200 4200 4200 4200 3665.84 4200 4200 3665.84 -o1  q2-3-YY-13_07.qdimacs        
  q2-3-YY-13_08.qdimacs 5 13 15 32 69 84 73 95 19619 4194 966 2460   >4200  >300.060  >300 NOT!  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200 #N/A 4200 300.06 300 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200   q2-3-YY-13_08.qdimacs        
  q2-3-YY-13_09.qdimacs 5 13 14 30 74 76 78 86 16442 4051 1036 2325   >4200  >301.580  >300 NOT!  >4200  >4200  >4200 >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200 #N/A 4200 301.58 300 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200   q2-3-YY-13_09.qdimacs        
  q2-3-YY-13_10.qdimacs 5 13 15 32 76 91 80 102 20963 4558 1064 2726   >4200  >300.070  >300 NOT!  >4200  >4200  >4200 >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200 #N/A 4200 300.07 300 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200   q2-3-YY-13_10.qdimacs        
  q2-3-YY-13_11.qdimacs 5 14 15 30 78 80 86 94 20719 4663 1170 2743   >4200  >300.010  >300 NOT!  >4200  >4200  >4200 >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200 #N/A 4200 300.01 300 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200   q2-3-YY-13_11.qdimacs        
  q2-3-YY-13_12.qdimacs 5 14 16 32 80 95 88 110 25984 5209 1200 3177   >4200  >300.020  >300 NOT!  >4200  >4200  >4200 >4200  >4200  >4200  >4200  >4200  >4200  >4200  >4200 #N/A 4200 300.02 300 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200 4200   q2-3-YY-13_12.qdimacs        
                0 37 0 0 solved 35 31 34 32 33 36 36 33 28 33 33   average for sigmas 3-YY-04 253.305 186.6017 253.2217 345.3475 424.62667 189.355 173.8558 178.1983 262.7492 295.5283 206.9908 166.0342 166.0342 -o2  1:13
                            3-YY-07 1613.698 877.5375 1601.71 1523.312 2006.0475 1304.295 1401.495 1198.486 1744.893 1567.348 1662.261 1370.465 877.5375  1:13
                            3-YY-10 2034.216 1926.403 2386.718 2106.141 2383.0292 1981.763 1674.246 2277.917 1926.351 2910.327 2775.226 2055.878 1674.246 -o4  1:13
                            3-YY-13 3368.857 3961.057 3580.118 3186.953 3949.1817 4200 3532.122 3997.299 4151.958 3603.031 3246.401 3867.681 3186.953 -o3 
                          sKizzo 1:13 sKizzo 2:13 -o3 sKizzo -sGf sKizzo -o1 sKizzo 1:13 -o4 sKizzo 1:13 -o3 sKizzo 1:13 -o4 sKizzo -o1 sKizzo -o2 sKizzo -o2 sKizzo 1:13   sKizzo sKizzo 1:13 sKizzo 2:13 -o3 sKizzo -sGf sKizzo -o1 sKizzo 1:13 -o4 sKizzo 1:13 -o3 sKizzo 1:13 -o4 sKizzo -o1 sKizzo -o2 sKizzo -o2 sKizzo 1:13
                            (CRQ0)* (CRQ1)* (QRC1)* (QRC0)*   (CQR0)* (CQR1)* (CQ0)*R0* (CQ1)*R1* (QCR1)* (QCR0)* (CQR1)* (CQR0)* (RQC1)* (RQC0)* (RQC0)* (RQC1)* (RCQ0)* (RCQ1)* (QCR0)* (QCR1)* (RCQ1)* (RCQ0)*
                            average for sigma divided by the best 3-YY-04 1.52562 1.123875 1.525118 2.079979 2.5574656 1.140458 1.047109 1.073263 1.582501 1.779925 1.246676 1
                            3-YY-07 1.838894 1 1.825233 1.735894 2.2859963 1.486313 1.597077 1.365737 1.988397 1.786075 1.894233 1.561717
                            3-YY-10 1.215004 1.15061 1.425548 1.257964 1.4233448 1.183675 1 1.360563 1.150578 1.738291 1.657598 1.227943
                            3-YY-13 1.057078 1.242898 1.123367 1 1.2391718 1.317873 1.108307 1.25427 1.302799 1.130557 1.018654 1.213599    
                             
                             
                             
                             
                             
                             
                             
                              C - concept names
                              Q - \mathop{\geq q} R
                              R - \exists R
                                     
                              -sSf 0:13 (CRQ0)* (CRQ1)*  
                              -sSf -o1 0:13 (QCR0)* (QCR1)*
                              -sSf -o2 0:13 (QCR0)* (QCR1)*
                              -sSf -o3 0:13 (CQR0)* (CQR1)*
                              -sSf -o4 0:13 (RQC0)* (RQC1)*
                              -sSf 1:13 (QRC1)* (QRC0)*
                              -sSf -o1 1:13 (QCR1)* (QCR0)*
                              -sSf -o2 1:13 (RCQ1)* (RCQ0)*
                              -sSf -o3 1:13 (RQC1)* (RQC0)*
                              -sSf -o4 1:13 (CQR1)* (CQR0)*
                                 
                              -sGf 0:13 (CQ0)*R0* (CQ1)*R1*