max1sat
max1sat-2
max1sat-3
max1sat-4
max1sat-5
max1sat-6
max1sat-7
max1sat-8
max2-2
max2
max2-3
max2-4
max2-5
max2-6
max2-7
max2-8
max2-9
max2-10
max2-11
max2-12
max2-13
max2-14
max2-15
max2-16