MaxSAT Evaluation 2021

Affiliated with SAT 2021 · July 5-9 · Barcelona, Spain

Execution Environment

The evaluation tracks will be run on the StarExec cluster. The maching specifications for the StarExec cluster compute nodes are available here.

Important Dates

Submissions: June 15

Results: at SAT'21

Calls

Call for Benchmarks
Call for Solvers

Participation

Tracks
Rules
Execution Environment
Submissions

Results

Rankings and Data
Benchmarks
Solvers

Further Information

Organizers
History