Results for PR-Track

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
DC	argmat-dvisat	102	0	248	248	0	3591.10
DC	argmat-mpg	122	0	228	228	0	5852.03
DC	argmat-sat	47	0	303	303	0	3921.02
DC	ArgSemSAT	46	0	304	304	3	4697.26
DC	ArgTools	68	0	282	282	0	11627.87
DC	cegartix	51	0	299	299	0	7349.59
DC	conarg	117	0	233	233	0	9855.37
DC	CoQuiAAS	64	0	286	286	0	2574.27
DC	EqArgSolver	202	0	148	148	0	1403.64
DC	gg-sts	90	161	99	-706	0	2832.85
DC	goDIAMOND	62	0	288	288	0	5882.46
DC	heureka	208	0	142	142	0	5058.28
DC	pyglaf	53	0	297	297	0	4526.47

Task	Solver	#TO	#-	#+	Score	#U	RT
DS	argmat-dvisat	87	0	263	263	0	8579.83
DS	argmat-mpg	177	0	173	173	0	7947.32
DS	argmat-sat	70	0	280	280	0	5537.81
DS	ArgSemSAT	47	0	303	303	3	7376.00
DS	ArgTools	162	0	188	188	0	16478.36
DS	cegartix	90	0	260	260	0	20185.07
DS	conarg	177	0	173	173	0	7865.16
DS	CoQuiAAS	267	31	52	-103	0	4624.06
DS	EqArgSolver	171	0	179	179	0	1645.59
DS	gg-sts	89	10	251	201	0	10861.13
DS	goDIAMOND	81	0	269	269	0	13086.29
DS	heureka	135	0	215	215	0	3669.74
DS	pyglaf	85	1	264	259	0	14751.76

Task	Solver	#TO	#-	#+	Score	#U	RT
EE	argmat-dvisat	85	0	265	265	2	8469.58
EE	argmat-mpg	209	0	141	141	0	10419.95
EE	argmat-sat	90	0	260	260	0	7717.52
EE	ArgSemSAT	122	0	228	228	0	14678.70
EE	ArgTools	195	0	155	155	0	10051.75
EE	ASPrMin	65	0	285	285	2	9891.09
EE	cegartix	110	0	240	240	0	16878.09
EE	ChimaerArg	120	23	207	92	0	11892.90
EE	conarg	166	0	184	184	1	24552.40
EE	CoQuiAAS	226	92	32	-428	0	512.69
EE	EqArgSolver	173	0	177	177	0	1788.27
EE	gg-sts	108	112	130	-430	2	12402.93
EE	goDIAMOND	111	11	228	173	0	16723.17
EE	heureka	171	0	179	179	0	5910.07
EE	pyglaf	78	0	272	272	4	13548.99

Task	Solver	#TO	#-	#+	Score	#U	RT
SE	argmat-dvisat	51	0	299	299	0	7956.65
SE	argmat-mpg	147	0	203	203	0	6525.46
SE	argmat-sat	54	0	296	296	0	7934.22
SE	ArgSemSAT	39	0	311	311	2	9855.41
SE	ArgTools	77	0	273	273	0	14989.56
SE	cegartix	74	0	276	276	0	13850.56
SE	conarg	167	0	183	183	0	5924.91
SE	CoQuiAAS	98	145	107	-618	0	45.33
SE	EqArgSolver	202	0	148	148	0	2093.47
SE	gg-sts	78	74	198	-172	5	6902.24
SE	goDIAMOND	66	0	284	284	0	16025.38
SE	heureka	141	0	209	209	0	5053.78
SE	pyglaf	57	0	293	293	0	10567.35