maxsat1-2
maxsat1-3
maxsat1-4
maxsat1
maxsat1-5
maxsat1-6
maxsat1-7
maxsat1-8
max2sat-2
max2sat
max2sat-3
max2sat-4
max2sat-5
max2sat-6
max2sat-7
max2sat-8