ICCMA
International Competition on Computational Models of Argumentation
Home Competition 2015 Competition 2017 Competition 2019 Competition 2021 Competition 2023 Competition 2025 Important Dates Calls Tracks Rules Execution environment Submissions Rankings Benchmarks Solvers Organization Contact

Results and Data

The instances of ICCMA'25 are available here.

Argumentation Frameworks

  • The slides of the results can be downloaded here
  • Raw results are available here
  • Instances are available here
The results.txt from the raw results is replicated below.

Main Track

DC-CO
  1. mutoksia (88.22279)
  2. fudge (89.44603)
  3. scallop (93.55768)
  4. reducto (109.41719)
  5. affca (195.75326)
  6. smart (510.70802)
DC-ST
  1. fudge (72.93384)
  2. mutoksia (75.42434)
  3. scallop (83.30070)
  4. reducto (108.32354)
DC-SST
  1. mutoksia (136.6354)
  2. fudge (138.6929)
  3. scallop (196.5304)
DS-PR
  1. mutoksia (127.1715)
  2. reducto (127.9055)
  3. fudge (137.8313)
  4. scallop (178.5025)
DS-ST
  1. fudge (103.1939)
  2. mutoksia (106.2097)
  3. scallop (107.4829)
  4. redcto (139.1873)
DS-SST
  1. scallop (172.9995)
  2. mutoksia (190.4484)
  3. fudge (198.7965)
SE-PR
  1. fudge (97.6889)
  2. mutoksia (108.7563)
  3. scallop (116.2437)
  4. reducto (153.1086)
  5. assat-amsat (180.0773)
  6. assat-llm (191.7278)
  7. assat-inpriority (222.0546)
  8. assat-cadical (222.9127)
SE-ST
  1. scallop (99.00929)
  2. fudge (103.08086)
  3. mutoksia (110.85526)
  4. assat-amsat* (121.58167)
  5. reducto (145.57295)
  6. assat-llm (397.26471)
  7. assat-inpriority (465.21548)
  8. assat-cadical (465.21548)
* includes some erroneous outputs SE-SST
  1. mutoksia (169.2592)
  2. scallop (172.0363)
  3. assat-amsat* (201.1357)
  4. fudge (203.1837)
  5. assat-llm (495.2977)
  6. assat-cadical (501.5112)
  7. assat-inpriority (532.8696)
* includes some erroneous outputs SE-ID
  1. fudge (200.1302)
  2. mutoksia (200.2320)
  3. scallop (416.1002)

Heuristics

DC-CO
  1. scallop (304)
  2. fargotimelimited (301)
  3. fargolimited (282)
  4. fastligs (246)
  5. fastafgcn (226)
  6. harper (225)
  7. aripoter (222)
  8. heuback (190)
DC-ST
  1. scallop (310)
  2. fargotimelimited (268)
  1. fastligs (268)
  2. fargolimited (251)
  3. fastafgcn (241)
  4. aripoter (226)
  5. harper (178)
  6. heuback (152)
DC-SST
  1. scallop (303)
  2. fargotimelimited (296)
  3. fargolimited (276)
  4. fastligs (245)
  5. aripoter (232)
  6. fastafgcn (220)
  7. harper (214)
  8. heuback (184)
DC-ID
  1. fargotimelimited (301)
  2. harper (299)
  1. heuback (299)
  2. fastafgcn (295)
  3. aripoter (293)
  4. fargolimited (284)
  5. fastligs (277)
  6. scallop (252)
DS-PR
  1. fargotimelimited (306)
  2. aripoter (304)
  1. harper (304)
  2. heuback (303)
  3. fastafgcn (298)
  4. scallop (291)
  5. fargolimited (289)
  6. fastligs (284)
DS-ST
  1. scallop (307)
  2. fastligs (252)
  3. fargotimelimited (224)
  4. heuback (219)
  5. fargolimited (191)
  6. harper (189)
  7. fastafgcn (168)
  8. aripoter (167)
DS-SST
  1. fargotimelimited (296)
  2. harper (295)
  1. heuback (295)
  2. aripoter (289)
  1. fastafgcn (289)
  2. fargolimited (285)
  3. fastligs (281)
  4. scallop (281)

Dynamics

DC-CO DC-ST DS-PR * DS-ST
mutoksia 450.0123 427.5895 580.9538 510.9314
scallop 354.7872 263.1717 2348.9362 238.6814
* includes a diverging result.

ABA

DC-CO DC-ST DS-PR DS-ST SE-PR SE-ST
100ba-acyc 465.8241 415.7108 701.7749629 441.2361 465.8177 395.9575
100ba-ufs 364.7527 324.9272 499.2441503 358.3513 324.2567 247.5586
100ba-ve 479.1673 441.6975 558.0177546 417.2195 431.2813 371.4530
acbar 819.2310 683.9565 936.8117998 750.5788 805.8363 654.7186
aspforaba 293.9361 248.3296 343.5808836 225.1797 190.3292 162.0906
msdis 1242.0169 2370.3427 0.0000000 0.0000 0.0000 0.0000
scallop 652.2234 600.4252 670.3195038 551.9113 578.5660 532.8720



Terms