From: Enrico Tassi Date: Fri, 30 Jun 2006 12:37:33 +0000 (+0000) Subject: fix X-Git-Tag: 0.4.95@7852~1251 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6926b1cbe53e78975600e2faca5a4d913984aeba;p=helm.git fix --- diff --git a/matita/tests/TPTP/compare.ods b/matita/tests/TPTP/compare.ods index 5b413b407..7cf24ee82 100644 Binary files a/matita/tests/TPTP/compare.ods and b/matita/tests/TPTP/compare.ods differ diff --git a/matita/tests/TPTP/log.300.29-6.fix-demodulationgoalwithcurr b/matita/tests/TPTP/log.300.29-6.fix-demodulationgoalwithcurr new file mode 100644 index 000000000..89db45641 --- /dev/null +++ b/matita/tests/TPTP/log.300.29-6.fix-demodulationgoalwithcurr @@ -0,0 +1,286 @@ +Unsatisfiable/BOO015-4.ma ... OK TIME NEEDED: 49.52 Rating : 0.00 1 +Unsatisfiable/COL023-1.ma ... FAIL Rating : 0.00 2 +Unsatisfiable/COL027-1.ma ... FAIL Rating : 0.00 3 +Unsatisfiable/COL031-1.ma ... FAIL Rating : 0.00 4 +Unsatisfiable/COL052-1.ma ... FAIL Rating : 0.00 5 +Unsatisfiable/COL059-1.ma ... FAIL Rating : 0.00 6 +Unsatisfiable/COL060-2.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 7 +Unsatisfiable/COL060-3.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 8 +Unsatisfiable/COL061-2.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 9 +Unsatisfiable/COL061-3.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 10 +Unsatisfiable/COL062-2.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 11 +Unsatisfiable/COL062-3.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 12 +Unsatisfiable/COL063-2.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 13 +Unsatisfiable/COL063-3.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 14 +Unsatisfiable/COL063-4.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 15 +Unsatisfiable/COL063-5.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 16 +Unsatisfiable/COL063-6.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 17 +Unsatisfiable/COL064-3.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 18 +Unsatisfiable/COL064-6.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 19 +Unsatisfiable/COL064-8.ma ... OK TIME NEEDED: 0.00 Rating : 0.00 20 +Unsatisfiable/COL066-2.ma ... OK TIME NEEDED: 0.01 Rating : 0.00 21 +Unsatisfiable/COL066-3.ma ... OK TIME NEEDED: 0.01 Rating : 0.00 22 +Unsatisfiable/GRP139-1.ma ... OK TIME NEEDED: 0.17 Rating : 0.00 23 +Unsatisfiable/GRP149-1.ma ... OK TIME NEEDED: 0.20 Rating : 0.00 24 +Unsatisfiable/GRP154-1.ma ... OK TIME NEEDED: 0.39 Rating : 0.00 25 +Unsatisfiable/GRP155-1.ma ... OK TIME NEEDED: 0.48 Rating : 0.00 26 +Unsatisfiable/GRP156-1.ma ... OK TIME NEEDED: 0.39 Rating : 0.00 27 +Unsatisfiable/GRP157-1.ma ... OK TIME NEEDED: 0.22 Rating : 0.00 28 +Unsatisfiable/GRP158-1.ma ... OK TIME NEEDED: 0.28 Rating : 0.00 29 +Unsatisfiable/GRP159-1.ma ... OK TIME NEEDED: 0.24 Rating : 0.00 30 +Unsatisfiable/GRP166-4.ma ... FAIL Rating : 0.00 31 +Unsatisfiable/GRP170-1.ma ... FAIL Rating : 0.00 32 +Unsatisfiable/GRP170-2.ma ... FAIL Rating : 0.00 33 +Unsatisfiable/GRP170-3.ma ... FAIL Rating : 0.00 34 +Unsatisfiable/GRP170-4.ma ... FAIL Rating : 0.00 35 +Unsatisfiable/GRP193-1.ma ... FAIL Rating : 0.00 36 +Unsatisfiable/GRP193-2.ma ... FAIL Rating : 0.00 37 +Unsatisfiable/GRP195-1.ma ... FAIL Rating : 0.00 38 +Unsatisfiable/GRP406-1.ma ... FAIL Rating : 0.00 39 +Unsatisfiable/GRP407-1.ma ... FAIL Rating : 0.00 40 +Unsatisfiable/GRP408-1.ma ... FAIL Rating : 0.00 41 +Unsatisfiable/GRP415-1.ma ... FAIL Rating : 0.00 42 +Unsatisfiable/GRP427-1.ma ... FAIL Rating : 0.00 43 +Unsatisfiable/GRP525-1.ma ... OK TIME NEEDED: 0.14 Rating : 0.00 44 +Unsatisfiable/GRP529-1.ma ... OK TIME NEEDED: 0.09 Rating : 0.00 45 +Unsatisfiable/GRP584-1.ma ... FAIL Rating : 0.00 46 +Unsatisfiable/LAT009-1.ma ... FAIL Rating : 0.00 47 +Unsatisfiable/LAT010-1.ma ... FAIL Rating : 0.00 48 +Unsatisfiable/LAT019-1.ma ... FAIL Rating : 0.00 49 +Unsatisfiable/LAT021-1.ma ... FAIL Rating : 0.00 50 +Unsatisfiable/LAT043-1.ma ... OK TIME NEEDED: 74.81 Rating : 0.00 51 +Unsatisfiable/LCL141-1.ma ... OK TIME NEEDED: 0.59 Rating : 0.00 52 +Unsatisfiable/LCL162-1.ma ... FAIL Rating : 0.00 53 +Unsatisfiable/LCL164-1.ma ... OK TIME NEEDED: 0.15 Rating : 0.00 54 +Unsatisfiable/RNG017-6.ma ... OK TIME NEEDED: 90.67 Rating : 0.00 55 +Unsatisfiable/RNG018-6.ma ... OK TIME NEEDED: 85.21 Rating : 0.00 56 +Unsatisfiable/ROB022-1.ma ... FAIL Rating : 0.00 57 +Unsatisfiable/BOO022-1.ma ... FAIL Rating : 0.07 58 +Unsatisfiable/BOO028-1.ma ... FAIL Rating : 0.07 59 +Unsatisfiable/BOO072-1.ma ... FAIL Rating : 0.07 60 +Unsatisfiable/BOO074-1.ma ... FAIL Rating : 0.07 61 +Unsatisfiable/COL002-4.ma ... FAIL Rating : 0.07 62 +Unsatisfiable/COL020-1.ma ... FAIL Rating : 0.07 63 +Unsatisfiable/COL026-1.ma ... FAIL Rating : 0.07 64 +Unsatisfiable/COL064-2.ma ... OK TIME NEEDED: 0.00 Rating : 0.07 65 +Unsatisfiable/COL064-4.ma ... OK TIME NEEDED: 0.00 Rating : 0.07 66 +Unsatisfiable/COL064-5.ma ... OK TIME NEEDED: 0.00 Rating : 0.07 67 +Unsatisfiable/COL064-7.ma ... OK TIME NEEDED: 0.00 Rating : 0.07 68 +Unsatisfiable/COL064-9.ma ... OK TIME NEEDED: 0.00 Rating : 0.07 69 +Unsatisfiable/COL070-1.ma ... FAIL Rating : 0.07 70 +Unsatisfiable/GRP168-1.ma ... OK TIME NEEDED: 0.37 Rating : 0.07 71 +Unsatisfiable/GRP168-2.ma ... OK TIME NEEDED: 0.46 Rating : 0.07 72 +Unsatisfiable/GRP185-1.ma ... FAIL Rating : 0.07 73 +Unsatisfiable/GRP185-2.ma ... FAIL Rating : 0.07 74 +Unsatisfiable/GRP413-1.ma ... FAIL Rating : 0.07 75 +Unsatisfiable/GRP414-1.ma ... FAIL Rating : 0.07 76 +Unsatisfiable/GRP416-1.ma ... FAIL Rating : 0.07 77 +Unsatisfiable/GRP418-1.ma ... FAIL Rating : 0.07 78 +Unsatisfiable/GRP436-1.ma ... FAIL Rating : 0.07 79 +Unsatisfiable/GRP437-1.ma ... FAIL Rating : 0.07 80 +Unsatisfiable/GRP438-1.ma ... FAIL Rating : 0.07 81 +Unsatisfiable/GRP443-1.ma ... FAIL Rating : 0.07 82 +Unsatisfiable/GRP579-1.ma ... OK TIME NEEDED: 4.20 Rating : 0.07 83 +Unsatisfiable/GRP583-1.ma ... OK TIME NEEDED: 2.20 Rating : 0.07 84 +Unsatisfiable/GRP602-1.ma ... OK TIME NEEDED: 1.00 Rating : 0.07 85 +Unsatisfiable/LAT011-1.ma ... FAIL Rating : 0.07 86 +Unsatisfiable/LAT027-1.ma ... FAIL Rating : 0.07 87 +Unsatisfiable/LAT045-1.ma ... OK TIME NEEDED: 0.47 Rating : 0.07 88 +Unsatisfiable/ROB005-1.ma ... FAIL Rating : 0.07 89 +Unsatisfiable/COL035-1.ma ... FAIL Rating : 0.14 90 +Unsatisfiable/COL042-6.ma ... FAIL Rating : 0.14 91 +Unsatisfiable/COL042-7.ma ... FAIL Rating : 0.14 92 +Unsatisfiable/COL042-8.ma ... FAIL Rating : 0.14 93 +Unsatisfiable/COL042-9.ma ... FAIL Rating : 0.14 94 +Unsatisfiable/GRP014-1.ma ... FAIL Rating : 0.14 95 +Unsatisfiable/GRP178-1.ma ... FAIL Rating : 0.14 96 +Unsatisfiable/GRP178-2.ma ... FAIL Rating : 0.14 97 +Unsatisfiable/GRP184-2.ma ... FAIL Rating : 0.14 98 +Unsatisfiable/GRP417-1.ma ... FAIL Rating : 0.14 99 +Unsatisfiable/GRP421-1.ma ... FAIL Rating : 0.14 100 +Unsatisfiable/GRP426-1.ma ... FAIL Rating : 0.14 101 +Unsatisfiable/GRP429-1.ma ... FAIL Rating : 0.14 102 +Unsatisfiable/GRP442-1.ma ... FAIL Rating : 0.14 103 +Unsatisfiable/GRP502-1.ma ... FAIL Rating : 0.14 104 +Unsatisfiable/GRP503-1.ma ... FAIL Rating : 0.14 105 +Unsatisfiable/GRP504-1.ma ... FAIL Rating : 0.14 106 +Unsatisfiable/LAT013-1.ma ... FAIL Rating : 0.14 107 +Unsatisfiable/LAT026-1.ma ... FAIL Rating : 0.14 108 +Unsatisfiable/LAT044-1.ma ... FAIL Rating : 0.14 109 +Unsatisfiable/LAT143-1.ma ... FAIL Rating : 0.14 110 +Unsatisfiable/LAT168-1.ma ... FAIL Rating : 0.14 111 +Unsatisfiable/RNG021-6.ma ... FAIL Rating : 0.14 112 +Unsatisfiable/BOO031-1.ma ... FAIL Rating : 0.21 113 +Unsatisfiable/BOO067-1.ma ... FAIL Rating : 0.21 114 +Unsatisfiable/COL004-3.ma ... OK TIME NEEDED: 0.01 Rating : 0.21 115 +Unsatisfiable/COL044-1.ma ... FAIL Rating : 0.21 116 +Unsatisfiable/GRP177-2.ma ... FAIL Rating : 0.21 117 +Unsatisfiable/GRP184-3.ma ... FAIL Rating : 0.21 118 +Unsatisfiable/GRP185-3.ma ... FAIL Rating : 0.21 119 +Unsatisfiable/GRP185-4.ma ... FAIL Rating : 0.21 120 +Unsatisfiable/GRP203-1.ma ... FAIL Rating : 0.21 121 +Unsatisfiable/GRP444-1.ma ... FAIL Rating : 0.21 122 +Unsatisfiable/GRP469-1.ma ... FAIL Rating : 0.21 123 +Unsatisfiable/GRP470-1.ma ... FAIL Rating : 0.21 124 +Unsatisfiable/GRP471-1.ma ... FAIL Rating : 0.21 125 +Unsatisfiable/LAT022-1.ma ... FAIL Rating : 0.21 126 +Unsatisfiable/LAT023-1.ma ... FAIL Rating : 0.21 127 +Unsatisfiable/RNG019-6.ma ... FAIL Rating : 0.21 128 +Unsatisfiable/RNG019-7.ma ... FAIL Rating : 0.21 129 +Unsatisfiable/RNG020-7.ma ... FAIL Rating : 0.21 130 +Unsatisfiable/RNG021-7.ma ... FAIL Rating : 0.21 131 +Unsatisfiable/COL037-1.ma ... FAIL Rating : 0.29 132 +Unsatisfiable/COL049-1.ma ... OK TIME NEEDED: 70.59 Rating : 0.29 133 +Unsatisfiable/GRP184-1.ma ... FAIL Rating : 0.29 134 +Unsatisfiable/GRP200-1.ma ... FAIL Rating : 0.29 135 +Unsatisfiable/GRP419-1.ma ... FAIL Rating : 0.29 136 +Unsatisfiable/GRP422-1.ma ... FAIL Rating : 0.29 137 +Unsatisfiable/RNG020-6.ma ... FAIL Rating : 0.29 138 +Unsatisfiable/RNG025-4.ma ... FAIL Rating : 0.29 139 +Unsatisfiable/RNG025-6.ma ... FAIL Rating : 0.29 140 +Unsatisfiable/BOO073-1.ma ... FAIL Rating : 0.36 141 +Unsatisfiable/COL011-1.ma ... FAIL Rating : 0.36 142 +Unsatisfiable/COL057-1.ma ... FAIL Rating : 0.36 143 +Unsatisfiable/COL060-1.ma ... OK TIME NEEDED: 18.53 Rating : 0.36 144 +Unsatisfiable/COL061-1.ma ... FAIL Rating : 0.36 145 +Unsatisfiable/GRP179-3.ma ... FAIL Rating : 0.36 146 +Unsatisfiable/GRP183-4.ma ... FAIL Rating : 0.36 147 +Unsatisfiable/GRP186-2.ma ... FAIL Rating : 0.36 148 +Unsatisfiable/GRP201-1.ma ... FAIL Rating : 0.36 149 +Unsatisfiable/GRP420-1.ma ... FAIL Rating : 0.36 150 +Unsatisfiable/GRP423-1.ma ... FAIL Rating : 0.36 151 +Unsatisfiable/LAT080-1.ma ... FAIL Rating : 0.36 152 +Unsatisfiable/LAT083-1.ma ... FAIL Rating : 0.36 153 +Unsatisfiable/LAT092-1.ma ... FAIL Rating : 0.36 154 +Unsatisfiable/LAT094-1.ma ... FAIL Rating : 0.36 155 +Unsatisfiable/LAT096-1.ma ... FAIL Rating : 0.36 156 +Unsatisfiable/LAT097-1.ma ... FAIL Rating : 0.36 157 +Unsatisfiable/RNG025-5.ma ... FAIL Rating : 0.36 158 +Unsatisfiable/COL002-5.ma ... FAIL Rating : 0.43 159 +Unsatisfiable/COL034-1.ma ... OK TIME NEEDED: 7.20 Rating : 0.43 160 +Unsatisfiable/GRP167-4.ma ... FAIL Rating : 0.43 161 +Unsatisfiable/GRP180-2.ma ... FAIL Rating : 0.43 162 +Unsatisfiable/GRP183-1.ma ... FAIL Rating : 0.43 163 +Unsatisfiable/GRP183-2.ma ... FAIL Rating : 0.43 164 +Unsatisfiable/GRP183-3.ma ... FAIL Rating : 0.43 165 +Unsatisfiable/GRP202-1.ma ... FAIL Rating : 0.43 166 +Unsatisfiable/GRP205-1.ma ... FAIL Rating : 0.43 167 +Unsatisfiable/LAT038-1.ma ... FAIL Rating : 0.43 168 +Unsatisfiable/LAT087-1.ma ... FAIL Rating : 0.43 169 +Unsatisfiable/LAT093-1.ma ... FAIL Rating : 0.43 170 +Unsatisfiable/LAT095-1.ma ... FAIL Rating : 0.43 171 +Unsatisfiable/RNG025-7.ma ... FAIL Rating : 0.43 172 +Unsatisfiable/COL044-7.ma ... FAIL Rating : 0.50 173 +Unsatisfiable/COL062-1.ma ... FAIL Rating : 0.50 174 +Unsatisfiable/COL063-1.ma ... FAIL Rating : 0.50 175 +Unsatisfiable/GRP024-5.ma ... FAIL Rating : 0.50 176 +Unsatisfiable/GRP167-3.ma ... FAIL Rating : 0.50 177 +Unsatisfiable/GRP179-1.ma ... FAIL Rating : 0.50 178 +Unsatisfiable/GRP179-2.ma ... FAIL Rating : 0.50 179 +Unsatisfiable/GRP180-1.ma ... FAIL Rating : 0.50 180 +Unsatisfiable/GRP505-1.ma ... FAIL Rating : 0.50 181 +Unsatisfiable/LAT020-1.ma ... FAIL Rating : 0.50 182 +Unsatisfiable/LAT084-1.ma ... FAIL Rating : 0.50 183 +Unsatisfiable/LAT086-1.ma ... FAIL Rating : 0.50 184 +Unsatisfiable/LAT171-1.ma ... FAIL Rating : 0.50 185 +Unsatisfiable/RNG009-5.ma ... FAIL Rating : 0.50 186 +Unsatisfiable/RNG009-7.ma ... FAIL Rating : 0.50 187 +Unsatisfiable/RNG026-7.ma ... FAIL Rating : 0.50 188 +Unsatisfiable/COL004-1.ma ... FAIL Rating : 0.57 189 +Unsatisfiable/COL006-1.ma ... FAIL Rating : 0.57 190 +Unsatisfiable/COL036-1.ma ... OK TIME NEEDED: 63.05 Rating : 0.57 191 +Unsatisfiable/GRP186-1.ma ... FAIL Rating : 0.57 192 +Unsatisfiable/GRP507-1.ma ... FAIL Rating : 0.57 193 +Unsatisfiable/GRP508-1.ma ... FAIL Rating : 0.57 194 +Unsatisfiable/LAT081-1.ma ... FAIL Rating : 0.57 195 +Unsatisfiable/LAT085-1.ma ... FAIL Rating : 0.57 196 +Unsatisfiable/RNG026-6.ma ... FAIL Rating : 0.57 197 +Unsatisfiable/COL006-5.ma ... FAIL Rating : 0.64 198 +Unsatisfiable/COL006-6.ma ... FAIL Rating : 0.64 199 +Unsatisfiable/COL006-7.ma ... FAIL Rating : 0.64 200 +Unsatisfiable/COL038-1.ma ... FAIL Rating : 0.64 201 +Unsatisfiable/COL044-6.ma ... FAIL Rating : 0.64 202 +Unsatisfiable/COL044-9.ma ... FAIL Rating : 0.64 203 +Unsatisfiable/COL046-1.ma ... FAIL Rating : 0.64 204 +Unsatisfiable/COL064-1.ma ... FAIL Rating : 0.64 205 +Unsatisfiable/GRP187-1.ma ... FAIL Rating : 0.64 206 +Unsatisfiable/GRP506-1.ma ... FAIL Rating : 0.64 207 +Unsatisfiable/LAT082-1.ma ... FAIL Rating : 0.64 208 +Unsatisfiable/LAT142-1.ma ... FAIL Rating : 0.64 209 +Unsatisfiable/LAT156-1.ma ... FAIL Rating : 0.64 210 +Unsatisfiable/LAT160-1.ma ... FAIL Rating : 0.64 211 +Unsatisfiable/BOO076-1.ma ... FAIL Rating : 0.71 212 +Unsatisfiable/COL043-3.ma ... FAIL Rating : 0.71 213 +Unsatisfiable/COL044-8.ma ... FAIL Rating : 0.71 214 +Unsatisfiable/COL065-1.ma ... FAIL Rating : 0.71 215 +Unsatisfiable/GRP181-1.ma ... FAIL Rating : 0.71 216 +Unsatisfiable/GRP181-2.ma ... FAIL Rating : 0.71 217 +Unsatisfiable/LAT017-1.ma ... FAIL Rating : 0.71 218 +Unsatisfiable/LAT148-1.ma ... FAIL Rating : 0.71 219 +Unsatisfiable/COL003-1.ma ... FAIL Rating : 0.79 220 +Unsatisfiable/LAT146-1.ma ... FAIL Rating : 0.79 221 +Unsatisfiable/LAT147-1.ma ... FAIL Rating : 0.79 222 +Unsatisfiable/LAT152-1.ma ... FAIL Rating : 0.79 223 +Unsatisfiable/LAT154-1.ma ... FAIL Rating : 0.79 224 +Unsatisfiable/LAT170-1.ma ... FAIL Rating : 0.79 225 +Unsatisfiable/LAT174-1.ma ... FAIL Rating : 0.79 226 +Unsatisfiable/COL042-1.ma ... FAIL Rating : 0.86 227 +Unsatisfiable/COL043-1.ma ... FAIL Rating : 0.86 228 +Unsatisfiable/LAT144-1.ma ... FAIL Rating : 0.86 229 +Unsatisfiable/LAT150-1.ma ... FAIL Rating : 0.86 230 +Unsatisfiable/LAT151-1.ma ... FAIL Rating : 0.86 231 +Unsatisfiable/LAT155-1.ma ... FAIL Rating : 0.86 232 +Unsatisfiable/LAT157-1.ma ... FAIL Rating : 0.86 233 +Unsatisfiable/LAT159-1.ma ... FAIL Rating : 0.86 234 +Unsatisfiable/LAT162-1.ma ... FAIL Rating : 0.86 235 +Unsatisfiable/LAT169-1.ma ... FAIL Rating : 0.86 236 +Unsatisfiable/RNG027-5.ma ... FAIL Rating : 0.86 237 +Unsatisfiable/RNG027-7.ma ... FAIL Rating : 0.86 238 +Unsatisfiable/RNG027-8.ma ... FAIL Rating : 0.86 239 +Unsatisfiable/RNG027-9.ma ... FAIL Rating : 0.86 240 +Unsatisfiable/RNG028-5.ma ... FAIL Rating : 0.86 241 +Unsatisfiable/RNG028-7.ma ... FAIL Rating : 0.86 242 +Unsatisfiable/RNG028-8.ma ... FAIL Rating : 0.86 243 +Unsatisfiable/RNG028-9.ma ... FAIL Rating : 0.86 244 +Unsatisfiable/RNG029-5.ma ... FAIL Rating : 0.86 245 +Unsatisfiable/RNG029-6.ma ... FAIL Rating : 0.86 246 +Unsatisfiable/RNG029-7.ma ... FAIL Rating : 0.86 247 +Unsatisfiable/RNG035-7.ma ... FAIL Rating : 0.86 248 +Unsatisfiable/ROB006-1.ma ... FAIL Rating : 0.86 249 +Unsatisfiable/ROB006-2.ma ... FAIL Rating : 0.86 250 +Unsatisfiable/ROB026-1.ma ... FAIL Rating : 0.86 251 +Unsatisfiable/COL066-1.ma ... FAIL Rating : 0.93 252 +Unsatisfiable/GRP164-1.ma ... FAIL Rating : 0.93 253 +Unsatisfiable/GRP164-2.ma ... FAIL Rating : 0.93 254 +Unsatisfiable/GRP196-1.ma ... FAIL Rating : 0.93 255 +Unsatisfiable/LAT018-1.ma ... FAIL Rating : 0.93 256 +Unsatisfiable/LAT070-1.ma ... FAIL Rating : 0.93 257 +Unsatisfiable/LAT145-1.ma ... FAIL Rating : 0.93 258 +Unsatisfiable/LAT149-1.ma ... FAIL Rating : 0.93 259 +Unsatisfiable/LAT153-1.ma ... FAIL Rating : 0.93 260 +Unsatisfiable/LAT158-1.ma ... FAIL Rating : 0.93 261 +Unsatisfiable/LAT163-1.ma ... FAIL Rating : 0.93 262 +Unsatisfiable/LAT164-1.ma ... FAIL Rating : 0.93 263 +Unsatisfiable/LAT165-1.ma ... FAIL Rating : 0.93 264 +Unsatisfiable/LAT166-1.ma ... FAIL Rating : 0.93 265 +Unsatisfiable/LAT167-1.ma ... FAIL Rating : 0.93 266 +Unsatisfiable/LAT172-1.ma ... FAIL Rating : 0.93 267 +Unsatisfiable/LAT173-1.ma ... FAIL Rating : 0.93 268 +Unsatisfiable/LAT175-1.ma ... FAIL Rating : 0.93 269 +Unsatisfiable/LAT176-1.ma ... FAIL Rating : 0.93 270 +Unsatisfiable/LAT072-1.ma ... FAIL Rating : 1.00 271 +Unsatisfiable/LAT074-1.ma ... FAIL Rating : 1.00 272 +Unsatisfiable/LAT075-1.ma ... FAIL Rating : 1.00 273 +Unsatisfiable/LAT076-1.ma ... FAIL Rating : 1.00 274 +Unsatisfiable/LAT077-1.ma ... FAIL Rating : 1.00 275 +Unsatisfiable/LAT078-1.ma ... FAIL Rating : 1.00 276 +Unsatisfiable/LAT079-1.ma ... FAIL Rating : 1.00 277 +Unsatisfiable/LAT138-1.ma ... FAIL Rating : 1.00 278 +Unsatisfiable/LAT139-1.ma ... FAIL Rating : 1.00 279 +Unsatisfiable/LAT140-1.ma ... FAIL Rating : 1.00 280 +Unsatisfiable/LAT141-1.ma ... FAIL Rating : 1.00 281 +Unsatisfiable/LAT161-1.ma ... FAIL Rating : 1.00 282 +Unsatisfiable/LAT177-1.ma ... FAIL Rating : 1.00 283 +Unsatisfiable/ROB001-1.ma ... FAIL Rating : 1.00 284 +Unsatisfiable/ROB031-1.ma ... FAIL Rating : 1.00 285 +Unsatisfiable/ROB032-1.ma ... FAIL Rating : 1.00 286