X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2Flog.300.29-6.fix-demodulationgoalwithcurr;fp=matita%2Ftests%2FTPTP%2Flog.300.29-6.fix-demodulationgoalwithcurr;h=89db45641ac1109bb74fed3e15c479ab1ecd86a9;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

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