WST competition - results

Short legend (help page for more):

Tool id
Problem id YES, it is terminating I don't know NO, it is NOT terminating

Times for giving answers are in seconds

	AProVE	CiME 2.02	Matchbox	TORPA 1.3	TTT
qualif - a3b3	0.69	0.07 (error)	0.05	0.01	0.05 (error)
qualif - a3b4	1.49	0.27	0.04	0.02	0.08 (error)
qualif - aa	1.35	0.02	0.01	0.01	0.01
qualif - ab	0.48	0.01	0.00	0.01	0.01
qualif - syr	(timeout)	0.35	3.66	5.76	0.10 (error)
SRS - s6	3.11	0.04	58.07	0.01	2.35
SRS - syracuse	(timeout)	0.36	3.57	5.91	0.10 (error)
SRS - turing_add	0.99	0.06	0.71	0.01	0.01
SRS - turing_copy	(timeout)	(timeout)	0.02	0.04	0.01
SRS - turing_mult	(timeout)	(timeout)	0.88	(timeout)	55.76 (error)
Zantema - z10	0.81	0.05	0.20	0.01	0.01
Zantema - z11	1.42	0.07	0.37	0.03	0.01
Zantema - z12	2.51	0.02	15.70	0.01	0.00
Zantema - z13	0.31	0.29	8.90	0.05	0.05
Zantema - z14	0.58	0.06	0.06	0.01	0.01
Zantema - z15	8.07	0.22	9.39	0.07	0.02
Zantema - z16	1.43	0.07	0.39	0.03	0.00
Zantema - z17	0.68	0.04	0.06	0.01	0.00
Zantema - z18	8.69	0.11	0.18	0.09	0.10 (error)
Zantema - z19	6.62	0.09	0.35	0.10	0.12 (error)
Zantema - z1	0.51	0.06 (error)	0.05	0.01	0.06 (error)
Zantema - z20	0.89	0.06	0.19	0.47	0.02
Zantema - z21	0.58	0.01	0.39	0.05	0.07 (error)
Zantema - z22	1.76	0.32	0.17	0.03	0.02
Zantema - z23	6.85	0.96	0.32	0.04	0.75 (error)
Zantema - z24	1.07	0.52	26.34	0.02	0.03
Zantema - z25	2.30	0.27	0.71	0.03	0.12 (error)
Zantema - z26	1.47	0.02	0.87	0.01	0.01
Zantema - z27	0.53	0.19	0.08	0.01	0.12 (error)
Zantema - z28	1.03	0.43	0.17	0.03	1.71 (error)
Zantema - z29	0.51	0.11 (error)	0.04	0.01	0.59 (error)
Zantema - z2	0.51	0.26	0.03	0.00	0.94 (error)
Zantema - z30	0.57	0.29	0.07	0.03	0.31 (error)
Zantema - z31	0.57	0.89	0.08	0.01	1.74 (error)
Zantema - z32	0.53	0.24	0.04	0.02	0.18 (error)
Zantema - z33	0.46	0.48	0.03	0.01	1.02 (error)
Zantema - z34	0.42	0.16	0.02	0.00	0.07 (error)
Zantema - z35	0.68	0.08	0.03	0.01	0.16 (error)
Zantema - z36	0.58	0.25	0.05	0.01	1.23 (error)
Zantema - z37	0.55	0.44	0.05	0.01	0.97 (error)
Zantema - z38	0.59	0.42	0.03	0.01	0.42 (error)
Zantema - z39	0.61	0.31	0.05	0.01	0.84 (error)
Zantema - z3	0.68	0.24	0.09	0.01	0.01
Zantema - z40	0.52	0.28	0.05	0.01	0.82 (error)
Zantema - z41	0.69	0.24	0.05	0.01	0.20 (error)
Zantema - z42	1.20	0.30	0.03	0.01	0.75 (error)
Zantema - z43	0.44	0.22	0.05	0.00	0.25 (error)
Zantema - z44	1.17	0.18	0.03	0.03	0.22 (error)
Zantema - z45	0.57	0.32	0.07	0.02	1.37 (error)
Zantema - z46	1.45	0.31	0.04	0.02	0.38 (error)
Zantema - z47	0.47	0.16	0.05	0.00	0.29 (error)
Zantema - z48	0.55	0.53	0.05	0.01	5.06 (error)
Zantema - z49	0.49	0.25	0.02	0.01	0.23 (error)
Zantema - z4	0.48	0.22	0.03	0.01	0.23 (error)
Zantema - z50	0.46	0.31	0.03	0.01	0.17 (error)
Zantema - z51	0.51	0.19	0.03	0.02	0.12 (error)
Zantema - z52	0.48	0.16	0.02	0.01	0.28 (error)
Zantema - z53	0.48	0.20	0.02	0.01	0.12 (error)
Zantema - z54	0.56	0.18	0.04	0.01	0.13 (error)
Zantema - z55	0.48	0.19	0.03	0.01	0.28 (error)
Zantema - z56	0.57	0.25	0.02	0.01	0.22 (error)
Zantema - z57	0.52	0.25	0.01	0.02	0.10 (error)
Zantema - z58	0.55	0.20	0.02	0.01	0.18 (error)
Zantema - z59	0.55	0.21	0.04	0.01	0.25 (error)
Zantema - z5	0.54	0.40	0.04	0.01	0.77 (error)
Zantema - z60	0.60	0.23	0.01	0.01	0.24
Zantema - z61	0.51	0.15	0.02	0.01	0.49
Zantema - z62	0.47	0.87	0.04	0.00	0.60
Zantema - z63	0.51	0.12	0.03	0.02	0.00
Zantema - z64	0.49	0.31	0.02	0.02	0.34 (error)
Zantema - z65	0.54	0.04	1.21	0.01	0.01
Zantema - z66	1.00	41.56	0.65	0.02	0.04
Zantema - z67	0.65	0.87	0.87	0.01	0.05
Zantema - z68	6.17	0.32	44.69	0.02	0.08 (error)
Zantema - z69	1.65	0.23	0.81	0.02	0.03
Zantema - z6	0.49	0.02	0.03	0.05	0.01
Zantema - z70	(timeout)	(timeout)	0.87	(timeout)	52.94 (error)
Zantema - z71	0.70	0.08	0.08	0.02	0.01
Zantema - z72	0.49	0.18	0.61	0.03	0.75 (error)
Zantema - z73	(timeout)	0.12	0.77	1.72	0.74 (error)
Zantema - z74	(timeout)	2.12	2.53	0.25	0.70 (error)
Zantema - z75	12.03	0.18	0.74	0.06	1.27 (error)
Zantema - z76	0.62	0.06	0.06	0.46	0.01
Zantema - z77	0.91	0.05	0.30	0.01	0.01
Zantema - z78	0.72	0.03	0.24	1.04	0.01
Zantema - z79	(timeout)	0.16	0.52	2.95	0.64 (error)
Zantema - z7	0.53	0.03	0.03	0.08	0.01
Zantema - z80	5.29	0.15	0.08	0.01	0.09 (error)
Zantema - z81	1.48	0.15	2.03	1.24	11.80 (error)
Zantema - z82	15.79	0.98	1.05	0.10	1.50 (error)
Zantema - z83	33.76	0.32	0.88	0.47	0.83 (error)
Zantema - z84	20.04	0.15	1.17	0.02	0.98 (error)
Zantema - z85	2.71	0.06	2.99	0.01	0.04 (error)
Zantema - z86	40.00	0.15	0.56	1.11	1.01 (error)
Zantema - z87	0.53	0.20	0.03	0.01	6.93 (error)
Zantema - z88	0.62	0.21	0.33	0.77	0.21 (error)
Zantema - z89	32.89	0.26	0.36	1.02	0.27 (error)
Zantema - z8	12.22	2.36	0.42	0.02	0.24 (error)
Zantema - z90	(timeout)	0.55	0.21	2.43	0.07 (error)
Zantema - z91	10.89	0.96	0.71	0.03	0.40
Zantema - z92	1.13	1.13	0.01 (error)	0.02	0.11
Zantema - z93	2.15	0.09	0.50	0.00	3.37 (error)
Zantema - z94	11.52	0.33	27.73	0.08	0.58 (error)
Zantema - z9	0.87	0.03	0.53	0.14	0.01
	AProVE	CiME 2.02	Matchbox	TORPA 1.3	TTT
YES score	87	24	49	88	33
NO score	5	0	7	6	2

This script has been written in the Objective CAML language using the CGI Library

	Tool id
Problem id	YES, it is terminating	I don't know	NO, it is NOT terminating