Welcome to SAT-comp and SMT-Comp 2024!
This repository will help you get your parallel or distributed solver running on AWS. You will first build docker containers with your solver and then connect them to the AWS infrastructure.
We recommend that you work in four steps:
- Create and configure an AWS Account for the competition (instructions below). Please do this right away and send us an email, so we can start the process to give you AWS credits. You can then continue with step 2 while waiting for us to answer.
- Build your solver as a Docker image and run experiments locally. See the Solver Development README.
- Set up AWS infrastructure and test your solver on the cloud. See the Infrastructure README
- When ready, email us with a link to your solver repository.
First, create a specific AWS account for competition use. You can use the same account used in previous years. If you have not created an AWS account previously, it is straightforward to do, requiring a cell phone number, credit card, and address. Make sure to register your account with an institutional email address (and not a private one), otherwise AWS cannot sponsor your account. To create an account, navigate to aws.amazon.com and follow the instructions.
If you have previously created an AWS account for other purposes, we strongly advise that you create a separate AWS account for managing your SAT/SMTComp tool construction and testing. This makes it much easier for us to manage account credits and billing. Once the new account is created, email us the account number at: sat-comp@amazon.com (for SAT-Comp) or aws-smtcomp-2024@googlegroups.com (for SMT-Comp) and we will apply the appropriate credits to your account.
To find your account ID, click on your account name in the top right corner, and then click "My Account". You should see Account ID in the Account Settings
It is important that you tell us your account number immediately after creating the account, so that we can request AWS credit for your experiments. Once we hear from you, we will acknowledge your email and submit an internal request for your account. We will email again when the credit has been added to your account.
Next, it is time to develop your solver! All of the development and most of the testing can be performed on a local laptop, so it is not necessary to wait for AWS credits to get started. Please see the instructions in the Solver Development README on how to start building and testing your solver.
You should find the developer experience similar to 2023. We will note any changes here.
You can find SAT problems from recent competitions here:
You can find SMT problems from recent competitions here:
Here are the github repositories for some previous solver entrants. You may find these helpful.
- DPS
- Gimsatul
- Mallob-1
- Mallob-2
- Mallob-lin
- MergeSAT
- MergeSAT-Pcasso
- NPS
- Pahkis23
- PakisInc23
- pDisKS-step (dead link)
- pKisDS (dead link)
- PKISSAT-RS-2G
- PKISSAT-RS-STR
- PRS-sc23
- PRS-nopre-sc23
Q. I already created my AWS account with a non-institutional email address. Can I change the email address tied to my account?
Yes. To change your email address, follow the instructions at https://repost.aws/knowledge-center/change-email-address.