MaxSAT Evaluation 2019

Affiliated with SAT 2019 · July 7-12 · Lisbon, Portugal

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: ~~May 31~~
June 11

Results: at SAT'19

Calls

Call for Benchmarks
Call for Solvers

Participation

Tracks
Rules
Execution Environment
Submissions

Results

Rankings and Data
Benchmarks
Solvers

Further Information

Organizers
History