back to results
This page presents the results for the solvers submitted to ICCMA 2019. For each track we provide an overview of of the results for all the tasks, together with a detailed report of the solved problems.
Overall results for all tracks: overview. Only the solvers that support all the tasks have been considered for this ranking.
Aggregated results by semantics: overview. For each semantics (CO-D, PR-D, ST-D and GR-D), only the solvers who support all the tracks for that semantics are considered in the ranking.
Aggregated results by problem: overview. For each problem (SE, EE, DC, DS), only the solvers who support all the tracks for that problem are considered in the ranking.
Results for CO-D Track: overview.
Results for PR-D Track: overview.
Results for ST-D Track: overview.
Results for GR-D Track: overview.