Results - Main 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
- mu-toksia
- coquiaas
- aspartix19
- pyglaf
Rankings by semantics
Aggregated results by semantics: overview. For each semantics (CO, PR, ST, SST, STG, GR and ID), only the solvers who support all the tracks for that semantics are considered in the ranking.
CO
- mu-toksia
- aspartix19
- pyglaf
- coquiaas
- eqargsolver
- yonas
- taas-dredd
PR
- mu-toksia
- coquiaas
- aspartix19
- eqargsolver
- pyglaf
- yonas
- taas-dredd
ST
- mu-toksia
- aspartix19
- pyglaf
- coquiaas
- eqargsolver
- yonas
- taas-dredd
SST
- mu-toksia
- pyglaf
- coquiaas
- aspartix19
STG
- mu-toksia
- pyglaf
- coquiaas
- aspartix19
GR
- mu-toksia
- eqargsolver
- coquiaas
- aspartix19
- yonas
- taas-dredd
- pyglaf
ID
- mu-toksia
- argpref
- coquiaas
- pyglaf
- aspartix19
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
- mu-toksia
- pyglaf
- aspartix19
- coquiaas
EE
- mu-toksia
- pyglaf
- coquiaas
- aspartix19
DC
- mu-toksia
- coquiaas
- aspartix19
- pyglaf
DS
- mu-toksia
- coquiaas
- pyglaf
- aspartix19
Rankings by single task
Results for CO Track: overview.
SE-CO
- mu-toksia
- coquiaas
- aspartix19
- pyglaf
- yonas
- mace4-prover9
- eqargsolver
- taas-dredd
EE-CO
- mu-toksia
- aspartix19
- pyglaf
- coquiaas
- eqargsolver
- yonas
- taas-dredd
DC-CO
- mu-toksia
- coquiaas
- aspartix19
- pyglaf
- mace4-prover9
- eqargsolver
- yonas
- taas-dredd
DS-CO
- mu-toksia
- coquiaas
- aspartix19
- pyglaf
- yonas
- mace4-prover9
- taas-dredd
- eqargsolver
Results for PR Track: overview.
SE-PR
- mu-toksia
- aspartix19
- pyglaf
- coquiaas
- eqargsolver
- yonas
- taas-dredd
EE-PR
- mu-toksia
- aspartix19
- pyglaf
- coquiaas
- eqargsolver
- yonas
- taas-dredd
DC-PR
- mu-toksia
- coquiaas
- aspartix19
- eqargsolver
- yonas
- pyglaf
- taas-dredd
DS-PR
- mu-toksia
- coquiaas
- aspartix19
- eqargsolver
- yonas
- pyglaf
- taas-dredd
Results for ST Track: overview.
SE-ST
- mu-toksia
- aspartix19
- pyglaf
- coquiaas
- eqargsolver
- yonas
- taas-dredd
EE-ST
- mu-toksia
- aspartix19
- coquiaas
- pyglaf
- eqargsolver
- yonas
- taas-dredd
DC-ST
- mu-toksia
- coquiaas
- aspartix19
- pyglaf
- eqargsolver
- yonas
- taas-dredd
DS-ST
- mu-toksia
- coquiaas
- aspartix19
- pyglaf
- eqargsolver
- yonas
- taas-dredd
Results for SST Track: overview.
SE-SST
- mu-toksia
- aspartix19
- pyglaf
- coquiaas
EE-SST
- mu-toksia
- pyglaf
- coquiaas
- aspartix19
DC-SST
- mu-toksia
- pyglaf
- coquiaas
- aspartix19
DS-SST
- mu-toksia
- pyglaf
- coquiaas
- aspartix19
Results for STG Track: overview.
SE-STG
- mu-toksia
- aspartix19
- pyglaf
- coquiaas
EE-STG
- mu-toksia
- pyglaf
- coquiaas
- aspartix19
DC-STG
- mu-toksia
- pyglaf
- coquiaas
- aspartix19
DS-STG
- mu-toksia
- aspartix19
- coquiaas
- pyglaf
Results for GR Track: overview. Results for ID Track: overview.
SE-GR
- mu-toksia
- eqargsolver
- coquiaas
- aspartix19
- pyglaf
- yonas
- taas-dredd
DC-GR
- mu-toksia
- eqargsolver
- coquiaas
- aspartix19
- yonas
- taas-dredd
- pyglaf
SE-ID
- mu-toksia
- argpref
- coquiaas
- pyglaf
- aspartix19
DC-ID
- mu-toksia
- coquiaas
- argpref
- pyglaf
- aspartix19