Unsatisfiable/BOO023-1.ma 
Unsatisfiable/BOO073-1.ma
Unsatisfiable/COL002-5.ma
Unsatisfiable/COL004-1.ma
Unsatisfiable/COL006-1.ma
Unsatisfiable/COL006-6.ma
Unsatisfiable/COL006-7.ma
Unsatisfiable/COL034-1.ma
Unsatisfiable/COL036-1.ma
Unsatisfiable/COL041-1.ma
Unsatisfiable/COL042-1.ma
Unsatisfiable/COL043-3.ma
Unsatisfiable/COL044-1.ma
Unsatisfiable/COL044-9.ma
Unsatisfiable/COL046-1.ma
Unsatisfiable/COL049-1.ma
Unsatisfiable/COL060-1.ma
Unsatisfiable/COL061-1.ma
Unsatisfiable/COL064-1.ma
Unsatisfiable/COL066-1.ma
Unsatisfiable/GRP114-1.ma
Unsatisfiable/GRP167-4.ma
Unsatisfiable/GRP177-2.ma
Unsatisfiable/GRP179-1.ma
Unsatisfiable/GRP179-2.ma
Unsatisfiable/GRP179-3.ma
Unsatisfiable/GRP180-1.ma
Unsatisfiable/GRP181-1.ma
Unsatisfiable/GRP181-3.ma
Unsatisfiable/GRP183-1.ma
Unsatisfiable/GRP183-3.ma
Unsatisfiable/GRP183-4.ma
Unsatisfiable/GRP184-1.ma
Unsatisfiable/GRP184-3.ma
Unsatisfiable/GRP186-1.ma
Unsatisfiable/GRP186-2.ma
Unsatisfiable/GRP196-1.ma
Unsatisfiable/GRP200-1.ma
Unsatisfiable/GRP201-1.ma
Unsatisfiable/GRP205-1.ma
Unsatisfiable/GRP405-1.ma
Unsatisfiable/GRP410-1.ma
Unsatisfiable/GRP419-10.ma
Unsatisfiable/GRP422-1.ma 
Unsatisfiable/GRP423-1.ma
Unsatisfiable/GRP444-1.ma
Unsatisfiable/GRP475-1.ma
Unsatisfiable/GRP476-1.ma
Unsatisfiable/GRP505-1.ma
Unsatisfiable/GRP506-1.ma
Unsatisfiable/GRP508-1.ma
Unsatisfiable/LAT080-1.ma
Unsatisfiable/LAT081-1.ma
Unsatisfiable/LAT083-1.ma
Unsatisfiable/LAT084-1.ma
Unsatisfiable/LAT086-1.ma
Unsatisfiable/LAT087-1.ma
Unsatisfiable/LAT092-1.ma
Unsatisfiable/LAT093-1.ma
Unsatisfiable/LAT094-1.ma
Unsatisfiable/LAT096-1.ma
Unsatisfiable/LAT145-1.ma
Unsatisfiable/LAT147-1.ma
Unsatisfiable/LAT148-1.ma
Unsatisfiable/LAT151-1.ma
Unsatisfiable/LAT152-1.ma
Unsatisfiable/LAT154-10.ma
Unsatisfiable/LAT156-1.ma 
Unsatisfiable/LAT160-1.ma
Unsatisfiable/LAT162-1.ma
Unsatisfiable/LAT164-1.ma
Unsatisfiable/LAT165-1.ma
Unsatisfiable/LAT169-1.ma
Unsatisfiable/LCL138-1.ma
Unsatisfiable/RNG009-5.ma
Unsatisfiable/RNG009-7.ma
Unsatisfiable/RNG019-6.ma
Unsatisfiable/RNG020-6.ma
Unsatisfiable/RNG021-7.ma
Unsatisfiable/RNG025-4.ma
Unsatisfiable/RNG025-5.ma
Unsatisfiable/RNG025-6.ma
Unsatisfiable/RNG026-6.ma
Unsatisfiable/RNG026-7.ma
Unsatisfiable/RNG027-5.ma
Unsatisfiable/RNG027-7.ma
Unsatisfiable/RNG027-8.ma
Unsatisfiable/RNG027-9.ma
Unsatisfiable/RNG028-7.ma
Unsatisfiable/RNG028-8.ma
Unsatisfiable/RNG029-6.ma
Unsatisfiable/RNG029-7.ma
Unsatisfiable/RNG035-7.ma
Unsatisfiable/ROB006-1.ma
Unsatisfiable/GRP187-1.ma
Unsatisfiable/LAT020-1.ma
Unsatisfiable/GRP164-1.ma
Unsatisfiable/BOO067-1.ma
Unsatisfiable/LAT171-1.ma
Unsatisfiable/LAT150-1.ma
Unsatisfiable/BOO076-1.ma
Unsatisfiable/LAT146-1.ma
Unsatisfiable/LAT172-1.ma
Unsatisfiable/LAT175-1.ma
Unsatisfiable/LAT144-1.ma
Unsatisfiable/LAT157-1.ma
Unsatisfiable/LAT155-1.ma
Unsatisfiable/LAT158-1.ma
Unsatisfiable/LAT166-1.ma
Unsatisfiable/LAT153-1.ma
Unsatisfiable/LAT174-1.ma
Unsatisfiable/LAT142-1.ma
Unsatisfiable/LAT173-1.ma
Unsatisfiable/LAT167-1.ma
Unsatisfiable/LAT163-1.ma
Unsatisfiable/LAT176-1.ma
Unsatisfiable/LAT159-1.ma
Unsatisfiable/LAT149-1.ma
Unsatisfiable/LAT170-1.ma