Termination Competition 2018: TRS Standard30034

benchmark	AProVE	NaTT	ttt2-1.17+nonreach	Wanda	muterm 5.18

AotoYamada_05/026.xml	YES 3.82/1.76	YES 0.05/0.04	YES 3.29/1.15	MAYBE 1.11/1.13	YES 0.01/0.01
AotoYamada_05/002.xml	YES 4.08/1.81	YES 0.04/0.04	YES 0.98/0.55	MAYBE 9.00/9.00	YES 0.01/0.01
AotoYamada_05/022.xml	YES 3.78/1.71	YES 0.04/0.04	YES 1.08/0.59	YES 2.40/2.43	YES 0.01/0.02
AotoYamada_05/003.xml	NO 5.35/2.20	NO 0.15/0.12	NO 0.35/0.35	MAYBE 13.38/13.40	NO 1.42/1.50
AotoYamada_05/Ex5TermProof.xml	StarExec error	MAYBE 0.29/0.22	MAYBE 151.39/42.38	MAYBE 2.76/2.76	StarExec error
AotoYamada_05/015.xml	YES 3.66/1.68	YES 0.05/0.04	YES 1.07/0.58	MAYBE 179.95/179.97	YES 0.01/0.01
AotoYamada_05/010.xml	YES 48.62/17.29	YES 0.08/0.07	YES 6.29/1.92	YES 1.35/1.36	MAYBE 1.51/1.65
AotoYamada_05/024.xml	YES 3.69/1.64	YES 0.03/0.03	YES 0.75/0.49	YES 0.81/0.81	YES 0.01/0.05
AotoYamada_05/021.xml	YES 4.21/1.79	YES 0.06/0.05	YES 1.25/0.64	YES 2.74/2.75	MAYBE 1.36/1.50
AotoYamada_05/017.xml	YES 3.38/1.51	YES 0.01/0.01	YES 0.37/0.36	YES 0.01/0.50	YES 0.02/0.04
AotoYamada_05/012.xml	YES 4.13/1.76	YES 0.05/0.04	YES 1.24/0.66	YES 1.12/1.13	YES 0.02/0.02
AotoYamada_05/005.xml	YES 3.75/2.06	YES 0.02/0.02	YES 0.38/0.37	YES 0.04/0.32	YES 0.04/0.05
AotoYamada_05/011.xml	YES 43.43/17.41	YES 0.08/0.07	YES 5.56/1.73	YES 0.93/0.95	YES 0.45/0.48
AotoYamada_05/001.xml	NO 4.64/1.97	NO 0.10/0.08	NO 0.35/0.35	MAYBE 0.51/0.51	NO 27.74/32.01
AotoYamada_05/027.xml	YES 3.70/1.69	YES 0.04/0.04	YES 1.02/0.57	YES 1.34/1.35	YES 0.13/0.17
AotoYamada_05/Ex1SimplyTyped.xml	YES 3.94/1.74	YES 0.05/0.04	YES 0.97/0.55	YES 0.96/0.98	YES 0.12/0.13
AotoYamada_05/006.xml	YES 3.92/1.79	YES 0.04/0.04	YES 1.00/0.56	YES 11.90/11.91	YES 0.01/0.02
AotoYamada_05/025.xml	YES 3.49/1.62	YES 0.02/0.02	YES 0.38/0.37	YES 0.01/0.02	YES 0.01/0.01
AotoYamada_05/004.xml	YES 3.69/1.69	YES 0.05/0.04	YES 0.88/0.52	YES 0.98/0.98	MAYBE 0.38/0.40
AotoYamada_05/020.xml	YES 3.85/1.79	YES 0.06/0.05	YES 2.80/1.03	MAYBE 0.65/0.66	MAYBE 0.68/0.84
AotoYamada_05/014.xml	YES 4.10/1.75	YES 0.06/0.05	YES 1.17/0.61	YES 1.48/1.51	MAYBE 0.87/0.96
AotoYamada_05/009.xml	YES 4.10/1.75	YES 0.05/0.04	YES 1.29/0.67	YES 1.12/1.13	YES 0.02/0.02
AotoYamada_05/028.xml	YES 3.72/1.66	YES 0.05/0.04	YES 0.92/0.54	MAYBE 3.00/3.01	YES 0.01/0.01
AotoYamada_05/019.xml	YES 3.51/1.63	YES 0.04/0.03	YES 2.20/0.86	MAYBE 0.17/0.41	YES 0.01/0.01
AotoYamada_05/013.xml	YES 4.24/1.79	YES 0.05/0.04	YES 1.20/0.62	MAYBE 4.56/4.56	MAYBE 0.55/0.58
AotoYamada_05/007.xml	YES 3.87/1.68	YES 0.05/0.04	YES 0.97/0.55	YES 0.96/0.96	YES 0.11/0.14
AotoYamada_05/016.xml	YES 4.12/1.82	YES 0.06/0.05	YES 1.15/0.60	MAYBE 11.14/11.15	YES 0.02/0.02
AotoYamada_05/023.xml	YES 3.50/1.55	YES 0.02/0.02	YES 0.38/0.37	YES 0.03/0.04	YES 0.03/0.04
AG01/#3.49.xml	YES 4.02/1.84	YES 0.03/0.03	YES 1.14/0.58	YES 0.10/0.11	YES 0.05/0.05
AG01/#3.19.xml	YES 4.99/1.99	YES 0.09/0.07	YES 3.03/1.10	YES 0.26/0.27	timeout (wallclock)
AG01/#3.56.xml	YES 3.72/1.67	YES 0.04/0.04	YES 1.40/0.65	YES 0.10/0.12	YES 0.04/0.04
AG01/#3.18.xml	YES 4.11/1.79	YES 0.03/0.03	YES 2.51/0.96	YES 0.09/0.09	YES 0.03/0.05
AG01/#3.6.xml	YES 4.53/1.98	YES 0.04/0.04	YES 3.27/1.16	YES 0.13/0.13	YES 0.03/0.03
AG01/#3.35.xml	YES 3.36/1.57	YES 0.02/0.02	YES 0.52/0.41	YES 0.03/0.06	YES 0.01/0.01
AG01/#3.53.xml	YES 4.62/1.92	YES 0.07/0.07	YES 7.09/2.20	YES 0.29/0.29	YES 0.06/0.06
AG01/#3.55.xml	YES 5.41/2.11	YES 0.08/0.07	YES 6.44/2.05	YES 0.30/0.31	YES 0.09/0.09
AG01/#3.52.xml	YES 3.52/1.61	YES 0.02/0.02	YES 0.87/0.52	YES 0.03/0.04	YES 0.01/0.01
AG01/#3.47.xml	YES 3.51/1.60	YES 0.03/0.02	YES 0.73/0.48	YES 0.04/0.05	YES 0.01/0.01
AG01/#3.10.xml	YES 6.33/2.36	YES 0.11/0.10	YES 11.46/3.30	YES 0.39/0.40	YES 0.14/0.14
AG01/#3.4.xml	YES 3.67/1.74	YES 0.03/0.03	YES 2.41/0.94	YES 0.09/0.12	YES 0.03/0.03
AG01/#3.6b.xml	YES 5.01/2.37	YES 0.07/0.06	YES 4.18/1.40	YES 0.16/0.16	YES 0.04/0.06
AG01/#3.22.xml	YES 4.02/1.73	YES 0.03/0.03	YES 3.76/1.29	YES 0.14/0.16	YES 0.36/0.37
AG01/#3.57.xml	YES 4.90/2.64	YES 0.05/0.06	YES 8.31/2.45	YES 0.30/0.31	YES 0.06/0.07
AG01/#3.53b.xml	YES 3.44/1.61	YES 0.02/0.03	YES 0.91/0.55	YES 0.03/0.05	YES 0.01/0.01
AG01/#3.53a.xml	YES 3.59/1.66	YES 0.02/0.02	YES 0.47/0.39	YES 0.02/0.03	YES 0.02/0.04
AG01/#3.12.xml	YES 4.07/1.78	YES 0.03/0.04	YES 1.27/0.62	YES 0.07/0.08	YES 0.03/0.03
AG01/#3.39.xml	YES 4.01/1.75	YES 0.23/0.18	YES 7.61/2.24	MAYBE 0.47/0.48	YES 0.65/0.70
AG01/#3.23.xml	YES 3.44/1.55	YES 0.02/0.02	YES 1.64/0.71	YES 0.02/0.04	YES 0.02/0.03
AG01/#3.15.xml	YES 3.36/1.62	YES 0.02/0.02	YES 0.96/0.54	YES 0.03/0.03	StarExec error
AG01/#3.40.xml	YES 5.04/2.18	MAYBE 0.70/0.53	YES 9.05/2.68	MAYBE 0.99/1.00	YES 1.61/1.84
AG01/#3.5a.xml	YES 4.44/1.90	YES 0.05/0.04	YES 2.87/1.04	YES 0.12/0.12	YES 0.03/0.04
AG01/#3.13.xml	YES 6.35/2.36	YES 0.05/0.05	YES 11.11/3.20	YES 0.29/0.30	YES 0.08/0.15
AG01/#3.17.xml	YES 4.91/1.99	YES 0.05/0.05	YES 2.07/1.03	YES 0.19/0.19	YES 0.05/0.05
AG01/#3.29.xml	YES 3.35/1.52	YES 0.02/0.02	YES 0.50/0.40	YES 0.01/0.02	YES 0.01/0.01
AG01/#3.41.xml	YES 3.60/1.62	YES 0.03/0.03	YES 0.96/0.56	MAYBE 0.08/0.09	YES 0.04/0.04
AG01/#3.8a.xml	YES 4.42/1.84	YES 0.06/0.05	YES 4.10/1.35	YES 0.14/0.15	YES 0.05/0.06
AG01/#3.2.xml	YES 3.77/1.72	YES 0.03/0.04	YES 2.07/0.83	YES 0.06/0.14	YES 0.02/0.05
AG01/#3.51.xml	YES 3.44/1.62	YES 0.05/0.05	YES 0.96/0.54	YES 0.09/0.11	YES 0.01/0.01
AG01/#3.36.xml	YES 4.73/2.98	YES 0.03/0.03	YES 0.71/0.46	YES 0.07/0.08	YES 0.05/0.05
AG01/#3.48.xml	YES 3.68/1.71	YES 0.03/0.03	YES 2.73/1.04	StarExec error	YES 0.01/0.01
AG01/#3.16.xml	YES 3.40/1.57	YES 0.03/0.03	YES 0.77/0.50	YES 0.16/0.28	YES 0.01/0.01
AG01/#3.1.xml	YES 3.71/1.65	YES 0.03/0.03	YES 2.15/0.86	YES 0.06/0.11	YES 0.02/0.03
AG01/#3.6a.xml	YES 4.38/1.84	YES 0.05/0.04	YES 2.56/0.96	YES 0.12/0.15	YES 0.03/0.05
AG01/#3.26.xml	YES 24.56/7.07	YES 0.02/0.02	YES 1.42/0.64	YES 0.04/0.05	YES 0.02/0.04
AG01/#3.7.xml	YES 3.60/1.72	YES 0.02/0.02	YES 0.90/0.53	YES 0.03/0.04	YES 0.02/0.03
AG01/#3.5b.xml	YES 4.90/2.08	YES 0.06/0.06	YES 4.23/1.51	YES 0.15/0.15	YES 0.04/0.06
AG01/#3.5.xml	YES 4.49/1.88	YES 0.04/0.03	YES 2.40/0.93	YES 0.10/0.11	YES 0.03/0.04
AG01/#3.38.xml	YES 4.20/1.98	YES 0.06/0.05	YES 2.94/1.06	YES 0.09/0.11	YES 0.03/0.05
AG01/#3.31.xml	YES 3.57/1.62	YES 0.04/0.03	YES 0.65/0.45	YES 0.03/0.04	YES 0.01/0.01
AG01/#3.33.xml	YES 3.40/1.54	YES 0.04/0.04	YES 0.79/0.49	YES 0.08/0.10	YES 0.01/0.01
AG01/#3.24.xml	YES 3.28/1.49	YES 0.02/0.02	YES 0.64/0.44	YES 0.04/0.04	YES 0.03/0.09
AG01/#3.42.xml	StarExec error	YES 0.05/0.04	YES 2.53/1.01	MAYBE 0.14/0.15	YES 0.04/0.05
AG01/#3.37.xml	YES 3.69/1.67	YES 0.03/0.03	YES 0.75/0.49	YES 0.07/0.07	YES 0.01/0.01
AG01/#4.30c.xml	YES 11.92/5.24	MAYBE 0.25/0.21	MAYBE 130.19/42.37	MAYBE 3.23/3.23	YES 3.40/3.69
AG01/#3.54.xml	YES 5.11/2.14	YES 0.03/0.03	StarExec error	YES 0.06/0.15	YES 0.02/0.05
AG01/#3.17a.xml	YES 4.77/2.21	YES 0.09/0.08	YES 3.63/1.24	YES 0.30/0.30	YES 0.06/0.06
AG01/#3.8b.xml	YES 5.18/2.03	YES 0.09/0.08	YES 5.62/1.78	YES 0.22/0.23	YES 0.06/0.06
AG01/#3.21.xml	YES 3.83/1.76	YES 0.03/0.02	YES 2.17/0.85	YES 0.08/0.08	YES 0.09/0.13
AProVE_08/log.xml	YES 7.22/2.58	MAYBE 0.11/0.09	MAYBE 168.01/42.43	MAYBE 1.20/1.21	MAYBE 1.86/1.93
AProVE_08/round_nonterm.xml	NO 4.50/1.90	MAYBE 0.09/0.08	NO 1.03/0.54	MAYBE 0.09/0.11	MAYBE 0.23/0.26
AProVE_08/parting05_maxsort.xml	YES 16.54/6.06	MAYBE 0.26/0.21	MAYBE 143.84/42.38	MAYBE 0.73/0.75	StarExec error
AProVE_08/parting03_minsort.xml	YES 11.99/4.59	MAYBE 0.26/0.21	MAYBE 134.47/42.39	MAYBE 0.56/0.57	StarExec error
AProVE_08/parting04_maxsort_h.xml	YES 17.45/6.38	MAYBE 0.33/0.27	MAYBE 147.59/42.42	MAYBE 0.95/0.96	StarExec error
AProVE_08/thiemann40_modified.xml	YES 25.29/13.38	YES 0.09/0.07	YES 3.57/1.22	MAYBE 0.18/0.18	YES 1.32/1.35
AProVE_08/parting01_reverse.xml	YES 15.81/6.04	MAYBE 0.22/0.18	MAYBE 134.07/42.38	MAYBE 0.59/0.59	StarExec error
AProVE_08/round.xml	StarExec error	MAYBE 0.09/0.07	MAYBE 129.93/42.37	MAYBE 0.09/0.09	StarExec error
AProVE_08/id_inc.xml	YES 5.42/2.28	MAYBE 0.25/0.22	YES 8.15/2.65	MAYBE 0.24/0.24	YES 0.16/0.21
AProVE_08/parting02_doublelist.xml	YES 20.01/7.18	MAYBE 0.21/0.17	MAYBE 131.38/42.38	MAYBE 0.52/0.53	StarExec error
AProVE_07/thiemann14.xml	YES 29.49/10.73	YES 0.20/0.17	YES 9.19/2.67	MAYBE 0.49/0.50	StarExec error
AProVE_07/otto06.xml	YES 9.28/3.26	MAYBE 0.38/0.31	StarExec error	MAYBE 0.71/0.73	StarExec error
AProVE_07/kabasci06.xml	YES 5.28/2.06	YES 0.10/0.08	YES 7.07/2.15	MAYBE 12.21/12.24	MAYBE 4.75/4.92
AProVE_07/thiemann01.xml	YES 4.57/1.91	MAYBE 0.23/0.19	MAYBE 130.05/42.38	MAYBE 0.53/0.55	MAYBE 111.16/116.23
AProVE_07/thiemann31.xml	YES 8.98/3.45	MAYBE 0.53/0.48	MAYBE 130.49/42.38	MAYBE 1.48/1.48	StarExec error
AProVE_07/thiemann21.xml	StarExec error	MAYBE 0.41/0.36	MAYBE 147.88/42.42	MAYBE 1.21/1.21	StarExec error
AProVE_07/thiemann25.xml	YES 6.07/2.42	MAYBE 0.23/0.19	MAYBE 130.05/42.37	MAYBE 0.29/1.16	MAYBE 48.16/49.49
AProVE_07/thiemann05.xml	YES 7.02/2.61	MAYBE 0.26/0.21	YES 1.51/0.71	MAYBE 0.44/0.44	MAYBE 181.63/188.64
AProVE_07/thiemann03.xml	YES 8.17/2.92	MAYBE 0.31/0.29	MAYBE 130.63/42.37	MAYBE 0.53/0.53	YES 0.78/0.80
AProVE_07/thiemann39.xml	YES 5.73/2.21	YES 0.08/0.07	YES 6.14/1.95	MAYBE 17.71/17.75	StarExec error
AProVE_07/thiemann34.xml	YES 13.08/4.73	MAYBE 0.30/0.25	MAYBE 130.93/42.38	MAYBE 0.39/0.44	timeout (wallclock)
AProVE_07/thiemann26.xml	NO 157.15/61.94	MAYBE 0.26/0.22	MAYBE 130.03/42.39	MAYBE 0.56/0.77	MAYBE 1.63/1.78
AProVE_07/wiehe03.xml	YES 7.78/2.77	YES 0.18/0.17	YES 19.60/5.39	MAYBE 4.01/4.02	StarExec error
AProVE_07/otto03.xml	StarExec error	MAYBE 0.13/0.11	MAYBE 129.61/42.37	MAYBE 0.18/0.28	MAYBE 31.43/32.57
AProVE_07/thiemann10.xml	YES 5.10/2.07	YES 0.10/0.09	YES 4.45/1.43	MAYBE 0.22/0.22	YES 0.08/0.10
AProVE_07/thiemann30.xml	StarExec error	MAYBE 0.38/0.31	MAYBE 157.85/42.43	MAYBE 0.87/0.88	MAYBE 36.67/38.93
AProVE_07/otto04.xml	YES 7.14/2.76	MAYBE 0.31/0.25	MAYBE 130.53/42.38	MAYBE 1.44/1.45	StarExec error
AProVE_07/otto05.xml	YES 5.10/2.11	YES 0.09/0.09	YES 3.64/1.25	MAYBE 0.27/0.27	YES 0.07/0.10
AProVE_07/thiemann40.xml	YES 4.66/1.97	YES 0.07/0.06	YES 2.31/0.89	MAYBE 0.15/0.16	YES 0.06/0.08
AProVE_07/thiemann17.xml	YES 5.68/2.24	YES 0.15/0.13	YES 10.55/3.03	MAYBE 0.68/0.68	YES 2.94/2.97
AProVE_07/kabasci05.xml	YES 5.80/2.29	YES 0.09/0.08	YES 10.76/3.09	MAYBE 0.62/0.63	MAYBE 2.10/2.18
AProVE_07/otto08.xml	YES 8.61/3.58	MAYBE 0.25/0.21	MAYBE 130.30/42.38	MAYBE 0.63/0.64	MAYBE 164.81/166.18
AProVE_07/thiemann18.xml	StarExec error	YES 0.28/0.23	YES 10.66/3.08	MAYBE 0.99/0.99	StarExec error
AProVE_07/wiehe01.xml	YES 6.50/2.57	YES 0.09/0.08	YES 8.84/2.63	MAYBE 3.46/3.47	StarExec error
AProVE_07/wiehe11.xml	YES 7.50/2.79	YES 0.22/0.20	YES 24.75/6.79	MAYBE 4.08/4.09	StarExec error
AProVE_07/kabasci02.xml	YES 7.73/3.07	YES 0.15/0.13	YES 35.43/9.44	MAYBE 1.17/1.18	StarExec error
AProVE_07/thiemann36.xml	YES 10.83/4.32	MAYBE 0.87/0.79	MAYBE 133.65/42.38	MAYBE 1.86/1.86	StarExec error
AProVE_07/thiemann29.xml	YES 38.33/17.26	MAYBE 0.53/0.48	MAYBE 138.71/42.38	MAYBE 2.38/2.39	MAYBE 166.87/167.92
AProVE_07/thiemann37.xml	YES 18.80/9.90	MAYBE 0.61/0.50	MAYBE 143.29/42.41	MAYBE 230.89/230.89	StarExec error
AProVE_07/wiehe08.xml	YES 6.55/2.41	YES 0.12/0.11	YES 10.80/3.11	MAYBE 3.53/3.54	timeout (wallclock)
AProVE_07/thiemann04.xml	YES 24.99/9.16	MAYBE 1.02/0.88	MAYBE 150.09/42.39	MAYBE 5.35/5.36	StarExec error
AProVE_07/otto02.xml	YES 6.58/2.53	MAYBE 0.26/0.22	MAYBE 141.61/42.39	MAYBE 0.62/0.70	MAYBE 83.79/85.30
AProVE_07/thiemann38.xml	YES 7.67/3.69	MAYBE 0.34/0.29	MAYBE 130.29/42.37	MAYBE 0.46/0.46	timeout (wallclock)
AProVE_07/thiemann41.xml	YES 5.24/2.27	MAYBE 0.18/0.15	MAYBE 132.37/42.38	MAYBE 0.28/0.30	MAYBE 39.92/40.79
AProVE_07/thiemann27.xml	YES 5.12/2.25	MAYBE 0.12/0.10	MAYBE 129.89/42.39	MAYBE 0.15/0.16	MAYBE 26.88/27.82
AProVE_07/otto07.xml	YES 4.98/2.18	MAYBE 0.13/0.11	MAYBE 129.85/42.37	MAYBE 0.15/0.15	MAYBE 29.36/30.36
AProVE_07/otto01.xml	YES 7.30/2.69	YES 0.09/0.08	YES 4.35/1.44	MAYBE 54.56/54.58	StarExec error
AProVE_07/kabasci03.xml	YES 7.04/2.52	YES 0.79/0.60	YES 15.99/4.44	MAYBE 15.95/15.96	StarExec error
AProVE_07/thiemann23.xml	YES 7.22/2.86	MAYBE 0.20/0.17	YES 32.98/8.67	MAYBE 0.56/0.57	StarExec error
AProVE_07/thiemann07.xml	YES 27.34/9.48	YES 0.21/0.17	MAYBE 141.94/42.39	MAYBE 1.03/1.03	timeout (wallclock)
AProVE_07/thiemann32.xml	YES 17.46/7.24	MAYBE 0.41/0.37	MAYBE 131.06/42.39	MAYBE 0.61/0.62	StarExec error
AProVE_07/thiemann19.xml	YES 9.65/3.69	MAYBE 0.21/0.19	YES 68.20/17.46	MAYBE 0.29/0.34	StarExec error
AProVE_07/otto12.xml	YES 8.50/3.13	MAYBE 0.31/0.26	MAYBE 130.30/42.39	MAYBE 0.37/0.37	MAYBE 25.60/26.66
AProVE_07/thiemann09.xml	YES 4.64/2.05	MAYBE 0.24/0.20	MAYBE 132.82/42.38	MAYBE 0.80/0.81	StarExec error
AProVE_07/wiehe06.xml	YES 7.16/2.60	YES 0.11/0.09	YES 14.29/4.05	MAYBE 3.62/3.64	StarExec error
AProVE_07/otto11.xml	YES 5.46/2.31	MAYBE 0.16/0.14	MAYBE 130.18/42.38	MAYBE 0.24/0.25	MAYBE 1.94/2.09
AProVE_07/kabasci01.xml	YES 11.88/4.13	YES 2.18/2.05	YES 46.47/14.02	MAYBE 1.31/1.32	timeout (wallclock)
AProVE_07/thiemann16.xml	YES 6.16/2.34	YES 0.15/0.12	YES 13.04/3.66	MAYBE 0.93/0.93	YES 3.30/3.50
AProVE_07/thiemann11.xml	YES 46.47/17.50	MAYBE 1.00/0.96	MAYBE 134.74/42.37	MAYBE 1.83/1.83	StarExec error
AProVE_07/wiehe02.xml	YES 7.44/2.66	YES 0.19/0.17	YES 19.92/5.63	MAYBE 3.81/3.81	StarExec error
AProVE_07/thiemann22.xml	YES 8.13/3.74	MAYBE 0.39/0.36	MAYBE 130.96/42.38	MAYBE 0.58/0.59	MAYBE 76.97/78.15
AProVE_07/thiemann35.xml	YES 5.61/2.84	YES 0.10/0.11	YES 6.29/1.97	StarExec error	StarExec error
AProVE_07/thiemann20.xml	StarExec error	MAYBE 0.20/0.17	MAYBE 130.43/42.38	MAYBE 0.25/0.26	StarExec error
AProVE_07/thiemann15.xml	YES 4.90/2.02	YES 0.09/0.08	YES 2.63/0.99	MAYBE 0.20/0.21	YES 0.07/0.37
AProVE_07/wiehe09.xml	YES 6.58/2.58	YES 0.18/0.16	YES 10.42/3.08	MAYBE 3.56/3.56	StarExec error
AProVE_07/wiehe05.xml	YES 6.25/2.36	YES 0.14/0.12	YES 9.33/2.74	MAYBE 3.49/3.50	StarExec error
AProVE_07/wiehe12.xml	YES 7.77/2.79	YES 0.27/0.24	YES 21.60/5.93	StarExec error	StarExec error
AProVE_07/thiemann28.xml	NO 16.20/11.44	MAYBE 0.20/0.18	MAYBE 130.00/42.38	MAYBE 0.52/0.53	MAYBE 0.87/0.89
AProVE_07/kabasci04.xml	YES 4.75/1.93	YES 0.07/0.06	YES 5.00/1.64	YES 0.15/0.15	YES 0.40/0.40
AProVE_07/thiemann13.xml	YES 20.51/9.09	MAYBE 0.68/0.64	MAYBE 132.52/42.38	MAYBE 2.49/2.49	timeout (wallclock)
AProVE_07/thiemann06.xml	YES 18.92/5.97	MAYBE 0.45/0.41	MAYBE 135.36/42.39	MAYBE 6.84/6.84	StarExec error
AProVE_07/otto10.xml	YES 7.10/2.67	MAYBE 0.44/0.37	MAYBE 110.85/34.59	MAYBE 2.31/2.32	StarExec error
AProVE_07/thiemann12.xml	YES 5.50/2.17	YES 0.11/0.09	YES 4.72/1.52	MAYBE 0.33/0.34	YES 0.09/0.12
AProVE_07/otto09.xml	YES 9.46/4.21	MAYBE 0.25/0.21	MAYBE 130.03/42.38	MAYBE 0.64/0.64	MAYBE 136.49/137.76
AProVE_07/otto13.xml	YES 20.51/9.84	MAYBE 0.31/0.26	MAYBE 135.77/42.39	MAYBE 1.17/1.18	StarExec error
AProVE_07/thiemann33.xml	YES 35.16/12.43	MAYBE 0.18/0.14	MAYBE 130.29/42.38	MAYBE 0.43/0.45	StarExec error
AProVE_07/wiehe07.xml	YES 56.72/19.68	MAYBE 0.65/0.53	MAYBE 132.36/42.45	MAYBE 2.80/2.81	StarExec error
AProVE_07/thiemann24.xml	YES 6.67/2.48	MAYBE 0.25/0.21	MAYBE 130.04/42.38	MAYBE 0.33/0.33	MAYBE 24.12/25.32
AProVE_07/thiemann02.xml	YES 13.89/4.96	MAYBE 0.87/0.75	MAYBE 160.98/42.45	MAYBE 2.76/2.76	timeout (wallclock)
AProVE_07/thiemann08.xml	YES 5.00/2.13	YES 0.10/0.09	YES 5.36/1.69	MAYBE 0.21/0.26	YES 0.08/0.11
AProVE_10/isNat.xml	NO 21.81/11.66	MAYBE 0.07/0.06	MAYBE 129.58/42.37	MAYBE 0.09/0.11	MAYBE 3.25/52.29
AProVE_10/ex3.xml	NO 34.46/12.18	MAYBE 0.12/0.10	MAYBE 129.59/42.38	MAYBE 0.16/0.46	StarExec error
AProVE_10/halfdouble.xml	NO 25.83/12.85	MAYBE 0.27/0.25	MAYBE 130.09/42.37	MAYBE 0.43/0.45	StarExec error
AProVE_10/isList.xml	NO 5.35/2.30	NO 0.08/0.07	NO 0.80/0.45	MAYBE 0.08/0.09	MAYBE 0.19/0.27
AProVE_10/scnp.xml	YES 3.72/2.65	YES 0.02/0.02	YES 0.56/0.42	YES 0.02/0.02	YES 0.05/0.05
AProVE_10/downfrom.xml	StarExec error	MAYBE 0.15/0.14	MAYBE 130.14/42.39	MAYBE 0.17/0.17	StarExec error
AProVE_10/ex5.xml	YES 3.35/1.52	YES 0.01/0.02	YES 0.53/0.41	YES 0.02/0.02	YES 0.01/0.01
AProVE_10/andIsNat.xml	NO 41.90/17.04	MAYBE 0.19/0.17	MAYBE 129.14/42.38	MAYBE 0.24/0.26	StarExec error
AProVE_10/ex1.xml	NO 21.78/12.46	MAYBE 0.13/0.11	MAYBE 129.86/42.39	MAYBE 0.14/0.15	MAYBE 17.51/18.60
AProVE_10/challenge_fab.xml	StarExec error	MAYBE 0.48/0.46	MAYBE 130.25/42.38	MAYBE 0.34/0.34	timeout (wallclock)
AProVE_10/double.xml	NO 36.37/11.79	MAYBE 0.09/0.07	MAYBE 129.51/42.37	MAYBE 0.11/0.14	StarExec error
AProVE_10/Zantema06-03-modified.xml	StarExec error	MAYBE 0.47/0.40	MAYBE 168.22/42.54	MAYBE 0.40/0.42	StarExec error
AProVE_10/ex2.xml	NO 38.85/11.77	MAYBE 0.12/0.10	MAYBE 129.68/42.39	MAYBE 0.16/0.18	StarExec error
AProVE_10/ex4.xml	StarExec error	MAYBE 0.16/0.15	MAYBE 130.03/42.38	MAYBE 0.32/0.36	StarExec error
AProVE_09_Inductive/zerolist.xml	YES 6.10/2.51	MAYBE 0.17/0.14	MAYBE 40.81/10.55	MAYBE 0.32/0.33	timeout (wallclock)
AProVE_09_Inductive/log.xml	StarExec error	MAYBE 0.21/0.18	MAYBE 168.07/42.47	MAYBE 0.28/0.28	MAYBE 124.13/124.96
AProVE_09_Inductive/maxsort.xml	YES 16.78/6.07	MAYBE 0.28/0.23	MAYBE 142.00/42.39	MAYBE 0.72/0.73	StarExec error
AProVE_09_Inductive/qsortlast.xml	YES 39.27/13.15	MAYBE 0.49/0.44	MAYBE 142.45/42.41	MAYBE 13.96/13.98	StarExec error
AProVE_09_Inductive/qsort.xml	YES 32.61/12.01	MAYBE 0.41/0.36	MAYBE 142.01/42.38	MAYBE 0.96/1.33	StarExec error
AProVE_09_Inductive/qsortmiddle.xml	StarExec error	MAYBE 0.72/0.61	MAYBE 142.79/42.39	StarExec error	StarExec error
AProVE_09_Inductive/minsort.xml	StarExec error	MAYBE 0.32/0.30	MAYBE 140.43/42.39	MAYBE 0.77/0.84	StarExec error
AProVE_09_Inductive/gcd2.xml	YES 78.40/26.67	MAYBE 0.60/0.54	MAYBE 131.33/42.38	MAYBE 0.72/0.73	MAYBE 176.28/178.01
AProVE_09_Inductive/maxsortcondition.xml	YES 12.06/4.33	MAYBE 0.28/0.23	MAYBE 135.58/42.38	MAYBE 0.45/0.51	StarExec error
AProVE_09_Inductive/div.xml	YES 28.67/11.67	MAYBE 0.40/0.34	MAYBE 130.17/42.38	MAYBE 0.32/0.34	MAYBE 81.77/82.26
AProVE_09_Inductive/mod.xml	YES 28.18/12.74	MAYBE 0.28/0.23	MAYBE 129.79/42.38	MAYBE 0.39/0.39	MAYBE 58.70/60.07
AProVE_09_Inductive/divhard.xml	StarExec error	MAYBE 0.30/0.25	MAYBE 131.99/42.41	MAYBE 0.36/0.37	MAYBE 39.50/40.66
AProVE_09_Inductive/gcd.xml	YES 36.90/13.50	MAYBE 0.32/0.27	MAYBE 130.20/42.38	MAYBE 0.37/0.38	timeout (wallclock)
AProVE_09_Inductive/gcdhard.xml	StarExec error	MAYBE 0.22/0.18	MAYBE 167.80/42.43	MAYBE 0.94/0.94	MAYBE 248.95/249.65
Applicative_first_order_05/01.xml	YES 4.38/1.85	YES 0.07/0.06	YES 2.09/0.94	MAYBE 3.08/3.09	YES 0.02/0.02
Applicative_first_order_05/12.xml	YES 4.60/1.93	YES 0.08/0.07	YES 3.97/1.37	MAYBE 6.75/6.75	MAYBE 1.69/1.81
Applicative_first_order_05/06.xml	YES 4.53/1.92	YES 0.06/0.05	YES 1.45/0.71	MAYBE 3.47/3.48	YES 0.02/0.02
Applicative_first_order_05/#3.18.xml	YES 5.84/2.33	YES 0.10/0.09	YES 3.98/1.39	MAYBE 6.36/6.36	MAYBE 43.54/44.34
Applicative_first_order_05/#3.6.xml	YES 6.10/2.43	YES 0.11/0.09	YES 4.94/1.62	MAYBE 21.73/21.75	MAYBE 55.55/56.76
Applicative_first_order_05/#3.55.xml	YES 7.13/2.79	YES 0.23/0.20	YES 9.54/2.92	MAYBE 147.30/147.59	MAYBE 168.50/169.44
Applicative_first_order_05/motivation.xml	YES 4.60/1.94	YES 0.05/0.05	YES 2.69/1.01	MAYBE 3.49/3.51	YES 0.04/0.12
Applicative_first_order_05/02.xml	YES 4.28/1.92	YES 0.06/0.05	YES 1.67/0.77	MAYBE 3.12/3.12	YES 0.02/0.02
Applicative_first_order_05/#3.52.xml	YES 4.62/1.96	YES 0.07/0.06	YES 2.61/1.00	MAYBE 3.80/3.80	YES 0.02/0.02
Applicative_first_order_05/#3.10.xml	StarExec error	YES 0.24/0.21	YES 15.78/4.49	MAYBE 156.48/156.95	StarExec error
Applicative_first_order_05/#3.22.xml	YES 5.08/2.09	YES 0.09/0.07	YES 4.21/1.46	StarExec error	timeout (wallclock)
Applicative_first_order_05/#3.57.xml	YES 6.56/2.47	YES 0.14/0.12	YES 10.21/3.02	MAYBE 51.43/51.46	MAYBE 62.41/63.49
Applicative_first_order_05/13.xml	YES 26.15/13.66	MAYBE 0.27/0.21	MAYBE 144.09/42.46	MAYBE 7.04/7.10	MAYBE 3.53/3.82
Applicative_first_order_05/#3.8.xml	YES 5.83/2.33	YES 0.10/0.09	YES 5.05/1.70	MAYBE 13.44/13.45	MAYBE 18.44/18.92
Applicative_first_order_05/hydra.xml	YES 5.25/2.14	YES 0.10/0.09	YES 3.34/1.19	MAYBE 15.31/15.31	MAYBE 4.19/4.27
Applicative_first_order_05/minsort.xml	StarExec error	MAYBE 0.34/0.25	MAYBE 168.09/42.43	timeout (wallclock)	StarExec error
Applicative_first_order_05/#3.45.xml	YES 4.46/1.83	YES 0.08/0.07	YES 2.15/0.90	MAYBE 3.94/3.95	YES 0.05/0.05
Applicative_first_order_05/17.xml	YES 4.63/1.91	YES 0.08/0.07	YES 1.78/0.81	MAYBE 3.63/3.64	MAYBE 0.78/0.84
Applicative_first_order_05/08.xml	YES 4.69/1.95	YES 0.07/0.06	YES 1.99/0.88	MAYBE 21.78/21.79	YES 0.03/0.04
Applicative_first_order_05/29.xml	YES 5.22/2.15	YES 0.08/0.07	YES 1.45/0.70	MAYBE 5.36/5.39	MAYBE 7.76/8.43
Applicative_first_order_05/#3.27.xml	YES 4.33/1.89	YES 0.06/0.05	StarExec error	MAYBE 3.51/3.52	YES 0.01/0.02
Applicative_first_order_05/#3.40.xml	YES 6.72/2.61	MAYBE 0.84/0.62	YES 47.86/12.39	MAYBE 132.22/132.24	StarExec error
Applicative_first_order_05/#3.13.xml	YES 7.53/3.01	YES 0.27/0.25	YES 13.72/4.02	StarExec error	StarExec error
Applicative_first_order_05/33.xml	StarExec error	MAYBE 0.53/0.41	MAYBE 151.04/42.45	StarExec error	StarExec error
Applicative_first_order_05/11.xml	YES 5.62/2.25	YES 0.08/0.07	YES 3.45/1.33	StarExec error	YES 0.09/0.09
Applicative_first_order_05/#3.2.xml	YES 4.76/1.91	YES 0.08/0.07	YES 3.96/1.37	MAYBE 6.44/6.45	MAYBE 5.12/5.48
Applicative_first_order_05/#3.36.xml	YES 5.81/2.26	YES 0.09/0.08	YES 5.38/1.72	MAYBE 5.47/5.50	MAYBE 289.72/291.58
Applicative_first_order_05/#3.32.xml	YES 4.37/1.79	YES 0.05/0.04	YES 2.71/1.02	MAYBE 3.45/3.46	YES 0.02/0.02
Applicative_first_order_05/#3.48.xml	StarExec error	YES 0.09/0.08	YES 3.61/1.30	timeout (wallclock)	YES 0.02/0.03
Applicative_first_order_05/#3.16.xml	YES 4.48/1.81	YES 0.09/0.07	YES 1.76/0.83	MAYBE 3.46/3.47	MAYBE 1.01/1.12
Applicative_first_order_05/18.xml	YES 4.21/1.85	YES 0.06/0.05	YES 1.64/0.79	MAYBE 5.34/5.35	YES 0.02/0.02
Applicative_first_order_05/#3.38.xml	YES 5.50/2.18	YES 0.07/0.06	YES 4.06/1.46	MAYBE 6.73/6.73	MAYBE 4.03/4.42
Applicative_first_order_05/21.xml	YES 4.71/2.00	YES 0.13/0.11	YES 3.81/1.32	MAYBE 6.69/6.71	MAYBE 2.90/3.21
Applicative_first_order_05/#3.25.xml	YES 5.90/2.29	YES 0.07/0.06	YES 3.22/1.16	MAYBE 3.21/3.22	MAYBE 2.77/2.93
Applicative_first_order_05/31.xml	YES 5.04/2.04	YES 0.08/0.07	YES 24.96/6.64	MAYBE 7.83/8.20	MAYBE 2.05/2.16
Applicative_first_order_05/30.xml	YES 5.54/2.19	YES 0.31/0.21	YES 5.25/1.69	MAYBE 52.14/52.16	MAYBE 45.49/46.27
Applicative_first_order_05/perfect.xml	YES 5.12/2.11	YES 0.09/0.08	YES 3.34/1.22	StarExec error	StarExec error
Applicative_first_order_05/perfect2.xml	YES 5.77/2.34	YES 0.13/0.11	YES 4.22/1.56	StarExec error	StarExec error
Applicative_05/nonTermF.xml	StarExec error	MAYBE 0.34/0.26	MAYBE 130.36/42.37	MAYBE 2.47/2.48	MAYBE 210.15/214.09
Applicative_05/TreeLevels.xml	YES 4.61/1.89	YES 0.08/0.07	YES 1.71/0.79	MAYBE 47.73/47.74	MAYBE 1.09/1.13
Applicative_05/Ex2_6_1Composition.xml	YES 3.38/1.55	YES 0.01/0.02	YES 0.37/0.37	YES 0.01/0.02	YES 0.01/0.01
Applicative_05/Ex7Sorting.xml	StarExec error	MAYBE 0.72/0.54	MAYBE 164.36/42.42	StarExec error	StarExec error
Applicative_05/Ex2_8_1ConstSubstFix.xml	NO 11.74/3.97	MAYBE 0.22/0.17	NO 10.43/4.22	MAYBE 0.28/0.29	StarExec error
Applicative_05/Ex6Recursor.xml	StarExec error	MAYBE 0.22/0.17	MAYBE 130.04/42.38	MAYBE 2.23/2.23	StarExec error
Applicative_05/Ex7_9.xml	YES 5.02/2.02	YES 0.09/0.10	YES 3.53/1.27	timeout (wallclock)	MAYBE 77.21/77.56
Applicative_05/TypeEx5.xml	NO 5.17/2.09	NO 0.07/0.06	NO 0.35/0.35	StarExec error	NO 0.26/0.32
Applicative_05/Ex8Polymorphic.xml	YES 3.77/1.71	YES 0.06/0.05	YES 1.04/0.57	MAYBE 2.28/2.29	YES 0.01/0.02
Applicative_05/TreeFlatten.xml	StarExec error	YES 0.06/0.05	YES 1.28/0.65	MAYBE 3.97/3.98	MAYBE 0.59/0.62
Applicative_05/Ex3Lists.xml	YES 4.18/1.79	YES 0.05/0.04	YES 1.22/0.65	MAYBE 3.57/3.58	MAYBE 0.90/0.99
Applicative_05/TypeEx1.xml	YES 3.48/1.61	YES 0.09/0.08	YES 3.88/1.31	YES 0.32/0.33	YES 0.01/0.01
Applicative_05/Ex10Functional.xml	StarExec error	MAYBE 0.73/0.56	MAYBE 168.17/42.40	MAYBE 12.74/12.74	MAYBE 29.08/30.45
Applicative_05/ReverseLastInit.xml	YES 3.49/1.55	YES 0.03/0.03	YES 2.55/0.99	YES 0.11/0.12	YES 0.03/0.05
Applicative_05/Ex9Maps.xml	StarExec error	YES 0.28/0.21	MAYBE 149.16/42.39	MAYBE 76.04/76.05	timeout (wallclock)
Applicative_05/TakeDropWhile.xml	YES 4.18/1.82	YES 0.05/0.04	YES 1.26/0.64	MAYBE 34.09/34.10	YES 0.01/0.02
Applicative_05/Ex2PrimRec.xml	StarExec error	MAYBE 0.45/0.32	MAYBE 129.88/42.37	MAYBE 0.93/0.94	MAYBE 0.86/0.97
Applicative_05/TypeEx3.xml	NO 9.62/3.33	NO 0.10/0.09	NO 0.36/0.36	MAYBE 4.23/4.23	NO 0.01/0.01
Applicative_05/Ex4MapList.xml	YES 3.74/1.69	YES 0.04/0.03	YES 0.84/0.51	YES 0.57/1.26	YES 0.17/0.21
Applicative_05/Ex7OrdinalRec.xml	StarExec error	MAYBE 0.56/0.42	MAYBE 147.23/42.38	MAYBE 11.61/11.61	StarExec error
Applicative_05/Ex5Sorting.xml	StarExec error	MAYBE 0.73/0.55	MAYBE 163.01/42.45	timeout (wallclock)	timeout (wallclock)
Applicative_05/mapDivMinusHard.xml	YES 4.89/1.99	YES 0.10/0.08	YES 4.62/1.53	MAYBE 8.33/8.34	MAYBE 14.00/14.73
Applicative_05/Hamming.xml	NO 6.92/2.69	NO 0.15/0.12	NO 3.05/1.12	StarExec error	StarExec error
Applicative_05/TreeMap.xml	YES 4.07/1.78	YES 0.05/0.04	YES 1.08/0.58	MAYBE 6.52/6.53	YES 0.01/0.02
Applicative_05/BTreeMember.xml	YES 4.46/1.83	StarExec error	YES 1.56/0.73	YES 0.43/0.44	YES 0.02/0.02
Applicative_05/Ex6Folding.xml	StarExec error	MAYBE 0.28/0.21	MAYBE 130.30/42.37	MAYBE 1.43/1.44	MAYBE 7.76/8.89
Applicative_05/Ex5Folding.xml	StarExec error	MAYBE 0.32/0.24	MAYBE 154.20/42.38	MAYBE 1.62/1.62	StarExec error
Applicative_05/termMonTypes.xml	NO 6.77/2.52	MAYBE 0.17/0.15	NO 0.90/0.52	MAYBE 0.65/0.67	timeout (wallclock)
Applicative_05/TreeSize.xml	YES 4.06/1.81	YES 0.06/0.05	YES 1.27/0.65	MAYBE 5.02/5.05	MAYBE 0.51/0.55
Applicative_05/TreeHeight.xml	YES 4.29/1.82	YES 0.07/0.08	YES 1.46/0.70	MAYBE 4.47/4.50	YES 0.02/0.02
Applicative_05/mapDivMinus.xml	YES 4.20/1.79	YES 0.05/0.05	YES 2.69/1.02	MAYBE 4.30/4.32	MAYBE 3.40/3.57
Applicative_05/Ex6_11.xml	YES 3.91/1.78	YES 0.04/0.04	YES 1.28/0.64	YES 1.03/1.04	YES 0.01/0.01
AProVE_06/nonterm.xml	NO 5.90/2.32	MAYBE 0.33/0.28	NO 1.41/0.68	MAYBE 1.18/1.18	StarExec error
AProVE_06/modulo.xml	YES 5.32/2.28	MAYBE 0.18/0.15	MAYBE 129.84/42.37	MAYBE 0.29/0.30	MAYBE 1.50/1.56
AProVE_06/div_notTermin.xml	StarExec error	MAYBE 0.53/0.47	MAYBE 136.67/42.39	MAYBE 0.75/0.77	MAYBE 194.14/198.06
AProVE_06/tower.xml	YES 5.01/2.12	YES 0.07/0.06	YES 9.24/2.68	MAYBE 0.28/0.29	timeout (wallclock)
AProVE_06/mapHard.xml	YES 7.58/2.74	YES 0.13/0.11	YES 4.88/1.62	MAYBE 12.26/12.28	MAYBE 12.92/13.91
AProVE_06/tower_sizeChange.xml	YES 32.69/14.09	YES 0.16/0.15	YES 105.25/26.78	MAYBE 0.47/0.52	StarExec error
AProVE_06/identity.xml	YES 5.53/2.26	YES 0.09/0.09	MAYBE 130.69/42.38	MAYBE 0.28/0.29	YES 0.34/0.38
AProVE_06/logarithm.xml	StarExec error	MAYBE 0.61/0.56	MAYBE 132.11/42.38	MAYBE 2.34/2.37	StarExec error
AProVE_06/factorial1.xml	YES 4.71/1.95	StarExec error	YES 9.04/2.65	MAYBE 0.33/0.33	StarExec error
AProVE_06/quot.xml	YES 9.25/4.43	MAYBE 0.16/0.14	MAYBE 102.78/26.11	MAYBE 0.56/0.58	MAYBE 1.14/1.18
AProVE_06/factorial2.xml	YES 6.58/2.46	MAYBE 0.21/0.18	MAYBE 130.26/42.37	StarExec error	MAYBE 1.37/1.40
AProVE_06/div_notCeTermin.xml	YES 13.98/6.02	MAYBE 0.56/0.51	MAYBE 132.98/42.39	MAYBE 0.78/0.79	MAYBE 268.06/269.77
AProVE_06/quicksort.xml	YES 7.47/6.15	YES 0.23/0.19	MAYBE 146.71/42.42	MAYBE 0.90/0.91	YES 0.56/0.66
AProVE_06/sizeChange.xml	YES 3.92/1.79	MAYBE 0.27/0.21	YES 2.60/0.98	MAYBE 0.66/0.69	YES 1.36/1.49
AProVE_04/Liveness_WRS.xml	YES 4.94/1.98	YES 0.27/0.27	YES 3.13/1.13	MAYBE 2.28/2.28	StarExec error
AProVE_04/IJCAR_1.xml	YES 3.91/1.80	YES 0.03/0.02	YES 1.59/0.73	YES 0.06/0.07	YES 0.02/0.03
AProVE_04/IJCAR_18.xml	YES 4.85/1.98	YES 0.09/0.08	YES 3.08/1.17	YES 0.23/0.23	YES 0.03/0.03
AProVE_04/AAECC-ring.xml	YES 165.13/74.34	MAYBE 12.00/11.46	MAYBE 152.96/42.42	MAYBE 71.42/71.45	StarExec error
AProVE_04/AAECC.xml	YES 56.68/20.79	MAYBE 1.40/1.31	MAYBE 122.98/42.41	MAYBE 8.05/8.05	StarExec error
AProVE_04/forward_instantiation2.xml	YES 4.19/2.56	MAYBE 0.08/0.07	YES 1.28/0.63	MAYBE 0.10/0.12	YES 0.31/0.44
AProVE_04/JFP_Ex51.xml	YES 5.79/2.24	YES 0.09/0.09	YES 24.23/6.51	YES 0.46/0.47	YES 0.14/0.14
AProVE_04/IJCAR_12.xml	YES 4.48/1.93	YES 0.05/0.05	YES 2.41/0.96	YES 0.11/0.16	YES 0.03/0.44
AProVE_04/rta1.xml	YES 3.84/1.67	StarExec error	YES 2.41/0.95	YES 0.10/0.10	YES 0.03/0.04
AProVE_04/IJCAR_26.xml	YES 5.65/2.29	YES 0.12/0.10	YES 8.08/2.45	MAYBE 0.56/0.57	YES 0.12/0.13
AProVE_04/LPAR_intlist.xml	YES 4.23/1.78	YES 0.10/0.09	YES 1.60/0.71	YES 0.10/0.11	YES 0.01/0.01
AProVE_04/IJCAR_26a.xml	YES 5.14/2.07	YES 0.12/0.11	YES 7.87/2.37	MAYBE 0.57/0.60	YES 0.13/0.16
AProVE_04/Liveness8.xml	YES 5.00/2.08	YES 0.13/0.13	YES 3.98/1.36	YES 0.42/0.44	YES 0.09/0.09
AProVE_04/Liveness6.3.xml	YES 18.06/5.35	YES 0.27/0.24	YES 3.38/1.20	MAYBE 0.43/0.90	timeout (wallclock)
AProVE_04/fac.xml	YES 4.75/2.09	YES 0.05/0.04	YES 3.51/1.24	MAYBE 0.16/0.16	YES 0.18/0.21
AProVE_04/Liveness6.4.xml	YES 90.47/30.29	MAYBE 0.45/0.39	MAYBE 134.82/42.38	MAYBE 0.63/0.67	timeout (wallclock)
AProVE_04/improved_usable2.xml	YES 3.65/1.63	YES 0.02/0.02	YES 1.27/0.62	YES 0.03/0.03	YES 0.02/0.02
AProVE_04/Liveness6.1.xml	YES 18.22/5.38	YES 0.15/0.14	YES 1.59/0.71	MAYBE 0.21/0.22	StarExec error
AProVE_04/Liveness6.2.xml	YES 3.80/1.73	YES 0.12/0.10	YES 1.11/0.59	MAYBE 0.16/0.17	YES 3.54/3.61
AProVE_04/rta2.xml	YES 3.41/1.56	YES 0.02/0.02	YES 0.47/0.40	YES 0.02/0.02	YES 0.03/0.03
AProVE_04/JFP_Ex31.xml	YES 129.96/53.31	MAYBE 1.63/1.59	MAYBE 136.33/42.38	MAYBE 0.42/0.43	StarExec error
AProVE_04/improved_usable.xml	YES 3.81/2.17	YES 0.03/0.02	YES 1.17/0.59	YES 0.03/0.03	YES 0.11/0.15
AProVE_04/rta3.xml	YES 3.75/1.66	YES 0.06/0.05	YES 2.81/1.02	YES 0.09/0.12	MAYBE 20.65/22.58
AProVE_04/forward_instantiation.xml	YES 4.06/1.83	MAYBE 0.08/0.06	YES 1.17/0.61	MAYBE 0.09/0.16	YES 0.16/0.28
GTSSK07/cade01.xml	YES 5.01/2.23	MAYBE 0.13/0.11	MAYBE 129.82/42.38	MAYBE 0.16/0.17	MAYBE 28.62/29.62
GTSSK07/cade11.xml	YES 4.75/2.06	MAYBE 0.13/0.11	MAYBE 129.68/42.39	MAYBE 0.28/0.33	StarExec error
GTSSK07/cade14.xml	YES 10.91/6.48	MAYBE 0.24/0.21	MAYBE 130.30/42.38	MAYBE 0.39/0.40	StarExec error
GTSSK07/cade16.xml	YES 5.58/2.40	MAYBE 0.17/0.15	MAYBE 130.02/42.38	MAYBE 0.27/0.33	MAYBE 38.23/39.06
GTSSK07/cade12t.xml	StarExec error	MAYBE 0.32/0.28	MAYBE 130.67/42.38	MAYBE 10.45/10.46	StarExec error
GTSSK07/cade09.xml	YES 5.12/2.24	MAYBE 0.20/0.18	MAYBE 130.19/42.37	MAYBE 0.38/0.40	StarExec error
GTSSK07/cade10.xml	StarExec error	MAYBE 0.15/0.14	MAYBE 130.02/42.37	MAYBE 0.32/0.32	StarExec error
GTSSK07/cade06.xml	YES 5.98/2.47	MAYBE 0.18/0.15	MAYBE 129.68/42.37	MAYBE 0.34/0.39	timeout (wallclock)
GTSSK07/cade03.xml	YES 5.09/2.25	MAYBE 0.12/0.10	MAYBE 129.99/42.37	MAYBE 0.16/0.17	MAYBE 6.91/7.30
GTSSK07/cade04t.xml	StarExec error	MAYBE 0.10/0.09	MAYBE 101.18/25.63	MAYBE 0.13/0.13	MAYBE 151.14/152.72
GTSSK07/cade13t.xml	YES 5.95/2.34	MAYBE 0.21/0.18	MAYBE 130.01/42.38	MAYBE 0.35/0.36	MAYBE 159.03/163.68
GTSSK07/cade05t.xml	YES 5.87/2.79	MAYBE 0.21/0.19	MAYBE 130.05/42.37	MAYBE 0.24/0.24	StarExec error
GTSSK07/cade17.xml	StarExec error	MAYBE 0.45/0.42	MAYBE 130.61/42.38	MAYBE 0.71/0.76	StarExec error
GTSSK07/cade08.xml	StarExec error	MAYBE 0.21/0.17	MAYBE 130.00/42.38	MAYBE 0.69/0.70	StarExec error
GTSSK07/cade07.xml	YES 7.66/3.12	MAYBE 0.24/0.20	MAYBE 130.00/42.39	MAYBE 0.33/0.34	MAYBE 15.18/16.36
GTSSK07/cade15.xml	YES 12.62/5.68	MAYBE 0.39/0.33	MAYBE 136.65/42.39	MAYBE 0.59/0.62	StarExec error
Endrullis_06/linear1.xml	YES 4.91/2.08	YES 0.15/0.12	YES 6.69/2.02	MAYBE 0.68/0.68	YES 1.34/1.37
Endrullis_06/linear2.xml	YES 11.08/3.59	MAYBE 1.53/1.11	YES 14.33/4.03	MAYBE 11.65/11.66	timeout (wallclock)
Endrullis_06/pair3hard.xml	YES 8.93/3.23	MAYBE 0.28/0.20	MAYBE 129.89/42.37	MAYBE 0.22/0.22	timeout (wallclock)
Endrullis_06/pair3rotate.xml	YES 4.94/2.00	YES 0.04/0.03	StarExec error	YES 0.75/0.75	YES 0.07/0.49
Endrullis_06/pair2simple2.xml	StarExec error	YES 0.09/0.07	MAYBE 129.29/42.38	YES 0.13/0.15	StarExec error
Endrullis_06/pair2hard.xml	YES 100.04/39.75	MAYBE 0.43/0.37	StarExec error	MAYBE 0.50/0.51	StarExec error
Endrullis_06/direct.xml	YES 4.86/2.05	YES 0.25/0.19	YES 0.80/0.49	MAYBE 1.10/1.12	YES 0.06/0.07
Endrullis_06/pair2simple1.xml	YES 3.65/1.68	YES 0.04/0.05	YES 0.97/0.54	YES 0.05/0.05	YES 1.45/1.48
Endrullis_06/labeling.xml	YES 15.69/5.32	MAYBE 0.12/0.09	StarExec error	MAYBE 0.15/0.16	MAYBE 98.32/98.90
Endrullis_06/quadruple2.xml	YES 18.69/9.93	MAYBE 0.52/0.40	YES 0.98/0.54	MAYBE 1.74/1.74	StarExec error
Endrullis_06/pair3swap.xml	YES 5.25/2.11	MAYBE 0.87/0.66	YES 10.39/2.98	MAYBE 1.32/1.33	YES 0.16/0.19
Endrullis_06/quadruple1.xml	YES 4.81/2.22	YES 0.28/0.21	YES 2.45/0.95	MAYBE 3.66/3.67	StarExec error
Hydras/lepper_8.xml	StarExec error	MAYBE 166.12/154.93	MAYBE 167.43/43.07	StarExec error	timeout (wallclock)
Hydras/worm_wrong.xml	YES 65.11/26.36	MAYBE 0.47/0.40	YES 14.41/4.01	MAYBE 0.82/0.84	StarExec error
Hydras/lepper_4.xml	timeout (wallclock)	MAYBE 10.24/8.38	MAYBE 166.89/42.53	MAYBE 17.00/17.01	StarExec error
Hydras/lepper_2.xml	NO 91.62/33.85	MAYBE 2.32/1.80	NO 26.77/7.34	MAYBE 2.92/2.93	StarExec error
Hydras/worm_fixed2.xml	StarExec error	StarExec error	YES 63.30/16.26	MAYBE 0.67/0.67	StarExec error
Hydras/hydra_touzet.xml	StarExec error	MAYBE 0.44/0.38	StarExec error	MAYBE 0.50/0.50	StarExec error
Hydras/hydra_buchholz.xml	StarExec error	MAYBE 0.27/0.21	MAYBE 143.05/42.41	MAYBE 0.72/0.73	MAYBE 37.62/38.68
Hydras/lepper_0.xml	StarExec error	MAYBE 0.41/0.38	MAYBE 130.41/42.38	MAYBE 0.41/0.41	MAYBE 265.44/277.39
Hydras/lepper_5.xml	timeout (wallclock)	MAYBE 24.90/21.81	StarExec error	StarExec error	StarExec error
Hydras/lepper_9.xml	timeout (wallclock)	timeout (wallclock)	MAYBE 167.56/43.58	StarExec error	timeout (wallclock)
Hydras/worm_fixed.xml	StarExec error	MAYBE 0.34/0.27	YES 57.66/14.87	MAYBE 0.65/0.66	StarExec error
Hydras/worm_fixed3.xml	StarExec error	MAYBE 0.49/0.42	MAYBE 131.05/42.38	MAYBE 0.75/0.76	StarExec error
Hydras/lepper_6.xml	timeout (wallclock)	MAYBE 49.58/44.52	MAYBE 167.45/43.09	MAYBE 116.17/116.25	StarExec error
Hydras/lepper_10.xml	StarExec error	StarExec error	MAYBE 166.02/44.01	StarExec error	timeout (wallclock)
Hydras/goodstein.xml	StarExec error	MAYBE 0.94/0.72	YES 70.27/18.01	MAYBE 0.73/0.73	timeout (wallclock)
Hydras/lepper_3.xml	NO 442.97/150.93	MAYBE 4.59/3.56	MAYBE 167.12/42.49	MAYBE 6.23/6.23	StarExec error
Hydras/lepper_1.xml	timeout (wallclock)	MAYBE 1.05/0.82	MAYBE 147.99/42.43	MAYBE 1.03/1.04	timeout (wallclock)
HirokawaMiddeldorp_04/t005.xml	YES 7.20/2.81	YES 0.15/0.13	YES 16.56/5.03	YES 1.11/1.14	YES 0.29/0.29
HirokawaMiddeldorp_04/t003.xml	YES 4.18/1.91	YES 0.06/0.05	YES 2.96/1.11	YES 0.13/0.15	YES 0.03/0.04
HirokawaMiddeldorp_04/t011.xml	YES 3.52/1.60	YES 0.02/0.02	YES 0.54/0.42	YES 0.02/0.06	YES 0.01/0.01
HirokawaMiddeldorp_04/t008.xml	YES 8.56/2.91	YES 0.04/0.04	YES 1.39/0.66	MAYBE 0.14/0.16	YES 0.05/0.07
HirokawaMiddeldorp_04/n006.xml	NO 3.22/1.50	NO 0.04/0.05	NO 0.34/0.35	MAYBE 0.03/0.05	MAYBE 0.42/0.48
HirokawaMiddeldorp_04/n005.xml	NO 3.29/5.59	NO 0.05/0.04	StarExec error	MAYBE 0.02/0.03	StarExec error
HirokawaMiddeldorp_04/t004.xml	StarExec error	YES 0.03/0.04	YES 3.00/1.08	MAYBE 0.14/0.14	StarExec error
HirokawaMiddeldorp_04/n007.xml	NO 4.04/1.84	NO 0.06/0.05	NO 0.35/0.35	MAYBE 0.04/0.07	NO 0.01/0.01
HirokawaMiddeldorp_04/t013.xml	YES 4.14/1.78	YES 0.04/0.04	YES 1.32/0.62	YES 0.08/0.08	YES 0.05/0.05
HirokawaMiddeldorp_04/t002.xml	YES 4.95/2.09	MAYBE 0.11/0.09	YES 104.40/26.52	MAYBE 0.48/0.49	YES 0.14/0.17
HirokawaMiddeldorp_04/n002.xml	NO 3.27/1.47	NO 0.01/0.01	NO 0.35/0.35	MAYBE 0.02/0.03	NO 0.01/0.02
HirokawaMiddeldorp_04/t006.xml	YES 3.32/1.57	YES 0.01/0.01	YES 0.48/0.40	YES 0.01/0.02	YES 0.01/0.01
HirokawaMiddeldorp_04/t001.xml	YES 5.18/2.17	YES 0.08/0.08	YES 5.66/1.77	MAYBE 1.86/1.89	YES 0.09/0.30
HirokawaMiddeldorp_04/t010.xml	YES 3.92/1.67	YES 0.02/0.05	YES 0.52/0.41	YES 0.01/0.02	YES 0.01/0.01
HirokawaMiddeldorp_04/t007.xml	YES 4.34/1.79	YES 0.03/0.03	YES 0.60/0.44	YES 0.03/0.05	YES 0.01/0.01
HirokawaMiddeldorp_04/t014.xml	YES 4.00/1.78	YES 0.04/0.03	YES 2.88/1.06	YES 0.09/0.10	YES 0.03/0.04
HirokawaMiddeldorp_04/n003.xml	NO 6.10/2.29	NO 0.04/0.04	NO 0.35/0.35	MAYBE 0.03/0.03	NO 0.07/0.11
HirokawaMiddeldorp_04/t012.xml	YES 4.00/1.74	YES 0.03/0.03	YES 1.49/0.73	YES 0.13/0.15	YES 0.21/0.19
HirokawaMiddeldorp_04/n004.xml	NO 10.65/3.49	NO 0.01/0.01	NO 0.35/0.35	MAYBE 0.03/0.04	NO 0.01/0.01
HirokawaMiddeldorp_04/t009.xml	YES 14.87/7.34	YES 4.84/4.78	MAYBE 40.81/11.32	MAYBE 181.22/181.24	timeout (wallclock)
HirokawaMiddeldorp_04/n008.xml	NO 6.38/2.41	NO 0.01/0.01	NO 0.35/0.35	MAYBE 0.04/0.06	NO 0.01/0.01
HirokawaMiddeldorp_04/t000.xml	YES 4.35/1.85	YES 0.19/0.18	YES 5.45/1.82	YES 0.44/0.46	YES 0.24/0.24
CiME_04/filliatre2.xml	YES 4.16/1.77	YES 0.09/0.09	YES 3.18/1.13	YES 0.29/0.33	YES 0.09/0.16
CiME_04/tree.xml	YES 5.32/2.18	YES 1.98/1.96	YES 14.41/4.26	YES 0.78/0.78	YES 0.19/0.19
CiME_04/boolean_rings.xml	YES 3.66/1.65	YES 0.03/0.03	YES 0.86/0.51	YES 0.08/0.09	YES 0.01/0.02
CiME_04/intersect.xml	YES 3.88/1.77	YES 0.06/0.05	YES 3.92/1.39	YES 0.23/0.23	YES 0.07/0.07
CiME_04/append-hard.xml	YES 4.41/1.89	YES 0.06/0.05	StarExec error	MAYBE 0.13/0.14	YES 0.05/0.06
CiME_04/ack_prolog.xml	YES 3.66/1.65	YES 0.05/0.04	YES 0.95/0.56	YES 0.08/0.08	YES 0.01/0.01
CiME_04/ternary-hard.xml	YES 4.74/1.97	YES 0.11/0.13	YES 10.75/3.20	YES 0.33/0.34	YES 0.72/0.83
CiME_04/filliatre.xml	YES 4.81/1.94	YES 0.11/0.11	YES 2.47/0.94	YES 0.24/0.25	YES 0.08/0.09
CiME_04/append.xml	YES 3.55/1.59	YES 0.03/0.03	YES 0.78/0.50	YES 0.05/0.06	YES 0.01/0.01
CiME_04/fact-hard.xml	YES 6.95/2.80	MAYBE 0.19/0.16	MAYBE 102.01/25.87	MAYBE 0.30/0.30	YES 4.56/8.89
CiME_04/list-sum-prod-bin-assoc.xml	YES 4.04/1.79	YES 0.06/0.05	YES 8.23/2.49	YES 0.19/0.23	YES 0.22/0.32
CiME_04/list-sum-prod-assoc-append.xml	YES 3.94/1.78	YES 0.06/0.05	YES 1.84/0.86	YES 0.52/0.55	YES 0.01/0.02
CiME_04/dpqs.xml	YES 3.13/1.50	YES 0.04/0.04	YES 0.95/0.60	YES 0.06/0.06	YES 0.01/0.03
CiME_04/ternary.xml	YES 4.47/2.71	YES 0.09/0.08	YES 10.45/3.06	YES 0.28/0.29	YES 0.75/0.81
CiME_04/filliatre3.xml	YES 4.37/1.91	YES 0.06/0.05	YES 7.74/2.28	YES 0.26/0.26	YES 0.09/0.10
CiME_04/list-sum-prod.xml	YES 3.74/1.65	YES 0.04/0.03	YES 1.29/0.66	YES 0.10/0.81	StarExec error
CiME_04/lse.xml	YES 4.71/1.88	YES 0.06/0.05	YES 8.96/2.74	YES 0.49/0.50	YES 24.84/26.65
CiME_04/mucrl1.xml	YES 7.57/3.38	YES 0.81/0.74	YES 13.50/4.50	YES 111.79/112.27	YES 0.26/0.26
CiME_04/maude2.xml	timeout (wallclock)	MAYBE 0.29/0.24	MAYBE 168.17/42.45	MAYBE 0.70/0.70	MAYBE 1.94/2.10
CiME_04/log2.xml	YES 5.35/2.06	YES 0.22/0.21	YES 18.03/5.20	YES 0.54/0.55	YES 0.28/0.29
CiME_04/append-wrong.xml	NO 5.48/2.31	MAYBE 0.12/0.10	NO 1.06/0.66	MAYBE 0.16/0.16	MAYBE 2.88/3.00
CiME_04/list-sum-prod-assoc.xml	YES 3.86/1.74	YES 0.05/0.04	YES 1.34/0.66	YES 0.19/0.20	YES 0.01/0.02
CiME_04/list-sum-prod-bin.xml	YES 4.02/1.77	YES 0.06/0.05	YES 5.28/1.71	YES 0.16/0.17	YES 0.09/0.09
CiME_04/big.xml	StarExec error	YES 0.24/0.22	YES 25.49/7.53	YES 1.35/1.36	YES 0.42/0.42
CiME_04/list-sum-prod-bin-assoc-distr-app.xml	YES 4.57/1.90	StarExec error	YES 9.78/2.88	YES 0.27/0.34	YES 0.22/0.26
Beerendonk_07/12.xml	YES 6.50/2.69	MAYBE 0.18/0.15	MAYBE 129.81/42.38	MAYBE 0.30/0.30	MAYBE 25.18/27.70
Beerendonk_07/10.xml	YES 5.61/2.64	YES 0.12/0.10	YES 7.76/2.31	MAYBE 1.34/1.35	YES 0.11/0.14
Beerendonk_07/14.xml	YES 6.79/2.84	MAYBE 0.16/0.13	MAYBE 130.00/42.37	MAYBE 0.30/0.31	MAYBE 16.48/18.44
Beerendonk_07/13.xml	YES 6.61/2.69	MAYBE 0.18/0.14	MAYBE 129.78/42.37	MAYBE 0.35/0.38	MAYBE 24.73/26.29
Beerendonk_07/3.xml	YES 4.98/2.16	MAYBE 0.13/0.11	MAYBE 129.73/42.37	MAYBE 0.17/0.18	StarExec error
Beerendonk_07/20.xml	YES 4.23/1.82	MAYBE 0.39/0.34	MAYBE 130.41/42.38	MAYBE 5.22/5.23	StarExec error
Beerendonk_07/7.xml	YES 4.36/1.85	YES 0.06/0.07	YES 3.19/1.11	MAYBE 0.19/0.20	YES 0.04/0.05
Beerendonk_07/1.xml	YES 4.41/1.83	YES 0.06/0.05	YES 2.93/1.05	MAYBE 0.14/0.16	YES 0.04/0.05
Beerendonk_07/17.xml	YES 25.58/13.18	MAYBE 0.45/0.39	MAYBE 137.76/42.38	StarExec error	YES 141.11/142.75
Beerendonk_07/23.xml	StarExec error	YES 0.13/0.12	YES 6.04/1.86	MAYBE 0.41/0.43	YES 0.12/0.14
Beerendonk_07/19.xml	YES 16.43/5.78	MAYBE 0.78/0.71	MAYBE 139.67/42.38	MAYBE 2.50/2.66	timeout (wallclock)
Beerendonk_07/16.xml	YES 22.23/11.70	MAYBE 0.53/0.46	MAYBE 142.56/42.38	MAYBE 0.94/0.96	YES 60.23/60.88
Beerendonk_07/5.xml	YES 4.65/1.96	YES 0.08/0.07	YES 4.35/1.43	MAYBE 1.05/1.06	YES 0.07/0.10
Beerendonk_07/11.xml	YES 7.20/2.91	MAYBE 0.20/0.16	MAYBE 130.00/42.38	MAYBE 0.69/0.69	MAYBE 32.41/33.40
Beerendonk_07/2.xml	YES 4.37/1.90	YES 0.07/0.06	YES 2.62/0.98	MAYBE 0.23/0.65	YES 0.05/0.08
Beerendonk_07/8.xml	YES 4.11/1.78	YES 0.09/0.07	YES 3.88/1.29	MAYBE 4.70/4.71	YES 0.07/0.10
Beerendonk_07/18.xml	YES 4.73/2.70	MAYBE 0.60/0.54	MAYBE 135.40/42.38	MAYBE 5.65/5.99	timeout (wallclock)
Beerendonk_07/6.xml	YES 4.31/1.85	YES 0.06/0.05	YES 2.30/0.88	MAYBE 0.12/0.14	YES 0.04/0.04
Beerendonk_07/21.xml	StarExec error	MAYBE 0.45/0.39	MAYBE 129.98/42.38	MAYBE 1.79/1.81	StarExec error
Beerendonk_07/9.xml	YES 4.59/1.91	YES 0.09/0.08	YES 3.03/1.09	MAYBE 1.92/1.92	YES 0.06/0.08
Beerendonk_07/4.xml	YES 4.78/2.14	MAYBE 0.09/0.08	StarExec error	MAYBE 0.12/0.14	MAYBE 2.07/2.20
Beerendonk_07/24.xml	YES 43.75/16.00	MAYBE 1.28/1.21	MAYBE 134.92/42.38	MAYBE 4.25/4.27	YES 51.87/52.66
Beerendonk_07/15.xml	YES 11.39/4.56	MAYBE 0.40/0.34	MAYBE 133.80/42.38	MAYBE 1.46/1.46	StarExec error
Beerendonk_07/22.xml	YES 5.62/2.19	YES 0.11/0.09	YES 4.84/1.56	MAYBE 0.52/0.52	YES 0.13/0.66
EEG_IJCAR_12/emmes-nonloop-ex7_5.xml	StarExec error	MAYBE 1.92/1.86	MAYBE 136.68/42.38	MAYBE 3.79/3.79	StarExec error
EEG_IJCAR_12/enger-nonloop-swap_decr.xml	NO 35.39/12.17	MAYBE 0.14/0.12	MAYBE 129.85/42.37	MAYBE 0.20/0.21	MAYBE 6.34/6.74
EEG_IJCAR_12/emmes-nonloop-ex6_1.xml	NO 31.74/11.99	MAYBE 0.14/0.12	MAYBE 129.67/42.37	MAYBE 0.21/0.22	MAYBE 141.99/154.50
EEG_IJCAR_12/emmes-nonloop-ex4_1.xml	NO 23.26/12.15	MAYBE 0.13/0.11	MAYBE 129.92/42.38	MAYBE 0.33/0.37	MAYBE 16.36/17.55
EEG_IJCAR_12/enger-nonloop-isList-List.xml	StarExec error	MAYBE 0.09/0.07	MAYBE 129.68/42.38	MAYBE 0.11/0.13	MAYBE 18.96/19.28
EEG_IJCAR_12/enger-nonloop-isDNat.xml	NO 37.11/11.80	MAYBE 0.09/0.08	MAYBE 129.61/42.37	MAYBE 0.12/0.17	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex2_4.xml	NO 66.67/22.60	MAYBE 0.17/0.17	MAYBE 129.95/42.37	MAYBE 0.32/0.33	MAYBE 296.13/297.51
EEG_IJCAR_12/emmes-nonloop-ex2_5.xml	NO 62.26/22.22	MAYBE 0.20/0.17	MAYBE 130.31/42.38	MAYBE 0.32/0.33	timeout (wallclock)
EEG_IJCAR_12/enger-nonloop-add.xml	NO 35.08/14.19	MAYBE 0.16/0.14	MAYBE 129.97/42.37	MAYBE 0.28/0.29	StarExec error
EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml	StarExec error	MAYBE 0.43/0.38	MAYBE 133.35/42.39	MAYBE 1.14/1.15	MAYBE 6.50/6.59
EEG_IJCAR_12/emmes-nonloop-ex7_2.xml	NO 102.63/28.39	MAYBE 0.57/0.52	MAYBE 130.33/42.38	MAYBE 2.58/2.59	StarExec error
EEG_IJCAR_12/enger-nonloop-toOne.xml	NO 40.33/12.29	MAYBE 0.38/0.35	MAYBE 130.26/42.38	MAYBE 0.65/1.35	MAYBE 82.63/82.98
EEG_IJCAR_12/emmes-nonloop-ex1_2.xml	StarExec error	MAYBE 0.19/0.16	MAYBE 130.25/42.37	MAYBE 0.41/0.41	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex1_1.xml	NO 39.09/12.41	MAYBE 0.14/0.12	MAYBE 129.16/42.37	MAYBE 0.23/0.23	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex3_4.xml	StarExec error	MAYBE 0.16/0.13	MAYBE 130.12/42.39	MAYBE 0.29/0.34	MAYBE 2.90/3.00
EEG_IJCAR_12/emmes-nonloop-ex1_5.xml	NO 38.91/12.07	MAYBE 0.17/0.15	MAYBE 129.94/42.38	MAYBE 0.28/0.29	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex2_1.xml	StarExec error	MAYBE 0.16/0.14	MAYBE 130.14/42.38	MAYBE 0.26/0.29	StarExec error
EEG_IJCAR_12/enger-nonloop-isTrueList.xml	NO 29.27/11.65	MAYBE 0.09/0.07	MAYBE 129.71/42.37	MAYBE 0.12/0.13	MAYBE 3.52/3.70
EEG_IJCAR_12/emmes-nonloop-ex7_1.xml	NO 69.38/18.98	MAYBE 0.37/0.33	MAYBE 130.13/42.38	MAYBE 0.68/0.68	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex2_2.xml	NO 31.12/13.09	MAYBE 0.15/0.13	MAYBE 129.98/42.38	MAYBE 0.24/0.24	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex7_4.xml	StarExec error	MAYBE 0.51/0.46	MAYBE 131.83/42.38	MAYBE 2.91/2.94	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex4_4.xml	NO 22.97/12.46	MAYBE 0.17/0.14	MAYBE 130.08/42.38	MAYBE 0.37/0.38	MAYBE 12.17/12.89
EEG_IJCAR_12/emmes-nonloop-ex7_6.xml	StarExec error	MAYBE 2.09/2.04	MAYBE 136.10/42.38	MAYBE 4.57/4.58	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex4_2.xml	NO 28.31/13.32	MAYBE 0.17/0.14	MAYBE 129.80/42.38	MAYBE 0.47/0.49	MAYBE 134.96/136.13
EEG_IJCAR_12/enger-nonloop-isList.xml	NO 30.34/11.84	MAYBE 0.08/0.07	MAYBE 129.64/42.39	MAYBE 0.10/0.17	MAYBE 3.16/3.87
EEG_IJCAR_12/emmes-nonloop-ex7_3.xml	StarExec error	MAYBE 1.29/1.25	MAYBE 130.87/42.38	MAYBE 4.04/4.05	StarExec error
EEG_IJCAR_12/enger-nonloop-swapXY.xml	NO 37.71/12.19	MAYBE 0.10/0.09	MAYBE 129.70/42.41	MAYBE 0.15/0.16	MAYBE 33.92/34.07
EEG_IJCAR_12/emmes-nonloop-ex5_1.xml	NO 32.14/14.39	MAYBE 0.24/0.20	MAYBE 130.25/42.37	MAYBE 0.91/0.99	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex3_1.xml	NO 39.00/11.91	MAYBE 0.12/0.10	MAYBE 129.52/42.38	MAYBE 0.22/0.23	StarExec error
EEG_IJCAR_12/enger-nonloop-addTrue.xml	NO 34.97/12.83	MAYBE 0.16/0.14	MAYBE 129.89/42.38	MAYBE 0.29/0.33	StarExec error
EEG_IJCAR_12/enger-nonloop-while-lt.xml	NO 34.86/11.75	MAYBE 0.11/0.09	MAYBE 129.81/42.38	MAYBE 0.15/0.45	MAYBE 36.82/37.25
EEG_IJCAR_12/emmes-nonloop-ex3_2.xml	NO 43.07/12.15	MAYBE 0.09/0.08	MAYBE 129.46/42.37	MAYBE 0.19/0.20	MAYBE 2.38/2.51
EEG_IJCAR_12/emmes-nonloop-ex7_9.xml	StarExec error	MAYBE 0.45/0.40	MAYBE 131.86/42.38	MAYBE 2.97/3.09	StarExec error
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml	NO 36.23/12.39	MAYBE 0.41/0.36	MAYBE 131.13/42.39	MAYBE 6.01/6.03	StarExec error
EEG_IJCAR_12/enger-nonloop-swapXY2.xml	NO 31.26/11.78	MAYBE 0.10/0.08	MAYBE 129.68/42.40	MAYBE 0.12/0.14	MAYBE 4.95/5.56
EEG_IJCAR_12/emmes-nonloop-ex7_7.xml	NO 101.09/27.49	MAYBE 0.47/0.42	MAYBE 130.40/42.38	MAYBE 2.62/2.67	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex1_4.xml	NO 39.94/12.19	MAYBE 0.18/0.15	MAYBE 130.04/42.38	MAYBE 0.33/0.34	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex5_3.xml	NO 30.90/14.32	MAYBE 0.21/0.17	MAYBE 130.05/42.37	MAYBE 0.53/0.90	MAYBE 42.77/43.16
EEG_IJCAR_12/emmes-nonloop-ex6_2.xml	NO 33.12/11.97	MAYBE 0.16/0.13	MAYBE 131.60/42.38	MAYBE 0.33/0.34	MAYBE 95.28/98.33
EEG_IJCAR_12/emmes-nonloop-ex5_2.xml	NO 28.17/12.98	MAYBE 0.25/0.21	MAYBE 130.12/42.37	MAYBE 2.07/2.10	StarExec error
EEG_IJCAR_12/enger-nonloop-ex_payet.xml	StarExec error	MAYBE 0.29/0.25	MAYBE 129.83/42.38	MAYBE 0.84/0.85	MAYBE 57.44/62.01
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml	StarExec error	MAYBE 0.45/0.37	MAYBE 130.78/42.42	MAYBE 4.83/4.85	StarExec error
EEG_IJCAR_12/enger-nonloop-swapX.xml	NO 37.24/11.83	MAYBE 0.09/0.08	MAYBE 129.63/42.40	MAYBE 0.12/0.14	MAYBE 9.55/9.72
EEG_IJCAR_12/emmes-nonloop-ex4_3.xml	NO 28.70/13.70	MAYBE 0.18/0.15	MAYBE 129.96/42.38	MAYBE 0.49/0.50	MAYBE 62.76/64.26
EEG_IJCAR_12/emmes-nonloop-ex1_3.xml	StarExec error	MAYBE 0.20/0.17	MAYBE 130.05/42.38	StarExec error	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex3_3.xml	NO 43.58/12.65	MAYBE 0.14/0.12	MAYBE 129.60/42.38	MAYBE 0.34/0.63	MAYBE 3.02/3.63
EEG_IJCAR_12/emmes-nonloop-ex7_8.xml	StarExec error	MAYBE 1.46/1.42	MAYBE 130.69/42.38	MAYBE 3.89/3.92	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex2_3.xml	StarExec error	MAYBE 0.14/0.11	MAYBE 129.87/42.37	MAYBE 0.23/0.25	MAYBE 106.55/108.11
EEG_IJCAR_12/enger-nonloop-unbounded.xml	NO 35.59/11.79	MAYBE 0.12/0.10	MAYBE 129.82/42.39	MAYBE 0.21/0.63	MAYBE 36.67/37.57
Der95/03.xml	YES 3.63/1.65	YES 0.01/0.01	YES 0.78/0.48	YES 0.01/0.01	YES 0.01/0.01
Der95/01.xml	YES 3.46/1.55	YES 0.02/0.02	YES 0.61/0.43	YES 0.02/0.02	YES 0.01/0.01
Der95/12.xml	YES 3.62/1.67	YES 0.03/0.03	YES 2.01/0.91	YES 0.21/0.22	StarExec error
Der95/27.xml	YES 3.33/1.52	YES 0.02/0.01	YES 0.59/0.43	YES 0.01/0.02	YES 0.01/0.01
Der95/06.xml	YES 3.45/1.56	YES 0.02/0.02	YES 0.97/0.53	YES 0.02/0.02	StarExec error
Der95/02.xml	YES 3.60/1.57	YES 0.02/0.02	YES 0.56/0.42	YES 0.02/0.02	YES 0.01/0.02
Der95/13.xml	YES 26.81/13.10	MAYBE 0.19/0.17	MAYBE 101.29/25.67	YES 0.17/0.17	YES 0.48/0.49
Der95/20.xml	YES 3.62/1.64	YES 0.03/0.03	YES 0.89/0.51	YES 0.11/0.12	YES 0.21/0.20
Der95/04.xml	YES 4.16/1.75	YES 0.01/0.01	YES 1.09/0.56	YES 0.01/0.02	YES 0.01/0.01
Der95/17.xml	YES 3.42/1.56	YES 0.03/0.03	YES 0.98/0.54	YES 0.04/0.07	YES 0.01/0.01
Der95/08.xml	YES 3.68/1.63	YES 0.03/0.03	YES 1.10/0.62	YES 0.11/0.12	YES 0.01/0.01
Der95/28.xml	YES 3.44/1.55	YES 0.02/0.03	YES 0.72/0.48	YES 0.04/0.05	YES 0.01/0.01
Der95/09.xml	YES 3.47/1.52	YES 0.01/0.01	YES 0.37/0.36	YES 0.01/0.02	YES 0.01/0.01
Der95/33.xml	StarExec error	MAYBE 0.45/0.38	MAYBE 105.90/29.45	MAYBE 0.74/0.75	StarExec error
Der95/11.xml	YES 4.05/1.75	YES 0.04/0.04	YES 2.11/0.91	YES 0.38/0.38	YES 0.02/0.02
Der95/07.xml	YES 6.80/2.57	YES 0.02/0.02	YES 1.02/0.54	YES 0.01/0.02	YES 0.01/0.01
Der95/18.xml	YES 3.53/1.64	YES 0.03/0.02	YES 0.64/0.45	YES 0.02/0.03	YES 0.01/0.01
Der95/21.xml	YES 3.72/1.65	YES 0.05/0.04	YES 2.35/0.89	MAYBE 0.13/0.15	YES 0.04/0.04
Der95/31.xml	YES 3.62/1.63	YES 0.03/0.03	YES 2.22/0.88	YES 0.06/0.06	YES 0.01/0.01
Der95/30.xml	YES 3.56/1.62	YES 0.23/0.18	YES 0.38/0.37	YES 0.07/0.07	MAYBE 2.38/2.98
Der95/32.xml	YES 4.03/1.83	YES 0.04/0.04	YES 0.95/0.54	YES 0.11/0.13	YES 0.01/0.02
Secret_07_TRS/aprove07.xml	YES 7.00/2.61	MAYBE 0.26/0.22	MAYBE 132.95/42.38	MAYBE 0.49/0.49	MAYBE 1.94/2.10
Secret_07_TRS/secret3.xml	YES 3.86/1.73	YES 0.06/0.05	YES 3.46/1.22	YES 0.34/0.35	YES 0.03/0.05
Secret_07_TRS/aprove04.xml	YES 11.33/3.90	MAYBE 0.19/0.15	MAYBE 168.17/42.47	MAYBE 0.77/0.78	MAYBE 5.04/5.15
Secret_07_TRS/3.xml	YES 48.51/17.83	MAYBE 0.08/0.07	YES 11.88/3.52	MAYBE 4.40/4.40	StarExec error
Secret_07_TRS/7.xml	NO 383.82/125.67	MAYBE 1.96/1.35	MAYBE 138.65/42.37	MAYBE 6.27/6.28	StarExec error
Secret_07_TRS/aprove02.xml	YES 9.15/3.25	MAYBE 0.23/0.19	MAYBE 167.95/42.45	MAYBE 0.45/0.45	MAYBE 1.87/2.10
Secret_07_TRS/1.xml	YES 29.93/10.52	MAYBE 0.06/0.05	YES 5.25/1.72	MAYBE 0.31/0.32	StarExec error
Secret_07_TRS/aprove10.xml	YES 36.04/15.59	MAYBE 0.47/0.42	MAYBE 134.33/42.38	MAYBE 1.47/1.50	MAYBE 83.37/83.80
Secret_07_TRS/aprove08.xml	YES 18.13/5.94	MAYBE 0.67/0.59	MAYBE 141.52/42.39	MAYBE 2.69/2.70	MAYBE 91.07/91.62
Secret_07_TRS/secret2.xml	YES 3.73/1.67	YES 0.06/0.06	YES 1.57/0.76	YES 0.56/0.57	YES 0.02/0.02
Secret_07_TRS/aprove09.xml	YES 14.07/4.88	MAYBE 0.24/0.21	MAYBE 167.86/42.44	MAYBE 0.52/0.52	MAYBE 12.62/12.81
Secret_07_TRS/aprove01.xml	StarExec error	MAYBE 0.25/0.22	MAYBE 168.88/42.63	MAYBE 0.86/0.89	timeout (wallclock)
Secret_07_TRS/5.xml	YES 47.14/17.60	MAYBE 0.26/0.21	YES 18.42/5.37	MAYBE 22.64/22.65	timeout (wallclock)
Secret_07_TRS/aprove06.xml	YES 18.70/6.34	MAYBE 0.51/0.45	MAYBE 148.80/42.38	MAYBE 0.77/0.77	MAYBE 32.51/33.26
Secret_07_TRS/aprove03.xml	StarExec error	MAYBE 0.75/0.65	MAYBE 157.94/42.42	MAYBE 3.03/3.06	MAYBE 20.96/21.24
Secret_07_TRS/2.xml	YES 104.34/31.80	MAYBE 0.07/0.06	YES 17.63/4.97	MAYBE 1.92/1.94	timeout (wallclock)
Secret_07_TRS/secret5.xml	YES 4.89/2.01	YES 0.07/0.06	YES 10.88/3.17	YES 0.29/0.32	YES 0.13/0.12
Secret_07_TRS/secret4.xml	YES 3.99/1.73	YES 0.09/0.08	YES 3.47/1.25	YES 0.60/0.60	YES 0.04/0.05
Secret_07_TRS/4.xml	YES 19.56/5.99	MAYBE 0.25/0.20	YES 15.44/4.41	MAYBE 0.35/0.38	timeout (wallclock)
Secret_07_TRS/aprove05.xml	YES 7.56/2.77	MAYBE 0.33/0.28	MAYBE 132.75/42.38	MAYBE 0.53/0.53	MAYBE 2.68/2.85
Secret_07_TRS/secret1.xml	YES 4.27/1.79	YES 0.05/0.05	YES 2.69/1.09	YES 0.41/0.42	StarExec error
Secret_06_TRS/gen-25.xml	YES 32.27/14.53	MAYBE 0.33/0.25	YES 9.81/2.83	MAYBE 0.47/0.47	StarExec error
Secret_06_TRS/10.xml	YES 9.58/3.38	MAYBE 0.43/0.46	YES 2.83/1.05	MAYBE 0.39/0.39	StarExec error
Secret_06_TRS/division.xml	YES 9.07/3.63	MAYBE 0.25/0.21	MAYBE 130.23/42.40	MAYBE 0.38/0.39	timeout (wallclock)
Secret_06_TRS/gen-28.xml	YES 31.14/14.11	YES 0.05/0.05	YES 2.54/0.99	YES 0.09/0.10	MAYBE 57.19/57.78
Secret_06_TRS/cime1.xml	timeout (wallclock)	MAYBE 0.30/0.24	MAYBE 136.34/42.39	MAYBE 0.56/0.57	MAYBE 32.27/34.93
Secret_06_TRS/tpa10.xml	YES 5.34/2.21	MAYBE 0.32/0.27	YES 112.36/28.53	MAYBE 21.11/21.12	StarExec error
Secret_06_TRS/3.xml	StarExec error	MAYBE 0.42/0.36	MAYBE 134.80/42.37	MAYBE 10.26/10.26	StarExec error
Secret_06_TRS/7.xml	YES 6.81/2.74	YES 0.02/0.02	YES 0.82/0.49	YES 0.05/0.05	YES 0.60/0.83
Secret_06_TRS/tpa07.xml	StarExec error	MAYBE 0.21/0.17	MAYBE 130.28/42.37	MAYBE 4.52/4.52	StarExec error
Secret_06_TRS/gen-9.xml	YES 5.07/2.06	YES 0.18/0.13	YES 6.31/1.94	MAYBE 0.76/0.77	YES 0.30/0.33
Secret_06_TRS/tpa02.xml	YES 7.45/2.88	MAYBE 0.11/0.09	MAYBE 102.24/25.88	MAYBE 0.08/0.98	MAYBE 4.15/5.79
Secret_06_TRS/tpa04.xml	StarExec error	StarExec error	MAYBE 133.87/42.39	MAYBE 14.15/14.17	StarExec error
Secret_06_TRS/tpa09.xml	StarExec error	MAYBE 0.31/0.27	MAYBE 130.73/42.38	StarExec error	StarExec error
Secret_06_TRS/gen-17.xml	YES 3.87/1.74	YES 0.04/0.04	YES 3.50/1.29	YES 0.23/0.23	YES 0.15/0.17
Secret_06_TRS/toList.xml	YES 23.70/11.20	MAYBE 0.36/0.31	StarExec error	MAYBE 22.69/22.69	StarExec error
Secret_06_TRS/reverse.xml	YES 6.91/2.79	YES 0.13/0.11	YES 4.95/1.61	MAYBE 0.31/0.31	StarExec error
Secret_06_TRS/gen-18.xml	YES 35.54/17.39	YES 0.10/0.08	YES 6.90/2.08	MAYBE 0.33/0.33	MAYBE 1.12/1.20
Secret_06_TRS/5.xml	YES 4.75/2.03	MAYBE 0.22/0.19	YES 10.34/2.97	MAYBE 0.34/0.34	StarExec error
Secret_06_TRS/tpa06.xml	YES 7.51/2.88	MAYBE 0.62/0.54	MAYBE 149.35/42.43	MAYBE 114.65/114.66	StarExec error
Secret_06_TRS/times.xml	YES 6.87/2.57	MAYBE 0.20/0.16	MAYBE 168.00/42.62	MAYBE 0.69/0.69	MAYBE 6.73/6.90
Secret_06_TRS/logarithm.xml	YES 12.63/7.37	YES 0.14/0.13	YES 111.40/28.28	MAYBE 1.16/1.17	MAYBE 28.97/29.09
Secret_06_TRS/tpa01.xml	YES 6.40/2.69	MAYBE 0.11/0.09	YES 3.49/1.24	MAYBE 0.07/0.09	MAYBE 0.62/0.74
Secret_06_TRS/2.xml	YES 38.03/15.21	MAYBE 0.39/0.36	YES 1.49/0.69	MAYBE 0.69/0.69	timeout (wallclock)
Secret_06_TRS/double.xml	YES 6.08/2.43	MAYBE 0.23/0.18	MAYBE 104.04/26.40	MAYBE 0.51/0.52	MAYBE 24.26/22.68
Secret_06_TRS/gen-22.xml	YES 5.90/2.34	YES 0.50/0.37	YES 10.87/3.14	MAYBE 0.86/0.96	YES 104.65/104.73
Secret_06_TRS/nrOfNodes.xml	YES 9.64/4.72	MAYBE 0.26/0.23	MAYBE 130.48/42.38	MAYBE 3.50/3.52	StarExec error
Secret_06_TRS/8.xml	YES 3.98/1.73	YES 0.15/0.13	YES 0.80/0.49	MAYBE 0.71/0.71	YES 0.07/0.07
Secret_06_TRS/divExp.xml	YES 4.60/1.90	MAYBE 0.12/0.09	MAYBE 103.14/26.12	MAYBE 0.33/0.36	YES 0.18/0.20
Secret_06_TRS/gen-10.xml	YES 4.38/1.87	YES 0.29/0.23	YES 2.99/1.10	MAYBE 1.31/1.66	StarExec error
Secret_06_TRS/tpa03.xml	YES 18.94/12.38	MAYBE 0.11/0.09	MAYBE 101.81/25.78	MAYBE 0.09/0.14	StarExec error
Secret_06_TRS/tpa05.xml	StarExec error	MAYBE 0.17/0.15	MAYBE 130.61/42.38	MAYBE 24.42/24.43	StarExec error
Secret_06_TRS/gen-15.xml	YES 5.19/2.10	YES 0.12/0.10	YES 8.44/2.48	MAYBE 0.30/0.30	YES 0.25/0.30
Secret_06_TRS/6.xml	YES 18.41/10.83	YES 0.88/0.62	YES 0.87/0.52	MAYBE 1.18/1.18	YES 35.14/35.41
Secret_06_TRS/9.xml	YES 5.64/3.16	YES 0.15/0.13	YES 0.82/0.50	MAYBE 0.28/0.29	YES 12.30/12.37
Secret_06_TRS/4.xml	YES 5.62/2.19	YES 0.16/0.13	YES 5.59/1.72	MAYBE 0.31/0.32	YES 2.47/2.71
Secret_06_TRS/sumList.xml	YES 8.71/3.71	YES 0.19/0.16	MAYBE 130.00/42.37	MAYBE 0.72/0.73	StarExec error
Secret_06_TRS/tpa08.xml	StarExec error	MAYBE 0.20/0.17	MAYBE 130.20/42.38	MAYBE 74.58/74.63	StarExec error
Secret_06_TRS/addList.xml	YES 11.96/4.60	YES 0.30/0.26	MAYBE 145.06/42.43	MAYBE 4.83/4.84	StarExec error
Secret_06_TRS/gen-1.xml	YES 6.22/2.38	YES 0.04/0.03	YES 1.14/0.59	MAYBE 0.30/0.31	YES 0.18/0.23
Secret_06_TRS/gen-14.xml	YES 4.79/1.97	YES 0.20/0.16	YES 6.93/2.12	MAYBE 0.36/0.36	StarExec error
Strategy_removed_AG01/#4.4.xml	NO 4.11/1.90	MAYBE 0.06/0.06	NO 0.68/0.45	MAYBE 0.08/0.10	MAYBE 0.10/0.15
Strategy_removed_AG01/#4.19.xml	StarExec error	MAYBE 0.18/0.15	MAYBE 102.06/25.86	MAYBE 0.21/0.25	StarExec error
Strategy_removed_AG01/#4.18.xml	NO 3.13/1.49	MAYBE 0.14/0.13	NO 1.10/0.56	MAYBE 0.26/0.29	StarExec error
Strategy_removed_AG01/#4.13.xml	NO 6.13/2.56	MAYBE 0.07/0.06	MAYBE 129.44/42.37	MAYBE 0.05/0.08	MAYBE 0.08/0.18
Strategy_removed_AG01/#4.27.xml	YES 3.74/1.73	YES 0.05/0.05	YES 2.71/1.00	MAYBE 0.26/0.27	YES 0.04/0.04
Strategy_removed_AG01/#4.17.xml	NO 4.75/2.13	MAYBE 0.15/0.13	NO 2.51/1.13	MAYBE 0.97/0.99	MAYBE 6.61/6.66
Strategy_removed_AG01/#4.22.xml	YES 3.55/1.59	YES 0.02/0.02	YES 0.93/0.53	YES 0.04/0.05	YES 0.01/0.01
Strategy_removed_AG01/#4.36.xml	YES 5.79/2.22	YES 0.09/0.08	YES 6.97/2.14	YES 0.31/0.31	YES 0.09/0.09
Strategy_removed_AG01/#4.37.xml	YES 3.70/2.11	YES 0.02/0.02	YES 0.86/0.51	YES 0.08/0.09	YES 0.03/0.04
Strategy_removed_AG01/#4.20a.xml	YES 3.28/1.48	YES 0.02/0.02	YES 0.57/0.43	YES 0.06/0.08	YES 0.02/0.03
Strategy_removed_AG01/#4.30b.xml	YES 6.72/3.00	MAYBE 0.18/0.16	YES 104.94/26.62	MAYBE 3.24/4.12	YES 2.42/2.52
Strategy_removed_AG01/#4.33.xml	YES 4.16/1.85	YES 0.05/0.05	YES 2.91/1.13	YES 0.14/0.14	YES 0.06/0.06
Strategy_removed_AG01/#4.26.xml	StarExec error	YES 0.07/0.06	YES 3.32/1.15	MAYBE 0.15/0.16	YES 0.05/0.08
Strategy_removed_AG01/#4.35.xml	YES 5.88/2.31	YES 0.09/0.08	YES 14.63/4.16	YES 0.70/0.71	YES 0.18/0.18
Strategy_removed_AG01/#4.16.xml	NO 4.42/1.97	NO 0.07/0.06	NO 0.65/0.44	MAYBE 0.08/0.12	NO 0.09/0.14
Strategy_removed_AG01/#4.15.xml	NO 4.40/1.90	NO 0.15/0.12	NO 0.91/0.52	MAYBE 0.55/0.96	MAYBE 0.72/0.74
Strategy_removed_AG01/#4.14.xml	NO 4.18/1.90	NO 0.09/0.12	NO 0.90/0.46	MAYBE 0.12/0.19	MAYBE 0.31/0.32
Strategy_removed_AG01/#4.23.xml	YES 3.99/1.82	YES 0.03/0.03	YES 1.05/0.58	YES 0.09/0.09	YES 0.03/0.03
Strategy_removed_AG01/#4.32.xml	YES 3.56/1.63	YES 0.03/0.02	YES 0.85/0.51	YES 0.05/0.06	YES 0.01/0.01
Strategy_removed_AG01/#4.28.xml	YES 3.86/1.66	YES 0.04/0.04	YES 1.60/0.72	MAYBE 0.14/0.15	YES 0.04/0.06
Strategy_removed_AG01/#4.25.xml	YES 3.49/1.61	MAYBE 0.05/0.05	MAYBE 76.20/25.48	MAYBE 0.03/0.06	YES 0.08/0.12
Strategy_removed_AG01/#4.21.xml	YES 3.35/1.52	YES 0.01/0.01	YES 0.51/0.42	YES 0.04/0.05	YES 0.01/0.01
Strategy_removed_AG01/#4.30a.xml	YES 4.70/2.06	MAYBE 0.11/0.09	YES 104.24/26.43	MAYBE 0.26/0.84	YES 0.14/0.21
Strategy_removed_AG01/#4.3.xml	NO 4.02/1.83	MAYBE 0.06/0.05	MAYBE 129.34/42.37	MAYBE 0.05/0.07	MAYBE 0.08/0.11
Strategy_removed_AG01/#4.20.xml	YES 3.24/1.49	YES 0.01/0.01	YES 0.48/0.40	YES 0.03/0.03	YES 0.01/0.01
Strategy_removed_AG01/#4.30.xml	YES 7.76/3.34	MAYBE 0.20/0.17	MAYBE 129.71/42.38	MAYBE 0.26/0.26	YES 4.19/4.86
Strategy_removed_AG01/#4.29.xml	YES 5.25/2.17	YES 0.06/0.06	YES 5.61/1.77	MAYBE 0.58/0.59	YES 0.11/0.12
Strategy_removed_AG01/#4.34.xml	YES 3.92/1.72	YES 0.04/0.04	YES 1.04/0.59	YES 0.09/0.10	YES 0.06/0.06
Strategy_removed_AG01/#4.37a.xml	YES 3.91/1.68	YES 0.04/0.04	YES 1.12/0.57	YES 0.09/0.11	YES 0.04/0.05
Strategy_removed_AG01/#4.30c.xml	YES 4.65/2.05	MAYBE 0.23/0.20	YES 104.46/26.62	MAYBE 2.32/2.33	MAYBE 7.65/7.82
Strategy_removed_AG01/#4.2.xml	NO 4.86/2.24	MAYBE 0.10/0.08	NO 0.74/0.45	MAYBE 0.14/0.15	MAYBE 0.89/0.95
Strategy_removed_AG01/#4.12a.xml	NO 4.07/1.83	MAYBE 0.07/0.06	NO 0.54/0.42	MAYBE 0.09/0.10	MAYBE 0.17/0.22
Strategy_removed_AG01/#4.7.xml	NO 4.16/1.96	MAYBE 0.11/0.09	NO 11.39/5.40	MAYBE 0.13/0.14	MAYBE 0.75/0.77
SK90/2.49.xml	YES 3.39/3.10	YES 0.02/0.02	YES 0.91/0.52	YES 0.03/0.04	YES 0.01/0.01
SK90/4.03.xml	YES 3.69/1.63	YES 0.03/0.03	YES 0.92/0.55	YES 0.13/0.14	YES 0.01/0.01
SK90/2.60.xml	YES 3.54/1.57	YES 0.02/0.02	YES 0.52/0.41	YES 0.01/0.02	YES 0.01/0.01
SK90/4.12.xml	YES 3.63/1.59	YES 0.02/0.02	YES 0.54/0.41	YES 0.03/0.20	YES 0.02/0.03
SK90/2.45.xml	YES 4.08/1.87	YES 0.06/0.06	YES 1.82/0.83	YES 0.29/0.30	YES 0.01/0.01
SK90/2.15.xml	StarExec error	YES 0.02/0.02	YES 0.65/0.46	StarExec error	YES 0.01/0.01
SK90/4.44.xml	YES 3.32/1.52	YES 0.02/0.02	YES 0.60/0.43	YES 0.03/0.05	YES 0.03/0.04
SK90/4.39.xml	YES 3.53/1.60	YES 0.01/0.02	YES 0.51/0.40	YES 0.01/0.02	YES 0.02/0.04
SK90/2.40.xml	YES 3.74/1.70	YES 0.02/0.02	YES 0.74/0.48	YES 0.17/0.23	YES 0.01/0.01
SK90/4.41.xml	YES 3.73/1.65	YES 0.02/0.02	YES 1.22/0.61	YES 0.04/0.07	YES 0.02/0.04
SK90/2.47.xml	YES 3.83/1.68	YES 0.01/0.02	YES 0.99/0.53	StarExec error	YES 0.01/0.01
SK90/4.37.xml	YES 3.44/1.53	YES 0.01/0.01	YES 0.95/0.51	YES 0.01/0.02	YES 0.01/0.01
SK90/4.50.xml	YES 3.30/1.55	MAYBE 0.06/0.05	YES 0.52/0.42	MAYBE 0.04/0.08	YES 0.01/0.01
SK90/4.19.xml	YES 3.45/1.56	YES 0.02/0.01	YES 0.55/0.42	YES 0.01/0.02	YES 0.03/0.04
SK90/2.22.xml	YES 3.70/1.68	YES 0.03/0.03	YES 0.79/0.51	YES 0.12/0.12	YES 0.01/0.02
SK90/2.08.xml	YES 3.61/1.58	YES 0.03/0.03	YES 1.00/0.53	YES 0.10/0.11	YES 0.01/0.01
SK90/4.10.xml	YES 3.58/1.62	YES 0.03/0.02	YES 0.84/0.51	YES 0.15/0.15	YES 0.01/0.02
SK90/4.26.xml	YES 3.95/1.82	YES 0.04/0.05	YES 1.09/0.57	YES 0.04/0.05	YES 0.01/0.01
SK90/2.59.xml	YES 3.35/1.56	YES 0.02/0.02	YES 0.62/0.45	YES 0.02/0.03	YES 0.01/0.01
SK90/2.27.xml	YES 3.72/1.64	YES 0.03/0.03	YES 2.06/0.86	YES 0.13/0.17	YES 0.01/0.01
SK90/4.57.xml	YES 3.70/1.65	YES 0.03/0.04	YES 1.27/0.61	YES 0.06/0.06	YES 0.01/0.01
SK90/2.57.xml	YES 3.47/1.57	YES 0.02/0.02	YES 0.58/0.42	YES 0.02/0.03	YES 0.01/0.01
SK90/4.60.xml	YES 4.09/1.79	YES 0.04/0.03	YES 1.87/0.82	YES 0.09/0.10	YES 0.03/0.04
SK90/2.31.xml	YES 3.61/1.57	YES 0.02/0.02	YES 0.92/0.53	YES 0.03/0.04	YES 0.01/0.01
SK90/2.46.xml	YES 13.18/4.73	YES 0.01/0.01	YES 1.09/0.56	YES 0.02/0.03	YES 0.06/0.06
SK90/4.28.xml	YES 3.94/1.73	YES 0.05/0.04	YES 1.69/0.79	YES 0.26/0.26	YES 0.01/0.01
SK90/4.46.xml	YES 3.30/1.51	YES 0.02/0.02	YES 0.45/0.39	YES 0.02/0.03	YES 0.01/0.01
SK90/2.52.xml	YES 4.01/1.72	YES 0.05/0.04	YES 1.09/0.58	YES 0.50/0.51	YES 0.02/0.02
SK90/2.03.xml	YES 3.42/1.54	YES 0.02/0.02	YES 0.68/0.45	YES 0.03/0.04	YES 0.01/0.01
SK90/2.33.xml	YES 3.50/1.62	YES 0.02/0.02	YES 0.66/0.45	YES 0.03/0.06	YES 0.01/0.01
SK90/4.14.xml	YES 3.91/1.71	YES 0.04/0.05	YES 1.06/0.59	YES 0.21/0.21	YES 0.01/0.01
SK90/4.20.xml	YES 3.63/1.71	YES 0.03/0.03	YES 0.80/0.50	YES 0.29/0.30	YES 0.01/0.01
SK90/4.13.xml	YES 3.55/1.67	YES 0.04/0.04	YES 2.90/1.06	MAYBE 0.14/0.15	YES 0.04/0.21
SK90/4.11.xml	StarExec error	YES 0.02/0.02	YES 0.60/0.44	YES 0.01/0.02	YES 0.01/0.01
SK90/4.53.xml	YES 3.60/1.62	YES 0.03/0.03	YES 1.01/0.58	YES 0.06/0.07	YES 0.01/0.01
SK90/2.38.xml	YES 3.61/1.63	YES 0.02/0.02	YES 0.86/0.51	YES 0.02/0.02	YES 0.01/0.01
SK90/4.06.xml	NO 5.19/2.20	NO 0.10/0.08	NO 1.11/0.56	MAYBE 0.12/0.13	NO 0.39/0.53
SK90/2.25.xml	YES 3.37/1.60	YES 0.04/0.04	YES 0.86/0.54	YES 0.12/0.13	YES 0.01/0.01
SK90/2.12.xml	YES 3.75/1.63	YES 0.04/0.03	YES 0.98/0.57	YES 0.22/0.22	YES 0.01/0.01
SK90/4.54.xml	NO 11.18/3.89	MAYBE 0.18/0.15	NO 0.93/0.54	MAYBE 0.61/0.62	StarExec error
SK90/2.50.xml	YES 3.58/1.57	YES 0.02/0.02	YES 0.92/0.52	YES 0.01/0.02	YES 0.01/0.01
SK90/4.34.xml	NO 3.24/1.48	NO 0.08/0.07	NO 0.81/0.49	MAYBE 0.10/0.10	StarExec error
SK90/4.47.xml	YES 4.60/2.00	YES 0.07/0.06	YES 0.81/0.50	YES 0.09/0.09	YES 0.01/0.01
SK90/4.52.xml	YES 3.35/1.52	YES 0.02/0.03	YES 1.50/0.69	YES 0.05/0.06	YES 0.01/0.01
SK90/2.07.xml	YES 3.48/1.62	YES 0.03/0.03	YES 0.86/0.51	YES 0.09/0.09	YES 0.01/0.01
SK90/2.42.xml	YES 4.05/1.80	YES 0.03/0.03	YES 1.17/0.60	YES 0.07/0.07	YES 0.01/0.01
SK90/2.09.xml	YES 3.41/1.55	YES 0.02/0.02	YES 0.50/0.40	YES 0.01/0.02	YES 0.01/0.01
SK90/4.48.xml	YES 3.41/1.53	YES 0.02/0.02	YES 0.57/0.43	YES 0.02/0.02	YES 0.01/0.01
SK90/2.17.xml	YES 3.58/1.77	YES 0.03/0.03	YES 0.75/0.49	YES 0.07/0.09	YES 0.01/0.01
SK90/2.06.xml	YES 3.81/1.66	YES 0.02/0.02	YES 0.86/0.50	YES 0.02/0.02	YES 0.01/0.01
SK90/4.30.xml	YES 4.80/1.99	YES 0.05/0.05	YES 1.55/0.69	YES 0.16/0.17	YES 0.04/0.16
SK90/2.39.xml	YES 4.33/1.81	YES 0.03/0.03	YES 1.18/0.61	YES 0.05/0.07	YES 0.01/0.01
SK90/2.35.xml	YES 3.71/1.68	YES 0.02/0.06	YES 0.62/0.44	YES 0.02/0.03	YES 0.02/0.03
SK90/4.01.xml	YES 3.41/1.54	YES 0.02/0.02	YES 0.68/0.46	YES 0.02/0.03	YES 0.01/0.01
SK90/2.29.xml	YES 3.62/1.60	YES 0.03/0.03	YES 1.19/0.64	YES 0.15/0.16	YES 0.01/0.01
SK90/4.02.xml	YES 3.83/2.01	YES 0.20/0.14	YES 1.66/0.72	StarExec error	YES 2.67/2.84
SK90/4.27.xml	YES 4.19/1.85	YES 0.09/0.08	YES 1.60/0.72	YES 0.09/0.10	YES 0.01/0.01
SK90/4.61.xml	YES 5.01/2.39	YES 0.15/0.14	YES 4.52/1.56	MAYBE 0.70/0.73	YES 7.61/7.71
SK90/4.49.xml	NO 4.54/1.90	NO 0.14/0.10	NO 0.35/0.35	MAYBE 0.19/0.22	NO 0.01/0.01
SK90/4.09.xml	YES 3.84/1.66	YES 0.03/0.03	YES 0.87/0.53	YES 0.13/0.14	YES 0.01/0.01
SK90/4.29.xml	YES 3.71/1.59	StarExec error	YES 0.90/0.53	YES 0.06/0.06	YES 0.01/0.01
SK90/2.37.xml	YES 3.47/1.55	YES 0.01/0.02	YES 0.57/0.44	YES 0.01/0.02	YES 0.02/0.05
SK90/4.07.xml	YES 3.53/1.58	YES 0.02/0.02	YES 0.75/0.47	YES 0.02/0.02	YES 0.01/0.01
SK90/4.45.xml	YES 3.37/1.58	YES 0.01/0.01	YES 0.45/0.39	YES 0.01/0.02	YES 0.01/0.01
SK90/2.54.xml	YES 3.53/1.57	YES 0.02/0.02	YES 0.51/0.41	YES 0.01/0.02	YES 0.01/0.01
SK90/2.32.xml	YES 3.76/1.68	YES 0.03/0.09	YES 1.00/0.55	YES 0.03/0.05	StarExec error
SK90/4.16.xml	YES 3.91/1.77	YES 0.04/0.04	YES 0.97/0.55	YES 0.04/0.05	YES 0.01/0.01
SK90/4.55.xml	YES 3.42/1.59	MAYBE 0.06/0.05	YES 0.91/0.54	MAYBE 0.03/0.06	YES 0.09/0.14
SK90/4.31.xml	YES 3.84/1.73	YES 0.03/0.03	YES 1.21/0.63	YES 0.05/0.06	YES 0.03/0.04
SK90/4.08.xml	YES 3.47/1.55	YES 0.01/0.02	YES 0.48/0.40	YES 0.01/0.02	YES 0.01/0.01
SK90/2.13.xml	YES 3.88/1.72	YES 0.03/0.03	YES 1.03/0.56	YES 0.03/0.50	YES 0.01/0.01
SK90/4.18.xml	YES 3.78/1.76	YES 0.02/0.02	YES 1.23/0.61	YES 0.05/0.08	YES 0.01/0.06
SK90/2.20.xml	YES 3.44/1.58	YES 0.03/0.02	YES 0.89/0.51	YES 0.02/0.04	YES 0.01/0.01
SK90/2.55.xml	YES 3.41/1.54	YES 0.01/0.01	YES 0.62/0.44	YES 0.01/0.02	YES 0.01/0.01
SK90/4.05.xml	YES 3.60/1.62	YES 0.03/0.02	YES 0.74/0.48	YES 0.06/0.07	YES 0.01/0.01
SK90/2.05.xml	NO 6.41/2.35	NO 0.32/0.27	NO 1.15/0.60	MAYBE 0.43/0.43	timeout (wallclock)
SK90/4.21.xml	YES 3.95/1.72	YES 0.03/0.03	YES 0.94/0.56	YES 0.22/0.22	YES 0.01/0.01
SK90/4.36.xml	YES 3.73/1.68	YES 0.01/0.01	YES 1.00/0.54	YES 0.03/0.05	YES 0.01/0.01
SK90/4.22.xml	YES 3.63/1.61	YES 0.03/0.03	YES 0.88/0.53	YES 0.06/0.06	YES 0.01/0.01
SK90/2.56.xml	YES 3.39/1.53	YES 0.02/0.02	YES 0.53/0.42	YES 0.02/0.02	YES 0.01/0.01
SK90/4.43.xml	YES 4.02/1.72	YES 0.05/0.04	YES 1.85/0.78	YES 0.06/0.06	YES 0.03/0.03
SK90/4.32.xml	YES 13.30/4.21	YES 0.05/0.04	YES 7.69/2.27	YES 0.13/0.14	YES 6.07/6.71
SK90/2.44.xml	YES 3.93/1.73	YES 0.05/0.04	YES 1.45/0.69	YES 0.12/0.14	YES 0.03/0.04
SK90/4.25.xml	YES 3.44/1.56	YES 0.02/0.02	YES 0.73/0.48	YES 0.03/0.05	YES 0.01/0.01
SK90/2.43.xml	YES 3.85/1.70	YES 0.05/0.05	YES 1.36/0.67	YES 0.18/0.19	YES 0.01/0.01
SK90/2.58.xml	YES 3.63/1.62	YES 0.03/0.02	YES 0.54/0.42	YES 0.02/0.03	YES 0.01/0.01
SK90/2.48.xml	YES 3.66/1.68	YES 0.02/0.02	YES 1.06/0.56	YES 0.02/0.03	YES 0.01/0.01
SK90/4.17.xml	YES 4.44/1.96	YES 0.04/0.04	YES 1.03/0.56	MAYBE 0.11/0.13	YES 0.18/0.20
SK90/2.24.xml	YES 3.53/1.55	YES 0.02/0.02	YES 0.69/0.46	YES 0.02/0.02	YES 0.01/0.01
SK90/2.16.xml	YES 3.44/1.61	YES 0.03/0.03	YES 0.87/0.52	YES 0.10/0.10	YES 0.01/0.01
SK90/4.15.xml	YES 3.45/1.57	YES 0.02/0.02	YES 0.60/0.44	YES 0.01/0.02	YES 0.01/0.01
SK90/2.41.xml	YES 3.24/1.58	YES 0.02/0.02	YES 1.26/0.62	YES 0.03/0.05	YES 0.01/0.01
SK90/2.51.xml	YES 3.61/1.64	YES 0.04/0.03	YES 0.69/0.47	YES 0.06/0.06	YES 0.01/0.01
SK90/4.24.xml	YES 4.37/1.83	YES 0.05/0.04	YES 3.27/1.14	YES 0.10/0.11	StarExec error
SK90/4.04.xml	YES 3.31/1.50	YES 0.02/0.02	YES 0.62/0.43	YES 0.02/0.02	YES 0.01/0.01
SK90/2.28.xml	YES 3.38/1.52	YES 0.02/0.02	YES 0.52/0.42	YES 0.01/0.02	YES 0.01/0.01
SK90/2.01.xml	YES 3.86/2.37	YES 0.02/0.02	YES 1.33/0.64	YES 0.03/0.03	YES 0.01/0.01
SK90/2.23.xml	YES 3.73/1.63	YES 0.04/0.03	YES 0.92/0.54	YES 0.28/0.31	YES 0.01/0.01
SK90/4.38.xml	YES 3.71/1.68	YES 0.02/0.02	YES 0.79/0.49	StarExec error	YES 0.01/0.01
SK90/4.42.xml	YES 3.63/1.63	YES 0.05/0.04	YES 0.83/0.52	YES 0.06/0.06	YES 0.01/0.01
SK90/2.53.xml	YES 3.51/1.56	YES 0.02/0.02	YES 0.66/0.46	YES 0.02/0.04	YES 0.01/0.01
SK90/2.21.xml	YES 3.61/2.16	YES 0.02/0.02	YES 0.71/0.46	YES 0.07/0.08	YES 0.01/0.01
SK90/4.40.xml	NO 6.93/2.68	MAYBE 11.72/11.68	MAYBE 129.93/42.37	MAYBE 0.18/0.20	MAYBE 0.78/0.87
SK90/2.61.xml	YES 3.38/1.56	YES 0.03/0.03	YES 1.75/0.78	YES 0.05/0.06	YES 0.01/0.01
SK90/2.19.xml	YES 3.50/1.79	YES 0.03/0.03	YES 0.98/0.57	YES 0.15/0.15	YES 0.01/0.01
SK90/2.11.xml	YES 3.38/1.55	YES 0.02/0.02	YES 0.79/0.50	YES 0.02/0.05	YES 0.01/0.01
SK90/2.10.xml	YES 3.43/1.59	YES 0.04/0.03	YES 1.07/0.57	YES 0.05/0.06	YES 0.01/0.02
SK90/4.23.xml	YES 3.57/1.68	YES 0.03/0.03	YES 0.79/0.50	YES 0.21/0.21	YES 0.01/0.01
SK90/4.51.xml	YES 3.71/1.64	YES 0.03/0.03	YES 0.78/0.49	YES 0.06/0.08	YES 0.04/0.05
SK90/2.26.xml	YES 3.77/1.63	YES 0.04/0.06	YES 1.45/0.74	YES 0.14/0.14	YES 0.01/0.02
SK90/4.33.xml	YES 3.42/1.53	StarExec error	YES 0.92/0.50	YES 0.01/0.02	YES 0.02/0.04
SK90/4.56.xml	YES 3.48/1.64	YES 0.02/0.03	YES 0.50/0.41	YES 0.02/0.08	YES 0.01/0.01
SK90/2.30.xml	YES 3.75/1.67	YES 0.02/0.02	YES 0.89/0.52	YES 0.02/0.02	YES 0.01/0.01
SK90/2.04.xml	YES 3.56/1.64	YES 0.02/0.01	YES 0.60/0.43	YES 0.02/0.04	YES 0.01/0.01
SK90/2.14.xml	YES 3.70/1.61	YES 0.03/0.03	YES 1.09/0.57	YES 0.05/0.10	YES 0.01/0.01
SK90/2.36.xml	YES 3.36/1.52	YES 0.01/0.01	YES 0.65/0.45	YES 0.02/0.02	YES 0.02/0.03
SK90/2.02.xml	YES 3.42/1.52	YES 0.02/0.02	YES 0.72/0.46	YES 0.02/0.04	YES 0.09/0.10
SK90/2.18.xml	YES 3.45/1.58	StarExec error	YES 0.71/0.49	YES 0.09/0.10	YES 0.01/0.01
SK90/4.35.xml	YES 3.37/1.54	YES 0.02/0.02	YES 0.77/0.48	YES 0.02/0.02	YES 0.01/0.01
SK90/2.34.xml	YES 3.86/1.69	YES 0.02/0.02	YES 1.12/0.58	YES 0.05/0.05	YES 0.01/0.02
SK90/4.59.xml	YES 3.99/1.80	YES 0.04/0.04	YES 2.09/0.85	YES 0.09/0.10	YES 0.05/0.11
MNZ_10/0.xml	YES 86.52/31.56	YES 0.05/0.05	YES 13.54/3.77	MAYBE 0.94/0.95	YES 28.47/28.72
MNZ_10/3.xml	YES 53.08/15.29	YES 0.09/0.10	YES 20.11/5.47	MAYBE 1.10/1.10	StarExec error
MNZ_10/7.xml	StarExec error	YES 0.69/0.69	YES 18.26/5.00	MAYBE 1.20/1.21	StarExec error
MNZ_10/1.xml	YES 39.39/13.86	YES 0.08/0.08	YES 15.88/4.38	MAYBE 0.83/0.95	StarExec error
MNZ_10/5.xml	StarExec error	YES 0.58/0.58	YES 20.45/5.50	MAYBE 1.57/1.57	StarExec error
MNZ_10/nrvsq.xml	YES 81.88/28.05	MAYBE 1.37/1.23	MAYBE 134.33/42.39	MAYBE 2.09/2.09	StarExec error
MNZ_10/2.xml	YES 99.15/27.76	YES 0.08/0.08	YES 15.84/4.40	MAYBE 0.98/0.98	StarExec error
MNZ_10/8.xml	YES 80.48/24.60	YES 0.47/0.47	YES 20.29/5.46	MAYBE 1.23/1.23	StarExec error
MNZ_10/nvsr.xml	YES 245.80/116.16	MAYBE 1.33/1.26	YES 13.81/3.87	MAYBE 1.10/1.14	StarExec error
MNZ_10/labelled.xml	YES 18.37/8.99	timeout (wallclock)	MAYBE 170.48/46.17	StarExec error	YES 225.29/225.37
MNZ_10/6.xml	StarExec error	YES 5.71/5.71	YES 13.18/3.70	StarExec error	StarExec error
MNZ_10/9.xml	YES 437.48/235.22	YES 0.56/0.55	YES 17.33/4.73	MAYBE 1.44/1.45	StarExec error
MNZ_10/4.xml	StarExec error	YES 9.21/9.21	YES 22.29/6.03	MAYBE 1.38/1.39	StarExec error
Mixed_TRS/while2.xml	StarExec error	MAYBE 0.36/0.29	MAYBE 129.95/42.38	MAYBE 0.51/0.51	StarExec error
Mixed_TRS/motivation.xml	YES 3.72/1.64	YES 0.02/0.02	YES 1.05/0.57	YES 0.05/0.08	YES 0.02/0.03
Mixed_TRS/jones1.xml	YES 3.35/1.50	YES 0.02/0.02	YES 0.72/0.48	YES 0.02/0.02	YES 0.01/0.01
Mixed_TRS/jones5.xml	YES 3.52/1.57	YES 0.01/0.02	YES 0.56/0.42	YES 0.02/0.03	YES 0.03/0.04
Mixed_TRS/beans.xml	YES 5.07/2.00	YES 0.17/0.12	MAYBE 137.48/42.37	MAYBE 1.21/1.22	YES 2.57/2.58
Mixed_TRS/3.xml	YES 4.21/1.92	YES 0.06/0.04	YES 1.63/0.72	MAYBE 0.67/0.67	YES 0.04/0.08
Mixed_TRS/7.xml	StarExec error	MAYBE 0.64/0.53	MAYBE 130.28/42.39	MAYBE 0.40/0.40	MAYBE 1.72/1.86
Mixed_TRS/1.xml	YES 4.01/1.83	YES 0.13/0.11	YES 0.88/0.52	MAYBE 0.84/0.85	YES 0.10/0.15
Mixed_TRS/hydra.xml	YES 3.68/1.71	YES 0.04/0.03	YES 2.46/0.94	YES 0.05/0.05	YES 0.01/0.01
Mixed_TRS/minsort.xml	StarExec error	MAYBE 0.23/0.18	MAYBE 136.16/42.38	MAYBE 0.64/0.65	StarExec error
Mixed_TRS/while.xml	YES 4.73/2.54	MAYBE 0.11/0.09	MAYBE 129.56/42.39	MAYBE 0.14/0.16	MAYBE 4.80/5.21
Mixed_TRS/jones4.xml	YES 3.52/1.58	YES 0.02/0.02	YES 0.58/0.43	YES 0.01/0.02	YES 0.03/0.04
Mixed_TRS/gcdMinMax.xml	YES 4.72/1.98	MAYBE 0.22/0.19	MAYBE 130.94/42.39	MAYBE 2.01/2.02	StarExec error
Mixed_TRS/Ex1_Luc04b_GM.xml	YES 6.15/2.31	YES 0.12/0.12	YES 2.48/0.96	YES 0.44/0.45	YES 0.64/0.74
Mixed_TRS/hydra-Zantema06.xml	StarExec error	MAYBE 0.31/0.38	MAYBE 133.43/42.38	MAYBE 0.75/0.77	StarExec error
Mixed_TRS/5.xml	YES 4.13/1.85	YES 0.05/0.04	YES 1.01/0.57	MAYBE 0.12/0.13	YES 0.04/0.07
Mixed_TRS/jones2.xml	YES 3.53/1.64	YES 0.03/0.02	YES 0.68/0.45	YES 0.04/0.05	YES 0.01/0.01
Mixed_TRS/2.xml	YES 4.41/1.98	YES 0.03/0.04	YES 0.83/0.50	MAYBE 0.93/0.93	YES 0.42/0.64
Mixed_TRS/div_hard.xml	StarExec error	MAYBE 0.16/0.13	YES 106.45/27.02	MAYBE 0.42/0.68	MAYBE 0.48/0.49
Mixed_TRS/jones6.xml	YES 3.74/1.67	YES 0.02/0.03	YES 0.83/0.51	YES 0.03/0.09	YES 0.01/0.01
Mixed_TRS/test1.xml	YES 4.41/1.88	YES 0.03/0.03	YES 0.50/0.41	MAYBE 0.10/0.11	YES 0.06/0.21
Mixed_TRS/6.xml	StarExec error	MAYBE 0.12/0.10	MAYBE 129.80/42.37	MAYBE 0.24/0.26	MAYBE 18.93/20.67
Mixed_TRS/fossacs.xml	StarExec error	MAYBE 0.17/0.14	MAYBE 130.26/42.37	MAYBE 0.25/0.27	MAYBE 0.63/0.65
Mixed_TRS/sigma.xml	YES 8.24/3.12	YES 0.10/0.08	MAYBE 130.42/42.38	MAYBE 0.32/0.33	MAYBE 16.65/17.51
Mixed_TRS/gcd.xml	YES 4.42/1.99	YES 0.06/0.05	YES 2.96/1.08	YES 0.11/0.12	YES 0.03/0.10
Mixed_TRS/4.xml	YES 4.14/1.80	YES 0.13/0.10	YES 1.51/0.70	MAYBE 0.74/0.78	YES 0.11/0.13
Mixed_TRS/perfect.xml	YES 4.00/1.70	YES 0.04/0.04	YES 1.44/0.67	YES 0.08/0.10	YES 0.01/0.01
Mixed_TRS/gcd_triple.xml	YES 5.89/3.12	MAYBE 0.43/0.35	YES 6.77/2.11	YES 0.20/0.21	YES 0.14/0.16
Mixed_TRS/perfect2.xml	YES 4.26/1.85	YES 0.06/0.06	YES 3.32/1.21	YES 0.14/0.24	YES 0.03/0.03
Secret_05_TRS/teparla2.xml	YES 8.22/2.94	MAYBE 0.30/0.22	YES 31.42/8.25	MAYBE 1.26/1.26	MAYBE 1.93/2.43
Secret_05_TRS/tpa4.xml	StarExec error	MAYBE 0.16/0.14	MAYBE 130.18/42.37	MAYBE 0.60/0.60	StarExec error
Secret_05_TRS/tpa2.xml	YES 4.84/2.00	YES 0.09/0.07	YES 4.23/1.43	MAYBE 0.38/0.39	YES 0.11/0.12
Secret_05_TRS/cime1.xml	YES 38.09/16.63	YES 5.57/4.42	MAYBE 167.76/42.45	YES 22.77/22.81	StarExec error
Secret_05_TRS/aprove2.xml	YES 9.13/3.32	MAYBE 0.23/0.20	MAYBE 130.33/42.38	MAYBE 0.30/0.31	MAYBE 89.19/90.18
Secret_05_TRS/cime2.xml	YES 49.50/18.91	YES 0.21/0.15	MAYBE 132.42/42.38	YES 0.61/0.61	YES 3.21/3.53
Secret_05_TRS/matchbox1.xml	YES 4.98/2.07	MAYBE 0.09/0.07	YES 2.94/1.07	MAYBE 0.10/0.10	YES 0.40/0.56
Secret_05_TRS/aprove3.xml	YES 9.03/3.30	YES 0.17/0.14	MAYBE 130.53/42.38	MAYBE 1.71/1.72	StarExec error
Secret_05_TRS/aprove1.xml	YES 8.57/3.05	YES 0.14/0.11	YES 4.81/1.58	MAYBE 5.47/5.49	MAYBE 11.73/12.68
Secret_05_TRS/teparla1.xml	YES 3.75/1.68	MAYBE 0.37/0.28	YES 1.76/0.77	MAYBE 1.80/1.80	YES 0.97/1.02
Secret_05_TRS/tpa5.xml	StarExec error	MAYBE 0.31/0.25	MAYBE 130.69/42.37	MAYBE 0.44/0.45	MAYBE 2.82/2.87
Secret_05_TRS/tpa3.xml	StarExec error	MAYBE 0.15/0.13	MAYBE 130.09/42.37	MAYBE 0.80/0.81	StarExec error
Secret_05_TRS/cime5.xml	YES 16.59/5.55	YES 6.12/4.68	YES 29.56/8.16	YES 3.12/3.13	YES 2.52/2.51
Secret_05_TRS/ttt1.xml	NO 4.68/1.94	MAYBE 0.07/0.06	NO 1.18/0.60	MAYBE 0.12/0.15	MAYBE 0.36/0.41
Secret_05_TRS/teparla3.xml	YES 15.36/6.07	MAYBE 0.26/0.20	YES 5.10/1.66	MAYBE 0.65/0.65	MAYBE 1.73/2.16
Secret_05_TRS/aprove4.xml	YES 5.67/2.37	MAYBE 0.16/0.14	MAYBE 130.12/42.38	MAYBE 0.18/0.19	MAYBE 1.37/1.37
Secret_05_TRS/tpa1.xml	YES 4.69/1.98	MAYBE 0.22/0.18	MAYBE 130.64/42.37	MAYBE 2.00/2.06	StarExec error
Secret_05_TRS/aprove5.xml	YES 5.45/2.21	YES 0.07/0.06	YES 10.99/3.15	MAYBE 0.44/0.44	StarExec error
Secret_05_TRS/ttt2.xml	NO 4.98/2.37	NO 0.07/0.06	NO 0.79/0.50	MAYBE 0.10/0.10	NO 0.20/0.24
Secret_05_TRS/cime3.xml	StarExec error	MAYBE 0.42/0.37	MAYBE 133.61/42.41	MAYBE 0.96/1.00	timeout (wallclock)
Secret_05_TRS/matchbox2.xml	YES 4.16/1.89	YES 0.10/0.08	YES 1.26/0.65	MAYBE 0.16/0.64	YES 0.12/0.15
Secret_05_TRS/cime4.xml	NO 4.19/1.85	MAYBE 0.07/0.06	MAYBE 90.29/29.59	MAYBE 0.10/0.12	MAYBE 0.10/0.15
Rubio_04/lindau.xml	YES 3.33/1.50	YES 0.02/0.02	YES 0.71/0.48	YES 0.06/0.06	YES 0.06/0.08
Rubio_04/division.xml	YES 4.17/1.78	YES 0.06/0.05	YES 3.49/1.21	YES 0.11/0.12	YES 0.03/0.04
Rubio_04/gmnp.xml	YES 3.47/2.69	YES 0.03/0.03	YES 0.82/0.50	YES 0.04/0.05	YES 0.01/0.01
Rubio_04/gm.xml	YES 4.05/1.80	YES 0.03/0.05	YES 2.49/0.95	YES 0.07/0.07	YES 0.03/0.04
Rubio_04/selsort.xml	YES 5.53/2.16	YES 0.10/0.08	YES 11.09/3.21	YES 0.37/0.39	YES 0.09/0.09
Rubio_04/enno.xml	YES 5.26/2.08	YES 0.05/0.05	YES 3.77/1.31	StarExec error	YES 0.08/0.12
Rubio_04/bn129.xml	YES 3.42/1.54	YES 0.03/0.03	YES 1.03/0.52	YES 0.09/0.10	YES 0.11/0.13
Rubio_04/quotminus.xml	YES 3.90/1.76	YES 0.04/0.04	StarExec error	YES 0.09/0.10	YES 0.03/0.03
Rubio_04/prov.xml	YES 3.51/1.59	YES 0.03/0.03	YES 0.69/0.47	YES 0.05/0.05	YES 0.01/0.01
Rubio_04/p266.xml	YES 3.65/1.62	YES 0.03/0.03	YES 1.09/0.55	YES 0.04/0.05	YES 0.01/0.01
Rubio_04/bintrees.xml	YES 3.47/1.56	YES 0.02/0.02	YES 0.89/0.51	YES 0.03/0.03	YES 0.03/0.04
Rubio_04/nestrec.xml	YES 3.78/1.63	YES 0.02/0.02	YES 1.16/0.57	YES 0.05/0.07	YES 0.02/0.03
Rubio_04/ma96.xml	YES 5.92/2.33	YES 0.10/0.09	YES 14.79/4.11	YES 0.36/0.38	YES 0.20/0.19
Rubio_04/logarquot.xml	YES 3.99/1.72	YES 0.05/0.05	YES 4.35/1.44	YES 0.13/0.15	YES 0.04/0.04
Rubio_04/test829.xml	YES 3.66/1.61	YES 0.02/0.02	YES 0.71/0.46	YES 0.02/0.02	YES 0.02/0.04
Rubio_04/elimdupl.xml	YES 4.21/1.87	YES 0.04/0.04	YES 3.08/1.11	YES 0.13/0.13	YES 0.04/0.05
Rubio_04/koen.xml	YES 3.50/1.53	YES 0.01/0.02	YES 0.70/0.46	YES 0.02/0.03	YES 0.01/0.01
Rubio_04/mfp90b.xml	YES 3.41/1.53	YES 0.01/0.02	YES 0.56/0.43	YES 0.02/0.02	YES 0.02/0.03
Rubio_04/polo2.xml	YES 4.21/1.79	YES 0.05/0.04	YES 2.12/0.90	YES 0.34/0.34	YES 0.01/0.02
Rubio_04/mfp95.xml	YES 3.45/1.54	YES 0.02/0.02	YES 0.60/0.43	YES 0.01/0.02	YES 0.01/0.01
Rubio_04/gcd.xml	YES 4.24/1.87	YES 0.04/0.04	YES 3.02/1.07	YES 0.16/0.16	YES 0.04/0.40
Rubio_04/test4.xml	YES 3.86/1.69	YES 0.06/0.05	YES 0.74/0.48	YES 0.07/0.07	YES 0.05/0.07
Rubio_04/lescanne.xml	YES 3.37/1.53	YES 0.02/0.02	YES 0.79/0.49	YES 0.03/0.03	YES 0.03/0.05
Rubio_04/aoto.xml	YES 3.62/1.53	YES 0.02/0.02	YES 1.50/0.66	YES 0.05/0.07	YES 0.02/0.03
Rubio_04/bn122.xml	YES 3.59/1.63	YES 0.02/0.02	YES 0.70/0.46	YES 0.02/0.03	YES 0.02/0.04
Rubio_04/revlist.xml	YES 4.56/1.93	YES 0.05/0.05	YES 3.01/1.09	YES 0.11/0.13	YES 0.04/0.04
Rubio_04/quick.xml	YES 5.23/2.13	YES 0.06/0.06	YES 3.95/1.38	YES 0.23/0.23	YES 0.07/0.09
Rubio_04/wst99.xml	YES 6.83/2.62	YES 0.09/0.08	YES 5.77/1.98	YES 0.39/0.40	YES 0.28/0.31
Waldmann_06/jwtpa2.xml	YES 5.49/2.27	YES 0.21/0.16	YES 5.44/1.70	MAYBE 0.51/0.51	YES 0.16/0.18
Waldmann_06/jwno4.xml	NO 5.71/2.53	MAYBE 0.11/0.09	NO 0.82/0.50	MAYBE 0.13/0.15	MAYBE 6.43/7.77
Waldmann_06/jwno2.xml	StarExec error	MAYBE 0.15/0.12	MAYBE 101.05/25.59	MAYBE 0.68/0.71	MAYBE 25.81/27.67
Waldmann_06/jwteparla2.xml	YES 3.55/1.73	MAYBE 0.17/0.13	MAYBE 161.85/42.37	MAYBE 0.85/0.85	MAYBE 64.35/68.37
Waldmann_06/jwmatchb2.xml	YES 29.45/14.59	MAYBE 0.11/0.09	YES 1.83/0.79	MAYBE 0.12/0.19	MAYBE 10.81/11.29
Waldmann_06/jwaprove1.xml	YES 14.47/4.65	MAYBE 0.17/0.13	MAYBE 101.09/25.67	MAYBE 0.21/0.22	MAYBE 10.08/11.22
Waldmann_06/jwtpa1.xml	YES 14.73/4.72	YES 0.09/0.08	YES 3.95/1.33	MAYBE 0.53/0.54	YES 1.18/1.34
Waldmann_06/jwno6.xml	NO 5.46/2.32	MAYBE 0.12/0.10	NO 0.85/0.48	MAYBE 0.14/0.15	MAYBE 6.59/7.14
Waldmann_06/jwno9.xml	NO 6.54/2.61	MAYBE 0.21/0.16	NO 0.81/0.48	MAYBE 0.56/0.57	MAYBE 81.94/84.37
Waldmann_06/jwno7.xml	StarExec error	MAYBE 0.15/0.11	MAYBE 101.13/25.61	MAYBE 0.23/0.23	MAYBE 42.05/44.30
Waldmann_06/jwcime2.xml	YES 5.16/2.13	MAYBE 0.20/0.16	YES 3.74/1.29	YES 0.46/0.46	YES 0.67/0.70
Waldmann_06/jwno5.xml	StarExec error	StarExec error	MAYBE 100.77/25.55	MAYBE 0.23/0.25	MAYBE 18.23/19.94
Waldmann_06/jwno3.xml	StarExec error	MAYBE 0.14/0.12	MAYBE 129.69/42.38	MAYBE 0.23/0.24	StarExec error
Waldmann_06/jwaprove2.xml	YES 13.09/4.20	MAYBE 0.16/0.14	StarExec error	MAYBE 0.21/0.23	MAYBE 10.15/11.21
Waldmann_06/jwmatchb1.xml	YES 28.94/13.55	MAYBE 0.11/0.09	YES 2.05/0.84	MAYBE 0.11/0.12	MAYBE 10.75/11.36
Waldmann_06/jwcime1.xml	YES 4.85/2.07	MAYBE 0.15/0.13	MAYBE 101.11/25.61	YES 0.19/0.19	YES 0.33/0.50
Waldmann_06/jwttt.xml	YES 4.98/2.02	YES 0.24/0.18	YES 6.37/1.94	MAYBE 0.32/0.33	YES 0.11/0.13
Waldmann_06/jwno8.xml	StarExec error	MAYBE 0.19/0.14	MAYBE 100.84/25.58	MAYBE 0.66/0.69	MAYBE 57.27/59.67
Waldmann_06/jwteparla1.xml	YES 3.68/1.68	MAYBE 0.16/0.13	MAYBE 151.70/42.36	MAYBE 0.90/0.92	MAYBE 56.49/59.22
Waldmann_06/jwno1.xml	NO 6.95/2.77	MAYBE 0.16/0.13	NO 0.91/0.51	MAYBE 0.20/0.26	MAYBE 35.95/37.02
Various_04/05.xml	StarExec error	MAYBE 0.59/0.47	MAYBE 129.76/42.39	MAYBE 0.74/0.74	MAYBE 250.12/250.68
Various_04/03.xml	YES 3.41/1.58	MAYBE 0.07/0.06	YES 0.78/0.50	MAYBE 0.06/0.12	YES 0.09/0.12
Various_04/12.xml	YES 3.93/1.68	YES 0.04/0.04	YES 4.88/1.59	YES 0.12/0.13	YES 0.09/0.09
Various_04/10.xml	YES 4.96/2.03	YES 0.07/0.06	YES 8.04/2.46	YES 0.30/0.35	StarExec error
Various_04/27.xml	YES 3.41/1.53	YES 0.01/0.02	YES 0.46/0.40	YES 0.01/0.02	YES 0.01/0.01
Various_04/06.xml	YES 3.89/1.75	YES 0.02/0.02	YES 0.49/0.41	YES 0.02/0.03	YES 0.01/0.01
Various_04/02.xml	YES 3.38/1.54	MAYBE 0.06/0.05	YES 0.54/0.43	MAYBE 0.05/0.12	YES 0.08/0.12
Various_04/14.xml	YES 8.23/2.95	YES 0.26/0.24	YES 21.99/6.42	YES 0.84/0.85	YES 0.20/0.19
Various_04/13.xml	YES 4.08/1.75	YES 0.07/0.06	YES 9.16/2.70	YES 0.20/0.21	YES 0.13/0.13
Various_04/25.xml	YES 3.62/1.65	YES 0.02/0.02	YES 0.64/0.45	YES 0.02/0.03	YES 0.02/0.06
Various_04/04.xml	StarExec error	MAYBE 0.59/0.47	MAYBE 130.29/42.38	MAYBE 1.05/1.06	MAYBE 262.85/264.03
Various_04/08.xml	StarExec error	MAYBE 0.97/0.80	MAYBE 137.16/42.39	MAYBE 2.12/2.13	StarExec error
Various_04/23.xml	YES 3.68/1.59	YES 0.02/0.02	YES 0.57/0.42	YES 0.02/0.02	YES 0.04/0.04
Various_04/19.xml	YES 3.46/1.55	YES 0.04/0.03	YES 1.44/0.65	YES 0.09/0.10	YES 0.39/0.47
Various_04/09.xml	YES 4.01/1.68	YES 0.02/0.02	YES 0.64/0.45	YES 0.03/0.03	YES 0.01/0.01
Various_04/11.xml	YES 4.49/1.94	MAYBE 0.07/0.07	MAYBE 129.67/42.37	MAYBE 0.09/0.12	YES 0.57/0.84
Various_04/07.xml	YES 3.37/1.53	YES 0.01/0.02	YES 0.42/0.38	YES 0.02/0.02	YES 0.01/0.01
Various_04/18.xml	YES 3.19/1.53	YES 0.02/0.02	YES 0.76/0.47	YES 0.03/0.04	YES 0.01/0.01
Various_04/21.xml	YES 3.59/1.62	YES 0.04/0.05	YES 2.72/1.06	YES 0.21/0.22	YES 0.24/0.23
Various_04/24.xml	YES 4.58/1.93	YES 0.05/0.04	YES 2.12/0.84	YES 0.08/0.09	YES 0.02/0.04
Various_04/26.xml	YES 4.14/1.80	YES 0.03/0.03	YES 1.13/0.60	YES 0.05/0.07	YES 0.04/0.05
Various_04/15.xml	YES 8.81/2.98	YES 0.03/0.03	YES 1.83/0.80	MAYBE 0.11/0.12	YES 0.03/0.04
Various_04/22.xml	YES 3.61/1.71	YES 0.02/0.02	YES 0.93/0.53	YES 0.03/0.05	YES 0.02/0.04
Zantema_15/delta.xml	StarExec error	MAYBE 0.10/0.08	MAYBE 129.65/42.37	MAYBE 0.09/0.12	MAYBE 0.42/0.56
Zantema_15/ex08.xml	StarExec error	MAYBE 0.33/0.30	MAYBE 133.75/42.38	MAYBE 0.33/0.34	timeout (wallclock)
Zantema_15/ex07.xml	StarExec error	MAYBE 0.41/0.39	MAYBE 134.27/42.37	MAYBE 0.24/0.24	MAYBE 1.87/1.90
Zantema_15/ex13.xml	StarExec error	MAYBE 0.09/0.08	MAYBE 101.18/25.65	MAYBE 0.14/0.15	MAYBE 4.45/4.87
Zantema_15/ex06.xml	StarExec error	MAYBE 4.71/4.69	MAYBE 172.65/43.54	MAYBE 0.32/0.32	StarExec error
Zantema_15/ex12.xml	StarExec error	MAYBE 0.08/0.07	MAYBE 100.91/25.59	MAYBE 0.11/0.12	StarExec error
Zantema_15/ex14.xml	StarExec error	MAYBE 0.07/0.06	MAYBE 100.81/25.53	MAYBE 0.08/0.10	MAYBE 8.31/10.32
Zantema_15/ex11.xml	StarExec error	MAYBE 0.07/0.06	MAYBE 101.04/25.59	MAYBE 0.10/0.12	MAYBE 12.71/14.11
Zantema_15/ex01.xml	NO 5.80/2.20	MAYBE 0.14/0.13	MAYBE 171.55/43.23	MAYBE 0.16/0.16	StarExec error
Zantema_15/ex05.xml	StarExec error	MAYBE 0.28/0.25	MAYBE 130.40/42.38	MAYBE 12.52/12.53	StarExec error
Zantema_15/ex09.xml	StarExec error	MAYBE 0.26/0.24	MAYBE 133.59/42.37	MAYBE 0.34/0.34	timeout (wallclock)
Zantema_15/ex04.xml	NO 21.57/6.33	MAYBE 0.20/0.20	MAYBE 172.00/43.37	MAYBE 0.21/0.22	StarExec error
Zantema_15/ex03.xml	StarExec error	MAYBE 0.21/0.20	MAYBE 174.35/43.94	MAYBE 0.20/0.20	StarExec error
Zantema_15/ex02.xml	StarExec error	MAYBE 0.24/0.22	MAYBE 172.37/43.44	MAYBE 0.27/0.28	StarExec error
Zantema_15/ex10.xml	StarExec error	MAYBE 0.12/0.17	MAYBE 130.10/42.38	MAYBE 0.26/0.27	MAYBE 65.24/72.45
Zantema_15/s.xml	StarExec error	MAYBE 0.22/0.18	MAYBE 129.83/42.38	MAYBE 0.16/0.17	MAYBE 0.79/0.87
Zantema_05/jw44.xml	YES 3.48/1.57	YES 0.01/0.02	YES 0.83/0.50	YES 0.01/0.02	YES 0.01/0.01
Zantema_05/jw33.xml	YES 3.96/1.80	YES 0.03/0.03	YES 0.49/0.40	MAYBE 1.17/1.17	YES 0.46/0.49
Zantema_05/jw34.xml	YES 4.06/2.79	YES 0.17/0.14	YES 2.97/1.13	MAYBE 0.89/0.90	YES 1.12/1.18
Zantema_05/z22.xml	YES 42.43/19.26	MAYBE 0.38/0.30	YES 8.53/2.57	MAYBE 1.63/1.64	timeout (wallclock)
Zantema_05/z16.xml	YES 3.67/1.65	MAYBE 0.12/0.10	MAYBE 102.38/26.13	MAYBE 0.18/0.19	StarExec error
Zantema_05/z30.xml	YES 4.34/1.97	MAYBE 0.67/0.63	YES 7.87/2.38	MAYBE 30.57/30.58	MAYBE 61.69/62.07
Zantema_05/jw27.xml	YES 4.24/1.85	YES 0.14/0.12	YES 2.58/1.03	MAYBE 0.95/0.96	YES 0.12/0.15
Zantema_05/z28.xml	YES 5.82/2.39	MAYBE 0.18/0.15	YES 10.25/2.94	MAYBE 0.14/0.15	MAYBE 10.25/11.70
Zantema_05/jw01.xml	YES 3.79/1.72	YES 0.06/0.21	YES 1.49/0.69	MAYBE 0.44/0.44	YES 0.14/0.27
Zantema_05/jw02.xml	YES 4.00/1.79	YES 0.10/0.08	YES 1.22/0.63	MAYBE 0.29/0.30	YES 0.08/0.18
Zantema_05/jw12.xml	YES 3.44/1.60	YES 0.02/0.02	YES 1.64/0.72	MAYBE 0.82/0.82	YES 0.48/0.55
Zantema_05/jw32.xml	YES 4.19/1.88	YES 0.16/0.13	YES 2.45/0.98	MAYBE 0.75/0.76	YES 0.08/0.10
Zantema_05/jw08.xml	YES 4.03/1.86	YES 0.24/0.19	YES 1.51/0.70	MAYBE 0.49/0.49	YES 0.79/0.84
Zantema_05/z19.xml	YES 34.87/15.64	MAYBE 0.20/0.17	YES 8.27/2.44	MAYBE 0.32/0.32	timeout (wallclock)
Zantema_05/z06.xml	YES 3.72/1.71	YES 0.04/0.04	YES 2.11/0.89	YES 0.10/0.10	MAYBE 5.88/6.42
Zantema_05/jw38.xml	YES 3.56/1.60	YES 0.03/0.03	YES 1.11/0.59	MAYBE 1.08/1.11	YES 0.55/0.67
Zantema_05/z11.xml	YES 4.06/1.77	YES 0.05/0.05	YES 3.59/1.33	MAYBE 2.36/2.83	YES 1.85/1.92
Zantema_05/jw39.xml	YES 4.13/1.82	YES 0.17/0.13	YES 1.56/0.72	MAYBE 0.92/0.95	YES 0.13/0.16
Zantema_05/jw05.xml	YES 3.96/1.78	YES 0.14/0.11	YES 2.63/1.05	MAYBE 0.30/0.31	YES 0.07/0.10
Zantema_05/jw06.xml	YES 4.02/2.47	YES 0.03/0.03	YES 0.48/0.40	MAYBE 0.48/0.50	YES 0.15/0.17
Zantema_05/z05.xml	YES 3.69/1.72	MAYBE 0.49/0.47	YES 2.13/0.91	MAYBE 1.50/1.54	timeout (wallclock)
Zantema_05/jw15.xml	YES 3.96/2.10	MAYBE 0.19/0.15	YES 1.30/0.65	MAYBE 0.86/0.87	YES 1.16/1.26
Zantema_05/jw16.xml	YES 3.80/1.70	YES 0.07/0.06	YES 1.49/0.70	MAYBE 1.18/1.21	YES 0.34/0.35
Zantema_05/jw11.xml	YES 3.64/1.70	YES 0.02/0.02	YES 2.39/1.01	MAYBE 0.79/0.79	YES 0.59/0.69
Zantema_05/z29.xml	YES 3.87/1.74	YES 0.04/0.03	YES 5.63/1.74	YES 0.08/0.10	YES 0.15/0.17
Zantema_05/jw26.xml	YES 3.94/1.77	YES 0.07/0.06	YES 0.58/0.43	MAYBE 1.04/1.05	YES 2.48/2.51
Zantema_05/z02.xml	YES 6.89/2.68	YES 0.02/0.02	YES 2.18/0.88	MAYBE 0.30/0.31	MAYBE 16.48/19.07
Zantema_05/z09.xml	YES 7.05/2.95	YES 0.09/0.07	MAYBE 130.19/42.38	MAYBE 0.19/0.20	MAYBE 10.23/11.47
Zantema_05/jw47.xml	YES 3.40/1.53	YES 0.02/0.01	YES 0.38/0.37	YES 0.02/0.02	YES 0.01/0.01
Zantema_05/jw31.xml	YES 4.06/1.78	StarExec error	YES 0.48/0.40	MAYBE 1.53/1.55	YES 0.14/0.16
Zantema_05/z08.xml	YES 3.88/1.92	YES 0.04/0.03	YES 0.97/0.54	MAYBE 1.28/1.28	MAYBE 0.94/0.91
Zantema_05/jw09.xml	YES 3.93/1.81	YES 0.07/0.05	YES 4.93/1.62	MAYBE 1.01/1.01	YES 0.09/0.10
Zantema_05/jw22.xml	YES 4.04/1.80	YES 0.10/0.08	YES 1.51/0.70	MAYBE 0.93/0.93	YES 0.13/0.16
Zantema_05/z21.xml	YES 37.92/16.97	MAYBE 0.23/0.20	YES 9.48/2.81	MAYBE 0.40/0.41	timeout (wallclock)
Zantema_05/jw50.xml	YES 3.62/1.66	YES 0.03/0.03	YES 0.56/0.42	MAYBE 1.12/1.12	YES 2.03/2.06
Zantema_05/z07.xml	YES 4.18/1.84	YES 0.04/0.05	YES 1.30/0.64	MAYBE 0.27/0.28	MAYBE 4.12/4.12
Zantema_05/z03.xml	YES 3.91/1.79	YES 0.03/0.03	YES 0.88/0.52	MAYBE 1.48/1.49	MAYBE 128.58/129.89
Zantema_05/jw25.xml	YES 4.17/1.80	YES 0.07/0.06	YES 0.59/0.43	MAYBE 1.43/1.43	YES 0.13/0.58
Zantema_05/jw20.xml	YES 4.09/1.74	YES 0.07/0.06	YES 1.28/0.63	MAYBE 0.95/0.95	YES 0.11/0.13
Zantema_05/jw13.xml	YES 4.27/1.83	StarExec error	YES 0.70/0.47	MAYBE 0.93/0.95	YES 0.06/0.06
Zantema_05/z10.xml	YES 5.61/2.65	YES 0.09/0.07	MAYBE 130.21/42.39	MAYBE 0.30/0.41	MAYBE 54.12/56.87
Zantema_05/jw42.xml	YES 4.12/1.89	YES 0.04/0.04	YES 0.99/0.55	MAYBE 0.75/0.76	YES 0.08/0.11
Zantema_05/jw29.xml	YES 4.00/1.79	YES 0.03/0.03	YES 0.60/0.44	MAYBE 0.93/0.95	StarExec error
Zantema_05/jw07.xml	YES 3.99/1.76	YES 0.10/0.08	YES 1.35/0.66	MAYBE 0.72/0.74	YES 0.09/0.12
Zantema_05/jw41.xml	YES 4.16/1.88	YES 0.23/0.20	YES 3.35/1.20	MAYBE 0.51/0.51	YES 0.82/1.00
Zantema_05/jw35.xml	YES 3.50/1.59	YES 0.02/0.02	StarExec error	MAYBE 0.94/0.95	YES 0.01/0.01
Zantema_05/z13.xml	YES 3.83/1.72	MAYBE 0.17/0.15	MAYBE 102.51/26.12	MAYBE 0.19/0.20	StarExec error
Zantema_05/z20.xml	StarExec error	MAYBE 0.31/0.24	MAYBE 103.26/26.20	MAYBE 0.77/0.77	timeout (wallclock)
Zantema_05/z17.xml	StarExec error	MAYBE 0.13/0.11	MAYBE 105.69/27.35	MAYBE 0.20/0.22	StarExec error
Zantema_05/jw43.xml	YES 3.73/1.72	YES 0.03/0.03	YES 0.48/0.40	MAYBE 1.12/1.13	YES 1.88/1.90
Zantema_05/z26.xml	YES 7.47/2.84	YES 0.59/0.50	YES 1.26/0.62	MAYBE 1.54/1.56	StarExec error
Zantema_05/z01.xml	YES 6.57/2.55	MAYBE 0.33/0.28	YES 4.35/1.43	MAYBE 4.60/4.62	YES 29.05/29.95
Zantema_05/jw24.xml	YES 4.00/2.61	YES 0.06/0.04	YES 1.32/0.65	MAYBE 1.57/1.57	YES 0.13/0.16
Zantema_05/z27.xml	YES 28.13/14.24	MAYBE 0.08/0.07	MAYBE 40.90/10.61	StarExec error	timeout (wallclock)
Zantema_05/jw28.xml	YES 3.94/1.80	YES 0.03/0.03	YES 0.50/0.41	MAYBE 0.82/0.82	YES 0.12/0.14
Zantema_05/jw03.xml	YES 3.92/1.87	YES 0.05/0.04	YES 1.30/0.64	MAYBE 0.57/1.07	YES 0.12/0.13
Zantema_05/jw23.xml	YES 3.98/1.74	YES 0.05/0.04	YES 1.42/0.69	MAYBE 0.98/0.98	YES 1.78/2.11
Zantema_05/jw19.xml	YES 3.54/1.63	YES 0.15/0.12	YES 2.16/0.89	MAYBE 0.89/0.90	YES 0.87/0.93
Zantema_05/jw18.xml	YES 3.76/1.72	YES 0.05/0.04	YES 1.48/0.69	MAYBE 1.54/3.61	YES 0.18/0.20
Zantema_05/jw37.xml	YES 3.51/1.58	YES 0.05/0.05	YES 3.49/1.22	StarExec error	YES 0.50/0.57
Zantema_05/jw40.xml	YES 4.03/1.76	YES 0.08/0.06	YES 1.35/0.66	MAYBE 0.96/1.01	YES 0.07/0.09
Zantema_05/z04.xml	YES 3.63/1.62	YES 0.03/0.03	YES 0.92/0.53	MAYBE 0.17/0.19	YES 0.01/0.01
Zantema_05/jw30.xml	YES 3.58/1.62	YES 0.17/0.14	YES 2.58/1.02	MAYBE 0.92/0.93	YES 0.90/1.27
Zantema_05/jw14.xml	YES 3.59/1.67	YES 0.03/0.03	StarExec error	MAYBE 0.73/0.75	YES 0.01/0.01
Zantema_05/z23.xml	YES 3.76/1.67	MAYBE 0.23/0.19	YES 13.87/4.53	MAYBE 0.42/0.44	StarExec error
Zantema_05/jw36.xml	YES 4.28/1.95	YES 0.02/0.02	YES 2.21/0.86	MAYBE 0.75/0.76	YES 0.07/0.09
Zantema_05/jw04.xml	YES 3.86/1.74	YES 0.06/0.05	YES 0.58/0.44	MAYBE 0.57/0.58	YES 0.24/0.25
Zantema_05/z12.xml	YES 3.90/1.74	MAYBE 0.24/0.20	MAYBE 102.34/26.10	MAYBE 0.51/0.52	StarExec error
Zantema_05/z15.xml	YES 3.66/1.65	MAYBE 0.10/0.09	MAYBE 102.01/26.03	StarExec error	StarExec error
Zantema_05/z14.xml	YES 3.71/1.66	MAYBE 0.11/0.13	MAYBE 101.95/25.91	MAYBE 0.19/0.19	StarExec error
Zantema_05/z24.xml	YES 3.91/1.74	MAYBE 0.16/0.14	MAYBE 105.49/27.30	MAYBE 0.31/0.82	StarExec error
Zantema_05/z25.xml	YES 3.83/1.73	YES 0.03/0.03	YES 0.82/0.51	MAYBE 1.89/1.92	timeout (wallclock)
Zantema_05/jw21.xml	YES 3.91/1.70	YES 0.05/0.05	YES 1.51/0.71	MAYBE 0.84/0.84	YES 0.16/0.19
Zantema_05/jw17.xml	YES 4.19/1.83	YES 0.13/0.10	YES 1.40/0.66	MAYBE 0.76/1.45	YES 0.07/0.10
Zantema_05/z18.xml	YES 3.73/1.63	MAYBE 0.10/0.09	MAYBE 102.20/26.03	MAYBE 0.19/0.19	StarExec error
Strategy_removed_mixed_05/ex3.xml	NO 8.45/2.91	NO 0.05/0.05	NO 0.34/0.35	MAYBE 0.06/0.16	NO 0.01/0.01
Strategy_removed_mixed_05/test9.xml	NO 4.23/1.90	MAYBE 0.08/0.07	NO 0.67/0.43	MAYBE 0.10/0.11	MAYBE 0.17/0.28
Strategy_removed_mixed_05/gkg.xml	NO 3.99/1.79	NO 0.06/0.05	NO 0.76/0.48	MAYBE 0.04/0.06	NO 0.08/0.11
Strategy_removed_mixed_05/toyama.xml	NO 3.99/1.75	MAYBE 0.07/0.06	MAYBE 129.62/42.38	MAYBE 0.05/0.07	MAYBE 0.08/0.12
Strategy_removed_mixed_05/test10.xml	NO 13.51/8.76	NO 0.12/0.10	NO 1.25/0.64	MAYBE 0.14/0.15	MAYBE 19.04/19.18
Strategy_removed_mixed_05/test77.xml	NO 11.33/6.05	MAYBE 0.10/0.09	MAYBE 129.39/42.37	MAYBE 0.11/0.12	MAYBE 0.18/0.20
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml	NO 5.41/2.24	NO 0.07/0.06	NO 0.36/0.36	MAYBE 0.22/0.29	NO 0.01/0.03
Strategy_removed_mixed_05/n001.xml	NO 3.19/1.47	NO 0.06/0.05	NO 0.80/0.48	MAYBE 0.13/0.14	NO 0.66/0.73
Strategy_removed_mixed_05/ex5.xml	NO 7.15/2.53	NO 0.04/0.04	NO 0.35/0.35	MAYBE 0.06/0.08	NO 0.01/0.01
Strategy_removed_mixed_05/test75.xml	NO 4.31/1.94	MAYBE 0.07/0.06	NO 0.71/0.45	MAYBE 0.07/0.08	MAYBE 0.09/0.13
Strategy_removed_mixed_05/ex6.xml	NO 5.00/2.15	MAYBE 0.08/0.07	NO 1.28/0.59	MAYBE 0.06/0.06	MAYBE 82.32/84.00
Strategy_removed_mixed_05/ex1.xml	NO 7.81/3.87	NO 0.05/0.04	NO 0.35/0.35	MAYBE 0.07/0.09	NO 0.01/0.01
Strategy_removed_mixed_05/muladd.xml	NO 4.34/1.92	NO 0.11/0.09	NO 0.77/0.46	MAYBE 0.39/0.40	NO 0.22/0.25
Strategy_removed_mixed_05/test830.xml	YES 3.78/1.71	YES 0.03/0.03	YES 0.78/0.49	YES 0.06/0.07	YES 0.02/0.05
Strategy_removed_mixed_05/bn111.xml	StarExec error	MAYBE 0.13/0.10	MAYBE 101.01/25.58	StarExec error	MAYBE 0.32/0.37
Strategy_removed_mixed_05/tricky1.xml	YES 3.58/1.63	YES 0.02/0.02	YES 1.26/0.62	YES 0.07/0.08	YES 0.01/0.01
Strategy_removed_mixed_05/ex2.xml	NO 4.73/2.03	NO 0.05/0.05	NO 0.35/0.35	MAYBE 0.05/0.07	NO 0.01/0.01
Strategy_removed_mixed_05/test76.xml	NO 6.33/2.54	MAYBE 0.10/0.08	MAYBE 129.69/42.37	MAYBE 0.11/0.15	MAYBE 0.19/0.21
Strategy_removed_mixed_05/ex4.xml	NO 7.62/2.65	NO 0.05/0.05	NO 0.83/0.49	MAYBE 0.09/0.11	NO 0.10/0.12
Strategy_removed_CSR_05/Ex8_BLR02.xml	NO 4.47/1.95	NO 0.08/0.06	NO 0.35/0.35	MAYBE 0.16/0.21	NO 0.24/0.25
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml	NO 3.98/2.58	NO 0.06/0.05	NO 0.35/0.35	MAYBE 0.07/0.10	NO 52.65/50.48
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml	NO 5.17/2.21	NO 0.04/0.04	NO 0.34/0.35	MAYBE 0.04/0.06	NO 0.01/0.01
Strategy_removed_CSR_05/Ex6_GM04.xml	NO 5.68/2.25	NO 0.05/0.05	NO 0.34/0.35	MAYBE 0.04/0.06	StarExec error
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml	NO 4.91/2.07	StarExec error	NO 0.35/0.35	MAYBE 0.07/0.08	NO 0.43/0.55
Strategy_removed_CSR_05/Ex1_Zan97.xml	NO 6.83/2.45	NO 0.06/0.05	NO 0.67/0.43	MAYBE 0.08/0.56	NO 0.32/0.46
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml	NO 4.90/2.05	NO 0.06/0.05	NO 0.35/0.35	MAYBE 0.08/0.14	NO 0.43/0.52
Strategy_removed_CSR_05/Ex1_GM03.xml	NO 4.26/2.03	NO 0.08/0.07	NO 0.37/0.37	MAYBE 0.13/0.14	NO 0.16/0.20
Strategy_removed_CSR_05/Ex7_BLR02.xml	NO 5.14/2.26	NO 0.06/0.05	NO 0.35/0.35	MAYBE 0.13/0.16	NO 0.59/0.83
Strategy_removed_CSR_05/Ex6_15_AEL02.xml	NO 5.41/2.24	NO 0.09/0.08	NO 0.36/0.37	MAYBE 0.40/0.42	NO 0.01/0.02
Strategy_removed_CSR_05/ExIntrod_GM99.xml	NO 6.04/2.38	NO 0.11/0.09	NO 0.36/0.37	MAYBE 0.61/0.62	NO 17.02/17.24
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml	NO 5.24/2.15	NO 0.10/0.08	NO 0.36/0.37	MAYBE 0.38/0.39	NO 0.61/3.41
Strategy_removed_CSR_05/Ex3_2_Luc97.xml	NO 5.12/2.23	NO 0.07/0.06	NO 0.35/0.35	MAYBE 0.16/0.17	NO 0.58/0.66
Strategy_removed_CSR_05/Ex1_GM99.xml	NO 3.82/1.73	MAYBE 0.06/0.05	NO 0.61/0.40	MAYBE 0.05/0.08	MAYBE 0.08/0.10
Strategy_removed_CSR_05/Ex15_Luc98.xml	NO 5.10/2.18	NO 0.07/0.06	NO 0.35/0.36	MAYBE 0.14/0.14	NO 0.45/0.53
Strategy_removed_CSR_05/Ex4_Zan97.xml	NO 4.36/1.99	NO 0.06/0.07	NO 0.35/0.35	MAYBE 0.10/0.12	NO 0.27/0.27
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml	NO 5.98/2.48	NO 0.06/0.05	NO 0.35/0.35	MAYBE 0.23/0.24	NO 0.43/0.59
Strategy_removed_CSR_05/Ex5_7_Luc97.xml	NO 4.99/2.19	NO 0.08/0.07	NO 0.36/0.36	MAYBE 0.26/0.28	NO 0.01/0.02
Strategy_removed_CSR_05/Ex14_AEGL02.xml	NO 4.69/2.04	NO 0.06/0.05	NO 0.35/0.35	MAYBE 0.08/0.15	NO 0.50/0.60
Strategy_removed_CSR_05/Ex49_GM04.xml	YES 3.83/1.76	YES 0.03/0.03	YES 1.58/0.74	YES 0.07/0.08	YES 0.03/0.07
Strategy_removed_CSR_05/Ex6_Luc98.xml	NO 4.99/2.18	NO 0.05/0.05	NO 0.35/0.36	MAYBE 0.09/0.32	NO 0.43/1.00
Strategy_removed_CSR_05/ExConc_Zan97.xml	NO 3.04/1.45	NO 0.04/0.04	NO 0.35/0.35	MAYBE 0.05/0.08	NO 0.01/0.01
Strategy_removed_CSR_05/ExIntrod_GM01.xml	NO 5.48/2.44	NO 0.08/0.08	NO 0.35/0.35	MAYBE 0.10/0.11	NO 0.01/0.01
Strategy_removed_CSR_05/ExIntrod_GM04.xml	NO 5.39/2.22	NO 0.08/0.06	NO 0.35/0.36	MAYBE 0.09/0.10	NO 0.01/0.01
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml	NO 5.02/2.16	NO 0.05/0.05	NO 0.35/0.35	MAYBE 0.08/0.10	NO 0.51/0.62
Strategy_removed_CSR_05/Ex2_Luc03b.xml	NO 5.05/2.19	NO 0.06/0.05	NO 0.35/0.36	MAYBE 0.13/0.58	StarExec error
Strategy_removed_CSR_05/Ex1_GL02a.xml	NO 5.13/2.23	NO 0.07/0.06	NO 0.35/0.36	MAYBE 0.14/0.16	NO 0.01/0.01
Strategy_removed_CSR_05/Ex26_Luc03b.xml	NO 5.22/2.19	NO 0.07/0.06	NO 0.35/0.35	MAYBE 0.19/0.20	NO 0.73/0.80
Strategy_removed_CSR_05/Ex9_BLR02.xml	NO 5.19/2.11	NO 0.06/0.06	NO 0.36/0.36	MAYBE 0.24/0.27	NO 0.48/0.65
Strategy_removed_CSR_05/Ex24_GM04.xml	NO 4.20/2.04	MAYBE 0.06/0.05	MAYBE 76.23/25.46	MAYBE 0.05/0.06	MAYBE 0.16/0.22
Strategy_removed_CSR_05/Ex5_Zan97.xml	NO 5.24/2.35	NO 0.06/0.05	NO 0.35/0.35	MAYBE 0.06/0.10	NO 0.08/0.11
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml	NO 5.84/2.38	NO 0.08/0.07	NO 0.76/0.48	MAYBE 0.11/0.13	NO 3.31/3.53
Strategy_removed_CSR_05/Ex1_Luc02b.xml	NO 4.90/2.09	NO 0.06/0.05	NO 0.35/0.39	MAYBE 0.12/0.13	NO 0.53/0.69
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml	NO 4.80/2.03	NO 0.06/0.05	StarExec error	MAYBE 0.06/0.09	NO 0.43/0.51
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml	NO 5.41/2.28	NO 0.08/0.06	NO 0.36/0.36	MAYBE 0.23/0.25	NO 1.30/1.47
Strategy_removed_CSR_05/ExIntrod_Zan97.xml	NO 5.08/2.11	NO 0.07/0.06	NO 0.35/0.36	StarExec error	NO 0.22/0.25
Strategy_removed_CSR_05/Ex1_2_AEL03.xml	NO 5.41/2.15	NO 0.07/0.06	NO 0.36/0.36	MAYBE 0.29/0.31	NO 0.57/0.68
Transformed_CSR_04/OvConsOS_complete_L.xml	NO 3.18/1.49	NO 0.01/0.01	NO 0.36/0.37	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/OvConsOS_nosorts_GM.xml	NO 11.51/5.67	NO 0.29/0.25	NO 7.36/2.52	MAYBE 0.58/1.46	timeout (wallclock)
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml	YES 3.94/1.77	MAYBE 2.17/2.00	MAYBE 163.56/42.48	YES 5.31/5.34	YES 7.68/7.77
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml	timeout (wallclock)	MAYBE 53.05/52.60	MAYBE 166.34/42.76	MAYBE 37.23/37.24	StarExec error
Transformed_CSR_04/MYNAT_complete_GM.xml	YES 6.34/2.44	StarExec error	MAYBE 166.63/42.42	YES 4.95/5.00	StarExec error
Transformed_CSR_04/ExIntrod_GM04_GM.xml	YES 5.28/2.09	YES 0.03/0.03	YES 3.73/1.29	YES 0.39/0.39	YES 0.09/0.10
Transformed_CSR_04/Ex25_Luc06_Z.xml	YES 4.23/1.77	YES 0.02/0.03	YES 2.43/0.91	YES 0.03/0.04	YES 0.02/0.03
Transformed_CSR_04/PALINDROME_complete_C.xml	YES 7.15/2.63	YES 5.14/4.81	YES 222.47/173.48	YES 25.22/25.24	StarExec error
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml	YES 6.29/2.35	YES 0.28/0.27	YES 4.91/1.61	YES 0.66/0.67	YES 0.25/0.24
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml	YES 4.45/1.91	YES 0.07/0.06	YES 1.85/0.80	YES 0.13/0.15	YES 0.03/0.05
Transformed_CSR_04/Ex1_Zan97_FR.xml	NO 11.92/3.76	NO 0.07/0.06	NO 1.36/0.69	MAYBE 0.11/0.12	MAYBE 3.13/3.98
Transformed_CSR_04/MYNAT_complete_iGM.xml	YES 7.83/3.02	YES 3.26/2.78	MAYBE 164.91/42.86	YES 17.30/17.30	StarExec error
Transformed_CSR_04/PEANO_nokinds_FR.xml	YES 3.86/1.69	YES 0.06/0.05	YES 25.61/6.92	YES 0.54/0.54	YES 0.51/0.50
Transformed_CSR_04/ExConc_Zan97_C.xml	YES 4.01/1.73	YES 0.12/0.12	YES 5.34/1.68	YES 0.07/0.08	YES 0.06/0.23
Transformed_CSR_04/Ex9_Luc04_iGM.xml	NO 296.65/108.72	StarExec error	MAYBE 130.94/42.38	MAYBE 0.38/0.38	StarExec error
Transformed_CSR_04/Ex24_Luc06_C.xml	YES 3.42/1.65	YES 0.40/0.37	YES 4.96/1.86	MAYBE 0.69/0.69	StarExec error
Transformed_CSR_04/Ex9_Luc04_FR.xml	NO 4.03/1.80	MAYBE 0.06/0.05	NO 0.60/0.43	MAYBE 0.06/0.08	MAYBE 0.08/0.12
Transformed_CSR_04/Ex2_Luc02a_Z.xml	YES 3.85/1.75	YES 0.05/0.04	YES 1.37/0.69	YES 0.37/0.37	YES 0.01/0.02
Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml	YES 10.55/3.58	YES 0.08/0.07	YES 3.29/1.23	MAYBE 0.36/0.40	YES 0.79/1.04
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml	YES 5.10/2.11	MAYBE 3.20/2.97	MAYBE 163.94/42.47	MAYBE 1.90/1.90	StarExec error
Transformed_CSR_04/Ex24_Luc06_GM.xml	NO 4.62/2.06	MAYBE 0.07/0.06	NO 1.52/0.68	MAYBE 0.13/0.13	MAYBE 0.12/0.15
Transformed_CSR_04/ExProp7_Luc06_iGM.xml	YES 11.69/4.02	YES 0.20/0.17	YES 5.45/1.72	MAYBE 2.98/3.01	YES 0.59/0.62
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml	YES 3.38/1.53	YES 0.02/0.02	YES 0.68/0.47	YES 0.03/0.03	YES 0.02/0.04
Transformed_CSR_04/Ex23_Luc06_FR.xml	YES 3.52/1.63	YES 0.02/0.02	YES 0.85/0.51	YES 0.07/0.08	YES 0.01/0.01
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml	YES 4.39/1.86	MAYBE 4.55/4.22	MAYBE 165.42/42.46	MAYBE 3.42/3.43	StarExec error
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml	YES 13.14/4.29	StarExec error	MAYBE 155.78/42.41	YES 28.88/28.91	YES 103.88/107.21
Transformed_CSR_04/Ex7_BLR02_FR.xml	YES 4.34/1.90	YES 0.05/0.05	YES 6.19/1.92	YES 0.18/0.18	YES 0.15/0.14
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml	YES 3.93/1.81	YES 0.08/0.08	YES 1.73/0.74	YES 0.17/0.18	YES 0.15/0.18
Transformed_CSR_04/ExProp7_Luc06_GM.xml	YES 4.41/1.87	YES 0.05/0.05	YES 2.03/0.83	YES 0.15/0.20	YES 0.15/0.16
Transformed_CSR_04/Ex14_Luc06_FR.xml	NO 5.07/2.39	MAYBE 0.09/0.07	NO 0.69/0.46	MAYBE 0.09/0.09	MAYBE 1.70/2.17
Transformed_CSR_04/Ex9_Luc04_C.xml	YES 3.82/1.73	MAYBE 0.84/0.79	MAYBE 132.72/42.38	MAYBE 0.42/0.44	StarExec error
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml	timeout (wallclock)	MAYBE 1.26/1.10	MAYBE 161.18/42.42	MAYBE 4.76/4.78	StarExec error
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml	StarExec error	MAYBE 3.39/3.14	MAYBE 167.99/42.48	MAYBE 5.08/5.18	StarExec error
Transformed_CSR_04/Ex23_Luc06_C.xml	YES 3.61/1.64	YES 0.12/0.11	StarExec error	YES 0.39/0.41	YES 0.06/0.06
Transformed_CSR_04/Ex24_GM04_GM.xml	NO 48.25/24.32	MAYBE 0.07/0.06	MAYBE 100.87/25.57	MAYBE 0.09/0.11	MAYBE 0.08/0.12
Transformed_CSR_04/PEANO_complete-noand_Z.xml	YES 14.98/4.78	YES 0.13/0.11	YES 73.06/18.79	StarExec error	YES 3.08/3.05
Transformed_CSR_04/Ex1_Luc02b_GM.xml	StarExec error	YES 0.19/0.16	MAYBE 131.30/42.38	MAYBE 0.58/0.59	timeout (wallclock)
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml	YES 4.07/1.83	YES 0.08/0.07	YES 3.03/1.11	YES 0.22/0.24	YES 0.01/0.02
Transformed_CSR_04/PALINDROME_nokinds_C.xml	YES 4.01/1.78	YES 1.07/1.06	YES 17.02/4.70	YES 1.59/1.59	YES 0.16/0.16
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml	StarExec error	YES 1.84/1.54	MAYBE 164.64/42.45	MAYBE 3.16/3.16	StarExec error
Transformed_CSR_04/Ex1_GM99_iGM.xml	NO 13.99/5.05	StarExec error	MAYBE 130.28/42.37	MAYBE 0.35/0.36	StarExec error
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml	StarExec error	YES 0.13/0.11	MAYBE 130.78/42.37	MAYBE 0.33/0.35	timeout (wallclock)
Transformed_CSR_04/Ex3_2_Luc97_Z.xml	StarExec error	YES 0.35/0.27	MAYBE 134.64/42.38	MAYBE 1.01/1.01	StarExec error
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml	YES 3.59/1.56	YES 0.02/0.02	YES 1.13/0.59	YES 0.05/0.07	YES 0.03/0.06
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml	YES 73.52/21.45	YES 0.88/0.84	MAYBE 169.18/42.81	YES 28.74/28.75	YES 198.34/200.42
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml	NO 3.08/1.48	NO 0.01/0.01	StarExec error	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex14_AEGL02_C.xml	YES 3.70/1.70	YES 1.01/0.94	YES 48.76/14.69	MAYBE 0.61/0.63	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml	NO 5.49/2.35	NO 0.11/0.10	NO 7.86/3.70	MAYBE 0.22/0.24	timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml	StarExec error	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml	NO 366.28/93.95	StarExec error	MAYBE 167.53/42.66	MAYBE 48.51/48.52	StarExec error
Transformed_CSR_04/PALINDROME_complete-noand_L.xml	NO 84.50/24.55	NO 0.35/0.32	NO 0.37/0.37	StarExec error	NO 0.02/0.02
Transformed_CSR_04/Ex9_Luc04_L.xml	NO 3.95/1.75	NO 0.06/0.05	NO 0.49/0.40	MAYBE 0.05/0.08	MAYBE 0.09/0.66
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml	YES 412.37/166.32	YES 34.99/33.94	MAYBE 169.35/42.99	StarExec error	timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml	NO 3.29/1.51	NO 0.01/0.01	NO 0.37/0.38	NO 0.00/0.01	NO 0.01/0.02
Transformed_CSR_04/PEANO_complete_L.xml	NO 3.22/1.54	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex15_Luc06_FR.xml	YES 3.33/1.51	YES 0.03/0.03	YES 0.87/0.52	YES 0.09/0.09	YES 0.01/0.01
Transformed_CSR_04/Ex3_2_Luc97_L.xml	NO 3.00/1.49	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml	YES 3.69/1.78	YES 0.06/0.05	YES 1.36/0.68	YES 0.05/0.06	YES 0.01/0.01
Transformed_CSR_04/OvConsOS_nokinds_C.xml	StarExec error	MAYBE 5.33/4.87	MAYBE 165.53/42.46	MAYBE 3.75/3.76	StarExec error
Transformed_CSR_04/MYNAT_complete_Z.xml	YES 4.89/2.01	YES 1.18/1.03	MAYBE 164.17/42.41	YES 1.62/1.63	timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml	YES 6.39/2.44	YES 0.19/0.19	YES 6.85/2.32	YES 1.03/1.03	YES 0.06/0.07
Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml	YES 16.09/5.72	YES 4.64/4.11	MAYBE 168.74/43.15	timeout (wallclock)	YES 109.56/108.80
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml	NO 3.07/1.48	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml	YES 3.51/2.10	YES 0.02/0.02	StarExec error	YES 0.02/0.02	YES 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml	StarExec error	YES 8.94/7.64	MAYBE 167.08/42.87	MAYBE 13.94/13.95	StarExec error
Transformed_CSR_04/Ex9_BLR02_GM.xml	YES 5.99/2.49	YES 0.07/0.07	YES 20.96/5.71	YES 0.59/0.59	YES 0.16/0.16
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml	StarExec error	YES 177.16/171.06	MAYBE 164.12/43.21	MAYBE 238.82/238.91	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml	NO 3.89/1.75	MAYBE 4.63/4.57	MAYBE 153.70/42.41	MAYBE 1.05/1.06	StarExec error
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml	YES 3.74/1.71	YES 0.03/0.03	YES 0.76/0.49	YES 0.04/0.04	YES 0.02/0.04
Transformed_CSR_04/PEANO_nosorts_FR.xml	YES 3.45/1.56	YES 0.02/0.02	YES 0.56/0.43	YES 0.02/0.02	YES 0.01/0.01
Transformed_CSR_04/OvConsOS_nosorts_L.xml	NO 3.25/1.53	NO 0.01/0.01	NO 0.35/0.35	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex15_Luc98_Z.xml	YES 3.78/1.73	YES 0.04/0.04	YES 3.21/1.20	YES 0.18/0.20	YES 0.05/0.06
Transformed_CSR_04/Ex4_DLMMU04_C.xml	YES 7.06/2.62	MAYBE 5.19/4.74	MAYBE 165.23/42.46	MAYBE 3.50/3.50	StarExec error
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml	StarExec error	MAYBE 5.99/5.55	MAYBE 165.90/42.58	MAYBE 49.88/50.33	timeout (wallclock)
Transformed_CSR_04/Ex5_7_Luc97_L.xml	NO 3.13/1.49	NO 0.01/0.01	NO 0.35/0.36	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml	YES 7.17/2.66	YES 0.06/0.05	YES 15.51/4.30	YES 0.40/0.40	YES 0.51/0.49
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml	YES 3.86/1.70	YES 0.75/0.75	YES 12.61/3.65	YES 0.30/0.31	YES 0.08/0.09
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml	YES 4.13/2.51	YES 0.06/0.05	StarExec error	YES 0.21/0.22	YES 0.01/0.02
Transformed_CSR_04/PALINDROME_complete_FR.xml	YES 5.29/2.11	YES 0.36/0.33	YES 72.99/19.09	YES 2.08/2.09	YES 1.52/1.50
Transformed_CSR_04/Ex15_Luc98_GM.xml	YES 4.23/1.77	YES 0.04/0.03	YES 1.80/0.76	YES 0.17/0.18	YES 0.16/0.16
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml	timeout (wallclock)	MAYBE 1.32/1.16	MAYBE 161.33/42.43	MAYBE 4.80/4.80	StarExec error
Transformed_CSR_04/MYNAT_complete-noand_Z.xml	YES 34.10/10.37	YES 2.21/2.02	MAYBE 167.15/42.44	StarExec error	StarExec error
Transformed_CSR_04/MYNAT_nosorts_FR.xml	YES 3.42/1.59	YES 0.03/0.03	YES 0.73/0.49	YES 0.06/0.06	YES 0.01/0.01
Transformed_CSR_04/Ex8_BLR02_GM.xml	StarExec error	YES 0.42/0.35	MAYBE 134.44/42.39	MAYBE 1.02/1.02	StarExec error
Transformed_CSR_04/Ex23_Luc06_L.xml	YES 3.28/1.57	YES 0.01/0.02	YES 0.45/0.39	YES 0.01/0.02	YES 0.01/0.01
Transformed_CSR_04/Ex25_Luc06_iGM.xml	YES 34.59/9.66	YES 0.10/0.10	YES 16.60/4.52	YES 0.20/0.21	StarExec error
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml	YES 3.58/1.64	YES 0.03/0.03	YES 0.81/0.49	YES 0.03/0.03	YES 0.01/0.01
Transformed_CSR_04/Ex15_Luc98_iGM.xml	YES 8.45/2.98	YES 0.17/0.15	YES 15.45/4.80	YES 0.71/0.74	YES 0.54/0.53
Transformed_CSR_04/ExIntrod_GM01_L.xml	NO 3.17/1.51	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml	StarExec error	YES 0.33/0.26	MAYBE 134.71/42.39	MAYBE 0.59/0.60	StarExec error
Transformed_CSR_04/Ex7_BLR02_Z.xml	YES 4.17/1.83	StarExec error	YES 1.22/0.63	YES 0.16/0.17	YES 0.01/0.01
Transformed_CSR_04/Ex26_Luc03b_FR.xml	YES 13.17/4.24	YES 0.17/0.14	MAYBE 134.14/42.38	MAYBE 0.82/0.83	YES 167.71/172.08
Transformed_CSR_04/OvConsOS_nosorts_FR.xml	NO 5.50/2.32	NO 0.18/0.15	NO 3.49/1.44	MAYBE 0.31/0.32	NO 5.76/6.62
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml	YES 168.09/45.01	YES 0.75/0.62	MAYBE 167.41/42.41	MAYBE 3.18/3.18	StarExec error
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml	timeout (wallclock)	YES 0.77/0.71	MAYBE 146.43/42.42	MAYBE 1.67/1.86	timeout (wallclock)
Transformed_CSR_04/Ex24_Luc06_L.xml	StarExec error	NO 0.04/0.04	NO 0.35/0.35	MAYBE 0.03/0.05	NO 0.07/0.13
Transformed_CSR_04/Ex1_GM03_Z.xml	NO 4.48/2.13	NO 0.08/0.06	NO 0.36/0.36	MAYBE 0.18/0.18	NO 0.01/0.01
Transformed_CSR_04/ExConc_Zan97_Z.xml	NO 3.14/1.47	NO 0.05/0.04	NO 0.35/0.35	MAYBE 0.07/0.13	NO 0.01/0.01
Transformed_CSR_04/Ex49_GM04_iGM.xml	YES 11.55/3.96	YES 0.15/0.13	YES 15.78/4.83	StarExec error	YES 0.38/0.37
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml	YES 37.16/11.92	YES 52.10/51.50	MAYBE 164.53/43.12	YES 31.05/31.08	YES 4.56/4.57
Transformed_CSR_04/Ex24_Luc06_iGM.xml	NO 11.08/4.65	StarExec error	MAYBE 132.41/42.38	MAYBE 1.45/1.45	StarExec error
Transformed_CSR_04/Ex14_Luc06_iGM.xml	StarExec error	MAYBE 0.72/0.65	MAYBE 132.72/42.39	MAYBE 0.69/0.70	StarExec error
Transformed_CSR_04/Ex6_15_AEL02_L.xml	NO 3.01/1.84	NO 0.01/0.02	NO 0.36/0.37	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex6_15_AEL02_FR.xml	StarExec error	NO 0.34/0.28	MAYBE 167.93/42.52	MAYBE 0.98/1.01	StarExec error
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml	YES 3.38/1.54	YES 0.02/0.02	YES 0.85/0.51	YES 0.02/0.02	YES 0.01/0.02
Transformed_CSR_04/Ex1_Luc04b_C.xml	YES 3.95/1.75	YES 0.28/0.27	YES 12.05/3.44	YES 0.72/0.73	YES 2.15/2.15
Transformed_CSR_04/Ex14_Luc06_L.xml	NO 7.53/2.75	NO 0.06/0.05	NO 0.78/0.43	MAYBE 0.08/0.12	NO 0.25/0.32
Transformed_CSR_04/Ex1_GM03_GM.xml	StarExec error	MAYBE 0.54/0.48	MAYBE 134.46/42.39	MAYBE 1.55/1.55	StarExec error
Transformed_CSR_04/Ex7_BLR02_C.xml	YES 4.09/1.74	YES 0.80/0.69	MAYBE 148.98/42.42	MAYBE 1.10/1.10	StarExec error
Transformed_CSR_04/Ex5_7_Luc97_FR.xml	StarExec error	YES 0.51/0.42	MAYBE 167.90/42.49	MAYBE 1.09/1.26	StarExec error
Transformed_CSR_04/ExIntrod_GM99_FR.xml	StarExec error	MAYBE 1.06/0.91	MAYBE 141.07/42.39	MAYBE 1.69/1.71	timeout (wallclock)
Transformed_CSR_04/ExIntrod_GM99_C.xml	YES 4.35/1.87	MAYBE 3.51/3.07	MAYBE 163.03/42.52	MAYBE 4.26/4.26	StarExec error
Transformed_CSR_04/Ex1_GL02a_L.xml	NO 5.17/2.22	NO 0.01/0.01	NO 0.34/0.35	MAYBE 0.02/0.02	NO 0.01/0.01
Transformed_CSR_04/Ex5_Zan97_C.xml	YES 3.52/1.61	YES 0.20/0.19	YES 7.91/2.37	YES 0.35/0.36	YES 3.28/3.31
Transformed_CSR_04/Ex5_Zan97_FR.xml	YES 3.94/1.70	YES 0.03/0.03	StarExec error	YES 0.04/0.06	YES 0.05/0.05
Transformed_CSR_04/PALINDROME_nokinds_GM.xml	YES 4.02/1.69	YES 0.13/0.13	YES 4.37/1.52	YES 0.63/0.64	YES 0.71/0.69
Transformed_CSR_04/Ex24_Luc06_FR.xml	NO 4.30/1.96	MAYBE 0.07/0.07	NO 0.82/0.52	MAYBE 0.12/0.13	MAYBE 0.13/0.17
Transformed_CSR_04/OvConsOS_complete_iGM.xml	StarExec error	MAYBE 26.05/24.37	MAYBE 166.38/42.90	MAYBE 191.23/191.33	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml	StarExec error	MAYBE 18.35/17.56	MAYBE 169.68/43.05	MAYBE 25.96/26.06	StarExec error
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml	YES 180.49/61.20	YES 26.17/25.60	MAYBE 165.17/42.89	MAYBE 20.68/20.69	StarExec error
Transformed_CSR_04/PALINDROME_complete_Z.xml	YES 5.18/2.18	YES 0.20/0.19	YES 40.52/10.92	StarExec error	MAYBE 0.71/0.69
Transformed_CSR_04/Ex14_Luc06_C.xml	YES 4.81/2.03	MAYBE 5.80/5.74	MAYBE 138.65/42.39	MAYBE 0.52/0.53	timeout (wallclock)
Transformed_CSR_04/Ex1_GM99_FR.xml	NO 4.08/1.87	MAYBE 0.07/0.06	NO 0.59/0.44	MAYBE 0.06/0.08	MAYBE 0.08/0.11
Transformed_CSR_04/Ex1_GL02a_iGM.xml	YES 9.89/3.45	YES 0.10/0.09	YES 8.21/2.58	YES 0.38/0.39	YES 1.18/1.21
Transformed_CSR_04/ExIntrod_Zan97_L.xml	NO 3.02/1.44	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/ExIntrod_Zan97_iGM.xml	StarExec error	MAYBE 1.06/0.87	MAYBE 146.61/42.41	MAYBE 1.44/1.46	StarExec error
Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml	YES 19.00/5.81	YES 0.23/0.19	YES 37.98/10.10	MAYBE 0.55/0.57	YES 65.51/66.96
Transformed_CSR_04/OvConsOS_nokinds_L.xml	NO 3.14/1.47	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/OvConsOS_nokinds_FR.xml	NO 370.29/96.19	MAYBE 2.27/2.09	MAYBE 162.29/42.41	MAYBE 4.13/4.14	StarExec error
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml	YES 8.48/2.95	YES 0.06/0.05	YES 17.47/4.79	MAYBE 0.32/0.33	YES 33.75/35.59
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml	YES 3.66/1.62	YES 0.04/0.03	YES 0.85/0.53	YES 0.06/0.07	YES 0.01/0.01
Transformed_CSR_04/Ex49_GM04_Z.xml	YES 4.60/1.92	YES 0.05/0.04	YES 5.51/1.77	YES 0.16/0.16	YES 0.06/0.07
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml	StarExec error	YES 15.81/14.21	MAYBE 167.38/42.83	MAYBE 28.11/28.13	timeout (wallclock)
Transformed_CSR_04/ExIntrod_GM99_L.xml	NO 3.00/1.49	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.04
Transformed_CSR_04/Ex26_Luc03b_Z.xml	YES 8.11/2.87	YES 0.14/0.12	YES 19.09/5.24	YES 0.70/1.19	MAYBE 51.16/51.26
Transformed_CSR_04/PEANO_nosorts_C.xml	YES 3.55/1.62	YES 0.31/0.32	YES 7.79/2.35	YES 0.39/0.39	YES 0.08/0.10
Transformed_CSR_04/ExProp7_Luc06_FR.xml	StarExec error	YES 0.06/0.06	YES 1.27/0.64	YES 0.07/0.08	YES 0.04/0.05
Transformed_CSR_04/PEANO_complete_noand_GM.xml	YES 10.37/3.63	YES 0.34/0.32	YES 118.08/32.46	YES 4.19/4.20	YES 1.24/1.23
Transformed_CSR_04/Ex15_Luc06_L.xml	NO 5.88/2.32	NO 0.01/0.01	NO 0.34/0.35	MAYBE 0.01/0.01	NO 0.01/0.04
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml	NO 3.18/1.53	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml	StarExec error	MAYBE 17.06/16.07	MAYBE 164.21/42.95	StarExec error	timeout (wallclock)
Transformed_CSR_04/Ex2_Luc02a_L.xml	YES 3.65/1.67	YES 0.04/0.03	YES 1.04/0.59	YES 0.13/0.14	YES 0.01/0.01
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml	timeout (wallclock)	MAYBE 16.09/15.93	MAYBE 169.39/42.91	MAYBE 16.15/16.15	StarExec error
Transformed_CSR_04/Ex1_GM03_FR.xml	StarExec error	MAYBE 0.44/0.39	MAYBE 130.79/42.38	MAYBE 1.09/1.09	StarExec error
Transformed_CSR_04/Ex23_Luc06_Z.xml	YES 3.35/1.49	YES 0.02/0.02	YES 0.58/0.44	YES 0.02/0.04	YES 0.01/0.01
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml	YES 5.62/2.32	YES 0.30/0.28	YES 67.85/17.81	YES 3.20/3.20	MAYBE 1.49/1.45
Transformed_CSR_04/PEANO_complete-noand_L.xml	NO 3.09/1.44	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml	StarExec error	MAYBE 22.25/21.21	MAYBE 168.39/42.55	MAYBE 11.03/11.07	StarExec error
Transformed_CSR_04/Ex5_7_Luc97_GM.xml	StarExec error	YES 3.85/3.73	MAYBE 149.73/42.43	MAYBE 1.47/1.49	timeout (wallclock)
Transformed_CSR_04/Ex5_DLMMU04_C.xml	YES 4.29/1.93	YES 1.00/0.98	YES 34.94/10.80	YES 2.44/2.45	YES 2.26/2.27
Transformed_CSR_04/ExIntrod_GM04_Z.xml	StarExec error	StarExec error	NO 14.22/5.38	MAYBE 0.54/0.61	timeout (wallclock)
Transformed_CSR_04/Ex24_GM04_Z.xml	NO 25.04/12.94	MAYBE 0.09/0.07	NO 4.17/1.37	MAYBE 0.10/0.14	MAYBE 0.13/0.15
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml	YES 4.89/2.06	YES 0.07/0.07	YES 2.12/0.84	YES 0.37/0.38	YES 0.16/0.15
Transformed_CSR_04/PEANO_nokinds_noand_C.xml	YES 4.48/1.91	MAYBE 3.44/3.26	MAYBE 160.40/42.41	MAYBE 1.78/1.78	StarExec error
Transformed_CSR_04/OvConsOS_nokinds_Z.xml	NO 275.43/70.87	MAYBE 33.95/33.79	MAYBE 158.14/42.44	MAYBE 4.72/4.72	timeout (wallclock)
Transformed_CSR_04/Ex5_Zan97_L.xml	NO 3.20/1.55	NO 0.01/0.01	NO 0.35/0.35	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex6_Luc98_L.xml	YES 3.60/1.62	YES 0.02/0.02	YES 0.56/0.43	YES 0.01/0.02	YES 0.01/0.01
Transformed_CSR_04/OvConsOS_nokinds_GM.xml	StarExec error	MAYBE 9.84/9.69	MAYBE 158.14/42.44	MAYBE 4.00/4.05	timeout (wallclock)
Transformed_CSR_04/Ex1_Luc04b_L.xml	NO 3.13/1.46	NO 0.01/0.01	NO 0.35/0.35	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml	StarExec error	YES 31.55/27.66	MAYBE 168.75/43.43	MAYBE 280.64/281.03	timeout (wallclock)
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml	YES 3.69/1.72	YES 0.04/0.04	YES 0.94/0.56	YES 0.06/0.07	YES 0.01/0.02
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml	YES 6.01/2.31	MAYBE 3.06/2.90	MAYBE 153.98/42.41	MAYBE 1.60/1.61	StarExec error
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml	YES 6.14/2.48	YES 0.37/0.34	YES 93.99/24.68	YES 3.31/3.31	YES 1.11/1.28
Transformed_CSR_04/Ex1_GL02a_GM.xml	YES 3.88/1.83	YES 0.05/0.04	YES 1.44/0.73	YES 0.24/0.25	YES 0.01/0.02
Transformed_CSR_04/PALINDROME_nosorts_GM.xml	YES 3.81/2.11	YES 0.04/0.04	YES 2.51/0.98	StarExec error	StarExec error
Transformed_CSR_04/ExIntrod_Zan97_FR.xml	StarExec error	MAYBE 0.39/0.34	MAYBE 131.18/42.39	MAYBE 0.59/0.60	MAYBE 71.11/72.31
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml	YES 9.10/3.11	YES 0.61/0.53	MAYBE 151.97/42.41	YES 7.96/7.98	YES 217.15/225.11
Transformed_CSR_04/Ex14_AEGL02_L.xml	NO 7.44/2.64	NO 0.05/0.04	NO 0.56/0.44	MAYBE 0.06/0.10	NO 0.13/0.20
Transformed_CSR_04/ExIntrod_GM01_Z.xml	NO 18.49/8.84	NO 0.40/0.35	NO 10.69/4.42	MAYBE 0.39/0.39	MAYBE 291.91/298.98
Transformed_CSR_04/Ex2_Luc02a_C.xml	YES 3.79/1.75	YES 0.56/0.49	YES 29.58/10.21	YES 1.47/1.48	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml	YES 6.62/2.56	MAYBE 10.83/10.61	MAYBE 168.41/42.51	MAYBE 3.23/3.23	StarExec error
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml	YES 3.47/1.68	YES 0.12/0.11	YES 5.17/1.68	YES 0.24/1.02	YES 0.14/0.16
Transformed_CSR_04/Ex1_GL02a_Z.xml	NO 47.66/14.83	MAYBE 1.33/1.27	MAYBE 131.75/42.38	MAYBE 0.55/0.55	timeout (wallclock)
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml	YES 15.12/4.70	YES 0.07/0.06	YES 10.47/3.01	MAYBE 0.31/0.31	StarExec error
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml	YES 16.07/5.23	YES 0.11/0.10	YES 24.49/6.79	StarExec error	StarExec error
Transformed_CSR_04/Ex6_15_AEL02_Z.xml	NO 30.51/9.88	NO 0.27/0.21	NO 88.94/22.87	MAYBE 0.91/0.93	StarExec error
Transformed_CSR_04/Ex2_Luc02a_GM.xml	YES 8.66/3.04	YES 0.28/0.24	MAYBE 135.89/42.39	YES 3.89/3.89	YES 165.73/169.55
Transformed_CSR_04/Ex4_4_Luc96b_L.xml	YES 3.26/1.51	YES 0.02/0.02	YES 0.76/0.47	YES 0.01/0.02	YES 0.01/0.01
Transformed_CSR_04/Ex6_9_Luc02c_L.xml	NO 3.05/1.45	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex5_DLMMU04_iGM.xml	YES 20.03/6.56	YES 0.30/0.28	YES 61.51/17.62	YES 4.71/4.75	YES 17.08/18.51
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml	YES 6.25/2.38	YES 0.17/0.15	YES 5.28/1.86	YES 0.95/1.35	YES 0.05/0.05
Transformed_CSR_04/PEANO_complete-noand_FR.xml	YES 18.61/5.58	YES 0.14/0.13	YES 98.66/25.69	YES 1.20/1.20	YES 3.28/3.26
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml	YES 3.62/1.69	YES 0.02/0.02	YES 0.61/0.45	YES 0.01/0.02	YES 0.01/0.02
Transformed_CSR_04/MYNAT_nokinds_GM.xml	YES 4.88/2.01	YES 0.87/0.79	StarExec error	YES 1.43/1.43	YES 272.37/281.28
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml	timeout (wallclock)	MAYBE 11.02/10.85	MAYBE 167.84/42.48	MAYBE 12.85/12.85	StarExec error
Transformed_CSR_04/Ex1_GM99_GM.xml	NO 5.98/2.35	MAYBE 0.12/0.10	MAYBE 129.61/42.37	MAYBE 0.17/0.24	MAYBE 3.02/3.29
Transformed_CSR_04/PEANO_nokinds-noand_L.xml	NO 3.09/1.49	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml	NO 2.96/1.45	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	StarExec error
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml	YES 4.67/1.98	YES 0.59/0.53	MAYBE 136.88/42.39	YES 0.52/0.52	YES 58.35/61.11
Transformed_CSR_04/Ex1_2_AEL03_iGM.xml	YES 87.36/23.62	YES 1.06/0.86	MAYBE 166.25/42.43	MAYBE 2.62/3.13	StarExec error
Transformed_CSR_04/Ex2_Luc03b_C.xml	YES 3.91/1.78	YES 0.33/0.31	YES 12.67/3.84	YES 0.71/0.72	YES 0.13/0.17
Transformed_CSR_04/Ex1_GL02a_C.xml	YES 3.83/1.66	YES 1.23/1.13	YES 57.28/16.68	MAYBE 1.10/1.11	YES 6.80/7.00
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml	StarExec error	YES 7.78/7.28	MAYBE 167.09/43.06	MAYBE 64.61/64.62	timeout (wallclock)
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml	YES 7.65/2.99	YES 0.29/0.24	MAYBE 141.97/42.40	YES 8.76/8.77	YES 290.65/297.09
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml	NO 74.28/22.17	MAYBE 5.45/5.34	MAYBE 146.73/42.39	MAYBE 8.17/8.20	StarExec error
Transformed_CSR_04/Ex2_Luc02a_iGM.xml	YES 14.04/4.53	YES 0.41/0.33	YES 21.81/7.71	YES 1.56/1.57	timeout (wallclock)
Transformed_CSR_04/Ex1_Luc02b_L.xml	NO 3.04/1.54	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml	timeout (wallclock)	YES 0.89/0.80	MAYBE 164.03/42.40	MAYBE 2.54/2.55	timeout (wallclock)
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml	YES 4.07/1.77	YES 0.04/0.04	YES 1.23/0.64	YES 0.10/0.12	YES 0.03/0.05
Transformed_CSR_04/MYNAT_nokinds_FR.xml	YES 4.33/1.84	YES 0.36/0.30	MAYBE 141.25/42.38	YES 0.32/0.32	timeout (wallclock)
Transformed_CSR_04/Ex1_Luc04b_GM.xml	YES 6.37/2.79	YES 0.14/0.13	YES 4.06/1.41	StarExec error	YES 0.64/0.93
Transformed_CSR_04/Ex4_4_Luc96b_C.xml	YES 3.79/1.66	YES 0.08/0.08	YES 1.66/0.80	YES 0.10/0.60	YES 0.05/0.06
Transformed_CSR_04/MYNAT_complete-noand_L.xml	NO 3.30/1.57	NO 0.01/0.01	NO 0.37/0.37	NO 0.01/0.01	NO 0.01/0.02
Transformed_CSR_04/Ex3_2_Luc97_GM.xml	StarExec error	YES 0.27/0.22	MAYBE 135.02/42.39	MAYBE 0.59/0.60	timeout (wallclock)
Transformed_CSR_04/Ex25_Luc06_L.xml	YES 3.23/1.50	YES 0.02/0.02	YES 0.46/0.40	YES 0.01/0.02	YES 0.01/0.01
Transformed_CSR_04/Ex16_Luc06_FR.xml	YES 3.48/1.63	MAYBE 0.06/0.05	YES 0.57/0.44	MAYBE 0.04/0.07	YES 0.01/0.01
Transformed_CSR_04/Ex1_GM03_iGM.xml	StarExec error	StarExec error	MAYBE 147.56/42.40	MAYBE 1.39/1.43	StarExec error
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml	YES 4.60/1.89	YES 0.03/0.03	YES 2.43/0.95	YES 0.07/0.09	YES 0.05/0.05
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml	NO 5.04/2.07	NO 0.15/0.12	NO 0.83/0.47	MAYBE 0.17/0.18	MAYBE 8.78/9.17
Transformed_CSR_04/Ex6_Luc98_iGM.xml	YES 6.60/2.53	YES 0.09/0.08	YES 6.11/2.04	YES 0.48/0.53	YES 0.11/0.11
Transformed_CSR_04/Ex23_Luc06_iGM.xml	YES 3.53/1.60	YES 0.07/0.07	YES 1.74/0.74	YES 0.18/0.18	YES 0.03/0.04
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml	YES 13.39/4.13	MAYBE 112.37/108.33	StarExec error	MAYBE 164.30/164.33	timeout (wallclock)
Transformed_CSR_04/Ex24_GM04_C.xml	YES 3.52/1.59	MAYBE 2.56/2.52	MAYBE 136.63/42.38	MAYBE 0.41/0.41	StarExec error
Transformed_CSR_04/PEANO_nosorts-noand_L.xml	NO 3.17/1.52	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	StarExec error
Transformed_CSR_04/PEANO_nosorts_L.xml	NO 3.21/1.53	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex2_Luc03b_GM.xml	YES 13.97/4.41	YES 0.06/0.05	YES 20.29/5.48	YES 0.20/0.20	YES 0.14/0.14
Transformed_CSR_04/Ex1_2_AEL03_FR.xml	YES 4.08/1.72	YES 0.06/0.05	YES 1.72/0.76	YES 0.30/0.31	YES 0.02/0.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml	NO 4.80/2.15	NO 0.08/0.07	NO 2.92/1.33	MAYBE 0.12/0.13	NO 1.02/1.25
Transformed_CSR_04/Ex9_BLR02_C.xml	StarExec error	YES 0.30/0.29	YES 24.26/8.66	YES 0.82/0.83	YES 0.30/0.31
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml	NO 3.06/1.46	NO 0.01/0.01	NO 0.35/0.36	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex1_GM03_C.xml	StarExec error	MAYBE 2.29/2.17	MAYBE 147.38/42.40	MAYBE 1.33/1.34	StarExec error
Transformed_CSR_04/Ex9_Luc06_GM.xml	YES 3.93/1.70	YES 0.02/0.02	YES 0.74/0.48	YES 0.03/0.04	YES 0.02/0.04
Transformed_CSR_04/MYNAT_nosorts_C.xml	YES 3.69/1.66	YES 0.30/0.26	YES 20.47/7.63	YES 1.71/1.71	YES 3.20/3.25
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml	NO 3.12/1.54	NO 0.01/0.01	NO 0.37/0.37	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml	YES 3.97/1.81	YES 0.05/0.05	YES 2.85/1.07	YES 0.25/0.27	YES 0.02/0.02
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml	YES 3.66/1.65	YES 0.05/0.04	YES 1.20/0.62	YES 0.29/0.29	YES 0.01/0.01
Transformed_CSR_04/PEANO_complete_iGM.xml	YES 7.03/2.94	YES 0.61/0.57	StarExec error	YES 6.73/6.73	YES 13.95/14.50
Transformed_CSR_04/Ex1_Luc04b_Z.xml	NO 5.89/2.42	NO 0.07/0.06	NO 0.35/0.36	MAYBE 0.14/0.17	NO 0.01/0.01
Transformed_CSR_04/Ex16_Luc06_GM.xml	YES 3.82/1.73	MAYBE 0.07/0.06	YES 0.77/0.52	MAYBE 0.06/0.09	YES 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml	YES 4.67/1.92	MAYBE 29.58/28.88	MAYBE 168.24/42.55	MAYBE 10.64/10.66	timeout (wallclock)
Transformed_CSR_04/Ex3_12_Luc96a_C.xml	YES 3.75/1.68	YES 0.39/0.32	MAYBE 144.62/42.41	MAYBE 0.64/0.65	StarExec error
Transformed_CSR_04/Ex9_BLR02_L.xml	YES 3.62/1.64	YES 0.02/0.04	YES 0.73/0.48	YES 0.04/0.04	YES 0.01/0.01
Transformed_CSR_04/PALINDROME_nosorts_L.xml	NO 3.15/1.46	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml	YES 3.59/1.62	YES 0.03/0.03	YES 1.00/0.58	YES 0.10/0.13	YES 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_complete_C.xml	StarExec error	StarExec error	MAYBE 167.25/42.74	MAYBE 209.62/209.66	StarExec error
Transformed_CSR_04/Ex15_Luc06_GM.xml	YES 3.18/1.49	YES 0.03/0.03	YES 0.67/0.45	YES 0.04/0.04	YES 0.01/0.01
Transformed_CSR_04/Ex1_Luc02b_C.xml	YES 3.83/1.69	YES 0.66/0.56	StarExec error	MAYBE 0.93/0.95	StarExec error
Transformed_CSR_04/PEANO_nokinds_L.xml	NO 3.30/1.56	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	StarExec error
Transformed_CSR_04/Ex15_Luc06_Z.xml	YES 51.25/1.60	YES 0.02/0.02	YES 0.67/0.46	YES 0.04/0.06	YES 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml	YES 7.05/2.51	MAYBE 36.27/34.99	MAYBE 167.55/42.68	MAYBE 25.18/25.18	timeout (wallclock)
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml	YES 4.10/1.79	YES 0.05/0.05	YES 3.47/1.25	YES 0.15/0.18	YES 0.04/0.04
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml	StarExec error	StarExec error	MAYBE 167.92/42.74	MAYBE 13.81/13.82	StarExec error
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml	NO 4.36/1.82	MAYBE 4.46/4.25	MAYBE 168.34/42.45	MAYBE 3.11/3.13	StarExec error
Transformed_CSR_04/Ex9_BLR02_Z.xml	YES 5.20/2.11	YES 0.06/0.06	YES 5.64/1.88	YES 0.22/0.22	YES 0.08/0.09
Transformed_CSR_04/ExIntrod_GM04_iGM.xml	YES 10.27/3.59	YES 0.16/0.15	YES 7.27/2.20	YES 0.49/0.50	YES 2.18/2.35
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml	YES 11.48/3.96	YES 0.74/0.69	MAYBE 168.01/42.89	YES 60.16/60.33	YES 4.01/3.97
Transformed_CSR_04/Ex3_2_Luc97_C.xml	StarExec error	YES 0.76/0.63	MAYBE 149.10/42.41	MAYBE 1.20/1.21	StarExec error
Transformed_CSR_04/Ex14_AEGL02_GM.xml	YES 4.23/1.91	YES 0.05/0.04	YES 4.54/1.49	YES 0.12/0.30	YES 0.04/0.05
Transformed_CSR_04/Ex6_GM04_C.xml	YES 3.79/1.71	YES 0.07/0.07	YES 1.90/0.79	YES 0.17/0.18	YES 0.06/0.06
Transformed_CSR_04/Ex49_GM04_FR.xml	YES 12.15/3.93	YES 0.14/0.13	MAYBE 138.16/42.39	MAYBE 5.53/5.55	StarExec error
Transformed_CSR_04/PEANO_nokinds_Z.xml	YES 3.97/1.81	YES 0.05/0.05	YES 23.94/6.43	YES 0.30/0.30	YES 0.37/0.36
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml	NO 42.41/14.46	NO 0.55/0.45	MAYBE 137.18/42.39	MAYBE 1.34/1.35	StarExec error
Transformed_CSR_04/ExIntrod_GM04_C.xml	YES 4.30/1.86	YES 0.29/0.28	YES 18.43/5.13	YES 0.82/0.85	StarExec error
Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml	YES 25.45/7.92	YES 0.30/0.30	YES 85.11/24.16	YES 3.44/3.46	YES 4.68/5.28
Transformed_CSR_04/Ex1_2_AEL03_C.xml	YES 4.16/1.82	YES 2.01/1.67	MAYBE 165.10/42.46	MAYBE 2.53/2.53	StarExec error
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml	YES 3.58/1.63	YES 0.04/0.04	YES 1.33/0.68	YES 0.04/0.05	YES 0.01/0.01
Transformed_CSR_04/Ex16_Luc06_L.xml	NO 6.22/2.30	NO 0.04/0.05	NO 0.35/0.35	MAYBE 0.03/0.05	NO 0.07/0.12
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml	YES 3.91/1.74	YES 0.06/0.05	YES 4.81/1.57	YES 0.35/0.36	YES 0.05/0.05
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml	NO 5.22/2.25	NO 0.08/0.07	NO 0.36/0.36	MAYBE 0.52/0.53	NO 0.01/0.03
Transformed_CSR_04/Ex18_Luc06_L.xml	YES 3.29/1.53	YES 0.01/0.01	YES 0.44/0.39	YES 0.01/0.01	YES 0.01/0.01
Transformed_CSR_04/Ex1_Luc02b_Z.xml	YES 3.67/1.63	YES 0.04/0.04	YES 1.08/0.62	YES 0.11/0.11	YES 0.01/0.01
Transformed_CSR_04/ExProp7_Luc06_Z.xml	YES 3.90/1.67	YES 0.03/0.03	YES 0.87/0.53	YES 0.04/0.06	YES 0.03/0.05
Transformed_CSR_04/OvConsOS_complete_C.xml	timeout (wallclock)	MAYBE 15.14/13.73	MAYBE 168.43/42.53	MAYBE 172.73/172.76	StarExec error
Transformed_CSR_04/ExAppendixB_AEL03_L.xml	NO 3.12/1.53	NO 0.01/0.01	NO 0.36/0.37	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex8_BLR02_L.xml	NO 3.04/2.11	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml	YES 79.48/24.34	YES 1.83/1.61	MAYBE 164.63/42.46	YES 82.45/82.48	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml	NO 23.16/9.35	MAYBE 0.61/0.55	NO 14.94/4.83	MAYBE 0.85/0.86	StarExec error
Transformed_CSR_04/OvConsOS_complete_FR.xml	StarExec error	MAYBE 13.98/13.57	MAYBE 166.91/42.44	timeout (wallclock)	StarExec error
Transformed_CSR_04/PEANO_nosorts_noand_C.xml	YES 3.79/1.67	YES 0.54/0.53	YES 9.32/2.73	YES 0.92/0.93	YES 0.24/0.26
Transformed_CSR_04/Ex1_Zan97_GM.xml	YES 3.35/1.52	YES 0.02/0.02	YES 0.61/0.44	YES 0.02/0.04	YES 0.02/0.03
Transformed_CSR_04/Ex5_DLMMU04_GM.xml	YES 8.78/3.05	YES 0.16/0.17	YES 4.71/1.55	YES 1.27/1.27	YES 3.13/3.32
Transformed_CSR_04/Ex6_GM04_iGM.xml	YES 3.47/1.54	YES 0.05/0.05	YES 1.28/0.64	YES 0.07/0.07	YES 0.04/0.04
Transformed_CSR_04/Ex9_Luc06_iGM.xml	YES 4.89/2.05	YES 0.06/0.05	YES 2.64/1.01	YES 0.22/0.22	YES 9.98/10.04
Transformed_CSR_04/OvConsOS_nosorts_C.xml	NO 3.78/1.73	MAYBE 2.27/2.16	MAYBE 148.39/42.40	MAYBE 1.11/1.12	timeout (wallclock)
Transformed_CSR_04/Ex24_GM04_L.xml	NO 10.67/3.46	NO 0.01/0.01	NO 0.34/0.35	MAYBE 0.01/0.02	NO 0.01/0.01
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml	YES 10.29/3.48	YES 0.59/0.52	MAYBE 147.20/42.43	YES 11.07/11.09	YES 172.84/180.04
Transformed_CSR_04/Ex25_Luc06_FR.xml	YES 27.20/7.73	YES 0.05/0.04	YES 5.44/1.68	YES 0.12/0.12	YES 0.06/0.06
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml	timeout (wallclock)	YES 145.29/143.71	MAYBE 167.60/42.99	MAYBE 122.35/123.91	StarExec error
Transformed_CSR_04/PEANO_nokinds_iGM.xml	YES 5.23/2.05	YES 0.19/0.17	YES 45.58/12.58	YES 1.67/1.67	YES 1.45/1.48
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml	YES 3.50/1.57	YES 0.02/0.02	YES 0.94/0.52	YES 0.02/0.02	YES 0.01/0.01
Transformed_CSR_04/Ex1_GL02a_FR.xml	NO 332.78/106.65	MAYBE 0.59/0.54	MAYBE 136.18/42.38	MAYBE 0.55/0.67	StarExec error
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml	StarExec error	StarExec error	MAYBE 168.42/42.95	MAYBE 261.02/265.93	timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml	NO 11.66/4.12	NO 0.39/0.33	NO 125.49/32.68	MAYBE 0.86/0.86	StarExec error
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml	StarExec error	MAYBE 11.28/10.88	MAYBE 166.45/42.46	MAYBE 49.40/49.41	StarExec error
Transformed_CSR_04/PALINDROME_nokinds_FR.xml	YES 4.10/1.79	YES 0.19/0.18	YES 4.90/1.63	YES 0.35/0.35	YES 0.50/0.50
Transformed_CSR_04/ExIntrod_GM01_FR.xml	NO 22.30/8.65	NO 0.40/0.36	NO 5.97/2.02	MAYBE 0.42/0.43	StarExec error
Transformed_CSR_04/ExConc_Zan97_L.xml	YES 3.08/1.47	YES 0.01/0.02	YES 0.41/0.39	YES 0.01/0.01	YES 0.01/0.02
Transformed_CSR_04/MYNAT_nokinds_iGM.xml	YES 6.94/2.64	YES 1.11/0.93	MAYBE 164.11/42.44	YES 2.86/2.99	StarExec error
Transformed_CSR_04/MYNAT_complete-noand_FR.xml	YES 49.34/14.41	YES 3.34/3.15	MAYBE 166.62/42.45	YES 169.34/169.35	timeout (wallclock)
Transformed_CSR_04/ExIntrod_GM99_iGM.xml	StarExec error	MAYBE 3.22/2.46	MAYBE 158.79/42.44	MAYBE 5.59/5.61	StarExec error
Transformed_CSR_04/PEANO_nosorts_GM.xml	YES 3.66/2.03	YES 0.04/0.04	YES 1.58/0.72	YES 0.14/0.15	YES 0.14/0.13
Transformed_CSR_04/Ex15_Luc98_FR.xml	YES 9.32/3.19	YES 0.08/0.07	YES 10.08/2.99	MAYBE 0.62/0.63	YES 1.50/1.95
Transformed_CSR_04/Ex6_Luc98_C.xml	YES 3.56/1.62	YES 0.20/0.18	YES 6.27/2.00	YES 0.42/0.43	YES 0.10/0.10
Transformed_CSR_04/Ex9_Luc06_C.xml	YES 3.70/1.71	YES 0.95/0.90	YES 4.13/1.38	MAYBE 0.58/0.58	StarExec error
Transformed_CSR_04/Ex15_Luc98_L.xml	NO 2.89/1.93	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.02	NO 0.01/0.01
Transformed_CSR_04/Ex1_2_AEL03_Z.xml	YES 3.95/1.75	YES 0.06/0.05	YES 1.73/0.80	YES 0.50/0.56	YES 0.02/0.02
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml	YES 4.18/1.89	YES 0.07/0.06	YES 3.63/1.27	YES 0.22/0.22	YES 0.03/0.04
Transformed_CSR_04/OvConsOS_complete_noand_C.xml	YES 10.62/3.55	MAYBE 49.07/47.59	MAYBE 166.98/42.70	MAYBE 22.82/22.85	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml	NO 5.85/2.39	NO 0.15/0.13	NO 1.23/0.61	MAYBE 0.21/0.22	MAYBE 2.65/2.86
Transformed_CSR_04/MYNAT_nosorts_GM.xml	YES 3.82/1.70	YES 0.19/0.15	MAYBE 131.29/42.37	YES 0.21/0.22	YES 27.15/28.33
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml	NO 494.00/145.55	NO 0.10/0.09	NO 0.36/0.38	MAYBE 0.26/0.27	NO 0.01/0.01
Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml	YES 144.56/43.28	YES 1.59/1.33	MAYBE 167.08/42.48	MAYBE 2.93/3.00	StarExec error
Transformed_CSR_04/PALINDROME_complete_L.xml	NO 2.97/1.53	NO 0.01/0.01	NO 0.37/0.37	NO 0.01/0.01	NO 0.01/0.02
Transformed_CSR_04/ExIntrod_GM01_GM.xml	YES 7.04/2.61	YES 0.10/0.10	YES 6.15/1.95	YES 0.41/0.48	YES 0.85/0.95
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml	YES 141.62/45.07	YES 0.81/0.71	MAYBE 159.28/42.40	MAYBE 3.05/3.08	StarExec error
Transformed_CSR_04/Ex18_Luc06_iGM.xml	YES 3.50/1.61	YES 0.05/0.05	YES 1.23/0.62	YES 0.21/0.21	YES 0.03/0.05
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml	StarExec error	YES 2.91/2.60	MAYBE 165.38/42.45	MAYBE 16.49/16.49	StarExec error
Transformed_CSR_04/Ex1_Luc02b_FR.xml	YES 4.36/1.89	YES 0.06/0.05	YES 8.99/2.62	YES 0.15/0.15	YES 0.09/0.09
Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml	YES 4.09/1.79	YES 0.05/0.04	YES 1.88/0.81	StarExec error	YES 0.04/0.04
Transformed_CSR_04/Ex4_DLMMU04_L.xml	NO 3.19/1.46	NO 0.01/0.01	NO 0.35/0.36	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml	StarExec error	StarExec error	MAYBE 169.68/42.93	MAYBE 16.67/16.68	StarExec error
Transformed_CSR_04/Ex16_Luc06_iGM.xml	YES 5.54/2.34	MAYBE 0.30/0.27	YES 5.17/1.73	MAYBE 0.24/0.25	MAYBE 42.23/43.00
Transformed_CSR_04/Ex2_Luc02a_FR.xml	YES 4.91/2.03	YES 0.07/0.07	YES 9.96/2.90	YES 0.34/0.36	YES 0.12/0.11
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml	YES 9.67/3.28	MAYBE 48.62/47.82	MAYBE 168.12/42.57	MAYBE 15.16/15.18	StarExec error
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml	YES 4.03/1.81	YES 0.32/0.30	YES 26.00/8.77	YES 0.84/0.84	YES 0.14/0.14
Transformed_CSR_04/ExConc_Zan97_GM.xml	YES 3.91/1.70	YES 0.02/0.02	YES 1.37/0.64	YES 0.03/0.04	YES 0.01/0.01
Transformed_CSR_04/Ex2_Luc03b_iGM.xml	YES 7.91/2.86	YES 0.12/0.11	YES 14.98/4.54	YES 1.15/1.23	YES 0.31/0.31
Transformed_CSR_04/PEANO_complete_noand_C.xml	YES 6.43/2.37	MAYBE 12.21/11.71	MAYBE 167.38/42.49	MAYBE 5.62/5.62	StarExec error
Transformed_CSR_04/PEANO_nokinds_C.xml	YES 4.22/1.81	YES 0.63/0.57	MAYBE 149.78/42.40	YES 0.95/1.01	StarExec error
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml	YES 3.56/1.59	YES 0.05/0.04	YES 2.26/0.90	YES 0.20/0.26	YES 0.19/0.19
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml	YES 3.98/1.77	YES 0.87/0.79	YES 33.98/11.59	YES 1.75/1.76	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml	YES 176.49/51.20	MAYBE 10.54/9.98	MAYBE 168.33/42.49	MAYBE 6.36/6.39	StarExec error
Transformed_CSR_04/ExIntrod_Zan97_GM.xml	StarExec error	MAYBE 0.96/0.84	MAYBE 134.38/42.38	MAYBE 1.42/1.43	StarExec error
Transformed_CSR_04/Ex8_BLR02_FR.xml	YES 3.70/1.65	YES 0.05/0.04	YES 1.24/0.64	YES 0.13/0.15	YES 0.01/0.02
Transformed_CSR_04/Ex23_Luc06_GM.xml	YES 3.29/1.51	YES 0.02/0.02	YES 0.90/0.53	YES 0.04/0.06	YES 0.01/0.01
Transformed_CSR_04/MYNAT_complete_noand_C.xml	YES 6.60/2.42	MAYBE 16.74/15.77	MAYBE 168.04/42.60	MAYBE 13.52/13.53	StarExec error
Transformed_CSR_04/OvConsOS_complete_GM.xml	StarExec error	StarExec error	MAYBE 166.08/42.47	MAYBE 133.24/133.25	StarExec error
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml	YES 6.04/2.27	YES 0.06/0.06	YES 39.55/10.43	YES 0.54/0.54	YES 0.26/0.25
Transformed_CSR_04/Ex49_GM04_C.xml	YES 4.05/1.77	YES 0.43/0.39	YES 23.75/8.46	YES 0.99/1.11	YES 2.10/2.13
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml	StarExec error	StarExec error	MAYBE 167.39/42.91	MAYBE 247.20/248.88	StarExec error
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml	timeout (wallclock)	YES 65.01/63.63	MAYBE 165.27/43.19	timeout (wallclock)	timeout (wallclock)
Transformed_CSR_04/PALINDROME_nokinds_L.xml	NO 3.12/1.46	NO 0.01/0.01	NO 0.35/0.35	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex14_AEGL02_Z.xml	NO 8.99/3.43	NO 0.13/0.11	NO 3.28/1.17	MAYBE 0.17/0.19	MAYBE 13.29/14.91
Transformed_CSR_04/OvConsOS_complete-noand_L.xml	NO 3.26/1.53	NO 0.01/0.01	NO 0.38/0.38	NO 0.01/0.01	NO 0.01/0.02
Transformed_CSR_04/Ex1_GM99_C.xml	YES 3.43/1.64	MAYBE 1.55/1.52	MAYBE 136.33/42.38	MAYBE 0.42/0.43	StarExec error
Transformed_CSR_04/ExIntrod_GM99_GM.xml	YES 89.75/23.44	YES 0.15/0.14	MAYBE 146.46/42.41	MAYBE 4.66/4.68	StarExec error
Transformed_CSR_04/PALINDROME_complete_noand_C.xml	YES 6.75/2.45	YES 20.45/19.97	timeout (wallclock)	YES 108.92/108.93	StarExec error
Transformed_CSR_04/ExConc_Zan97_iGM.xml	YES 3.73/1.73	YES 0.05/0.05	YES 9.94/2.81	YES 0.08/0.09	YES 0.03/0.04
Transformed_CSR_04/PEANO_nokinds_GM.xml	YES 4.14/1.78	YES 0.07/0.06	YES 39.89/10.56	YES 0.66/0.66	YES 1.22/1.26
Transformed_CSR_04/Ex4_Zan97_L.xml	NO 3.32/1.48	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex7_BLR02_L.xml	NO 3.04/1.44	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex5_7_Luc97_Z.xml	StarExec error	YES 0.45/0.35	MAYBE 168.56/42.56	MAYBE 1.03/1.04	StarExec error
Transformed_CSR_04/Ex1_GM99_L.xml	NO 9.75/3.20	NO 0.01/0.01	NO 0.35/0.35	MAYBE 0.03/0.03	NO 0.01/0.01
Transformed_CSR_04/Ex4_Zan97_FR.xml	YES 3.71/1.61	YES 0.05/0.05	YES 1.03/0.60	YES 0.12/0.69	YES 0.01/0.01
Transformed_CSR_04/Ex9_Luc06_FR.xml	NO 4.10/2.43	NO 0.09/0.07	NO 1.41/0.69	MAYBE 0.17/0.18	StarExec error
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml	YES 13.67/4.40	YES 2.21/2.01	YES 134.71/36.16	YES 3.38/3.40	YES 0.95/0.97
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml	YES 5.06/2.12	YES 0.07/0.06	YES 6.21/1.97	YES 0.31/0.32	YES 0.21/0.20
Transformed_CSR_04/PALINDROME_nokinds_Z.xml	YES 3.79/1.67	YES 0.05/0.05	YES 3.39/1.21	YES 0.47/0.47	YES 0.36/0.36
Transformed_CSR_04/Ex3_2_Luc97_FR.xml	StarExec error	YES 0.37/0.29	MAYBE 138.40/42.39	MAYBE 1.08/1.08	StarExec error
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml	YES 4.82/1.99	YES 0.08/0.07	YES 10.92/3.18	YES 0.41/0.43	YES 0.11/0.12
Transformed_CSR_04/Ex6_GM04_GM.xml	YES 3.43/2.14	YES 0.02/0.02	YES 0.59/0.43	YES 0.02/0.02	YES 0.01/0.01
Transformed_CSR_04/Ex16_Luc06_C.xml	YES 3.88/1.70	MAYBE 1.59/1.56	MAYBE 138.66/42.38	MAYBE 0.36/0.37	StarExec error
Transformed_CSR_04/Ex6_Luc98_GM.xml	YES 4.30/1.89	YES 0.05/0.05	YES 7.01/2.09	YES 0.13/0.58	YES 0.07/0.07
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml	YES 15.00/4.73	YES 1.91/1.89	YES 178.37/53.51	YES 7.46/7.71	YES 3.05/3.31
Transformed_CSR_04/Ex15_Luc06_C.xml	YES 4.06/1.75	YES 0.34/0.33	YES 2.92/1.08	MAYBE 0.98/1.00	YES 23.68/23.77
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml	YES 6.69/2.59	YES 0.13/0.12	YES 4.54/1.52	YES 0.39/0.42	YES 0.44/0.47
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml	StarExec error	YES 1.67/1.40	MAYBE 166.50/42.48	MAYBE 2.66/2.66	StarExec error
Transformed_CSR_04/Ex1_2_Luc02c_L.xml	NO 3.16/1.54	NO 0.01/0.01	NO 0.34/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex14_Luc06_GM.xml	timeout (wallclock)	MAYBE 0.18/0.16	NO 2.27/0.91	MAYBE 0.13/0.15	MAYBE 108.70/114.18
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml	StarExec error	YES 19.65/18.60	MAYBE 163.91/42.68	StarExec error	StarExec error
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml	YES 6.39/2.37	YES 0.05/0.04	YES 7.22/2.16	MAYBE 0.19/0.20	YES 0.35/0.48
Transformed_CSR_04/ExProp7_Luc06_C.xml	YES 3.79/1.67	YES 0.82/0.76	YES 8.86/2.61	MAYBE 1.35/1.37	YES 31.23/31.42
Transformed_CSR_04/Ex4_Zan97_C.xml	YES 3.81/1.68	YES 0.49/0.42	MAYBE 145.43/42.43	MAYBE 0.88/0.89	StarExec error
Transformed_CSR_04/Ex26_Luc03b_GM.xml	YES 6.48/2.40	YES 0.07/0.06	YES 20.53/5.64	YES 0.51/0.53	YES 0.17/0.17
Transformed_CSR_04/Ex6_Luc98_Z.xml	YES 3.94/1.66	YES 0.02/0.02	YES 0.71/0.47	YES 0.04/0.04	YES 0.01/0.01
Transformed_CSR_04/Ex3_2_Luc97_iGM.xml	StarExec error	YES 0.62/0.48	MAYBE 148.82/42.40	MAYBE 1.04/1.07	StarExec error
Transformed_CSR_04/Ex1_Zan97_C.xml	YES 17.27/5.10	YES 0.28/0.26	YES 2.53/0.97	MAYBE 0.49/0.51	YES 14.43/14.51
Transformed_CSR_04/ExIntrod_GM01_iGM.xml	YES 11.63/4.05	YES 0.19/0.18	YES 35.63/10.36	YES 0.80/0.82	YES 3.11/3.31
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml	YES 3.59/1.57	YES 0.04/0.03	YES 2.68/1.01	YES 0.18/0.18	YES 0.23/0.22
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml	YES 3.60/1.60	YES 0.74/0.68	YES 13.15/3.76	MAYBE 1.66/1.88	YES 20.54/20.66
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml	YES 4.68/1.88	YES 0.07/0.06	YES 5.57/1.83	YES 0.32/0.33	YES 0.29/0.28
Transformed_CSR_04/Ex2_Luc03b_FR.xml	YES 6.49/2.46	YES 0.05/0.05	YES 21.77/5.95	YES 0.44/0.45	YES 0.39/0.42
Transformed_CSR_04/Ex9_Luc04_GM.xml	NO 6.90/2.57	MAYBE 0.15/0.12	MAYBE 130.08/42.37	MAYBE 0.24/0.27	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml	NO 74.99/21.82	MAYBE 4.71/4.60	MAYBE 146.39/42.39	MAYBE 9.07/9.10	StarExec error
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml	NO 2.99/1.47	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.06
Transformed_CSR_04/Ex1_Zan97_iGM.xml	YES 3.43/1.51	YES 0.05/0.05	YES 1.45/0.68	YES 0.18/0.18	YES 0.05/0.05
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml	YES 7.17/2.64	YES 0.10/0.09	YES 23.21/6.34	YES 0.55/0.55	YES 0.23/0.23
Transformed_CSR_04/Ex4_DLMMU04_iGM.xml	YES 90.02/25.13	MAYBE 10.47/9.87	MAYBE 166.17/42.62	MAYBE 6.72/6.74	StarExec error
Transformed_CSR_04/ExIntrod_GM01_C.xml	YES 4.12/1.77	YES 0.34/0.32	YES 15.43/4.33	YES 1.21/1.23	YES 1.82/1.84
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml	NO 9.42/3.42	NO 0.19/0.17	NO 9.57/3.68	MAYBE 0.30/0.31	timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml	StarExec error	YES 0.84/0.70	MAYBE 165.04/42.43	MAYBE 3.35/3.37	StarExec error
Transformed_CSR_04/ExProp7_Luc06_L.xml	YES 3.66/1.67	YES 0.03/0.02	YES 0.68/0.46	YES 0.02/0.04	YES 0.03/0.06
Transformed_CSR_04/Ex26_Luc03b_C.xml	YES 4.03/1.75	YES 0.44/0.42	YES 29.13/9.95	YES 1.05/1.05	YES 0.18/0.18
Transformed_CSR_04/Ex1_Luc04b_iGM.xml	YES 9.60/3.92	YES 0.15/0.15	YES 10.14/3.03	YES 0.85/1.36	YES 3.82/4.13
Transformed_CSR_04/PALINDROME_complete_GM.xml	YES 7.19/2.67	YES 0.37/0.35	YES 143.10/39.52	YES 8.43/8.43	YES 16.32/16.76
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml	StarExec error	StarExec error	MAYBE 167.55/42.94	timeout (wallclock)	StarExec error
Transformed_CSR_04/Ex18_Luc06_FR.xml	YES 3.25/1.51	YES 0.02/0.02	YES 0.69/0.46	YES 0.02/0.04	YES 0.01/0.01
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml	YES 4.77/1.95	YES 6.54/6.52	YES 57.70/25.64	YES 22.66/22.66	YES 0.74/0.76
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml	YES 3.97/1.73	YES 0.04/0.04	YES 1.89/0.91	YES 0.48/0.49	YES 0.01/0.02
Transformed_CSR_04/PEANO_complete_noand_iGM.xml	YES 199.37/69.04	YES 1.45/1.36	MAYBE 165.87/42.89	YES 127.61/127.64	YES 100.79/103.92
Transformed_CSR_04/Ex1_2_AEL03_GM.xml	YES 170.17/45.24	YES 0.65/0.55	MAYBE 154.91/42.41	MAYBE 2.45/2.46	StarExec error
Transformed_CSR_04/Ex1_Zan97_L.xml	NO 7.29/2.60	NO 0.05/0.05	NO 0.46/0.42	MAYBE 0.05/0.10	NO 0.25/0.36
Transformed_CSR_04/PEANO_complete_GM.xml	YES 5.06/2.05	YES 0.26/0.24	YES 55.80/14.58	YES 3.45/3.45	YES 13.16/14.24
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml	YES 11.87/4.01	YES 0.44/0.36	YES 25.64/9.91	YES 23.75/23.79	StarExec error
Transformed_CSR_04/Ex4_Zan97_iGM.xml	StarExec error	YES 0.47/0.38	MAYBE 137.78/42.39	MAYBE 0.78/0.81	StarExec error
Transformed_CSR_04/PALINDROME_nosorts_C.xml	YES 3.51/1.59	YES 0.51/0.50	YES 9.11/2.69	YES 0.62/0.63	YES 0.08/0.08
Transformed_CSR_04/OvConsOS_complete_Z.xml	timeout (wallclock)	MAYBE 54.42/54.04	MAYBE 166.70/42.45	StarExec error	StarExec error
Transformed_CSR_04/Ex24_GM04_FR.xml	timeout (wallclock)	MAYBE 0.10/0.08	MAYBE 101.22/25.63	MAYBE 0.11/0.13	MAYBE 0.21/0.59
Transformed_CSR_04/Ex5_Zan97_iGM.xml	YES 6.10/2.33	YES 0.13/0.13	YES 3.66/1.26	YES 0.26/0.26	YES 3.47/3.73
Transformed_CSR_04/Ex5_Zan97_Z.xml	YES 3.56/1.56	YES 0.02/0.02	YES 0.59/0.43	YES 0.02/0.03	YES 0.02/0.04
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml	YES 3.68/1.73	YES 0.38/0.32	MAYBE 142.95/42.39	MAYBE 0.62/0.62	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml	YES 8.87/2.97	YES 0.58/0.57	YES 19.31/5.40	YES 2.03/2.04	YES 0.15/0.15
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml	NO 3.13/1.46	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml	StarExec error	YES 7.28/6.43	MAYBE 166.68/42.89	MAYBE 10.77/10.78	StarExec error
Transformed_CSR_04/Ex5_7_Luc97_iGM.xml	StarExec error	YES 1.38/1.12	MAYBE 164.01/42.45	MAYBE 1.98/2.00	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml	NO 126.48/34.21	MAYBE 0.72/0.64	MAYBE 167.96/42.54	MAYBE 1.62/1.62	StarExec error
Transformed_CSR_04/MYNAT_complete_L.xml	NO 3.19/1.48	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/OvConsOS_nosorts_Z.xml	NO 5.79/2.32	NO 0.17/0.14	NO 16.40/5.44	MAYBE 0.36/0.69	NO 5.59/6.69
Transformed_CSR_04/Ex6_GM04_FR.xml	NO 8.63/3.06	NO 0.08/0.07	NO 1.14/0.60	MAYBE 0.10/0.10	NO 0.24/0.38
Transformed_CSR_04/Ex18_Luc06_GM.xml	YES 3.34/1.50	YES 0.03/0.03	YES 0.78/0.50	YES 0.04/0.04	YES 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_complete_L.xml	NO 3.15/1.51	NO 0.01/0.01	NO 0.40/0.40	NO 0.01/0.01	NO 0.02/0.02
Transformed_CSR_04/Ex4_Zan97_Z.xml	YES 3.48/1.57	YES 0.03/0.03	YES 0.96/0.57	StarExec error	YES 0.01/0.01
Transformed_CSR_04/Ex49_GM04_GM.xml	YES 6.22/2.49	YES 0.09/0.08	YES 25.74/6.92	YES 0.34/0.36	YES 0.13/0.13
Transformed_CSR_04/Ex3_12_Luc96a_L.xml	NO 3.02/1.47	NO 0.01/0.01	NO 0.35/0.35	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex25_Luc06_C.xml	YES 3.74/1.64	YES 0.33/0.33	YES 10.11/2.85	YES 0.19/0.20	YES 0.07/0.08
Transformed_CSR_04/Ex1_Luc04b_FR.xml	NO 11.86/4.05	NO 0.25/0.23	NO 2.30/0.99	MAYBE 0.24/0.24	MAYBE 2.09/2.21
Transformed_CSR_04/Ex8_BLR02_iGM.xml	StarExec error	YES 0.73/0.58	MAYBE 149.17/42.40	MAYBE 1.36/1.88	StarExec error
Transformed_CSR_04/Ex8_BLR02_Z.xml	YES 3.73/1.73	YES 0.04/0.04	YES 1.24/0.68	YES 0.10/0.11	YES 0.01/0.01
Transformed_CSR_04/PEANO_complete_Z.xml	YES 4.33/2.13	YES 0.16/0.15	YES 52.85/13.83	YES 0.68/0.69	YES 1.75/1.73
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml	YES 3.50/1.61	YES 0.02/0.02	YES 1.01/0.56	YES 0.03/0.04	YES 0.03/0.07
Transformed_CSR_04/Ex1_2_Luc02c_C.xml	YES 4.90/1.92	YES 0.30/0.29	YES 2.81/1.02	YES 0.20/0.24	YES 0.08/0.08
Transformed_CSR_04/Ex14_AEGL02_iGM.xml	YES 8.56/3.15	YES 0.10/0.09	YES 3.39/1.20	YES 0.33/0.45	YES 0.62/0.65
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml	StarExec error	YES 1.29/1.04	MAYBE 158.02/42.40	MAYBE 1.94/2.18	StarExec error
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml	YES 4.96/1.98	YES 0.07/0.06	YES 4.82/1.56	YES 0.43/0.43	YES 0.21/0.21
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml	NO 3.69/1.67	MAYBE 3.25/3.19	MAYBE 144.46/42.38	MAYBE 0.76/0.76	timeout (wallclock)
Transformed_CSR_04/Ex1_GM03_L.xml	NO 3.37/1.51	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex18_Luc06_C.xml	YES 3.71/1.63	YES 0.07/0.07	YES 2.07/0.84	YES 0.29/0.29	YES 0.05/0.06
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml	YES 3.83/1.72	YES 0.05/0.05	YES 1.67/0.81	YES 0.28/0.29	YES 0.01/0.02
Transformed_CSR_04/Ex5_DLMMU04_L.xml	NO 3.15/1.51	NO 0.01/0.01	NO 0.35/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex4_DLMMU04_Z.xml	NO 51.81/14.37	NO 1.23/1.08	NO 5.44/1.77	MAYBE 2.96/2.96	timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml	YES 22.08/6.80	YES 4.01/3.67	YES 93.79/28.77	YES 7.87/7.88	YES 0.74/0.74
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml	NO 2.90/1.51	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex5_DLMMU04_Z.xml	NO 7.41/2.77	NO 0.12/0.11	NO 7.96/2.39	MAYBE 0.46/0.60	NO 0.19/0.22
Transformed_CSR_04/PALINDROME_nosorts_FR.xml	YES 3.40/1.57	YES 0.02/0.02	YES 0.69/0.46	YES 0.02/0.04	YES 0.01/0.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml	StarExec error	MAYBE 1.60/1.49	MAYBE 142.10/42.40	MAYBE 2.20/2.22	timeout (wallclock)
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml	NO 8.31/3.03	MAYBE 0.19/0.15	NO 1.10/0.58	MAYBE 0.20/0.21	MAYBE 33.76/35.92
Transformed_CSR_04/Ex5_Zan97_GM.xml	YES 4.34/2.75	YES 0.06/0.05	YES 1.78/0.77	YES 0.10/0.10	YES 1.29/1.39
Transformed_CSR_04/Ex6_GM04_L.xml	YES 3.23/1.51	YES 0.02/0.02	YES 0.41/0.38	YES 0.02/0.02	YES 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml	NO 3.26/1.55	NO 0.01/0.01	NO 0.42/0.43	NO 0.01/0.01	NO 0.02/0.02
Transformed_CSR_04/ExIntrod_GM99_Z.xml	NO 16.24/5.65	NO 0.43/0.32	NO 2.30/0.99	MAYBE 1.42/1.42	timeout (wallclock)
Transformed_CSR_04/Ex7_BLR02_iGM.xml	StarExec error	YES 0.56/0.44	MAYBE 147.61/42.40	MAYBE 1.17/1.19	StarExec error
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml	NO 2.99/1.43	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex25_Luc06_GM.xml	YES 3.65/1.57	YES 0.03/0.03	YES 4.71/1.48	YES 0.09/0.09	YES 0.01/0.01
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml	YES 18.66/5.96	YES 2.02/1.81	YES 83.76/21.54	YES 3.84/3.86	YES 12.98/13.30
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml	YES 9.35/3.38	YES 0.12/0.11	YES 14.12/4.56	YES 1.12/1.13	YES 0.37/0.37
Transformed_CSR_04/ExIntrod_Zan97_Z.xml	NO 5.33/2.29	NO 0.07/0.06	NO 0.36/0.36	MAYBE 0.22/0.23	NO 0.01/0.01
Transformed_CSR_04/PEANO_nosorts_iGM.xml	YES 5.06/1.98	YES 0.09/0.08	YES 3.74/1.28	YES 0.27/0.27	YES 0.12/0.12
Transformed_CSR_04/MYNAT_nokinds_Z.xml	YES 4.25/1.79	YES 0.47/0.41	MAYBE 138.47/42.38	YES 0.58/0.59	YES 270.98/274.90
Transformed_CSR_04/Ex15_Luc98_C.xml	YES 3.82/1.68	YES 0.40/0.38	YES 13.17/3.99	YES 0.77/0.78	YES 0.14/0.14
Transformed_CSR_04/Ex8_BLR02_C.xml	YES 3.90/1.71	YES 0.76/0.64	MAYBE 149.99/42.41	MAYBE 1.29/1.29	StarExec error
Transformed_CSR_04/MYNAT_complete_noand_iGM.xml	YES 773.82/278.38	YES 19.28/18.42	MAYBE 168.07/43.12	StarExec error	StarExec error
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml	YES 3.82/1.66	YES 0.09/0.09	YES 4.24/1.42	YES 0.24/0.25	YES 0.30/0.29
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml	NO 3.34/1.58	NO 0.01/0.01	NO 0.38/0.38	NO 0.01/0.01	NO 0.01/0.02
Transformed_CSR_04/MYNAT_nosorts_iGM.xml	YES 5.01/2.00	YES 0.24/0.20	YES 20.08/5.67	YES 1.05/1.05	YES 12.83/13.56
Transformed_CSR_04/Ex6_15_AEL02_C.xml	StarExec error	MAYBE 5.41/5.06	MAYBE 165.34/42.46	MAYBE 3.30/3.31	timeout (wallclock)
Transformed_CSR_04/Ex14_AEGL02_FR.xml	NO 22.87/9.27	NO 0.15/0.13	MAYBE 130.04/42.37	StarExec error	StarExec error
Transformed_CSR_04/MYNAT_nokinds_C.xml	YES 6.28/2.41	YES 0.98/0.86	MAYBE 162.27/42.48	YES 5.30/5.30	StarExec error
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml	YES 7.32/2.58	YES 0.53/0.52	YES 8.91/2.69	YES 1.58/1.59	YES 0.88/0.89
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml	YES 7.47/2.76	MAYBE 14.20/13.71	MAYBE 167.22/42.50	MAYBE 6.27/6.29	StarExec error
Transformed_CSR_04/ExIntrod_Zan97_C.xml	StarExec error	MAYBE 1.97/1.83	MAYBE 149.79/42.41	MAYBE 1.42/1.42	StarExec error
Transformed_CSR_04/MYNAT_nosorts_L.xml	NO 3.24/1.46	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml	NO 3.21/1.54	NO 0.01/0.01	NO 0.36/0.36	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex49_GM04_L.xml	NO 3.26/1.47	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex7_BLR02_GM.xml	StarExec error	YES 0.21/0.18	MAYBE 133.49/42.38	MAYBE 0.81/0.82	timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml	StarExec error	YES 4.24/3.84	MAYBE 165.92/42.47	MAYBE 18.13/18.13	StarExec error
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml	YES 4.81/2.01	YES 0.10/0.09	YES 4.29/1.52	YES 0.26/0.26	YES 0.04/0.05
Transformed_CSR_04/Ex2_Luc03b_L.xml	YES 3.56/1.59	YES 0.02/0.02	YES 0.60/0.44	YES 0.02/0.02	YES 0.01/0.01
Transformed_CSR_04/Ex4_DLMMU04_FR.xml	NO 51.15/14.66	NO 1.87/1.69	NO 4.90/1.67	MAYBE 2.81/2.82	StarExec error
Transformed_CSR_04/Ex2_Luc03b_Z.xml	YES 4.42/1.81	YES 0.04/0.04	YES 1.61/0.72	YES 0.11/0.12	YES 0.05/0.05
Transformed_CSR_04/Ex6_Luc98_FR.xml	YES 4.75/1.97	YES 0.05/0.04	YES 14.86/4.12	YES 0.19/0.20	YES 0.09/0.10
Transformed_CSR_04/OvConsOS_nokinds_iGM.xml	StarExec error	MAYBE 11.52/11.00	YES 92.69/32.40	MAYBE 7.33/7.36	StarExec error
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml	YES 6.10/2.28	YES 0.46/0.46	YES 6.81/2.08	YES 3.70/3.70	YES 0.95/0.93
Transformed_CSR_04/Ex9_BLR02_FR.xml	YES 12.64/4.13	YES 0.09/0.08	YES 12.67/3.63	MAYBE 0.71/0.73	StarExec error
Transformed_CSR_04/MYNAT_complete_noand_GM.xml	YES 38.51/12.07	YES 9.77/9.51	MAYBE 167.56/42.95	YES 59.58/59.85	timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml	NO 3.14/1.50	NO 0.01/0.01	NO 0.36/0.37	NO 0.01/0.01	NO 0.01/0.02
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml	NO 3.09/1.43	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml	timeout (wallclock)	MAYBE 4.06/3.60	MAYBE 165.28/42.44	MAYBE 27.73/27.73	StarExec error
Transformed_CSR_04/ExAppendixB_AEL03_C.xml	YES 4.67/1.97	MAYBE 4.08/3.65	MAYBE 164.89/42.46	MAYBE 2.70/2.72	StarExec error
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml	NO 61.53/17.06	MAYBE 0.72/0.65	NO 21.93/6.52	MAYBE 1.52/1.90	timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_iGM.xml	YES 10.25/3.68	YES 2.34/2.01	MAYBE 165.49/43.04	YES 69.42/69.43	YES 24.92/25.32
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml	YES 3.64/1.62	YES 0.04/0.04	YES 0.92/0.55	YES 0.06/0.47	YES 0.01/0.01
Transformed_CSR_04/Ex6_9_Luc02c_C.xml	YES 4.62/1.92	YES 0.89/0.88	YES 7.06/2.14	YES 0.51/0.51	YES 0.10/0.10
Transformed_CSR_04/PEANO_complete_C.xml	YES 5.66/2.19	YES 1.48/1.45	MAYBE 163.93/42.47	YES 3.23/3.24	StarExec error
Transformed_CSR_04/Ex6_15_AEL02_GM.xml	StarExec error	StarExec error	MAYBE 161.20/42.43	MAYBE 3.12/3.13	timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml	NO 2.97/1.55	NO 0.01/0.01	NO 0.37/0.37	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml	NO 14.24/4.94	NO 0.40/0.35	MAYBE 135.34/42.38	MAYBE 0.87/0.87	timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml	YES 4.18/1.78	YES 2.60/2.31	MAYBE 165.62/42.47	MAYBE 2.87/2.87	StarExec error
Transformed_CSR_04/ExConc_Zan97_FR.xml	YES 3.73/1.63	YES 0.02/0.02	YES 1.74/0.72	YES 0.02/0.04	YES 0.01/0.01
Transformed_CSR_04/ExIntrod_GM04_L.xml	NO 2.98/1.49	NO 0.01/0.01	NO 0.35/0.35	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex9_BLR02_iGM.xml	YES 10.72/3.68	YES 0.11/0.10	YES 28.72/8.13	YES 1.39/1.41	YES 0.40/0.39
Transformed_CSR_04/Ex4_DLMMU04_GM.xml	YES 47.09/12.78	YES 2.08/1.95	MAYBE 158.30/42.43	MAYBE 2.63/2.64	StarExec error
Transformed_CSR_04/PEANO_complete_FR.xml	YES 4.86/1.95	YES 0.34/0.31	YES 99.74/25.50	YES 0.65/0.99	YES 2.01/1.97
Transformed_CSR_04/Ex5_DLMMU04_FR.xml	NO 25.61/10.23	MAYBE 0.61/0.51	MAYBE 135.39/42.39	MAYBE 1.13/1.14	timeout (wallclock)
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml	YES 3.47/1.61	YES 0.03/0.03	YES 0.80/0.51	YES 0.06/0.07	YES 0.01/0.01
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml	NO 3.10/2.21	NO 0.01/0.01	NO 0.37/0.37	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/Ex18_Luc06_Z.xml	YES 3.19/1.49	YES 0.02/0.02	YES 0.55/0.42	YES 0.02/0.02	StarExec error
Transformed_CSR_04/ExIntrod_GM04_FR.xml	NO 31.81/10.35	NO 0.58/0.52	NO 131.12/41.42	MAYBE 0.52/0.53	timeout (wallclock)
Transformed_CSR_04/Ex4_Zan97_GM.xml	StarExec error	YES 0.28/0.23	MAYBE 131.28/42.38	MAYBE 0.46/0.46	StarExec error
Transformed_CSR_04/Ex24_GM04_iGM.xml	StarExec error	StarExec error	MAYBE 130.06/42.39	MAYBE 0.30/0.31	timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml	YES 6.01/2.24	YES 0.21/0.20	YES 9.61/2.82	YES 0.79/0.80	YES 0.27/0.27
Transformed_CSR_04/Ex5_7_Luc97_C.xml	timeout (wallclock)	YES 1.41/1.21	MAYBE 165.19/42.50	MAYBE 1.98/2.00	StarExec error
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml	NO 63.50/21.75	MAYBE 0.66/0.56	MAYBE 138.63/42.38	MAYBE 1.10/1.10	StarExec error
Transformed_CSR_04/Ex26_Luc03b_L.xml	YES 3.36/1.53	YES 0.02/0.02	YES 0.81/0.50	YES 0.02/0.02	YES 0.01/0.01
Transformed_CSR_04/Ex1_Luc02b_iGM.xml	StarExec error	YES 0.50/0.39	MAYBE 144.42/42.42	MAYBE 0.92/0.93	timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_C.xml	YES 13.11/4.30	YES 3.54/3.26	MAYBE 165.21/42.51	YES 20.36/20.40	StarExec error
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml	timeout (wallclock)	MAYBE 3.63/3.27	MAYBE 165.74/42.46	MAYBE 19.64/19.64	StarExec error
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml	YES 6.46/2.41	YES 0.06/0.06	StarExec error	YES 0.68/0.69	StarExec error
Transformed_CSR_04/Ex15_Luc06_iGM.xml	YES 3.34/1.50	YES 0.05/0.04	YES 1.18/0.60	YES 0.16/0.17	YES 0.03/0.04
Transformed_CSR_04/Ex1_2_AEL03_L.xml	NO 3.09/1.46	NO 0.01/0.01	NO 0.36/0.36	NO 0.00/0.01	NO 0.01/0.01
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml	YES 4.40/1.90	YES 2.26/2.00	MAYBE 165.39/42.46	MAYBE 2.80/2.82	StarExec error
Transformed_CSR_04/OvConsOS_nosorts_iGM.xml	NO 62.32/18.09	MAYBE 1.01/0.91	MAYBE 144.91/42.40	MAYBE 1.39/1.42	StarExec error
Transformed_CSR_04/Ex6_15_AEL02_iGM.xml	StarExec error	MAYBE 5.18/4.69	MAYBE 167.04/42.76	MAYBE 3.47/3.47	StarExec error
Transformed_CSR_04/Ex26_Luc03b_iGM.xml	YES 14.52/4.68	YES 0.15/0.14	YES 23.44/8.03	YES 2.04/2.06	YES 0.53/0.52
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml	YES 7.65/2.75	YES 0.69/0.59	MAYBE 162.36/42.47	YES 2.73/2.74	MAYBE 81.29/84.00
Transformed_CSR_04/MYNAT_nokinds_L.xml	NO 3.03/1.47	NO 0.01/0.01	NO 0.35/0.36	NO 0.01/0.01	NO 0.01/0.01
Transformed_CSR_04/MYNAT_complete_FR.xml	YES 5.18/2.10	YES 1.29/1.13	MAYBE 162.94/42.41	StarExec error	StarExec error
TCT_12/recursion-10.xml	YES 4.38/1.88	YES 0.11/0.10	YES 1.80/0.81	YES 1.20/1.20	YES 0.02/0.03
TCT_12/polycounter-10.xml	YES 5.05/2.50	YES 0.09/0.08	YES 1.32/0.64	YES 1.20/1.20	YES 0.05/0.05
TCT_12/recursion-5.xml	YES 3.83/2.65	YES 0.05/0.05	YES 1.19/0.62	YES 0.34/0.34	YES 0.01/0.02
TCT_12/polycounter-5.xml	YES 3.71/1.68	YES 0.04/0.03	YES 0.73/0.47	YES 0.03/0.03	YES 0.01/0.02
TCT_12/sat.xml	YES 4.00/1.75	YES 0.06/0.05	YES 1.50/0.74	YES 0.60/0.60	YES 0.02/0.02
	1283	1018	998	619	832