Results - Dynamic Track

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.

Overall

  1. mu-toksia
  2. coquiaas
  3. pyglaf

Rankings by semantics

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.

CO-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

PR-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

ST-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

GR-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf

Rankings by problem

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.

SE

  1. mu-toksia
  2. coquiaas
  3. pyglaf

EE

  1. mu-toksia
  2. coquiaas
  3. pyglaf

DC

  1. coquiaas
  2. mu-toksia
  3. pyglaf

DS

  1. mu-toksia
  2. coquiaas
  3. pyglaf

Rankings by single task

Results for CO-D Track: overview.

SE-CO-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf

EE-CO-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

DC-CO-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf

DS-CO-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf

Results for PR-D Track: overview.

SE-PR-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

EE-PR-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

DC-PR-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf

DS-PR-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

Results for ST-D Track: overview.

SE-ST-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

EE-ST-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf

DC-ST-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf

DS-ST-D

  1. mu-toksia
  2. coquiaas
  3. pyglaf

Results for GR-D Track: overview.

SE-GR-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf

DC-GR-D

  1. coquiaas
  2. mu-toksia
  3. pyglaf