Master Set of Unweighted MaxSat Instances

Families

The unweighted instances are divided into the following families. Click on the links for more information about the instances in each family.

1. abstraction-refinement
2. af-synthesis
3. auctions
4. BTBNSL
5. causal-discovery
6. correlation-clustering
7. CSG
8. css-refactoring
9. dalculus
10. drmx-atmostk
11. drmx-cryptogen
12. frb
13. generalized-ising
14. haplotyping-pedigrees
15. hs-timetabling
16. lisbon-wedding
17. maxcut
18. max-realizability
19. MaxSATQueriesinInterpretableClassifiers
20. metro
21. MinimumWeightDominatingSetProblem
22. min-width
23. mpe
24. ParametricRBACMaintenance
25. planning
26. preference_planning
27. pseudoBoolean
28. qcp
29. railway-transport
30. ramsey
31. relational-inference
32. rna-alignment
33. Security-CriticalCyber-PhysicalComponents
34. set-covering
35. shiftdesign
36. spot5
37. staff-scheduling
38. tcp
39. timetabling
40. upgradeability
41. warehouses

Downloads

To download all weighted instances you can use the following commands:

1. Change to a directory where you want to store the instances. The instances will be unzipped into a subdirectory called maxsat-instances
2. Run the following wget command
• wget -r -nd -np -erobots=off http://www.cs.toronto.edu/maxsat-lib/maxsat-instances/downloads/weighted/ -A zip
• Unzip all of the downloaded zip files. They will unzip into the maxsat-instances directory

The following links will allow you to download the instances from individual families. Follow the same approach as described above and a directory containing the family instances will be unzipped into a subdirectory called maxsat-instances.

1. abstraction-refinement
2. af-synthesis
3. auctions
4. BTBNSL
5. causal-discovery
6. correlation-clustering
7. CSG
8. css-refactoring
9. dalculus
10. drmx-atmostk
11. drmx-cryptogen
12. frb
13. generalized-ising
14. haplotyping-pedigrees
15. hs-timetabling
16. lisbon-wedding
17. maxcut
18. max-realizability
19. MaxSATQueriesinInterpretableClassifiers
20. metro
21. MinimumWeightDominatingSetProblem
22. min-width
23. mpe
24. ParametricRBACMaintenance
25. planning
26. preference_planning
27. pseudoBoolean
28. qcp
29. railway-transport
30. ramsey
31. relational-inference
32. rna-alignment
33. Security-CriticalCyber-PhysicalComponents
34. set-covering
35. shiftdesign
36. spot5
37. staff-scheduling
38. tcp
39. timetabling
40. upgradeability
41. warehouses