Results for SST-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-mpg	165	0	185	185	0	2564.35
DC	argmat-sat	64	0	286	286	0	7246.49
DC	ArgSemSAT	63	0	287	287	1	8925.05
DC	ArgTools	185	3	162	147	0	17601.22
DC	cegartix	50	0	300	300	7	14631.76
DC	conarg	206	0	144	144	0	5035.64
DC	CoQuiAAS	257	9	84	39	0	4693.00
DC	gg-sts	76	169	105	-740	0	2134.87
DC	goDIAMOND	80	0	270	270	0	8163.27
DC	pyglaf	106	0	244	244	0	13652.55

Task	Solver	#TO	#-	#+	Score	#U	RT
DS	argmat-mpg	167	0	183	183	0	1908.36
DS	argmat-sat	61	0	289	289	2	7513.92
DS	ArgSemSAT	66	0	284	284	0	7671.20
DS	ArgTools	185	57	108	-177	0	12453.74
DS	cegartix	90	0	260	260	0	19214.48
DS	conarg	187	0	163	163	0	4842.81
DS	CoQuiAAS	257	90	3	-447	0	7.36
DS	gg-sts	182	17	151	66	0	4067.11
DS	goDIAMOND	93	0	257	257	0	15094.21
DS	pyglaf	95	0	255	255	1	9350.64

Task	Solver	#TO	#-	#+	Score	#U	RT
EE	argmat-mpg	177	0	173	173	3	3483.99
EE	argmat-sat	77	0	273	273	1	6700.27
EE	ArgSemSAT	121	0	229	229	0	14042.56
EE	ArgTools	201	0	149	149	0	11039.45
EE	cegartix	109	0	241	241	0	16219.86
EE	conarg	187	0	163	163	24	25730.73
EE	CoQuiAAS	217	105	28	-497	0	103.52
EE	gg-sts	108	91	151	-304	4	9331.95
EE	goDIAMOND	127	0	223	223	0	19624.99
EE	pyglaf	94	0	256	256	0	10363.46

Task	Solver	#TO	#-	#+	Score	#U	RT
SE	argmat-mpg	136	0	214	214	0	3507.66
SE	argmat-sat	34	0	316	316	1	4582.82
SE	ArgSemSAT	37	0	313	313	2	8177.26
SE	ArgTools	201	0	149	149	0	11013.75
SE	cegartix	60	0	290	290	1	12477.68
SE	conarg	152	0	198	198	0	2962.95
SE	CoQuiAAS	79	168	103	-737	0	51.77
SE	gg-sts	93	100	157	-343	4	7312.70
SE	goDIAMOND	68	0	282	282	0	15074.68
SE	pyglaf	58	0	292	292	0	8011.63