matita/tests/TPTP/log.300.29-6.fix-demodulationgoalwithcurr

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