Termination Competition 2018: SRS Standard30035

benchmark	AProVE	NaTT	ttt2-1.17+nonreach	muterm 5.18	MultumNonMulta3.12_29June2018A

Mixed_SRS/01-oppelt08.xml	NO 23.54/6.68	MAYBE 0.89/0.86	MAYBE 171.89/43.32	timeout (wallclock)	memout
Mixed_SRS/05.xml	YES 35.64/9.90	MAYBE 0.26/0.22	YES 136.00/34.37	StarExec error	memout
Mixed_SRS/03.xml	YES 39.49/10.70	MAYBE 0.24/0.21	MAYBE 170.19/42.90	YES 3.43/3.65	memout
Mixed_SRS/01.xml	YES 25.03/7.35	MAYBE 0.18/0.16	MAYBE 170.42/42.96	StarExec error	memout
Mixed_SRS/touzet.xml	YES 20.20/5.94	MAYBE 0.10/0.08	YES 1.82/0.75	StarExec error	YES 1.97/0.76
Mixed_SRS/06.xml	YES 40.49/11.01	MAYBE 0.17/0.15	YES 93.01/23.61	StarExec error	memout
Mixed_SRS/02.xml	YES 27.09/7.68	MAYBE 0.62/0.60	MAYBE 171.48/43.24	StarExec error	memout
Mixed_SRS/08-oppelt08.xml	NO 6.89/2.58	MAYBE 0.26/0.24	StarExec error	StarExec error	memout
Mixed_SRS/07-oppelt08.xml	NO 4.92/2.03	MAYBE 0.12/0.11	MAYBE 171.98/43.33	StarExec error	StarExec error
Mixed_SRS/3.xml	YES 3.71/1.61	YES 0.10/0.09	YES 3.11/1.06	YES 0.07/0.08	YES 1.01/0.52
Mixed_SRS/1.xml	NO 4.65/1.85	MAYBE 0.12/0.11	NO 2.19/0.84	StarExec error	NO 0.49/0.36
Mixed_SRS/04.xml	StarExec error	MAYBE 0.19/0.17	YES 144.37/36.43	StarExec error	memout
Mixed_SRS/08.xml	YES 192.66/49.37	MAYBE 0.32/0.27	MAYBE 170.05/42.98	StarExec error	memout
Mixed_SRS/04-oppelt08.xml	NO 12.99/4.05	MAYBE 0.23/0.21	MAYBE 170.24/42.92	StarExec error	memout
Mixed_SRS/03-oppelt08.xml	NO 39.06/10.62	MAYBE 0.21/0.18	MAYBE 170.93/43.10	StarExec error	memout
Mixed_SRS/s6.xml	YES 15.16/5.02	YES 0.73/0.73	YES 41.86/10.92	YES 0.02/0.03	YES 1.19/0.66
Mixed_SRS/09.xml	YES 19.42/10.06	MAYBE 0.32/0.27	YES 91.11/23.14	StarExec error	YES 1.72/0.69
Mixed_SRS/06-oppelt08.xml	NO 3.50/1.54	MAYBE 0.11/0.09	MAYBE 169.77/42.81	StarExec error	memout
Mixed_SRS/07.xml	YES 23.70/6.79	MAYBE 0.11/0.10	YES 101.93/25.83	StarExec error	memout
Mixed_SRS/2.xml	YES 23.22/6.72	MAYBE 0.12/0.12	YES 155.71/39.28	StarExec error	YES 378.19/98.47
Mixed_SRS/02-oppelt08.xml	NO 58.24/15.49	MAYBE 0.19/0.18	MAYBE 170.86/43.07	StarExec error	memout
Mixed_SRS/turing_copy.xml	NO 3.34/1.56	MAYBE 1.44/1.35	NO 0.37/0.38	NO 0.02/0.02	NO 0.59/0.41
Mixed_SRS/turing_add.xml	YES 12.30/3.87	YES 0.02/0.02	YES 1.33/0.63	YES 0.11/0.11	YES 2.23/0.83
Mixed_SRS/4.xml	StarExec error	MAYBE 0.87/0.76	YES 17.65/4.73	StarExec error	memout
Mixed_SRS/turing_mult.xml	NO 3.66/1.65	MAYBE 1.36/1.27	NO 0.77/0.51	StarExec error	NO 0.61/0.41
Mixed_SRS/05-oppelt08.xml	NO 9.97/3.30	MAYBE 0.25/0.23	MAYBE 171.76/43.29	timeout (wallclock)	memout
ICFP_2010/167391.xml	YES 247.29/64.68	StarExec error	MAYBE 127.48/45.39	StarExec error	timeout (cpu)
ICFP_2010/4484.xml	StarExec error	StarExec error	YES 37.85/9.92	timeout (wallclock)	YES 74.38/19.82
ICFP_2010/26862.xml	StarExec error	StarExec error	MAYBE 141.49/43.57	StarExec error	YES 27.42/7.38
ICFP_2010/137956.xml	timeout (wallclock)	StarExec error	MAYBE 126.60/44.55	StarExec error	StarExec error
ICFP_2010/86559.xml	YES 10.25/3.45	StarExec error	YES 3.27/1.36	StarExec error	YES 1.55/0.66
ICFP_2010/264033.xml	YES 26.39/7.78	YES 0.23/0.21	YES 17.97/5.03	StarExec error	YES 2.40/0.88
ICFP_2010/131982.xml	StarExec error	StarExec error	MAYBE 125.53/43.47	StarExec error	YES 590.48/151.21
ICFP_2010/137809.xml	YES 603.95/219.86	StarExec error	StarExec error	StarExec error	timeout (cpu)
ICFP_2010/4057.xml	StarExec error	StarExec error	YES 36.20/9.53	StarExec error	YES 25.45/6.75
ICFP_2010/45757.xml	StarExec error	StarExec error	YES 49.98/12.97	timeout (wallclock)	YES 105.81/29.72
ICFP_2010/139256.xml	YES 45.60/12.48	StarExec error	MAYBE 125.85/43.80	timeout (wallclock)	YES 103.37/28.18
ICFP_2010/158208.xml	timeout (wallclock)	StarExec error	MAYBE 126.68/44.54	StarExec error	YES 828.30/221.45
ICFP_2010/5130.xml	StarExec error	StarExec error	YES 42.63/11.15	StarExec error	YES 253.02/64.02
ICFP_2010/3770.xml	YES 114.73/29.56	YES 0.47/0.46	YES 6.70/2.02	timeout (wallclock)	YES 2.60/0.95
ICFP_2010/48267.xml	StarExec error	StarExec error	MAYBE 143.73/42.71	StarExec error	YES 319.06/81.09
ICFP_2010/4206.xml	timeout (wallclock)	StarExec error	MAYBE 138.53/56.39	StarExec error	YES 414.40/110.91
ICFP_2010/185453.xml	StarExec error	StarExec error	MAYBE 127.10/44.94	StarExec error	timeout (cpu)
ICFP_2010/214011.xml	YES 43.33/11.69	YES 9.85/8.37	YES 17.19/4.67	StarExec error	YES 15.01/4.55
ICFP_2010/96334.xml	StarExec error	StarExec error	YES 16.78/4.70	StarExec error	YES 21.14/6.71
ICFP_2010/135604.xml	StarExec error	StarExec error	MAYBE 129.55/43.49	StarExec error	StarExec error
ICFP_2010/3842.xml	StarExec error	StarExec error	YES 36.25/9.54	StarExec error	YES 35.82/9.48
ICFP_2010/41688.xml	timeout (wallclock)	StarExec error	MAYBE 126.65/44.55	StarExec error	timeout (cpu)
ICFP_2010/4979.xml	YES 176.54/45.07	StarExec error	YES 31.04/8.18	timeout (wallclock)	YES 19.82/5.89
ICFP_2010/4487.xml	StarExec error	StarExec error	YES 36.21/9.52	StarExec error	YES 76.52/21.69
ICFP_2010/4943.xml	StarExec error	StarExec error	YES 24.58/6.56	timeout (wallclock)	YES 30.85/8.17
ICFP_2010/3916.xml	StarExec error	StarExec error	YES 58.32/15.04	timeout (wallclock)	YES 148.70/39.56
ICFP_2010/160068.xml	timeout (wallclock)	StarExec error	MAYBE 126.87/44.70	StarExec error	timeout (cpu)
ICFP_2010/4106.xml	StarExec error	StarExec error	YES 27.34/7.22	StarExec error	YES 9.09/2.95
ICFP_2010/26741.xml	StarExec error	StarExec error	MAYBE 138.52/43.80	StarExec error	YES 32.83/8.84
ICFP_2010/4893.xml	StarExec error	StarExec error	YES 48.11/12.51	StarExec error	YES 34.96/10.01
ICFP_2010/149849.xml	timeout (wallclock)	StarExec error	MAYBE 130.27/48.15	StarExec error	timeout (cpu)
ICFP_2010/136051.xml	StarExec error	StarExec error	MAYBE 125.57/43.47	StarExec error	StarExec error
ICFP_2010/246924.xml	YES 9.07/3.14	MAYBE 0.01/0.01	MAYBE 118.72/48.91	MAYBE 0.01/0.01	YES 1.18/0.58
ICFP_2010/26927.xml	StarExec error	StarExec error	MAYBE 138.15/43.77	StarExec error	YES 45.72/13.72
ICFP_2010/26923.xml	StarExec error	StarExec error	MAYBE 139.41/43.66	StarExec error	YES 43.24/12.92
ICFP_2010/161533.xml	timeout (wallclock)	StarExec error	MAYBE 127.83/45.57	timeout (wallclock)	timeout (cpu)
ICFP_2010/135659.xml	YES 384.24/105.36	StarExec error	MAYBE 126.71/44.55	StarExec error	YES 168.77/42.78
ICFP_2010/139310.xml	YES 41.64/11.38	StarExec error	MAYBE 125.94/43.82	StarExec error	YES 85.27/22.18
ICFP_2010/136623.xml	timeout (wallclock)	StarExec error	MAYBE 128.55/43.62	StarExec error	timeout (cpu)
ICFP_2010/212062.xml	YES 17.25/5.05	StarExec error	YES 17.23/4.68	YES 1.78/1.77	YES 11.07/3.40
ICFP_2010/54532.xml	YES 10.63/3.43	MAYBE 0.01/0.01	YES 23.22/19.28	MAYBE 0.01/0.01	YES 0.99/0.79
ICFP_2010/27039.xml	StarExec error	StarExec error	MAYBE 140.19/43.60	StarExec error	YES 35.66/10.93
ICFP_2010/132478.xml	YES 52.13/13.86	StarExec error	MAYBE 125.93/43.82	StarExec error	YES 178.33/51.35
ICFP_2010/157275.xml	YES 66.45/18.45	StarExec error	MAYBE 126.70/44.58	StarExec error	YES 67.54/19.09
ICFP_2010/4824.xml	StarExec error	StarExec error	YES 33.83/8.93	StarExec error	YES 11.57/4.04
ICFP_2010/4938.xml	StarExec error	StarExec error	YES 56.68/14.67	timeout (wallclock)	YES 293.26/74.00
ICFP_2010/88172.xml	StarExec error	StarExec error	YES 36.51/9.71	StarExec error	YES 25.78/8.90
ICFP_2010/152865.xml	StarExec error	StarExec error	MAYBE 126.70/44.55	StarExec error	YES 38.95/11.72
ICFP_2010/132920.xml	YES 46.31/12.90	StarExec error	MAYBE 125.89/43.79	StarExec error	YES 152.99/69.32
ICFP_2010/88183.xml	StarExec error	StarExec error	YES 43.54/11.49	StarExec error	timeout (cpu)
ICFP_2010/27001.xml	StarExec error	StarExec error	MAYBE 139.26/43.74	StarExec error	YES 40.59/12.31
ICFP_2010/157593.xml	YES 53.70/14.35	StarExec error	MAYBE 169.80/43.39	YES 5.58/5.54	YES 22.21/5.92
ICFP_2010/91218.xml	StarExec error	StarExec error	MAYBE 125.86/43.77	StarExec error	timeout (cpu)
ICFP_2010/26845.xml	StarExec error	StarExec error	MAYBE 138.91/43.68	StarExec error	YES 48.32/14.28
ICFP_2010/139163.xml	YES 60.52/16.68	StarExec error	MAYBE 125.89/43.80	StarExec error	YES 497.12/125.04
ICFP_2010/4314.xml	StarExec error	StarExec error	YES 31.80/8.41	StarExec error	YES 44.39/12.50
ICFP_2010/26886.xml	StarExec error	StarExec error	MAYBE 140.30/43.48	StarExec error	YES 24.58/6.79
ICFP_2010/158477.xml	timeout (wallclock)	StarExec error	MAYBE 126.36/44.54	StarExec error	StarExec error
ICFP_2010/27213.xml	YES 60.53/16.55	YES 0.66/0.62	YES 18.25/5.26	StarExec error	YES 18.08/4.94
ICFP_2010/96289.xml	StarExec error	StarExec error	YES 18.95/5.21	StarExec error	YES 20.60/6.10
ICFP_2010/26946.xml	StarExec error	StarExec error	MAYBE 138.28/43.78	StarExec error	YES 46.79/14.00
ICFP_2010/97888.xml	timeout (wallclock)	StarExec error	MAYBE 127.86/45.72	StarExec error	timeout (cpu)
ICFP_2010/4374.xml	StarExec error	StarExec error	YES 31.77/8.40	StarExec error	StarExec error
ICFP_2010/26871.xml	StarExec error	StarExec error	MAYBE 138.80/43.72	StarExec error	YES 39.17/11.80
ICFP_2010/43266.xml	timeout (wallclock)	StarExec error	MAYBE 126.71/44.56	StarExec error	StarExec error
ICFP_2010/98623.xml	YES 51.94/13.82	StarExec error	MAYBE 126.71/44.56	timeout (wallclock)	YES 92.58/25.83
ICFP_2010/128430.xml	YES 42.05/11.36	StarExec error	MAYBE 125.83/43.82	StarExec error	YES 137.84/39.48
ICFP_2010/41427.xml	timeout (wallclock)	StarExec error	MAYBE 126.63/44.55	StarExec error	StarExec error
ICFP_2010/160263.xml	YES 44.27/12.01	YES 1.30/1.27	YES 17.19/4.76	StarExec error	YES 6.11/1.82
ICFP_2010/25422.xml	StarExec error	StarExec error	MAYBE 140.17/43.46	StarExec error	YES 28.10/7.61
ICFP_2010/96464.xml	YES 65.16/17.31	StarExec error	YES 20.25/5.55	StarExec error	YES 3.03/1.06
ICFP_2010/26974.xml	StarExec error	StarExec error	MAYBE 139.23/43.64	StarExec error	YES 31.79/8.50
ICFP_2010/85079.xml	YES 206.15/53.79	timeout (wallclock)	YES 47.94/12.63	StarExec error	YES 5.11/1.78
ICFP_2010/135328.xml	StarExec error	StarExec error	MAYBE 137.05/43.43	StarExec error	StarExec error
ICFP_2010/97885.xml	timeout (wallclock)	StarExec error	MAYBE 127.98/45.86	StarExec error	timeout (cpu)
ICFP_2010/231300.xml	YES 14.18/4.29	MAYBE 0.01/0.01	MAYBE 120.72/47.62	MAYBE 0.01/0.01	YES 1.10/0.65
ICFP_2010/140639.xml	YES 20.68/6.31	StarExec error	MAYBE 134.98/43.01	StarExec error	YES 28.31/7.43
ICFP_2010/212693.xml	YES 26.14/7.40	YES 0.90/0.88	YES 21.89/5.84	StarExec error	YES 7.89/2.30
ICFP_2010/139174.xml	YES 52.63/14.43	StarExec error	MAYBE 125.91/43.80	StarExec error	YES 104.77/27.26
ICFP_2010/96256.xml	StarExec error	StarExec error	YES 19.38/5.35	StarExec error	YES 11.03/4.43
ICFP_2010/166493.xml	timeout (wallclock)	StarExec error	MAYBE 126.49/45.00	StarExec error	timeout (cpu)
ICFP_2010/259405.xml	YES 65.41/17.21	StarExec error	MAYBE 139.08/56.99	timeout (wallclock)	YES 118.76/52.58
ICFP_2010/4157.xml	StarExec error	StarExec error	YES 52.16/13.52	timeout (wallclock)	timeout (cpu)
ICFP_2010/86816.xml	StarExec error	StarExec error	YES 29.32/7.95	StarExec error	YES 144.35/38.50
ICFP_2010/230780.xml	YES 21.62/6.20	MAYBE 0.01/0.01	MAYBE 136.24/55.75	MAYBE 0.01/0.01	YES 1.24/0.57
ICFP_2010/91242.xml	StarExec error	StarExec error	MAYBE 128.79/43.66	StarExec error	timeout (cpu)
ICFP_2010/149251.xml	timeout (wallclock)	StarExec error	MAYBE 129.18/47.21	StarExec error	timeout (cpu)
ICFP_2010/42321.xml	YES 40.38/10.91	StarExec error	MAYBE 126.79/44.58	StarExec error	YES 95.90/39.99
ICFP_2010/140664.xml	StarExec error	StarExec error	MAYBE 125.31/43.27	StarExec error	timeout (cpu)
ICFP_2010/85294.xml	StarExec error	StarExec error	YES 41.45/10.98	StarExec error	YES 259.67/65.77
ICFP_2010/51842.xml	timeout (wallclock)	StarExec error	MAYBE 136.49/54.36	StarExec error	YES 153.35/48.89
ICFP_2010/26969.xml	StarExec error	StarExec error	MAYBE 139.09/43.76	StarExec error	YES 41.71/12.49
ICFP_2010/128691.xml	YES 38.53/10.51	StarExec error	MAYBE 125.88/43.80	StarExec error	YES 98.36/25.67
ICFP_2010/27009.xml	StarExec error	StarExec error	MAYBE 137.90/43.78	StarExec error	YES 37.98/10.15
ICFP_2010/165713.xml	timeout (wallclock)	StarExec error	MAYBE 126.82/44.75	StarExec error	timeout (cpu)
ICFP_2010/26903.xml	StarExec error	StarExec error	MAYBE 138.65/43.65	StarExec error	YES 33.55/8.93
ICFP_2010/4953.xml	StarExec error	StarExec error	YES 38.73/10.17	timeout (wallclock)	YES 261.67/68.68
ICFP_2010/133236.xml	timeout (wallclock)	StarExec error	MAYBE 126.68/44.57	StarExec error	StarExec error
ICFP_2010/131633.xml	StarExec error	StarExec error	MAYBE 125.65/43.49	StarExec error	YES 996.75/251.75
ICFP_2010/161917.xml	timeout (wallclock)	StarExec error	MAYBE 127.27/45.13	StarExec error	timeout (cpu)
ICFP_2010/128550.xml	YES 46.91/12.63	StarExec error	MAYBE 125.91/43.79	StarExec error	YES 113.14/39.39
ICFP_2010/211471.xml	YES 20.16/5.90	MAYBE 0.01/0.01	MAYBE 180.70/47.21	MAYBE 0.01/0.01	YES 0.91/0.52
ICFP_2010/39830.xml	timeout (wallclock)	StarExec error	MAYBE 126.63/44.56	timeout (wallclock)	timeout (cpu)
ICFP_2010/57355.xml	YES 460.09/117.38	YES 2.81/2.75	YES 23.79/6.41	StarExec error	YES 31.82/8.36
ICFP_2010/132611.xml	YES 30.42/8.41	StarExec error	MAYBE 135.43/43.46	timeout (wallclock)	YES 2.25/0.83
ICFP_2010/153090.xml	YES 52.74/14.06	StarExec error	MAYBE 126.72/44.56	StarExec error	YES 561.09/162.89
ICFP_2010/159731.xml	YES 87.89/23.17	StarExec error	YES 15.90/4.40	StarExec error	YES 5.30/1.65
ICFP_2010/212037.xml	YES 100.56/26.03	StarExec error	YES 17.86/4.83	StarExec error	YES 37.63/10.70
ICFP_2010/149633.xml	timeout (wallclock)	StarExec error	MAYBE 129.46/47.35	StarExec error	timeout (cpu)
ICFP_2010/133486.xml	StarExec error	StarExec error	MAYBE 128.36/43.45	StarExec error	StarExec error
ICFP_2010/134918.xml	StarExec error	StarExec error	MAYBE 127.61/43.46	StarExec error	StarExec error
ICFP_2010/213719.xml	timeout (wallclock)	YES 177.48/173.82	YES 17.86/4.84	StarExec error	YES 34.65/9.11
ICFP_2010/212263.xml	YES 21.72/6.28	StarExec error	YES 9.80/2.83	StarExec error	YES 4.55/1.63
ICFP_2010/152694.xml	timeout (wallclock)	StarExec error	MAYBE 126.35/44.55	timeout (wallclock)	timeout (wallclock)
ICFP_2010/138269.xml	timeout (wallclock)	StarExec error	MAYBE 125.61/43.50	StarExec error	StarExec error
ICFP_2010/157436.xml	YES 705.72/180.72	StarExec error	YES 41.21/10.74	StarExec error	YES 44.31/11.60
ICFP_2010/4964.xml	StarExec error	StarExec error	YES 39.31/10.30	StarExec error	YES 29.75/7.98
ICFP_2010/133010.xml	YES 42.54/11.55	StarExec error	MAYBE 125.92/43.80	StarExec error	YES 159.87/46.55
ICFP_2010/247906.xml	YES 78.42/20.34	MAYBE 0.01/0.01	MAYBE 134.84/51.95	MAYBE 0.01/0.01	YES 1.24/0.59
ICFP_2010/130472.xml	timeout (wallclock)	StarExec error	MAYBE 126.70/44.57	StarExec error	timeout (cpu)
ICFP_2010/28464.xml	YES 67.60/18.48	YES 1.69/1.58	YES 21.67/6.47	StarExec error	YES 23.21/7.27
ICFP_2010/138468.xml	YES 48.45/13.05	StarExec error	MAYBE 127.31/45.17	StarExec error	YES 3.93/1.33
ICFP_2010/133159.xml	StarExec error	StarExec error	MAYBE 128.15/43.46	StarExec error	YES 1048.79/266.48
ICFP_2010/211857.xml	YES 22.28/6.80	YES 1.23/1.22	YES 47.66/12.29	YES 0.63/0.62	YES 33.44/8.99
ICFP_2010/96523.xml	StarExec error	StarExec error	YES 15.40/4.35	timeout (wallclock)	YES 8.78/2.56
ICFP_2010/247504.xml	YES 13.72/4.15	MAYBE 0.01/0.01	MAYBE 126.75/48.65	MAYBE 0.01/0.01	YES 1.01/0.52
ICFP_2010/25711.xml	StarExec error	StarExec error	MAYBE 138.55/43.78	StarExec error	YES 44.61/11.70
ICFP_2010/86452.xml	StarExec error	StarExec error	YES 24.99/6.76	StarExec error	YES 61.48/16.49
ICFP_2010/26993.xml	StarExec error	StarExec error	MAYBE 138.28/43.77	StarExec error	YES 46.08/12.07
ICFP_2010/128280.xml	YES 40.10/11.44	StarExec error	MAYBE 125.92/43.80	StarExec error	YES 101.17/27.84
ICFP_2010/158152.xml	YES 603.74/153.02	StarExec error	YES 26.74/7.12	StarExec error	YES 167.78/45.47
ICFP_2010/127538.xml	YES 43.90/12.25	StarExec error	MAYBE 125.92/43.82	StarExec error	YES 93.01/23.81
ICFP_2010/96198.xml	StarExec error	StarExec error	YES 19.60/5.38	StarExec error	YES 13.80/4.97
ICFP_2010/27026.xml	StarExec error	StarExec error	MAYBE 138.24/43.78	StarExec error	YES 34.31/9.08
ICFP_2010/212795.xml	YES 289.97/73.47	StarExec error	YES 18.10/4.90	StarExec error	YES 81.24/20.96
ICFP_2010/26116.xml	StarExec error	StarExec error	MAYBE 139.07/43.62	StarExec error	YES 38.79/11.51
ICFP_2010/25743.xml	StarExec error	StarExec error	MAYBE 139.30/43.73	StarExec error	YES 33.67/8.98
ICFP_2010/160475.xml	timeout (wallclock)	StarExec error	MAYBE 127.34/45.22	StarExec error	timeout (cpu)
ICFP_2010/26919.xml	StarExec error	StarExec error	MAYBE 138.72/43.81	StarExec error	YES 46.34/13.61
ICFP_2010/26683.xml	YES 39.66/11.20	YES 0.42/0.39	YES 11.86/3.46	StarExec error	YES 10.50/3.02
ICFP_2010/27019.xml	StarExec error	StarExec error	MAYBE 139.14/43.66	StarExec error	YES 36.07/9.60
ICFP_2010/248060.xml	YES 16.39/5.13	MAYBE 0.01/0.01	MAYBE 126.43/48.60	MAYBE 0.01/0.01	YES 1.03/0.63
ICFP_2010/3989.xml	StarExec error	StarExec error	YES 18.80/5.12	timeout (wallclock)	YES 7.60/2.26
ICFP_2010/96029.xml	StarExec error	StarExec error	YES 20.41/5.62	timeout (wallclock)	YES 28.53/9.59
ICFP_2010/135505.xml	timeout (wallclock)	StarExec error	MAYBE 126.66/44.57	StarExec error	YES 171.84/43.76
ICFP_2010/27013.xml	YES 909.04/262.23	StarExec error	MAYBE 140.09/43.59	StarExec error	YES 34.54/10.56
ICFP_2010/140631.xml	YES 710.36/249.55	StarExec error	MAYBE 141.34/42.78	StarExec error	timeout (cpu)
ICFP_2010/231149.xml	YES 8.18/2.90	MAYBE 0.01/0.01	MAYBE 111.58/45.33	MAYBE 0.01/0.01	YES 1.08/0.57
ICFP_2010/85477.xml	YES 63.02/17.18	StarExec error	YES 27.49/7.45	StarExec error	YES 5.86/1.76
ICFP_2010/128486.xml	YES 29.53/8.57	StarExec error	MAYBE 125.98/43.82	StarExec error	YES 100.48/25.61
ICFP_2010/149415.xml	timeout (wallclock)	StarExec error	StarExec error	timeout (wallclock)	timeout (cpu)
ICFP_2010/124791.xml	StarExec error	StarExec error	MAYBE 128.09/43.47	StarExec error	YES 1184.56/298.64
ICFP_2010/247020.xml	YES 12.71/3.93	MAYBE 0.01/0.01	MAYBE 135.33/60.28	MAYBE 0.01/0.03	YES 1.50/0.76
ICFP_2010/28838.xml	YES 90.16/23.46	YES 1.42/1.33	YES 25.57/7.68	StarExec error	YES 25.39/8.00
ICFP_2010/27131.xml	YES 60.17/16.09	YES 0.56/0.52	YES 15.45/4.45	StarExec error	YES 14.11/4.32
ICFP_2010/91254.xml	StarExec error	StarExec error	MAYBE 125.50/43.78	StarExec error	timeout (cpu)
ICFP_2010/139018.xml	YES 38.77/10.60	StarExec error	MAYBE 125.95/43.79	StarExec error	YES 108.88/32.91
ICFP_2010/86745.xml	YES 12.61/4.05	StarExec error	YES 26.60/7.22	StarExec error	YES 1.53/0.64
ICFP_2010/26110.xml	StarExec error	StarExec error	MAYBE 139.52/43.63	StarExec error	YES 28.31/7.63
ICFP_2010/3533.xml	StarExec error	StarExec error	YES 20.86/5.61	StarExec error	YES 18.22/5.54
ICFP_2010/139036.xml	YES 41.09/11.60	StarExec error	MAYBE 125.99/43.81	StarExec error	YES 105.47/28.77
ICFP_2010/139180.xml	YES 70.55/18.89	StarExec error	MAYBE 125.95/43.79	StarExec error	StarExec error
ICFP_2010/57453.xml	StarExec error	StarExec error	YES 37.51/10.00	StarExec error	YES 47.43/13.84
ICFP_2010/139378.xml	YES 45.27/12.19	StarExec error	MAYBE 125.91/43.80	StarExec error	YES 95.48/26.74
ICFP_2010/26951.xml	StarExec error	StarExec error	MAYBE 139.54/43.62	timeout (wallclock)	YES 34.65/9.86
ICFP_2010/27030.xml	YES 56.77/15.19	YES 0.39/0.36	YES 13.93/4.03	StarExec error	YES 11.03/3.13
ICFP_2010/153288.xml	YES 185.03/48.36	StarExec error	MAYBE 126.70/44.57	StarExec error	StarExec error
ICFP_2010/136571.xml	timeout (wallclock)	StarExec error	MAYBE 126.70/44.56	StarExec error	timeout (cpu)
ICFP_2010/138254.xml	YES 26.92/7.63	YES 77.67/77.61	MAYBE 126.54/43.46	StarExec error	YES 2.14/0.80
ICFP_2010/140359.xml	YES 46.72/12.53	StarExec error	MAYBE 125.88/43.80	StarExec error	StarExec error
ICFP_2010/186023.xml	YES 18.62/5.76	YES 256.74/256.69	MAYBE 127.04/44.92	StarExec error	YES 5.80/3.98
ICFP_2010/137136.xml	StarExec error	StarExec error	MAYBE 126.67/44.54	StarExec error	StarExec error
ICFP_2010/4920.xml	StarExec error	StarExec error	YES 29.99/7.96	StarExec error	YES 58.90/16.70
ICFP_2010/48374.xml	StarExec error	StarExec error	MAYBE 143.60/42.77	StarExec error	YES 449.07/114.81
ICFP_2010/88208.xml	YES 32.39/8.97	StarExec error	YES 46.18/12.16	StarExec error	YES 34.18/12.22
ICFP_2010/85380.xml	StarExec error	StarExec error	YES 39.96/10.58	StarExec error	YES 225.41/59.24
ICFP_2010/95952.xml	StarExec error	StarExec error	YES 29.29/7.94	timeout (wallclock)	YES 182.26/49.68
ICFP_2010/96176.xml	StarExec error	StarExec error	YES 18.98/5.20	StarExec error	YES 15.03/4.39
ICFP_2010/26954.xml	StarExec error	StarExec error	MAYBE 139.08/43.64	StarExec error	YES 47.80/13.97
ICFP_2010/182946.xml	StarExec error	StarExec error	MAYBE 127.01/44.91	StarExec error	timeout (cpu)
ICFP_2010/41378.xml	timeout (wallclock)	StarExec error	YES 77.62/26.90	StarExec error	YES 73.53/26.54
ICFP_2010/213051.xml	YES 61.66/16.21	YES 11.74/11.66	YES 33.05/8.64	YES 7.15/7.40	YES 38.47/10.14
ICFP_2010/3831.xml	StarExec error	StarExec error	YES 45.27/11.80	StarExec error	YES 148.72/39.79
ICFP_2010/136693.xml	timeout (wallclock)	StarExec error	MAYBE 126.68/44.54	StarExec error	StarExec error
ICFP_2010/160427.xml	timeout (wallclock)	StarExec error	MAYBE 126.88/44.93	StarExec error	timeout (cpu)
ICFP_2010/84977.xml	StarExec error	StarExec error	YES 51.09/13.41	StarExec error	YES 154.68/39.48
ICFP_2010/136934.xml	timeout (wallclock)	StarExec error	MAYBE 126.69/44.57	StarExec error	StarExec error
ICFP_2010/24100.xml	YES 497.18/126.38	StarExec error	MAYBE 143.24/42.86	StarExec error	YES 21.84/5.87
ICFP_2010/96119.xml	StarExec error	StarExec error	YES 19.20/5.32	StarExec error	YES 16.70/6.05
ICFP_2010/124211.xml	StarExec error	StarExec error	MAYBE 129.66/43.45	StarExec error	timeout (cpu)
ICFP_2010/27036.xml	StarExec error	StarExec error	MAYBE 139.10/43.77	StarExec error	YES 37.18/9.83
ICFP_2010/138142.xml	YES 17.47/5.09	StarExec error	MAYBE 131.44/43.48	StarExec error	YES 1.96/0.76
ICFP_2010/26127.xml	StarExec error	StarExec error	MAYBE 137.68/43.80	StarExec error	YES 39.37/10.63
ICFP_2010/212117.xml	StarExec error	StarExec error	YES 18.97/5.11	StarExec error	YES 16.20/4.47
ICFP_2010/88156.xml	YES 72.06/18.90	StarExec error	YES 47.20/12.40	StarExec error	YES 35.41/11.35
ICFP_2010/138330.xml	StarExec error	StarExec error	MAYBE 135.10/43.49	StarExec error	timeout (cpu)
ICFP_2010/40976.xml	YES 91.21/24.01	StarExec error	MAYBE 126.67/44.57	StarExec error	YES 937.36/236.03
ICFP_2010/138477.xml	StarExec error	StarExec error	MAYBE 128.81/43.46	timeout (wallclock)	timeout (cpu)
ICFP_2010/85039.xml	StarExec error	StarExec error	YES 41.22/10.93	timeout (wallclock)	YES 198.36/50.01
ICFP_2010/40093.xml	timeout (wallclock)	YES 0.58/0.57	YES 3.17/1.11	StarExec error	YES 2.74/0.98
ICFP_2010/132235.xml	StarExec error	StarExec error	MAYBE 125.61/43.48	StarExec error	StarExec error
ICFP_2010/212534.xml	YES 59.09/17.96	YES 18.71/18.66	YES 20.18/5.42	YES 11.28/11.54	YES 12.10/3.82
ICFP_2010/139214.xml	YES 33.76/9.80	StarExec error	MAYBE 125.86/43.79	StarExec error	YES 101.78/28.16
ICFP_2010/150630.xml	timeout (wallclock)	StarExec error	MAYBE 129.75/47.56	StarExec error	timeout (cpu)
ICFP_2010/160254.xml	timeout (wallclock)	StarExec error	MAYBE 127.01/44.91	StarExec error	timeout (cpu)
ICFP_2010/26910.xml	StarExec error	StarExec error	MAYBE 138.13/43.74	timeout (wallclock)	YES 40.52/11.12
ICFP_2010/44332.xml	YES 56.81/15.11	StarExec error	MAYBE 126.57/44.57	StarExec error	YES 75.43/21.00
ICFP_2010/188674.xml	YES 39.45/11.29	StarExec error	MAYBE 127.09/44.92	StarExec error	YES 3.05/1.02
ICFP_2010/41838.xml	StarExec error	StarExec error	YES 41.03/10.76	timeout (wallclock)	YES 153.29/40.98
ICFP_2010/133532.xml	timeout (wallclock)	StarExec error	MAYBE 126.73/44.57	StarExec error	StarExec error
ICFP_2010/53216.xml	StarExec error	StarExec error	MAYBE 136.51/54.34	StarExec error	YES 149.17/50.00
ICFP_2010/25736.xml	StarExec error	StarExec error	MAYBE 138.97/43.62	timeout (wallclock)	YES 41.26/12.47
ICFP_2010/3268.xml	YES 46.71/12.64	YES 0.32/0.33	YES 6.81/2.03	StarExec error	YES 1.70/0.69
ICFP_2010/186919.xml	StarExec error	StarExec error	MAYBE 127.09/44.93	StarExec error	timeout (cpu)
ICFP_2010/160398.xml	timeout (wallclock)	StarExec error	MAYBE 126.84/44.75	StarExec error	timeout (cpu)
ICFP_2010/167240.xml	timeout (wallclock)	StarExec error	MAYBE 127.00/44.89	StarExec error	timeout (cpu)
ICFP_2010/85874.xml	StarExec error	StarExec error	YES 25.72/6.98	StarExec error	YES 21.86/9.01
ICFP_2010/88283.xml	StarExec error	StarExec error	YES 45.03/11.85	StarExec error	timeout (cpu)
ICFP_2010/139025.xml	YES 38.06/10.90	StarExec error	MAYBE 125.91/43.79	StarExec error	YES 453.40/123.99
ICFP_2010/153444.xml	timeout (wallclock)	StarExec error	MAYBE 126.55/44.53	timeout (wallclock)	YES 689.69/194.19
ICFP_2010/212189.xml	YES 386.00/97.55	YES 7.29/6.56	YES 21.05/5.64	StarExec error	YES 15.89/4.37
ICFP_2010/5109.xml	StarExec error	StarExec error	YES 36.59/9.63	StarExec error	YES 222.52/59.30
ICFP_2010/139185.xml	YES 42.20/11.59	StarExec error	MAYBE 125.93/43.80	StarExec error	YES 126.38/47.64
ICFP_2010/85267.xml	StarExec error	StarExec error	YES 42.85/11.33	StarExec error	YES 177.36/44.97
ICFP_2010/213865.xml	YES 38.68/10.52	YES 4.94/4.92	YES 17.61/4.79	StarExec error	YES 68.25/17.54
ICFP_2010/85782.xml	StarExec error	StarExec error	YES 24.82/6.73	StarExec error	YES 25.36/9.37
ICFP_2010/98362.xml	StarExec error	StarExec error	YES 31.00/8.35	StarExec error	YES 4.30/1.36
ICFP_2010/4200.xml	StarExec error	StarExec error	YES 44.67/11.66	timeout (wallclock)	YES 340.18/88.78
ICFP_2010/3467.xml	StarExec error	StarExec error	YES 45.57/11.86	StarExec error	YES 44.72/12.66
ICFP_2010/139100.xml	StarExec error	StarExec error	MAYBE 125.92/43.79	StarExec error	YES 363.34/113.92
ICFP_2010/128182.xml	YES 46.00/12.56	StarExec error	MAYBE 125.93/43.79	StarExec error	YES 100.71/26.31
ICFP_2010/26882.xml	StarExec error	StarExec error	MAYBE 138.97/43.82	StarExec error	YES 38.84/10.23
ICFP_2010/147437.xml	timeout (wallclock)	StarExec error	MAYBE 129.50/47.69	StarExec error	timeout (cpu)
ICFP_2010/26132.xml	StarExec error	StarExec error	MAYBE 137.62/43.87	StarExec error	YES 45.24/13.26
ICFP_2010/135714.xml	timeout (wallclock)	StarExec error	MAYBE 126.66/44.55	StarExec error	StarExec error
ICFP_2010/124269.xml	StarExec error	StarExec error	MAYBE 127.11/43.46	StarExec error	timeout (cpu)
ICFP_2010/262998.xml	YES 19.03/5.64	StarExec error	MAYBE 138.73/56.47	StarExec error	YES 2.35/0.87
ICFP_2010/137087.xml	StarExec error	StarExec error	MAYBE 126.61/44.54	StarExec error	YES 900.60/263.28
ICFP_2010/136463.xml	StarExec error	StarExec error	MAYBE 126.65/44.55	StarExec error	StarExec error
ICFP_2010/214183.xml	YES 44.92/12.06	YES 259.67/257.46	YES 23.06/6.15	StarExec error	YES 149.21/38.12
ICFP_2010/136534.xml	timeout (wallclock)	StarExec error	StarExec error	StarExec error	YES 723.46/196.39
ICFP_2010/96104.xml	StarExec error	StarExec error	YES 19.17/5.30	StarExec error	YES 19.21/6.36
ICFP_2010/86025.xml	StarExec error	StarExec error	YES 21.99/6.08	StarExec error	YES 77.70/20.96
ICFP_2010/26123.xml	YES 30.38/8.50	YES 0.20/0.19	YES 5.74/1.79	StarExec error	YES 3.80/1.29
ICFP_2010/40708.xml	StarExec error	YES 0.74/0.73	YES 4.33/1.43	StarExec error	YES 4.90/1.53
ICFP_2010/26943.xml	StarExec error	StarExec error	MAYBE 140.10/43.59	StarExec error	YES 34.61/10.61
ICFP_2010/85920.xml	StarExec error	StarExec error	YES 24.69/6.68	StarExec error	YES 66.85/18.13
ICFP_2010/212026.xml	YES 103.00/27.10	StarExec error	YES 33.78/8.81	StarExec error	YES 422.37/127.13
ICFP_2010/85749.xml	YES 9.00/2.99	YES 104.96/105.01	YES 27.26/7.35	StarExec error	YES 1.48/0.64
ICFP_2010/211960.xml	YES 62.60/16.57	YES 59.64/59.62	YES 26.79/7.07	StarExec error	YES 34.68/10.28
ICFP_2010/167433.xml	timeout (wallclock)	StarExec error	MAYBE 127.26/45.19	StarExec error	timeout (cpu)
ICFP_2010/57799.xml	YES 67.34/18.39	StarExec error	MAYBE 144.09/42.67	YES 25.17/26.06	YES 9.87/2.75
ICFP_2010/152786.xml	StarExec error	StarExec error	MAYBE 126.74/44.55	StarExec error	StarExec error
ICFP_2010/165975.xml	timeout (wallclock)	StarExec error	MAYBE 127.17/45.08	StarExec error	timeout (cpu)
ICFP_2010/27003.xml	StarExec error	StarExec error	MAYBE 139.47/43.66	StarExec error	YES 44.20/13.14
ICFP_2010/160660.xml	timeout (wallclock)	StarExec error	MAYBE 126.80/44.73	StarExec error	timeout (cpu)
ICFP_2010/25731.xml	YES 4.06/1.69	YES 0.07/0.06	YES 1.78/0.75	StarExec error	YES 2.33/0.85
ICFP_2010/142142.xml	YES 22.05/6.37	StarExec error	MAYBE 138.28/42.94	StarExec error	YES 52.19/18.56
ICFP_2010/138089.xml	timeout (wallclock)	StarExec error	MAYBE 126.72/44.57	StarExec error	StarExec error
ICFP_2010/27023.xml	StarExec error	StarExec error	MAYBE 139.90/43.54	StarExec error	YES 32.96/8.83
ICFP_2010/84886.xml	StarExec error	StarExec error	YES 54.22/14.21	StarExec error	YES 307.63/80.45
ICFP_2010/3865.xml	StarExec error	StarExec error	YES 48.24/12.56	StarExec error	YES 240.12/60.79
ICFP_2010/3995.xml	StarExec error	StarExec error	YES 51.03/13.24	StarExec error	YES 78.69/20.63
ICFP_2010/137621.xml	timeout (wallclock)	StarExec error	MAYBE 126.69/44.56	StarExec error	StarExec error
ICFP_2010/107193.xml	timeout (wallclock)	StarExec error	MAYBE 127.02/44.95	timeout (wallclock)	timeout (cpu)
ICFP_2010/231604.xml	YES 9.71/3.36	MAYBE 0.01/0.01	MAYBE 147.42/60.36	MAYBE 0.01/0.11	YES 1.33/0.60
ICFP_2010/138993.xml	StarExec error	StarExec error	MAYBE 125.98/43.81	StarExec error	YES 96.64/25.50
ICFP_2010/96156.xml	StarExec error	StarExec error	YES 20.63/5.72	StarExec error	StarExec error
ICFP_2010/142146.xml	YES 29.41/9.80	StarExec error	MAYBE 125.37/43.29	StarExec error	YES 31.00/8.34
ICFP_2010/63142.xml	YES 11.85/3.76	StarExec error	YES 27.47/7.36	StarExec error	YES 6.87/2.03
ICFP_2010/162075.xml	timeout (wallclock)	StarExec error	MAYBE 127.35/45.21	StarExec error	timeout (cpu)
ICFP_2010/96485.xml	YES 11.60/3.69	timeout (wallclock)	YES 18.70/5.17	StarExec error	YES 1.22/0.59
ICFP_2010/43621.xml	timeout (wallclock)	StarExec error	MAYBE 126.69/44.57	StarExec error	YES 623.49/157.90
ICFP_2010/4819.xml	StarExec error	StarExec error	YES 44.20/11.53	StarExec error	StarExec error
ICFP_2010/247992.xml	YES 11.95/3.97	MAYBE 0.01/0.01	MAYBE 124.57/51.74	MAYBE 0.01/0.01	YES 1.34/0.60
ICFP_2010/135601.xml	timeout (wallclock)	StarExec error	MAYBE 126.72/44.58	StarExec error	timeout (cpu)
ICFP_2010/135782.xml	StarExec error	StarExec error	MAYBE 125.59/43.48	StarExec error	YES 1079.75/273.88
ICFP_2010/160210.xml	timeout (wallclock)	StarExec error	MAYBE 127.67/45.51	StarExec error	timeout (wallclock)
ICFP_2010/157150.xml	YES 170.19/43.56	StarExec error	MAYBE 142.64/42.78	timeout (wallclock)	timeout (cpu)
ICFP_2010/166001.xml	timeout (wallclock)	StarExec error	MAYBE 127.40/45.33	StarExec error	timeout (cpu)
ICFP_2010/188296.xml	StarExec error	StarExec error	MAYBE 127.07/44.94	StarExec error	timeout (cpu)
ICFP_2010/26130.xml	YES 20.01/5.85	YES 0.16/0.14	YES 7.60/2.25	StarExec error	YES 7.32/2.19
ICFP_2010/26960.xml	StarExec error	StarExec error	MAYBE 139.32/43.64	StarExec error	StarExec error
ICFP_2010/4282.xml	StarExec error	StarExec error	YES 36.22/9.50	StarExec error	YES 25.58/6.82
ICFP_2010/133827.xml	YES 15.76/4.70	StarExec error	MAYBE 128.27/43.46	StarExec error	YES 1.81/0.73
ICFP_2010/85721.xml	StarExec error	StarExec error	YES 25.78/7.00	StarExec error	YES 7.27/2.13
ICFP_2010/149297.xml	timeout (wallclock)	StarExec error	MAYBE 130.57/48.44	StarExec error	timeout (cpu)
ICFP_2010/137404.xml	StarExec error	StarExec error	MAYBE 127.35/43.46	StarExec error	StarExec error
ICFP_2010/26998.xml	StarExec error	StarExec error	MAYBE 137.97/43.72	StarExec error	YES 35.32/9.39
ICFP_2010/264370.xml	YES 3.77/1.64	YES 0.13/0.13	YES 0.82/0.51	YES 0.01/0.01	YES 0.89/0.49
ICFP_2010/25416.xml	StarExec error	StarExec error	MAYBE 138.68/43.79	StarExec error	YES 45.68/13.56
ICFP_2010/27235.xml	YES 59.67/15.87	YES 0.64/0.61	YES 19.29/5.59	StarExec error	YES 16.97/5.40
ICFP_2010/26069.xml	StarExec error	YES 0.11/0.10	YES 3.58/1.20	StarExec error	YES 2.51/1.05
ICFP_2010/149319.xml	timeout (wallclock)	StarExec error	MAYBE 129.26/47.07	StarExec error	StarExec error
ICFP_2010/160462.xml	timeout (wallclock)	StarExec error	MAYBE 127.18/45.06	StarExec error	timeout (cpu)
ICFP_2010/26291.xml	YES 40.76/11.68	YES 0.32/0.29	YES 10.91/3.18	StarExec error	YES 7.75/2.29
ICFP_2010/180915.xml	StarExec error	StarExec error	MAYBE 127.04/44.92	StarExec error	timeout (cpu)
ICFP_2010/139190.xml	YES 39.82/10.85	StarExec error	MAYBE 125.85/43.79	StarExec error	YES 112.93/40.28
ICFP_2010/26916.xml	StarExec error	StarExec error	MAYBE 139.08/43.63	StarExec error	YES 42.54/11.92
ICFP_2010/188261.xml	StarExec error	StarExec error	MAYBE 127.08/44.93	StarExec error	timeout (cpu)
ICFP_2010/162016.xml	timeout (wallclock)	StarExec error	MAYBE 127.17/45.05	StarExec error	timeout (cpu)
ICFP_2010/3786.xml	StarExec error	StarExec error	YES 21.66/5.84	StarExec error	YES 17.09/5.25
ICFP_2010/4074.xml	StarExec error	StarExec error	YES 38.95/10.25	timeout (wallclock)	YES 63.44/18.24
ICFP_2010/42170.xml	StarExec error	StarExec error	MAYBE 126.67/44.55	StarExec error	StarExec error
ICFP_2010/167087.xml	timeout (wallclock)	StarExec error	MAYBE 127.43/45.23	StarExec error	timeout (cpu)
ICFP_2010/97917.xml	timeout (wallclock)	StarExec error	MAYBE 127.90/45.77	StarExec error	timeout (wallclock)
ICFP_2010/254704.xml	timeout (wallclock)	StarExec error	YES 80.21/31.36	StarExec error	timeout (cpu)
ICFP_2010/86636.xml	StarExec error	StarExec error	YES 20.22/5.61	StarExec error	YES 24.86/7.89
ICFP_2010/68322.xml	StarExec error	StarExec error	YES 40.45/10.72	StarExec error	YES 314.08/79.03
ICFP_2010/132622.xml	YES 47.50/12.71	StarExec error	MAYBE 125.90/43.79	timeout (wallclock)	YES 318.31/110.89
ICFP_2010/153170.xml	StarExec error	StarExec error	MAYBE 126.64/44.55	StarExec error	timeout (cpu)
ICFP_2010/133079.xml	timeout (wallclock)	StarExec error	MAYBE 126.59/44.57	StarExec error	timeout (cpu)
ICFP_2010/26986.xml	StarExec error	StarExec error	MAYBE 140.11/43.67	StarExec error	YES 30.95/8.26
ICFP_2010/212612.xml	YES 128.00/33.41	StarExec error	YES 27.89/7.34	StarExec error	YES 87.83/22.59
ICFP_2010/231230.xml	YES 16.85/4.93	MAYBE 0.01/0.01	MAYBE 135.55/53.50	MAYBE 0.01/0.02	YES 1.26/0.60
ICFP_2010/135115.xml	StarExec error	StarExec error	MAYBE 129.38/43.49	StarExec error	StarExec error
ICFP_2010/230948.xml	YES 14.54/4.57	MAYBE 0.01/0.05	MAYBE 115.96/46.75	MAYBE 0.01/0.01	YES 1.10/0.64
ICFP_2010/212043.xml	YES 65.25/17.16	StarExec error	YES 14.41/3.98	StarExec error	YES 11.85/3.39
ICFP_2010/107236.xml	StarExec error	StarExec error	MAYBE 126.92/44.82	StarExec error	timeout (cpu)
ICFP_2010/161864.xml	timeout (wallclock)	StarExec error	MAYBE 126.16/44.54	StarExec error	timeout (cpu)
ICFP_2010/149713.xml	timeout (wallclock)	StarExec error	MAYBE 130.02/47.79	StarExec error	timeout (cpu)
ICFP_2010/213437.xml	YES 61.67/16.68	YES 0.86/0.82	YES 17.69/4.80	StarExec error	YES 10.50/3.96
ICFP_2010/132720.xml	YES 39.96/10.85	StarExec error	MAYBE 125.87/43.80	StarExec error	YES 104.48/28.46
ICFP_2010/153371.xml	timeout (wallclock)	StarExec error	MAYBE 126.68/44.56	StarExec error	timeout (cpu)
ICFP_2010/167742.xml	StarExec error	StarExec error	MAYBE 127.51/45.35	StarExec error	YES 97.65/29.18
ICFP_2010/140659.xml	StarExec error	StarExec error	MAYBE 129.30/43.07	StarExec error	timeout (cpu)
ICFP_2010/50904.xml	StarExec error	StarExec error	MAYBE 127.19/45.24	StarExec error	timeout (cpu)
ICFP_2010/139167.xml	YES 49.13/13.22	StarExec error	MAYBE 125.97/43.82	StarExec error	YES 140.90/40.51
ICFP_2010/26978.xml	StarExec error	StarExec error	MAYBE 140.53/43.51	StarExec error	YES 27.17/8.44
ICFP_2010/4412.xml	StarExec error	StarExec error	YES 39.02/10.26	StarExec error	YES 36.99/10.29
ICFP_2010/68535.xml	YES 228.11/58.97	YES 118.81/115.68	YES 19.79/5.43	StarExec error	YES 9.26/2.64
ICFP_2010/96403.xml	StarExec error	StarExec error	YES 17.78/4.90	StarExec error	YES 56.89/15.76
ICFP_2010/183803.xml	StarExec error	StarExec error	MAYBE 127.14/44.94	StarExec error	timeout (wallclock)
ICFP_2010/149277.xml	timeout (wallclock)	StarExec error	MAYBE 129.89/47.68	timeout (wallclock)	timeout (cpu)
ICFP_2010/130962.xml	YES 223.62/57.86	StarExec error	MAYBE 126.64/44.55	StarExec error	StarExec error
ICFP_2010/43603.xml	StarExec error	StarExec error	MAYBE 136.62/54.35	StarExec error	YES 144.50/47.82
ICFP_2010/86052.xml	StarExec error	StarExec error	YES 24.49/6.67	StarExec error	YES 91.78/26.57
ICFP_2010/161593.xml	timeout (wallclock)	StarExec error	MAYBE 126.82/44.80	timeout (wallclock)	timeout (cpu)
ICFP_2010/249459.xml	YES 9.01/2.98	MAYBE 0.01/0.01	MAYBE 127.92/51.92	MAYBE 0.01/0.01	YES 1.04/0.55
ICFP_2010/140287.xml	StarExec error	StarExec error	MAYBE 125.85/43.81	StarExec error	StarExec error
ICFP_2010/48686.xml	StarExec error	StarExec error	MAYBE 128.95/46.85	StarExec error	StarExec error
ICFP_2010/26186.xml	YES 33.89/9.38	YES 0.23/0.22	YES 8.32/2.47	StarExec error	YES 6.27/2.14
ICFP_2010/188004.xml	StarExec error	StarExec error	MAYBE 127.03/44.93	StarExec error	timeout (wallclock)
ICFP_2010/138194.xml	StarExec error	StarExec error	MAYBE 127.59/43.43	StarExec error	timeout (cpu)
ICFP_2010/25409.xml	StarExec error	StarExec error	MAYBE 137.57/43.75	StarExec error	YES 47.39/13.81
ICFP_2010/186617.xml	StarExec error	StarExec error	MAYBE 127.04/44.92	StarExec error	timeout (cpu)
ICFP_2010/136323.xml	StarExec error	StarExec error	MAYBE 126.66/44.54	StarExec error	StarExec error
ICFP_2010/4934.xml	StarExec error	StarExec error	YES 28.43/7.55	StarExec error	StarExec error
ICFP_2010/58194.xml	timeout (wallclock)	MAYBE 59.95/56.58	MAYBE 144.20/42.77	StarExec error	YES 758.68/190.66
ICFP_2010/43987.xml	timeout (wallclock)	StarExec error	MAYBE 126.73/44.55	StarExec error	YES 485.92/123.64
ICFP_2010/188238.xml	StarExec error	StarExec error	MAYBE 127.08/44.93	StarExec error	timeout (cpu)
ICFP_2010/135936.xml	YES 600.74/242.14	StarExec error	MAYBE 128.35/43.45	StarExec error	timeout (cpu)
ICFP_2010/29415.xml	YES 83.99/21.90	StarExec error	MAYBE 129.74/47.53	timeout (wallclock)	YES 403.26/120.04
ICFP_2010/26931.xml	StarExec error	StarExec error	MAYBE 138.47/43.78	StarExec error	YES 40.56/10.68
ICFP_2010/96065.xml	StarExec error	StarExec error	YES 20.02/5.51	StarExec error	YES 20.63/6.68
ICFP_2010/39849.xml	StarExec error	StarExec error	YES 24.25/6.44	StarExec error	YES 18.95/5.17
ICFP_2010/68989.xml	YES 22.13/6.31	StarExec error	YES 17.87/4.97	StarExec error	YES 1.45/0.64
ICFP_2010/123759.xml	StarExec error	StarExec error	MAYBE 125.63/43.49	StarExec error	StarExec error
ICFP_2010/187837.xml	StarExec error	StarExec error	MAYBE 127.09/44.99	StarExec error	timeout (cpu)
ICFP_2010/150188.xml	timeout (wallclock)	StarExec error	MAYBE 129.90/47.87	StarExec error	timeout (cpu)
ICFP_2010/96642.xml	YES 49.39/13.15	YES 284.16/284.08	YES 18.70/5.18	StarExec error	StarExec error
ICFP_2010/96438.xml	YES 373.56/110.21	StarExec error	YES 18.78/5.16	StarExec error	YES 12.30/5.01
ICFP_2010/25726.xml	StarExec error	StarExec error	StarExec error	StarExec error	YES 34.56/9.19
ICFP_2010/133432.xml	timeout (wallclock)	StarExec error	MAYBE 126.71/44.55	StarExec error	StarExec error
ICFP_2010/247254.xml	YES 10.03/3.38	MAYBE 0.01/0.01	MAYBE 137.94/55.54	MAYBE 0.01/0.01	YES 1.29/0.59
ICFP_2010/28643.xml	YES 99.29/25.87	YES 1.63/1.55	YES 23.43/7.00	StarExec error	YES 27.70/7.34
ICFP_2010/137623.xml	YES 20.76/5.98	YES 97.39/97.34	MAYBE 125.54/43.46	StarExec error	YES 1.71/0.70
ICFP_2010/85834.xml	YES 13.84/4.19	YES 14.74/14.72	YES 29.56/7.92	StarExec error	YES 2.34/0.87
ICFP_2010/58125.xml	timeout (wallclock)	StarExec error	MAYBE 129.88/47.79	StarExec error	timeout (cpu)
ICFP_2010/132848.xml	timeout (wallclock)	StarExec error	MAYBE 126.72/44.55	StarExec error	timeout (cpu)
ICFP_2010/42683.xml	YES 57.74/15.48	StarExec error	MAYBE 126.77/44.57	StarExec error	YES 77.22/23.63
ICFP_2010/86577.xml	StarExec error	StarExec error	YES 23.84/6.47	StarExec error	YES 119.52/32.65
ICFP_2010/4991.xml	StarExec error	StarExec error	YES 26.36/7.01	timeout (wallclock)	YES 16.33/4.61
ICFP_2010/3633.xml	StarExec error	StarExec error	YES 38.02/9.99	StarExec error	YES 169.95/45.19
ICFP_2010/26875.xml	StarExec error	StarExec error	MAYBE 138.64/43.80	StarExec error	YES 45.80/12.07
ICFP_2010/139004.xml	YES 45.80/12.32	StarExec error	MAYBE 125.93/43.80	StarExec error	YES 100.74/25.83
ICFP_2010/212364.xml	YES 981.40/247.77	StarExec error	YES 33.74/8.81	StarExec error	timeout (cpu)
ICFP_2010/96563.xml	YES 13.15/4.18	StarExec error	YES 18.38/5.08	timeout (wallclock)	YES 1.84/0.76
ICFP_2010/96086.xml	YES 13.04/4.03	StarExec error	YES 1.75/0.84	YES 151.44/143.93	YES 1.26/0.71
ICFP_2010/231480.xml	YES 37.79/10.25	MAYBE 0.01/0.01	MAYBE 142.23/56.58	MAYBE 0.01/0.01	YES 1.31/0.60
ICFP_2010/135410.xml	StarExec error	StarExec error	MAYBE 126.66/44.57	StarExec error	YES 302.49/79.61
ICFP_2010/48328.xml	StarExec error	StarExec error	MAYBE 143.49/42.72	StarExec error	YES 411.18/106.31
ICFP_2010/3705.xml	StarExec error	StarExec error	YES 42.21/11.03	StarExec error	YES 95.65/26.44
ICFP_2010/3746.xml	YES 25.13/7.08	YES 2.80/2.69	YES 26.94/7.16	StarExec error	YES 2.08/0.79
ICFP_2010/91233.xml	YES 42.57/11.48	StarExec error	MAYBE 126.71/43.77	StarExec error	YES 26.23/7.52
ICFP_2010/161519.xml	YES 256.93/66.08	StarExec error	MAYBE 127.06/44.92	StarExec error	timeout (cpu)
ICFP_2010/142157.xml	StarExec error	StarExec error	MAYBE 132.01/43.04	StarExec error	timeout (cpu)
ICFP_2010/150725.xml	StarExec error	StarExec error	MAYBE 129.77/47.63	StarExec error	timeout (cpu)
ICFP_2010/57278.xml	timeout (wallclock)	StarExec error	MAYBE 143.31/42.80	StarExec error	timeout (cpu)
ICFP_2010/263745.xml	YES 59.03/15.59	StarExec error	MAYBE 139.19/56.94	StarExec error	YES 137.02/57.03
ICFP_2010/25395.xml	StarExec error	StarExec error	MAYBE 139.28/43.73	StarExec error	YES 40.95/12.47
ICFP_2010/150468.xml	timeout (wallclock)	StarExec error	MAYBE 130.28/48.07	StarExec error	timeout (cpu)
ICFP_2010/167041.xml	timeout (wallclock)	StarExec error	MAYBE 126.20/44.79	StarExec error	timeout (cpu)
ICFP_2010/4051.xml	StarExec error	StarExec error	YES 39.86/10.45	StarExec error	YES 90.26/25.13
ICFP_2010/26976.xml	StarExec error	StarExec error	MAYBE 139.74/43.61	timeout (wallclock)	YES 33.85/9.29
ICFP_2010/26957.xml	StarExec error	StarExec error	MAYBE 139.94/43.60	StarExec error	YES 32.83/9.08
ICFP_2010/4248.xml	StarExec error	StarExec error	YES 28.22/7.51	timeout (wallclock)	YES 58.94/16.86
ICFP_2010/4840.xml	StarExec error	StarExec error	YES 15.42/4.24	timeout (wallclock)	StarExec error
ICFP_2010/81452.xml	StarExec error	StarExec error	YES 18.35/5.14	StarExec error	YES 7.11/2.39
ICFP_2010/140654.xml	YES 33.70/9.79	StarExec error	YES 27.53/7.37	timeout (wallclock)	YES 82.98/23.32
ICFP_2010/231378.xml	YES 13.24/4.05	MAYBE 0.01/0.01	MAYBE 124.35/51.68	MAYBE 0.01/0.01	YES 1.16/0.67
ICFP_2010/128515.xml	YES 52.19/13.83	StarExec error	MAYBE 125.95/43.79	StarExec error	StarExec error
ICFP_2010/151247.xml	timeout (wallclock)	StarExec error	MAYBE 130.36/48.21	StarExec error	timeout (cpu)
ICFP_2010/128620.xml	YES 41.71/11.80	StarExec error	MAYBE 125.88/43.79	StarExec error	YES 169.86/48.59
ICFP_2010/230819.xml	YES 16.52/5.07	MAYBE 0.01/0.01	MAYBE 113.99/44.53	MAYBE 0.01/0.01	YES 1.03/0.56
ICFP_2010/212892.xml	YES 36.58/10.18	StarExec error	MAYBE 176.57/44.76	YES 269.28/286.68	timeout (cpu)
ICFP_2010/85590.xml	StarExec error	StarExec error	YES 24.75/6.73	StarExec error	YES 2.62/1.10
ICFP_2010/85345.xml	StarExec error	StarExec error	YES 43.02/11.39	StarExec error	YES 385.15/99.62
ICFP_2010/166558.xml	timeout (wallclock)	StarExec error	MAYBE 127.35/45.22	StarExec error	timeout (cpu)
ICFP_2010/96302.xml	StarExec error	StarExec error	YES 19.60/5.37	StarExec error	YES 86.19/24.23
ICFP_2010/26965.xml	StarExec error	StarExec error	MAYBE 139.04/43.65	StarExec error	YES 41.54/12.38
ICFP_2010/160234.xml	YES 37.78/10.95	timeout (wallclock)	StarExec error	YES 13.95/13.91	StarExec error
ICFP_2010/27006.xml	StarExec error	StarExec error	MAYBE 139.63/43.60	StarExec error	YES 31.03/8.36
ICFP_2010/4970.xml	StarExec error	YES 275.06/264.22	YES 14.50/4.00	StarExec error	YES 2.48/1.02
ICFP_2010/3498.xml	StarExec error	StarExec error	YES 54.82/14.20	StarExec error	YES 18.74/6.04
ICFP_2010/43650.xml	timeout (wallclock)	StarExec error	MAYBE 136.56/54.46	StarExec error	StarExec error
ICFP_2010/3450.xml	StarExec error	StarExec error	YES 36.93/9.70	StarExec error	YES 33.99/9.03
ICFP_2010/213281.xml	YES 33.67/9.21	YES 1.02/0.97	YES 14.59/4.03	YES 1.09/1.07	YES 8.46/2.57
ICFP_2010/188696.xml	StarExec error	StarExec error	MAYBE 126.40/44.92	StarExec error	timeout (cpu)
ICFP_2010/150258.xml	timeout (wallclock)	StarExec error	MAYBE 129.79/47.83	StarExec error	timeout (cpu)
ICFP_2010/214091.xml	YES 19.63/5.72	YES 0.32/0.30	YES 14.09/3.90	YES 0.03/0.04	YES 51.83/15.00
ICFP_2010/45720.xml	timeout (wallclock)	MAYBE 233.92/205.19	YES 77.50/19.89	StarExec error	timeout (cpu)
ICFP_2010/213407.xml	YES 35.13/9.70	YES 0.64/0.60	YES 12.39/3.48	StarExec error	YES 13.93/4.23
ICFP_2010/157713.xml	timeout (wallclock)	StarExec error	MAYBE 126.64/44.57	StarExec error	timeout (cpu)
ICFP_2010/212308.xml	YES 61.00/16.60	StarExec error	MAYBE 172.86/43.77	StarExec error	YES 12.84/3.62
ICFP_2010/27015.xml	StarExec error	StarExec error	MAYBE 140.32/43.56	StarExec error	YES 28.33/8.69
ICFP_2010/3589.xml	StarExec error	StarExec error	YES 26.37/7.05	StarExec error	YES 38.53/11.05
ICFP_2010/132833.xml	YES 49.66/13.59	StarExec error	MAYBE 125.90/43.79	StarExec error	YES 127.50/35.72
ICFP_2010/26879.xml	StarExec error	StarExec error	MAYBE 138.16/43.66	StarExec error	YES 49.88/14.44
ICFP_2010/133881.xml	StarExec error	StarExec error	MAYBE 127.59/43.46	StarExec error	StarExec error
ICFP_2010/26226.xml	YES 16.03/6.11	YES 0.28/0.26	YES 9.00/2.67	StarExec error	YES 7.16/2.10
ICFP_2010/137715.xml	StarExec error	StarExec error	MAYBE 126.70/44.55	StarExec error	timeout (cpu)
ICFP_2010/40540.xml	YES 52.77/14.01	StarExec error	MAYBE 126.68/44.55	StarExec error	YES 137.71/39.36
ICFP_2010/213537.xml	YES 80.78/21.19	YES 25.98/25.97	YES 23.26/6.19	YES 20.99/20.91	YES 32.66/8.90
ICFP_2010/130304.xml	timeout (wallclock)	StarExec error	MAYBE 126.65/44.54	StarExec error	StarExec error
ICFP_2010/51424.xml	timeout (wallclock)	StarExec error	MAYBE 136.43/54.25	StarExec error	YES 216.61/61.21
ICFP_2010/96274.xml	YES 10.61/3.35	YES 19.42/19.43	YES 19.75/5.42	StarExec error	YES 1.29/0.62
ICFP_2010/150815.xml	timeout (wallclock)	StarExec error	MAYBE 130.58/48.38	StarExec error	timeout (cpu)
ICFP_2010/3680.xml	StarExec error	StarExec error	YES 45.47/11.88	StarExec error	YES 370.90/94.73
ICFP_2010/136601.xml	timeout (wallclock)	StarExec error	MAYBE 126.73/44.56	StarExec error	StarExec error
ICFP_2010/153034.xml	timeout (wallclock)	StarExec error	MAYBE 126.70/44.56	StarExec error	StarExec error
ICFP_2010/149915.xml	timeout (wallclock)	StarExec error	MAYBE 129.63/47.53	StarExec error	timeout (cpu)
ICFP_2010/4036.xml	StarExec error	StarExec error	YES 48.35/12.59	StarExec error	YES 22.42/7.03
ICFP_2010/95858.xml	StarExec error	StarExec error	YES 26.45/7.16	StarExec error	YES 5.78/1.81
ICFP_2010/167636.xml	YES 128.41/33.81	StarExec error	MAYBE 127.63/45.46	StarExec error	timeout (wallclock)
ICFP_2010/85675.xml	YES 7.70/2.63	timeout (wallclock)	StarExec error	StarExec error	YES 3.63/1.21
ICFP_2010/26949.xml	StarExec error	StarExec error	MAYBE 139.36/43.66	timeout (wallclock)	YES 36.35/11.24
ICFP_2010/86499.xml	StarExec error	StarExec error	YES 25.05/6.80	StarExec error	YES 148.40/39.42
ICFP_2010/56144.xml	YES 55.99/14.84	StarExec error	MAYBE 126.63/44.55	timeout (wallclock)	YES 109.02/30.51
ICFP_2010/214261.xml	YES 47.72/13.02	StarExec error	YES 43.73/11.31	StarExec error	YES 26.85/7.17
ICFP_2010/54097.xml	timeout (wallclock)	StarExec error	MAYBE 135.15/53.09	StarExec error	StarExec error
ICFP_2010/166465.xml	timeout (wallclock)	StarExec error	MAYBE 126.26/44.70	StarExec error	timeout (cpu)
ICFP_2010/3817.xml	StarExec error	StarExec error	StarExec error	StarExec error	YES 101.41/26.14
ICFP_2010/4141.xml	StarExec error	StarExec error	YES 56.76/14.66	StarExec error	YES 20.05/6.02
ICFP_2010/214320.xml	YES 20.52/6.32	YES 5.62/4.81	YES 38.75/10.06	YES 0.45/0.47	StarExec error
ICFP_2010/166848.xml	StarExec error	StarExec error	MAYBE 127.38/45.22	StarExec error	timeout (cpu)
ICFP_2010/4181.xml	YES 8.46/2.84	YES 12.48/12.47	YES 43.63/11.43	timeout (wallclock)	YES 1.77/0.71
ICFP_2010/26103.xml	YES 20.70/6.04	YES 0.15/0.14	YES 4.62/1.47	StarExec error	YES 2.40/0.87
ICFP_2010/26980.xml	timeout (wallclock)	StarExec error	StarExec error	StarExec error	YES 31.95/9.93
ICFP_2010/3562.xml	StarExec error	StarExec error	YES 38.74/10.15	timeout (wallclock)	YES 22.24/6.04
ICFP_2010/187254.xml	YES 19.12/5.61	StarExec error	MAYBE 127.14/44.93	StarExec error	YES 5.27/3.40
ICFP_2010/58301.xml	StarExec error	StarExec error	MAYBE 147.74/43.33	YES 30.44/31.25	YES 569.44/143.29
ICFP_2010/157161.xml	timeout (wallclock)	StarExec error	MAYBE 143.42/42.76	StarExec error	timeout (cpu)
ICFP_2010/184957.xml	StarExec error	StarExec error	MAYBE 127.11/44.93	StarExec error	YES 142.37/37.45
ICFP_2010/165755.xml	timeout (wallclock)	StarExec error	MAYBE 126.95/44.82	StarExec error	timeout (cpu)
ICFP_2010/4002.xml	YES 54.67/14.62	YES 134.33/105.16	YES 6.46/1.94	StarExec error	YES 3.82/1.48
ICFP_2010/137316.xml	StarExec error	StarExec error	MAYBE 126.69/44.54	StarExec error	StarExec error
ICFP_2010/42466.xml	timeout (wallclock)	StarExec error	MAYBE 126.50/44.56	StarExec error	timeout (cpu)
ICFP_2010/249386.xml	YES 51.85/13.81	MAYBE 0.01/0.01	MAYBE 123.07/48.40	MAYBE 0.01/0.01	YES 1.39/0.74
ICFP_2010/26972.xml	StarExec error	StarExec error	MAYBE 138.22/43.81	StarExec error	YES 41.40/10.94
ICFP_2010/54622.xml	YES 12.33/4.03	MAYBE 0.01/0.01	YES 23.56/19.44	MAYBE 0.01/0.01	StarExec error
ICFP_2010/57852.xml	YES 72.47/19.10	StarExec error	MAYBE 129.92/47.81	StarExec error	YES 8.66/2.58
ICFP_2010/51577.xml	StarExec error	StarExec error	MAYBE 136.64/54.48	StarExec error	StarExec error
ICFP_2010/136562.xml	StarExec error	StarExec error	MAYBE 128.19/43.47	StarExec error	timeout (cpu)
ICFP_2010/132969.xml	StarExec error	StarExec error	MAYBE 125.49/43.46	StarExec error	timeout (cpu)
ICFP_2010/4827.xml	StarExec error	StarExec error	YES 21.67/5.80	StarExec error	YES 28.22/8.32
ICFP_2010/186810.xml	StarExec error	StarExec error	MAYBE 126.77/44.93	StarExec error	timeout (cpu)
ICFP_2010/140318.xml	YES 39.33/10.68	StarExec error	MAYBE 125.92/43.79	StarExec error	YES 125.48/33.76
ICFP_2010/96612.xml	StarExec error	StarExec error	YES 21.21/5.80	StarExec error	YES 16.40/6.91
ICFP_2010/27034.xml	StarExec error	StarExec error	MAYBE 138.77/43.70	StarExec error	YES 40.12/12.02
ICFP_2010/132782.xml	YES 47.36/12.71	StarExec error	MAYBE 125.81/43.80	StarExec error	YES 108.06/28.53
ICFP_2010/95899.xml	StarExec error	StarExec error	YES 26.38/7.17	StarExec error	StarExec error
ICFP_2010/25808.xml	StarExec error	StarExec error	MAYBE 138.99/43.84	StarExec error	YES 44.02/13.22
ICFP_2010/86526.xml	StarExec error	StarExec error	YES 26.65/7.26	StarExec error	YES 87.11/25.50
ICFP_2010/212094.xml	YES 56.90/15.07	YES 30.94/28.92	YES 26.66/7.07	StarExec error	YES 27.83/7.73
ICFP_2010/211639.xml	YES 8.47/3.00	MAYBE 0.01/0.01	MAYBE 116.89/49.02	MAYBE 0.01/0.01	YES 1.05/0.56
ICFP_2010/41843.xml	StarExec error	StarExec error	YES 39.11/10.26	StarExec error	YES 45.98/13.56
ICFP_2010/139236.xml	YES 29.87/8.28	StarExec error	MAYBE 125.92/43.80	StarExec error	StarExec error
ICFP_2010/25734.xml	StarExec error	StarExec error	MAYBE 140.07/43.65	StarExec error	YES 31.94/8.54
ICFP_2010/96370.xml	YES 49.87/13.80	StarExec error	YES 19.37/5.35	StarExec error	YES 3.18/1.31
ICFP_2010/3729.xml	StarExec error	StarExec error	YES 62.51/16.18	StarExec error	StarExec error
ICFP_2010/48262.xml	StarExec error	StarExec error	MAYBE 159.41/43.47	timeout (wallclock)	YES 266.86/67.81
ICFP_2010/95978.xml	StarExec error	StarExec error	YES 27.97/7.59	StarExec error	YES 25.60/9.12
ICFP_2010/96673.xml	StarExec error	StarExec error	YES 22.02/6.08	StarExec error	YES 24.95/8.70
ICFP_2010/3939.xml	StarExec error	StarExec error	YES 46.24/12.05	StarExec error	YES 95.33/24.32
ICFP_2010/25849.xml	StarExec error	StarExec error	MAYBE 138.58/43.67	StarExec error	YES 40.63/12.23
ICFP_2010/158620.xml	YES 45.25/12.22	StarExec error	MAYBE 126.67/44.53	StarExec error	YES 11.88/3.37
ICFP_2010/25388.xml	StarExec error	StarExec error	MAYBE 138.99/43.75	StarExec error	YES 37.52/10.02
ICFP_2010/3336.xml	YES 26.19/7.33	StarExec error	YES 9.11/2.62	YES 3.63/3.57	YES 3.64/1.19
ICFP_2010/3385.xml	YES 66.78/18.14	StarExec error	YES 9.23/2.66	StarExec error	YES 4.21/1.35
ICFP_2010/27028.xml	StarExec error	StarExec error	MAYBE 139.82/43.61	timeout (wallclock)	YES 29.39/7.91
ICFP_2010/26933.xml	StarExec error	StarExec error	MAYBE 139.17/43.76	timeout (wallclock)	YES 42.59/11.21
ICFP_2010/167452.xml	timeout (wallclock)	StarExec error	MAYBE 127.15/45.15	StarExec error	timeout (cpu)
ICFP_2010/128056.xml	StarExec error	StarExec error	MAYBE 125.92/43.81	StarExec error	timeout (cpu)
ICFP_2010/186222.xml	StarExec error	StarExec error	MAYBE 127.04/44.92	StarExec error	timeout (cpu)
ICFP_2010/212480.xml	YES 45.27/12.27	YES 23.28/21.48	YES 21.28/5.70	StarExec error	YES 65.69/17.16
ICFP_2010/136354.xml	timeout (wallclock)	StarExec error	MAYBE 126.69/44.55	StarExec error	timeout (cpu)
ICFP_2010/107220.xml	StarExec error	StarExec error	MAYBE 126.79/44.66	StarExec error	timeout (cpu)
ICFP_2010/150067.xml	timeout (wallclock)	StarExec error	MAYBE 129.82/47.58	StarExec error	timeout (cpu)
ICFP_2010/264405.xml	YES 3.51/1.65	YES 0.03/0.03	StarExec error	StarExec error	YES 0.89/0.60
ICFP_2010/85650.xml	YES 45.60/12.23	StarExec error	YES 27.11/7.35	StarExec error	YES 13.05/3.59
ICFP_2010/136497.xml	StarExec error	StarExec error	MAYBE 126.77/44.57	StarExec error	timeout (cpu)
ICFP_2010/135652.xml	StarExec error	StarExec error	MAYBE 128.21/43.45	StarExec error	StarExec error
ICFP_2010/3856.xml	StarExec error	StarExec error	YES 46.50/12.12	timeout (wallclock)	YES 211.27/55.45
ICFP_2010/57132.xml	StarExec error	StarExec error	YES 37.36/9.99	StarExec error	YES 199.71/52.72
ICFP_2010/25775.xml	StarExec error	StarExec error	MAYBE 139.52/43.68	StarExec error	YES 43.17/12.77
ICFP_2010/157388.xml	YES 65.17/17.21	YES 66.90/59.25	YES 64.20/16.62	StarExec error	YES 650.36/167.33
ICFP_2010/132540.xml	YES 39.62/10.85	StarExec error	MAYBE 125.90/43.80	StarExec error	StarExec error
ICFP_2010/58221.xml	StarExec error	StarExec error	YES 45.46/11.97	StarExec error	YES 121.13/31.28
ICFP_2010/160364.xml	timeout (wallclock)	StarExec error	MAYBE 127.73/45.71	StarExec error	timeout (cpu)
ICFP_2010/3930.xml	StarExec error	StarExec error	YES 28.70/7.62	StarExec error	YES 14.02/3.97
ICFP_2010/86617.xml	StarExec error	StarExec error	YES 24.56/6.70	StarExec error	YES 29.88/9.39
ICFP_2010/136280.xml	timeout (wallclock)	StarExec error	StarExec error	StarExec error	YES 870.35/297.43
ICFP_2010/96417.xml	StarExec error	StarExec error	YES 20.01/5.52	StarExec error	YES 84.03/23.50
ICFP_2010/4029.xml	StarExec error	StarExec error	YES 24.08/6.69	timeout (wallclock)	YES 18.75/5.14
ICFP_2010/211915.xml	StarExec error	YES 11.68/10.15	YES 17.96/4.88	StarExec error	StarExec error
ICFP_2010/86857.xml	YES 370.13/100.33	StarExec error	YES 21.04/5.79	StarExec error	YES 43.78/12.31
ICFP_2010/160324.xml	timeout (wallclock)	StarExec error	MAYBE 126.84/44.72	StarExec error	timeout (cpu)
ICFP_2010/26940.xml	StarExec error	StarExec error	MAYBE 139.34/43.71	StarExec error	YES 40.76/10.74
ICFP_2010/130161.xml	timeout (wallclock)	StarExec error	MAYBE 126.72/44.54	StarExec error	StarExec error
ICFP_2010/4816.xml	StarExec error	StarExec error	YES 46.91/12.23	timeout (wallclock)	YES 32.07/8.42
ICFP_2010/96224.xml	YES 10.64/3.40	StarExec error	YES 2.85/1.18	StarExec error	YES 1.50/0.77
ICFP_2010/142150.xml	StarExec error	StarExec error	MAYBE 135.87/42.96	StarExec error	timeout (cpu)
ICFP_2010/153243.xml	StarExec error	StarExec error	MAYBE 126.61/44.55	StarExec error	timeout (wallclock)
ICFP_2010/167310.xml	timeout (wallclock)	StarExec error	MAYBE 126.97/44.79	StarExec error	timeout (cpu)
ICFP_2010/249663.xml	YES 15.02/4.54	MAYBE 0.01/0.01	MAYBE 137.53/55.26	MAYBE 0.01/0.01	YES 1.31/0.61
ICFP_2010/231043.xml	YES 12.22/3.77	MAYBE 0.01/0.01	MAYBE 135.74/55.37	MAYBE 0.01/0.01	YES 1.18/0.57
ICFP_2010/5011.xml	StarExec error	StarExec error	YES 13.49/3.76	StarExec error	YES 7.07/2.07
ICFP_2010/186775.xml	StarExec error	StarExec error	MAYBE 127.06/44.94	StarExec error	timeout (cpu)
ICFP_2010/211978.xml	YES 14.18/4.33	YES 1.17/1.15	YES 30.57/8.02	YES 0.05/0.05	YES 18.99/5.09
ICFP_2010/213218.xml	YES 18.27/5.39	YES 1.07/1.04	YES 17.08/4.65	YES 0.04/0.04	YES 9.04/2.60
ICFP_2010/3861.xml	StarExec error	StarExec error	YES 59.55/15.39	StarExec error	YES 163.13/47.36
ICFP_2010/186973.xml	StarExec error	StarExec error	StarExec error	StarExec error	timeout (cpu)
ICFP_2010/149361.xml	timeout (wallclock)	StarExec error	MAYBE 129.79/47.64	StarExec error	timeout (cpu)
ICFP_2010/91210.xml	YES 45.65/12.92	StarExec error	MAYBE 127.57/43.78	StarExec error	YES 29.00/8.35
ICFP_2010/259625.xml	YES 69.38/19.03	StarExec error	MAYBE 138.90/56.82	StarExec error	YES 108.61/50.20
ICFP_2010/3927.xml	timeout (wallclock)	StarExec error	MAYBE 138.54/56.38	StarExec error	YES 314.43/88.02
ICFP_2010/132864.xml	YES 43.69/11.74	StarExec error	MAYBE 125.92/43.80	StarExec error	YES 305.81/99.44
ICFP_2010/132957.xml	YES 51.74/14.00	StarExec error	MAYBE 125.77/43.81	StarExec error	StarExec error
ICFP_2010/27280.xml	YES 64.23/17.05	YES 1.45/1.39	YES 20.06/5.88	StarExec error	YES 30.18/8.09
ICFP_2010/3762.xml	StarExec error	StarExec error	YES 37.39/9.80	StarExec error	YES 97.66/25.37
ICFP_2010/26105.xml	StarExec error	StarExec error	MAYBE 142.01/43.50	StarExec error	YES 50.36/14.62
ICFP_2010/139282.xml	YES 40.37/10.98	StarExec error	MAYBE 125.97/43.81	StarExec error	YES 199.06/58.83
ICFP_2010/162244.xml	timeout (wallclock)	StarExec error	MAYBE 126.97/44.87	StarExec error	timeout (cpu)
ICFP_2010/4854.xml	StarExec error	StarExec error	YES 65.72/16.95	StarExec error	StarExec error
ICFP_2010/65081.xml	StarExec error	StarExec error	YES 12.41/3.52	StarExec error	YES 1.32/0.62
ICFP_2010/132738.xml	YES 39.12/11.23	StarExec error	MAYBE 125.99/43.81	StarExec error	YES 101.49/28.25
ICFP_2010/167526.xml	timeout (wallclock)	StarExec error	MAYBE 126.77/44.72	StarExec error	timeout (cpu)
ICFP_2010/213611.xml	YES 13.70/4.17	MAYBE 0.01/0.01	MAYBE 122.76/51.62	MAYBE 0.01/0.01	YES 1.08/0.56
ICFP_2010/157603.xml	timeout (wallclock)	StarExec error	MAYBE 126.62/44.55	StarExec error	StarExec error
ICFP_2010/161930.xml	YES 57.56/15.34	StarExec error	StarExec error	StarExec error	YES 69.86/19.21
ICFP_2010/165936.xml	timeout (wallclock)	StarExec error	MAYBE 127.03/45.01	StarExec error	timeout (cpu)
ICFP_2010/96239.xml	StarExec error	StarExec error	YES 20.31/5.58	StarExec error	StarExec error
ICFP_2010/150839.xml	timeout (wallclock)	StarExec error	MAYBE 128.51/46.39	StarExec error	timeout (cpu)
ICFP_2010/214169.xml	YES 42.08/11.42	StarExec error	YES 21.91/5.88	YES 209.38/215.53	YES 8.94/2.61
ICFP_2010/88143.xml	YES 61.40/16.29	StarExec error	YES 33.37/8.93	StarExec error	YES 32.73/10.61
ICFP_2010/165904.xml	timeout (wallclock)	StarExec error	MAYBE 127.24/45.04	StarExec error	timeout (cpu)
ICFP_2010/41865.xml	timeout (wallclock)	StarExec error	MAYBE 126.64/44.55	StarExec error	StarExec error
ICFP_2010/186333.xml	StarExec error	StarExec error	MAYBE 127.07/44.94	StarExec error	timeout (cpu)
ICFP_2010/5076.xml	StarExec error	StarExec error	YES 19.06/5.17	StarExec error	YES 15.02/4.12
ICFP_2010/4847.xml	StarExec error	StarExec error	YES 47.89/12.43	StarExec error	YES 47.73/12.78
ICFP_2010/148543.xml	timeout (wallclock)	StarExec error	MAYBE 130.16/48.08	StarExec error	StarExec error
ICFP_2010/212774.xml	StarExec error	StarExec error	YES 10.17/2.93	StarExec error	YES 13.63/3.74
ICFP_2010/4046.xml	YES 8.62/3.12	YES 32.79/25.35	YES 2.49/0.95	StarExec error	YES 1.19/0.57
ICFP_2010/152949.xml	timeout (wallclock)	StarExec error	MAYBE 126.71/44.54	StarExec error	StarExec error
ICFP_2010/137799.xml	StarExec error	StarExec error	MAYBE 126.70/44.57	StarExec error	timeout (cpu)
ICFP_2010/213560.xml	YES 68.55/18.75	StarExec error	YES 16.34/4.48	StarExec error	YES 19.60/5.31
ICFP_2010/167294.xml	timeout (wallclock)	StarExec error	MAYBE 127.31/45.13	StarExec error	timeout (cpu)
ICFP_2010/150877.xml	timeout (wallclock)	StarExec error	MAYBE 129.57/47.38	StarExec error	timeout (cpu)
ICFP_2010/45970.xml	StarExec error	StarExec error	MAYBE 127.79/45.64	StarExec error	StarExec error
ICFP_2010/97901.xml	timeout (wallclock)	StarExec error	MAYBE 126.12/44.07	StarExec error	timeout (cpu)
ICFP_2010/27134.xml	YES 49.07/13.20	YES 0.57/0.52	YES 17.35/4.97	StarExec error	YES 15.58/4.24
ICFP_2010/64160.xml	StarExec error	StarExec error	YES 5.94/1.83	StarExec error	YES 2.65/1.14
ICFP_2010/212421.xml	YES 75.11/19.70	YES 1.59/1.56	YES 16.01/4.40	StarExec error	YES 37.83/10.08
ICFP_2010/185628.xml	StarExec error	StarExec error	MAYBE 127.01/44.92	StarExec error	timeout (cpu)
ICFP_2010/158342.xml	StarExec error	StarExec error	MAYBE 126.44/44.54	StarExec error	StarExec error
ICFP_2010/26896.xml	timeout (wallclock)	StarExec error	MAYBE 138.55/43.75	StarExec error	YES 38.70/10.33
ICFP_2010/97929.xml	timeout (wallclock)	StarExec error	MAYBE 127.99/45.84	StarExec error	StarExec error
ICFP_2010/213147.xml	YES 65.67/17.44	StarExec error	YES 17.23/4.69	StarExec error	YES 20.42/5.47
ICFP_2010/4017.xml	StarExec error	StarExec error	YES 43.63/11.41	StarExec error	timeout (cpu)
ICFP_2010/25192.xml	YES 3.50/1.58	YES 0.02/0.02	YES 0.91/0.52	YES 0.04/0.04	YES 0.60/0.41
ICFP_2010/157466.xml	timeout (wallclock)	StarExec error	MAYBE 126.64/44.55	StarExec error	StarExec error
ICFP_2010/162095.xml	timeout (wallclock)	StarExec error	MAYBE 126.88/44.71	StarExec error	timeout (cpu)
ICFP_2010/40033.xml	timeout (wallclock)	StarExec error	MAYBE 126.70/44.55	StarExec error	timeout (cpu)
ICFP_2010/28293.xml	YES 76.60/20.67	YES 3.04/2.98	YES 21.32/6.27	StarExec error	YES 17.69/5.01
Secret_06_SRS/10.xml	YES 22.39/6.49	MAYBE 0.11/0.10	YES 88.73/22.52	StarExec error	YES 3.01/1.03
Secret_06_SRS/aprove07.xml	YES 35.46/9.92	YES 0.43/0.40	YES 7.80/2.28	StarExec error	timeout (cpu)
Secret_06_SRS/secr2.xml	YES 11.09/3.77	MAYBE 0.15/0.12	YES 2.80/1.00	StarExec error	YES 71.39/18.30
Secret_06_SRS/secr9.xml	YES 31.06/8.73	MAYBE 0.22/0.20	YES 47.26/14.35	StarExec error	YES 10.71/3.02
Secret_06_SRS/aprove04.xml	YES 19.55/6.24	YES 0.59/0.57	YES 116.84/29.68	StarExec error	timeout (cpu)
Secret_06_SRS/multum5.xml	YES 28.77/8.09	MAYBE 0.34/0.32	YES 6.33/1.89	timeout (wallclock)	YES 1.17/0.67
Secret_06_SRS/secr3.xml	StarExec error	MAYBE 0.44/0.42	YES 131.44/33.23	timeout (wallclock)	timeout (wallclock)
Secret_06_SRS/5-matchbox.xml	YES 10.46/3.53	MAYBE 0.24/0.21	YES 6.21/1.86	StarExec error	YES 2.97/1.16
Secret_06_SRS/secr4.xml	YES 64.77/17.18	YES 0.04/0.04	YES 90.43/22.96	StarExec error	memout
Secret_06_SRS/3.xml	YES 366.96/93.26	MAYBE 0.25/0.21	YES 7.87/2.28	StarExec error	YES 1.35/0.73
Secret_06_SRS/multum6.xml	YES 27.87/7.78	MAYBE 0.47/0.43	StarExec error	timeout (wallclock)	YES 1.72/0.84
Secret_06_SRS/7.xml	YES 12.66/4.09	YES 0.15/0.12	YES 88.28/22.45	StarExec error	YES 3.37/1.11
Secret_06_SRS/aprove02.xml	YES 27.90/8.11	YES 0.41/0.39	YES 7.97/2.33	StarExec error	timeout (cpu)
Secret_06_SRS/1.xml	StarExec error	MAYBE 0.23/0.20	MAYBE 172.67/43.51	StarExec error	memout
Secret_06_SRS/aprove08.xml	YES 17.54/5.47	YES 0.35/0.33	YES 3.93/1.31	YES 0.80/0.84	memout
Secret_06_SRS/multum2.xml	YES 46.85/12.51	MAYBE 0.29/0.25	YES 5.52/1.69	StarExec error	YES 0.93/0.50
Secret_06_SRS/secr10.xml	YES 32.62/9.04	MAYBE 0.58/0.55	YES 100.54/25.55	StarExec error	YES 3.36/1.13
Secret_06_SRS/multum3.xml	YES 24.76/7.02	MAYBE 0.29/0.24	YES 109.87/27.83	StarExec error	YES 2.09/0.81
Secret_06_SRS/aprove09.xml	YES 9.12/3.25	YES 0.15/0.15	YES 3.22/1.12	YES 0.06/0.09	memout
Secret_06_SRS/aprove01.xml	YES 13.40/4.43	YES 0.19/0.18	YES 24.88/6.61	YES 0.82/0.85	memout
Secret_06_SRS/secr7.xml	YES 35.60/13.97	MAYBE 0.11/0.09	YES 182.87/151.47	StarExec error	YES 3.98/1.29
Secret_06_SRS/5.xml	YES 55.61/14.83	MAYBE 0.23/0.19	MAYBE 172.50/43.48	StarExec error	memout
Secret_06_SRS/3-matchbox.xml	YES 45.67/12.40	YES 0.84/0.77	YES 12.02/3.34	YES 39.36/39.65	YES 1.33/0.67
Secret_06_SRS/aprove06.xml	YES 18.48/5.81	YES 0.42/0.39	YES 102.08/25.92	YES 0.19/0.23	timeout (cpu)
Secret_06_SRS/aprove03.xml	YES 14.18/4.53	YES 0.47/0.44	YES 52.43/13.55	StarExec error	memout
Secret_06_SRS/2.xml	YES 35.45/9.70	MAYBE 0.29/0.27	YES 167.94/42.35	StarExec error	memout
Secret_06_SRS/2-matchbox.xml	YES 232.75/59.17	YES 1.89/1.44	YES 43.74/11.24	StarExec error	YES 4.37/1.40
Secret_06_SRS/8.xml	YES 37.33/10.61	MAYBE 0.79/0.74	YES 13.48/3.69	YES 11.00/11.23	YES 86.15/21.98
Secret_06_SRS/secr8.xml	YES 33.34/9.24	MAYBE 0.21/0.19	YES 50.40/13.72	timeout (wallclock)	YES 25.83/6.80
Secret_06_SRS/secr6.xml	YES 32.78/9.06	MAYBE 1.47/1.33	YES 97.64/24.77	StarExec error	YES 177.51/46.85
Secret_06_SRS/6.xml	YES 21.60/6.28	MAYBE 0.93/0.89	YES 6.92/2.04	timeout (wallclock)	YES 1.05/0.54
Secret_06_SRS/aprove00.xml	YES 27.57/7.79	YES 0.06/0.06	YES 2.74/1.00	YES 0.09/0.11	memout
Secret_06_SRS/secr5.xml	YES 153.36/39.33	MAYBE 0.25/0.22	MAYBE 170.92/43.13	StarExec error	memout
Secret_06_SRS/9.xml	YES 11.87/3.92	MAYBE 0.15/0.13	YES 106.43/26.96	StarExec error	YES 1.43/0.62
Secret_06_SRS/multum1.xml	YES 192.31/49.26	MAYBE 0.46/0.43	YES 109.45/27.76	YES 0.47/0.50	YES 13.12/3.57
Secret_06_SRS/aprove05.xml	YES 28.98/8.27	YES 0.35/0.34	YES 14.37/3.95	StarExec error	memout
Secret_06_SRS/secr1.xml	YES 17.98/5.32	MAYBE 0.14/0.12	YES 1.86/0.77	StarExec error	YES 1.61/0.77
Secret_06_SRS/1-matchbox.xml	NO 240.61/61.03	MAYBE 0.20/0.16	MAYBE 170.50/42.98	StarExec error	NO 12.11/3.43
Secret_06_SRS/multum4.xml	YES 3.44/1.75	StarExec error	YES 1.19/0.61	StarExec error	YES 1.23/0.59
Secret_05_SRS/aprove2.xml	YES 33.08/9.20	MAYBE 0.31/0.28	YES 11.28/3.14	StarExec error	YES 4.31/1.39
Secret_05_SRS/jambox3.xml	YES 69.77/18.77	MAYBE 0.36/0.31	YES 35.61/9.23	StarExec error	memout
Secret_05_SRS/jambox4.xml	YES 3.64/1.69	MAYBE 0.23/0.20	YES 4.77/1.49	StarExec error	memout
Secret_05_SRS/matchbox1.xml	YES 23.09/6.88	YES 0.07/0.07	YES 8.90/2.55	YES 11.32/12.74	YES 1.62/0.67
Secret_05_SRS/aprove3.xml	YES 26.93/7.62	MAYBE 0.23/0.20	YES 100.78/25.60	StarExec error	YES 159.34/41.13
Secret_05_SRS/aprove1.xml	YES 22.56/6.49	StarExec error	YES 101.62/25.83	StarExec error	memout
Secret_05_SRS/torpa2.xml	YES 18.78/6.07	MAYBE 0.13/0.12	YES 116.80/29.55	StarExec error	memout
Secret_05_SRS/jambox2.xml	StarExec error	MAYBE 0.82/0.74	MAYBE 171.33/43.20	StarExec error	memout
Secret_05_SRS/jambox5.xml	YES 59.67/15.91	MAYBE 0.29/0.23	YES 11.38/3.15	StarExec error	memout
Secret_05_SRS/torpa3.xml	YES 18.36/5.70	YES 0.04/0.04	YES 7.35/2.16	YES 3.66/4.39	YES 11.30/3.16
Secret_05_SRS/jambox1.xml	YES 37.09/11.72	MAYBE 0.26/0.23	MAYBE 171.30/43.18	StarExec error	memout
Secret_05_SRS/aprove4.xml	YES 33.92/9.92	YES 0.18/0.15	YES 119.03/30.17	StarExec error	memout
Secret_05_SRS/aprove5.xml	YES 49.04/13.27	YES 0.41/0.40	YES 109.10/27.89	YES 25.80/27.83	YES 6.69/2.21
Secret_05_SRS/torpa4.xml	YES 9.81/3.33	YES 0.07/0.07	YES 12.33/3.42	StarExec error	YES 2.83/0.99
Secret_05_SRS/torpa1.xml	YES 4.00/1.74	MAYBE 0.29/0.28	YES 3.79/1.24	YES 2.01/2.12	YES 41.32/12.23
Secret_05_SRS/matchbox2.xml	YES 3.73/1.64	YES 0.20/0.17	YES 5.38/1.64	YES 3.67/3.94	YES 3.15/1.06
Gebhardt_06/05.xml	NO 19.11/5.60	MAYBE 0.22/0.21	MAYBE 170.93/43.09	StarExec error	NO 0.62/0.41
Gebhardt_06/03.xml	NO 8.69/2.94	MAYBE 0.26/0.24	MAYBE 171.20/43.15	timeout (wallclock)	NO 0.78/0.46
Gebhardt_06/01.xml	StarExec error	MAYBE 0.20/0.18	MAYBE 172.26/43.45	timeout (wallclock)	memout
Gebhardt_06/12.xml	NO 28.74/8.34	StarExec error	MAYBE 171.56/43.26	StarExec error	NO 0.52/0.38
Gebhardt_06/10.xml	StarExec error	MAYBE 0.29/0.26	MAYBE 170.80/43.08	StarExec error	NO 186.94/47.32
Gebhardt_06/06.xml	StarExec error	MAYBE 0.23/0.22	MAYBE 171.22/43.17	timeout (wallclock)	NO 1.66/0.82
Gebhardt_06/02.xml	YES 1020.86/256.13	MAYBE 0.18/0.17	MAYBE 170.77/43.09	StarExec error	memout
Gebhardt_06/14.xml	YES 21.85/6.32	MAYBE 0.29/0.25	YES 165.99/41.87	timeout (wallclock)	memout
Gebhardt_06/13.xml	StarExec error	MAYBE 0.35/0.32	MAYBE 171.49/43.22	StarExec error	memout
Gebhardt_06/20.xml	StarExec error	MAYBE 0.84/0.80	MAYBE 171.86/43.34	StarExec error	memout
Gebhardt_06/04.xml	YES 15.81/4.99	MAYBE 0.31/0.30	MAYBE 170.19/42.90	StarExec error	timeout (cpu)
Gebhardt_06/17.xml	YES 15.62/4.98	MAYBE 0.32/0.30	MAYBE 170.64/43.09	StarExec error	memout
Gebhardt_06/08.xml	NO 6.71/2.49	MAYBE 0.26/0.25	MAYBE 170.39/42.94	StarExec error	NO 0.78/0.47
Gebhardt_06/19.xml	StarExec error	MAYBE 0.66/0.62	MAYBE 171.47/43.22	StarExec error	memout
Gebhardt_06/16.xml	YES 22.96/6.57	MAYBE 0.34/0.33	MAYBE 171.09/43.11	timeout (wallclock)	memout
Gebhardt_06/09.xml	YES 237.93/60.64	MAYBE 0.24/0.22	YES 150.77/38.06	YES 211.73/212.33	memout
Gebhardt_06/11.xml	YES 24.16/6.82	MAYBE 0.30/0.27	YES 134.73/34.05	StarExec error	memout
Gebhardt_06/07.xml	YES 16.51/5.20	MAYBE 0.27/0.26	MAYBE 170.89/43.09	timeout (wallclock)	memout
Gebhardt_06/18.xml	YES 253.75/64.30	MAYBE 0.40/0.35	MAYBE 170.61/43.02	StarExec error	memout
Gebhardt_06/15.xml	NO 48.09/12.83	MAYBE 0.34/0.31	MAYBE 171.31/43.20	StarExec error	NO 0.78/0.55
Bouchare_06/05.xml	YES 10.28/3.58	MAYBE 0.16/0.13	YES 97.20/24.65	StarExec error	YES 34.44/9.01
Bouchare_06/03.xml	YES 10.71/3.66	MAYBE 0.15/0.12	YES 93.30/23.68	StarExec error	memout
Bouchare_06/01.xml	YES 5.19/2.08	MAYBE 0.19/0.17	YES 43.63/11.42	StarExec error	YES 0.96/0.60
Bouchare_06/12.xml	YES 21.32/6.48	MAYBE 0.11/0.09	YES 96.53/24.50	StarExec error	YES 339.68/87.51
Bouchare_06/10.xml	YES 28.87/8.44	MAYBE 0.22/0.18	YES 126.25/31.93	StarExec error	memout
Bouchare_06/06.xml	YES 20.05/5.87	MAYBE 0.48/0.45	YES 95.14/24.15	StarExec error	YES 1.54/0.65
Bouchare_06/02.xml	YES 5.30/2.03	YES 0.10/0.08	YES 3.17/1.09	StarExec error	YES 0.92/0.49
Bouchare_06/14.xml	YES 5.83/2.26	MAYBE 0.14/0.13	YES 94.57/24.01	StarExec error	YES 0.98/0.62
Bouchare_06/13.xml	YES 25.56/7.22	MAYBE 0.19/0.16	YES 99.96/25.29	StarExec error	memout
Bouchare_06/04.xml	YES 7.23/2.55	MAYBE 0.18/0.16	YES 43.15/11.27	StarExec error	YES 1.56/0.68
Bouchare_06/17.xml	YES 8.97/3.02	MAYBE 0.14/0.13	YES 43.19/11.26	StarExec error	YES 0.99/0.62
Bouchare_06/08.xml	NO 3.39/1.53	MAYBE 0.23/0.21	NO 0.87/0.51	StarExec error	NO 0.49/0.38
Bouchare_06/16.xml	YES 5.09/2.00	MAYBE 0.11/0.09	YES 42.26/10.98	StarExec error	YES 0.99/0.63
Bouchare_06/09.xml	NO 3.48/1.54	MAYBE 0.19/0.15	NO 0.94/0.52	StarExec error	NO 0.66/0.54
Bouchare_06/11.xml	YES 31.34/8.99	MAYBE 0.13/0.11	YES 101.46/25.72	StarExec error	memout
Bouchare_06/07.xml	YES 29.47/8.22	YES 0.10/0.09	YES 41.42/10.68	YES 2.10/2.13	YES 1.72/0.71
Bouchare_06/18.xml	YES 27.40/7.72	MAYBE 0.20/0.17	YES 102.45/25.96	StarExec error	memout
Bouchare_06/15.xml	YES 7.81/2.72	MAYBE 0.32/0.29	YES 42.70/11.14	StarExec error	YES 0.93/0.58
Wenzel_16/babaaaaaaa-aaaaaaaababbab.srs.xml	StarExec error	MAYBE 24.99/18.06	MAYBE 171.17/43.15	StarExec error	NO 65.01/18.65
Wenzel_16/abaaabaa-aaabaaababaaab.srs.xml	YES 4.73/1.90	MAYBE 1.68/1.55	MAYBE 172.05/43.37	StarExec error	timeout (cpu)
Wenzel_16/bacaaaaaaa-aaaaaaaabacbac.srs.xml	StarExec error	MAYBE 63.65/45.75	MAYBE 172.55/43.49	StarExec error	NO 54.14/14.01
Wenzel_16/abaabababa-aababababaabab.srs.xml	YES 3.49/1.55	MAYBE 3.29/3.10	MAYBE 173.01/43.61	StarExec error	timeout (cpu)
Wenzel_16/aabaabbaab-aabbaabaabbaa.srs.xml	StarExec error	MAYBE 0.39/0.36	MAYBE 171.74/43.28	StarExec error	YES 9.16/3.14
Wenzel_16/abaabaaaa-aaaaabaabaab.srs.xml	YES 3.98/1.70	StarExec error	MAYBE 171.38/43.19	StarExec error	YES 4.73/1.47
Wenzel_16/abcbaaaa-aaaaabcbaabcb.srs.xml	YES 3.90/1.67	MAYBE 10.82/9.42	MAYBE 171.21/43.14	StarExec error	YES 1.85/0.72
Wenzel_16/aabcbaaaa-aaaaaabcbaabcb.srs.xml	StarExec error	MAYBE 25.38/22.88	MAYBE 171.52/43.22	StarExec error	YES 4.76/1.48
Wenzel_16/abaababa-aababababaab.srs.xml	YES 3.65/1.61	MAYBE 0.95/0.88	MAYBE 172.88/43.58	StarExec error	StarExec error
Wenzel_16/abbaaaaaaa-aaaaaaaaabbabb.srs.xml	StarExec error	MAYBE 22.68/16.29	MAYBE 172.60/43.52	StarExec error	NO 3.85/1.26
Wenzel_16/bababaa-aaaaababababa.srs.xml	StarExec error	MAYBE 0.63/0.50	MAYBE 172.30/43.42	StarExec error	NO 1.63/0.82
Wenzel_16/abbaaaaaa-aaaaaaabbaaabb.srs.xml	YES 3.64/1.85	MAYBE 3.04/2.40	MAYBE 172.13/43.40	StarExec error	YES 9.68/3.08
Wenzel_16/abbaaaa-aaaaabbaabb.srs.xml	YES 3.55/1.63	MAYBE 1.01/0.87	MAYBE 171.20/43.32	StarExec error	YES 2.35/0.86
Wenzel_16/abababaab-aababaabababab.srs.xml	StarExec error	MAYBE 0.29/0.26	MAYBE 171.59/43.25	StarExec error	YES 2.27/0.85
Wenzel_16/aabaaaa-aaaaaabaaab.srs.xml	StarExec error	StarExec error	StarExec error	StarExec error	YES 3.84/1.26
Wenzel_16/abbabbbbabb-abbbbabbabbbba.srs.xml	StarExec error	MAYBE 0.54/0.50	MAYBE 171.85/43.31	StarExec error	YES 24.53/6.53
Wenzel_16/aaabaaaaa-aaaaaaaabaaaab.srs.xml	StarExec error	MAYBE 4.10/3.99	MAYBE 170.84/43.07	StarExec error	YES 75.74/21.30
Wenzel_16/baabbaaaab-aabbaaaabbaab.srs.xml	YES 3.94/1.74	MAYBE 9.12/6.70	MAYBE 171.98/43.35	StarExec error	memout
Wenzel_16/abababaab-aabaabababab.srs.xml	YES 117.10/30.60	MAYBE 0.25/0.23	MAYBE 172.42/43.47	StarExec error	YES 2.80/1.15
Wenzel_16/abbaaaaaaa-aaaaaaaabbaabb.srs.xml	YES 4.03/1.68	MAYBE 10.37/7.52	MAYBE 172.03/43.37	StarExec error	YES 5.18/1.83
Wenzel_16/bbcaaaaaaa-aaaaaaabbcbbca.srs.xml	StarExec error	MAYBE 0.67/0.55	MAYBE 172.41/43.46	StarExec error	NO 52.13/13.49
Wenzel_16/ababaaaaaaa-aaaaaaaababab.srs.xml	YES 3.93/1.69	MAYBE 4.18/3.19	MAYBE 171.93/43.33	StarExec error	YES 5.14/1.82
Wenzel_16/baabababba-abababbaababab.srs.xml	StarExec error	MAYBE 0.97/0.84	MAYBE 172.84/43.57	StarExec error	YES 2.18/0.94
Wenzel_16/abaaba-aababababaab.srs.xml	StarExec error	MAYBE 0.89/0.83	MAYBE 172.16/43.39	StarExec error	memout
Wenzel_16/abcbaaaaa-aaaaaabcbabcb.srs.xml	YES 4.38/1.78	MAYBE 68.91/52.20	MAYBE 171.50/43.28	StarExec error	YES 6.64/1.97
Wenzel_16/abaaaaaaa-aaaaaaaababab.srs.xml	YES 4.18/1.74	MAYBE 1.41/1.27	MAYBE 170.94/43.10	StarExec error	YES 5.21/1.58
Wenzel_16/abbbaaaaa-aaaaaabbbaabbb.srs.xml	YES 4.09/1.73	MAYBE 19.13/13.98	MAYBE 171.36/43.18	StarExec error	YES 4.28/1.36
Wenzel_16/aabaaaa-aaaaaabaabaaab.srs.xml	StarExec error	MAYBE 13.95/13.84	MAYBE 170.58/43.07	StarExec error	YES 21.28/5.70
Wenzel_16/bcbaaaaaaa-aaaaaaabcbbcba.srs.xml	StarExec error	MAYBE 36.96/26.79	MAYBE 172.62/43.55	StarExec error	NO 52.38/13.79
Wenzel_16/ababaabaaba-aabaabaababab.srs.xml	YES 4.02/1.78	MAYBE 1.26/1.11	MAYBE 171.88/43.33	StarExec error	YES 3.32/1.33
Wenzel_16/babbabbaba-abababbabbabba.srs.xml	StarExec error	MAYBE 0.83/0.78	MAYBE 171.66/43.26	StarExec error	YES 12.98/3.66
Wenzel_16/abaaaa-aaaaabababaab.srs.xml	YES 4.08/1.72	MAYBE 0.71/0.64	MAYBE 170.79/43.04	StarExec error	YES 5.02/1.54
Wenzel_16/abaaaaaaaa-aaaaaaaaaabaab.srs.xml	StarExec error	MAYBE 1.03/0.90	MAYBE 171.60/43.27	StarExec error	NO 3.68/1.44
Wenzel_16/ababbabab-abbababababba.srs.xml	StarExec error	MAYBE 0.46/0.42	MAYBE 172.65/43.52	StarExec error	memout
Wenzel_16/baabbaabaab-aabbaabaabbaab.srs.xml	StarExec error	MAYBE 6.90/5.22	MAYBE 173.66/43.81	StarExec error	YES 24.51/6.56
Wenzel_16/abacaaaaa-aaaaaabacaabac.srs.xml	YES 3.77/1.72	MAYBE 8.05/7.72	MAYBE 173.36/43.72	StarExec error	YES 4.07/1.30
Wenzel_16/aabbcaaaa-aaaaaabbcaabbc.srs.xml	StarExec error	MAYBE 31.40/26.79	MAYBE 172.04/43.37	StarExec error	YES 3.88/1.27
Wenzel_16/abbaaaaaaa-aaaaaaaabbabb.srs.xml	YES 4.28/1.79	MAYBE 19.83/14.19	MAYBE 172.54/43.49	StarExec error	YES 5.66/1.71
Wenzel_16/baabbaab-aabbaabaabaabb.srs.xml	YES 3.43/1.53	MAYBE 2.00/1.78	MAYBE 171.02/43.17	StarExec error	StarExec error
Wenzel_16/aaabbaaaa-aaaaaaabbaaabb.srs.xml	StarExec error	MAYBE 3.14/2.90	MAYBE 171.16/43.13	StarExec error	YES 3.97/1.51
Wenzel_16/abccaaaaa-aaaaaabccabcc.srs.xml	YES 3.69/1.67	MAYBE 98.45/73.31	MAYBE 172.44/43.54	StarExec error	YES 5.55/1.94
Wenzel_16/bababaaba-ababaababababa.srs.xml	StarExec error	MAYBE 0.29/0.26	MAYBE 172.23/43.42	StarExec error	YES 13.85/3.81
Wenzel_16/aabccaaaa-aaaaaabccaabcc.srs.xml	StarExec error	MAYBE 31.13/27.05	MAYBE 172.07/43.36	StarExec error	YES 2.56/1.08
Wenzel_16/abaaaaaa-aaaaaaabaaaab.srs.xml	YES 4.33/1.80	MAYBE 0.94/0.88	MAYBE 171.45/43.27	StarExec error	YES 5.19/1.61
Wenzel_16/aabaabaaaa-aaaaaabaabaab.srs.xml	StarExec error	StarExec error	MAYBE 172.07/43.38	StarExec error	YES 735.14/189.20
Wenzel_16/ababaababa-abaabababaabab.srs.xml	StarExec error	MAYBE 1.54/1.42	MAYBE 173.01/43.63	StarExec error	YES 4.98/1.53
Wenzel_16/abaaababaab-abaababaaababa.srs.xml	StarExec error	MAYBE 0.56/0.52	MAYBE 171.68/43.33	StarExec error	timeout (cpu)
Wenzel_16/abababaababa-ababaabababaab.srs.xml	StarExec error	MAYBE 1.67/1.55	MAYBE 175.03/44.13	StarExec error	YES 57.83/14.89
Wenzel_16/abaaba-aabababababaab.srs.xml	YES 3.95/1.78	MAYBE 1.27/1.16	MAYBE 171.75/43.34	StarExec error	memout
Wenzel_16/ababaababa-abaababababaab.srs.xml	StarExec error	MAYBE 1.57/1.45	MAYBE 172.44/43.48	StarExec error	timeout (cpu)
Wenzel_16/bbcaaaaaa-aaaaaaabbcbbc.srs.xml	StarExec error	MAYBE 0.46/0.38	MAYBE 172.11/43.37	StarExec error	NO 2.85/1.01
Wenzel_16/abaaaaaa-aaaaaaabaaaaab.srs.xml	YES 3.78/1.74	MAYBE 0.89/0.99	MAYBE 171.21/43.16	StarExec error	YES 16.52/4.42
Wenzel_16/abababaababa-abaababaababab.srs.xml	StarExec error	MAYBE 1.86/1.71	MAYBE 171.91/43.32	StarExec error	YES 4.85/1.54
Wenzel_16/abbaaaaa-aaaaaabbabb.srs.xml	YES 3.90/1.70	MAYBE 3.23/2.43	MAYBE 171.08/43.10	StarExec error	YES 3.60/1.19
Wenzel_16/abaaaaaa-aaaaaaabaaabab.srs.xml	YES 4.15/1.73	MAYBE 1.44/1.35	MAYBE 170.79/43.08	StarExec error	YES 28.87/8.65
Wenzel_16/abaaaaaa-aaaaaaaababab.srs.xml	StarExec error	MAYBE 0.97/0.86	MAYBE 170.94/43.08	StarExec error	NO 23.57/6.42
Wenzel_16/abaaaaa-aaaaaabaaaabab.srs.xml	YES 3.88/1.74	MAYBE 0.94/0.86	MAYBE 171.27/43.18	StarExec error	YES 10.73/3.39
Wenzel_16/aabbaaaabaa-aabaaaabbaaaab.srs.xml	StarExec error	MAYBE 2.60/2.35	MAYBE 171.64/43.26	StarExec error	timeout (wallclock)
Wenzel_16/ababaababa-aababababaabab.srs.xml	YES 4.24/1.78	MAYBE 2.00/1.85	MAYBE 173.60/43.76	StarExec error	timeout (cpu)
Wenzel_16/abaaaaaaa-aaaaaaaabaaaab.srs.xml	YES 4.83/1.88	MAYBE 1.03/0.94	MAYBE 171.03/43.13	StarExec error	YES 16.57/4.59
Wenzel_16/abacaabaca-aabacabacaabac.srs.xml	YES 4.22/1.73	MAYBE 15.82/15.37	MAYBE 172.37/43.49	StarExec error	memout
Wenzel_16/abbbaaaa-aaaaabbbaaabbb.srs.xml	YES 4.32/1.79	MAYBE 3.51/2.71	MAYBE 172.44/43.47	StarExec error	YES 3.67/1.87
Wenzel_16/aabaaaabaa-aaaabaabaaaab.srs.xml	StarExec error	MAYBE 2.66/2.52	MAYBE 172.35/43.44	StarExec error	timeout (cpu)
Wenzel_16/abcbaabcba-aabcbabcbaabcb.srs.xml	YES 3.83/1.65	MAYBE 22.16/20.68	MAYBE 172.64/43.51	StarExec error	timeout (cpu)
Wenzel_16/abaababa-aababababaabab.srs.xml	YES 3.90/1.73	MAYBE 1.37/1.23	MAYBE 171.59/43.24	StarExec error	memout
Wenzel_16/abaaaa-aaaaabaabab.srs.xml	YES 4.17/1.74	MAYBE 0.55/0.52	MAYBE 170.80/43.04	StarExec error	YES 1.69/0.75
Wenzel_16/bababaa-aaaaaababababa.srs.xml	StarExec error	MAYBE 0.77/0.59	MAYBE 172.12/43.41	StarExec error	NO 5.25/1.86
Wenzel_16/abbcaaaa-aaaaabbcaaabbc.srs.xml	YES 3.57/1.64	MAYBE 10.18/8.53	MAYBE 171.66/43.28	StarExec error	YES 2.63/0.96
Wenzel_16/caabccaabc-aabccaabcaabcc.srs.xml	YES 3.80/1.62	MAYBE 251.91/196.96	MAYBE 172.90/43.61	StarExec error	memout
Wenzel_16/abaaaa-aaaaabaababaab.srs.xml	YES 3.70/1.70	MAYBE 1.18/1.08	MAYBE 170.74/43.08	StarExec error	YES 2.23/0.84
Wenzel_16/abaaabaaaa-aaaaabaaabaaab.srs.xml	YES 4.21/1.74	MAYBE 1.67/1.52	MAYBE 171.46/43.26	StarExec error	YES 8.75/2.85
Wenzel_16/abaaaaa-aaaaaabaabaaab.srs.xml	YES 3.68/1.67	MAYBE 0.80/0.71	MAYBE 170.94/43.09	StarExec error	YES 11.27/3.11
Wenzel_16/babaaaaaa-aaaaaaababbab.srs.xml	StarExec error	MAYBE 10.49/7.61	MAYBE 171.72/43.29	StarExec error	NO 3.15/1.06
Wenzel_16/aaabaaaa-aaaaaaabaaab.srs.xml	StarExec error	MAYBE 1.13/1.07	MAYBE 170.60/43.02	StarExec error	YES 6.41/1.93
Wenzel_16/abaaaaabaa-aaabaaabaaaaab.srs.xml	YES 3.93/1.69	MAYBE 1.67/1.50	MAYBE 172.94/43.60	StarExec error	timeout (cpu)
Wenzel_16/abbbaaaaa-aaaaaabbbabbb.srs.xml	YES 3.70/1.64	MAYBE 46.21/33.10	MAYBE 171.44/43.28	StarExec error	YES 4.13/1.39
Wenzel_16/bbcaaaaaa-aaaaaabbcbbca.srs.xml	StarExec error	MAYBE 0.54/0.46	MAYBE 171.72/43.29	StarExec error	NO 3.37/1.33
Wenzel_16/aabbaaaa-aaaaaabbaabb.srs.xml	StarExec error	MAYBE 8.55/8.30	MAYBE 171.84/43.38	StarExec error	YES 1.90/0.89
Wenzel_16/aabbaaba-aabaabbaab.srs.xml	StarExec error	MAYBE 0.95/0.91	MAYBE 172.12/43.56	StarExec error	memout
Wenzel_16/abaaaaa-aaaaaabaaaab.srs.xml	YES 3.92/1.67	MAYBE 0.56/0.52	MAYBE 170.04/42.85	StarExec error	YES 5.64/1.95
Wenzel_16/abacababab-ababababacabac.srs.xml	StarExec error	MAYBE 0.28/0.26	MAYBE 173.31/43.70	StarExec error	YES 4.49/1.65
Wenzel_16/aabaaaaa-aaaaaaabaaab.srs.xml	StarExec error	MAYBE 43.93/43.87	MAYBE 170.49/42.99	StarExec error	YES 12.36/3.42
Wenzel_16/abaaaaaaa-aaaaaaaaababab.srs.xml	StarExec error	MAYBE 1.52/1.34	MAYBE 170.75/43.11	StarExec error	memout
Wenzel_16/aabaaaaa-aaaaaaabaab.srs.xml	StarExec error	StarExec error	MAYBE 170.80/43.05	StarExec error	YES 18.10/4.91
Wenzel_16/abaaaa-aaaaabaaabab.srs.xml	YES 3.99/1.69	MAYBE 0.79/0.75	MAYBE 170.18/42.88	StarExec error	YES 1.76/0.71
Wenzel_16/abaaaaa-aaaaaababaaaab.srs.xml	YES 4.28/1.83	MAYBE 0.89/0.79	MAYBE 170.70/43.07	StarExec error	YES 2.11/0.94
Wenzel_16/aabaaabaab-abaaabaabaaab.srs.xml	StarExec error	MAYBE 0.38/0.35	MAYBE 172.55/43.50	StarExec error	YES 4.94/1.56
Wenzel_16/abccaaaaa-aaaaaabccaabcc.srs.xml	YES 4.08/1.79	MAYBE 44.19/34.08	MAYBE 172.20/43.40	StarExec error	YES 2.76/1.18
Wenzel_16/ababaaba-abaababababaab.srs.xml	StarExec error	MAYBE 1.62/1.53	YES 144.86/36.61	StarExec error	YES 4.01/1.28
Wenzel_16/abbaabbaaba-abaabbaabbaab.srs.xml	YES 4.44/1.81	MAYBE 2.53/2.08	MAYBE 171.87/43.37	StarExec error	memout
Wenzel_16/abbcaaaaa-aaaaaabbcaabbc.srs.xml	YES 4.08/1.75	MAYBE 49.69/38.28	MAYBE 171.40/43.19	StarExec error	YES 4.92/1.60
Wenzel_16/abababaaab-aaabaaabababab.srs.xml	StarExec error	MAYBE 0.68/0.57	MAYBE 171.98/43.37	StarExec error	YES 3.50/1.35
Wenzel_16/ababaaaa-aaaaababaaabab.srs.xml	YES 4.00/1.73	MAYBE 1.54/1.43	MAYBE 172.27/43.42	StarExec error	YES 5.95/1.80
Wenzel_16/aabaaaaaa-aaaaaaaabaaaab.srs.xml	StarExec error	MAYBE 209.84/209.72	MAYBE 171.90/43.32	StarExec error	YES 13.86/3.85
Wenzel_16/abaababa-aabababababaab.srs.xml	YES 3.86/1.77	MAYBE 1.18/1.05	MAYBE 171.52/43.23	StarExec error	memout
Wenzel_16/babbabbaba-ababbabbabba.srs.xml	YES 210.57/54.15	MAYBE 0.64/0.60	MAYBE 171.33/43.17	StarExec error	YES 2.36/1.02
Wenzel_16/ababbababab-abbababababba.srs.xml	StarExec error	MAYBE 0.65/0.58	MAYBE 171.56/43.24	StarExec error	timeout (cpu)
Wenzel_16/bababaaab-aabaaabababab.srs.xml	YES 3.63/1.65	MAYBE 1.82/1.68	MAYBE 171.37/43.19	StarExec error	YES 1.96/0.93
Wenzel_16/baababaaab-ababaaababaab.srs.xml	YES 3.87/1.67	MAYBE 1.99/1.77	MAYBE 171.64/43.26	StarExec error	memout
Wenzel_16/bacaaaaaaa-aaaaaaabacbaca.srs.xml	StarExec error	MAYBE 49.39/37.44	MAYBE 172.39/43.47	StarExec error	NO 56.24/14.47
Wenzel_16/aaabaaaaaa-aaaaaaaaabaaab.srs.xml	StarExec error	MAYBE 5.60/5.52	MAYBE 171.82/43.32	StarExec error	YES 687.77/177.25
Wenzel_16/abcbaaaaa-aaaaaabcbaabcb.srs.xml	YES 3.91/1.90	MAYBE 30.29/23.95	MAYBE 172.01/43.43	StarExec error	YES 3.27/1.28
Wenzel_16/abaaaa-aaaaababaabaab.srs.xml	YES 3.98/1.69	MAYBE 0.95/0.85	MAYBE 170.86/43.10	StarExec error	YES 1.97/0.79
Wenzel_16/abaaba-aabababaab.srs.xml	YES 3.96/1.69	MAYBE 0.49/0.46	MAYBE 171.68/43.27	StarExec error	YES 137.22/37.46
Wenzel_16/abaababaaab-aababaaababaab.srs.xml	StarExec error	MAYBE 0.92/0.84	MAYBE 174.53/44.01	StarExec error	memout
Wenzel_16/ababaabababa-aabababaababab.srs.xml	YES 4.14/1.82	MAYBE 2.42/2.23	MAYBE 172.31/43.43	StarExec error	timeout (cpu)
Wenzel_16/abacaaaa-aaaaabacaaabac.srs.xml	YES 3.79/1.69	MAYBE 4.98/4.83	MAYBE 171.08/43.10	StarExec error	YES 2.52/1.28
Wenzel_16/abaaaabaa-aaabaabaaaab.srs.xml	YES 3.82/1.73	MAYBE 1.54/1.44	MAYBE 172.31/43.42	StarExec error	timeout (cpu)
Wenzel_16/abaaaaa-aaaaaababab.srs.xml	YES 4.03/1.72	MAYBE 0.73/0.67	MAYBE 171.92/43.33	StarExec error	YES 4.91/1.55
Wenzel_16/abaaaaa-aaaaaabababab.srs.xml	YES 3.92/1.68	MAYBE 1.04/0.97	MAYBE 171.47/43.23	StarExec error	YES 15.22/4.20
Wenzel_16/bababababaa-aababababababa.srs.xml	StarExec error	MAYBE 0.44/0.35	MAYBE 171.72/43.30	StarExec error	memout
Wenzel_16/abaaaaaaa-aaaaaaaabaab.srs.xml	YES 4.20/1.76	MAYBE 0.90/0.83	MAYBE 170.69/43.04	StarExec error	YES 27.00/7.17
Wenzel_16/bacaaaaaa-aaaaaaabacbac.srs.xml	StarExec error	MAYBE 28.59/20.57	MAYBE 172.90/43.59	StarExec error	NO 3.69/1.19
Wenzel_16/bacaaaaaa-aaaaaabacbaca.srs.xml	StarExec error	MAYBE 22.78/17.18	MAYBE 171.61/43.26	StarExec error	NO 3.48/1.36
Wenzel_16/abbcaaaa-aaaaabbcaabbc.srs.xml	YES 3.81/1.68	MAYBE 12.55/10.06	MAYBE 172.20/43.42	StarExec error	YES 2.45/0.88
Wenzel_16/abaabaaaaa-aaaaaabaabaab.srs.xml	YES 3.92/1.69	StarExec error	MAYBE 171.59/43.25	StarExec error	YES 5.51/1.68
Wenzel_16/abaaaaa-aaaaaaabababab.srs.xml	StarExec error	MAYBE 1.26/1.15	MAYBE 171.04/43.10	StarExec error	NO 7.61/2.46
Wenzel_16/abababaaaaa-aaaaaabababab.srs.xml	YES 4.39/1.82	MAYBE 2.75/2.20	MAYBE 170.96/43.10	StarExec error	YES 11.21/3.13
Wenzel_16/bbcaaaaaaa-aaaaaaaabbcbbc.srs.xml	StarExec error	MAYBE 0.63/0.57	MAYBE 171.59/43.24	StarExec error	NO 57.05/15.59
Wenzel_16/ababaabababa-abaababababaab.srs.xml	StarExec error	MAYBE 1.92/1.73	MAYBE 172.28/43.42	StarExec error	timeout (cpu)
Wenzel_16/ababaaaaa-aaaaaababab.srs.xml	YES 4.05/1.68	MAYBE 1.45/1.26	MAYBE 172.65/43.52	StarExec error	YES 2.46/0.89
Wenzel_16/aabaababaab-aababaabaababa.srs.xml	StarExec error	MAYBE 0.27/0.24	MAYBE 173.00/43.65	StarExec error	YES 33.35/8.80
Wenzel_16/abaaaaaa-aaaaaaababaaab.srs.xml	YES 3.93/1.73	MAYBE 1.09/0.98	MAYBE 171.41/43.19	StarExec error	YES 28.34/8.46
Wenzel_16/ababbabab-abbabababba.srs.xml	StarExec error	MAYBE 0.38/0.35	MAYBE 172.23/43.40	StarExec error	memout
Wenzel_16/abccaaaa-aaaaabccaaabcc.srs.xml	YES 4.08/1.73	MAYBE 11.58/10.08	MAYBE 171.44/43.19	StarExec error	YES 1.62/0.69
Wenzel_16/abaaaaaaaaa-aaaaaaaaaaabab.srs.xml	StarExec error	MAYBE 1.82/1.61	MAYBE 170.39/43.03	StarExec error	timeout (cpu)
Wenzel_16/babababaa-aaaabababababa.srs.xml	StarExec error	MAYBE 0.94/0.71	MAYBE 171.37/43.19	StarExec error	memout
Wenzel_16/ababaababa-abaabababaab.srs.xml	StarExec error	MAYBE 1.35/1.29	MAYBE 173.03/43.62	StarExec error	timeout (cpu)
Wenzel_16/baabbaab-aabbaabaabb.srs.xml	YES 3.62/1.59	MAYBE 1.46/1.29	MAYBE 172.06/43.36	StarExec error	timeout (cpu)
Wenzel_16/aabaaaa-aaaaaabaab.srs.xml	StarExec error	MAYBE 7.06/7.02	MAYBE 170.43/42.95	StarExec error	YES 2.31/0.86
Wenzel_16/ababaabaaba-abaabaabaabab.srs.xml	StarExec error	MAYBE 1.46/1.36	MAYBE 172.75/43.55	StarExec error	YES 11.70/3.35
Wenzel_16/aabababab-ababababaaaaab.srs.xml	StarExec error	MAYBE 0.84/0.68	MAYBE 171.73/43.30	StarExec error	NO 6.17/1.87
Wenzel_16/abbaaba-abaabbaab.srs.xml	YES 4.17/1.69	MAYBE 0.61/0.58	MAYBE 171.59/43.28	StarExec error	memout
Wenzel_16/abbaaaa-aaaaabbabbaabb.srs.xml	YES 3.88/1.67	MAYBE 2.03/1.71	MAYBE 171.53/43.23	StarExec error	YES 2.00/0.91
Wenzel_16/ababaaaaa-aaaaaababaabab.srs.xml	YES 4.57/2.43	MAYBE 2.13/1.93	MAYBE 172.80/43.55	StarExec error	YES 2.05/0.82
Wenzel_16/abcbaaaa-aaaaabcbaaabcb.srs.xml	YES 3.97/1.67	MAYBE 10.13/9.13	MAYBE 173.44/43.72	StarExec error	YES 3.01/1.04
Wenzel_16/aabbaaaaa-aaaaaaabbaaabb.srs.xml	StarExec error	MAYBE 48.78/48.26	MAYBE 171.27/43.15	StarExec error	YES 11.95/3.68
Wenzel_16/bababaa-aaaababababa.srs.xml	StarExec error	MAYBE 0.41/0.33	MAYBE 171.53/43.23	StarExec error	NO 0.67/0.43
Wenzel_16/aabaababaab-aababaababaaba.srs.xml	StarExec error	MAYBE 0.27/0.24	MAYBE 170.11/42.89	StarExec error	YES 612.86/158.95
Wenzel_16/ababaaaa-aaaaababaabab.srs.xml	YES 4.43/1.84	MAYBE 1.87/1.76	MAYBE 173.68/43.78	StarExec error	YES 2.64/0.95
Wenzel_16/abaaaa-aaaaabaabaab.srs.xml	YES 3.91/1.70	MAYBE 0.53/0.49	MAYBE 170.24/42.98	StarExec error	YES 2.77/0.96
Wenzel_16/abaaaaaaaa-aaaaaaaaaabab.srs.xml	StarExec error	MAYBE 1.38/1.24	MAYBE 171.04/43.10	StarExec error	NO 52.52/13.63
Wenzel_16/abaaaaabaa-aaaaababaaaaab.srs.xml	YES 4.04/1.72	MAYBE 2.62/2.33	MAYBE 171.71/43.28	StarExec error	memout
Wenzel_16/cabababa-ababababccccca.srs.xml	StarExec error	MAYBE 24.44/19.35	MAYBE 172.47/43.48	StarExec error	NO 45.73/11.91
Wenzel_16/abbaababab-ababababbaabba.srs.xml	StarExec error	MAYBE 1.11/0.97	MAYBE 172.55/43.49	StarExec error	YES 2.38/1.03
Wenzel_16/babaaaaaaa-aaaaaaababbaba.srs.xml	StarExec error	MAYBE 20.73/14.65	MAYBE 171.76/43.30	StarExec error	NO 65.61/18.83
Wenzel_16/aababaaaa-aaaaaababaabab.srs.xml	StarExec error	MAYBE 10.95/10.78	MAYBE 172.47/43.47	StarExec error	YES 3.17/1.07
Wenzel_16/abaaaaaaa-aaaaaaaababaab.srs.xml	YES 4.12/2.72	MAYBE 1.42/1.26	MAYBE 170.44/42.99	StarExec error	YES 29.94/7.90
Wenzel_16/abaabaaaa-aaaaabaababaab.srs.xml	YES 4.08/1.70	MAYBE 2.45/2.30	MAYBE 171.28/43.28	StarExec error	YES 2.96/1.02
Wenzel_16/babababaa-aaabababababa.srs.xml	StarExec error	MAYBE 0.57/0.45	MAYBE 171.75/43.29	StarExec error	memout
Wenzel_16/babbaabba-abbaabbabba.srs.xml	StarExec error	MAYBE 1.08/0.97	MAYBE 171.61/43.27	StarExec error	timeout (cpu)
Wenzel_16/aabaaaaa-aaaaaaabaabaab.srs.xml	StarExec error	MAYBE 54.80/54.69	MAYBE 170.84/43.06	StarExec error	YES 97.02/24.73
Wenzel_16/aabaaaaa-aaaaaaabaaaab.srs.xml	StarExec error	MAYBE 54.10/54.02	MAYBE 171.07/43.14	StarExec error	YES 6.84/2.02
Wenzel_16/baabaabbaab-aabbaabaabaabb.srs.xml	YES 4.04/1.71	MAYBE 5.84/4.75	MAYBE 172.64/43.55	StarExec error	timeout (cpu)
Wenzel_16/abacaaaa-aaaaabacaabac.srs.xml	YES 4.40/1.83	MAYBE 4.43/4.28	MAYBE 171.28/43.20	StarExec error	YES 1.76/0.71
Wenzel_16/aabbaabbaaba-aabaabbaabbaab.srs.xml	StarExec error	MAYBE 3.78/3.27	MAYBE 172.09/43.66	StarExec error	memout
Wenzel_16/aabbbaaaa-aaaaaabbbaabbb.srs.xml	StarExec error	MAYBE 14.80/12.91	MAYBE 171.99/43.34	StarExec error	YES 3.36/1.13
Wenzel_16/aabacaaa-aaaaabacaabac.srs.xml	YES 693.42/175.43	MAYBE 6.88/6.75	YES 138.16/34.90	StarExec error	YES 1.83/0.75
Wenzel_16/abbbaaaa-aaaaabbbaabbb.srs.xml	YES 3.98/1.76	MAYBE 4.14/3.06	MAYBE 169.31/42.67	StarExec error	YES 2.23/0.85
Wenzel_16/ababbbabbab-abbabbbababbba.srs.xml	StarExec error	MAYBE 0.68/0.62	MAYBE 172.00/43.34	StarExec error	memout
Wenzel_16/abaaaaaaa-aaaaaaaabab.srs.xml	YES 4.44/1.83	MAYBE 0.78/0.70	MAYBE 171.74/43.30	StarExec error	YES 7.95/2.31
Wenzel_16/baababaab-ababaabaabab.srs.xml	YES 3.87/1.63	MAYBE 1.37/1.27	MAYBE 173.84/43.82	StarExec error	memout
Wenzel_16/abaabababa-aababababaab.srs.xml	YES 3.73/1.60	MAYBE 1.53/1.42	MAYBE 171.23/43.21	StarExec error	timeout (cpu)
Wenzel_16/bcbaaaaaa-aaaaaabcbbcba.srs.xml	StarExec error	MAYBE 15.97/11.70	MAYBE 172.48/43.47	StarExec error	NO 2.20/0.83
Wenzel_16/abaaaa-aaaaabaaabaab.srs.xml	YES 4.04/1.69	MAYBE 0.54/0.48	MAYBE 170.60/43.02	StarExec error	YES 2.90/1.16
Wenzel_16/abbcacabca-abcacabbcacab.srs.xml	YES 3.93/1.74	MAYBE 12.08/10.30	MAYBE 172.02/43.37	YES 0.05/0.05	memout
Wenzel_16/aabaaaaaaa-aaaaaaaaabaab.srs.xml	StarExec error	StarExec error	MAYBE 170.75/43.04	StarExec error	memout
Wenzel_16/bccaaaaaa-aaaaaaabccbcc.srs.xml	StarExec error	MAYBE 29.42/21.11	MAYBE 171.70/43.28	StarExec error	NO 3.85/1.52
Wenzel_16/abaaaaa-aaaaaababaabab.srs.xml	YES 3.75/1.66	MAYBE 1.26/1.16	MAYBE 169.46/42.73	StarExec error	YES 3.24/1.29
Wenzel_16/abaaaaa-aaaaaabaaabab.srs.xml	YES 3.56/1.56	MAYBE 0.70/0.64	MAYBE 171.57/43.27	StarExec error	YES 3.58/1.35
Wenzel_16/abbaaaa-aaaaabbaabbabb.srs.xml	YES 4.53/1.79	MAYBE 1.92/1.72	MAYBE 171.43/43.20	StarExec error	YES 1.50/0.65
Wenzel_16/abababbabab-ababbabababba.srs.xml	StarExec error	MAYBE 0.51/0.49	MAYBE 171.05/43.10	StarExec error	YES 38.29/10.02
Wenzel_16/aabaaaaaaaa-aaaaaaaaaabaab.srs.xml	StarExec error	StarExec error	MAYBE 172.23/43.41	StarExec error	timeout (cpu)
Wenzel_16/aabaaaa-aaaaaabaabaab.srs.xml	StarExec error	MAYBE 11.89/11.82	YES 149.40/37.74	StarExec error	YES 7.22/2.12
Wenzel_16/aabaaaa-aaaaaabaaabaab.srs.xml	StarExec error	MAYBE 13.79/13.68	MAYBE 171.82/43.31	StarExec error	YES 6.76/2.03
Wenzel_16/bccaaaaaa-aaaaaabccbcca.srs.xml	StarExec error	MAYBE 22.65/17.22	MAYBE 171.99/43.41	StarExec error	NO 2.49/0.91
Wenzel_16/abaaaaa-aaaaaabaaabaab.srs.xml	YES 3.76/1.71	MAYBE 1.00/0.91	MAYBE 170.78/43.04	StarExec error	YES 4.31/1.36
Wenzel_16/cababababa-abababababccca.srs.xml	StarExec error	MAYBE 11.95/9.87	MAYBE 171.92/43.32	StarExec error	NO 27.84/8.37
Wenzel_16/babbabbababa-abababbabbabba.srs.xml	StarExec error	MAYBE 1.09/1.01	MAYBE 200.43/50.46	StarExec error	YES 24.11/6.40
Wenzel_16/abaaaaa-aaaaaababaaab.srs.xml	YES 4.32/1.73	MAYBE 0.78/0.71	MAYBE 171.25/43.17	StarExec error	YES 11.83/3.37
Wenzel_16/aabaaaaaa-aaaaaaaabaaab.srs.xml	StarExec error	MAYBE 172.65/172.56	MAYBE 171.17/43.14	StarExec error	YES 1.98/0.77
Wenzel_16/bababbababa-abababbababba.srs.xml	YES 129.02/35.11	MAYBE 1.01/0.95	MAYBE 171.43/43.21	StarExec error	YES 3.47/1.16
Wenzel_16/abaaaaaaa-aaaaaaaabaaab.srs.xml	YES 3.55/1.59	MAYBE 1.15/1.07	MAYBE 170.79/43.06	StarExec error	YES 98.47/25.11
Wenzel_16/abaabababa-aabababababaab.srs.xml	YES 4.24/1.75	MAYBE 1.74/1.57	MAYBE 172.87/43.60	StarExec error	timeout (cpu)
Wenzel_16/bcbaaaaaa-aaaaaaabcbbcb.srs.xml	StarExec error	MAYBE 17.17/12.47	MAYBE 173.15/43.69	StarExec error	NO 4.36/1.61
Wenzel_16/aabbababa-abababaabbaab.srs.xml	YES 3.83/2.03	MAYBE 1.54/1.45	StarExec error	StarExec error	YES 1.15/0.56
Wenzel_16/abbabbaaaaa-aaaaaabbabbabb.srs.xml	YES 4.05/1.91	MAYBE 44.04/31.94	MAYBE 171.78/43.30	StarExec error	YES 5.48/1.69
Wenzel_16/abbaaaaa-aaaaaabbaaaabb.srs.xml	YES 3.68/1.65	MAYBE 1.60/1.35	MAYBE 171.97/43.35	StarExec error	YES 2.89/1.21
Wenzel_16/abababaababa-ababaababaabab.srs.xml	StarExec error	MAYBE 1.54/1.41	MAYBE 172.65/43.55	StarExec error	timeout (cpu)
Wenzel_16/abaaaaaaa-aaaaaaaabaabab.srs.xml	YES 3.74/1.63	MAYBE 1.44/1.29	MAYBE 170.58/42.99	StarExec error	YES 131.50/34.56
Wenzel_16/aabaabaaaaa-aaaaaaabaabaab.srs.xml	StarExec error	MAYBE 97.69/97.37	MAYBE 171.86/43.32	StarExec error	timeout (cpu)
Wenzel_16/abaababa-aabababaab.srs.xml	YES 3.73/1.71	MAYBE 0.63/0.58	MAYBE 171.89/43.32	StarExec error	timeout (cpu)
Wenzel_16/baabbaaaabb-aabbaaaabbaabb.srs.xml	StarExec error	MAYBE 22.00/16.31	MAYBE 172.14/43.52	StarExec error	memout
Wenzel_16/abaaaa-aaaaabaaabaaab.srs.xml	YES 3.91/1.77	MAYBE 0.93/0.85	MAYBE 171.24/43.30	StarExec error	YES 3.83/1.24
Wenzel_16/abccaaaa-aaaaabccaabcc.srs.xml	YES 3.87/1.74	StarExec error	MAYBE 172.04/43.35	StarExec error	YES 2.46/0.88
Wenzel_16/abbcaabbca-aabbcabbcaabbc.srs.xml	YES 3.89/1.77	MAYBE 30.13/24.65	MAYBE 172.87/43.57	StarExec error	memout
Wenzel_16/bababaaaba-aabaaababababa.srs.xml	StarExec error	MAYBE 0.68/0.57	MAYBE 171.77/43.28	StarExec error	YES 15.80/4.35
Wenzel_16/abaababaab-ababaabaababa.srs.xml	StarExec error	MAYBE 0.44/0.41	MAYBE 171.78/43.31	StarExec error	memout
Wenzel_16/bcbaaaaaaa-aaaaaaaabcbbcb.srs.xml	StarExec error	MAYBE 41.90/30.89	MAYBE 172.21/43.41	StarExec error	NO 53.65/13.92
Wenzel_16/baaabbaaab-aaabbaaabaaabb.srs.xml	YES 3.53/1.57	MAYBE 6.35/4.87	MAYBE 173.46/43.79	StarExec error	timeout (wallclock)
Wenzel_16/abaababababa-aabababababaab.srs.xml	YES 3.92/1.67	MAYBE 2.95/2.68	MAYBE 172.41/43.46	StarExec error	timeout (cpu)
Wenzel_16/abaaaa-aaaaabaababab.srs.xml	YES 3.67/1.62	MAYBE 0.74/0.68	MAYBE 170.04/42.96	StarExec error	YES 5.24/1.61
Wenzel_16/abaaaaaa-aaaaaaabaaab.srs.xml	YES 4.65/1.87	MAYBE 0.59/0.54	MAYBE 171.41/43.24	StarExec error	YES 19.14/5.78
Wenzel_16/abaaaa-aaaaababaabab.srs.xml	YES 3.54/1.63	MAYBE 0.80/0.74	MAYBE 170.78/43.04	StarExec error	YES 2.16/0.82
Wenzel_16/aabbaabababa-aabababaabbaab.srs.xml	YES 4.43/1.78	MAYBE 2.47/2.27	YES 149.75/37.81	StarExec error	YES 4.88/1.74
Wenzel_16/abbaaaaa-aaaaaabbabbabb.srs.xml	YES 3.90/1.70	MAYBE 5.31/4.04	MAYBE 171.68/43.28	StarExec error	YES 11.91/3.35
Wenzel_16/abbaaaabaa-abaaaabbaaaab.srs.xml	YES 3.77/1.64	MAYBE 1.55/1.34	MAYBE 171.73/43.27	StarExec error	timeout (cpu)
Wenzel_16/baabbaaba-aabbaabaabba.srs.xml	StarExec error	MAYBE 1.85/1.71	MAYBE 171.63/43.31	StarExec error	YES 3.75/1.43
Wenzel_16/abababaababa-aababaabababab.srs.xml	YES 4.26/1.77	MAYBE 2.23/2.05	MAYBE 171.79/43.30	StarExec error	YES 9.31/2.65
Wenzel_16/ababaaaaa-aaaaaabababab.srs.xml	YES 3.96/1.82	MAYBE 1.82/1.57	StarExec error	StarExec error	YES 5.84/2.15
Wenzel_16/abcabbcab-abbcabcabbca.srs.xml	StarExec error	MAYBE 3.19/3.09	MAYBE 171.93/43.33	StarExec error	YES 4.46/1.42
Wenzel_16/aabaaaaaaa-aaaaaaaaabaaab.srs.xml	StarExec error	StarExec error	MAYBE 171.49/43.25	StarExec error	YES 161.92/40.97
Wenzel_16/abacaaaaa-aaaaaabacabac.srs.xml	YES 4.12/1.72	MAYBE 6.53/6.04	MAYBE 171.96/43.34	StarExec error	YES 22.64/6.09
Wenzel_16/abaaaaaaaa-aaaaaaaaabaaab.srs.xml	YES 4.07/1.77	StarExec error	MAYBE 172.03/43.38	StarExec error	timeout (cpu)
Wenzel_16/bccaaaaaaa-aaaaaaaabccbcc.srs.xml	StarExec error	MAYBE 61.68/43.94	MAYBE 171.27/43.16	StarExec error	NO 53.26/13.81
Wenzel_16/aabaaabaaba-aaabaabaabaaab.srs.xml	YES 4.22/1.77	MAYBE 2.80/2.55	MAYBE 173.02/43.60	StarExec error	timeout (cpu)
Wenzel_16/aabbaaaa-aaaaaabbaaabb.srs.xml	StarExec error	MAYBE 10.58/10.37	MAYBE 172.23/43.43	StarExec error	YES 2.33/1.04
Wenzel_16/aaabaaaaa-aaaaaaaabaaab.srs.xml	StarExec error	MAYBE 3.22/3.14	MAYBE 170.85/43.07	StarExec error	YES 11.67/3.71
Wenzel_16/bccaaaaaaa-aaaaaaabccbcca.srs.xml	StarExec error	MAYBE 50.59/38.38	MAYBE 173.67/43.82	StarExec error	NO 63.12/18.44
Wenzel_16/abaaaa-aaaaabaabaabab.srs.xml	YES 4.29/1.77	MAYBE 1.07/0.98	MAYBE 171.76/43.29	StarExec error	YES 9.85/2.81
Wenzel_16/abbaaaaa-aaaaaabbaaabb.srs.xml	YES 4.13/1.76	MAYBE 1.52/1.26	MAYBE 171.43/43.21	StarExec error	YES 4.93/1.77
Wenzel_16/abbcaaaaa-aaaaaabbcabbc.srs.xml	YES 4.13/1.77	MAYBE 117.39/87.46	MAYBE 171.53/43.23	StarExec error	YES 3.57/1.35
Wenzel_16/aabbaaaaa-aaaaaaabbaabb.srs.xml	StarExec error	MAYBE 43.14/42.33	StarExec error	StarExec error	YES 25.52/7.63
Wenzel_16/babaaaaaa-aaaaaababbaba.srs.xml	StarExec error	MAYBE 8.49/6.05	MAYBE 170.61/43.04	StarExec error	NO 3.24/1.29
Wenzel_16/abaababaab-aababaabaabab.srs.xml	StarExec error	MAYBE 0.43/0.41	MAYBE 171.82/43.30	StarExec error	timeout (cpu)
Wenzel_16/acbabacba-abacbacbabac.srs.xml	YES 3.41/1.58	MAYBE 8.81/7.85	MAYBE 173.19/43.64	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-108.xml	YES 10.75/3.61	MAYBE 0.15/0.12	YES 89.82/22.80	MAYBE 4.76/4.88	memout
Waldmann_07_size12/size-12-alpha-3-num-507.xml	YES 27.27/7.61	MAYBE 0.16/0.13	YES 88.89/22.57	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-279.xml	YES 24.43/6.93	MAYBE 0.13/0.11	YES 43.37/11.29	StarExec error	YES 2.76/0.97
Waldmann_07_size12/size-12-alpha-3-num-85.xml	YES 35.32/11.25	MAYBE 0.12/0.10	YES 140.94/35.61	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-202.xml	YES 25.84/7.60	MAYBE 0.13/0.10	YES 96.41/24.46	StarExec error	YES 1.46/0.76
Waldmann_07_size12/size-12-alpha-3-num-487.xml	YES 51.77/13.79	MAYBE 0.11/0.10	YES 110.70/28.04	MAYBE 19.20/20.61	memout
Waldmann_07_size12/size-12-alpha-3-num-199.xml	StarExec error	MAYBE 0.12/0.10	MAYBE 170.19/42.90	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-200.xml	YES 24.05/7.08	MAYBE 0.10/0.09	YES 88.01/22.34	StarExec error	YES 3.01/1.03
Waldmann_07_size12/size-12-alpha-3-num-32.xml	StarExec error	MAYBE 0.25/0.20	MAYBE 170.67/43.02	MAYBE 5.92/6.08	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-461.xml	YES 40.03/11.19	MAYBE 0.16/0.14	YES 107.76/27.31	MAYBE 3.87/3.96	memout
Waldmann_07_size12/size-12-alpha-3-num-101.xml	NO 6.76/2.38	MAYBE 0.12/0.10	MAYBE 169.38/42.69	StarExec error	NO 1.38/0.72
Waldmann_07_size12/size-12-alpha-3-num-113.xml	YES 25.85/7.30	MAYBE 0.16/0.13	YES 94.47/23.97	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-255.xml	YES 46.40/12.56	MAYBE 0.11/0.09	YES 111.27/28.17	MAYBE 7.12/7.24	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-170.xml	NO 47.91/12.84	MAYBE 0.09/0.08	MAYBE 169.38/42.75	StarExec error	NO 4.09/1.49
Waldmann_07_size12/size-12-alpha-3-num-160.xml	NO 4.43/1.78	MAYBE 0.11/0.09	NO 3.07/1.09	StarExec error	NO 0.58/0.40
Waldmann_07_size12/size-12-alpha-3-num-399.xml	YES 13.52/4.39	MAYBE 0.20/0.18	YES 113.40/28.71	StarExec error	memout
Waldmann_07_size12/size-12-alpha-2-num-1.xml	YES 23.16/6.70	MAYBE 0.11/0.11	YES 97.59/24.76	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-503.xml	YES 27.48/7.81	MAYBE 0.26/0.23	YES 159.04/40.10	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-395.xml	YES 22.06/8.92	MAYBE 0.15/0.13	YES 97.63/24.75	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-566.xml	NO 691.50/173.74	MAYBE 0.10/0.10	MAYBE 169.25/42.85	MAYBE 9.49/9.90	NO 0.71/0.44
Waldmann_07_size12/size-12-alpha-3-num-59.xml	YES 21.14/6.18	MAYBE 0.13/0.12	YES 46.88/15.26	StarExec error	YES 8.57/2.47
Waldmann_07_size12/size-12-alpha-3-num-485.xml	YES 27.37/7.66	MAYBE 0.12/0.10	YES 105.35/26.69	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-389.xml	YES 13.07/4.22	MAYBE 0.17/0.15	YES 99.60/25.25	StarExec error	memout
Waldmann_07_size12/size-12-alpha-2-num-12.xml	StarExec error	StarExec error	MAYBE 171.19/43.23	StarExec error	NO 0.72/0.52
Waldmann_07_size12/size-12-alpha-3-num-560.xml	YES 27.82/8.15	MAYBE 0.11/0.09	YES 86.84/22.09	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-194.xml	YES 13.64/4.44	MAYBE 0.11/0.09	YES 88.08/22.38	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-198.xml	YES 22.76/6.48	MAYBE 0.12/0.13	YES 109.12/27.63	StarExec error	memout
Waldmann_07_size12/size-12-alpha-2-num-6.xml	YES 24.03/6.87	MAYBE 0.15/0.13	MAYBE 171.43/43.20	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-131.xml	YES 23.76/6.83	MAYBE 0.10/0.09	YES 91.74/23.28	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-257.xml	NO 4.67/1.93	MAYBE 0.13/0.11	NO 27.31/7.13	StarExec error	NO 0.62/0.41
Waldmann_07_size12/size-12-alpha-3-num-207.xml	NO 15.63/4.96	MAYBE 0.09/0.08	MAYBE 169.18/42.65	StarExec error	NO 1.04/0.54
Waldmann_07_size12/size-12-alpha-3-num-11.xml	NO 29.17/8.27	MAYBE 0.13/0.12	MAYBE 170.09/42.89	StarExec error	NO 1.29/0.59
Waldmann_07_size12/size-12-alpha-3-num-430.xml	StarExec error	MAYBE 0.16/0.13	MAYBE 170.85/43.09	MAYBE 1.49/1.58	NO 46.67/13.53
Waldmann_07_size12/size-12-alpha-3-num-201.xml	YES 19.30/5.97	MAYBE 0.10/0.09	YES 94.97/24.09	MAYBE 4.50/4.80	YES 1.80/0.87
Waldmann_07_size12/size-12-alpha-3-num-480.xml	YES 27.05/7.65	MAYBE 0.11/0.10	YES 97.70/24.78	MAYBE 4.69/4.82	timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-64.xml	YES 8.54/2.93	MAYBE 0.10/0.09	YES 108.01/27.36	YES 0.01/0.01	YES 5.37/1.67
Waldmann_07_size12/size-12-alpha-3-num-263.xml	YES 26.59/7.51	MAYBE 0.13/0.11	YES 133.49/33.77	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-367.xml	YES 39.60/10.80	MAYBE 0.15/0.13	StarExec error	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-369.xml	NO 69.62/18.29	MAYBE 0.17/0.15	MAYBE 170.94/43.09	StarExec error	NO 1.14/0.55
Waldmann_07_size12/size-12-alpha-3-num-478.xml	YES 11.12/3.75	MAYBE 0.14/0.12	YES 158.78/40.10	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-48.xml	YES 25.59/7.27	MAYBE 0.16/0.13	YES 119.51/30.23	MAYBE 2.55/2.59	memout
Waldmann_07_size12/size-12-alpha-3-num-241.xml	NO 11.99/4.05	MAYBE 0.09/0.08	MAYBE 168.76/42.54	StarExec error	NO 1.11/0.64
Waldmann_07_size12/size-12-alpha-3-num-448.xml	YES 20.73/5.99	MAYBE 0.12/0.10	YES 90.66/23.02	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-217.xml	NO 5.04/1.93	MAYBE 0.15/0.12	NO 15.97/4.29	StarExec error	NO 0.64/0.41
Waldmann_07_size12/size-12-alpha-3-num-495.xml	YES 26.98/7.60	MAYBE 0.13/0.11	YES 129.95/32.95	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-291.xml	StarExec error	MAYBE 0.16/0.13	MAYBE 169.99/42.84	StarExec error	NO 67.16/18.10
Waldmann_07_size12/size-12-alpha-3-num-476.xml	YES 20.19/5.87	MAYBE 0.13/0.11	YES 104.74/26.54	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-375.xml	YES 25.47/7.24	MAYBE 0.13/0.11	YES 95.43/24.15	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-479.xml	YES 17.89/5.57	MAYBE 0.11/0.10	YES 108.51/27.52	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-551.xml	YES 23.52/6.85	MAYBE 0.14/0.13	YES 85.61/21.75	YES 0.15/0.17	memout
Waldmann_07_size12/size-12-alpha-3-num-536.xml	YES 24.42/6.92	MAYBE 0.17/0.15	YES 89.57/22.74	StarExec error	YES 11.95/3.31
Waldmann_07_size12/size-12-alpha-3-num-271.xml	YES 10.92/3.57	MAYBE 0.13/0.11	YES 104.42/26.46	StarExec error	YES 3.23/1.09
Waldmann_07_size12/size-12-alpha-3-num-564.xml	NO 85.51/22.18	MAYBE 0.14/0.11	MAYBE 170.11/42.88	StarExec error	NO 2.47/0.89
Waldmann_07_size12/size-12-alpha-3-num-249.xml	NO 24.12/6.90	MAYBE 0.11/0.10	MAYBE 170.13/42.89	StarExec error	NO 1.05/0.53
Waldmann_07_size12/size-12-alpha-3-num-434.xml	StarExec error	MAYBE 0.14/0.12	MAYBE 170.07/42.86	MAYBE 1.63/1.79	memout
Waldmann_07_size12/size-12-alpha-3-num-83.xml	NO 371.70/94.09	MAYBE 0.11/0.09	MAYBE 169.34/42.69	MAYBE 5.48/6.11	NO 2.63/0.96
Waldmann_07_size12/size-12-alpha-3-num-335.xml	YES 26.06/7.46	MAYBE 0.12/0.11	YES 100.64/25.52	MAYBE 5.65/5.86	memout
Waldmann_07_size12/size-12-alpha-3-num-30.xml	YES 14.14/6.62	MAYBE 0.09/0.08	YES 89.38/22.71	StarExec error	YES 2.61/0.94
Waldmann_07_size12/size-12-alpha-3-num-120.xml	StarExec error	MAYBE 0.11/0.09	MAYBE 170.83/43.06	MAYBE 1.40/1.47	NO 1.89/0.75
Waldmann_07_size12/size-12-alpha-3-num-565.xml	YES 36.87/10.03	MAYBE 0.11/0.09	YES 89.64/22.76	MAYBE 9.09/9.49	memout
Waldmann_07_size12/size-12-alpha-3-num-67.xml	YES 13.06/4.23	MAYBE 0.10/0.09	YES 96.39/24.46	timeout (wallclock)	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-511.xml	NO 46.63/12.58	MAYBE 0.15/0.13	MAYBE 170.29/42.98	MAYBE 101.20/101.54	NO 2.12/0.95
Waldmann_07_size12/size-12-alpha-3-num-19.xml	YES 25.37/7.20	MAYBE 0.16/0.13	YES 88.14/22.40	MAYBE 6.38/6.68	memout
Waldmann_07_size12/size-12-alpha-3-num-104.xml	YES 19.75/5.80	MAYBE 0.13/0.11	YES 101.32/25.69	StarExec error	memout
Waldmann_07_size12/size-12-alpha-2-num-10.xml	StarExec error	MAYBE 0.19/0.17	MAYBE 170.39/42.95	StarExec error	NO 0.52/0.37
Waldmann_07_size12/size-12-alpha-3-num-416.xml	YES 28.02/7.87	MAYBE 0.16/0.14	YES 107.32/27.18	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-468.xml	YES 25.33/7.18	MAYBE 0.15/0.12	YES 95.70/24.29	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-71.xml	YES 36.48/9.95	MAYBE 0.11/0.10	YES 91.05/23.10	StarExec error	YES 1.60/0.80
Waldmann_07_size12/size-12-alpha-3-num-4.xml	YES 14.48/4.64	MAYBE 0.12/0.10	YES 88.78/22.54	YES 1.10/1.19	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-233.xml	NO 74.29/19.79	MAYBE 0.14/0.12	MAYBE 170.64/43.02	MAYBE 9.46/9.76	NO 0.70/0.54
Waldmann_07_size12/size-12-alpha-3-num-374.xml	StarExec error	MAYBE 0.15/0.13	MAYBE 171.00/43.10	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-376.xml	YES 14.77/4.44	MAYBE 0.12/0.11	YES 93.85/23.83	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-231.xml	StarExec error	MAYBE 0.12/0.10	MAYBE 170.93/43.16	StarExec error	NO 3.46/1.33
Waldmann_07_size12/size-12-alpha-2-num-16.xml	YES 26.93/7.82	MAYBE 0.16/0.13	YES 90.99/23.10	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-191.xml	YES 15.19/4.57	MAYBE 0.09/0.08	YES 91.55/23.23	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-499.xml	YES 22.40/6.48	MAYBE 0.14/0.12	YES 111.82/28.31	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-460.xml	YES 39.74/10.76	MAYBE 0.23/0.19	YES 101.63/25.77	MAYBE 7.33/7.52	memout
Waldmann_07_size12/size-12-alpha-3-num-210.xml	StarExec error	MAYBE 0.09/0.08	MAYBE 169.19/42.66	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-190.xml	YES 12.00/4.04	MAYBE 0.09/0.08	YES 92.67/23.56	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-2-num-8.xml	YES 28.26/7.85	MAYBE 0.13/0.11	MAYBE 170.96/43.11	StarExec error	YES 1.33/0.73
Waldmann_07_size12/size-12-alpha-3-num-474.xml	NO 109.05/28.49	MAYBE 0.20/0.17	MAYBE 170.53/43.01	MAYBE 103.55/104.46	NO 1.16/0.55
Waldmann_07_size12/size-12-alpha-3-num-453.xml	YES 20.11/5.82	MAYBE 0.17/0.15	YES 117.36/29.69	MAYBE 22.94/24.73	memout
Waldmann_07_size12/size-12-alpha-3-num-10.xml	YES 23.99/9.28	MAYBE 0.13/0.12	YES 87.50/22.24	StarExec error	YES 5.25/1.60
Waldmann_07_size12/size-12-alpha-3-num-378.xml	NO 129.24/37.06	StarExec error	MAYBE 170.11/42.87	StarExec error	NO 15.68/4.30
Waldmann_07_size12/size-12-alpha-3-num-270.xml	NO 71.94/19.16	MAYBE 0.13/0.11	MAYBE 170.22/42.94	StarExec error	NO 3.86/1.26
Waldmann_07_size12/size-12-alpha-3-num-451.xml	YES 11.29/3.75	MAYBE 0.16/0.14	YES 91.62/23.25	StarExec error	memout
Waldmann_07_size12/size-12-alpha-2-num-22.xml	YES 13.83/4.48	MAYBE 0.17/0.13	YES 98.72/25.03	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-206.xml	NO 8.03/2.72	MAYBE 0.09/0.08	MAYBE 169.32/42.67	StarExec error	NO 2.34/0.85
Waldmann_07_size12/size-12-alpha-3-num-403.xml	StarExec error	MAYBE 0.36/0.28	MAYBE 170.16/42.91	StarExec error	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-429.xml	YES 13.51/4.31	MAYBE 0.13/0.11	YES 85.83/21.81	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-57.xml	YES 10.63/3.44	MAYBE 0.10/0.09	YES 102.02/25.85	YES 0.01/0.01	YES 8.36/2.43
Waldmann_07_size12/size-12-alpha-3-num-204.xml	YES 19.24/5.63	MAYBE 0.13/0.11	YES 89.02/22.59	StarExec error	YES 2.70/0.96
Waldmann_07_size12/size-12-alpha-3-num-238.xml	StarExec error	MAYBE 0.12/0.11	MAYBE 169.98/42.93	StarExec error	NO 2.58/1.11
Waldmann_07_size12/size-12-alpha-3-num-70.xml	YES 12.06/4.20	MAYBE 0.09/0.08	YES 87.82/22.31	StarExec error	YES 2.30/0.99
Waldmann_07_size12/size-12-alpha-3-num-402.xml	NO 378.18/95.90	MAYBE 0.54/0.43	StarExec error	StarExec error	NO 2.49/1.05
Waldmann_07_size12/size-12-alpha-3-num-437.xml	YES 21.94/6.58	MAYBE 0.13/0.11	YES 96.08/24.36	MAYBE 1.53/1.60	memout
Waldmann_07_size12/size-12-alpha-3-num-65.xml	YES 22.46/6.42	MAYBE 0.14/0.13	MAYBE 169.18/42.62	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-413.xml	YES 40.11/11.85	MAYBE 0.22/0.19	YES 98.78/25.04	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-285.xml	YES 13.27/4.40	MAYBE 0.10/0.09	YES 54.27/22.65	StarExec error	YES 2.44/1.02
Waldmann_07_size12/size-12-alpha-3-num-22.xml	NO 19.53/5.90	MAYBE 0.26/0.21	NO 72.54/18.45	StarExec error	NO 0.84/0.47
Waldmann_07_size12/size-12-alpha-2-num-20.xml	NO 275.27/70.21	MAYBE 0.13/0.11	MAYBE 169.82/42.81	StarExec error	NO 4.06/1.53
Waldmann_07_size12/size-12-alpha-3-num-343.xml	YES 22.88/6.67	MAYBE 0.10/0.09	YES 89.43/22.71	MAYBE 7.48/7.62	YES 1.59/0.66
Waldmann_07_size12/size-12-alpha-3-num-563.xml	YES 30.33/8.44	MAYBE 0.12/0.10	YES 87.04/22.11	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-561.xml	YES 25.91/7.30	MAYBE 0.10/0.09	YES 43.89/11.75	StarExec error	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-110.xml	YES 31.54/8.81	MAYBE 0.09/0.08	YES 95.01/24.11	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-226.xml	YES 35.23/9.69	MAYBE 0.13/0.11	YES 104.03/26.36	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-265.xml	YES 11.35/3.80	MAYBE 0.13/0.11	YES 53.11/20.59	StarExec error	YES 3.06/1.07
Waldmann_07_size12/size-12-alpha-3-num-275.xml	YES 31.71/8.90	MAYBE 0.11/0.09	YES 88.31/22.43	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-414.xml	YES 21.36/6.11	MAYBE 0.19/0.16	YES 124.33/31.42	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-98.xml	YES 20.04/5.91	MAYBE 0.15/0.13	YES 121.02/30.64	MAYBE 3.52/3.67	StarExec error
Waldmann_07_size12/size-12-alpha-2-num-13.xml	YES 25.78/7.30	MAYBE 0.13/0.11	YES 146.19/37.03	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-124.xml	YES 31.50/8.71	MAYBE 0.17/0.14	YES 164.71/41.54	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-133.xml	YES 29.21/8.59	MAYBE 0.14/0.12	YES 124.38/31.48	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-300.xml	YES 18.74/5.80	MAYBE 0.14/0.12	YES 101.81/25.82	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-289.xml	YES 21.63/6.27	MAYBE 0.14/0.12	YES 89.24/22.67	StarExec error	YES 3.30/1.31
Waldmann_07_size12/size-12-alpha-3-num-164.xml	StarExec error	MAYBE 0.10/0.08	YES 93.14/23.64	StarExec error	YES 2.36/1.04
Waldmann_07_size12/size-12-alpha-3-num-159.xml	NO 3.69/1.58	MAYBE 0.12/0.10	NO 1.23/0.60	StarExec error	NO 0.50/0.38
Waldmann_07_size12/size-12-alpha-3-num-559.xml	YES 43.10/11.68	MAYBE 0.12/0.10	YES 88.56/22.50	MAYBE 20.52/21.80	memout
Waldmann_07_size12/size-12-alpha-3-num-454.xml	StarExec error	MAYBE 0.18/0.15	MAYBE 170.55/42.99	StarExec error	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-401.xml	NO 510.51/129.18	MAYBE 0.51/0.42	MAYBE 171.18/43.14	StarExec error	NO 2.15/0.81
Waldmann_07_size12/size-12-alpha-3-num-359.xml	YES 27.06/7.62	MAYBE 0.10/0.10	YES 94.51/23.98	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-239.xml	NO 5.00/2.08	MAYBE 0.14/0.11	MAYBE 168.79/42.54	StarExec error	NO 1.12/0.64
Waldmann_07_size12/size-12-alpha-3-num-477.xml	YES 12.99/4.24	MAYBE 0.12/0.11	YES 101.26/25.66	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-44.xml	YES 27.00/7.59	MAYBE 0.14/0.11	YES 98.31/24.93	MAYBE 1.43/1.57	memout
Waldmann_07_size12/size-12-alpha-3-num-86.xml	YES 31.89/8.89	MAYBE 0.12/0.10	YES 101.60/25.78	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-88.xml	StarExec error	MAYBE 0.15/0.13	MAYBE 169.95/42.83	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-168.xml	YES 23.10/7.39	MAYBE 0.09/0.08	YES 95.52/24.23	StarExec error	memout
Waldmann_07_size12/size-12-alpha-2-num-21.xml	StarExec error	MAYBE 0.11/0.10	YES 89.03/22.60	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-473.xml	YES 20.96/6.11	MAYBE 0.09/0.08	YES 94.49/23.99	StarExec error	timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-7.xml	NO 7.56/2.58	MAYBE 0.11/0.10	MAYBE 170.15/42.88	StarExec error	NO 1.17/0.56
Waldmann_07_size12/size-12-alpha-3-num-76.xml	YES 9.88/3.47	MAYBE 0.10/0.09	YES 42.68/11.47	StarExec error	YES 2.06/0.81
Waldmann_07_size12/size-12-alpha-3-num-127.xml	NO 75.92/20.22	MAYBE 0.16/0.12	MAYBE 169.06/42.60	MAYBE 1.07/1.21	NO 10.94/3.06
Waldmann_07_size12/size-12-alpha-3-num-350.xml	YES 25.45/10.82	MAYBE 0.10/0.08	YES 89.44/22.72	MAYBE 7.41/7.69	YES 2.42/1.01
Waldmann_07_size12/size-12-alpha-3-num-106.xml	YES 23.34/6.83	MAYBE 0.12/0.10	YES 155.13/39.17	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-427.xml	YES 37.94/10.36	MAYBE 0.14/0.12	YES 114.97/29.09	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-341.xml	YES 24.55/8.48	StarExec error	YES 103.07/26.13	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-417.xml	YES 34.83/9.72	MAYBE 0.15/0.13	YES 97.59/24.75	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-418.xml	YES 10.42/3.58	MAYBE 0.15/0.13	YES 99.73/25.29	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-13.xml	YES 23.86/6.80	MAYBE 0.10/0.09	YES 104.82/26.55	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-84.xml	StarExec error	MAYBE 0.12/0.10	MAYBE 169.22/42.72	StarExec error	NO 5.58/1.69
Waldmann_07_size12/size-12-alpha-3-num-396.xml	YES 16.18/6.52	MAYBE 0.13/0.11	YES 101.07/25.65	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-247.xml	StarExec error	MAYBE 0.14/0.12	StarExec error	StarExec error	NO 51.75/14.92
Waldmann_07_size12/size-12-alpha-3-num-406.xml	StarExec error	MAYBE 0.47/0.37	MAYBE 170.83/43.06	StarExec error	NO 2.36/1.01
Waldmann_07_size12/size-12-alpha-3-num-446.xml	YES 11.74/3.96	MAYBE 0.10/0.09	YES 88.43/22.44	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-368.xml	NO 8.96/2.97	MAYBE 0.15/0.12	MAYBE 170.11/42.87	StarExec error	NO 5.88/1.78
Waldmann_07_size12/size-12-alpha-3-num-327.xml	YES 11.15/3.76	MAYBE 0.11/0.10	YES 98.58/25.00	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-553.xml	YES 29.80/9.42	MAYBE 0.13/0.11	YES 88.45/22.47	YES 0.06/0.08	memout
Waldmann_07_size12/size-12-alpha-3-num-392.xml	YES 13.56/4.46	MAYBE 0.14/0.12	YES 93.92/23.85	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-354.xml	YES 42.04/11.49	MAYBE 0.10/0.09	MAYBE 170.14/42.89	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-384.xml	StarExec error	MAYBE 0.67/0.51	MAYBE 171.35/43.19	StarExec error	NO 12.24/3.38
Waldmann_07_size12/size-12-alpha-3-num-209.xml	StarExec error	StarExec error	MAYBE 169.36/42.69	StarExec error	NO 35.64/9.33
Waldmann_07_size12/size-12-alpha-3-num-52.xml	YES 32.08/9.96	MAYBE 0.10/0.09	YES 42.37/11.26	StarExec error	YES 7.93/2.67
Waldmann_07_size12/size-12-alpha-3-num-337.xml	YES 17.48/5.42	MAYBE 0.10/0.09	YES 104.50/26.49	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-47.xml	NO 19.36/5.68	MAYBE 0.16/0.13	MAYBE 170.13/42.89	MAYBE 14.07/15.06	NO 0.80/0.56
Waldmann_07_size12/size-12-alpha-3-num-550.xml	YES 25.00/7.42	MAYBE 0.11/0.10	YES 88.17/22.39	YES 0.06/0.09	YES 2.04/0.95
Waldmann_07_size12/size-12-alpha-3-num-23.xml	NO 8.27/2.99	StarExec error	MAYBE 168.73/42.52	MAYBE 47.40/47.51	NO 1.19/0.70
Waldmann_07_size12/size-12-alpha-3-num-502.xml	YES 21.64/6.22	MAYBE 0.16/0.14	YES 101.48/25.73	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-363.xml	StarExec error	MAYBE 0.53/0.40	MAYBE 171.15/43.14	StarExec error	NO 21.26/5.65
Waldmann_07_size12/size-12-alpha-2-num-14.xml	YES 18.54/5.74	MAYBE 0.15/0.12	YES 151.46/38.21	StarExec error	timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-438.xml	YES 20.36/6.18	MAYBE 0.11/0.10	YES 109.97/27.85	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-149.xml	YES 33.71/9.34	MAYBE 0.12/0.10	YES 88.72/22.52	StarExec error	YES 3.24/1.29
Waldmann_07_size12/size-12-alpha-3-num-219.xml	timeout (cpu)	MAYBE 0.11/0.09	MAYBE 169.51/42.73	StarExec error	NO 3.10/1.20
Waldmann_07_size12/size-12-alpha-3-num-20.xml	NO 6.88/2.40	MAYBE 0.15/0.14	NO 77.55/19.68	StarExec error	NO 1.23/0.69
Waldmann_07_size12/size-12-alpha-3-num-415.xml	StarExec error	MAYBE 0.18/0.16	YES 100.34/25.44	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-303.xml	YES 16.76/5.34	MAYBE 0.14/0.11	YES 103.52/26.23	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-556.xml	YES 21.45/6.49	MAYBE 0.12/0.11	YES 87.89/22.34	YES 0.06/0.07	memout
Waldmann_07_size12/size-12-alpha-3-num-126.xml	YES 28.23/8.02	MAYBE 0.15/0.13	YES 100.14/25.39	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-546.xml	YES 23.10/6.60	MAYBE 0.10/0.09	YES 108.92/27.58	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-494.xml	YES 8.63/3.07	MAYBE 0.10/0.09	YES 94.82/24.06	StarExec error	timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-90.xml	NO 96.62/25.00	MAYBE 0.11/0.10	StarExec error	StarExec error	NO 1.88/0.87
Waldmann_07_size12/size-12-alpha-3-num-3.xml	NO 7.70/2.72	MAYBE 0.09/0.07	MAYBE 168.62/42.50	StarExec error	NO 2.13/0.80
Waldmann_07_size12/size-12-alpha-3-num-179.xml	NO 3.45/1.57	MAYBE 0.11/0.10	NO 1.90/0.77	StarExec error	NO 0.57/0.39
Waldmann_07_size12/size-12-alpha-3-num-412.xml	YES 11.12/3.59	MAYBE 0.25/0.20	YES 93.78/23.80	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-475.xml	timeout (cpu)	MAYBE 0.27/0.23	MAYBE 172.30/43.43	MAYBE 283.54/284.37	NO 4.40/1.38
Waldmann_07_size12/size-12-alpha-3-num-366.xml	YES 27.90/7.86	MAYBE 0.17/0.15	YES 98.14/24.88	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-294.xml	YES 26.33/7.47	MAYBE 0.11/0.10	YES 95.78/24.30	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-163.xml	YES 17.39/5.18	MAYBE 0.10/0.09	YES 102.74/26.06	MAYBE 2.94/3.26	YES 3.06/1.06
Waldmann_07_size12/size-12-alpha-3-num-272.xml	StarExec error	MAYBE 0.15/0.14	MAYBE 170.22/42.93	StarExec error	NO 11.63/3.29
Waldmann_07_size12/size-12-alpha-3-num-351.xml	YES 19.59/5.68	MAYBE 0.09/0.08	YES 87.24/22.15	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-373.xml	NO 13.02/4.08	MAYBE 0.17/0.14	MAYBE 169.94/42.87	StarExec error	NO 1.05/0.63
Waldmann_07_size12/size-12-alpha-2-num-17.xml	StarExec error	MAYBE 0.15/0.13	MAYBE 171.09/43.14	StarExec error	NO 7.05/2.09
Waldmann_07_size12/size-12-alpha-3-num-470.xml	YES 13.27/4.31	MAYBE 0.15/0.14	YES 122.04/30.84	MAYBE 4.39/4.76	memout
Waldmann_07_size12/size-12-alpha-3-num-297.xml	YES 27.68/10.53	MAYBE 0.14/0.12	YES 113.51/28.76	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-469.xml	YES 29.92/8.58	MAYBE 0.13/0.12	MAYBE 171.10/43.18	StarExec error	YES 12.23/3.35
Waldmann_07_size12/size-12-alpha-3-num-213.xml	YES 12.00/3.75	MAYBE 0.10/0.09	YES 90.14/22.92	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-129.xml	NO 5.22/2.07	MAYBE 0.09/0.07	NO 13.83/3.75	StarExec error	NO 0.71/0.45
Waldmann_07_size12/size-12-alpha-3-num-409.xml	StarExec error	MAYBE 0.54/0.43	MAYBE 170.19/42.91	StarExec error	NO 15.40/4.26
Waldmann_07_size12/size-12-alpha-3-num-92.xml	YES 11.68/4.04	MAYBE 0.11/0.09	YES 98.54/25.01	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-283.xml	YES 20.94/6.33	MAYBE 0.11/0.09	YES 90.15/22.89	MAYBE 3.48/3.73	YES 2.46/0.89
Waldmann_07_size12/size-12-alpha-3-num-40.xml	YES 13.19/4.28	MAYBE 0.15/0.12	YES 99.49/25.23	MAYBE 4.79/5.51	memout
Waldmann_07_size12/size-12-alpha-3-num-178.xml	NO 6.76/2.47	MAYBE 0.10/0.09	NO 9.80/2.74	StarExec error	NO 0.60/0.40
Waldmann_07_size12/size-12-alpha-3-num-243.xml	NO 5.98/2.20	MAYBE 0.10/0.08	MAYBE 169.14/42.65	StarExec error	NO 0.96/0.50
Waldmann_07_size12/size-12-alpha-3-num-498.xml	YES 33.56/13.08	MAYBE 0.13/0.11	YES 100.28/25.44	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-15.xml	YES 26.41/7.38	MAYBE 0.10/0.09	StarExec error	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-99.xml	NO 3.95/1.72	StarExec error	NO 9.00/2.64	StarExec error	NO 0.64/0.43
Waldmann_07_size12/size-12-alpha-3-num-488.xml	NO 8.03/2.77	MAYBE 0.13/0.11	MAYBE 169.99/42.88	MAYBE 1.49/1.75	NO 0.69/0.48
Waldmann_07_size12/size-12-alpha-3-num-107.xml	YES 15.52/4.94	MAYBE 0.15/0.13	YES 102.04/25.87	MAYBE 4.71/4.83	memout
Waldmann_07_size12/size-12-alpha-3-num-508.xml	YES 13.75/4.43	MAYBE 0.15/0.13	YES 101.30/25.68	MAYBE 281.48/289.22	memout
Waldmann_07_size12/size-12-alpha-3-num-522.xml	NO 151.62/39.12	MAYBE 0.17/0.15	NO 12.41/3.41	StarExec error	NO 0.59/0.40
Waldmann_07_size12/size-12-alpha-3-num-330.xml	YES 38.22/14.49	MAYBE 0.10/0.09	YES 90.67/23.03	MAYBE 0.66/0.72	memout
Waldmann_07_size12/size-12-alpha-3-num-236.xml	YES 35.41/9.68	MAYBE 0.13/0.11	YES 100.19/25.40	YES 3.38/3.52	timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-203.xml	YES 38.07/10.76	MAYBE 0.10/0.09	YES 88.35/22.47	StarExec error	YES 2.33/0.86
Waldmann_07_size12/size-12-alpha-3-num-186.xml	YES 13.44/4.38	MAYBE 0.11/0.09	YES 94.97/24.09	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-35.xml	YES 34.24/9.33	MAYBE 0.10/0.09	YES 136.27/34.54	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-284.xml	YES 8.52/3.06	MAYBE 0.09/0.08	YES 91.95/23.34	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-105.xml	YES 19.58/5.75	MAYBE 0.13/0.11	YES 147.45/37.23	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-462.xml	YES 26.04/10.20	MAYBE 0.15/0.13	YES 95.88/24.31	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-535.xml	YES 17.54/5.30	MAYBE 0.18/0.16	YES 89.56/22.76	StarExec error	YES 6.96/2.06
Waldmann_07_size12/size-12-alpha-3-num-9.xml	YES 7.75/2.85	MAYBE 0.12/0.10	YES 88.74/22.53	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-94.xml	YES 16.94/5.09	MAYBE 0.09/0.07	YES 42.36/11.02	StarExec error	YES 3.39/1.13
Waldmann_07_size12/size-12-alpha-3-num-223.xml	YES 147.33/38.15	MAYBE 0.13/0.10	MAYBE 168.98/42.62	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-122.xml	YES 31.17/9.04	StarExec error	YES 158.54/39.98	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-385.xml	NO 559.21/140.68	MAYBE 0.27/0.22	MAYBE 171.10/43.14	StarExec error	NO 2.66/0.95
Waldmann_07_size12/size-12-alpha-3-num-112.xml	YES 31.65/9.44	MAYBE 0.17/0.14	YES 92.47/23.63	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-282.xml	YES 20.65/5.96	MAYBE 0.11/0.10	YES 43.78/13.12	StarExec error	YES 2.99/1.19
Waldmann_07_size12/size-12-alpha-3-num-352.xml	YES 25.22/7.24	MAYBE 0.09/0.08	YES 43.29/11.68	StarExec error	YES 1.68/0.84
Waldmann_07_size12/size-12-alpha-3-num-273.xml	YES 12.52/4.09	MAYBE 0.10/0.09	YES 43.80/11.90	StarExec error	YES 3.71/1.38
Waldmann_07_size12/size-12-alpha-3-num-128.xml	YES 31.73/8.85	MAYBE 0.20/0.17	YES 111.48/28.26	MAYBE 11.62/12.26	memout
Waldmann_07_size12/size-12-alpha-3-num-132.xml	YES 27.20/7.63	MAYBE 0.13/0.11	MAYBE 170.07/42.88	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-225.xml	YES 34.96/11.03	MAYBE 0.11/0.10	YES 95.48/24.22	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-177.xml	NO 3.91/1.68	MAYBE 0.12/0.10	NO 4.98/1.54	StarExec error	NO 0.74/0.53
Waldmann_07_size12/size-12-alpha-3-num-353.xml	NO 4.29/6.64	MAYBE 0.12/0.10	NO 39.48/10.16	StarExec error	NO 0.56/0.38
Waldmann_07_size12/size-12-alpha-3-num-467.xml	YES 15.64/4.95	MAYBE 0.14/0.14	YES 94.54/24.04	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-356.xml	NO 814.24/204.45	MAYBE 0.26/0.21	MAYBE 171.17/43.15	StarExec error	NO 14.15/3.90
Waldmann_07_size12/size-12-alpha-3-num-547.xml	YES 13.61/4.57	MAYBE 0.11/0.10	YES 122.33/30.93	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-21.xml	NO 83.40/21.70	MAYBE 0.27/0.20	MAYBE 170.11/42.87	StarExec error	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-299.xml	YES 22.04/6.67	MAYBE 0.15/0.12	YES 95.07/24.11	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-443.xml	YES 20.68/6.00	MAYBE 0.17/0.14	YES 100.35/25.44	timeout (wallclock)	memout
Waldmann_07_size12/size-12-alpha-3-num-237.xml	YES 11.45/3.82	MAYBE 0.15/0.12	YES 107.78/27.29	MAYBE 2.08/2.65	YES 5.58/1.69
Waldmann_07_size12/size-12-alpha-3-num-360.xml	YES 18.40/5.46	MAYBE 0.18/0.16	YES 91.73/23.26	StarExec error	YES 1.15/0.65
Waldmann_07_size12/size-12-alpha-3-num-287.xml	YES 27.71/7.80	MAYBE 0.11/0.09	YES 88.19/22.43	StarExec error	YES 2.09/0.91
Waldmann_07_size12/size-12-alpha-3-num-452.xml	YES 36.00/9.85	MAYBE 0.15/0.12	StarExec error	MAYBE 2.85/2.83	YES 2.50/1.03
Waldmann_07_size12/size-12-alpha-3-num-493.xml	NO 103.25/26.69	MAYBE 0.25/0.22	MAYBE 169.98/42.85	StarExec error	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-455.xml	YES 20.24/6.20	MAYBE 0.16/0.14	MAYBE 169.90/42.80	timeout (wallclock)	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-362.xml	NO 347.04/87.55	MAYBE 0.45/0.35	MAYBE 170.65/42.99	StarExec error	NO 2.58/1.06
Waldmann_07_size12/size-12-alpha-3-num-304.xml	YES 31.33/10.32	MAYBE 0.15/0.13	YES 107.84/27.29	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-260.xml	NO 4.05/1.70	MAYBE 0.14/0.12	MAYBE 170.44/43.11	StarExec error	NO 0.62/0.40
Waldmann_07_size12/size-12-alpha-3-num-391.xml	YES 24.76/6.97	MAYBE 0.14/0.11	YES 119.75/30.30	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-484.xml	YES 7.89/2.85	MAYBE 0.12/0.10	YES 98.08/24.87	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-347.xml	YES 23.47/6.69	StarExec error	YES 100.16/25.53	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-227.xml	NO 6.17/2.25	StarExec error	StarExec error	StarExec error	NO 0.86/0.46
Waldmann_07_size12/size-12-alpha-3-num-309.xml	YES 26.05/7.51	MAYBE 0.20/0.17	MAYBE 171.97/43.35	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-410.xml	StarExec error	MAYBE 0.46/0.37	MAYBE 170.43/43.02	StarExec error	NO 7.82/2.29
Waldmann_07_size12/size-12-alpha-3-num-211.xml	timeout (wallclock)	MAYBE 0.13/0.11	MAYBE 170.02/42.85	StarExec error	NO 108.26/29.62
Waldmann_07_size12/size-12-alpha-3-num-100.xml	NO 4.95/1.95	MAYBE 0.11/0.10	MAYBE 170.10/42.89	StarExec error	NO 2.18/0.82
Waldmann_07_size12/size-12-alpha-3-num-382.xml	StarExec error	MAYBE 0.35/0.28	MAYBE 170.66/43.01	StarExec error	NO 8.96/2.62
Waldmann_07_size12/size-12-alpha-3-num-292.xml	StarExec error	MAYBE 0.19/0.16	MAYBE 169.94/42.84	MAYBE 64.70/65.32	NO 95.94/26.72
Waldmann_07_size12/size-12-alpha-3-num-95.xml	NO 349.43/88.34	MAYBE 0.09/0.08	MAYBE 168.61/42.49	StarExec error	NO 4.58/1.76
Waldmann_07_size12/size-12-alpha-3-num-338.xml	StarExec error	MAYBE 0.21/0.18	MAYBE 171.25/43.17	StarExec error	NO 4.35/1.39
Waldmann_07_size12/size-12-alpha-3-num-301.xml	YES 34.94/9.60	MAYBE 0.21/0.16	YES 99.35/25.21	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-158.xml	NO 3.66/1.58	MAYBE 0.13/0.12	NO 1.78/0.74	StarExec error	NO 0.66/0.51
Waldmann_07_size12/size-12-alpha-3-num-17.xml	YES 30.87/9.94	MAYBE 0.15/0.12	YES 89.95/22.84	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-568.xml	YES 13.10/4.31	MAYBE 0.11/0.32	YES 102.46/25.99	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-431.xml	StarExec error	MAYBE 0.10/0.09	MAYBE 170.51/43.00	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-45.xml	YES 15.36/4.94	MAYBE 0.11/0.09	YES 96.48/24.47	MAYBE 2.07/2.22	YES 2.10/0.79
Waldmann_07_size12/size-12-alpha-3-num-482.xml	YES 58.64/15.62	MAYBE 0.13/0.11	YES 102.85/26.08	MAYBE 5.28/6.15	memout
Waldmann_07_size12/size-12-alpha-3-num-232.xml	YES 17.46/5.16	MAYBE 0.11/0.43	StarExec error	MAYBE 8.11/8.32	YES 6.05/2.00
Waldmann_07_size12/size-12-alpha-3-num-489.xml	YES 30.39/8.40	MAYBE 0.12/0.10	YES 145.08/36.62	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-49.xml	YES 15.08/4.81	MAYBE 0.11/0.10	YES 91.67/23.27	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-377.xml	YES 24.99/7.04	MAYBE 0.12/0.11	YES 90.00/22.88	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-123.xml	YES 35.76/9.86	MAYBE 0.16/0.14	YES 118.64/30.02	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-541.xml	YES 24.35/7.22	MAYBE 0.10/0.09	YES 91.98/23.33	YES 0.06/0.10	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-288.xml	YES 19.28/5.92	MAYBE 0.12/0.10	YES 91.99/23.41	StarExec error	YES 2.45/1.02
Waldmann_07_size12/size-12-alpha-3-num-298.xml	NO 56.35/14.98	MAYBE 0.14/0.12	MAYBE 170.45/42.98	StarExec error	NO 0.75/0.44
Waldmann_07_size12/size-12-alpha-3-num-267.xml	StarExec error	MAYBE 0.15/0.14	MAYBE 170.30/42.92	StarExec error	NO 8.17/2.53
Waldmann_07_size12/size-12-alpha-3-num-31.xml	YES 16.24/4.87	MAYBE 0.13/0.11	YES 88.02/22.38	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-348.xml	StarExec error	MAYBE 0.15/0.20	YES 102.15/25.90	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-506.xml	YES 28.12/8.25	MAYBE 0.12/0.10	MAYBE 170.92/43.15	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-181.xml	NO 4.15/1.71	MAYBE 0.13/0.10	NO 3.66/1.22	StarExec error	NO 0.69/0.51
Waldmann_07_size12/size-12-alpha-3-num-140.xml	NO 3.35/1.52	MAYBE 0.11/0.10	NO 1.36/0.64	StarExec error	NO 0.50/0.37
Waldmann_07_size12/size-12-alpha-3-num-465.xml	YES 16.10/4.86	MAYBE 0.13/0.11	YES 93.43/23.71	MAYBE 0.49/0.95	memout
Waldmann_07_size12/size-12-alpha-3-num-114.xml	YES 38.39/10.51	MAYBE 0.13/0.11	YES 124.84/31.56	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-456.xml	YES 33.15/9.14	MAYBE 0.14/0.12	YES 96.15/24.39	MAYBE 2.22/2.31	memout
Waldmann_07_size12/size-12-alpha-3-num-109.xml	YES 29.47/8.23	MAYBE 0.17/0.14	YES 101.88/25.87	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-540.xml	StarExec error	MAYBE 0.11/0.09	MAYBE 169.58/42.74	StarExec error	NO 0.73/0.44
Waldmann_07_size12/size-12-alpha-3-num-492.xml	NO 78.99/20.58	MAYBE 0.24/0.19	MAYBE 170.67/43.01	StarExec error	NO 6.29/1.87
Waldmann_07_size12/size-12-alpha-2-num-3.xml	YES 27.94/7.80	MAYBE 0.10/0.09	YES 97.85/24.83	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-274.xml	StarExec error	MAYBE 0.15/0.13	MAYBE 170.39/42.96	StarExec error	NO 45.52/12.89
Waldmann_07_size12/size-12-alpha-3-num-224.xml	NO 608.21/152.99	MAYBE 0.13/0.11	MAYBE 170.89/43.09	StarExec error	NO 0.84/0.49
Waldmann_07_size12/size-12-alpha-3-num-386.xml	StarExec error	MAYBE 0.45/0.35	MAYBE 170.58/42.99	StarExec error	NO 34.72/9.10
Waldmann_07_size12/size-12-alpha-2-num-7.xml	StarExec error	MAYBE 0.15/0.13	MAYBE 170.83/43.06	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-195.xml	NO 4.08/1.73	MAYBE 0.11/0.09	NO 13.81/3.75	StarExec error	NO 0.67/0.43
Waldmann_07_size12/size-12-alpha-3-num-558.xml	NO 276.94/70.69	MAYBE 0.14/0.13	MAYBE 169.98/42.93	StarExec error	NO 6.19/1.84
Waldmann_07_size12/size-12-alpha-3-num-548.xml	YES 42.70/11.57	MAYBE 0.12/0.11	YES 88.09/22.38	YES 0.06/0.07	memout
Waldmann_07_size12/size-12-alpha-3-num-339.xml	NO 59.77/15.79	MAYBE 0.41/0.33	MAYBE 170.55/42.99	StarExec error	NO 1.58/0.78
Waldmann_07_size12/size-12-alpha-3-num-248.xml	StarExec error	MAYBE 0.15/0.14	MAYBE 169.62/42.93	StarExec error	NO 2.09/0.80
Waldmann_07_size12/size-12-alpha-3-num-532.xml	YES 11.16/3.82	MAYBE 0.11/0.09	YES 89.82/22.79	YES 0.05/0.08	YES 1.78/0.83
Waldmann_07_size12/size-12-alpha-3-num-435.xml	YES 27.51/7.69	MAYBE 0.13/0.11	YES 113.63/28.77	MAYBE 1.52/1.99	memout
Waldmann_07_size12/size-12-alpha-3-num-383.xml	NO 1036.86/260.20	MAYBE 0.26/0.23	MAYBE 170.33/42.95	StarExec error	NO 13.08/3.67
Waldmann_07_size12/size-12-alpha-3-num-286.xml	YES 16.83/5.08	MAYBE 0.13/0.11	YES 98.65/25.06	StarExec error	YES 3.37/1.14
Waldmann_07_size12/size-12-alpha-2-num-15.xml	YES 15.17/4.65	MAYBE 0.12/0.10	YES 91.82/23.31	StarExec error	YES 1.33/0.62
Waldmann_07_size12/size-12-alpha-2-num-2.xml	YES 22.93/6.88	MAYBE 0.11/0.10	YES 94.65/24.01	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-220.xml	StarExec error	MAYBE 0.10/0.09	MAYBE 169.12/42.70	StarExec error	NO 133.96/34.30
Waldmann_07_size12/size-12-alpha-3-num-552.xml	YES 27.77/7.78	MAYBE 0.12/0.11	YES 85.55/21.71	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-16.xml	YES 21.62/6.30	MAYBE 0.16/0.13	YES 89.62/22.77	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-51.xml	YES 24.43/7.00	MAYBE 0.10/0.08	YES 41.99/11.12	StarExec error	YES 16.54/4.98
Waldmann_07_size12/size-12-alpha-3-num-221.xml	StarExec error	MAYBE 0.13/0.11	YES 87.74/22.30	StarExec error	YES 1.41/0.73
Waldmann_07_size12/size-12-alpha-3-num-346.xml	YES 35.87/9.80	MAYBE 0.13/0.12	StarExec error	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-340.xml	StarExec error	MAYBE 0.34/0.27	MAYBE 170.50/42.99	StarExec error	NO 12.17/3.82
Waldmann_07_size12/size-12-alpha-3-num-491.xml	NO 51.18/13.61	MAYBE 0.19/0.17	MAYBE 170.54/42.99	StarExec error	NO 0.79/0.46
Waldmann_07_size12/size-12-alpha-3-num-152.xml	YES 29.58/8.28	MAYBE 0.10/0.08	YES 107.84/27.32	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-146.xml	NO 3.65/1.66	MAYBE 0.10/0.09	NO 1.36/0.65	StarExec error	NO 0.55/0.38
Waldmann_07_size12/size-12-alpha-3-num-543.xml	YES 18.76/5.63	MAYBE 0.17/0.15	YES 95.35/24.27	YES 0.07/0.09	memout
Waldmann_07_size12/size-12-alpha-2-num-19.xml	YES 16.65/5.23	MAYBE 0.13/0.11	YES 124.13/31.38	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-450.xml	NO 16.60/5.12	MAYBE 0.14/0.12	MAYBE 170.13/42.95	StarExec error	NO 0.76/0.46
Waldmann_07_size12/size-12-alpha-3-num-441.xml	YES 10.70/3.58	MAYBE 0.10/0.08	YES 88.45/22.44	StarExec error	StarExec error
Waldmann_07_size12/size-12-alpha-3-num-355.xml	StarExec error	MAYBE 0.20/0.17	MAYBE 170.36/42.97	StarExec error	NO 7.90/2.60
Waldmann_07_size12/size-12-alpha-3-num-436.xml	YES 21.56/6.49	MAYBE 0.12/0.10	YES 95.55/24.24	MAYBE 1.84/1.95	memout
Waldmann_07_size12/size-12-alpha-3-num-439.xml	YES 10.43/3.59	MAYBE 0.11/0.11	YES 99.06/25.10	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-215.xml	YES 10.83/3.67	MAYBE 0.11/0.10	StarExec error	StarExec error	YES 2.40/1.07
Waldmann_07_size12/size-12-alpha-3-num-472.xml	YES 36.04/9.89	MAYBE 0.10/0.09	YES 130.97/33.09	StarExec error	memout
Waldmann_07_size12/size-12-alpha-2-num-4.xml	YES 23.32/6.93	MAYBE 0.15/0.15	MAYBE 170.32/43.00	StarExec error	YES 1.69/0.70
Waldmann_07_size12/size-12-alpha-3-num-66.xml	YES 17.73/5.44	MAYBE 0.13/0.11	YES 123.87/31.33	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-2-num-5.xml	YES 20.40/6.15	MAYBE 0.22/0.21	MAYBE 171.51/43.23	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-545.xml	YES 22.84/6.83	MAYBE 0.11/0.10	StarExec error	YES 0.06/0.08	memout
Waldmann_07_size12/size-12-alpha-3-num-497.xml	NO 31.97/10.70	MAYBE 0.12/0.11	MAYBE 170.22/42.90	StarExec error	NO 1.11/0.55
Waldmann_07_size12/size-12-alpha-3-num-135.xml	NO 51.68/14.20	MAYBE 0.11/0.10	MAYBE 169.51/42.74	StarExec error	NO 1.20/0.57
Waldmann_07_size12/size-12-alpha-3-num-111.xml	YES 15.52/4.92	MAYBE 0.20/0.17	YES 91.53/23.24	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-41.xml	YES 11.58/3.94	MAYBE 0.10/0.08	YES 96.42/24.47	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-345.xml	YES 11.56/3.86	MAYBE 0.12/0.10	YES 97.89/24.88	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-526.xml	YES 11.95/3.96	YES 0.07/0.06	YES 90.09/22.87	YES 0.20/0.29	memout
Waldmann_07_size12/size-12-alpha-3-num-281.xml	YES 27.02/7.63	MAYBE 0.09/0.08	YES 88.97/22.63	StarExec error	timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-134.xml	YES 25.72/7.30	MAYBE 0.10/0.08	YES 90.13/22.87	StarExec error	YES 2.21/0.83
Waldmann_07_size12/size-12-alpha-3-num-408.xml	StarExec error	MAYBE 0.78/0.57	MAYBE 170.79/43.06	StarExec error	NO 74.79/21.43
Waldmann_07_size12/size-12-alpha-3-num-1.xml	YES 37.22/10.23	MAYBE 0.10/0.08	YES 98.27/24.92	MAYBE 8.92/9.47	YES 3.20/1.14
Waldmann_07_size12/size-12-alpha-3-num-74.xml	YES 31.53/8.81	MAYBE 0.08/0.07	YES 87.69/22.28	MAYBE 8.79/9.12	YES 2.85/1.02
Waldmann_07_size12/size-12-alpha-2-num-18.xml	StarExec error	MAYBE 0.25/0.20	MAYBE 169.85/42.80	StarExec error	NO 9.98/3.10
Waldmann_07_size12/size-12-alpha-3-num-296.xml	YES 23.17/6.65	MAYBE 0.13/0.11	YES 121.99/30.84	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-176.xml	YES 16.70/5.29	MAYBE 0.10/0.09	YES 91.80/23.39	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-361.xml	StarExec error	MAYBE 0.29/0.25	MAYBE 170.34/42.93	StarExec error	NO 13.10/3.84
Waldmann_07_size12/size-12-alpha-2-num-11.xml	StarExec error	MAYBE 0.31/0.26	MAYBE 171.04/43.11	StarExec error	NO 0.48/0.37
Waldmann_07_size12/size-12-alpha-3-num-328.xml	NO 21.39/6.18	MAYBE 0.17/0.15	MAYBE 170.08/42.87	MAYBE 1.72/2.02	NO 1.44/0.63
Waldmann_07_size12/size-12-alpha-3-num-121.xml	YES 41.78/11.36	MAYBE 0.12/0.10	YES 139.45/35.22	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-222.xml	StarExec error	MAYBE 0.17/0.14	MAYBE 170.86/43.08	StarExec error	timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-72.xml	YES 21.75/6.26	MAYBE 0.10/0.09	YES 87.63/22.22	MAYBE 2.86/2.98	memout
Waldmann_07_size12/size-12-alpha-3-num-174.xml	StarExec error	MAYBE 0.12/0.10	MAYBE 169.98/42.85	StarExec error	NO 14.01/3.92
Waldmann_07_size12/size-12-alpha-3-num-14.xml	YES 18.09/5.39	MAYBE 0.10/0.09	YES 90.25/22.92	MAYBE 2.73/2.81	memout
Waldmann_07_size12/size-12-alpha-3-num-91.xml	YES 23.75/6.80	MAYBE 0.11/0.10	YES 100.12/25.42	MAYBE 7.78/8.30	YES 1.57/0.78
Waldmann_07_size12/size-12-alpha-3-num-293.xml	YES 27.70/7.81	StarExec error	YES 97.05/24.65	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-165.xml	YES 32.89/9.12	MAYBE 0.10/0.08	YES 98.62/25.01	MAYBE 1.18/1.27	YES 3.28/1.11
Waldmann_07_size12/size-12-alpha-3-num-549.xml	YES 13.46/4.40	MAYBE 0.14/0.12	YES 91.08/23.10	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-61.xml	YES 14.01/4.55	MAYBE 0.12/0.10	YES 42.62/11.13	StarExec error	YES 4.78/1.70
Waldmann_07_size12/size-12-alpha-3-num-180.xml	YES 53.80/15.18	MAYBE 0.10/0.09	YES 99.22/25.19	StarExec error	YES 2.89/1.00
Waldmann_07_size12/size-12-alpha-3-num-125.xml	YES 19.08/5.91	MAYBE 0.19/0.15	YES 102.50/25.97	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-82.xml	YES 18.68/5.83	MAYBE 0.11/0.10	YES 108.71/27.54	StarExec error	memout
Waldmann_07_size12/size-12-alpha-3-num-400.xml	StarExec error	MAYBE 0.49/0.38	MAYBE 170.12/42.88	StarExec error	NO 17.79/5.40
Zantema_06/05.xml	YES 157.93/40.38	MAYBE 0.29/0.25	YES 5.82/1.76	StarExec error	YES 1.79/0.85
Zantema_06/03.xml	YES 164.14/41.88	MAYBE 0.30/0.25	MAYBE 170.78/43.08	StarExec error	YES 27.11/7.18
Zantema_06/01.xml	YES 10.27/3.46	YES 0.04/0.03	YES 40.88/10.53	YES 0.03/0.04	timeout (cpu)
Zantema_06/12.xml	YES 267.66/67.84	YES 0.54/0.41	YES 120.43/30.49	YES 0.41/0.49	YES 4.06/1.28
Zantema_06/10.xml	YES 31.84/11.87	MAYBE 0.21/0.18	YES 99.48/25.21	YES 0.81/4.48	YES 27.28/7.25
Zantema_06/beans3.xml	YES 9.44/3.34	YES 0.09/0.07	YES 112.22/28.43	timeout (wallclock)	memout
Zantema_06/06.xml	YES 30.70/10.79	MAYBE 0.13/0.12	YES 124.86/31.60	StarExec error	memout
Zantema_06/while2.xml	YES 3.17/1.52	MAYBE 0.22/0.19	YES 2.29/0.86	YES 0.18/0.21	YES 1.13/0.54
Zantema_06/beans2.xml	YES 8.32/2.97	YES 0.09/0.08	YES 93.44/23.71	YES 0.09/0.11	memout
Zantema_06/02.xml	YES 13.81/4.27	YES 0.14/0.12	YES 3.59/1.20	YES 0.34/0.41	YES 1.41/0.61
Zantema_06/beans7.xml	YES 18.28/6.71	YES 0.08/0.07	YES 103.28/26.19	timeout (wallclock)	memout
Zantema_06/14.xml	YES 40.23/10.96	MAYBE 0.22/0.19	MAYBE 171.04/43.12	StarExec error	memout
Zantema_06/abc.xml	YES 14.14/4.63	MAYBE 0.12/0.10	YES 122.20/91.04	StarExec error	YES 4.63/1.46
Zantema_06/13.xml	YES 40.21/10.98	MAYBE 1.08/1.01	MAYBE 172.17/43.45	StarExec error	memout
Zantema_06/beans1.xml	YES 12.21/4.02	YES 0.06/0.06	YES 10.07/2.88	YES 0.18/0.17	YES 1.56/0.66
Zantema_06/04.xml	YES 16.04/4.86	YES 0.16/0.14	YES 93.33/23.74	YES 0.11/0.12	YES 456.81/118.96
Zantema_06/17.xml	YES 6.72/2.41	StarExec error	YES 40.53/10.54	YES 13.01/14.08	YES 1.02/0.53
Zantema_06/08.xml	YES 3.71/1.61	MAYBE 0.43/0.34	YES 4.25/1.37	StarExec error	memout
Zantema_06/beans4.xml	YES 19.99/5.85	YES 0.03/0.03	YES 1.85/0.75	YES 0.15/0.15	YES 1.29/0.60
Zantema_06/loop1.xml	NO 3.51/1.62	MAYBE 0.11/0.09	NO 0.75/0.48	StarExec error	NO 0.49/0.37
Zantema_06/16.xml	YES 17.91/5.47	YES 3.85/3.80	YES 13.55/3.74	StarExec error	YES 0.96/0.50
Zantema_06/beans5.xml	YES 17.68/5.25	YES 0.07/0.06	YES 91.24/23.16	YES 0.13/0.14	memout
Zantema_06/09.xml	YES 25.80/7.37	YES 0.36/0.33	YES 6.19/1.88	timeout (wallclock)	YES 2.20/0.85
Zantema_06/11.xml	YES 3.91/1.70	YES 0.14/0.11	YES 3.61/1.20	YES 0.16/0.17	YES 1.50/0.75
Zantema_06/07.xml	StarExec error	MAYBE 0.27/0.22	YES 7.82/2.27	StarExec error	memout
Zantema_06/18.xml	YES 6.69/2.41	StarExec error	MAYBE 170.85/43.10	StarExec error	YES 1.33/0.62
Zantema_06/loop2.xml	NO 3.45/1.59	MAYBE 0.14/0.11	NO 0.87/0.51	StarExec error	NO 0.48/0.38
Zantema_06/15.xml	YES 36.40/10.04	StarExec error	MAYBE 169.74/42.85	StarExec error	YES 1.78/0.85
Zantema_06/while1.xml	StarExec error	MAYBE 3.44/3.40	MAYBE 172.08/43.39	StarExec error	memout
Zantema_06/beans6.xml	StarExec error	MAYBE 0.16/0.14	YES 95.75/24.30	YES 0.23/0.23	memout
Zantema_04/z127.xml	NO 3.41/1.59	MAYBE 0.16/0.15	NO 0.91/0.52	StarExec error	NO 0.62/0.50
Zantema_04/z128.xml	NO 3.26/1.49	MAYBE 0.25/0.23	NO 0.86/0.51	StarExec error	NO 0.61/0.49
Zantema_04/z106.xml	YES 11.05/3.57	YES 0.02/0.02	YES 5.36/1.64	YES 2.54/2.65	YES 0.91/0.50
Zantema_04/z057.xml	YES 3.42/1.54	MAYBE 0.47/0.45	YES 0.96/0.52	StarExec error	YES 0.84/0.57
Zantema_04/z107.xml	YES 5.09/1.99	YES 0.02/0.02	YES 3.35/1.15	StarExec error	YES 0.75/0.52
Zantema_04/z054.xml	YES 3.75/1.59	MAYBE 0.40/0.39	YES 1.32/0.62	StarExec error	YES 1.30/0.60
Zantema_04/z026.xml	YES 13.54/4.32	YES 0.02/0.02	YES 0.96/0.53	YES 0.04/0.04	YES 1.25/0.59
Zantema_04/z010.xml	YES 9.02/3.14	YES 0.03/0.03	YES 2.77/0.98	YES 0.02/0.03	YES 0.92/0.58
Zantema_04/z111.xml	YES 8.37/2.99	YES 0.04/0.08	YES 17.65/4.77	StarExec error	StarExec error
Zantema_04/z037.xml	YES 3.70/1.61	MAYBE 0.48/0.44	YES 1.89/0.76	StarExec error	YES 1.79/0.72
Zantema_04/z030.xml	YES 3.40/2.25	MAYBE 0.27/0.23	YES 1.72/0.72	StarExec error	YES 3.81/1.23
Zantema_04/z113.xml	YES 12.16/3.84	YES 0.03/0.03	YES 118.16/29.91	StarExec error	YES 1.22/0.58
Zantema_04/z011.xml	YES 29.86/8.33	YES 0.04/0.04	YES 3.80/1.26	YES 0.11/0.40	YES 1.97/0.88
Zantema_04/z025.xml	YES 15.95/4.79	YES 0.02/0.02	YES 3.71/1.22	YES 0.24/0.24	YES 0.96/0.51
Zantema_04/z084.xml	YES 9.00/3.00	YES 0.02/0.02	StarExec error	YES 0.57/0.65	YES 1.11/0.55
Zantema_04/z007.xml	StarExec error	YES 0.02/0.02	YES 1.62/0.70	YES 0.01/0.01	YES 1.03/0.53
Zantema_04/z046.xml	NO 3.41/1.50	MAYBE 0.45/0.42	NO 0.81/0.49	StarExec error	NO 0.49/0.66
Zantema_04/z050.xml	YES 3.54/1.57	YES 0.03/0.03	YES 1.14/0.56	StarExec error	YES 0.76/0.45
Zantema_04/z028.xml	YES 4.30/1.76	MAYBE 0.48/0.44	YES 97.16/24.66	StarExec error	YES 1.45/0.73
Zantema_04/z058.xml	YES 3.63/1.65	YES 0.25/0.22	YES 1.07/0.54	StarExec error	YES 1.00/0.63
Zantema_04/z104.xml	YES 5.85/2.23	YES 0.02/0.02	YES 6.34/1.92	StarExec error	YES 0.83/0.48
Zantema_04/z061.xml	YES 3.60/1.59	YES 0.03/0.03	YES 0.78/0.49	YES 0.01/0.01	YES 0.59/0.41
Zantema_04/z020.xml	YES 17.39/5.10	YES 0.03/0.03	YES 40.87/10.51	YES 0.05/0.06	YES 1.62/0.69
Zantema_04/syracuse.xml	StarExec error	StarExec error	MAYBE 174.05/43.93	StarExec error	memout
Zantema_04/z069.xml	YES 32.94/9.06	YES 0.25/0.25	YES 1.11/0.57	YES 2.49/2.44	YES 1.20/0.68
Zantema_04/z055.xml	YES 3.60/1.56	YES 0.02/0.02	YES 0.84/0.51	StarExec error	YES 0.62/0.41
Zantema_04/z002.xml	YES 3.42/1.57	YES 0.02/0.02	YES 1.28/0.62	YES 14.88/15.12	YES 0.82/0.48
Zantema_04/z120.xml	YES 12.57/3.93	MAYBE 0.29/0.25	YES 87.50/22.34	MAYBE 13.76/14.22	YES 1.37/0.62
Zantema_04/z097.xml	YES 3.91/1.69	MAYBE 1.99/1.40	YES 2.35/0.89	StarExec error	YES 738.30/185.31
Zantema_04/z082.xml	YES 3.82/1.65	YES 0.11/0.09	YES 8.10/2.34	YES 19.30/20.01	YES 1.04/0.52
Zantema_04/z116.xml	YES 6.83/2.59	YES 0.02/0.03	YES 3.05/1.06	YES 0.68/0.80	YES 0.78/0.45
Zantema_04/z034.xml	YES 4.02/1.70	MAYBE 0.33/0.30	YES 1.95/0.79	StarExec error	YES 37.00/9.66
Zantema_04/z014.xml	YES 3.34/1.56	YES 0.03/0.03	YES 3.58/1.20	YES 0.02/0.04	YES 0.84/0.57
Zantema_04/z083.xml	YES 12.85/4.27	MAYBE 0.22/0.20	YES 8.32/2.40	StarExec error	YES 2.61/0.93
Zantema_04/z005.xml	YES 3.75/1.68	YES 0.22/0.19	YES 2.13/0.84	YES 57.31/58.05	YES 1.16/0.66
Zantema_04/z068.xml	YES 33.33/9.15	YES 0.22/0.19	YES 4.74/1.48	StarExec error	memout
Zantema_04/z117.xml	YES 39.86/10.86	MAYBE 0.42/0.39	YES 4.04/1.32	YES 0.82/0.86	YES 2.19/0.99
Zantema_04/z052.xml	YES 3.90/1.69	YES 0.02/0.02	YES 0.94/0.52	StarExec error	YES 0.75/0.53
Zantema_04/z044.xml	NO 3.45/2.19	MAYBE 0.49/0.46	NO 0.72/0.47	StarExec error	NO 0.64/0.89
Zantema_04/z062.xml	YES 3.66/1.63	YES 0.04/0.04	YES 0.91/0.52	YES 0.10/0.10	YES 0.62/0.41
Zantema_04/z040.xml	YES 4.01/1.69	MAYBE 0.84/0.81	YES 2.55/0.95	StarExec error	YES 6.38/1.87
Zantema_04/z001.xml	YES 3.55/1.57	MAYBE 0.27/0.23	YES 1.81/0.73	StarExec error	YES 0.94/0.50
Zantema_04/z038.xml	YES 3.69/1.67	MAYBE 0.66/0.67	YES 2.17/0.83	StarExec error	memout
Zantema_04/z105.xml	YES 6.40/2.47	YES 0.02/0.02	YES 6.00/1.82	StarExec error	YES 1.03/0.62
Zantema_04/z125.xml	YES 10.47/3.41	YES 0.29/0.25	YES 9.79/2.82	YES 97.99/98.90	YES 1.71/0.70
Zantema_04/z041.xml	YES 3.70/1.58	MAYBE 0.33/0.30	YES 2.30/0.88	StarExec error	StarExec error
Zantema_04/z018.xml	YES 11.58/3.92	YES 0.03/0.02	YES 40.96/10.58	YES 0.66/0.68	YES 1.66/0.70
Zantema_04/z085.xml	YES 4.73/1.86	YES 0.02/0.02	YES 1.59/0.69	YES 0.02/0.04	YES 0.67/0.43
Zantema_04/z053.xml	YES 3.74/1.66	MAYBE 0.40/0.38	YES 1.20/0.57	StarExec error	YES 0.88/0.58
Zantema_04/z042.xml	NO 3.45/1.53	MAYBE 0.56/0.52	NO 0.74/0.48	StarExec error	NO 0.50/0.39
Zantema_04/z095.xml	YES 3.33/1.52	MAYBE 0.50/0.41	YES 1.88/0.77	StarExec error	YES 3.87/1.27
Zantema_04/z003.xml	YES 3.59/1.58	YES 0.04/0.04	YES 2.34/0.88	StarExec error	YES 1.02/0.52
Zantema_04/z048.xml	YES 3.64/1.63	MAYBE 1.50/1.46	YES 1.28/0.63	StarExec error	YES 1.09/0.55
Zantema_04/z088.xml	YES 3.91/1.71	YES 0.02/0.02	YES 3.63/1.20	YES 14.99/15.09	StarExec error
Zantema_04/z103.xml	YES 13.30/4.39	YES 0.03/0.02	YES 2.40/0.90	YES 0.49/0.58	YES 1.20/0.57
Zantema_04/z101.xml	YES 4.91/1.91	YES 0.02/0.02	YES 2.62/0.96	YES 0.69/0.75	YES 0.67/0.42
Zantema_04/z019.xml	YES 21.34/6.61	YES 0.12/0.10	YES 2.93/1.03	YES 0.51/0.59	YES 1.26/0.60
Zantema_04/z077.xml	YES 10.04/3.27	YES 0.03/0.03	YES 3.64/1.22	YES 0.01/0.01	YES 0.88/0.48
Zantema_04/z080.xml	YES 29.75/8.66	MAYBE 0.18/0.15	YES 1.56/0.69	YES 7.12/7.28	YES 3.42/1.22
Zantema_04/z022.xml	YES 10.16/3.48	YES 0.04/0.03	YES 3.83/1.26	YES 0.50/0.56	YES 1.25/0.72
Zantema_04/z109.xml	YES 4.08/1.76	YES 0.02/0.02	YES 2.41/0.91	YES 0.62/0.70	YES 0.73/0.45
Zantema_04/z012.xml	YES 8.72/3.11	YES 0.03/0.02	YES 1.26/0.60	YES 0.06/0.07	YES 0.76/0.45
Zantema_04/z060.xml	YES 3.64/1.58	YES 0.02/0.02	YES 0.95/0.53	StarExec error	YES 1.01/0.64
Zantema_04/z121.xml	YES 8.54/2.88	YES 0.06/0.06	YES 7.88/2.28	StarExec error	YES 1.11/0.68
Zantema_04/z124.xml	YES 3.86/1.71	YES 0.03/0.03	YES 1.18/0.58	YES 0.55/0.53	YES 1.13/0.56
Zantema_04/z033.xml	YES 3.72/1.57	YES 0.09/0.07	YES 1.28/0.62	StarExec error	YES 1.03/0.63
Zantema_04/z076.xml	YES 15.76/4.88	YES 0.04/0.03	YES 1.72/0.73	YES 0.03/0.06	YES 3.57/1.17
Zantema_04/z056.xml	YES 3.80/1.61	YES 0.03/0.02	YES 1.25/0.59	StarExec error	YES 1.03/0.54
Zantema_04/z114.xml	YES 7.71/2.82	YES 0.03/0.02	YES 2.49/0.92	YES 0.41/0.49	YES 3.47/1.18
Zantema_04/z015.xml	YES 11.67/3.69	YES 0.07/0.06	YES 3.56/1.18	YES 0.14/0.16	YES 1.13/0.56
Zantema_04/z045.xml	YES 4.00/5.59	YES 0.34/0.29	YES 1.41/0.64	StarExec error	YES 1.31/0.63
Zantema_04/z073.xml	NO 5.15/1.96	MAYBE 0.13/0.12	MAYBE 172.74/43.55	StarExec error	memout
Zantema_04/z031.xml	YES 3.81/1.69	MAYBE 0.29/0.25	YES 1.30/0.62	StarExec error	YES 1.29/0.61
Zantema_04/z009.xml	YES 15.44/5.16	YES 0.03/0.03	YES 4.18/1.35	YES 0.02/0.04	YES 0.95/0.61
Zantema_04/z013.xml	YES 3.90/1.68	YES 0.02/0.02	YES 2.52/0.92	YES 0.88/0.89	YES 1.17/0.56
Zantema_04/z123.xml	YES 12.22/4.05	YES 0.06/0.06	YES 8.04/2.31	StarExec error	YES 1.83/0.74
Zantema_04/z098.xml	YES 3.75/1.62	MAYBE 2.52/1.76	YES 1.38/0.63	StarExec error	YES 8.73/2.81
Zantema_04/z035.xml	YES 3.50/1.61	MAYBE 0.21/0.19	YES 1.82/0.75	StarExec error	memout
Zantema_04/z075.xml	YES 23.66/6.82	YES 0.16/0.15	YES 6.76/2.01	StarExec error	YES 1.20/0.56
Zantema_04/z119.xml	YES 13.67/4.14	MAYBE 0.38/0.33	YES 7.22/2.13	timeout (wallclock)	YES 35.99/9.38
Zantema_04/z072.xml	YES 3.78/1.66	YES 0.12/0.11	YES 2.50/0.94	YES 0.99/1.61	YES 5.44/1.67
Zantema_04/z079.xml	StarExec error	MAYBE 0.21/0.20	MAYBE 171.84/43.31	StarExec error	memout
Zantema_04/z066.xml	YES 21.15/6.52	YES 0.19/0.19	YES 5.61/1.72	YES 0.42/0.41	YES 1.98/0.79
Zantema_04/z112.xml	YES 6.69/2.43	YES 0.02/0.02	YES 5.40/1.66	StarExec error	YES 0.92/0.49
Zantema_04/z118.xml	YES 7.21/2.53	YES 0.03/0.03	YES 4.94/1.56	YES 1.31/1.51	YES 0.99/0.60
Zantema_04/z074.xml	YES 26.21/7.52	YES 0.25/0.23	YES 16.93/4.60	StarExec error	YES 2.37/0.90
Zantema_04/z078.xml	YES 18.20/5.42	YES 0.05/0.05	YES 4.58/1.45	YES 0.06/0.09	memout
Zantema_04/z102.xml	YES 6.07/2.25	YES 0.02/0.02	YES 2.66/0.98	YES 1.59/1.76	YES 0.76/0.46
Zantema_04/z093.xml	YES 12.39/3.84	YES 0.02/0.02	YES 2.66/0.97	YES 0.04/0.04	YES 0.79/0.46
Zantema_04/z092.xml	YES 10.91/3.70	YES 0.04/0.03	YES 2.12/0.84	YES 1.22/1.18	YES 1.02/0.52
Zantema_04/z039.xml	YES 3.20/1.47	MAYBE 5.62/5.50	YES 1.38/0.64	StarExec error	YES 1.19/0.54
Zantema_04/z047.xml	YES 3.40/1.54	YES 0.04/0.04	YES 1.75/0.72	StarExec error	YES 0.92/0.51
Zantema_04/z049.xml	YES 3.57/1.56	YES 0.03/0.03	YES 0.95/0.53	YES 0.01/0.01	YES 0.62/0.40
Zantema_04/z006.xml	YES 4.13/1.79	YES 0.03/0.03	YES 1.37/0.64	YES 0.01/0.01	YES 1.13/0.57
Zantema_04/z089.xml	YES 21.55/6.24	MAYBE 0.21/0.19	YES 5.15/1.60	YES 8.88/9.03	YES 0.94/0.62
Zantema_04/z065.xml	YES 14.13/4.32	MAYBE 0.01/0.01	YES 1.53/0.68	YES 0.12/0.12	YES 1.09/0.55
Zantema_04/z008.xml	YES 26.19/7.43	YES 0.50/0.47	YES 4.97/1.55	YES 31.91/32.07	YES 1.63/0.68
Zantema_04/z100.xml	YES 26.15/7.57	YES 0.34/0.31	YES 21.03/5.65	StarExec error	YES 28.05/7.45
Zantema_04/z090.xml	YES 61.53/16.72	MAYBE 0.19/0.17	YES 51.92/14.74	timeout (wallclock)	memout
Zantema_04/z024.xml	YES 10.88/3.48	YES 0.11/0.09	YES 3.41/1.15	YES 0.07/0.11	YES 0.72/0.46
Zantema_04/z096.xml	NO 3.24/1.64	NO 0.67/0.53	NO 0.83/0.49	StarExec error	NO 0.49/0.36
Zantema_04/z087.xml	YES 3.40/1.52	MAYBE 0.43/0.41	YES 1.06/0.54	StarExec error	YES 1.26/0.60
Zantema_04/z067.xml	YES 11.58/3.97	YES 0.04/0.05	YES 9.52/2.73	YES 0.75/0.91	YES 1.17/0.57
Zantema_04/z023.xml	YES 18.86/5.85	YES 0.21/0.17	YES 4.41/1.42	StarExec error	YES 0.83/0.47
Zantema_04/z043.xml	YES 3.47/1.54	MAYBE 0.25/0.22	YES 1.48/0.67	StarExec error	YES 0.96/0.51
Zantema_04/z051.xml	YES 3.58/1.57	MAYBE 0.57/0.52	YES 1.03/0.60	StarExec error	YES 0.64/0.41
Zantema_04/z091.xml	YES 17.23/5.11	YES 0.10/0.09	YES 33.94/8.89	YES 0.09/0.09	YES 11.82/3.75
Zantema_04/z094.xml	YES 9.99/3.26	YES 0.14/0.13	YES 5.97/1.81	YES 1.16/1.20	YES 1.18/0.69
Zantema_04/z071.xml	YES 22.52/6.56	YES 0.06/0.05	YES 2.14/0.83	YES 0.04/0.05	YES 0.96/0.65
Zantema_04/z032.xml	YES 3.49/1.55	MAYBE 0.32/0.27	YES 1.46/0.66	StarExec error	StarExec error
Zantema_04/z017.xml	YES 3.70/1.60	YES 0.02/0.02	YES 2.96/1.03	YES 0.02/0.07	YES 1.06/0.62
Zantema_04/z086.xml	YES 24.96/7.12	MAYBE 0.31/0.29	YES 92.87/23.57	StarExec error	memout
Zantema_04/z110.xml	YES 18.88/5.63	MAYBE 0.24/0.21	YES 4.52/1.44	YES 1.09/1.22	YES 2.17/0.93
Zantema_04/z122.xml	YES 7.85/2.83	YES 0.03/0.03	YES 3.98/1.30	StarExec error	YES 0.89/0.49
Zantema_04/z063.xml	YES 3.45/1.58	YES 0.03/0.02	YES 0.86/0.50	YES 0.02/0.03	YES 0.64/0.43
Zantema_04/z126.xml	YES 5.30/2.03	YES 0.02/0.01	YES 3.05/1.06	YES 1.33/1.38	YES 0.77/0.57
Zantema_04/z115.xml	YES 19.31/5.73	YES 0.02/0.02	YES 3.30/1.12	YES 3.84/4.41	YES 0.95/0.61
Zantema_04/z021.xml	YES 3.35/1.51	YES 0.09/0.08	YES 2.25/0.85	MAYBE 0.55/0.52	YES 0.98/0.51
Zantema_04/z059.xml	YES 3.75/1.61	MAYBE 0.46/0.43	YES 1.24/0.59	StarExec error	YES 1.02/0.62
Zantema_04/z070.xml	YES 26.11/7.55	YES 0.37/0.36	YES 13.06/3.61	StarExec error	YES 1.59/0.68
Zantema_04/z029.xml	YES 3.69/1.59	MAYBE 0.40/0.33	YES 1.39/0.64	StarExec error	YES 2.24/0.84
Zantema_04/z036.xml	YES 3.82/1.69	MAYBE 0.80/0.71	YES 1.92/0.78	StarExec error	YES 2.88/1.00
Zantema_04/z004.xml	YES 3.88/1.74	YES 0.07/0.11	YES 1.27/0.62	YES 0.05/0.07	YES 0.95/0.60
Zantema_04/z027.xml	YES 3.80/1.66	MAYBE 0.22/0.19	YES 2.15/0.82	StarExec error	YES 2.51/0.89
Zantema_04/z108.xml	YES 4.06/1.72	YES 0.02/0.02	YES 4.18/1.34	MAYBE 6.56/6.76	YES 0.88/0.49
Zantema_04/z064.xml	YES 3.72/1.62	MAYBE 1.83/1.70	YES 1.15/0.57	StarExec error	YES 0.79/0.48
Zantema_04/z081.xml	YES 14.10/4.35	YES 0.04/0.03	YES 5.99/1.81	YES 0.06/0.06	YES 1.32/0.66
Trafo_06/un08.xml	YES 20.52/5.95	MAYBE 0.39/0.36	MAYBE 170.89/43.08	StarExec error	YES 1.93/0.75
Trafo_06/hom01.xml	YES 33.53/9.28	MAYBE 1.50/1.33	YES 9.35/2.65	StarExec error	YES 1.38/0.61
Trafo_06/dup06.xml	YES 10.11/3.52	YES 0.88/0.66	YES 43.23/12.58	StarExec error	YES 1.65/0.69
Trafo_06/un07.xml	YES 17.28/6.47	MAYBE 0.37/0.35	YES 92.89/23.74	StarExec error	YES 1.72/0.71
Trafo_06/hom03.xml	YES 3.97/1.75	MAYBE 11.34/9.23	YES 106.85/27.09	YES 3.55/3.63	YES 3.30/1.12
Trafo_06/dup10.xml	StarExec error	MAYBE 243.03/180.27	YES 116.84/29.65	StarExec error	timeout (wallclock)
Trafo_06/un12.xml	YES 4.21/2.72	MAYBE 1.18/1.10	MAYBE 172.50/43.47	StarExec error	timeout (wallclock)
Trafo_06/un14.xml	YES 137.40/35.29	StarExec error	YES 130.38/33.01	StarExec error	YES 6.80/2.26
Trafo_06/dup08.xml	YES 45.14/12.22	YES 14.56/10.91	timeout (wallclock)	StarExec error	YES 2.30/1.00
Trafo_06/dup15.xml	YES 18.94/5.87	YES 0.02/0.03	YES 4.60/1.47	YES 0.98/1.05	memout
Trafo_06/un10.xml	timeout (wallclock)	MAYBE 6.15/6.00	YES 115.02/29.12	StarExec error	YES 22.59/6.08
Trafo_06/hom02.xml	YES 10.64/3.60	YES 0.04/0.03	YES 5.45/1.69	YES 0.17/0.16	YES 1.07/0.66
Trafo_06/un13.xml	StarExec error	MAYBE 1.83/1.69	MAYBE 171.85/43.34	StarExec error	memout
Trafo_06/dup05.xml	YES 24.64/7.01	YES 3.43/2.73	YES 7.70/2.45	StarExec error	YES 5.16/1.60
Trafo_06/dup14.xml	YES 29.99/11.86	MAYBE 3.28/2.82	YES 105.04/26.68	StarExec error	YES 1.37/0.73
Trafo_06/dup01.xml	YES 49.74/13.39	YES 1.89/1.89	timeout (wallclock)	YES 0.24/0.23	YES 1.25/0.96
Trafo_06/un16.xml	StarExec error	MAYBE 0.89/0.84	MAYBE 171.51/43.26	StarExec error	timeout (cpu)
Trafo_06/dup13.xml	YES 207.25/52.75	YES 7.49/6.97	YES 8.40/2.41	StarExec error	timeout (cpu)
Trafo_06/un02.xml	StarExec error	MAYBE 64.48/51.70	StarExec error	StarExec error	timeout (cpu)
Trafo_06/un04.xml	NO 8.92/3.08	MAYBE 0.57/0.55	MAYBE 173.16/43.66	StarExec error	NO 0.67/0.50
Trafo_06/un15.xml	YES 745.75/188.67	MAYBE 1.27/1.17	MAYBE 171.41/43.22	StarExec error	YES 7.88/2.56
Trafo_06/dup12.xml	YES 117.22/31.38	MAYBE 2.90/2.58	YES 16.56/4.49	StarExec error	YES 21.34/5.81
Trafo_06/un06.xml	YES 23.68/7.13	YES 0.52/0.49	YES 13.34/3.68	StarExec error	YES 1.42/0.73
Trafo_06/dup17.xml	YES 20.89/6.35	StarExec error	YES 6.08/1.84	StarExec error	YES 536.14/137.13
Trafo_06/un05.xml	YES 21.75/6.53	MAYBE 0.27/0.26	MAYBE 170.63/43.02	StarExec error	memout
Trafo_06/un11.xml	StarExec error	MAYBE 1.19/1.12	MAYBE 171.50/43.23	StarExec error	memout
Trafo_06/dup16.xml	YES 5.45/2.16	YES 0.06/0.06	YES 99.38/25.29	StarExec error	YES 0.93/0.60
Trafo_06/dup11.xml	YES 41.10/11.07	YES 2.32/2.31	MAYBE 174.02/43.98	timeout (wallclock)	YES 1.52/0.65
Trafo_06/un18.xml	StarExec error	MAYBE 0.80/0.74	MAYBE 172.59/43.55	StarExec error	YES 54.93/14.18
Trafo_06/un09.xml	YES 62.87/16.83	MAYBE 0.88/0.82	YES 141.42/35.74	StarExec error	YES 6.99/2.03
Trafo_06/un17.xml	YES 250.57/64.20	MAYBE 0.68/0.66	MAYBE 173.43/43.75	StarExec error	YES 8.89/2.58
Trafo_06/dup09.xml	YES 24.77/7.06	MAYBE 0.01/0.02	YES 1.52/0.68	YES 0.32/0.31	YES 1.25/0.69
Trafo_06/dup07.xml	YES 46.83/12.56	MAYBE 1.17/1.01	YES 107.86/27.38	StarExec error	YES 1.96/0.76
Secret_07_SRS/num-515.xml	NO 30.56/8.42	MAYBE 0.19/0.16	MAYBE 170.58/43.02	StarExec error	NO 7.33/2.37
Secret_07_SRS/x02.xml	YES 106.94/27.52	MAYBE 0.15/0.13	YES 122.09/30.87	MAYBE 34.88/35.78	timeout (wallclock)
Secret_07_SRS/num-520.xml	StarExec error	MAYBE 0.14/0.12	MAYBE 171.34/43.18	StarExec error	StarExec error
Secret_07_SRS/x03.xml	YES 11.21/3.82	MAYBE 0.19/0.17	YES 93.55/23.82	StarExec error	YES 1.12/0.56
Secret_07_SRS/x06.xml	YES 52.56/14.04	MAYBE 0.29/0.26	MAYBE 170.86/43.07	MAYBE 41.97/44.19	memout
Secret_07_SRS/num-518.xml	StarExec error	MAYBE 0.28/0.24	MAYBE 171.08/43.12	StarExec error	NO 2.07/0.93
Secret_07_SRS/x05.xml	YES 13.78/4.48	MAYBE 0.18/0.16	YES 91.86/23.32	MAYBE 44.62/46.97	YES 33.78/8.84
Secret_07_SRS/dj.xml	YES 16.71/5.02	YES 0.03/0.03	YES 1.24/0.59	YES 0.01/0.01	YES 0.77/0.44
Secret_07_SRS/num-539.xml	NO 4.98/2.03	MAYBE 0.18/0.16	NO 1.93/0.78	StarExec error	NO 0.71/0.53
Secret_07_SRS/num-530.xml	NO 16.87/5.16	MAYBE 0.20/0.18	NO 15.74/4.24	StarExec error	NO 0.50/0.37
Secret_07_SRS/x07.xml	timeout (cpu)	MAYBE 0.65/0.60	StarExec error	timeout (wallclock)	memout
Secret_07_SRS/num-519.xml	NO 7.88/2.75	MAYBE 0.28/0.23	MAYBE 170.23/42.95	StarExec error	NO 0.61/0.40
Secret_07_SRS/x08.xml	YES 50.78/14.40	MAYBE 0.45/0.35	MAYBE 169.80/42.80	StarExec error	timeout (cpu)
Secret_07_SRS/num-521.xml	NO 428.66/107.94	MAYBE 0.15/0.14	MAYBE 167.20/43.06	StarExec error	NO 0.60/0.39
Secret_07_SRS/num-527.xml	NO 147.92/39.59	MAYBE 0.19/0.17	MAYBE 170.96/43.12	StarExec error	NO 0.79/0.56
Secret_07_SRS/num-525.xml	NO 55.09/14.59	MAYBE 0.22/0.19	NO 5.80/1.75	StarExec error	NO 0.67/0.51
Secret_07_SRS/x10.xml	YES 38.27/10.44	MAYBE 0.24/0.19	YES 141.77/35.83	MAYBE 26.18/26.70	memout
Secret_07_SRS/x04.xml	YES 38.75/10.80	MAYBE 0.25/0.22	YES 48.06/14.58	StarExec error	YES 8.03/2.29
Secret_07_SRS/x09.xml	YES 101.10/26.78	MAYBE 0.35/0.27	MAYBE 170.68/43.02	StarExec error	timeout (cpu)
Secret_07_SRS/x01.xml	YES 41.91/11.75	MAYBE 0.15/0.13	YES 133.99/33.86	MAYBE 9.24/10.05	memout
Secret_07_SRS/num-514.xml	NO 805.45/203.01	MAYBE 0.26/0.23	MAYBE 170.96/43.16	StarExec error	NO 0.78/0.45
Waldmann_07_size11/size-11-alpha-3-num-12.xml	YES 13.77/4.46	MAYBE 0.11/0.09	YES 88.26/22.41	StarExec error	memout
Waldmann_07_size11/size-11-alpha-3-num-20.xml	YES 10.55/3.59	MAYBE 0.09/0.08	YES 87.31/22.14	StarExec error	YES 1.90/0.87
Waldmann_07_size11/size-11-alpha-2-num-4.xml	YES 18.83/5.47	MAYBE 0.13/0.11	YES 92.60/23.56	StarExec error	memout
Waldmann_07_size11/size-11-alpha-3-num-21.xml	NO 7.88/2.68	MAYBE 0.10/0.08	MAYBE 168.00/42.47	MAYBE 7.10/9.63	NO 1.85/0.76
Waldmann_07_size11/size-11-alpha-3-num-3.xml	YES 10.26/3.49	MAYBE 0.11/0.09	YES 43.13/11.28	StarExec error	YES 2.99/1.03
Waldmann_07_size11/size-11-alpha-3-num-8.xml	YES 18.16/5.45	MAYBE 0.13/0.10	YES 89.73/22.81	StarExec error	timeout (cpu)
Waldmann_07_size11/size-11-alpha-3-num-1.xml	NO 82.33/21.45	MAYBE 0.13/0.11	MAYBE 170.75/43.04	StarExec error	NO 0.85/0.47
Waldmann_07_size11/size-11-alpha-3-num-4.xml	StarExec error	MAYBE 0.15/0.12	MAYBE 170.00/42.85	MAYBE 24.05/24.42	NO 32.00/8.35
Waldmann_07_size11/size-11-alpha-3-num-5.xml	YES 9.94/3.39	MAYBE 0.15/0.12	YES 113.72/28.78	MAYBE 3.21/3.33	memout
Waldmann_07_size11/size-11-alpha-3-num-14.xml	YES 13.06/4.31	MAYBE 0.12/0.11	YES 96.11/24.37	MAYBE 5.79/6.02	memout
Waldmann_07_size11/size-11-alpha-3-num-2.xml	YES 31.01/8.61	MAYBE 0.12/0.10	YES 165.11/41.65	MAYBE 5.81/6.31	timeout (cpu)
Waldmann_07_size11/size-11-alpha-3-num-11.xml	YES 16.07/4.80	MAYBE 0.11/0.10	YES 89.73/22.79	MAYBE 2.76/2.84	timeout (cpu)
Waldmann_07_size11/size-11-alpha-2-num-3.xml	YES 29.96/8.34	MAYBE 0.21/0.16	YES 154.25/39.05	StarExec error	memout
Waldmann_07_size11/size-11-alpha-3-num-6.xml	YES 24.66/6.99	MAYBE 0.15/0.12	YES 91.80/23.30	timeout (wallclock)	memout
Waldmann_07_size11/size-11-alpha-2-num-2.xml	YES 27.44/7.69	MAYBE 0.17/0.15	MAYBE 170.72/43.03	StarExec error	memout
Waldmann_07_size11/size-11-alpha-2-num-1.xml	YES 31.16/8.68	MAYBE 0.13/0.11	MAYBE 171.39/43.19	StarExec error	timeout (cpu)
Waldmann_07_size11/size-11-alpha-3-num-16.xml	YES 9.50/3.14	MAYBE 0.12/0.10	YES 43.32/11.41	StarExec error	YES 1.87/0.86
Waldmann_07_size11/size-11-alpha-3-num-17.xml	YES 32.48/9.10	MAYBE 0.09/0.08	YES 87.52/22.22	MAYBE 1.15/1.26	YES 2.59/0.92
Waldmann_07_size11/size-11-alpha-3-num-13.xml	YES 12.87/4.20	MAYBE 0.16/0.13	YES 94.74/24.04	MAYBE 1.42/1.51	memout
Waldmann_07_size11/size-11-alpha-3-num-15.xml	NO 10.39/3.40	MAYBE 0.15/0.13	NO 8.87/2.52	StarExec error	NO 0.62/0.50
Waldmann_07_size11/size-11-alpha-3-num-7.xml	YES 26.93/7.70	MAYBE 0.16/0.13	YES 89.44/22.72	StarExec error	memout
Waldmann_07_size11/size-11-alpha-3-num-10.xml	YES 15.62/4.69	MAYBE 0.16/0.13	YES 89.00/22.57	MAYBE 4.53/4.76	memout
Waldmann_07_size11/size-11-alpha-3-num-19.xml	YES 23.84/6.91	MAYBE 0.10/0.08	YES 89.34/22.67	StarExec error	StarExec error
Waldmann_07_size11/size-11-alpha-3-num-9.xml	YES 15.35/4.68	MAYBE 0.11/0.09	YES 89.95/22.84	StarExec error	memout
Waldmann_07_size11/size-11-alpha-3-num-18.xml	NO 5.04/1.91	MAYBE 0.09/0.08	MAYBE 164.60/42.57	StarExec error	NO 3.25/1.25
Waldmann_06_SRS/sym-1.xml	YES 5.56/2.18	MAYBE 0.12/0.11	YES 42.44/11.18	StarExec error	YES 0.94/0.59
Waldmann_06_SRS/sym-4.xml	YES 5.62/2.14	MAYBE 0.11/0.10	YES 41.96/11.02	StarExec error	YES 0.94/0.59
Waldmann_06_SRS/z086-variant.xml	YES 53.10/14.06	StarExec error	MAYBE 171.39/43.20	StarExec error	memout
Waldmann_06_SRS/uni-1.xml	YES 4.87/1.98	MAYBE 0.14/0.12	YES 42.14/11.02	StarExec error	YES 1.18/0.55
Waldmann_06_SRS/uni-7.xml	StarExec error	MAYBE 1.82/1.64	MAYBE 171.66/43.26	timeout (wallclock)	YES 39.03/10.17
Waldmann_06_SRS/pi.xml	YES 39.88/10.91	YES 0.59/0.54	YES 21.48/5.74	YES 43.29/44.90	YES 1.90/0.76
Waldmann_06_SRS/jw3.xml	YES 19.98/6.14	MAYBE 0.25/0.23	MAYBE 172.18/43.43	timeout (wallclock)	memout
Waldmann_06_SRS/uni-4.xml	NO 3.72/1.58	MAYBE 0.24/0.22	NO 2.38/0.89	StarExec error	NO 0.50/0.37
Waldmann_06_SRS/jw4.xml	YES 92.50/24.08	MAYBE 0.46/0.43	YES 131.45/33.26	StarExec error	timeout (cpu)
Waldmann_06_SRS/uni-3.xml	NO 5.62/2.11	MAYBE 0.28/0.25	MAYBE 171.19/43.13	StarExec error	NO 0.60/0.40
Waldmann_06_SRS/sym-2.xml	YES 41.11/11.20	MAYBE 0.20/0.16	MAYBE 171.11/43.14	StarExec error	timeout (wallclock)
Waldmann_06_SRS/uni-2.xml	NO 4.60/1.93	MAYBE 0.25/0.21	NO 1.42/0.65	StarExec error	NO 0.62/0.40
Waldmann_06_SRS/jw1.xml	YES 23.08/6.65	MAYBE 0.25/0.21	YES 123.24/31.16	timeout (wallclock)	memout
Waldmann_06_SRS/uni-5.xml	YES 25.70/7.31	MAYBE 0.17/0.14	YES 122.58/31.03	MAYBE 112.06/112.88	memout
Waldmann_06_SRS/uni-6.xml	NO 10.58/3.46	MAYBE 0.63/0.58	MAYBE 171.28/43.19	StarExec error	NO 0.63/0.41
Waldmann_06_SRS/sym-6.xml	YES 120.37/31.92	MAYBE 0.43/0.32	YES 132.50/33.47	StarExec error	memout
Waldmann_06_SRS/jw5.xml	timeout (cpu)	MAYBE 0.63/0.59	MAYBE 172.81/43.55	StarExec error	timeout (cpu)
Waldmann_06_SRS/sym-5.xml	YES 310.66/78.97	MAYBE 0.52/0.49	MAYBE 171.30/43.17	timeout (wallclock)	memout
Waldmann_06_SRS/e.xml	YES 61.58/16.26	YES 0.70/0.64	YES 18.85/5.08	YES 209.03/216.46	YES 5.07/1.58
	971	203	744	136	976