Each table is organized as follows: The first column is the task, the second a solver name, then the columns from the third to the eighth contain number of timeouts, number of correct answers, number of incorrect answers, score, number of uniquely solved instances, and cumulative CPU time of correctly solved instances, respectively. Each row refers to a solver participating in the task, solvers are ordered lexicographically.

Task | Solver | #TO | #- | #+ | Score | #U | RT |
---|---|---|---|---|---|---|---|

D3 | argmat-dvisat | 74 | 0 | 276 | 276 | 5 | 20222.07 |

D3 | argmat-mpg | 186 | 0 | 164 | 164 | 0 | 35916.74 |

D3 | argmat-sat | 79 | 0 | 271 | 271 | 3 | 22441.56 |

D3 | cegartix | 91 | 0 | 259 | 259 | 1 | 35715.67 |

D3 | conarg | 158 | 0 | 192 | 192 | 2 | 52007.99 |

D3 | CoQuiAAS | 212 | 106 | 32 | -498 | 0 | 441.22 |

D3 | EqArgSolver | 158 | 0 | 192 | 192 | 0 | 6577.89 |

D3 | gg-sts | 112 | 94 | 144 | -326 | 0 | 25767.12 |

D3 | goDIAMOND | 171 | 0 | 179 | 179 | 0 | 28857.58 |

D3 | pyglaf | 75 | 0 | 275 | 275 | 1 | 25212.29 |