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.
- aes
- aes-key-recovery
- atcoss
- bcp
- biorepair
- causal-discovery
- CircuitDebuggingProblems
- CircuitTraceCompaction
- close_solutions
- ConsistentQueryAnswering
- des
- drmx-atmostk
- drmx-cryptogen
- extension-enforcement
- fault-diagnosis
- frb
- gen-hyper-tw
- HaplotypeAssembly
- hs-timetabling
- jobshop
- kbtree
- logic-synthesis
- maxclique
- maxcsp
- maxcut
- MaximumCommonSub-GraphExtraction
- maxone
- max-realizability
- MaxSATQueriesinInterpretableClassifiers
- mbd
- min-fill
- mqc
- optic
- packup
- ParametricRBACMaintenance
- protein_ins
- pseudoBoolean
- railway-transport
- ramsey
- reversi
- rna-alignment
- routing
- scheduling
- SeanSafarpour
- set-covering
- tpr
- treewidth-computation
- uaq
- vpa
- wqueens
- xai-mindset2
Downloads
To download all unweighted instances you can use the following commands:
- Change to a directory where you want to store the instances. The instances will be unzipped into a subdirectory called maxsat-instances
- Run the following wget command
- wget -r -nd -np -erobots=off http://www.cs.toronto.edu/maxsat-lib/maxsat-instances/downloads/unweighted/ -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.
- aes
- aes-key-recovery
- atcoss
- bcp
- biorepair
- causal-discovery
- CircuitDebuggingProblems
- CircuitTraceCompaction
- close_solutions
- ConsistentQueryAnswering
- des
- drmx-atmostk
- drmx-cryptogen
- extension-enforcement
- fault-diagnosis
- frb
- gen-hyper-tw
- HaplotypeAssembly
- hs-timetabling
- jobshop
- kbtree
- logic-synthesis
- maxclique
- maxcsp
- maxcut
- MaximumCommonSub-GraphExtraction
- maxone
- max-realizability
- MaxSATQueriesinInterpretableClassifiers
- mbd
- min-fill
- mqc
- optic
- packup
- ParametricRBACMaintenance
- protein_ins
- pseudoBoolean
- railway-transport
- ramsey
- reversi
- rna-alignment
- routing
- scheduling
- SeanSafarpour
- set-covering
- tpr
- treewidth-computation
- uaq
- vpa
- wqueens
- xai-mindset2