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