Unsatisfiable/COL023-1.ma ... FAIL Rating : 0.00 1
Unsatisfiable/COL027-1.ma ... FAIL Rating : 0.00 2
Unsatisfiable/COL031-1.ma ... OK TIME NEEDED: 0.04 Rating : 0.00 3
Unsatisfiable/COL052-1.ma ... FAIL Rating : 0.00 4
Unsatisfiable/COL059-1.ma ... FAIL Rating : 0.00 5
Unsatisfiable/GRP166-4.ma ... FAIL Rating : 0.00 6
Unsatisfiable/GRP170-1.ma ... FAIL Rating : 0.00 7
Unsatisfiable/GRP170-2.ma ... FAIL Rating : 0.00 8
Unsatisfiable/GRP170-3.ma ... FAIL Rating : 0.00 9
Unsatisfiable/GRP170-4.ma ... FAIL Rating : 0.00 10
Unsatisfiable/GRP193-1.ma ... FAIL Rating : 0.00 11
Unsatisfiable/GRP193-2.ma ... FAIL Rating : 0.00 12
Unsatisfiable/GRP195-1.ma ... FAIL Rating : 0.00 13
Unsatisfiable/GRP406-1.ma ... FAIL Rating : 0.00 14
Unsatisfiable/GRP407-1.ma ... FAIL Rating : 0.00 15
Unsatisfiable/GRP408-1.ma ... FAIL Rating : 0.00 16
Unsatisfiable/GRP415-1.ma ... FAIL Rating : 0.00 17
Unsatisfiable/GRP427-1.ma ...