Termination Competition 2018: SRS Standard Certified30039

Job info CSV

benchmark	AProVE certified	ttt2-1.17+nonreach ttt2-1.17+nonreach-cert
SRS_Standard/Secret_05_SRS/aprove2.xml 5163224	YES 25.84/7.30 (CERTIFIED 0.0)	YES 31.69/8.24 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/jambox3.xml 5163225	YES 70.92/19.14 (CERTIFIED 0.0)	MAYBE 233.68/67.35
SRS_Standard/Secret_05_SRS/jambox4.xml 5163226	YES 41.04/12.17 (CERTIFIED 0.0)	YES 27.33/7.15 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/matchbox1.xml 5163227	YES 36.45/10.38 (CERTIFIED 0.0)	YES 4.59/1.44 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/aprove3.xml 5163228	YES 15.83/5.03 (CERTIFIED 0.0)	YES 21.96/5.77 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/aprove1.xml 5163229	YES 28.77/8.19 (CERTIFIED 0.0)	YES 32.69/8.50 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/torpa2.xml 5163230	YES 13.21/4.33 (CERTIFIED 0.0)	YES 53.77/13.73 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/jambox2.xml 5163231	MAYBE 1165.33/292.33	MAYBE 233.76/67.35
SRS_Standard/Secret_05_SRS/jambox5.xml 5163232	YES 39.74/11.25 (CERTIFIED 0.0)	MAYBE 234.43/67.36
SRS_Standard/Secret_05_SRS/torpa3.xml 5163233	YES 8.86/3.11 (CERTIFIED 0.0)	YES 8.87/2.49 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/jambox1.xml 5163234	YES 36.95/10.04 (CERTIFIED 0.0)	MAYBE 230.34/67.35
SRS_Standard/Secret_05_SRS/aprove4.xml 5163235	YES 27.32/7.82 (CERTIFIED 0.0)	YES 37.12/9.59 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/aprove5.xml 5163236	YES 41.91/11.48 (CERTIFIED 0.0)	YES 36.81/9.54 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/torpa4.xml 5163237	YES 20.87/6.10 (CERTIFIED 0.0)	YES 23.70/6.23 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/torpa1.xml 5163238	YES 17.83/5.24 (CERTIFIED 0.0)	YES 21.12/5.57 (CERTIFIED 0.0)
SRS_Standard/Secret_05_SRS/matchbox2.xml 5163239	YES 24.17/7.21 (CERTIFIED 0.0)	YES 9.39/2.62 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/01-oppelt08.xml 5162951	NO 21.75/6.35 (CERTIFIED 0.0)	MAYBE 233.30/67.35
SRS_Standard/Mixed_SRS/05.xml 5162952	YES 35.11/9.62 (CERTIFIED 0.0)	YES 65.15/16.58 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/03.xml 5162953	YES 26.53/7.71 (CERTIFIED 0.0)	MAYBE 230.20/67.33
SRS_Standard/Mixed_SRS/01.xml 5162954	YES 14.17/4.57 (CERTIFIED 0.0)	MAYBE 230.29/67.35
SRS_Standard/Mixed_SRS/touzet.xml 5162955	YES 10.71/3.54 (CERTIFIED 0.0)	YES 8.66/2.48 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/06.xml 5162956	YES 36.64/9.98 (CERTIFIED 0.0)	YES 27.04/7.04 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/02.xml 5162957	YES 33.31/9.49 (CERTIFIED 0.0)	MAYBE 231.26/67.35
SRS_Standard/Mixed_SRS/08-oppelt08.xml 5162958	NO 6.28/2.32 (CERTIFIED 0.0)	MAYBE 232.54/67.35
SRS_Standard/Mixed_SRS/07-oppelt08.xml 5162959	NO 4.78/1.93 (CERTIFIED 0.0)	MAYBE 233.47/67.34
SRS_Standard/Mixed_SRS/3.xml 5162960	YES 8.35/3.00 (CERTIFIED 0.0)	YES 3.60/1.16 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/1.xml 5162961	NO 4.66/1.90 (CERTIFIED 0.0)	MAYBE 230.44/67.34
SRS_Standard/Mixed_SRS/04.xml 5162962	YES 50.10/14.01 (CERTIFIED 0.0)	MAYBE 230.15/67.34
SRS_Standard/Mixed_SRS/08.xml 5162963	YES 193.66/49.21 (CERTIFIED 0.0)	MAYBE 230.69/67.33
SRS_Standard/Mixed_SRS/04-oppelt08.xml 5162964	NO 29.49/8.53 (CERTIFIED 0.0)	MAYBE 231.61/67.36
SRS_Standard/Mixed_SRS/03-oppelt08.xml 5162965	NO 50.52/13.38 (CERTIFIED 0.0)	MAYBE 230.67/67.34
SRS_Standard/Mixed_SRS/s6.xml 5162966	YES 8.99/3.17 (CERTIFIED 0.0)	YES 2.10/0.81 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/09.xml 5162967	YES 24.21/6.82 (CERTIFIED 0.0)	YES 26.30/7.05 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/06-oppelt08.xml 5162968	NO 4.11/1.81 (CERTIFIED 0.0)	MAYBE 230.97/67.35
SRS_Standard/Mixed_SRS/07.xml 5162969	YES 28.43/8.03 (CERTIFIED 0.0)	YES 21.39/5.63 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/2.xml 5162970	YES 29.82/8.32 (CERTIFIED 0.0)	YES 155.54/39.22 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/02-oppelt08.xml 5162971	NO 71.73/19.25 (CERTIFIED 0.0)	MAYBE 230.63/67.35
SRS_Standard/Mixed_SRS/turing_copy.xml 5162972	NO 3.24/1.53 (CERTIFIED 0.0)	NO 0.35/0.35 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/turing_add.xml 5162973	YES 26.86/7.73 (CERTIFIED 0.0)	YES 1.80/0.72 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/4.xml 5162974	timeout (wallclock) [out]	MAYBE 230.95/67.35
SRS_Standard/Mixed_SRS/turing_mult.xml 5162975	NO 3.64/1.68 (CERTIFIED 0.0)	NO 2.03/0.81 (CERTIFIED 0.0)
SRS_Standard/Mixed_SRS/05-oppelt08.xml 5162976	NO 9.86/3.26 (CERTIFIED 0.0)	MAYBE 233.83/67.35
SRS_Standard/Secret_07_SRS/num-515.xml 5163203	NO 22.12/6.34 (CERTIFIED 0.0)	MAYBE 230.92/67.35
SRS_Standard/Secret_07_SRS/x02.xml 5163204	YES 100.47/26.31 (CERTIFIED 0.1)	YES 37.11/9.86 (CERTIFIED 0.0)
SRS_Standard/Secret_07_SRS/num-520.xml 5163205	MAYBE 1162.76/291.66	MAYBE 230.24/67.34
SRS_Standard/Secret_07_SRS/x03.xml 5163206	YES 17.65/5.23 (CERTIFIED 0.0)	YES 27.32/7.12 (CERTIFIED 0.0)
SRS_Standard/Secret_07_SRS/x06.xml 5163207	YES 22.43/6.90 (CERTIFIED 0.0)	MAYBE 232.94/67.37
SRS_Standard/Secret_07_SRS/num-518.xml 5163208	MAYBE 1163.89/292.10	MAYBE 231.43/67.35
SRS_Standard/Secret_07_SRS/x05.xml 5163209	YES 16.45/5.69 (CERTIFIED 0.0)	YES 25.89/6.78 (CERTIFIED 0.0)
SRS_Standard/Secret_07_SRS/dj.xml 5163210	YES 10.32/3.42 (CERTIFIED 0.0)	YES 1.42/0.62 (CERTIFIED 0.0)
SRS_Standard/Secret_07_SRS/num-539.xml 5163211	NO 5.04/2.00 (CERTIFIED 0.0)	MAYBE 230.60/67.34
SRS_Standard/Secret_07_SRS/num-530.xml 5163212	NO 8.18/2.82 (CERTIFIED 0.0)	MAYBE 230.65/67.34
SRS_Standard/Secret_07_SRS/x07.xml 5163213	timeout (wallclock) [out]	MAYBE 232.43/67.36
SRS_Standard/Secret_07_SRS/num-519.xml 5163214	NO 5.93/2.52 (CERTIFIED 0.0)	MAYBE 231.36/67.34
SRS_Standard/Secret_07_SRS/x08.xml 5163215	YES 44.80/12.17 (CERTIFIED 0.0)	YES 97.74/24.73 (CERTIFIED 0.0)
SRS_Standard/Secret_07_SRS/num-521.xml 5163216	NO 466.79/117.53 (CERTIFIED 0.0)	MAYBE 230.58/67.35
SRS_Standard/Secret_07_SRS/num-527.xml 5163217	NO 186.94/47.56 (CERTIFIED 0.0)	MAYBE 230.35/67.34
SRS_Standard/Secret_07_SRS/num-525.xml 5163218	NO 86.14/22.82 (CERTIFIED 0.0)	MAYBE 230.66/67.34
SRS_Standard/Secret_07_SRS/x10.xml 5163219	YES 38.37/10.90 (CERTIFIED 0.0)	YES 40.69/10.48 (CERTIFIED 0.0)
SRS_Standard/Secret_07_SRS/x04.xml 5163220	YES 44.59/12.17 (CERTIFIED 0.0)	YES 54.16/13.88 (CERTIFIED 0.0)
SRS_Standard/Secret_07_SRS/x09.xml 5163221	YES 115.48/29.93 (CERTIFIED 0.0)	MAYBE 230.58/67.34
SRS_Standard/Secret_07_SRS/x01.xml 5163222	YES 12.85/4.20 (CERTIFIED 0.0)	YES 28.05/7.70 (CERTIFIED 0.0)
SRS_Standard/Secret_07_SRS/num-514.xml 5163223	NO 580.02/145.90 (CERTIFIED 0.0)	MAYBE 230.40/67.34
SRS_Standard/Secret_06_SRS/10.xml 5162841	YES 11.94/4.00 (CERTIFIED 0.0)	YES 13.81/3.71 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove07.xml 5162842	YES 39.97/14.05 (CERTIFIED 0.0)	YES 50.78/13.07 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr2.xml 5162843	YES 13.51/4.16 (CERTIFIED 0.0)	YES 20.27/5.65 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr9.xml 5162844	YES 33.82/9.35 (CERTIFIED 0.0)	YES 50.10/12.86 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove04.xml 5162845	YES 14.69/4.75 (CERTIFIED 0.0)	MAYBE 208.44/67.44
SRS_Standard/Secret_06_SRS/multum5.xml 5162846	YES 27.63/7.71 (CERTIFIED 0.0)	YES 6.89/1.99 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr3.xml 5162847	YES 10.76/3.66 (CERTIFIED 0.0)	MAYBE 232.72/67.36
SRS_Standard/Secret_06_SRS/5-matchbox.xml 5162848	YES 20.09/5.92 (CERTIFIED 0.0)	YES 46.35/11.87 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr4.xml 5162849	YES 64.86/17.23 (CERTIFIED 0.0)	YES 9.57/2.66 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/3.xml 5162850	YES 388.28/98.03 (CERTIFIED 0.0)	MAYBE 230.19/67.34
SRS_Standard/Secret_06_SRS/multum6.xml 5162851	YES 34.59/9.60 (CERTIFIED 0.0)	YES 17.39/4.63 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/7.xml 5162852	YES 11.99/3.94 (CERTIFIED 0.0)	YES 27.33/7.12 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove02.xml 5162853	YES 56.91/15.39 (CERTIFIED 0.0)	YES 29.41/7.69 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/1.xml 5162854	MAYBE 1162.81/291.78	MAYBE 232.18/67.35
SRS_Standard/Secret_06_SRS/aprove08.xml 5162855	YES 20.06/6.26 (CERTIFIED 0.0)	YES 38.35/10.07 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/multum2.xml 5162856	YES 59.89/16.29 (CERTIFIED 0.0)	YES 6.43/1.88 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr10.xml 5162857	YES 26.47/7.52 (CERTIFIED 0.0)	YES 30.76/8.01 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/multum3.xml 5162858	YES 31.36/8.71 (CERTIFIED 0.0)	YES 14.48/3.89 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove09.xml 5162859	YES 22.66/7.82 (CERTIFIED 0.0)	YES 26.54/6.94 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove01.xml 5162860	YES 28.88/8.08 (CERTIFIED 0.0)	YES 35.36/9.16 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr7.xml 5162861	YES 13.32/4.37 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Secret_06_SRS/5.xml 5162862	YES 43.66/12.22 (CERTIFIED 0.0)	YES 88.96/22.57 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/3-matchbox.xml 5162863	YES 37.39/10.24 (CERTIFIED 0.0)	YES 15.21/4.09 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove06.xml 5162864	YES 38.01/11.01 (CERTIFIED 0.0)	YES 60.89/16.00 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove03.xml 5162865	YES 22.24/6.77 (CERTIFIED 0.0)	YES 28.32/7.46 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/2.xml 5162866	YES 32.30/8.95 (CERTIFIED 0.0)	YES 56.51/14.41 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/2-matchbox.xml 5162867	YES 238.34/60.92 (CERTIFIED 0.2)	YES 20.39/5.39 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/8.xml 5162868	YES 43.82/11.87 (CERTIFIED 0.0)	YES 19.03/5.03 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr8.xml 5162869	YES 20.06/6.95 (CERTIFIED 0.0)	YES 37.19/9.58 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr6.xml 5162870	YES 41.57/11.64 (CERTIFIED 0.0)	YES 30.13/7.86 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/6.xml 5162871	YES 34.78/9.59 (CERTIFIED 0.0)	YES 8.74/2.46 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove00.xml 5162872	YES 14.21/4.34 (CERTIFIED 0.0)	YES 26.67/6.98 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr5.xml 5162873	YES 159.35/41.21 (CERTIFIED 0.2)	MAYBE 233.49/67.35
SRS_Standard/Secret_06_SRS/9.xml 5162874	YES 12.92/4.26 (CERTIFIED 0.0)	YES 15.53/4.15 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/multum1.xml 5162875	YES 196.52/50.03 (CERTIFIED 0.0)	YES 16.11/4.30 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/aprove05.xml 5162876	YES 36.11/12.79 (CERTIFIED 0.0)	YES 26.59/7.01 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/secr1.xml 5162877	YES 11.15/3.55 (CERTIFIED 0.0)	YES 9.50/2.68 (CERTIFIED 0.0)
SRS_Standard/Secret_06_SRS/1-matchbox.xml 5162878	NO 225.45/57.25 (CERTIFIED 0.0)	MAYBE 229.81/67.36
SRS_Standard/Secret_06_SRS/multum4.xml 5162879	timeout (wallclock) [out]	YES 56.50/14.43 (CERTIFIED 1.3)
SRS_Standard/Bouchare_06/05.xml 5162880	YES 20.36/5.97 (CERTIFIED 0.0)	YES 10.35/2.85 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/03.xml 5162881	YES 11.54/4.00 (CERTIFIED 0.0)	YES 27.85/7.26 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/01.xml 5162882	YES 5.44/2.19 (CERTIFIED 0.0)	YES 6.60/1.91 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/12.xml 5162883	YES 29.68/8.29 (CERTIFIED 0.0)	YES 10.27/2.83 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/10.xml 5162884	YES 45.80/12.72 (CERTIFIED 0.0)	YES 8.42/2.37 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/06.xml 5162885	YES 14.83/4.74 (CERTIFIED 0.0)	YES 31.70/8.20 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/02.xml 5162886	YES 9.27/3.08 (CERTIFIED 0.0)	YES 4.83/1.47 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/14.xml 5162887	YES 5.51/2.25 (CERTIFIED 0.0)	YES 4.89/1.49 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/13.xml 5162888	YES 25.14/7.06 (CERTIFIED 0.0)	YES 31.03/8.04 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/04.xml 5162889	YES 5.20/2.12 (CERTIFIED 0.0)	YES 7.00/2.02 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/17.xml 5162890	YES 5.35/2.06 (CERTIFIED 0.0)	YES 6.11/1.79 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/08.xml 5162891	NO 3.33/1.51 (CERTIFIED 0.0)	NO 1.88/0.74 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/16.xml 5162892	YES 4.73/1.99 (CERTIFIED 0.0)	YES 5.42/1.65 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/09.xml 5162893	NO 3.41/1.62 (CERTIFIED 0.0)	NO 2.48/0.88 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/11.xml 5162894	YES 30.25/8.66 (CERTIFIED 0.0)	YES 5.35/1.60 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/07.xml 5162895	YES 26.27/7.47 (CERTIFIED 0.0)	YES 28.71/7.45 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/18.xml 5162896	YES 15.99/4.98 (CERTIFIED 0.0)	YES 35.72/9.22 (CERTIFIED 0.0)
SRS_Standard/Bouchare_06/15.xml 5162897	YES 10.09/3.28 (CERTIFIED 0.0)	YES 6.00/1.76 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/167391.xml 5163713	YES 284.90/74.37 (CERTIFIED 3.8)	MAYBE 210.19/70.67
SRS_Standard/ICFP_2010/4484.xml 5163714	timeout (wallclock) [out]	MAYBE 207.98/67.86
SRS_Standard/ICFP_2010/26862.xml 5163715	MAYBE 1042.69/299.67	MAYBE 208.55/68.89
SRS_Standard/ICFP_2010/137956.xml 5163716	timeout (wallclock) [out]	MAYBE 210.44/70.05
SRS_Standard/ICFP_2010/86559.xml 5163717	YES 12.12/4.08 (CERTIFIED 0.1)	YES 4.70/1.72 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/264033.xml 5163718	YES 28.03/10.71 (CERTIFIED 0.4)	YES 38.73/10.29 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/131982.xml 5163719	timeout (wallclock) [out]	MAYBE 209.68/68.98
SRS_Standard/ICFP_2010/137809.xml 5163720	timeout (wallclock) [out]	MAYBE 209.77/68.91
SRS_Standard/ICFP_2010/4057.xml 5163721	timeout (wallclock) [out]	MAYBE 208.49/68.00
SRS_Standard/ICFP_2010/45757.xml 5163722	timeout (wallclock) [out]	MAYBE 207.89/67.91
SRS_Standard/ICFP_2010/139256.xml 5163723	YES 64.92/17.46 (CERTIFIED 1.5)	MAYBE 208.43/69.00
SRS_Standard/ICFP_2010/158208.xml 5163724	timeout (wallclock) [out]	MAYBE 210.89/70.06
SRS_Standard/ICFP_2010/5130.xml 5163725	timeout (wallclock) [out]	MAYBE 207.99/67.96
SRS_Standard/ICFP_2010/3770.xml 5163726	YES 91.99/24.45 (CERTIFIED 0.8)	YES 106.64/27.08 (CERTIFIED 39.3)
SRS_Standard/ICFP_2010/48267.xml 5163727	timeout (wallclock) [out]	MAYBE 208.00/68.03
SRS_Standard/ICFP_2010/4206.xml 5163728	timeout (wallclock) [out]	MAYBE 229.29/82.50
SRS_Standard/ICFP_2010/185453.xml 5163729	timeout (wallclock) [out]	MAYBE 213.20/70.73
SRS_Standard/ICFP_2010/214011.xml 5163730	YES 32.01/9.15 (CERTIFIED 0.1)	YES 33.97/9.14 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/96334.xml 5163731	timeout (wallclock) [out]	MAYBE 207.81/67.86
SRS_Standard/ICFP_2010/135604.xml 5163732	timeout (wallclock) [out]	MAYBE 209.85/68.94
SRS_Standard/ICFP_2010/3842.xml 5163733	timeout (wallclock) [out]	run script error [out]
SRS_Standard/ICFP_2010/41688.xml 5163734	timeout (wallclock) [out]	MAYBE 212.17/70.14
SRS_Standard/ICFP_2010/4979.xml 5163735	YES 178.41/45.71 (CERTIFIED 1.0)	MAYBE 207.70/67.75
SRS_Standard/ICFP_2010/4487.xml 5163736	timeout (wallclock) [out]	MAYBE 209.09/68.05
SRS_Standard/ICFP_2010/4943.xml 5163737	timeout (wallclock) [out]	YES 150.28/38.02 (CERTIFIED 233.2)
SRS_Standard/ICFP_2010/3916.xml 5163738	timeout (wallclock) [out]	MAYBE 208.62/67.92
SRS_Standard/ICFP_2010/160068.xml 5163739	timeout (wallclock) [out]	MAYBE 209.76/69.99
SRS_Standard/ICFP_2010/4106.xml 5163740	timeout (wallclock) [out]	YES 158.23/40.01 (CERTIFIED 370.1)
SRS_Standard/ICFP_2010/26741.xml 5163741	timeout (wallclock) [out]	MAYBE 208.88/69.09
SRS_Standard/ICFP_2010/4893.xml 5163742	MAYBE 839.43/297.20	MAYBE 208.52/67.99
SRS_Standard/ICFP_2010/149849.xml 5163743	timeout (wallclock) [out]	MAYBE 213.24/73.49
SRS_Standard/ICFP_2010/136051.xml 5163744	MAYBE 832.07/297.78	MAYBE 209.45/68.94
SRS_Standard/ICFP_2010/246924.xml 5163745	YES 27.84/7.90 (CERTIFIED 0.0)	MAYBE 215.14/74.25
SRS_Standard/ICFP_2010/26927.xml 5163746	timeout (wallclock) [out]	MAYBE 208.35/69.10
SRS_Standard/ICFP_2010/26923.xml 5163747	timeout (wallclock) [out]	MAYBE 208.08/68.97
SRS_Standard/ICFP_2010/161533.xml 5163748	timeout (wallclock) [out]	MAYBE 210.77/70.90
SRS_Standard/ICFP_2010/135659.xml 5163749	YES 374.74/105.88 (CERTIFIED 1.8)	MAYBE 209.08/69.74
SRS_Standard/ICFP_2010/139310.xml 5163750	YES 46.07/12.60 (CERTIFIED 0.8)	MAYBE 208.40/69.01
SRS_Standard/ICFP_2010/136623.xml 5163751	timeout (wallclock) [out]	MAYBE 209.83/68.88
SRS_Standard/ICFP_2010/212062.xml 5163752	YES 11.41/4.13 (CERTIFIED 0.0)	YES 24.65/6.66 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/54532.xml 5163753	YES 8.65/3.13 (CERTIFIED 0.0)	YES 39.46/23.38 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/27039.xml 5163754	MAYBE 1042.92/299.96	MAYBE 208.64/68.92
SRS_Standard/ICFP_2010/132478.xml 5163755	YES 57.38/15.55 (CERTIFIED 1.0)	MAYBE 208.37/69.01
SRS_Standard/ICFP_2010/157275.xml 5163756	YES 71.99/20.05 (CERTIFIED 1.2)	MAYBE 209.55/69.85
SRS_Standard/ICFP_2010/4824.xml 5163757	timeout (wallclock) [out]	MAYBE 209.08/68.00
SRS_Standard/ICFP_2010/4938.xml 5163758	MAYBE 798.09/297.44	MAYBE 209.11/68.08
SRS_Standard/ICFP_2010/88172.xml 5163759	timeout (wallclock) [out]	MAYBE 207.08/67.80
SRS_Standard/ICFP_2010/152865.xml 5163760	timeout (wallclock) [out]	MAYBE 208.90/69.75
SRS_Standard/ICFP_2010/132920.xml 5163761	YES 38.92/11.16 (CERTIFIED 0.7)	MAYBE 208.33/69.02
SRS_Standard/ICFP_2010/88183.xml 5163762	timeout (wallclock) [out]	MAYBE 206.99/67.81
SRS_Standard/ICFP_2010/27001.xml 5163763	timeout (wallclock) [out]	MAYBE 208.88/69.11
SRS_Standard/ICFP_2010/157593.xml 5163764	YES 31.23/12.65 (CERTIFIED 0.1)	MAYBE 208.79/68.07
SRS_Standard/ICFP_2010/91218.xml 5163765	timeout (wallclock) [out]	MAYBE 208.11/68.91
SRS_Standard/ICFP_2010/26845.xml 5163766	timeout (wallclock) [out]	MAYBE 208.86/69.00
SRS_Standard/ICFP_2010/139163.xml 5163767	YES 70.54/19.06 (CERTIFIED 1.9)	MAYBE 207.87/69.03
SRS_Standard/ICFP_2010/4314.xml 5163768	timeout (wallclock) [out]	MAYBE 208.51/68.00
SRS_Standard/ICFP_2010/26886.xml 5163769	timeout (wallclock) [out]	MAYBE 208.63/68.78
SRS_Standard/ICFP_2010/158477.xml 5163770	MAYBE 950.65/296.99	MAYBE 209.76/69.88
SRS_Standard/ICFP_2010/27213.xml 5163771	YES 44.06/11.90 (CERTIFIED 0.1)	YES 41.51/11.19 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/96289.xml 5163772	timeout (wallclock) [out]	MAYBE 207.83/67.85
SRS_Standard/ICFP_2010/26946.xml 5163773	timeout (wallclock) [out]	MAYBE 208.42/69.09
SRS_Standard/ICFP_2010/97888.xml 5163774	timeout (wallclock) [out]	MAYBE 210.69/71.01
SRS_Standard/ICFP_2010/4374.xml 5163775	timeout (wallclock) [out]	MAYBE 207.86/67.83
SRS_Standard/ICFP_2010/26871.xml 5163776	timeout (wallclock) [out]	MAYBE 208.49/69.02
SRS_Standard/ICFP_2010/43266.xml 5163777	timeout (wallclock) [out]	MAYBE 211.76/70.14
SRS_Standard/ICFP_2010/98623.xml 5163778	YES 58.13/16.25 (CERTIFIED 1.2)	MAYBE 209.45/69.85
SRS_Standard/ICFP_2010/128430.xml 5163779	YES 53.71/14.61 (CERTIFIED 0.9)	MAYBE 208.38/68.98
SRS_Standard/ICFP_2010/41427.xml 5163780	timeout (wallclock) [out]	MAYBE 211.10/70.13
SRS_Standard/ICFP_2010/160263.xml 5163781	YES 34.66/10.06 (CERTIFIED 0.1)	YES 38.96/10.36 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/25422.xml 5163782	timeout (wallclock) [out]	MAYBE 208.35/68.77
SRS_Standard/ICFP_2010/96464.xml 5163783	YES 54.39/14.78 (CERTIFIED 0.2)	MAYBE 207.92/67.88
SRS_Standard/ICFP_2010/26974.xml 5163784	timeout (wallclock) [out]	MAYBE 208.60/68.93
SRS_Standard/ICFP_2010/85079.xml 5163785	YES 229.53/58.40 (CERTIFIED 0.3)	MAYBE 208.79/68.24
SRS_Standard/ICFP_2010/135328.xml 5163786	MAYBE 903.54/295.75	MAYBE 209.33/68.81
SRS_Standard/ICFP_2010/97885.xml 5163787	timeout (wallclock) [out]	MAYBE 210.73/71.24
SRS_Standard/ICFP_2010/231300.xml 5163788	YES 18.68/5.71 (CERTIFIED 0.0)	MAYBE 216.00/72.92
SRS_Standard/ICFP_2010/140639.xml 5163789	YES 24.67/7.15 (CERTIFIED 0.4)	MAYBE 207.24/68.14
SRS_Standard/ICFP_2010/212693.xml 5163790	YES 25.81/7.34 (CERTIFIED 0.0)	YES 25.90/7.03 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/139174.xml 5163791	YES 55.95/15.47 (CERTIFIED 0.9)	MAYBE 208.49/69.02
SRS_Standard/ICFP_2010/96256.xml 5163792	timeout (wallclock) [out]	MAYBE 207.73/67.89
SRS_Standard/ICFP_2010/166493.xml 5163793	timeout (wallclock) [out]	MAYBE 209.96/70.31
SRS_Standard/ICFP_2010/259405.xml 5163794	YES 54.38/14.88 (CERTIFIED 0.8)	run script error [out]
SRS_Standard/ICFP_2010/4157.xml 5163795	timeout (wallclock) [out]	MAYBE 208.39/68.00
SRS_Standard/ICFP_2010/86816.xml 5163796	timeout (wallclock) [out]	MAYBE 208.50/68.14
SRS_Standard/ICFP_2010/230780.xml 5163797	YES 29.76/8.42 (CERTIFIED 0.0)	MAYBE 225.50/81.46
SRS_Standard/ICFP_2010/91242.xml 5163798	timeout (wallclock) [out]	MAYBE 208.17/68.78
SRS_Standard/ICFP_2010/149251.xml 5163799	run script error [out]	MAYBE 212.38/72.61
SRS_Standard/ICFP_2010/42321.xml 5163800	YES 67.44/18.53 (CERTIFIED 1.0)	run script error [out]
SRS_Standard/ICFP_2010/140664.xml 5163801	timeout (wallclock) [out]	MAYBE 207.53/68.42
SRS_Standard/ICFP_2010/85294.xml 5163802	timeout (wallclock) [out]	MAYBE 209.01/68.22
SRS_Standard/ICFP_2010/51842.xml 5163803	timeout (wallclock) [out]	MAYBE 222.80/80.08
SRS_Standard/ICFP_2010/26969.xml 5163804	timeout (wallclock) [out]	run script error [out]
SRS_Standard/ICFP_2010/128691.xml 5163805	YES 52.35/16.20 (CERTIFIED 0.9)	MAYBE 207.85/69.00
SRS_Standard/ICFP_2010/27009.xml 5163806	MAYBE 1038.80/295.25	MAYBE 208.56/69.05
SRS_Standard/ICFP_2010/165713.xml 5163807	timeout (wallclock) [out]	MAYBE 209.71/70.05
SRS_Standard/ICFP_2010/26903.xml 5163808	timeout (wallclock) [out]	MAYBE 208.81/69.00
SRS_Standard/ICFP_2010/4953.xml 5163809	timeout (wallclock) [out]	MAYBE 208.86/68.07
SRS_Standard/ICFP_2010/133236.xml 5163810	timeout (wallclock) [out]	run script error [out]
SRS_Standard/ICFP_2010/131633.xml 5163811	timeout (wallclock) [out]	MAYBE 208.70/68.86
SRS_Standard/ICFP_2010/161917.xml 5163812	timeout (wallclock) [out]	MAYBE 209.51/70.47
SRS_Standard/ICFP_2010/128550.xml 5163813	YES 59.54/16.61 (CERTIFIED 1.4)	MAYBE 208.42/69.01
SRS_Standard/ICFP_2010/211471.xml 5163814	YES 29.38/8.28 (CERTIFIED 0.0)	MAYBE 209.80/69.20
SRS_Standard/ICFP_2010/39830.xml 5163815	timeout (wallclock) [out]	MAYBE 209.40/69.83
SRS_Standard/ICFP_2010/57355.xml 5163816	YES 442.86/112.84 (CERTIFIED 0.1)	MAYBE 208.97/68.29
SRS_Standard/ICFP_2010/132611.xml 5163817	YES 38.32/10.38 (CERTIFIED 0.1)	MAYBE 209.51/68.90
SRS_Standard/ICFP_2010/153090.xml 5163818	YES 53.73/14.73 (CERTIFIED 1.2)	MAYBE 209.45/69.85
SRS_Standard/ICFP_2010/159731.xml 5163819	YES 87.10/22.82 (CERTIFIED 1.1)	MAYBE 207.22/67.65
SRS_Standard/ICFP_2010/212037.xml 5163820	YES 107.43/27.75 (CERTIFIED 0.1)	MAYBE 207.15/67.62
SRS_Standard/ICFP_2010/149633.xml 5163821	timeout (wallclock) [out]	MAYBE 212.48/72.67
SRS_Standard/ICFP_2010/133486.xml 5163822	timeout (wallclock) [out]	MAYBE 209.86/69.02
SRS_Standard/ICFP_2010/134918.xml 5163823	timeout (wallclock) [out]	MAYBE 209.97/69.03
SRS_Standard/ICFP_2010/213719.xml 5163824	MAYBE 1093.30/296.11	MAYBE 207.81/67.79
SRS_Standard/ICFP_2010/212263.xml 5163825	YES 29.70/8.30 (CERTIFIED 0.0)	YES 25.17/6.78 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/152694.xml 5163826	timeout (wallclock) [out]	MAYBE 210.05/69.94
SRS_Standard/ICFP_2010/138269.xml 5163827	timeout (wallclock) [out]	MAYBE 209.34/69.01
SRS_Standard/ICFP_2010/157436.xml 5163828	timeout (wallclock) [out]	MAYBE 207.85/67.88
SRS_Standard/ICFP_2010/4964.xml 5163829	timeout (wallclock) [out]	MAYBE 208.76/67.98
SRS_Standard/ICFP_2010/133010.xml 5163830	YES 53.15/15.98 (CERTIFIED 1.4)	MAYBE 208.66/69.04
SRS_Standard/ICFP_2010/247906.xml 5163831	YES 121.72/33.63 (CERTIFIED 1.5)	MAYBE 222.32/77.53
SRS_Standard/ICFP_2010/130472.xml 5163832	timeout (wallclock) [out]	MAYBE 210.74/70.14
SRS_Standard/ICFP_2010/28464.xml 5163833	YES 54.12/14.94 (CERTIFIED 0.1)	YES 63.47/16.95 (CERTIFIED 0.2)
SRS_Standard/ICFP_2010/138468.xml 5163834	YES 43.29/12.27 (CERTIFIED 1.4)	MAYBE 210.11/70.47
SRS_Standard/ICFP_2010/133159.xml 5163835	timeout (wallclock) [out]	MAYBE 209.82/68.93
SRS_Standard/ICFP_2010/211857.xml 5163836	YES 25.35/7.51 (CERTIFIED 0.0)	YES 32.61/9.10 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/96523.xml 5163837	timeout (wallclock) [out]	MAYBE 207.94/67.86
SRS_Standard/ICFP_2010/247504.xml 5163838	YES 11.01/3.70 (CERTIFIED 0.0)	MAYBE 217.04/73.92
SRS_Standard/ICFP_2010/25711.xml 5163839	timeout (wallclock) [out]	MAYBE 208.92/69.13
SRS_Standard/ICFP_2010/86452.xml 5163840	timeout (wallclock) [out]	MAYBE 208.11/67.91
SRS_Standard/ICFP_2010/26993.xml 5163841	timeout (wallclock) [out]	MAYBE 208.49/69.05
SRS_Standard/ICFP_2010/128280.xml 5163842	YES 60.44/17.22 (CERTIFIED 0.8)	MAYBE 208.07/68.96
SRS_Standard/ICFP_2010/158152.xml 5163843	timeout (wallclock) [out]	MAYBE 208.30/67.98
SRS_Standard/ICFP_2010/127538.xml 5163844	YES 66.09/17.74 (CERTIFIED 1.5)	MAYBE 208.34/69.02
SRS_Standard/ICFP_2010/96198.xml 5163845	timeout (wallclock) [out]	MAYBE 207.87/67.82
SRS_Standard/ICFP_2010/27026.xml 5163846	timeout (wallclock) [out]	MAYBE 208.93/69.12
SRS_Standard/ICFP_2010/212795.xml 5163847	YES 246.21/63.02 (CERTIFIED 0.1)	YES 149.35/37.78 (CERTIFIED 232.4)
SRS_Standard/ICFP_2010/26116.xml 5163848	MAYBE 1104.44/294.55	MAYBE 208.71/68.90
SRS_Standard/ICFP_2010/25743.xml 5163849	MAYBE 1136.31/299.58	MAYBE 208.83/69.04
SRS_Standard/ICFP_2010/160475.xml 5163850	timeout (wallclock) [out]	MAYBE 210.06/70.55
SRS_Standard/ICFP_2010/26919.xml 5163851	timeout (wallclock) [out]	MAYBE 209.00/69.15
SRS_Standard/ICFP_2010/26683.xml 5163852	YES 44.82/12.62 (CERTIFIED 0.1)	YES 37.38/9.97 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/27019.xml 5163853	run script error [out]	MAYBE 208.73/68.98
SRS_Standard/ICFP_2010/248060.xml 5163854	YES 25.95/7.44 (CERTIFIED 0.0)	MAYBE 217.67/73.84
SRS_Standard/ICFP_2010/3989.xml 5163855	timeout (wallclock) [out]	YES 148.69/37.61 (CERTIFIED 100.0)
SRS_Standard/ICFP_2010/96029.xml 5163856	timeout (wallclock) [out]	MAYBE 207.77/67.82
SRS_Standard/ICFP_2010/135505.xml 5163857	timeout (wallclock) [out]	MAYBE 210.14/69.96
SRS_Standard/ICFP_2010/27013.xml 5163858	timeout (wallclock) [out]	MAYBE 208.72/68.91
SRS_Standard/ICFP_2010/140631.xml 5163859	timeout (wallclock) [out]	MAYBE 206.99/67.81
SRS_Standard/ICFP_2010/231149.xml 5163860	YES 16.62/5.09 (CERTIFIED 0.0)	MAYBE 211.94/70.51
SRS_Standard/ICFP_2010/85477.xml 5163861	YES 66.35/18.04 (CERTIFIED 0.2)	MAYBE 209.07/68.21
SRS_Standard/ICFP_2010/128486.xml 5163862	YES 38.63/11.16 (CERTIFIED 0.8)	MAYBE 208.09/69.03
SRS_Standard/ICFP_2010/149415.xml 5163863	timeout (wallclock) [out]	MAYBE 212.88/73.07
SRS_Standard/ICFP_2010/124791.xml 5163864	timeout (wallclock) [out]	MAYBE 209.84/68.90
SRS_Standard/ICFP_2010/247020.xml 5163865	YES 27.62/7.81 (CERTIFIED 0.0)	MAYBE 228.55/85.77
SRS_Standard/ICFP_2010/28838.xml 5163866	YES 70.91/18.86 (CERTIFIED 0.1)	ERROR 65.67/17.73
SRS_Standard/ICFP_2010/27131.xml 5163867	YES 54.73/15.07 (CERTIFIED 0.1)	YES 36.57/9.81 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/91254.xml 5163868	MAYBE 805.85/293.23	MAYBE 208.16/68.89
SRS_Standard/ICFP_2010/139018.xml 5163869	YES 53.57/14.94 (CERTIFIED 0.9)	MAYBE 208.46/69.01
SRS_Standard/ICFP_2010/86745.xml 5163870	YES 11.64/4.09 (CERTIFIED 0.1)	MAYBE 207.67/67.94
SRS_Standard/ICFP_2010/26110.xml 5163871	timeout (wallclock) [out]	MAYBE 208.79/68.96
SRS_Standard/ICFP_2010/3533.xml 5163872	timeout (wallclock) [out]	YES 159.05/40.21 (CERTIFIED 127.7)
SRS_Standard/ICFP_2010/139036.xml 5163873	YES 51.41/14.20 (CERTIFIED 1.3)	MAYBE 208.33/69.01
SRS_Standard/ICFP_2010/139180.xml 5163874	YES 72.86/19.37 (CERTIFIED 1.5)	MAYBE 208.26/68.98
SRS_Standard/ICFP_2010/57453.xml 5163875	timeout (wallclock) [out]	run script error [out]
SRS_Standard/ICFP_2010/139378.xml 5163876	YES 44.29/12.36 (CERTIFIED 1.1)	MAYBE 208.54/69.00
SRS_Standard/ICFP_2010/26951.xml 5163877	MAYBE 1155.26/296.57	MAYBE 208.72/68.93
SRS_Standard/ICFP_2010/27030.xml 5163878	YES 45.83/12.76 (CERTIFIED 0.1)	YES 41.16/10.85 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/153288.xml 5163879	YES 142.41/36.87 (CERTIFIED 1.1)	MAYBE 209.00/69.74
SRS_Standard/ICFP_2010/136571.xml 5163880	timeout (wallclock) [out]	MAYBE 209.45/69.83
SRS_Standard/ICFP_2010/138254.xml 5163881	YES 24.39/6.97 (CERTIFIED 0.1)	MAYBE 209.95/68.96
SRS_Standard/ICFP_2010/140359.xml 5163882	YES 51.07/13.88 (CERTIFIED 0.9)	MAYBE 208.34/68.98
SRS_Standard/ICFP_2010/186023.xml 5163883	YES 23.15/6.94 (CERTIFIED 0.2)	MAYBE 215.16/70.74
SRS_Standard/ICFP_2010/137136.xml 5163884	timeout (wallclock) [out]	MAYBE 211.00/70.12
SRS_Standard/ICFP_2010/4920.xml 5163885	timeout (wallclock) [out]	MAYBE 208.71/68.00
SRS_Standard/ICFP_2010/48374.xml 5163886	MAYBE 849.64/293.66	MAYBE 207.92/68.06
SRS_Standard/ICFP_2010/88208.xml 5163887	YES 37.81/10.67 (CERTIFIED 0.5)	MAYBE 206.79/67.83
SRS_Standard/ICFP_2010/85380.xml 5163888	timeout (wallclock) [out]	MAYBE 208.81/68.21
SRS_Standard/ICFP_2010/95952.xml 5163889	timeout (wallclock) [out]	MAYBE 208.18/68.08
SRS_Standard/ICFP_2010/96176.xml 5163890	timeout (wallclock) [out]	MAYBE 207.54/67.71
SRS_Standard/ICFP_2010/26954.xml 5163891	timeout (wallclock) [out]	MAYBE 208.85/68.99
SRS_Standard/ICFP_2010/182946.xml 5163892	timeout (wallclock) [out]	MAYBE 213.76/70.62
SRS_Standard/ICFP_2010/41378.xml 5163893	timeout (wallclock) [out]	MAYBE 220.73/77.49
SRS_Standard/ICFP_2010/213051.xml 5163894	YES 51.11/13.66 (CERTIFIED 0.1)	YES 60.88/16.08 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/3831.xml 5163895	timeout (wallclock) [out]	MAYBE 208.07/67.94
SRS_Standard/ICFP_2010/136693.xml 5163896	timeout (wallclock) [out]	MAYBE 212.12/70.26
SRS_Standard/ICFP_2010/160427.xml 5163897	timeout (wallclock) [out]	MAYBE 209.91/70.24
SRS_Standard/ICFP_2010/84977.xml 5163898	timeout (wallclock) [out]	MAYBE 208.94/68.25
SRS_Standard/ICFP_2010/136934.xml 5163899	timeout (wallclock) [out]	MAYBE 211.66/70.22
SRS_Standard/ICFP_2010/24100.xml 5163900	YES 526.44/132.83 (CERTIFIED 0.6)	MAYBE 207.59/68.06
SRS_Standard/ICFP_2010/96119.xml 5163901	MAYBE 809.47/293.97	MAYBE 207.79/67.93
SRS_Standard/ICFP_2010/124211.xml 5163902	timeout (wallclock) [out]	MAYBE 209.73/68.93
SRS_Standard/ICFP_2010/27036.xml 5163903	timeout (wallclock) [out]	MAYBE 208.86/69.04
SRS_Standard/ICFP_2010/138142.xml 5163904	YES 28.97/8.17 (CERTIFIED 0.1)	MAYBE 209.90/68.90
SRS_Standard/ICFP_2010/26127.xml 5163905	MAYBE 998.83/299.16	MAYBE 208.92/69.17
SRS_Standard/ICFP_2010/212117.xml 5163906	YES 49.08/13.18 (CERTIFIED 0.1)	YES 116.23/29.78 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/88156.xml 5163907	YES 70.69/18.67 (CERTIFIED 0.6)	MAYBE 207.16/67.86
SRS_Standard/ICFP_2010/138330.xml 5163908	timeout (wallclock) [out]	MAYBE 209.31/68.90
SRS_Standard/ICFP_2010/40976.xml 5163909	YES 95.79/25.19 (CERTIFIED 1.1)	MAYBE 208.91/69.76
SRS_Standard/ICFP_2010/138477.xml 5163910	timeout (wallclock) [out]	MAYBE 209.85/68.92
SRS_Standard/ICFP_2010/85039.xml 5163911	timeout (wallclock) [out]	MAYBE 208.94/68.33
SRS_Standard/ICFP_2010/40093.xml 5163912	YES 596.42/223.41 (CERTIFIED 0.0)	YES 28.60/7.46 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/132235.xml 5163913	timeout (wallclock) [out]	MAYBE 209.48/69.04
SRS_Standard/ICFP_2010/212534.xml 5163914	YES 78.39/20.46 (CERTIFIED 0.1)	YES 128.31/33.72 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/139214.xml 5163915	YES 66.09/18.05 (CERTIFIED 1.2)	MAYBE 208.35/68.97
SRS_Standard/ICFP_2010/150630.xml 5163916	timeout (wallclock) [out]	MAYBE 212.60/72.88
SRS_Standard/ICFP_2010/160254.xml 5163917	timeout (wallclock) [out]	MAYBE 209.81/70.19
SRS_Standard/ICFP_2010/26910.xml 5163918	timeout (wallclock) [out]	MAYBE 208.89/69.08
SRS_Standard/ICFP_2010/44332.xml 5163919	YES 97.13/25.98 (CERTIFIED 1.2)	MAYBE 209.51/69.85
SRS_Standard/ICFP_2010/188674.xml 5163920	YES 40.94/12.38 (CERTIFIED 0.3)	MAYBE 214.44/70.59
SRS_Standard/ICFP_2010/41838.xml 5163921	MAYBE 960.57/297.14	MAYBE 208.55/68.11
SRS_Standard/ICFP_2010/133532.xml 5163922	timeout (wallclock) [out]	MAYBE 209.98/69.92
SRS_Standard/ICFP_2010/53216.xml 5163923	timeout (wallclock) [out]	MAYBE 223.61/80.07
SRS_Standard/ICFP_2010/25736.xml 5163924	timeout (wallclock) [out]	MAYBE 208.85/68.97
SRS_Standard/ICFP_2010/3268.xml 5163925	YES 32.63/9.45 (CERTIFIED 0.2)	YES 33.34/8.67 (CERTIFIED 3.0)
SRS_Standard/ICFP_2010/186919.xml 5163926	timeout (wallclock) [out]	MAYBE 214.26/70.89
SRS_Standard/ICFP_2010/160398.xml 5163927	timeout (wallclock) [out]	MAYBE 209.77/70.04
SRS_Standard/ICFP_2010/167240.xml 5163928	timeout (wallclock) [out]	MAYBE 209.80/70.15
SRS_Standard/ICFP_2010/85874.xml 5163929	MAYBE 796.17/292.85	MAYBE 208.36/68.04
SRS_Standard/ICFP_2010/88283.xml 5163930	timeout (wallclock) [out]	MAYBE 206.95/67.87
SRS_Standard/ICFP_2010/139025.xml 5163931	YES 44.57/12.32 (CERTIFIED 0.8)	MAYBE 208.35/68.98
SRS_Standard/ICFP_2010/153444.xml 5163932	timeout (wallclock) [out]	MAYBE 211.15/70.14
SRS_Standard/ICFP_2010/212189.xml 5163933	YES 346.50/87.67 (CERTIFIED 0.2)	MAYBE 207.48/67.70
SRS_Standard/ICFP_2010/5109.xml 5163934	timeout (wallclock) [out]	MAYBE 207.61/67.92
SRS_Standard/ICFP_2010/139185.xml 5163935	YES 39.37/11.12 (CERTIFIED 0.8)	MAYBE 208.44/68.99
SRS_Standard/ICFP_2010/85267.xml 5163936	timeout (wallclock) [out]	MAYBE 208.55/68.23
SRS_Standard/ICFP_2010/213865.xml 5163937	YES 43.26/11.64 (CERTIFIED 0.1)	MAYBE 207.93/67.75
SRS_Standard/ICFP_2010/85782.xml 5163938	timeout (wallclock) [out]	MAYBE 208.06/67.94
SRS_Standard/ICFP_2010/98362.xml 5163939	YES 76.26/20.13 (CERTIFIED 0.2)	MAYBE 209.46/68.27
SRS_Standard/ICFP_2010/4200.xml 5163940	timeout (wallclock) [out]	MAYBE 209.33/68.17
SRS_Standard/ICFP_2010/3467.xml 5163941	MAYBE 808.85/299.03	YES 161.71/40.98 (CERTIFIED 808.6)
SRS_Standard/ICFP_2010/139100.xml 5163942	YES 50.07/14.08 (CERTIFIED 0.9)	MAYBE 208.02/69.03
SRS_Standard/ICFP_2010/128182.xml 5163943	YES 47.62/13.56 (CERTIFIED 0.7)	MAYBE 208.32/68.99
SRS_Standard/ICFP_2010/26882.xml 5163944	timeout (wallclock) [out]	MAYBE 208.91/69.16
SRS_Standard/ICFP_2010/147437.xml 5163945	timeout (wallclock) [out]	MAYBE 212.84/73.05
SRS_Standard/ICFP_2010/26132.xml 5163946	timeout (wallclock) [out]	MAYBE 208.11/69.13
SRS_Standard/ICFP_2010/135714.xml 5163947	timeout (wallclock) [out]	MAYBE 211.65/70.18
SRS_Standard/ICFP_2010/124269.xml 5163948	MAYBE 883.62/297.72	MAYBE 210.07/69.03
SRS_Standard/ICFP_2010/262998.xml 5163949	YES 33.25/9.82 (CERTIFIED 0.2)	MAYBE 221.71/81.79
SRS_Standard/ICFP_2010/137087.xml 5163950	timeout (wallclock) [out]	MAYBE 210.96/70.14
SRS_Standard/ICFP_2010/136463.xml 5163951	timeout (wallclock) [out]	MAYBE 209.98/69.96
SRS_Standard/ICFP_2010/214183.xml 5163952	YES 36.05/10.18 (CERTIFIED 0.1)	MAYBE 207.85/67.79
SRS_Standard/ICFP_2010/136534.xml 5163953	MAYBE 894.08/297.95	MAYBE 211.03/70.13
SRS_Standard/ICFP_2010/96104.xml 5163954	timeout (wallclock) [out]	MAYBE 207.93/67.90
SRS_Standard/ICFP_2010/86025.xml 5163955	MAYBE 766.07/300.04	MAYBE 207.91/67.94
SRS_Standard/ICFP_2010/26123.xml 5163956	YES 34.89/10.21 (CERTIFIED 0.0)	YES 28.11/7.36 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/40708.xml 5163957	timeout (wallclock) [out]	YES 38.35/9.93 (CERTIFIED 0.9)
SRS_Standard/ICFP_2010/26943.xml 5163958	timeout (wallclock) [out]	MAYBE 208.75/68.91
SRS_Standard/ICFP_2010/85920.xml 5163959	timeout (wallclock) [out]	MAYBE 207.98/67.92
SRS_Standard/ICFP_2010/212026.xml 5163960	YES 126.05/32.49 (CERTIFIED 0.1)	MAYBE 207.10/67.61
SRS_Standard/ICFP_2010/85749.xml 5163961	YES 10.16/3.44 (CERTIFIED 0.0)	MAYBE 208.50/67.98
SRS_Standard/ICFP_2010/211960.xml 5163962	YES 65.48/17.32 (CERTIFIED 0.1)	MAYBE 207.48/67.72
SRS_Standard/ICFP_2010/167433.xml 5163963	timeout (wallclock) [out]	MAYBE 210.29/70.55
SRS_Standard/ICFP_2010/57799.xml 5163964	YES 84.20/22.25 (CERTIFIED 2.1)	MAYBE 208.56/68.20
SRS_Standard/ICFP_2010/152786.xml 5163965	timeout (wallclock) [out]	MAYBE 212.59/70.26
SRS_Standard/ICFP_2010/165975.xml 5163966	timeout (wallclock) [out]	MAYBE 210.05/70.38
SRS_Standard/ICFP_2010/27003.xml 5163967	timeout (wallclock) [out]	MAYBE 208.68/68.98
SRS_Standard/ICFP_2010/160660.xml 5163968	timeout (wallclock) [out]	MAYBE 209.69/70.02
SRS_Standard/ICFP_2010/25731.xml 5163969	YES 9.66/3.21 (CERTIFIED 0.0)	YES 23.19/6.10 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/142142.xml 5163970	YES 32.88/9.16 (CERTIFIED 0.5)	MAYBE 206.61/68.00
SRS_Standard/ICFP_2010/138089.xml 5163971	run script error [out]	MAYBE 212.37/70.22
SRS_Standard/ICFP_2010/27023.xml 5163972	timeout (wallclock) [out]	MAYBE 208.50/68.86
SRS_Standard/ICFP_2010/84886.xml 5163973	timeout (wallclock) [out]	MAYBE 209.13/68.32
SRS_Standard/ICFP_2010/3865.xml 5163974	timeout (wallclock) [out]	MAYBE 208.83/68.12
SRS_Standard/ICFP_2010/3995.xml 5163975	timeout (wallclock) [out]	MAYBE 208.11/67.96
SRS_Standard/ICFP_2010/137621.xml 5163976	timeout (wallclock) [out]	MAYBE 211.73/70.11
SRS_Standard/ICFP_2010/107193.xml 5163977	timeout (wallclock) [out]	MAYBE 209.74/70.17
SRS_Standard/ICFP_2010/231604.xml 5163978	YES 30.09/8.49 (CERTIFIED 0.0)	MAYBE 230.39/86.06
SRS_Standard/ICFP_2010/138993.xml 5163979	YES 43.69/12.05 (CERTIFIED 1.0)	MAYBE 208.52/69.00
SRS_Standard/ICFP_2010/96156.xml 5163980	timeout (wallclock) [out]	MAYBE 208.07/67.94
SRS_Standard/ICFP_2010/142146.xml 5163981	YES 33.32/9.33 (CERTIFIED 0.6)	MAYBE 207.74/68.42
SRS_Standard/ICFP_2010/63142.xml 5163982	YES 11.73/3.78 (CERTIFIED 0.1)	MAYBE 206.70/67.64
SRS_Standard/ICFP_2010/162075.xml 5163983	timeout (wallclock) [out]	MAYBE 210.23/70.54
SRS_Standard/ICFP_2010/96485.xml 5163984	YES 12.88/4.17 (CERTIFIED 0.0)	MAYBE 207.82/67.88
SRS_Standard/ICFP_2010/43621.xml 5163985	timeout (wallclock) [out]	MAYBE 208.97/69.74
SRS_Standard/ICFP_2010/4819.xml 5163986	run script error [out]	MAYBE 208.37/67.94
SRS_Standard/ICFP_2010/247992.xml 5163987	YES 27.13/7.62 (CERTIFIED 0.0)	MAYBE 219.50/76.97
SRS_Standard/ICFP_2010/135601.xml 5163988	timeout (wallclock) [out]	MAYBE 208.96/69.73
SRS_Standard/ICFP_2010/135782.xml 5163989	MAYBE 795.44/295.48	MAYBE 209.51/68.96
SRS_Standard/ICFP_2010/160210.xml 5163990	MAYBE 1066.58/293.06	MAYBE 210.37/70.77
SRS_Standard/ICFP_2010/157150.xml 5163991	YES 184.97/47.70 (CERTIFIED 5.4)	MAYBE 207.35/68.09
SRS_Standard/ICFP_2010/166001.xml 5163992	timeout (wallclock) [out]	MAYBE 209.96/70.62
SRS_Standard/ICFP_2010/188296.xml 5163993	timeout (wallclock) [out]	MAYBE 213.70/70.61
SRS_Standard/ICFP_2010/26130.xml 5163994	YES 23.98/7.02 (CERTIFIED 0.0)	YES 30.55/7.98 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/26960.xml 5163995	timeout (wallclock) [out]	MAYBE 208.59/69.00
SRS_Standard/ICFP_2010/4282.xml 5163996	timeout (wallclock) [out]	MAYBE 207.54/67.71
SRS_Standard/ICFP_2010/133827.xml 5163997	YES 21.26/6.19 (CERTIFIED 0.1)	MAYBE 210.00/69.03
SRS_Standard/ICFP_2010/85721.xml 5163998	MAYBE 794.79/294.02	MAYBE 208.50/68.06
SRS_Standard/ICFP_2010/149297.xml 5163999	timeout (wallclock) [out]	MAYBE 213.31/73.87
SRS_Standard/ICFP_2010/137404.xml 5164000	timeout (wallclock) [out]	MAYBE 209.20/68.88
SRS_Standard/ICFP_2010/26998.xml 5164001	MAYBE 1069.82/299.08	MAYBE 208.33/69.02
SRS_Standard/ICFP_2010/264370.xml 5164002	YES 4.83/2.08 (CERTIFIED 0.0)	YES 2.11/0.81 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/25416.xml 5164003	timeout (wallclock) [out]	MAYBE 208.96/69.13
SRS_Standard/ICFP_2010/27235.xml 5164004	YES 55.95/15.14 (CERTIFIED 0.1)	YES 42.87/11.63 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/26069.xml 5164005	YES 14.56/4.72 (CERTIFIED 0.0)	YES 26.79/7.02 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/149319.xml 5164006	timeout (wallclock) [out]	MAYBE 212.28/72.39
SRS_Standard/ICFP_2010/160462.xml 5164007	timeout (wallclock) [out]	MAYBE 209.78/70.37
SRS_Standard/ICFP_2010/26291.xml 5164008	YES 31.99/8.97 (CERTIFIED 0.0)	YES 36.60/9.60 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/180915.xml 5164009	timeout (wallclock) [out]	MAYBE 213.55/70.81
SRS_Standard/ICFP_2010/139190.xml 5164010	YES 43.78/12.27 (CERTIFIED 0.7)	MAYBE 208.30/68.97
SRS_Standard/ICFP_2010/26916.xml 5164011	MAYBE 1022.41/297.88	MAYBE 208.62/68.93
SRS_Standard/ICFP_2010/188261.xml 5164012	timeout (wallclock) [out]	MAYBE 214.20/70.65
SRS_Standard/ICFP_2010/162016.xml 5164013	timeout (wallclock) [out]	MAYBE 209.74/70.32
SRS_Standard/ICFP_2010/3786.xml 5164014	timeout (wallclock) [out]	MAYBE 208.07/67.79
SRS_Standard/ICFP_2010/4074.xml 5164015	timeout (wallclock) [out]	MAYBE 209.24/68.16
SRS_Standard/ICFP_2010/42170.xml 5164016	timeout (wallclock) [out]	MAYBE 210.97/70.06
SRS_Standard/ICFP_2010/167087.xml 5164017	timeout (wallclock) [out]	MAYBE 210.22/70.54
SRS_Standard/ICFP_2010/97917.xml 5164018	timeout (wallclock) [out]	MAYBE 210.34/71.03
SRS_Standard/ICFP_2010/254704.xml 5164019	timeout (wallclock) [out]	MAYBE 221.46/82.20
SRS_Standard/ICFP_2010/86636.xml 5164020	timeout (wallclock) [out]	MAYBE 208.13/67.92
SRS_Standard/ICFP_2010/68322.xml 5164021	timeout (wallclock) [out]	MAYBE 208.76/68.17
SRS_Standard/ICFP_2010/132622.xml 5164022	YES 55.34/14.89 (CERTIFIED 0.9)	MAYBE 208.34/68.98
SRS_Standard/ICFP_2010/153170.xml 5164023	timeout (wallclock) [out]	MAYBE 211.72/70.13
SRS_Standard/ICFP_2010/133079.xml 5164024	timeout (wallclock) [out]	MAYBE 209.21/69.79
SRS_Standard/ICFP_2010/26986.xml 5164025	timeout (wallclock) [out]	MAYBE 208.04/69.00
SRS_Standard/ICFP_2010/212612.xml 5164026	YES 121.50/31.50 (CERTIFIED 1.0)	MAYBE 207.51/67.70
SRS_Standard/ICFP_2010/231230.xml 5164027	YES 39.22/10.67 (CERTIFIED 0.0)	MAYBE 225.99/78.87
SRS_Standard/ICFP_2010/135115.xml 5164028	MAYBE 980.55/298.99	MAYBE 209.89/68.91
SRS_Standard/ICFP_2010/230948.xml 5164029	YES 33.64/9.36 (CERTIFIED 0.0)	MAYBE 213.36/72.05
SRS_Standard/ICFP_2010/212043.xml 5164030	YES 73.47/19.25 (CERTIFIED 0.8)	MAYBE 207.55/67.70
SRS_Standard/ICFP_2010/107236.xml 5164031	MAYBE 987.44/295.83	MAYBE 209.51/70.06
SRS_Standard/ICFP_2010/161864.xml 5164032	timeout (wallclock) [out]	MAYBE 209.41/69.83
SRS_Standard/ICFP_2010/149713.xml 5164033	timeout (wallclock) [out]	MAYBE 212.81/73.23
SRS_Standard/ICFP_2010/213437.xml 5164034	YES 75.53/19.74 (CERTIFIED 0.1)	MAYBE 207.49/67.68
SRS_Standard/ICFP_2010/132720.xml 5164035	YES 44.64/12.66 (CERTIFIED 0.9)	MAYBE 208.64/69.05
SRS_Standard/ICFP_2010/153371.xml 5164036	timeout (wallclock) [out]	MAYBE 209.58/69.88
SRS_Standard/ICFP_2010/167742.xml 5164037	YES 88.17/23.46 (CERTIFIED 1.6)	MAYBE 210.28/70.64
SRS_Standard/ICFP_2010/140659.xml 5164038	timeout (wallclock) [out]	MAYBE 207.36/68.16
SRS_Standard/ICFP_2010/50904.xml 5164039	timeout (wallclock) [out]	MAYBE 209.74/70.40
SRS_Standard/ICFP_2010/139167.xml 5164040	YES 52.16/14.60 (CERTIFIED 1.1)	MAYBE 208.55/69.02
SRS_Standard/ICFP_2010/26978.xml 5164041	timeout (wallclock) [out]	MAYBE 208.48/68.83
SRS_Standard/ICFP_2010/4412.xml 5164042	timeout (wallclock) [out]	MAYBE 208.49/68.08
SRS_Standard/ICFP_2010/68535.xml 5164043	YES 217.29/56.10 (CERTIFIED 0.2)	MAYBE 207.45/67.82
SRS_Standard/ICFP_2010/96403.xml 5164044	run script error [out]	MAYBE 207.65/67.80
SRS_Standard/ICFP_2010/183803.xml 5164045	timeout (wallclock) [out]	MAYBE 214.50/70.71
SRS_Standard/ICFP_2010/149277.xml 5164046	timeout (wallclock) [out]	MAYBE 212.41/72.99
SRS_Standard/ICFP_2010/130962.xml 5164047	YES 210.96/53.94 (CERTIFIED 1.2)	MAYBE 210.79/70.12
SRS_Standard/ICFP_2010/43603.xml 5164048	timeout (wallclock) [out]	MAYBE 223.61/79.95
SRS_Standard/ICFP_2010/86052.xml 5164049	timeout (wallclock) [out]	MAYBE 207.91/67.93
SRS_Standard/ICFP_2010/161593.xml 5164050	timeout (wallclock) [out]	MAYBE 209.68/70.05
SRS_Standard/ICFP_2010/249459.xml 5164051	YES 36.77/10.29 (CERTIFIED 0.0)	MAYBE 217.45/77.09
SRS_Standard/ICFP_2010/140287.xml 5164052	timeout (wallclock) [out]	MAYBE 208.15/69.00
SRS_Standard/ICFP_2010/48686.xml 5164053	timeout (wallclock) [out]	MAYBE 214.33/72.42
SRS_Standard/ICFP_2010/26186.xml 5164054	YES 25.48/7.26 (CERTIFIED 0.0)	YES 32.50/8.50 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/188004.xml 5164055	MAYBE 924.21/298.73	MAYBE 213.34/70.72
SRS_Standard/ICFP_2010/138194.xml 5164056	timeout (wallclock) [out]	MAYBE 209.78/68.88
SRS_Standard/ICFP_2010/25409.xml 5164057	MAYBE 1079.95/299.34	run script error [out]
SRS_Standard/ICFP_2010/186617.xml 5164058	timeout (wallclock) [out]	MAYBE 213.80/70.67
SRS_Standard/ICFP_2010/136323.xml 5164059	timeout (wallclock) [out]	MAYBE 211.81/70.18
SRS_Standard/ICFP_2010/4934.xml 5164060	timeout (wallclock) [out]	MAYBE 208.38/67.91
SRS_Standard/ICFP_2010/58194.xml 5164061	MAYBE 1066.30/295.20	MAYBE 208.87/68.38
SRS_Standard/ICFP_2010/43987.xml 5164062	timeout (wallclock) [out]	MAYBE 210.54/70.01
SRS_Standard/ICFP_2010/188238.xml 5164063	timeout (wallclock) [out]	MAYBE 215.17/70.97
SRS_Standard/ICFP_2010/135936.xml 5164064	MAYBE 950.33/295.67	MAYBE 209.81/68.88
SRS_Standard/ICFP_2010/29415.xml 5164065	YES 144.96/37.97 (CERTIFIED 2.3)	MAYBE 212.94/72.96
SRS_Standard/ICFP_2010/26931.xml 5164066	timeout (wallclock) [out]	MAYBE 208.80/69.09
SRS_Standard/ICFP_2010/96065.xml 5164067	timeout (wallclock) [out]	MAYBE 208.00/67.92
SRS_Standard/ICFP_2010/39849.xml 5164068	YES 55.69/15.38 (CERTIFIED 0.2)	MAYBE 207.27/67.68
SRS_Standard/ICFP_2010/68989.xml 5164069	YES 18.87/5.57 (CERTIFIED 0.1)	MAYBE 207.67/67.86
SRS_Standard/ICFP_2010/123759.xml 5164070	timeout (wallclock) [out]	MAYBE 210.09/68.94
SRS_Standard/ICFP_2010/187837.xml 5164071	timeout (wallclock) [out]	MAYBE 213.89/70.75
SRS_Standard/ICFP_2010/150188.xml 5164072	timeout (wallclock) [out]	MAYBE 213.15/73.30
SRS_Standard/ICFP_2010/96642.xml 5164073	YES 73.45/19.27 (CERTIFIED 0.2)	MAYBE 207.68/67.83
SRS_Standard/ICFP_2010/96438.xml 5164074	YES 291.89/85.81 (CERTIFIED 3.6)	MAYBE 207.42/67.75
SRS_Standard/ICFP_2010/25726.xml 5164075	timeout (wallclock) [out]	MAYBE 208.41/68.90
SRS_Standard/ICFP_2010/133432.xml 5164076	timeout (wallclock) [out]	MAYBE 211.64/70.19
SRS_Standard/ICFP_2010/247254.xml 5164077	YES 28.94/11.11 (CERTIFIED 0.0)	MAYBE 225.94/80.61
SRS_Standard/ICFP_2010/28643.xml 5164078	YES 68.50/18.00 (CERTIFIED 0.1)	ERROR 44.78/12.53
SRS_Standard/ICFP_2010/137623.xml 5164079	YES 19.67/6.06 (CERTIFIED 0.1)	MAYBE 210.12/69.04
SRS_Standard/ICFP_2010/85834.xml 5164080	YES 12.41/3.88 (CERTIFIED 0.1)	MAYBE 208.57/68.03
SRS_Standard/ICFP_2010/58125.xml 5164081	timeout (wallclock) [out]	MAYBE 212.66/73.14
SRS_Standard/ICFP_2010/132848.xml 5164082	timeout (wallclock) [out]	run script error [out]
SRS_Standard/ICFP_2010/42683.xml 5164083	YES 48.99/13.28 (CERTIFIED 1.0)	MAYBE 209.33/69.84
SRS_Standard/ICFP_2010/86577.xml 5164084	timeout (wallclock) [out]	MAYBE 207.85/67.87
SRS_Standard/ICFP_2010/4991.xml 5164085	timeout (wallclock) [out]	MAYBE 208.17/67.81
SRS_Standard/ICFP_2010/3633.xml 5164086	timeout (wallclock) [out]	MAYBE 208.82/68.03
SRS_Standard/ICFP_2010/26875.xml 5164087	timeout (wallclock) [out]	MAYBE 209.18/69.14
SRS_Standard/ICFP_2010/139004.xml 5164088	YES 59.48/16.09 (CERTIFIED 1.1)	MAYBE 208.51/69.00
SRS_Standard/ICFP_2010/212364.xml 5164089	YES 899.12/228.29 (CERTIFIED 0.4)	MAYBE 207.69/67.70
SRS_Standard/ICFP_2010/96563.xml 5164090	run script error [out]	YES 146.10/37.05 (CERTIFIED 95.5)
SRS_Standard/ICFP_2010/96086.xml 5164091	YES 13.43/4.29 (CERTIFIED 0.0)	YES 2.41/0.99 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/231480.xml 5164092	YES 31.49/8.89 (CERTIFIED 0.0)	MAYBE 227.98/82.22
SRS_Standard/ICFP_2010/135410.xml 5164093	timeout (wallclock) [out]	MAYBE 210.13/69.98
SRS_Standard/ICFP_2010/48328.xml 5164094	MAYBE 882.68/298.63	MAYBE 207.25/67.93
SRS_Standard/ICFP_2010/3705.xml 5164095	timeout (wallclock) [out]	MAYBE 209.23/68.14
SRS_Standard/ICFP_2010/3746.xml 5164096	YES 31.61/8.76 (CERTIFIED 0.1)	MAYBE 208.26/67.80
SRS_Standard/ICFP_2010/91233.xml 5164097	YES 66.68/18.16 (CERTIFIED 0.5)	MAYBE 207.92/68.89
SRS_Standard/ICFP_2010/161519.xml 5164098	YES 219.63/56.89 (CERTIFIED 3.8)	MAYBE 209.78/70.21
SRS_Standard/ICFP_2010/142157.xml 5164099	timeout (wallclock) [out]	MAYBE 207.24/68.10
SRS_Standard/ICFP_2010/150725.xml 5164100	timeout (wallclock) [out]	MAYBE 212.48/72.94
SRS_Standard/ICFP_2010/57278.xml 5164101	timeout (wallclock) [out]	MAYBE 208.12/68.13
SRS_Standard/ICFP_2010/263745.xml 5164102	YES 50.01/14.34 (CERTIFIED 0.7)	MAYBE 221.68/82.19
SRS_Standard/ICFP_2010/25395.xml 5164103	timeout (wallclock) [out]	MAYBE 208.94/69.10
SRS_Standard/ICFP_2010/150468.xml 5164104	timeout (wallclock) [out]	MAYBE 213.23/73.53
SRS_Standard/ICFP_2010/167041.xml 5164105	timeout (wallclock) [out]	MAYBE 209.68/70.13
SRS_Standard/ICFP_2010/4051.xml 5164106	MAYBE 733.34/296.69	MAYBE 207.79/67.83
SRS_Standard/ICFP_2010/26976.xml 5164107	timeout (wallclock) [out]	MAYBE 208.95/68.93
SRS_Standard/ICFP_2010/26957.xml 5164108	MAYBE 1179.56/297.62	MAYBE 208.54/68.91
SRS_Standard/ICFP_2010/4248.xml 5164109	MAYBE 791.04/296.28	MAYBE 208.48/67.88
SRS_Standard/ICFP_2010/4840.xml 5164110	timeout (wallclock) [out]	YES 150.01/37.92 (CERTIFIED 72.3)
SRS_Standard/ICFP_2010/81452.xml 5164111	timeout (wallclock) [out]	MAYBE 207.95/67.89
SRS_Standard/ICFP_2010/140654.xml 5164112	YES 40.56/11.62 (CERTIFIED 0.7)	MAYBE 206.89/67.63
SRS_Standard/ICFP_2010/231378.xml 5164113	YES 22.09/6.39 (CERTIFIED 0.0)	MAYBE 218.95/77.04
SRS_Standard/ICFP_2010/128515.xml 5164114	YES 55.64/14.93 (CERTIFIED 0.9)	MAYBE 208.30/68.97
SRS_Standard/ICFP_2010/151247.xml 5164115	timeout (wallclock) [out]	MAYBE 213.26/73.52
SRS_Standard/ICFP_2010/128620.xml 5164116	YES 52.95/14.84 (CERTIFIED 0.8)	MAYBE 208.33/68.97
SRS_Standard/ICFP_2010/230819.xml 5164117	YES 16.16/5.19 (CERTIFIED 0.0)	MAYBE 209.92/69.65
SRS_Standard/ICFP_2010/212892.xml 5164118	YES 54.16/14.50 (CERTIFIED 0.1)	YES 82.45/22.06 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/85590.xml 5164119	timeout (wallclock) [out]	MAYBE 208.41/67.96
SRS_Standard/ICFP_2010/85345.xml 5164120	timeout (wallclock) [out]	MAYBE 208.71/68.18
SRS_Standard/ICFP_2010/166558.xml 5164121	timeout (wallclock) [out]	MAYBE 210.11/70.51
SRS_Standard/ICFP_2010/96302.xml 5164122	timeout (wallclock) [out]	MAYBE 207.44/67.83
SRS_Standard/ICFP_2010/26965.xml 5164123	timeout (wallclock) [out]	MAYBE 208.85/69.00
SRS_Standard/ICFP_2010/160234.xml 5164124	YES 23.47/6.99 (CERTIFIED 0.1)	YES 49.18/13.22 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/27006.xml 5164125	timeout (wallclock) [out]	MAYBE 208.75/68.95
SRS_Standard/ICFP_2010/4970.xml 5164126	timeout (wallclock) [out]	YES 69.74/17.83 (CERTIFIED 27.1)
SRS_Standard/ICFP_2010/3498.xml 5164127	timeout (wallclock) [out]	MAYBE 207.45/67.77
SRS_Standard/ICFP_2010/43650.xml 5164128	timeout (wallclock) [out]	MAYBE 224.45/79.92
SRS_Standard/ICFP_2010/3450.xml 5164129	timeout (wallclock) [out]	MAYBE 209.09/68.01
SRS_Standard/ICFP_2010/213281.xml 5164130	YES 26.16/7.56 (CERTIFIED 0.1)	YES 46.28/12.18 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/188696.xml 5164131	timeout (wallclock) [out]	MAYBE 213.49/70.65
SRS_Standard/ICFP_2010/150258.xml 5164132	timeout (wallclock) [out]	MAYBE 212.23/73.19
SRS_Standard/ICFP_2010/214091.xml 5164133	YES 22.50/6.60 (CERTIFIED 0.1)	YES 23.99/6.51 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/45720.xml 5164134	timeout (wallclock) [out]	MAYBE 209.04/68.30
SRS_Standard/ICFP_2010/213407.xml 5164135	YES 36.02/9.85 (CERTIFIED 0.1)	YES 52.07/13.66 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/157713.xml 5164136	timeout (wallclock) [out]	MAYBE 209.25/69.79
SRS_Standard/ICFP_2010/212308.xml 5164137	YES 55.73/15.38 (CERTIFIED 0.7)	MAYBE 207.04/67.59
SRS_Standard/ICFP_2010/27015.xml 5164138	timeout (wallclock) [out]	MAYBE 208.59/68.84
SRS_Standard/ICFP_2010/3589.xml 5164139	timeout (wallclock) [out]	MAYBE 208.34/67.92
SRS_Standard/ICFP_2010/132833.xml 5164140	YES 70.00/18.61 (CERTIFIED 0.9)	MAYBE 208.25/68.98
SRS_Standard/ICFP_2010/26879.xml 5164141	MAYBE 1154.44/294.40	MAYBE 208.71/68.99
SRS_Standard/ICFP_2010/133881.xml 5164142	timeout (wallclock) [out]	MAYBE 209.79/69.00
SRS_Standard/ICFP_2010/26226.xml 5164143	YES 38.61/10.78 (CERTIFIED 0.0)	YES 34.51/9.05 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/137715.xml 5164144	timeout (wallclock) [out]	MAYBE 209.00/69.75
SRS_Standard/ICFP_2010/40540.xml 5164145	YES 54.57/15.18 (CERTIFIED 1.1)	MAYBE 209.39/69.83
SRS_Standard/ICFP_2010/213537.xml 5164146	YES 65.40/17.80 (CERTIFIED 0.1)	MAYBE 206.72/67.55
SRS_Standard/ICFP_2010/130304.xml 5164147	timeout (wallclock) [out]	MAYBE 210.61/70.02
SRS_Standard/ICFP_2010/51424.xml 5164148	timeout (wallclock) [out]	MAYBE 223.56/80.02
SRS_Standard/ICFP_2010/96274.xml 5164149	YES 9.85/3.52 (CERTIFIED 0.0)	MAYBE 208.22/67.95
SRS_Standard/ICFP_2010/150815.xml 5164150	timeout (wallclock) [out]	MAYBE 213.48/73.79
SRS_Standard/ICFP_2010/3680.xml 5164151	timeout (wallclock) [out]	MAYBE 207.91/67.98
SRS_Standard/ICFP_2010/136601.xml 5164152	timeout (wallclock) [out]	MAYBE 210.67/70.04
SRS_Standard/ICFP_2010/153034.xml 5164153	timeout (wallclock) [out]	MAYBE 211.94/70.14
SRS_Standard/ICFP_2010/149915.xml 5164154	timeout (wallclock) [out]	MAYBE 212.70/72.86
SRS_Standard/ICFP_2010/4036.xml 5164155	MAYBE 823.35/294.09	MAYBE 208.58/68.06
SRS_Standard/ICFP_2010/95858.xml 5164156	MAYBE 874.11/297.49	MAYBE 208.01/67.93
SRS_Standard/ICFP_2010/167636.xml 5164157	YES 136.95/35.97 (CERTIFIED 2.9)	MAYBE 210.39/70.77
SRS_Standard/ICFP_2010/85675.xml 5164158	YES 9.34/3.11 (CERTIFIED 0.0)	MAYBE 208.17/67.92
SRS_Standard/ICFP_2010/26949.xml 5164159	timeout (wallclock) [out]	MAYBE 208.78/68.98
SRS_Standard/ICFP_2010/86499.xml 5164160	timeout (wallclock) [out]	MAYBE 208.12/67.91
SRS_Standard/ICFP_2010/56144.xml 5164161	YES 87.43/23.30 (CERTIFIED 1.2)	MAYBE 209.50/69.84
SRS_Standard/ICFP_2010/214261.xml 5164162	YES 72.02/18.99 (CERTIFIED 0.1)	MAYBE 207.74/67.72
SRS_Standard/ICFP_2010/54097.xml 5164163	timeout (wallclock) [out]	MAYBE 222.59/78.78
SRS_Standard/ICFP_2010/166465.xml 5164164	timeout (wallclock) [out]	MAYBE 209.55/69.96
SRS_Standard/ICFP_2010/3817.xml 5164165	timeout (wallclock) [out]	MAYBE 208.87/68.05
SRS_Standard/ICFP_2010/4141.xml 5164166	timeout (wallclock) [out]	MAYBE 208.58/67.92
SRS_Standard/ICFP_2010/214320.xml 5164167	YES 21.02/6.39 (CERTIFIED 0.1)	YES 130.56/33.36 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/166848.xml 5164168	timeout (wallclock) [out]	MAYBE 210.34/70.52
SRS_Standard/ICFP_2010/4181.xml 5164169	YES 10.49/3.59 (CERTIFIED 0.0)	MAYBE 208.21/68.01
SRS_Standard/ICFP_2010/26103.xml 5164170	YES 12.96/4.07 (CERTIFIED 0.0)	YES 26.98/7.07 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/26980.xml 5164171	MAYBE 1108.94/296.59	MAYBE 208.69/68.80
SRS_Standard/ICFP_2010/3562.xml 5164172	timeout (wallclock) [out]	MAYBE 208.57/68.03
SRS_Standard/ICFP_2010/187254.xml 5164173	YES 25.58/7.60 (CERTIFIED 0.1)	MAYBE 213.43/70.75
SRS_Standard/ICFP_2010/58301.xml 5164174	YES 57.99/15.96 (CERTIFIED 0.1)	MAYBE 209.04/68.34
SRS_Standard/ICFP_2010/157161.xml 5164175	timeout (wallclock) [out]	MAYBE 207.91/68.06
SRS_Standard/ICFP_2010/184957.xml 5164176	timeout (wallclock) [out]	MAYBE 214.21/70.66
SRS_Standard/ICFP_2010/165755.xml 5164177	timeout (wallclock) [out]	MAYBE 209.76/70.08
SRS_Standard/ICFP_2010/4002.xml 5164178	YES 49.85/13.50 (CERTIFIED 0.3)	YES 73.78/18.80 (CERTIFIED 37.9)
SRS_Standard/ICFP_2010/137316.xml 5164179	timeout (wallclock) [out]	MAYBE 209.83/69.93
SRS_Standard/ICFP_2010/42466.xml 5164180	timeout (wallclock) [out]	MAYBE 210.37/69.99
SRS_Standard/ICFP_2010/249386.xml 5164181	YES 62.88/16.64 (CERTIFIED 0.0)	MAYBE 216.36/73.68
SRS_Standard/ICFP_2010/26972.xml 5164182	run script error [out]	run script error [out]
SRS_Standard/ICFP_2010/54622.xml 5164183	YES 9.32/3.36 (CERTIFIED 0.0)	YES 39.72/23.51 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/57852.xml 5164184	YES 72.59/19.23 (CERTIFIED 0.4)	MAYBE 212.68/73.13
SRS_Standard/ICFP_2010/51577.xml 5164185	timeout (wallclock) [out]	MAYBE 224.71/80.22
SRS_Standard/ICFP_2010/136562.xml 5164186	timeout (wallclock) [out]	MAYBE 209.51/68.91
SRS_Standard/ICFP_2010/132969.xml 5164187	timeout (wallclock) [out]	MAYBE 209.43/68.89
SRS_Standard/ICFP_2010/4827.xml 5164188	timeout (wallclock) [out]	MAYBE 207.52/67.75
SRS_Standard/ICFP_2010/186810.xml 5164189	timeout (wallclock) [out]	MAYBE 213.35/70.68
SRS_Standard/ICFP_2010/140318.xml 5164190	YES 54.18/15.15 (CERTIFIED 0.8)	MAYBE 208.33/68.97
SRS_Standard/ICFP_2010/96612.xml 5164191	MAYBE 789.30/295.72	MAYBE 207.93/67.89
SRS_Standard/ICFP_2010/27034.xml 5164192	timeout (wallclock) [out]	MAYBE 208.93/69.09
SRS_Standard/ICFP_2010/132782.xml 5164193	YES 43.52/12.05 (CERTIFIED 0.9)	MAYBE 208.29/68.98
SRS_Standard/ICFP_2010/95899.xml 5164194	timeout (wallclock) [out]	MAYBE 208.37/68.05
SRS_Standard/ICFP_2010/25808.xml 5164195	timeout (wallclock) [out]	MAYBE 207.61/69.20
SRS_Standard/ICFP_2010/86526.xml 5164196	timeout (wallclock) [out]	MAYBE 209.24/68.30
SRS_Standard/ICFP_2010/212094.xml 5164197	YES 56.20/15.37 (CERTIFIED 0.1)	MAYBE 207.55/67.70
SRS_Standard/ICFP_2010/211639.xml 5164198	YES 29.36/10.39 (CERTIFIED 0.0)	MAYBE 214.62/74.26
SRS_Standard/ICFP_2010/41843.xml 5164199	YES 870.27/256.88 (CERTIFIED 0.7)	MAYBE 208.21/67.98
SRS_Standard/ICFP_2010/139236.xml 5164200	YES 46.82/13.39 (CERTIFIED 0.8)	MAYBE 208.39/69.02
SRS_Standard/ICFP_2010/25734.xml 5164201	MAYBE 1120.57/294.90	MAYBE 208.67/68.97
SRS_Standard/ICFP_2010/96370.xml 5164202	YES 37.68/10.57 (CERTIFIED 0.1)	MAYBE 208.13/67.95
SRS_Standard/ICFP_2010/3729.xml 5164203	timeout (wallclock) [out]	MAYBE 208.09/67.96
SRS_Standard/ICFP_2010/48262.xml 5164204	timeout (wallclock) [out]	MAYBE 208.06/68.07
SRS_Standard/ICFP_2010/95978.xml 5164205	MAYBE 770.28/293.56	MAYBE 208.55/68.10
SRS_Standard/ICFP_2010/96673.xml 5164206	timeout (wallclock) [out]	MAYBE 207.72/67.93
SRS_Standard/ICFP_2010/3939.xml 5164207	timeout (wallclock) [out]	MAYBE 208.37/67.93
SRS_Standard/ICFP_2010/25849.xml 5164208	MAYBE 1127.70/300.34	MAYBE 208.88/69.04
SRS_Standard/ICFP_2010/158620.xml 5164209	YES 74.07/19.77 (CERTIFIED 1.4)	MAYBE 209.52/69.85
SRS_Standard/ICFP_2010/25388.xml 5164210	MAYBE 989.88/295.16	MAYBE 208.93/69.11
SRS_Standard/ICFP_2010/3336.xml 5164211	YES 37.91/11.16 (CERTIFIED 0.1)	YES 30.67/8.23 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/3385.xml 5164212	YES 75.85/20.07 (CERTIFIED 0.7)	YES 50.20/12.91 (CERTIFIED 8.7)
SRS_Standard/ICFP_2010/27028.xml 5164213	timeout (wallclock) [out]	MAYBE 208.78/68.92
SRS_Standard/ICFP_2010/26933.xml 5164214	timeout (wallclock) [out]	MAYBE 208.97/69.14
SRS_Standard/ICFP_2010/167452.xml 5164215	timeout (wallclock) [out]	MAYBE 210.29/70.48
SRS_Standard/ICFP_2010/128056.xml 5164216	MAYBE 852.47/294.15	MAYBE 208.49/69.03
SRS_Standard/ICFP_2010/186222.xml 5164217	timeout (wallclock) [out]	MAYBE 215.14/70.70
SRS_Standard/ICFP_2010/212480.xml 5164218	YES 44.44/11.96 (CERTIFIED 0.1)	YES 49.23/13.66 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/136354.xml 5164219	MAYBE 971.11/295.69	MAYBE 209.25/69.82
SRS_Standard/ICFP_2010/107220.xml 5164220	MAYBE 896.00/298.59	MAYBE 208.97/69.82
SRS_Standard/ICFP_2010/150067.xml 5164221	timeout (wallclock) [out]	MAYBE 212.30/72.85
SRS_Standard/ICFP_2010/264405.xml 5164222	YES 4.64/1.90 (CERTIFIED 0.0)	YES 2.28/0.84 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/85650.xml 5164223	YES 65.49/18.62 (CERTIFIED 0.2)	MAYBE 208.84/68.06
SRS_Standard/ICFP_2010/136497.xml 5164224	timeout (wallclock) [out]	MAYBE 209.07/69.76
SRS_Standard/ICFP_2010/135652.xml 5164225	timeout (wallclock) [out]	MAYBE 209.86/68.97
SRS_Standard/ICFP_2010/3856.xml 5164226	timeout (wallclock) [out]	MAYBE 208.13/67.95
SRS_Standard/ICFP_2010/57132.xml 5164227	MAYBE 808.72/299.01	MAYBE 209.92/68.44
SRS_Standard/ICFP_2010/25775.xml 5164228	timeout (wallclock) [out]	MAYBE 209.04/69.08
SRS_Standard/ICFP_2010/157388.xml 5164229	YES 61.81/17.40 (CERTIFIED 0.2)	MAYBE 208.87/68.35
SRS_Standard/ICFP_2010/132540.xml 5164230	YES 48.36/13.62 (CERTIFIED 1.0)	MAYBE 208.41/69.01
SRS_Standard/ICFP_2010/58221.xml 5164231	timeout (wallclock) [out]	MAYBE 209.24/68.31
SRS_Standard/ICFP_2010/160364.xml 5164232	timeout (wallclock) [out]	MAYBE 210.73/71.00
SRS_Standard/ICFP_2010/3930.xml 5164233	timeout (wallclock) [out]	MAYBE 208.05/67.85
SRS_Standard/ICFP_2010/86617.xml 5164234	timeout (wallclock) [out]	MAYBE 207.87/68.07
SRS_Standard/ICFP_2010/136280.xml 5164235	timeout (wallclock) [out]	MAYBE 210.67/70.04
SRS_Standard/ICFP_2010/96417.xml 5164236	timeout (wallclock) [out]	MAYBE 207.82/67.96
SRS_Standard/ICFP_2010/4029.xml 5164237	timeout (wallclock) [out]	MAYBE 208.14/67.80
SRS_Standard/ICFP_2010/211915.xml 5164238	YES 35.86/10.27 (CERTIFIED 0.1)	MAYBE 207.59/67.78
SRS_Standard/ICFP_2010/86857.xml 5164239	YES 436.62/119.89 (CERTIFIED 0.2)	MAYBE 207.51/67.86
SRS_Standard/ICFP_2010/160324.xml 5164240	timeout (wallclock) [out]	MAYBE 209.59/69.98
SRS_Standard/ICFP_2010/26940.xml 5164241	timeout (wallclock) [out]	MAYBE 208.83/69.01
SRS_Standard/ICFP_2010/130161.xml 5164242	timeout (wallclock) [out]	MAYBE 210.74/70.07
SRS_Standard/ICFP_2010/4816.xml 5164243	timeout (wallclock) [out]	MAYBE 209.22/68.18
SRS_Standard/ICFP_2010/96224.xml 5164244	YES 16.96/5.06 (CERTIFIED 0.0)	YES 3.47/1.32 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/142150.xml 5164245	timeout (wallclock) [out]	MAYBE 207.03/68.06
SRS_Standard/ICFP_2010/153243.xml 5164246	timeout (wallclock) [out]	MAYBE 210.77/70.06
SRS_Standard/ICFP_2010/167310.xml 5164247	timeout (wallclock) [out]	MAYBE 209.32/70.04
SRS_Standard/ICFP_2010/249663.xml 5164248	YES 19.73/5.96 (CERTIFIED 0.0)	MAYBE 227.38/80.61
SRS_Standard/ICFP_2010/231043.xml 5164249	YES 29.89/8.45 (CERTIFIED 0.0)	MAYBE 223.34/80.57
SRS_Standard/ICFP_2010/5011.xml 5164250	timeout (wallclock) [out]	YES 148.04/37.40 (CERTIFIED 83.5)
SRS_Standard/ICFP_2010/186775.xml 5164251	timeout (wallclock) [out]	MAYBE 213.77/70.64
SRS_Standard/ICFP_2010/211978.xml 5164252	YES 12.08/3.99 (CERTIFIED 0.1)	YES 25.51/7.02 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/213218.xml 5164253	YES 15.78/4.85 (CERTIFIED 0.1)	YES 25.27/6.86 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/3861.xml 5164254	timeout (wallclock) [out]	MAYBE 208.50/68.08
SRS_Standard/ICFP_2010/186973.xml 5164255	timeout (wallclock) [out]	MAYBE 212.10/70.64
SRS_Standard/ICFP_2010/149361.xml 5164256	timeout (wallclock) [out]	MAYBE 212.41/72.92
SRS_Standard/ICFP_2010/91210.xml 5164257	YES 49.30/13.55 (CERTIFIED 0.5)	MAYBE 208.16/68.90
SRS_Standard/ICFP_2010/259625.xml 5164258	YES 43.61/11.99 (CERTIFIED 0.5)	MAYBE 221.43/82.17
SRS_Standard/ICFP_2010/3927.xml 5164259	timeout (wallclock) [out]	MAYBE 226.62/82.18
SRS_Standard/ICFP_2010/132864.xml 5164260	YES 47.30/12.92 (CERTIFIED 0.9)	MAYBE 208.53/69.02
SRS_Standard/ICFP_2010/132957.xml 5164261	YES 50.14/13.74 (CERTIFIED 1.3)	MAYBE 208.46/69.01
SRS_Standard/ICFP_2010/27280.xml 5164262	YES 52.07/13.99 (CERTIFIED 0.1)	YES 43.40/11.85 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/3762.xml 5164263	timeout (wallclock) [out]	MAYBE 208.62/68.02
SRS_Standard/ICFP_2010/26105.xml 5164264	timeout (wallclock) [out]	MAYBE 208.17/68.70
SRS_Standard/ICFP_2010/139282.xml 5164265	YES 44.15/12.11 (CERTIFIED 0.9)	MAYBE 208.59/69.03
SRS_Standard/ICFP_2010/162244.xml 5164266	timeout (wallclock) [out]	MAYBE 209.73/70.18
SRS_Standard/ICFP_2010/4854.xml 5164267	timeout (wallclock) [out]	MAYBE 208.46/68.06
SRS_Standard/ICFP_2010/65081.xml 5164268	YES 8.01/2.84 (CERTIFIED 0.0)	MAYBE 207.45/67.69
SRS_Standard/ICFP_2010/132738.xml 5164269	YES 45.17/12.59 (CERTIFIED 0.8)	MAYBE 208.34/68.98
SRS_Standard/ICFP_2010/167526.xml 5164270	timeout (wallclock) [out]	MAYBE 209.18/70.01
SRS_Standard/ICFP_2010/213611.xml 5164271	YES 27.71/7.93 (CERTIFIED 0.0)	MAYBE 217.94/76.87
SRS_Standard/ICFP_2010/157603.xml 5164272	timeout (wallclock) [out]	MAYBE 209.34/69.81
SRS_Standard/ICFP_2010/161930.xml 5164273	YES 60.28/16.19 (CERTIFIED 1.1)	MAYBE 209.80/70.08
SRS_Standard/ICFP_2010/165936.xml 5164274	timeout (wallclock) [out]	MAYBE 210.15/70.35
SRS_Standard/ICFP_2010/96239.xml 5164275	timeout (wallclock) [out]	MAYBE 208.15/67.87
SRS_Standard/ICFP_2010/150839.xml 5164276	timeout (wallclock) [out]	MAYBE 211.32/71.69
SRS_Standard/ICFP_2010/214169.xml 5164277	YES 49.60/13.75 (CERTIFIED 0.1)	YES 124.97/32.12 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/88143.xml 5164278	YES 82.54/21.71 (CERTIFIED 0.3)	MAYBE 206.46/67.78
SRS_Standard/ICFP_2010/165904.xml 5164279	timeout (wallclock) [out]	MAYBE 209.94/70.34
SRS_Standard/ICFP_2010/41865.xml 5164280	timeout (wallclock) [out]	MAYBE 210.06/69.95
SRS_Standard/ICFP_2010/186333.xml 5164281	timeout (wallclock) [out]	MAYBE 214.41/70.67
SRS_Standard/ICFP_2010/5076.xml 5164282	timeout (wallclock) [out]	YES 159.07/40.24 (CERTIFIED 172.9)
SRS_Standard/ICFP_2010/4847.xml 5164283	timeout (wallclock) [out]	MAYBE 208.47/67.99
SRS_Standard/ICFP_2010/148543.xml 5164284	timeout (wallclock) [out]	MAYBE 212.97/73.47
SRS_Standard/ICFP_2010/212774.xml 5164285	YES 17.84/5.51 (CERTIFIED 0.1)	YES 54.82/14.54 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/4046.xml 5164286	YES 10.95/3.62 (CERTIFIED 0.0)	YES 23.86/6.36 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/152949.xml 5164287	timeout (wallclock) [out]	MAYBE 211.69/70.17
SRS_Standard/ICFP_2010/137799.xml 5164288	timeout (wallclock) [out]	run script error [out]
SRS_Standard/ICFP_2010/213560.xml 5164289	YES 62.69/17.19 (CERTIFIED 0.1)	MAYBE 207.05/67.62
SRS_Standard/ICFP_2010/167294.xml 5164290	timeout (wallclock) [out]	MAYBE 210.18/70.44
SRS_Standard/ICFP_2010/150877.xml 5164291	timeout (wallclock) [out]	MAYBE 212.65/72.71
SRS_Standard/ICFP_2010/45970.xml 5164292	timeout (wallclock) [out]	MAYBE 211.16/71.07
SRS_Standard/ICFP_2010/97901.xml 5164293	timeout (wallclock) [out]	MAYBE 208.53/69.17
SRS_Standard/ICFP_2010/27134.xml 5164294	YES 53.73/14.38 (CERTIFIED 0.1)	YES 39.64/10.66 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/64160.xml 5164295	MAYBE 672.04/292.29	YES 61.72/15.79 (CERTIFIED 8.0)
SRS_Standard/ICFP_2010/212421.xml 5164296	YES 73.32/19.71 (CERTIFIED 1.1)	YES 35.09/9.44 (CERTIFIED 0.1)
SRS_Standard/ICFP_2010/185628.xml 5164297	timeout (wallclock) [out]	MAYBE 214.62/70.82
SRS_Standard/ICFP_2010/158342.xml 5164298	timeout (wallclock) [out]	MAYBE 210.94/70.07
SRS_Standard/ICFP_2010/26896.xml 5164299	MAYBE 1052.04/296.79	MAYBE 208.97/69.12
SRS_Standard/ICFP_2010/97929.xml 5164300	timeout (wallclock) [out]	MAYBE 210.67/71.13
SRS_Standard/ICFP_2010/213147.xml 5164301	YES 65.00/17.15 (CERTIFIED 0.1)	MAYBE 207.44/67.63
SRS_Standard/ICFP_2010/4017.xml 5164302	timeout (wallclock) [out]	MAYBE 208.53/67.98
SRS_Standard/ICFP_2010/25192.xml 5164303	YES 6.10/2.28 (CERTIFIED 0.0)	YES 0.91/0.50 (CERTIFIED 0.0)
SRS_Standard/ICFP_2010/157466.xml 5164304	timeout (wallclock) [out]	MAYBE 210.19/69.96
SRS_Standard/ICFP_2010/162095.xml 5164305	timeout (wallclock) [out]	MAYBE 209.67/70.01
SRS_Standard/ICFP_2010/40033.xml 5164306	timeout (wallclock) [out]	MAYBE 211.77/70.26
SRS_Standard/ICFP_2010/28293.xml 5164307	YES 69.02/18.22 (CERTIFIED 0.1)	YES 48.96/13.36 (CERTIFIED 0.1)
SRS_Standard/Gebhardt_06/05.xml 5162898	NO 37.00/10.35 (CERTIFIED 0.0)	MAYBE 230.75/67.35
SRS_Standard/Gebhardt_06/03.xml 5162899	NO 7.22/2.62 (CERTIFIED 0.0)	MAYBE 230.82/67.35
SRS_Standard/Gebhardt_06/01.xml 5162900	timeout (cpu) [out]	MAYBE 230.35/67.34
SRS_Standard/Gebhardt_06/12.xml 5162901	NO 26.97/7.62 (CERTIFIED 0.0)	MAYBE 230.19/67.34
SRS_Standard/Gebhardt_06/10.xml 5162902	MAYBE 1181.68/297.16	MAYBE 230.93/67.34
SRS_Standard/Gebhardt_06/06.xml 5162903	NO 1120.75/281.11 (CERTIFIED 0.0)	MAYBE 230.67/67.41
SRS_Standard/Gebhardt_06/02.xml 5162904	YES 1014.51/255.04 (CERTIFIED 0.0)	MAYBE 230.39/67.36
SRS_Standard/Gebhardt_06/14.xml 5162905	YES 39.69/10.83 (CERTIFIED 0.0)	MAYBE 230.51/67.34
SRS_Standard/Gebhardt_06/13.xml 5162906	MAYBE 1163.23/291.70	MAYBE 230.76/67.35
SRS_Standard/Gebhardt_06/20.xml 5162907	timeout (cpu) [out]	MAYBE 231.07/67.34
SRS_Standard/Gebhardt_06/04.xml 5162908	YES 39.71/10.82 (CERTIFIED 0.0)	MAYBE 229.67/67.34
SRS_Standard/Gebhardt_06/17.xml 5162909	YES 38.35/10.54 (CERTIFIED 0.0)	MAYBE 230.90/67.35
SRS_Standard/Gebhardt_06/08.xml 5162910	NO 11.01/3.68 (CERTIFIED 0.0)	MAYBE 230.68/67.35
SRS_Standard/Gebhardt_06/19.xml 5162911	run script error [out]	MAYBE 231.23/67.34
SRS_Standard/Gebhardt_06/16.xml 5162912	YES 13.22/4.25 (CERTIFIED 0.0)	MAYBE 230.57/67.35
SRS_Standard/Gebhardt_06/09.xml 5162913	YES 240.24/61.11 (CERTIFIED 0.0)	MAYBE 230.61/67.34
SRS_Standard/Gebhardt_06/11.xml 5162914	YES 26.64/7.51 (CERTIFIED 0.0)	MAYBE 230.80/67.36
SRS_Standard/Gebhardt_06/07.xml 5162915	YES 22.53/6.50 (CERTIFIED 0.0)	MAYBE 230.89/67.35
SRS_Standard/Gebhardt_06/18.xml 5162916	YES 258.46/65.49 (CERTIFIED 0.0)	MAYBE 231.04/67.35
SRS_Standard/Gebhardt_06/15.xml 5162917	NO 39.82/10.78 (CERTIFIED 0.0)	MAYBE 230.89/67.34
SRS_Standard/Zantema_04/z127.xml 5163240	NO 3.26/1.49 (CERTIFIED 0.0)	NO 1.67/0.68 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z128.xml 5163241	NO 3.29/1.51 (CERTIFIED 0.0)	NO 1.66/0.68 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z106.xml 5163242	YES 9.78/3.16 (CERTIFIED 0.0)	YES 3.30/1.08 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z057.xml 5163243	YES 4.31/1.77 (CERTIFIED 0.0)	YES 22.20/5.83 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z107.xml 5163244	YES 4.58/1.89 (CERTIFIED 0.0)	YES 3.40/1.11 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z054.xml 5163245	YES 23.06/6.60 (CERTIFIED 0.0)	YES 22.59/5.94 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z026.xml 5163246	YES 7.80/2.88 (CERTIFIED 0.0)	YES 1.06/0.53 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z010.xml 5163247	YES 8.31/2.99 (CERTIFIED 0.0)	YES 3.02/1.02 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z111.xml 5163248	YES 26.04/7.42 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Zantema_04/z037.xml 5163249	YES 57.25/15.20 (CERTIFIED 0.0)	YES 23.43/6.15 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z030.xml 5163250	YES 468.86/194.76 (CERTIFIED 0.0)	YES 26.12/6.83 (CERTIFIED 0.3)
SRS_Standard/Zantema_04/z113.xml 5163251	YES 15.60/4.68 (CERTIFIED 0.0)	YES 5.70/1.69 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z011.xml 5163252	YES 10.23/3.54 (CERTIFIED 0.0)	YES 5.63/1.67 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z025.xml 5163253	YES 10.38/3.46 (CERTIFIED 0.0)	YES 0.93/0.49 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z084.xml 5163254	YES 8.56/3.11 (CERTIFIED 0.0)	YES 0.83/0.47 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z007.xml 5163255	YES 8.56/3.69 (CERTIFIED 0.0)	YES 3.11/1.04 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z046.xml 5163256	NO 3.46/1.54 (CERTIFIED 0.0)	NO 1.86/0.74 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z050.xml 5163257	YES 3.81/1.63 (CERTIFIED 0.0)	YES 4.45/1.36 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z028.xml 5163258	YES 26.60/7.52 (CERTIFIED 0.0)	YES 38.98/10.04 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z058.xml 5163259	YES 5.09/2.02 (CERTIFIED 0.0)	YES 8.38/2.37 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z104.xml 5163260	YES 6.21/2.29 (CERTIFIED 0.0)	YES 4.11/1.29 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z061.xml 5163261	YES 3.69/1.65 (CERTIFIED 0.0)	YES 3.24/1.08 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z020.xml 5163262	YES 14.97/4.57 (CERTIFIED 0.0)	YES 22.87/6.01 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/syracuse.xml 5163263	MAYBE 1163.48/293.35	MAYBE 233.86/67.35
SRS_Standard/Zantema_04/z069.xml 5163264	YES 21.62/6.13 (CERTIFIED 0.0)	YES 1.48/0.64 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z055.xml 5163265	YES 3.56/1.62 (CERTIFIED 0.0)	YES 4.52/1.44 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z002.xml 5163266	YES 4.35/1.84 (CERTIFIED 0.0)	YES 5.14/1.55 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z120.xml 5163267	YES 17.43/5.28 (CERTIFIED 0.1)	YES 22.69/5.97 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z097.xml 5163268	MAYBE 642.66/292.24	YES 27.88/7.27 (CERTIFIED 1.1)
SRS_Standard/Zantema_04/z082.xml 5163269	YES 18.00/5.53 (CERTIFIED 0.1)	YES 17.18/4.58 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z116.xml 5163270	YES 4.35/1.87 (CERTIFIED 0.0)	YES 0.79/0.46 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z034.xml 5163271	timeout (wallclock) [out]	MAYBE 230.52/67.34
SRS_Standard/Zantema_04/z014.xml 5163272	YES 11.19/3.51 (CERTIFIED 0.0)	YES 5.09/1.55 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z083.xml 5163273	YES 23.26/6.69 (CERTIFIED 0.0)	YES 16.95/4.52 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z005.xml 5163274	YES 13.21/4.19 (CERTIFIED 0.0)	YES 22.50/5.90 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z068.xml 5163275	YES 14.57/4.68 (CERTIFIED 0.0)	YES 30.15/7.83 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z117.xml 5163276	YES 41.59/11.30 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Zantema_04/z052.xml 5163277	YES 3.60/1.71 (CERTIFIED 0.0)	YES 4.04/1.28 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z044.xml 5163278	NO 3.51/1.63 (CERTIFIED 0.0)	NO 1.72/0.69 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z062.xml 5163279	YES 3.75/1.71 (CERTIFIED 0.0)	YES 3.68/1.18 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z040.xml 5163280	run script error [out]	YES 24.78/6.47 (CERTIFIED 0.1)
SRS_Standard/Zantema_04/z001.xml 5163281	YES 59.67/15.79 (CERTIFIED 0.0)	YES 23.39/6.14 (CERTIFIED 0.2)
SRS_Standard/Zantema_04/z038.xml 5163282	run script error [out]	MAYBE 230.33/67.35
SRS_Standard/Zantema_04/z105.xml 5163283	YES 6.54/2.48 (CERTIFIED 0.0)	YES 4.53/1.42 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z125.xml 5163284	YES 27.54/7.76 (CERTIFIED 0.0)	YES 12.85/3.49 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z041.xml 5163285	timeout (wallclock) [out]	MAYBE 230.46/67.35
SRS_Standard/Zantema_04/z018.xml 5163286	YES 25.74/10.24 (CERTIFIED 0.0)	YES 22.87/5.98 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z085.xml 5163287	YES 3.91/1.75 (CERTIFIED 0.0)	YES 0.85/0.47 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z053.xml 5163288	YES 4.85/1.95 (CERTIFIED 0.0)	YES 4.73/1.46 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z042.xml 5163289	NO 4.03/1.72 (CERTIFIED 0.0)	NO 2.09/0.79 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z095.xml 5163290	YES 170.81/44.10 (CERTIFIED 0.0)	YES 30.88/8.02 (CERTIFIED 1.0)
SRS_Standard/Zantema_04/z003.xml 5163291	YES 19.73/5.80 (CERTIFIED 0.1)	YES 9.87/2.72 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z048.xml 5163292	YES 10.33/3.55 (CERTIFIED 0.0)	YES 23.04/6.06 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z088.xml 5163293	YES 14.71/4.46 (CERTIFIED 0.0)	YES 29.16/7.58 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z103.xml 5163294	YES 27.86/8.00 (CERTIFIED 0.0)	YES 3.92/1.25 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z101.xml 5163295	YES 4.15/1.77 (CERTIFIED 0.0)	YES 0.90/0.47 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z019.xml 5163296	YES 27.17/7.64 (CERTIFIED 0.0)	YES 3.68/1.18 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z077.xml 5163297	YES 14.97/4.53 (CERTIFIED 0.0)	YES 6.00/1.76 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z080.xml 5163298	run script error [out]	YES 35.48/9.15 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z022.xml 5163299	YES 11.58/3.85 (CERTIFIED 0.0)	YES 4.40/1.38 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z109.xml 5163300	YES 4.81/1.91 (CERTIFIED 0.0)	YES 2.85/0.98 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z012.xml 5163301	run script error [out]	YES 1.65/0.67 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z060.xml 5163302	YES 22.28/6.49 (CERTIFIED 0.0)	YES 21.59/5.68 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z121.xml 5163303	YES 14.12/4.46 (CERTIFIED 0.0)	YES 12.21/3.33 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z124.xml 5163304	YES 25.79/9.21 (CERTIFIED 0.0)	YES 1.09/0.53 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z033.xml 5163305	YES 10.21/3.39 (CERTIFIED 0.0)	YES 10.00/2.78 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z076.xml 5163306	YES 10.34/3.42 (CERTIFIED 0.0)	YES 17.49/4.78 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z056.xml 5163307	YES 17.63/5.40 (CERTIFIED 0.0)	YES 21.71/5.74 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z114.xml 5163308	YES 41.06/11.16 (CERTIFIED 0.0)	YES 3.45/1.13 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z015.xml 5163309	YES 12.52/3.91 (CERTIFIED 0.0)	YES 5.31/1.60 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z045.xml 5163310	YES 11.02/3.75 (CERTIFIED 0.0)	YES 22.65/5.96 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z073.xml 5163311	NO 5.08/1.97 (CERTIFIED 0.0)	MAYBE 232.42/67.34
SRS_Standard/Zantema_04/z031.xml 5163312	YES 206.11/52.42 (CERTIFIED 0.1)	YES 26.22/6.86 (CERTIFIED 0.6)
SRS_Standard/Zantema_04/z009.xml 5163313	YES 7.19/2.71 (CERTIFIED 0.0)	YES 2.80/0.97 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z013.xml 5163314	YES 7.94/2.91 (CERTIFIED 0.0)	YES 8.07/2.29 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z123.xml 5163315	YES 23.42/6.80 (CERTIFIED 0.0)	YES 23.93/6.29 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z098.xml 5163316	YES 170.38/43.96 (CERTIFIED 0.0)	YES 26.09/6.81 (CERTIFIED 0.3)
SRS_Standard/Zantema_04/z035.xml 5163317	timeout (wallclock) [out]	MAYBE 230.09/67.34
SRS_Standard/Zantema_04/z075.xml 5163318	YES 19.60/5.75 (CERTIFIED 0.0)	YES 7.50/2.15 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z119.xml 5163319	YES 51.58/13.78 (CERTIFIED 0.0)	YES 11.70/3.20 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z072.xml 5163320	YES 13.29/4.13 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Zantema_04/z079.xml 5163321	MAYBE 1163.95/292.84	run script error [out]
SRS_Standard/Zantema_04/z066.xml 5163322	run script error [out]	YES 19.98/5.26 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z112.xml 5163323	YES 5.30/2.15 (CERTIFIED 0.0)	YES 3.93/1.24 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z118.xml 5163324	YES 7.20/2.67 (CERTIFIED 0.0)	YES 6.83/1.99 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z074.xml 5163325	YES 13.16/4.32 (CERTIFIED 0.0)	YES 19.89/5.26 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z078.xml 5163326	run script error [out]	YES 21.85/5.75 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z102.xml 5163327	YES 4.22/1.81 (CERTIFIED 0.0)	YES 1.38/0.60 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z093.xml 5163328	YES 6.77/2.44 (CERTIFIED 0.0)	YES 0.88/0.47 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z092.xml 5163329	YES 11.55/3.87 (CERTIFIED 0.0)	YES 1.15/0.56 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z039.xml 5163330	YES 26.99/7.98 (CERTIFIED 0.0)	YES 22.87/6.00 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z047.xml 5163331	YES 7.88/2.74 (CERTIFIED 0.0)	YES 22.39/5.90 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z049.xml 5163332	YES 3.51/1.63 (CERTIFIED 0.0)	YES 4.39/1.37 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z006.xml 5163333	YES 9.27/3.07 (CERTIFIED 0.0)	YES 2.20/0.81 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z089.xml 5163334	YES 30.09/10.68 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Zantema_04/z065.xml 5163335	YES 18.34/5.40 (CERTIFIED 0.0)	YES 1.69/0.68 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z008.xml 5163336	YES 22.26/6.41 (CERTIFIED 0.0)	YES 23.22/6.10 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z100.xml 5163337	YES 31.72/8.94 (CERTIFIED 0.0)	YES 24.14/6.32 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z090.xml 5163338	YES 51.96/14.21 (CERTIFIED 0.2)	run script error [out]
SRS_Standard/Zantema_04/z024.xml 5163339	YES 5.11/2.02 (CERTIFIED 0.0)	YES 4.62/1.43 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z096.xml 5163340	NO 3.26/1.51 (CERTIFIED 0.0)	NO 1.49/0.64 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z087.xml 5163341	YES 16.39/4.89 (CERTIFIED 0.0)	YES 3.96/1.26 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z067.xml 5163342	YES 30.12/8.42 (CERTIFIED 0.0)	YES 11.89/3.26 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z023.xml 5163343	YES 11.57/3.80 (CERTIFIED 0.1)	YES 4.60/1.42 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z043.xml 5163344	YES 17.12/5.47 (CERTIFIED 0.0)	YES 23.04/6.05 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z051.xml 5163345	YES 6.02/2.37 (CERTIFIED 0.0)	YES 7.50/2.13 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z091.xml 5163346	YES 23.56/6.81 (CERTIFIED 0.0)	YES 33.09/8.60 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z094.xml 5163347	YES 8.16/2.92 (CERTIFIED 0.0)	YES 4.15/1.30 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z071.xml 5163348	YES 21.04/6.07 (CERTIFIED 0.0)	YES 11.18/3.07 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z032.xml 5163349	YES 97.05/25.19 (CERTIFIED 0.0)	YES 24.28/6.36 (CERTIFIED 0.1)
SRS_Standard/Zantema_04/z017.xml 5163350	YES 8.78/3.13 (CERTIFIED 0.0)	YES 5.83/1.73 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z086.xml 5163351	YES 27.63/10.71 (CERTIFIED 0.0)	YES 30.76/7.97 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z110.xml 5163352	YES 20.94/6.13 (CERTIFIED 0.0)	YES 5.64/1.67 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z122.xml 5163353	YES 9.56/3.29 (CERTIFIED 0.0)	YES 4.05/1.28 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z063.xml 5163354	YES 3.88/1.67 (CERTIFIED 0.0)	YES 4.33/1.35 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z126.xml 5163355	YES 5.18/2.14 (CERTIFIED 0.0)	YES 3.36/1.09 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z115.xml 5163356	YES 17.47/5.25 (CERTIFIED 0.0)	YES 1.29/0.58 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z021.xml 5163357	YES 10.83/3.51 (CERTIFIED 0.0)	YES 4.10/1.28 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z059.xml 5163358	YES 15.34/4.85 (CERTIFIED 0.0)	YES 21.82/5.72 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z070.xml 5163359	YES 25.26/7.07 (CERTIFIED 0.0)	YES 1.40/0.64 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z029.xml 5163360	MAYBE 914.39/296.34	YES 24.35/6.38 (CERTIFIED 0.3)
SRS_Standard/Zantema_04/z036.xml 5163361	run script error [out]	YES 28.38/7.42 (CERTIFIED 0.6)
SRS_Standard/Zantema_04/z004.xml 5163362	YES 20.67/6.02 (CERTIFIED 0.0)	YES 6.16/1.80 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z027.xml 5163363	MAYBE 1058.17/293.78	YES 25.29/6.70 (CERTIFIED 0.3)
SRS_Standard/Zantema_04/z108.xml 5163364	YES 5.35/2.05 (CERTIFIED 0.0)	YES 1.46/0.62 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z064.xml 5163365	YES 8.86/3.19 (CERTIFIED 0.0)	YES 11.65/3.18 (CERTIFIED 0.0)
SRS_Standard/Zantema_04/z081.xml 5163366	YES 14.34/4.50 (CERTIFIED 0.0)	YES 1.98/0.75 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/babaaaaaaa-aaaaaaaababbab.srs.xml 5162977	timeout (wallclock) [out]	MAYBE 230.94/67.35
SRS_Standard/Wenzel_16/abaaabaa-aaabaaababaaab.srs.xml 5162978	timeout (wallclock) [out]	MAYBE 230.31/67.35
SRS_Standard/Wenzel_16/bacaaaaaaa-aaaaaaaabacbac.srs.xml 5162979	timeout (wallclock) [out]	MAYBE 231.02/67.36
SRS_Standard/Wenzel_16/abaabababa-aababababaabab.srs.xml 5162980	timeout (wallclock) [out]	MAYBE 230.52/67.35
SRS_Standard/Wenzel_16/aabaabbaab-aabbaabaabbaa.srs.xml 5162981	MAYBE 739.56/293.13	MAYBE 230.92/67.36
SRS_Standard/Wenzel_16/abaabaaaa-aaaaabaabaab.srs.xml 5162982	timeout (wallclock) [out]	MAYBE 230.49/67.39
SRS_Standard/Wenzel_16/abcbaaaa-aaaaabcbaabcb.srs.xml 5162983	timeout (wallclock) [out]	YES 66.14/16.86 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/aabcbaaaa-aaaaaabcbaabcb.srs.xml 5162984	timeout (wallclock) [out]	YES 44.85/11.52 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaababa-aababababaab.srs.xml 5162985	MAYBE 614.27/293.34	MAYBE 230.60/67.35
SRS_Standard/Wenzel_16/abbaaaaaaa-aaaaaaaaabbabb.srs.xml 5162986	timeout (wallclock) [out]	MAYBE 230.65/67.36
SRS_Standard/Wenzel_16/bababaa-aaaaababababa.srs.xml 5162987	MAYBE 654.91/292.93	MAYBE 230.40/67.34
SRS_Standard/Wenzel_16/abbaaaaaa-aaaaaaabbaaabb.srs.xml 5162988	timeout (wallclock) [out]	MAYBE 230.30/67.34
SRS_Standard/Wenzel_16/abbaaaa-aaaaabbaabb.srs.xml 5162989	timeout (wallclock) [out]	MAYBE 229.52/67.33
SRS_Standard/Wenzel_16/abababaab-aababaabababab.srs.xml 5162990	timeout (wallclock) [out]	MAYBE 229.71/67.36
SRS_Standard/Wenzel_16/aabaaaa-aaaaaabaaab.srs.xml 5162991	MAYBE 635.83/293.44	YES 64.81/16.52 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abbabbbbabb-abbbbabbabbbba.srs.xml 5162992	timeout (wallclock) [out]	MAYBE 230.59/67.37
SRS_Standard/Wenzel_16/aaabaaaaa-aaaaaaaabaaaab.srs.xml 5162993	timeout (wallclock) [out]	MAYBE 230.61/67.34
SRS_Standard/Wenzel_16/baabbaaaab-aabbaaaabbaab.srs.xml 5162994	timeout (wallclock) [out]	MAYBE 230.67/67.35
SRS_Standard/Wenzel_16/abababaab-aabaabababab.srs.xml 5162995	YES 146.12/38.40 (CERTIFIED 0.0)	MAYBE 230.37/67.35
SRS_Standard/Wenzel_16/abbaaaaaaa-aaaaaaaabbaabb.srs.xml 5162996	MAYBE 728.67/300.10	MAYBE 230.26/67.34
SRS_Standard/Wenzel_16/bbcaaaaaaa-aaaaaaabbcbbca.srs.xml 5162997	timeout (wallclock) [out]	MAYBE 231.48/67.35
SRS_Standard/Wenzel_16/ababaaaaaaa-aaaaaaaababab.srs.xml 5162998	MAYBE 839.17/296.94	MAYBE 230.14/67.35
SRS_Standard/Wenzel_16/baabababba-abababbaababab.srs.xml 5162999	timeout (wallclock) [out]	YES 92.92/23.50 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaba-aababababaab.srs.xml 5163000	MAYBE 856.45/292.53	MAYBE 230.49/67.34
SRS_Standard/Wenzel_16/abcbaaaaa-aaaaaabcbabcb.srs.xml 5163001	timeout (wallclock) [out]	MAYBE 231.51/67.36
SRS_Standard/Wenzel_16/abaaaaaaa-aaaaaaaababab.srs.xml 5163002	MAYBE 686.26/299.01	MAYBE 230.22/67.35
SRS_Standard/Wenzel_16/abbbaaaaa-aaaaaabbbaabbb.srs.xml 5163003	timeout (wallclock) [out]	MAYBE 230.79/67.36
SRS_Standard/Wenzel_16/aabaaaa-aaaaaabaabaaab.srs.xml 5163004	MAYBE 602.36/292.10	MAYBE 230.56/67.35
SRS_Standard/Wenzel_16/bcbaaaaaaa-aaaaaaabcbbcba.srs.xml 5163005	timeout (wallclock) [out]	MAYBE 231.93/67.34
SRS_Standard/Wenzel_16/ababaabaaba-aabaabaababab.srs.xml 5163006	timeout (wallclock) [out]	MAYBE 230.45/67.36
SRS_Standard/Wenzel_16/babbabbaba-abababbabbabba.srs.xml 5163007	timeout (wallclock) [out]	MAYBE 231.18/67.35
SRS_Standard/Wenzel_16/abaaaa-aaaaabababaab.srs.xml 5163008	timeout (wallclock) [out]	YES 58.35/14.90 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaaaaaaa-aaaaaaaaaabaab.srs.xml 5163009	timeout (wallclock) [out]	MAYBE 230.27/67.34
SRS_Standard/Wenzel_16/ababbabab-abbababababba.srs.xml 5163010	MAYBE 657.53/291.94	MAYBE 230.68/67.34
SRS_Standard/Wenzel_16/baabbaabaab-aabbaabaabbaab.srs.xml 5163011	timeout (wallclock) [out]	MAYBE 231.01/67.34
SRS_Standard/Wenzel_16/abacaaaaa-aaaaaabacaabac.srs.xml 5163012	run script error [out]	MAYBE 231.02/67.35
SRS_Standard/Wenzel_16/aabbcaaaa-aaaaaabbcaabbc.srs.xml 5163013	timeout (wallclock) [out]	MAYBE 231.23/67.34
SRS_Standard/Wenzel_16/abbaaaaaaa-aaaaaaaabbabb.srs.xml 5163014	MAYBE 787.72/292.32	MAYBE 230.69/67.35
SRS_Standard/Wenzel_16/baabbaab-aabbaabaabaabb.srs.xml 5163015	timeout (wallclock) [out]	MAYBE 231.04/67.35
SRS_Standard/Wenzel_16/aaabbaaaa-aaaaaaabbaaabb.srs.xml 5163016	timeout (wallclock) [out]	run script error [out]
SRS_Standard/Wenzel_16/abccaaaaa-aaaaaabccabcc.srs.xml 5163017	timeout (wallclock) [out]	MAYBE 231.21/67.35
SRS_Standard/Wenzel_16/bababaaba-ababaababababa.srs.xml 5163018	timeout (wallclock) [out]	MAYBE 231.02/67.36
SRS_Standard/Wenzel_16/aabccaaaa-aaaaaabccaabcc.srs.xml 5163019	timeout (wallclock) [out]	YES 68.10/17.35 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaaaaa-aaaaaaabaaaab.srs.xml 5163020	timeout (wallclock) [out]	MAYBE 230.43/67.34
SRS_Standard/Wenzel_16/aabaabaaaa-aaaaaabaabaab.srs.xml 5163021	timeout (wallclock) [out]	MAYBE 230.16/67.35
SRS_Standard/Wenzel_16/ababaababa-abaabababaabab.srs.xml 5163022	run script error [out]	MAYBE 230.76/67.35
SRS_Standard/Wenzel_16/abaaababaab-abaababaaababa.srs.xml 5163023	MAYBE 629.51/300.13	MAYBE 230.74/67.35
SRS_Standard/Wenzel_16/abababaababa-ababaabababaab.srs.xml 5163024	MAYBE 646.89/291.93	MAYBE 230.72/67.34
SRS_Standard/Wenzel_16/abaaba-aabababababaab.srs.xml 5163025	timeout (wallclock) [out]	MAYBE 230.41/67.35
SRS_Standard/Wenzel_16/ababaababa-abaababababaab.srs.xml 5163026	timeout (wallclock) [out]	MAYBE 230.51/67.35
SRS_Standard/Wenzel_16/bbcaaaaaa-aaaaaaabbcbbc.srs.xml 5163027	timeout (wallclock) [out]	MAYBE 231.42/67.34
SRS_Standard/Wenzel_16/abaaaaaa-aaaaaaabaaaaab.srs.xml 5163028	timeout (wallclock) [out]	MAYBE 230.12/67.35
SRS_Standard/Wenzel_16/abababaababa-abaababaababab.srs.xml 5163029	timeout (wallclock) [out]	MAYBE 230.54/67.34
SRS_Standard/Wenzel_16/abbaaaaa-aaaaaabbabb.srs.xml 5163030	timeout (wallclock) [out]	MAYBE 230.76/67.35
SRS_Standard/Wenzel_16/abaaaaaa-aaaaaaabaaabab.srs.xml 5163031	run script error [out]	MAYBE 230.69/67.36
SRS_Standard/Wenzel_16/abaaaaaa-aaaaaaaababab.srs.xml 5163032	timeout (wallclock) [out]	MAYBE 230.33/67.36
SRS_Standard/Wenzel_16/abaaaaa-aaaaaabaaaabab.srs.xml 5163033	timeout (wallclock) [out]	MAYBE 230.35/67.34
SRS_Standard/Wenzel_16/aabbaaaabaa-aabaaaabbaaaab.srs.xml 5163034	timeout (wallclock) [out]	MAYBE 230.50/67.35
SRS_Standard/Wenzel_16/ababaababa-aababababaabab.srs.xml 5163035	timeout (wallclock) [out]	MAYBE 230.59/67.36
SRS_Standard/Wenzel_16/abaaaaaaa-aaaaaaaabaaaab.srs.xml 5163036	timeout (wallclock) [out]	MAYBE 229.90/67.36
SRS_Standard/Wenzel_16/abacaabaca-aabacabacaabac.srs.xml 5163037	timeout (wallclock) [out]	run script error [out]
SRS_Standard/Wenzel_16/abbbaaaa-aaaaabbbaaabbb.srs.xml 5163038	run script error [out]	run script error [out]
SRS_Standard/Wenzel_16/aabaaaabaa-aaaabaabaaaab.srs.xml 5163039	MAYBE 875.63/293.43	MAYBE 230.73/67.34
SRS_Standard/Wenzel_16/abcbaabcba-aabcbabcbaabcb.srs.xml 5163040	MAYBE 854.87/300.21	MAYBE 230.97/67.35
SRS_Standard/Wenzel_16/abaababa-aababababaabab.srs.xml 5163041	timeout (wallclock) [out]	MAYBE 230.52/67.36
SRS_Standard/Wenzel_16/abaaaa-aaaaabaabab.srs.xml 5163042	timeout (wallclock) [out]	YES 49.51/12.68 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/bababaa-aaaaaababababa.srs.xml 5163043	timeout (wallclock) [out]	MAYBE 230.54/67.34
SRS_Standard/Wenzel_16/abbcaaaa-aaaaabbcaaabbc.srs.xml 5163044	timeout (wallclock) [out]	MAYBE 231.30/67.35
SRS_Standard/Wenzel_16/caabccaabc-aabccaabcaabcc.srs.xml 5163045	timeout (wallclock) [out]	MAYBE 232.24/67.35
SRS_Standard/Wenzel_16/abaaaa-aaaaabaababaab.srs.xml 5163046	timeout (wallclock) [out]	YES 62.88/16.04 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaabaaaa-aaaaabaaabaaab.srs.xml 5163047	MAYBE 711.97/296.11	MAYBE 230.64/67.37
SRS_Standard/Wenzel_16/abaaaaa-aaaaaabaabaaab.srs.xml 5163048	timeout (wallclock) [out]	MAYBE 230.34/67.34
SRS_Standard/Wenzel_16/babaaaaaa-aaaaaaababbab.srs.xml 5163049	timeout (wallclock) [out]	MAYBE 230.64/67.35
SRS_Standard/Wenzel_16/aaabaaaa-aaaaaaabaaab.srs.xml 5163050	timeout (wallclock) [out]	YES 197.76/49.78 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaaaabaa-aaabaaabaaaaab.srs.xml 5163051	timeout (wallclock) [out]	MAYBE 230.33/67.36
SRS_Standard/Wenzel_16/abbbaaaaa-aaaaaabbbabbb.srs.xml 5163052	MAYBE 1001.40/298.04	MAYBE 230.83/67.35
SRS_Standard/Wenzel_16/bbcaaaaaa-aaaaaabbcbbca.srs.xml 5163053	MAYBE 1095.35/300.36	MAYBE 231.34/67.36
SRS_Standard/Wenzel_16/aabbaaaa-aaaaaabbaabb.srs.xml 5163054	MAYBE 670.79/292.23	YES 61.26/15.62 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/aabbaaba-aabaabbaab.srs.xml 5163055	MAYBE 751.56/300.66	MAYBE 230.18/67.33
SRS_Standard/Wenzel_16/abaaaaa-aaaaaabaaaab.srs.xml 5163056	MAYBE 879.42/294.80	MAYBE 230.30/67.50
SRS_Standard/Wenzel_16/abacababab-ababababacabac.srs.xml 5163057	timeout (wallclock) [out]	run script error [out]
SRS_Standard/Wenzel_16/aabaaaaa-aaaaaaabaaab.srs.xml 5163058	run script error [out]	MAYBE 230.20/67.35
SRS_Standard/Wenzel_16/abaaaaaaa-aaaaaaaaababab.srs.xml 5163059	run script error [out]	MAYBE 230.39/67.34
SRS_Standard/Wenzel_16/aabaaaaa-aaaaaaabaab.srs.xml 5163060	timeout (wallclock) [out]	MAYBE 230.41/67.35
SRS_Standard/Wenzel_16/abaaaa-aaaaabaaabab.srs.xml 5163061	timeout (wallclock) [out]	YES 52.77/13.50 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaaaa-aaaaaababaaaab.srs.xml 5163062	timeout (wallclock) [out]	MAYBE 230.36/67.35
SRS_Standard/Wenzel_16/aabaaabaab-abaaabaabaaab.srs.xml 5163063	timeout (wallclock) [out]	MAYBE 230.86/67.35
SRS_Standard/Wenzel_16/abccaaaaa-aaaaaabccaabcc.srs.xml 5163064	timeout (wallclock) [out]	MAYBE 231.15/67.35
SRS_Standard/Wenzel_16/ababaaba-abaababababaab.srs.xml 5163065	timeout (wallclock) [out]	YES 181.31/45.68 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abbaabbaaba-abaabbaabbaab.srs.xml 5163066	run script error [out]	MAYBE 230.90/67.35
SRS_Standard/Wenzel_16/abbcaaaaa-aaaaaabbcaabbc.srs.xml 5163067	timeout (wallclock) [out]	MAYBE 231.01/67.37
SRS_Standard/Wenzel_16/abababaaab-aaabaaabababab.srs.xml 5163068	timeout (wallclock) [out]	YES 69.00/17.62 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/ababaaaa-aaaaababaaabab.srs.xml 5163069	timeout (wallclock) [out]	MAYBE 230.10/67.35
SRS_Standard/Wenzel_16/aabaaaaaa-aaaaaaaabaaaab.srs.xml 5163070	timeout (wallclock) [out]	MAYBE 230.70/67.35
SRS_Standard/Wenzel_16/abaababa-aabababababaab.srs.xml 5163071	timeout (wallclock) [out]	MAYBE 230.55/67.35
SRS_Standard/Wenzel_16/babbabbaba-ababbabbabba.srs.xml 5163072	YES 219.51/57.86 (CERTIFIED 0.0)	MAYBE 230.94/67.35
SRS_Standard/Wenzel_16/ababbababab-abbababababba.srs.xml 5163073	timeout (wallclock) [out]	MAYBE 229.91/67.34
SRS_Standard/Wenzel_16/bababaaab-aabaaabababab.srs.xml 5163074	YES 132.49/35.05 (CERTIFIED 0.0)	YES 128.53/32.42 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/baababaaab-ababaaababaab.srs.xml 5163075	timeout (wallclock) [out]	MAYBE 230.89/67.37
SRS_Standard/Wenzel_16/bacaaaaaaa-aaaaaaabacbaca.srs.xml 5163076	timeout (wallclock) [out]	MAYBE 231.41/67.36
SRS_Standard/Wenzel_16/aaabaaaaaa-aaaaaaaaabaaab.srs.xml 5163077	timeout (wallclock) [out]	MAYBE 230.48/67.34
SRS_Standard/Wenzel_16/abcbaaaaa-aaaaaabcbaabcb.srs.xml 5163078	timeout (wallclock) [out]	MAYBE 230.91/67.35
SRS_Standard/Wenzel_16/abaaaa-aaaaababaabaab.srs.xml 5163079	timeout (wallclock) [out]	YES 89.39/22.72 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaba-aabababaab.srs.xml 5163080	MAYBE 588.92/295.13	MAYBE 229.03/67.34
SRS_Standard/Wenzel_16/abaababaaab-aababaaababaab.srs.xml 5163081	timeout (wallclock) [out]	MAYBE 230.80/67.35
SRS_Standard/Wenzel_16/ababaabababa-aabababaababab.srs.xml 5163082	timeout (wallclock) [out]	MAYBE 230.65/67.36
SRS_Standard/Wenzel_16/abacaaaa-aaaaabacaaabac.srs.xml 5163083	timeout (wallclock) [out]	YES 122.17/30.86 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaaabaa-aaabaabaaaab.srs.xml 5163084	timeout (wallclock) [out]	MAYBE 230.23/67.34
SRS_Standard/Wenzel_16/abaaaaa-aaaaaababab.srs.xml 5163085	timeout (wallclock) [out]	MAYBE 229.88/67.35
SRS_Standard/Wenzel_16/abaaaaa-aaaaaabababab.srs.xml 5163086	timeout (wallclock) [out]	MAYBE 230.47/67.35
SRS_Standard/Wenzel_16/bababababaa-aababababababa.srs.xml 5163087	timeout (wallclock) [out]	MAYBE 231.19/67.35
SRS_Standard/Wenzel_16/abaaaaaaa-aaaaaaaabaab.srs.xml 5163088	timeout (wallclock) [out]	MAYBE 230.25/67.34
SRS_Standard/Wenzel_16/bacaaaaaa-aaaaaaabacbac.srs.xml 5163089	timeout (wallclock) [out]	MAYBE 231.38/67.36
SRS_Standard/Wenzel_16/bacaaaaaa-aaaaaabacbaca.srs.xml 5163090	timeout (wallclock) [out]	MAYBE 230.93/67.35
SRS_Standard/Wenzel_16/abbcaaaa-aaaaabbcaabbc.srs.xml 5163091	timeout (wallclock) [out]	MAYBE 230.99/67.34
SRS_Standard/Wenzel_16/abaabaaaaa-aaaaaabaabaab.srs.xml 5163092	timeout (wallclock) [out]	MAYBE 230.68/67.36
SRS_Standard/Wenzel_16/abaaaaa-aaaaaaabababab.srs.xml 5163093	timeout (wallclock) [out]	run script error [out]
SRS_Standard/Wenzel_16/abababaaaaa-aaaaaabababab.srs.xml 5163094	timeout (wallclock) [out]	MAYBE 230.55/67.35
SRS_Standard/Wenzel_16/bbcaaaaaaa-aaaaaaaabbcbbc.srs.xml 5163095	timeout (wallclock) [out]	MAYBE 231.43/67.36
SRS_Standard/Wenzel_16/ababaabababa-abaababababaab.srs.xml 5163096	timeout (wallclock) [out]	MAYBE 230.56/67.34
SRS_Standard/Wenzel_16/ababaaaaa-aaaaaababab.srs.xml 5163097	timeout (wallclock) [out]	MAYBE 230.29/67.35
SRS_Standard/Wenzel_16/aabaababaab-aababaabaababa.srs.xml 5163098	timeout (wallclock) [out]	YES 65.56/16.69 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaaaaa-aaaaaaababaaab.srs.xml 5163099	MAYBE 652.42/292.13	MAYBE 230.43/67.35
SRS_Standard/Wenzel_16/ababbabab-abbabababba.srs.xml 5163100	timeout (wallclock) [out]	MAYBE 230.48/67.36
SRS_Standard/Wenzel_16/abccaaaa-aaaaabccaaabcc.srs.xml 5163101	timeout (wallclock) [out]	MAYBE 231.09/67.35
SRS_Standard/Wenzel_16/abaaaaaaaaa-aaaaaaaaaaabab.srs.xml 5163102	timeout (wallclock) [out]	MAYBE 230.33/67.35
SRS_Standard/Wenzel_16/babababaa-aaaabababababa.srs.xml 5163103	timeout (wallclock) [out]	MAYBE 230.73/67.36
SRS_Standard/Wenzel_16/ababaababa-abaabababaab.srs.xml 5163104	timeout (wallclock) [out]	MAYBE 230.46/67.34
SRS_Standard/Wenzel_16/baabbaab-aabbaabaabb.srs.xml 5163105	MAYBE 857.07/297.28	MAYBE 231.19/67.36
SRS_Standard/Wenzel_16/aabaaaa-aaaaaabaab.srs.xml 5163106	timeout (wallclock) [out]	YES 146.51/36.93 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/ababaabaaba-abaabaabaabab.srs.xml 5163107	timeout (wallclock) [out]	YES 216.04/54.34 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/aabababab-ababababaaaaab.srs.xml 5163108	timeout (wallclock) [out]	MAYBE 230.71/67.35
SRS_Standard/Wenzel_16/abbaaba-abaabbaab.srs.xml 5163109	MAYBE 813.64/297.38	MAYBE 230.45/67.34
SRS_Standard/Wenzel_16/abbaaaa-aaaaabbabbaabb.srs.xml 5163110	timeout (wallclock) [out]	YES 65.28/16.64 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/ababaaaaa-aaaaaababaabab.srs.xml 5163111	timeout (wallclock) [out]	MAYBE 230.41/67.36
SRS_Standard/Wenzel_16/abcbaaaa-aaaaabcbaaabcb.srs.xml 5163112	timeout (wallclock) [out]	YES 86.04/21.84 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/aabbaaaaa-aaaaaaabbaaabb.srs.xml 5163113	timeout (wallclock) [out]	MAYBE 230.49/67.34
SRS_Standard/Wenzel_16/bababaa-aaaababababa.srs.xml 5163114	MAYBE 599.53/292.10	MAYBE 230.51/67.36
SRS_Standard/Wenzel_16/aabaababaab-aababaababaaba.srs.xml 5163115	timeout (wallclock) [out]	MAYBE 230.30/67.34
SRS_Standard/Wenzel_16/ababaaaa-aaaaababaabab.srs.xml 5163116	timeout (wallclock) [out]	MAYBE 230.73/67.42
SRS_Standard/Wenzel_16/abaaaa-aaaaabaabaab.srs.xml 5163117	MAYBE 685.43/299.53	YES 63.36/16.15 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaaaaaaa-aaaaaaaaaabab.srs.xml 5163118	timeout (wallclock) [out]	MAYBE 230.25/67.35
SRS_Standard/Wenzel_16/abaaaaabaa-aaaaababaaaaab.srs.xml 5163119	timeout (wallclock) [out]	MAYBE 230.32/67.35
SRS_Standard/Wenzel_16/cabababa-ababababccccca.srs.xml 5163120	timeout (wallclock) [out]	MAYBE 231.68/67.35
SRS_Standard/Wenzel_16/abbaababab-ababababbaabba.srs.xml 5163121	MAYBE 775.50/293.01	YES 126.08/31.83 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/babaaaaaaa-aaaaaaababbaba.srs.xml 5163122	timeout (wallclock) [out]	MAYBE 230.01/67.34
SRS_Standard/Wenzel_16/aababaaaa-aaaaaababaabab.srs.xml 5163123	timeout (wallclock) [out]	MAYBE 230.34/67.35
SRS_Standard/Wenzel_16/abaaaaaaa-aaaaaaaababaab.srs.xml 5163124	timeout (wallclock) [out]	MAYBE 230.48/67.35
SRS_Standard/Wenzel_16/abaabaaaa-aaaaabaababaab.srs.xml 5163125	timeout (wallclock) [out]	YES 87.08/22.10 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/babababaa-aaabababababa.srs.xml 5163126	MAYBE 1063.89/296.07	MAYBE 230.87/67.35
SRS_Standard/Wenzel_16/babbaabba-abbaabbabba.srs.xml 5163127	timeout (wallclock) [out]	MAYBE 230.90/67.36
SRS_Standard/Wenzel_16/aabaaaaa-aaaaaaabaabaab.srs.xml 5163128	MAYBE 676.61/298.71	MAYBE 230.86/67.36
SRS_Standard/Wenzel_16/aabaaaaa-aaaaaaabaaaab.srs.xml 5163129	timeout (wallclock) [out]	MAYBE 230.80/67.35
SRS_Standard/Wenzel_16/baabaabbaab-aabbaabaabaabb.srs.xml 5163130	timeout (wallclock) [out]	MAYBE 231.39/67.35
SRS_Standard/Wenzel_16/abacaaaa-aaaaabacaabac.srs.xml 5163131	timeout (wallclock) [out]	MAYBE 230.76/67.34
SRS_Standard/Wenzel_16/aabbaabbaaba-aabaabbaabbaab.srs.xml 5163132	timeout (wallclock) [out]	MAYBE 230.86/67.35
SRS_Standard/Wenzel_16/aabbbaaaa-aaaaaabbbaabbb.srs.xml 5163133	timeout (wallclock) [out]	MAYBE 230.58/67.35
SRS_Standard/Wenzel_16/aabacaaa-aaaaabacaabac.srs.xml 5163134	MAYBE 870.36/291.93	run script error [out]
SRS_Standard/Wenzel_16/abbbaaaa-aaaaabbbaabbb.srs.xml 5163135	timeout (wallclock) [out]	MAYBE 230.88/67.36
SRS_Standard/Wenzel_16/ababbbabbab-abbabbbababbba.srs.xml 5163136	timeout (wallclock) [out]	run script error [out]
SRS_Standard/Wenzel_16/abaaaaaaa-aaaaaaaabab.srs.xml 5163137	run script error [out]	MAYBE 230.23/67.36
SRS_Standard/Wenzel_16/baababaab-ababaabaabab.srs.xml 5163138	timeout (wallclock) [out]	run script error [out]
SRS_Standard/Wenzel_16/abaabababa-aababababaab.srs.xml 5163139	timeout (wallclock) [out]	MAYBE 230.59/67.34
SRS_Standard/Wenzel_16/bcbaaaaaa-aaaaaabcbbcba.srs.xml 5163140	timeout (wallclock) [out]	MAYBE 231.62/67.35
SRS_Standard/Wenzel_16/abaaaa-aaaaabaaabaab.srs.xml 5163141	timeout (wallclock) [out]	YES 69.04/17.59 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abbcacabca-abcacabbcacab.srs.xml 5163142	timeout (wallclock) [out]	MAYBE 231.09/67.35
SRS_Standard/Wenzel_16/aabaaaaaaa-aaaaaaaaabaab.srs.xml 5163143	timeout (wallclock) [out]	MAYBE 230.43/67.35
SRS_Standard/Wenzel_16/bccaaaaaa-aaaaaaabccbcc.srs.xml 5163144	timeout (wallclock) [out]	MAYBE 231.10/67.35
SRS_Standard/Wenzel_16/abaaaaa-aaaaaababaabab.srs.xml 5163145	timeout (wallclock) [out]	MAYBE 230.44/67.34
SRS_Standard/Wenzel_16/abaaaaa-aaaaaabaaabab.srs.xml 5163146	timeout (wallclock) [out]	MAYBE 230.12/67.34
SRS_Standard/Wenzel_16/abbaaaa-aaaaabbaabbabb.srs.xml 5163147	timeout (wallclock) [out]	MAYBE 230.65/67.35
SRS_Standard/Wenzel_16/abababbabab-ababbabababba.srs.xml 5163148	timeout (wallclock) [out]	MAYBE 230.57/67.35
SRS_Standard/Wenzel_16/aabaaaaaaaa-aaaaaaaaaabaab.srs.xml 5163149	timeout (wallclock) [out]	YES 74.07/18.84 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/aabaaaa-aaaaaabaabaab.srs.xml 5163150	timeout (wallclock) [out]	YES 61.84/16.55 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/aabaaaa-aaaaaabaaabaab.srs.xml 5163151	timeout (wallclock) [out]	YES 45.40/11.67 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/bccaaaaaa-aaaaaabccbcca.srs.xml 5163152	MAYBE 1101.75/293.29	MAYBE 230.56/67.35
SRS_Standard/Wenzel_16/abaaaaa-aaaaaabaaabaab.srs.xml 5163153	timeout (wallclock) [out]	MAYBE 230.00/67.34
SRS_Standard/Wenzel_16/cababababa-abababababccca.srs.xml 5163154	run script error [out]	MAYBE 231.55/67.36
SRS_Standard/Wenzel_16/babbabbababa-abababbabbabba.srs.xml 5163155	timeout (wallclock) [out]	MAYBE 231.37/67.37
SRS_Standard/Wenzel_16/abaaaaa-aaaaaababaaab.srs.xml 5163156	timeout (wallclock) [out]	MAYBE 230.37/67.35
SRS_Standard/Wenzel_16/aabaaaaaa-aaaaaaaabaaab.srs.xml 5163157	timeout (wallclock) [out]	MAYBE 230.46/67.35
SRS_Standard/Wenzel_16/bababbababa-abababbababba.srs.xml 5163158	YES 147.01/38.76 (CERTIFIED 0.0)	MAYBE 230.96/67.35
SRS_Standard/Wenzel_16/abaaaaaaa-aaaaaaaabaaab.srs.xml 5163159	timeout (wallclock) [out]	MAYBE 230.39/67.34
SRS_Standard/Wenzel_16/abaabababa-aabababababaab.srs.xml 5163160	timeout (wallclock) [out]	MAYBE 230.66/67.35
SRS_Standard/Wenzel_16/bcbaaaaaa-aaaaaaabcbbcb.srs.xml 5163161	MAYBE 765.47/293.12	MAYBE 231.49/67.34
SRS_Standard/Wenzel_16/aabbababa-abababaabbaab.srs.xml 5163162	timeout (wallclock) [out]	YES 98.38/24.97 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abbabbaaaaa-aaaaaabbabbabb.srs.xml 5163163	MAYBE 610.50/296.06	MAYBE 230.44/67.35
SRS_Standard/Wenzel_16/abbaaaaa-aaaaaabbaaaabb.srs.xml 5163164	timeout (wallclock) [out]	MAYBE 230.62/67.34
SRS_Standard/Wenzel_16/abababaababa-ababaababaabab.srs.xml 5163165	timeout (wallclock) [out]	MAYBE 230.46/67.35
SRS_Standard/Wenzel_16/abaaaaaaa-aaaaaaaabaabab.srs.xml 5163166	timeout (wallclock) [out]	MAYBE 230.51/67.36
SRS_Standard/Wenzel_16/aabaabaaaaa-aaaaaaabaabaab.srs.xml 5163167	timeout (wallclock) [out]	MAYBE 230.49/67.36
SRS_Standard/Wenzel_16/abaababa-aabababaab.srs.xml 5163168	timeout (wallclock) [out]	MAYBE 230.36/67.35
SRS_Standard/Wenzel_16/baabbaaaabb-aabbaaaabbaabb.srs.xml 5163169	MAYBE 741.31/298.41	MAYBE 230.59/67.35
SRS_Standard/Wenzel_16/abaaaa-aaaaabaaabaaab.srs.xml 5163170	timeout (wallclock) [out]	YES 62.21/15.87 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abccaaaa-aaaaabccaabcc.srs.xml 5163171	timeout (wallclock) [out]	YES 178.27/44.87 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abbcaabbca-aabbcabbcaabbc.srs.xml 5163172	timeout (wallclock) [out]	MAYBE 231.33/67.36
SRS_Standard/Wenzel_16/bababaaaba-aabaaababababa.srs.xml 5163173	MAYBE 674.88/296.61	MAYBE 230.79/67.35
SRS_Standard/Wenzel_16/abaababaab-ababaabaababa.srs.xml 5163174	timeout (wallclock) [out]	MAYBE 230.74/67.35
SRS_Standard/Wenzel_16/bcbaaaaaaa-aaaaaaaabcbbcb.srs.xml 5163175	timeout (wallclock) [out]	MAYBE 231.32/67.36
SRS_Standard/Wenzel_16/baaabbaaab-aaabbaaabaaabb.srs.xml 5163176	timeout (wallclock) [out]	MAYBE 231.40/67.36
SRS_Standard/Wenzel_16/abaababababa-aabababababaab.srs.xml 5163177	timeout (wallclock) [out]	MAYBE 230.40/67.36
SRS_Standard/Wenzel_16/abaaaa-aaaaabaababab.srs.xml 5163178	timeout (wallclock) [out]	YES 50.41/12.92 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abaaaaaa-aaaaaaabaaab.srs.xml 5163179	MAYBE 684.37/295.86	MAYBE 230.13/67.34
SRS_Standard/Wenzel_16/abaaaa-aaaaababaabab.srs.xml 5163180	timeout (wallclock) [out]	YES 54.81/14.00 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/aabbaabababa-aabababaabbaab.srs.xml 5163181	timeout (wallclock) [out]	MAYBE 230.80/67.36
SRS_Standard/Wenzel_16/abbaaaaa-aaaaaabbabbabb.srs.xml 5163182	timeout (wallclock) [out]	MAYBE 230.88/67.34
SRS_Standard/Wenzel_16/abbaaaabaa-abaaaabbaaaab.srs.xml 5163183	timeout (wallclock) [out]	MAYBE 230.36/67.36
SRS_Standard/Wenzel_16/baabbaaba-aabbaabaabba.srs.xml 5163184	timeout (wallclock) [out]	MAYBE 230.53/67.36
SRS_Standard/Wenzel_16/abababaababa-aababaabababab.srs.xml 5163185	timeout (wallclock) [out]	MAYBE 230.60/67.35
SRS_Standard/Wenzel_16/ababaaaaa-aaaaaabababab.srs.xml 5163186	timeout (wallclock) [out]	MAYBE 230.29/67.35
SRS_Standard/Wenzel_16/abcabbcab-abbcabcabbca.srs.xml 5163187	timeout (wallclock) [out]	YES 160.31/40.40 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/aabaaaaaaa-aaaaaaaaabaaab.srs.xml 5163188	timeout (wallclock) [out]	MAYBE 230.89/67.36
SRS_Standard/Wenzel_16/abacaaaaa-aaaaaabacabac.srs.xml 5163189	timeout (wallclock) [out]	MAYBE 231.04/67.35
SRS_Standard/Wenzel_16/abaaaaaaaa-aaaaaaaaabaaab.srs.xml 5163190	MAYBE 652.57/296.75	YES 69.43/17.69 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/bccaaaaaaa-aaaaaaaabccbcc.srs.xml 5163191	MAYBE 773.05/299.11	MAYBE 231.25/67.35
SRS_Standard/Wenzel_16/aabaaabaaba-aaabaabaabaaab.srs.xml 5163192	timeout (wallclock) [out]	MAYBE 230.45/67.35
SRS_Standard/Wenzel_16/aabbaaaa-aaaaaabbaaabb.srs.xml 5163193	timeout (wallclock) [out]	MAYBE 230.72/67.36
SRS_Standard/Wenzel_16/aaabaaaaa-aaaaaaaabaaab.srs.xml 5163194	timeout (wallclock) [out]	MAYBE 230.07/67.34
SRS_Standard/Wenzel_16/bccaaaaaaa-aaaaaaabccbcca.srs.xml 5163195	MAYBE 795.93/293.35	MAYBE 229.77/67.35
SRS_Standard/Wenzel_16/abaaaa-aaaaabaabaabab.srs.xml 5163196	timeout (wallclock) [out]	YES 120.82/30.57 (CERTIFIED 0.0)
SRS_Standard/Wenzel_16/abbaaaaa-aaaaaabbaaabb.srs.xml 5163197	timeout (wallclock) [out]	MAYBE 230.78/67.36
SRS_Standard/Wenzel_16/abbcaaaaa-aaaaaabbcabbc.srs.xml 5163198	MAYBE 1125.24/297.07	MAYBE 231.15/67.35
SRS_Standard/Wenzel_16/aabbaaaaa-aaaaaaabbaabb.srs.xml 5163199	MAYBE 787.28/299.84	MAYBE 230.85/67.36
SRS_Standard/Wenzel_16/babaaaaaa-aaaaaababbaba.srs.xml 5163200	timeout (wallclock) [out]	MAYBE 230.56/67.35
SRS_Standard/Wenzel_16/abaababaab-aababaabaabab.srs.xml 5163201	timeout (wallclock) [out]	MAYBE 230.66/67.36
SRS_Standard/Wenzel_16/acbabacba-abacbacbabac.srs.xml 5163202	timeout (wallclock) [out]	MAYBE 231.23/67.35
SRS_Standard/Zantema_06/05.xml 5164327	YES 145.96/37.38 (CERTIFIED 0.0)	MAYBE 232.21/67.35
SRS_Standard/Zantema_06/03.xml 5164328	YES 154.97/40.01 (CERTIFIED 0.0)	YES 59.77/15.24 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/01.xml 5164329	YES 12.09/4.27 (CERTIFIED 0.0)	YES 18.11/4.95 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/12.xml 5164330	YES 141.90/38.71 (CERTIFIED 0.0)	YES 39.51/10.19 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/10.xml 5164331	YES 25.17/9.42 (CERTIFIED 0.0)	YES 29.65/7.85 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/beans3.xml 5164332	YES 12.61/4.17 (CERTIFIED 0.0)	YES 28.45/7.49 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/06.xml 5164333	YES 41.18/11.21 (CERTIFIED 0.0)	YES 53.76/13.74 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/while2.xml 5164334	YES 11.52/3.82 (CERTIFIED 0.0)	YES 4.13/1.31 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/beans2.xml 5164335	YES 10.99/3.71 (CERTIFIED 0.0)	YES 25.84/6.73 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/02.xml 5164336	YES 9.55/3.37 (CERTIFIED 0.0)	YES 4.45/1.38 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/beans7.xml 5164337	YES 23.77/6.90 (CERTIFIED 0.0)	YES 34.39/8.95 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/14.xml 5164338	YES 38.97/11.39 (CERTIFIED 0.0)	MAYBE 231.95/67.34
SRS_Standard/Zantema_06/abc.xml 5164339	YES 32.92/9.35 (CERTIFIED 0.0)	YES 21.36/5.85 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/13.xml 5164340	YES 27.87/7.72 (CERTIFIED 0.0)	YES 87.91/22.28 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/beans1.xml 5164341	YES 17.67/5.39 (CERTIFIED 0.0)	YES 7.57/2.17 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/04.xml 5164342	YES 31.04/8.63 (CERTIFIED 0.0)	YES 27.41/7.14 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/17.xml 5164343	YES 5.96/2.31 (CERTIFIED 0.1)	YES 22.34/5.92 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/08.xml 5164344	timeout (cpu) [out]	MAYBE 231.51/67.35
SRS_Standard/Zantema_06/beans4.xml 5164345	run script error [out]	YES 1.56/0.66 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/loop1.xml 5164346	NO 3.23/1.49 (CERTIFIED 0.0)	NO 1.55/0.65 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/16.xml 5164347	YES 10.80/3.90 (CERTIFIED 0.0)	YES 15.08/4.04 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/beans5.xml 5164348	YES 12.78/4.14 (CERTIFIED 0.0)	YES 25.92/6.78 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/09.xml 5164349	YES 14.86/4.80 (CERTIFIED 0.0)	YES 23.28/6.12 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/11.xml 5164350	YES 37.18/10.28 (CERTIFIED 0.0)	YES 31.14/8.06 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/07.xml 5164351	run script error [out]	MAYBE 231.77/67.36
SRS_Standard/Zantema_06/18.xml 5164352	YES 16.68/5.11 (CERTIFIED 0.1)	YES 130.50/33.23 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/loop2.xml 5164353	NO 3.04/1.49 (CERTIFIED 0.0)	NO 1.52/0.64 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/15.xml 5164354	YES 30.64/10.19 (CERTIFIED 0.1)	YES 104.35/26.50 (CERTIFIED 0.0)
SRS_Standard/Zantema_06/while1.xml 5164355	timeout (wallclock) [out]	MAYBE 228.10/67.43
SRS_Standard/Zantema_06/beans6.xml 5164356	YES 33.77/9.70 (CERTIFIED 0.0)	YES 26.98/7.02 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/sym-1.xml 5164308	YES 5.20/2.07 (CERTIFIED 0.0)	YES 6.42/1.88 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/sym-4.xml 5164309	YES 5.46/2.21 (CERTIFIED 0.0)	YES 4.40/1.36 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/z086-variant.xml 5164310	YES 45.99/12.37 (CERTIFIED 0.0)	YES 45.42/11.70 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/uni-1.xml 5164311	YES 5.34/2.19 (CERTIFIED 0.0)	YES 6.09/1.79 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/uni-7.xml 5164312	timeout (cpu) [out]	MAYBE 233.83/67.34
SRS_Standard/Waldmann_06_SRS/pi.xml 5164313	YES 35.32/9.69 (CERTIFIED 0.0)	YES 24.53/6.44 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/jw3.xml 5164314	YES 16.30/5.07 (CERTIFIED 0.0)	MAYBE 232.72/67.34
SRS_Standard/Waldmann_06_SRS/uni-4.xml 5164315	NO 3.82/1.74 (CERTIFIED 0.0)	MAYBE 230.04/67.35
SRS_Standard/Waldmann_06_SRS/jw4.xml 5164316	YES 114.36/29.57 (CERTIFIED 0.0)	YES 28.60/7.46 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/uni-3.xml 5164317	NO 6.18/2.29 (CERTIFIED 0.0)	MAYBE 230.73/67.36
SRS_Standard/Waldmann_06_SRS/sym-2.xml 5164318	YES 27.05/7.98 (CERTIFIED 0.0)	YES 14.28/3.82 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/uni-2.xml 5164319	NO 3.76/1.65 (CERTIFIED 0.0)	NO 3.27/1.08 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/jw1.xml 5164320	YES 34.48/9.37 (CERTIFIED 0.0)	MAYBE 230.24/67.33
SRS_Standard/Waldmann_06_SRS/uni-5.xml 5164321	YES 25.14/7.14 (CERTIFIED 0.0)	YES 27.16/7.09 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/uni-6.xml 5164322	NO 10.54/3.66 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_06_SRS/sym-6.xml 5164323	YES 105.35/27.61 (CERTIFIED 0.0)	MAYBE 228.97/67.34
SRS_Standard/Waldmann_06_SRS/jw5.xml 5164324	timeout (wallclock) [out]	YES 31.20/8.13 (CERTIFIED 0.0)
SRS_Standard/Waldmann_06_SRS/sym-5.xml 5164325	YES 350.69/89.06 (CERTIFIED 0.0)	MAYBE 230.86/67.35
SRS_Standard/Waldmann_06_SRS/e.xml 5164326	run script error [out]	YES 29.18/7.64 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un08.xml 5162918	YES 18.86/7.70 (CERTIFIED 0.0)	YES 33.18/8.60 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/hom01.xml 5162919	YES 48.76/13.16 (CERTIFIED 0.0)	YES 13.04/3.53 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup06.xml 5162920	YES 26.42/7.47 (CERTIFIED 0.0)	YES 24.50/6.42 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un07.xml 5162921	YES 23.41/6.76 (CERTIFIED 0.0)	YES 32.23/8.37 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/hom03.xml 5162922	YES 128.65/33.89 (CERTIFIED 0.0)	YES 44.43/11.41 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup10.xml 5162923	run script error [out]	YES 69.28/17.65 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un12.xml 5162924	timeout (wallclock) [out]	MAYBE 229.97/67.34
SRS_Standard/Trafo_06/un14.xml 5162925	YES 129.13/35.48 (CERTIFIED 0.0)	YES 48.53/12.45 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup08.xml 5162926	YES 45.86/12.79 (CERTIFIED 0.0)	YES 18.91/5.00 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup15.xml 5162927	YES 22.49/6.80 (CERTIFIED 0.0)	YES 10.13/2.80 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un10.xml 5162928	timeout (wallclock) [out]	YES 70.23/17.87 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/hom02.xml 5162929	YES 8.37/2.99 (CERTIFIED 0.0)	YES 2.11/0.79 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un13.xml 5162930	MAYBE 654.28/298.28	MAYBE 230.57/67.36
SRS_Standard/Trafo_06/dup05.xml 5162931	YES 17.52/5.55 (CERTIFIED 0.0)	YES 31.50/8.24 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup14.xml 5162932	YES 28.96/8.14 (CERTIFIED 0.2)	YES 40.96/10.58 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup01.xml 5162933	YES 25.80/7.61 (CERTIFIED 0.0)	YES 2.66/1.04 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un16.xml 5162934	timeout (wallclock) [out]	MAYBE 230.99/67.35
SRS_Standard/Trafo_06/dup13.xml 5162935	YES 226.84/58.20 (CERTIFIED 0.1)	YES 56.62/14.47 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un02.xml 5162936	run script error [out]	MAYBE 231.72/67.39
SRS_Standard/Trafo_06/un04.xml 5162937	NO 13.12/4.24 (CERTIFIED 0.0)	MAYBE 230.42/67.34
SRS_Standard/Trafo_06/un15.xml 5162938	MAYBE 1188.37/298.20	MAYBE 230.69/67.36
SRS_Standard/Trafo_06/dup12.xml 5162939	YES 111.79/28.97 (CERTIFIED 0.4)	MAYBE 232.51/67.37
SRS_Standard/Trafo_06/un06.xml 5162940	YES 25.88/7.56 (CERTIFIED 0.0)	YES 16.86/4.48 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup17.xml 5162941	YES 43.86/11.88 (CERTIFIED 0.0)	YES 14.61/3.93 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un05.xml 5162942	YES 37.01/10.43 (CERTIFIED 0.0)	MAYBE 230.24/67.35
SRS_Standard/Trafo_06/un11.xml 5162943	timeout (wallclock) [out]	MAYBE 230.54/67.35
SRS_Standard/Trafo_06/dup16.xml 5162944	YES 8.29/2.82 (CERTIFIED 0.0)	YES 12.41/3.38 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup11.xml 5162945	YES 43.98/12.11 (CERTIFIED 0.0)	YES 58.67/15.06 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un18.xml 5162946	timeout (wallclock) [out]	MAYBE 230.72/67.36
SRS_Standard/Trafo_06/un09.xml 5162947	YES 64.53/17.06 (CERTIFIED 0.0)	YES 64.37/16.41 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/un17.xml 5162948	YES 251.61/63.86 (CERTIFIED 0.0)	MAYBE 230.88/67.36
SRS_Standard/Trafo_06/dup09.xml 5162949	YES 28.37/8.00 (CERTIFIED 0.0)	YES 2.22/0.83 (CERTIFIED 0.0)
SRS_Standard/Trafo_06/dup07.xml 5162950	YES 28.00/7.91 (CERTIFIED 0.0)	YES 29.04/7.59 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-108.xml 5163367	YES 24.52/7.03 (CERTIFIED 0.0)	YES 20.21/5.45 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-507.xml 5163368	YES 27.24/7.64 (CERTIFIED 0.0)	YES 7.86/2.23 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-279.xml 5163369	YES 21.92/6.33 (CERTIFIED 0.0)	YES 13.25/3.60 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-85.xml 5163370	YES 26.36/7.42 (CERTIFIED 0.0)	YES 50.46/12.98 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-202.xml 5163371	YES 24.03/9.92 (CERTIFIED 0.0)	MAYBE 190.88/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-487.xml 5163372	YES 42.09/11.31 (CERTIFIED 0.0)	YES 39.72/10.24 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-199.xml 5163373	timeout (wallclock) [out]	MAYBE 230.00/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-200.xml 5163374	YES 17.80/5.29 (CERTIFIED 0.0)	YES 24.42/6.76 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-32.xml 5163375	MAYBE 1165.76/293.29	MAYBE 230.28/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-461.xml 5163376	YES 34.46/10.91 (CERTIFIED 0.0)	YES 30.21/7.84 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-101.xml 5163377	NO 8.66/3.05 (CERTIFIED 0.0)	MAYBE 215.64/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-113.xml 5163378	YES 12.07/3.96 (CERTIFIED 0.0)	YES 27.87/7.25 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-255.xml 5163379	YES 41.89/11.34 (CERTIFIED 0.0)	YES 19.47/5.20 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-170.xml 5163380	NO 48.13/12.91 (CERTIFIED 0.0)	MAYBE 229.78/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-160.xml 5163381	NO 3.60/1.58 (CERTIFIED 0.0)	NO 4.65/1.43 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-399.xml 5163382	YES 16.37/4.98 (CERTIFIED 0.0)	YES 28.79/7.49 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-1.xml 5163383	YES 10.40/3.55 (CERTIFIED 0.0)	YES 29.10/7.56 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-503.xml 5163384	YES 34.24/9.48 (CERTIFIED 0.0)	YES 65.45/16.65 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-395.xml 5163385	YES 11.58/3.88 (CERTIFIED 0.0)	YES 28.49/7.41 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-566.xml 5163386	NO 663.32/166.66 (CERTIFIED 0.0)	MAYBE 227.90/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-59.xml 5163387	YES 8.17/2.95 (CERTIFIED 0.0)	YES 12.95/3.67 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-485.xml 5163388	YES 12.99/4.32 (CERTIFIED 0.0)	YES 24.57/6.54 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-389.xml 5163389	YES 32.05/8.83 (CERTIFIED 0.0)	YES 28.57/7.43 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-12.xml 5163390	MAYBE 1053.54/293.20	MAYBE 230.19/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-560.xml 5163391	YES 27.84/7.86 (CERTIFIED 0.0)	YES 23.46/6.14 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-194.xml 5163392	YES 13.17/4.56 (CERTIFIED 0.0)	YES 16.77/4.47 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-198.xml 5163393	YES 14.20/4.38 (CERTIFIED 0.0)	YES 38.53/9.92 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-6.xml 5163394	YES 24.96/7.15 (CERTIFIED 0.0)	MAYBE 230.03/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-131.xml 5163395	YES 24.01/6.83 (CERTIFIED 0.0)	YES 26.80/6.99 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-257.xml 5163396	NO 4.37/2.08 (CERTIFIED 0.0)	MAYBE 186.49/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-207.xml 5163397	NO 10.76/3.44 (CERTIFIED 0.0)	MAYBE 216.14/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-11.xml 5163398	NO 32.94/9.09 (CERTIFIED 0.0)	MAYBE 229.07/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-430.xml 5163399	timeout (cpu) [out]	MAYBE 230.91/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-201.xml 5163400	YES 12.38/4.26 (CERTIFIED 0.0)	YES 19.38/5.50 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-480.xml 5163401	YES 28.93/8.14 (CERTIFIED 0.0)	YES 30.20/7.83 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-64.xml 5163402	run script error [out]	YES 11.82/3.31 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-263.xml 5163403	YES 26.09/7.38 (CERTIFIED 0.0)	YES 101.58/25.67 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-367.xml 5163404	YES 32.05/9.74 (CERTIFIED 0.0)	YES 28.44/7.39 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-369.xml 5163405	NO 81.07/21.45 (CERTIFIED 0.0)	MAYBE 230.98/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-478.xml 5163406	YES 28.86/8.09 (CERTIFIED 0.0)	YES 61.26/15.61 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-48.xml 5163407	YES 25.43/7.19 (CERTIFIED 0.0)	YES 27.99/7.44 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-241.xml 5163408	NO 6.38/2.35 (CERTIFIED 0.0)	MAYBE 205.60/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-448.xml 5163409	YES 11.70/3.92 (CERTIFIED 0.0)	YES 28.77/7.76 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-217.xml 5163410	NO 4.31/1.77 (CERTIFIED 0.0)	NO 12.38/3.38 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-495.xml 5163411	YES 25.50/7.24 (CERTIFIED 0.0)	MAYBE 231.49/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-291.xml 5163412	MAYBE 1163.16/292.79	MAYBE 230.30/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-476.xml 5163413	YES 23.53/6.84 (CERTIFIED 0.0)	YES 25.83/6.78 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-375.xml 5163414	YES 21.45/6.25 (CERTIFIED 0.0)	YES 27.92/7.27 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-479.xml 5163415	YES 30.03/8.45 (CERTIFIED 0.0)	YES 39.97/10.28 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-551.xml 5163416	YES 29.25/8.11 (CERTIFIED 0.0)	YES 9.94/2.76 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-536.xml 5163417	YES 21.34/6.94 (CERTIFIED 0.0)	YES 26.36/6.88 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-271.xml 5163418	YES 13.43/4.31 (CERTIFIED 0.0)	YES 32.69/8.49 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-564.xml 5163419	NO 100.34/25.93 (CERTIFIED 0.0)	MAYBE 230.78/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-249.xml 5163420	NO 43.87/12.11 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-434.xml 5163421	MAYBE 1163.83/291.85	MAYBE 229.53/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-83.xml 5163422	NO 409.79/103.90 (CERTIFIED 0.0)	MAYBE 229.07/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-335.xml 5163423	YES 13.78/4.27 (CERTIFIED 0.0)	YES 27.93/7.55 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-30.xml 5163424	YES 21.06/6.04 (CERTIFIED 0.0)	YES 13.90/3.76 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-120.xml 5163425	MAYBE 1164.28/291.95	MAYBE 230.35/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-565.xml 5163426	YES 28.84/8.09 (CERTIFIED 0.0)	YES 13.39/3.67 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-67.xml 5163427	YES 18.40/5.43 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-511.xml 5163428	run script error [out]	MAYBE 230.38/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-19.xml 5163429	YES 12.76/3.95 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-104.xml 5163430	YES 23.83/6.78 (CERTIFIED 0.0)	YES 34.44/9.00 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-10.xml 5163431	timeout (cpu) [out]	MAYBE 230.09/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-416.xml 5163432	YES 25.78/7.61 (CERTIFIED 0.0)	YES 35.80/9.24 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-468.xml 5163433	YES 14.25/4.35 (CERTIFIED 0.0)	YES 29.89/7.76 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-71.xml 5163434	YES 15.98/4.89 (CERTIFIED 0.0)	YES 26.89/7.24 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-4.xml 5163435	YES 22.91/6.80 (CERTIFIED 0.0)	YES 16.08/4.30 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-233.xml 5163436	NO 85.88/22.71 (CERTIFIED 0.0)	MAYBE 230.65/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-374.xml 5163437	MAYBE 1163.63/292.63	MAYBE 230.62/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-376.xml 5163438	YES 10.25/3.88 (CERTIFIED 0.0)	YES 26.73/7.00 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-231.xml 5163439	run script error [out]	MAYBE 230.98/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-16.xml 5163440	YES 33.34/9.25 (CERTIFIED 0.0)	YES 18.67/4.99 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-191.xml 5163441	YES 15.73/4.77 (CERTIFIED 0.0)	YES 16.67/4.66 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-499.xml 5163442	YES 12.08/4.03 (CERTIFIED 0.0)	YES 34.77/8.99 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-460.xml 5163443	YES 30.44/8.50 (CERTIFIED 0.0)	YES 28.31/7.38 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-210.xml 5163444	MAYBE 1169.26/293.48	MAYBE 211.79/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-190.xml 5163445	YES 20.48/5.92 (CERTIFIED 0.0)	YES 20.51/5.45 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-8.xml 5163446	YES 28.43/9.64 (CERTIFIED 0.0)	MAYBE 230.26/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-474.xml 5163447	NO 91.46/23.70 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-453.xml 5163448	run script error [out]	YES 29.73/7.72 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-10.xml 5163449	YES 11.69/3.92 (CERTIFIED 0.0)	YES 13.93/3.74 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-378.xml 5163450	NO 136.56/37.10 (CERTIFIED 0.0)	MAYBE 230.70/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-270.xml 5163451	NO 46.24/12.39 (CERTIFIED 0.0)	MAYBE 230.53/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-451.xml 5163452	YES 12.37/4.12 (CERTIFIED 0.0)	YES 28.58/7.42 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-22.xml 5163453	YES 14.59/4.77 (CERTIFIED 0.0)	YES 18.09/4.89 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-206.xml 5163454	NO 7.83/2.82 (CERTIFIED 0.0)	MAYBE 213.79/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-403.xml 5163455	MAYBE 1164.86/293.25	MAYBE 231.02/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-429.xml 5163456	YES 26.52/7.46 (CERTIFIED 0.0)	YES 12.26/3.34 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-57.xml 5163457	YES 4.69/1.91 (CERTIFIED 0.0)	YES 13.84/3.76 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-204.xml 5163458	run script error [out]	MAYBE 216.77/67.37
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-238.xml 5163459	MAYBE 1176.56/295.06	MAYBE 230.87/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-70.xml 5163460	YES 16.94/5.04 (CERTIFIED 0.0)	YES 20.35/5.53 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-402.xml 5163461	NO 248.17/62.93 (CERTIFIED 0.0)	MAYBE 230.69/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-437.xml 5163462	YES 14.00/4.62 (CERTIFIED 0.0)	YES 25.90/7.24 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-65.xml 5163463	YES 19.45/5.68 (CERTIFIED 0.0)	YES 25.51/6.66 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-413.xml 5163464	YES 28.54/7.91 (CERTIFIED 0.0)	YES 29.07/7.55 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-285.xml 5163465	YES 7.70/2.80 (CERTIFIED 0.0)	YES 20.47/5.55 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-22.xml 5163466	run script error [out]	MAYBE 230.58/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-20.xml 5163467	NO 221.85/56.33 (CERTIFIED 0.0)	MAYBE 228.23/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-343.xml 5163468	YES 19.25/5.65 (CERTIFIED 0.0)	YES 19.05/5.05 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-563.xml 5163469	YES 22.83/6.77 (CERTIFIED 0.0)	YES 23.70/6.21 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-561.xml 5163470	YES 14.76/4.49 (CERTIFIED 0.0)	YES 23.79/6.23 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-110.xml 5163471	YES 17.10/7.69 (CERTIFIED 0.0)	YES 26.48/6.90 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-226.xml 5163472	YES 33.40/9.22 (CERTIFIED 0.0)	YES 29.16/7.58 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-265.xml 5163473	YES 17.12/5.10 (CERTIFIED 0.0)	YES 19.36/5.11 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-275.xml 5163474	YES 22.06/6.44 (CERTIFIED 0.0)	YES 9.06/2.53 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-414.xml 5163475	YES 37.37/10.34 (CERTIFIED 0.0)	YES 30.63/7.94 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-98.xml 5163476	YES 38.76/10.65 (CERTIFIED 0.0)	YES 36.52/9.43 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-13.xml 5163477	YES 21.04/6.39 (CERTIFIED 0.0)	YES 34.26/8.86 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-124.xml 5163478	YES 10.49/3.57 (CERTIFIED 0.0)	MAYBE 230.42/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-133.xml 5163479	YES 43.06/11.65 (CERTIFIED 0.0)	YES 41.82/10.75 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-300.xml 5163480	YES 24.26/6.92 (CERTIFIED 0.0)	YES 30.02/8.10 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-289.xml 5163481	YES 18.72/5.75 (CERTIFIED 0.0)	YES 29.80/7.85 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-164.xml 5163482	YES 15.21/4.66 (CERTIFIED 0.0)	YES 27.24/7.24 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-159.xml 5163483	NO 3.43/1.55 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-559.xml 5163484	YES 28.10/7.92 (CERTIFIED 0.0)	YES 18.58/4.96 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-454.xml 5163485	MAYBE 1164.71/292.84	MAYBE 230.20/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-401.xml 5163486	NO 356.08/89.98 (CERTIFIED 0.0)	MAYBE 231.95/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-359.xml 5163487	YES 27.27/7.75 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-239.xml 5163488	NO 4.69/1.88 (CERTIFIED 0.0)	MAYBE 205.14/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-477.xml 5163489	YES 11.79/3.92 (CERTIFIED 0.0)	YES 33.37/8.62 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-44.xml 5163490	YES 14.40/4.67 (CERTIFIED 0.0)	YES 23.30/6.52 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-86.xml 5163491	YES 28.47/8.23 (CERTIFIED 0.0)	YES 11.29/3.12 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-88.xml 5163492	run script error [out]	MAYBE 230.84/67.36
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-168.xml 5163493	YES 12.58/4.12 (CERTIFIED 0.0)	YES 26.22/6.89 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-21.xml 5163494	YES 26.65/7.47 (CERTIFIED 0.0)	YES 28.46/7.49 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-473.xml 5163495	YES 31.65/8.82 (CERTIFIED 0.0)	YES 32.20/8.34 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-7.xml 5163496	NO 6.87/2.47 (CERTIFIED 0.0)	MAYBE 230.55/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-76.xml 5163497	YES 10.33/3.52 (CERTIFIED 0.0)	YES 24.80/6.53 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-127.xml 5163498	NO 64.30/17.32 (CERTIFIED 0.0)	MAYBE 214.01/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-350.xml 5163499	YES 20.24/5.93 (CERTIFIED 0.0)	YES 23.76/6.42 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-106.xml 5163500	YES 38.08/10.49 (CERTIFIED 0.0)	YES 33.97/8.79 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-427.xml 5163501	YES 28.64/7.99 (CERTIFIED 0.0)	YES 28.57/7.43 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-341.xml 5163502	YES 29.52/8.21 (CERTIFIED 0.0)	YES 31.21/8.09 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-417.xml 5163503	YES 33.93/9.36 (CERTIFIED 0.0)	YES 29.42/7.64 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-418.xml 5163504	YES 27.32/7.71 (CERTIFIED 0.0)	YES 30.55/7.98 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-13.xml 5163505	YES 14.01/4.27 (CERTIFIED 0.0)	YES 26.80/6.98 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-84.xml 5163506	MAYBE 1163.49/291.78	MAYBE 219.07/67.46
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-396.xml 5163507	YES 24.02/6.83 (CERTIFIED 0.0)	YES 30.40/7.89 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-247.xml 5163508	MAYBE 1163.88/292.67	MAYBE 230.42/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-406.xml 5163509	timeout (cpu) [out]	MAYBE 231.57/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-446.xml 5163510	YES 13.36/4.34 (CERTIFIED 0.0)	YES 23.23/6.12 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-368.xml 5163511	NO 7.50/2.58 (CERTIFIED 0.0)	MAYBE 231.15/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-327.xml 5163512	YES 26.91/7.60 (CERTIFIED 0.0)	YES 28.66/7.45 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-553.xml 5163513	YES 26.18/7.69 (CERTIFIED 0.0)	YES 23.53/6.17 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-392.xml 5163514	YES 16.03/5.11 (CERTIFIED 0.0)	YES 26.01/6.80 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-354.xml 5163515	YES 34.42/9.58 (CERTIFIED 0.0)	MAYBE 230.84/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-384.xml 5163516	timeout (cpu) [out]	MAYBE 231.61/67.36
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-209.xml 5163517	timeout (wallclock) [out]	MAYBE 221.46/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-52.xml 5163518	YES 14.77/4.54 (CERTIFIED 0.0)	YES 27.13/7.15 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-337.xml 5163519	YES 24.02/6.89 (CERTIFIED 0.0)	YES 24.93/6.52 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-47.xml 5163520	NO 27.80/8.00 (CERTIFIED 0.0)	MAYBE 230.45/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-550.xml 5163521	YES 31.51/8.73 (CERTIFIED 0.0)	YES 19.19/5.08 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-23.xml 5163522	NO 5.49/2.09 (CERTIFIED 0.0)	MAYBE 188.73/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-502.xml 5163523	YES 22.14/6.41 (CERTIFIED 0.0)	YES 59.77/15.23 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-363.xml 5163524	timeout (cpu) [out]	MAYBE 231.05/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-14.xml 5163525	YES 16.15/5.13 (CERTIFIED 0.0)	YES 53.43/13.65 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-438.xml 5163526	YES 25.99/7.40 (CERTIFIED 0.0)	YES 28.76/7.69 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-149.xml 5163527	YES 10.12/3.50 (CERTIFIED 0.0)	YES 12.56/3.41 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-219.xml 5163528	run script error [out]	MAYBE 228.46/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-20.xml 5163529	NO 5.11/2.00 (CERTIFIED 0.0)	MAYBE 230.08/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-415.xml 5163530	YES 28.91/8.31 (CERTIFIED 0.0)	YES 29.46/7.64 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-303.xml 5163531	YES 13.55/4.44 (CERTIFIED 0.0)	YES 25.90/6.75 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-556.xml 5163532	YES 36.39/10.05 (CERTIFIED 0.0)	YES 22.72/5.97 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-126.xml 5163533	YES 19.73/5.78 (CERTIFIED 0.0)	YES 41.71/10.70 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-546.xml 5163534	YES 40.69/11.03 (CERTIFIED 0.0)	YES 49.66/12.71 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-494.xml 5163535	YES 22.42/6.43 (CERTIFIED 0.0)	YES 27.99/7.28 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-90.xml 5163536	NO 131.50/34.02 (CERTIFIED 0.0)	MAYBE 231.06/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-3.xml 5163537	NO 6.45/2.91 (CERTIFIED 0.0)	MAYBE 182.10/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-179.xml 5163538	NO 3.80/1.62 (CERTIFIED 0.0)	NO 4.79/1.46 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-412.xml 5163539	YES 24.44/6.96 (CERTIFIED 0.0)	YES 30.34/7.87 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-475.xml 5163540	MAYBE 1162.88/292.62	MAYBE 230.61/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-366.xml 5163541	YES 36.85/11.94 (CERTIFIED 0.0)	YES 27.06/7.39 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-294.xml 5163542	YES 28.87/8.10 (CERTIFIED 0.0)	YES 26.06/6.78 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-163.xml 5163543	YES 23.81/6.87 (CERTIFIED 0.0)	YES 18.32/4.98 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-272.xml 5163544	MAYBE 1163.95/292.13	MAYBE 230.72/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-351.xml 5163545	YES 21.90/6.33 (CERTIFIED 0.0)	YES 6.90/2.00 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-373.xml 5163546	NO 27.72/8.03 (CERTIFIED 0.0)	MAYBE 230.27/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-17.xml 5163547	timeout (cpu) [out]	MAYBE 229.55/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-470.xml 5163548	YES 21.69/10.71 (CERTIFIED 0.0)	YES 34.47/8.91 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-297.xml 5163549	YES 35.05/10.65 (CERTIFIED 0.0)	YES 33.47/8.65 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-469.xml 5163550	YES 28.50/8.22 (CERTIFIED 0.0)	MAYBE 231.02/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-213.xml 5163551	YES 18.00/5.38 (CERTIFIED 0.0)	YES 15.80/4.45 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-129.xml 5163552	NO 5.58/2.14 (CERTIFIED 0.0)	MAYBE 208.28/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-409.xml 5163553	timeout (cpu) [out]	MAYBE 231.37/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-92.xml 5163554	YES 18.32/5.35 (CERTIFIED 0.0)	YES 31.15/8.07 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-283.xml 5163555	YES 26.45/7.43 (CERTIFIED 0.0)	YES 11.58/3.26 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-40.xml 5163556	YES 15.53/4.90 (CERTIFIED 0.0)	YES 16.28/4.35 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-178.xml 5163557	NO 6.49/2.39 (CERTIFIED 0.0)	MAYBE 196.14/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-243.xml 5163558	NO 5.45/2.26 (CERTIFIED 0.0)	MAYBE 207.48/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-498.xml 5163559	YES 9.29/3.36 (CERTIFIED 0.0)	YES 27.15/7.05 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-15.xml 5163560	YES 14.05/4.39 (CERTIFIED 0.0)	YES 20.62/5.50 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-99.xml 5163561	NO 3.56/1.58 (CERTIFIED 0.0)	NO 18.42/4.87 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-488.xml 5163562	NO 7.80/2.82 (CERTIFIED 0.0)	MAYBE 230.99/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-107.xml 5163563	YES 23.14/6.63 (CERTIFIED 0.0)	YES 17.39/4.68 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-508.xml 5163564	YES 44.26/12.21 (CERTIFIED 0.0)	MAYBE 231.02/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-522.xml 5163565	NO 100.15/26.00 (CERTIFIED 0.0)	MAYBE 228.82/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-330.xml 5163566	YES 36.38/11.33 (CERTIFIED 0.0)	YES 29.05/7.56 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-236.xml 5163567	YES 37.92/12.14 (CERTIFIED 0.0)	YES 43.07/11.05 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-203.xml 5163568	YES 10.53/3.63 (CERTIFIED 0.0)	YES 25.82/6.75 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-186.xml 5163569	YES 27.38/7.73 (CERTIFIED 0.0)	YES 13.67/3.71 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-35.xml 5163570	YES 52.13/13.94 (CERTIFIED 0.0)	YES 32.81/8.66 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-284.xml 5163571	YES 16.05/4.87 (CERTIFIED 0.0)	YES 15.94/4.31 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-105.xml 5163572	YES 22.67/6.47 (CERTIFIED 0.0)	MAYBE 230.89/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-462.xml 5163573	run script error [out]	YES 30.68/7.95 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-535.xml 5163574	YES 30.06/8.35 (CERTIFIED 0.0)	YES 26.90/7.01 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-9.xml 5163575	YES 21.37/6.25 (CERTIFIED 0.0)	YES 26.80/6.98 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-94.xml 5163576	YES 17.39/5.13 (CERTIFIED 0.0)	YES 12.12/3.30 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-223.xml 5163577	YES 165.86/42.41 (CERTIFIED 0.0)	MAYBE 194.53/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-122.xml 5163578	YES 35.86/9.82 (CERTIFIED 0.0)	YES 81.08/20.66 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-385.xml 5163579	NO 766.86/193.44 (CERTIFIED 0.0)	MAYBE 230.33/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-112.xml 5163580	YES 15.30/4.91 (CERTIFIED 0.0)	YES 26.94/7.02 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-282.xml 5163581	YES 11.71/4.01 (CERTIFIED 0.0)	YES 12.63/3.45 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-352.xml 5163582	YES 19.00/5.59 (CERTIFIED 0.0)	YES 14.41/3.89 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-273.xml 5163583	YES 30.53/9.86 (CERTIFIED 0.0)	YES 11.06/3.06 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-128.xml 5163584	YES 16.72/5.35 (CERTIFIED 0.0)	YES 58.89/15.15 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-132.xml 5163585	YES 14.95/4.76 (CERTIFIED 0.0)	MAYBE 230.35/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-225.xml 5163586	YES 10.79/3.74 (CERTIFIED 0.0)	YES 21.29/5.62 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-177.xml 5163587	NO 3.55/1.57 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-353.xml 5163588	NO 4.49/1.82 (CERTIFIED 0.0)	MAYBE 226.55/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-467.xml 5163589	YES 32.38/9.00 (CERTIFIED 0.0)	YES 35.49/9.19 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-356.xml 5163590	NO 844.54/212.16 (CERTIFIED 0.0)	MAYBE 231.43/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-547.xml 5163591	YES 15.34/4.87 (CERTIFIED 0.0)	YES 45.77/11.73 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-21.xml 5163592	NO 112.61/29.37 (CERTIFIED 0.0)	MAYBE 229.91/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-299.xml 5163593	YES 42.81/11.52 (CERTIFIED 0.0)	YES 29.24/7.79 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-443.xml 5163594	YES 48.51/13.06 (CERTIFIED 0.0)	YES 29.83/8.16 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-237.xml 5163595	YES 16.52/5.99 (CERTIFIED 0.0)	YES 39.53/10.17 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-360.xml 5163596	YES 15.80/4.76 (CERTIFIED 0.0)	YES 27.77/7.23 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-287.xml 5163597	YES 32.77/9.74 (CERTIFIED 0.0)	YES 11.01/3.06 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-452.xml 5163598	YES 39.02/10.95 (CERTIFIED 0.0)	MAYBE 230.94/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-493.xml 5163599	NO 94.86/24.52 (CERTIFIED 0.0)	MAYBE 230.71/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-455.xml 5163600	YES 36.91/10.06 (CERTIFIED 0.0)	YES 22.06/5.84 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-362.xml 5163601	NO 365.12/92.20 (CERTIFIED 0.0)	MAYBE 230.98/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-304.xml 5163602	YES 11.83/3.96 (CERTIFIED 0.0)	YES 33.73/8.72 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-260.xml 5163603	NO 3.88/1.65 (CERTIFIED 0.0)	MAYBE 230.28/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-391.xml 5163604	YES 27.88/7.85 (CERTIFIED 0.0)	YES 34.30/8.86 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-484.xml 5163605	YES 24.52/6.95 (CERTIFIED 0.0)	YES 27.69/7.21 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-347.xml 5163606	YES 20.70/6.03 (CERTIFIED 0.0)	YES 28.59/7.43 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-227.xml 5163607	NO 8.41/3.04 (CERTIFIED 0.0)	MAYBE 231.31/67.36
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-309.xml 5163608	YES 32.39/9.11 (CERTIFIED 0.0)	MAYBE 230.71/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-410.xml 5163609	timeout (wallclock) [out]	MAYBE 231.19/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-211.xml 5163610	MAYBE 1162.70/292.67	MAYBE 230.90/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-100.xml 5163611	NO 5.05/1.96 (CERTIFIED 0.0)	MAYBE 214.65/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-382.xml 5163612	NO 763.94/191.87 (CERTIFIED 0.0)	MAYBE 231.21/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-292.xml 5163613	MAYBE 1165.89/293.28	MAYBE 230.20/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-95.xml 5163614	NO 355.80/89.82 (CERTIFIED 0.0)	MAYBE 223.47/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-338.xml 5163615	run script error [out]	MAYBE 230.44/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-301.xml 5163616	YES 34.19/9.46 (CERTIFIED 0.0)	YES 30.71/8.00 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-158.xml 5163617	NO 3.65/1.90 (CERTIFIED 0.0)	NO 3.21/1.06 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-17.xml 5163618	YES 11.22/3.74 (CERTIFIED 0.0)	YES 25.77/7.08 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-568.xml 5163619	YES 27.98/9.40 (CERTIFIED 0.0)	YES 28.85/7.51 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-431.xml 5163620	MAYBE 1165.48/293.16	MAYBE 230.08/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-45.xml 5163621	YES 23.62/6.76 (CERTIFIED 0.0)	YES 15.63/4.31 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-482.xml 5163622	YES 46.28/12.43 (CERTIFIED 0.0)	YES 30.02/7.78 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-232.xml 5163623	YES 15.93/4.92 (CERTIFIED 0.0)	YES 22.96/6.06 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-489.xml 5163624	YES 32.86/12.17 (CERTIFIED 0.0)	run script error [out]
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-49.xml 5163625	YES 24.58/7.09 (CERTIFIED 0.0)	YES 15.53/4.15 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-377.xml 5163626	YES 13.79/4.47 (CERTIFIED 0.0)	YES 25.32/7.00 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-123.xml 5163627	YES 47.89/12.97 (CERTIFIED 0.0)	YES 46.75/12.01 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-541.xml 5163628	YES 25.92/10.86 (CERTIFIED 0.0)	YES 25.72/6.71 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-288.xml 5163629	YES 20.83/6.28 (CERTIFIED 0.1)	YES 16.91/4.51 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-298.xml 5163630	NO 64.36/17.13 (CERTIFIED 0.0)	MAYBE 230.48/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-267.xml 5163631	timeout (cpu) [out]	MAYBE 230.71/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-31.xml 5163632	YES 17.84/5.26 (CERTIFIED 0.0)	YES 16.71/4.68 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-348.xml 5163633	YES 25.72/7.27 (CERTIFIED 0.0)	YES 31.25/8.10 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-506.xml 5163634	YES 38.73/10.90 (CERTIFIED 0.0)	MAYBE 230.80/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-181.xml 5163635	NO 4.11/1.80 (CERTIFIED 0.0)	NO 4.88/1.49 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-140.xml 5163636	NO 3.38/1.54 (CERTIFIED 0.0)	NO 3.03/1.02 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-465.xml 5163637	YES 16.61/4.93 (CERTIFIED 0.0)	YES 28.70/7.45 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-114.xml 5163638	YES 47.91/12.84 (CERTIFIED 0.0)	YES 55.39/14.13 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-456.xml 5163639	YES 36.47/9.96 (CERTIFIED 0.0)	YES 28.12/7.38 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-109.xml 5163640	YES 13.59/4.54 (CERTIFIED 0.0)	YES 21.99/6.24 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-540.xml 5163641	MAYBE 1166.22/292.52	MAYBE 228.20/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-492.xml 5163642	NO 72.77/19.08 (CERTIFIED 0.0)	MAYBE 230.91/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-3.xml 5163643	YES 12.80/4.16 (CERTIFIED 0.0)	YES 28.72/7.52 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-274.xml 5163644	MAYBE 1163.85/292.61	MAYBE 229.17/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-224.xml 5163645	NO 650.64/163.56 (CERTIFIED 0.0)	MAYBE 230.84/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-386.xml 5163646	timeout (cpu) [out]	MAYBE 230.84/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-7.xml 5163647	MAYBE 1163.09/291.74	MAYBE 230.62/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-195.xml 5163648	NO 3.60/1.67 (CERTIFIED 0.0)	NO 16.78/4.53 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-558.xml 5163649	NO 175.65/44.82 (CERTIFIED 0.0)	MAYBE 230.77/67.36
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-548.xml 5163650	YES 58.70/15.64 (CERTIFIED 0.0)	YES 23.88/6.26 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-339.xml 5163651	NO 51.35/13.64 (CERTIFIED 0.0)	MAYBE 230.94/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-248.xml 5163652	MAYBE 1162.75/291.68	MAYBE 230.41/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-532.xml 5163653	YES 10.84/3.72 (CERTIFIED 0.0)	YES 25.21/6.59 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-435.xml 5163654	YES 33.61/12.36 (CERTIFIED 0.0)	YES 22.48/6.01 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-383.xml 5163655	NO 1018.97/255.70 (CERTIFIED 0.0)	MAYBE 230.71/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-286.xml 5163656	YES 22.65/6.57 (CERTIFIED 0.1)	YES 43.90/11.52 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-15.xml 5163657	YES 10.63/4.13 (CERTIFIED 0.0)	YES 113.89/30.76 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-2.xml 5163658	YES 27.53/7.96 (CERTIFIED 0.0)	YES 28.86/7.50 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-220.xml 5163659	MAYBE 1191.09/293.56	MAYBE 217.84/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-552.xml 5163660	YES 13.31/4.53 (CERTIFIED 0.0)	YES 23.20/6.07 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-16.xml 5163661	YES 11.40/3.78 (CERTIFIED 0.0)	YES 25.72/7.00 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-51.xml 5163662	YES 19.02/8.14 (CERTIFIED 0.0)	YES 27.20/7.07 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-221.xml 5163663	YES 39.25/14.25 (CERTIFIED 0.0)	YES 14.09/3.81 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-346.xml 5163664	YES 12.78/4.22 (CERTIFIED 0.0)	YES 30.05/7.79 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-340.xml 5163665	run script error [out]	MAYBE 230.36/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-491.xml 5163666	NO 59.18/15.92 (CERTIFIED 0.0)	MAYBE 229.90/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-152.xml 5163667	YES 21.79/6.45 (CERTIFIED 0.0)	YES 26.82/7.55 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-146.xml 5163668	NO 3.60/2.82 (CERTIFIED 0.0)	NO 3.42/1.12 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-543.xml 5163669	YES 21.41/6.12 (CERTIFIED 0.0)	YES 27.65/7.20 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-19.xml 5163670	YES 20.17/5.82 (CERTIFIED 0.0)	MAYBE 228.40/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-450.xml 5163671	NO 12.45/3.96 (CERTIFIED 0.0)	MAYBE 230.59/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-441.xml 5163672	YES 22.52/6.49 (CERTIFIED 0.0)	YES 22.80/6.13 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-355.xml 5163673	timeout (cpu) [out]	MAYBE 230.34/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-436.xml 5163674	YES 37.93/10.30 (CERTIFIED 0.0)	YES 31.88/8.32 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-439.xml 5163675	YES 22.64/6.60 (CERTIFIED 0.0)	YES 25.83/6.73 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-215.xml 5163676	YES 15.13/4.57 (CERTIFIED 0.0)	YES 21.59/6.49 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-472.xml 5163677	YES 33.16/9.16 (CERTIFIED 0.0)	MAYBE 230.75/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-4.xml 5163678	YES 19.11/5.86 (CERTIFIED 0.0)	YES 41.35/10.64 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-66.xml 5163679	YES 22.07/6.35 (CERTIFIED 0.0)	YES 21.65/5.85 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-5.xml 5163680	YES 21.65/6.22 (CERTIFIED 0.0)	MAYBE 230.11/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-545.xml 5163681	YES 34.88/11.47 (CERTIFIED 0.0)	YES 18.38/4.91 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-497.xml 5163682	NO 19.11/5.59 (CERTIFIED 0.0)	MAYBE 230.57/67.36
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-135.xml 5163683	NO 33.74/9.57 (CERTIFIED 0.0)	MAYBE 221.38/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-111.xml 5163684	YES 30.23/8.43 (CERTIFIED 0.0)	YES 12.79/3.48 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-41.xml 5163685	YES 19.47/5.70 (CERTIFIED 0.0)	YES 11.63/3.21 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-345.xml 5163686	YES 21.76/6.26 (CERTIFIED 0.0)	YES 29.01/7.54 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-526.xml 5163687	YES 13.71/4.27 (CERTIFIED 0.0)	YES 26.94/7.02 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-281.xml 5163688	YES 14.62/4.88 (CERTIFIED 0.0)	YES 15.62/4.28 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-134.xml 5163689	YES 10.94/3.78 (CERTIFIED 0.0)	YES 24.48/6.67 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-408.xml 5163690	timeout (cpu) [out]	MAYBE 230.84/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-1.xml 5163691	YES 26.72/7.54 (CERTIFIED 0.0)	YES 18.20/5.17 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-74.xml 5163692	YES 31.42/8.77 (CERTIFIED 0.0)	YES 14.19/4.01 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-18.xml 5163693	timeout (cpu) [out]	MAYBE 229.42/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-296.xml 5163694	YES 14.30/4.37 (CERTIFIED 0.0)	YES 33.65/8.69 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-176.xml 5163695	YES 23.97/6.83 (CERTIFIED 0.0)	YES 27.98/7.39 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-361.xml 5163696	timeout (cpu) [out]	MAYBE 230.09/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-11.xml 5163697	timeout (cpu) [out]	MAYBE 229.95/67.33
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-328.xml 5163698	NO 24.34/6.98 (CERTIFIED 0.0)	MAYBE 230.52/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-121.xml 5163699	YES 22.10/6.30 (CERTIFIED 0.0)	YES 36.02/9.61 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-222.xml 5163700	MAYBE 1163.44/291.75	MAYBE 230.92/67.35
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-72.xml 5163701	YES 14.82/4.46 (CERTIFIED 0.0)	YES 16.97/4.59 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-174.xml 5163702	MAYBE 1163.04/291.69	MAYBE 230.53/67.34
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-14.xml 5163703	YES 12.61/4.43 (CERTIFIED 0.0)	YES 27.12/7.06 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-91.xml 5163704	YES 13.63/4.19 (CERTIFIED 0.0)	YES 30.31/8.07 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-293.xml 5163705	YES 32.08/8.87 (CERTIFIED 0.0)	YES 30.98/8.03 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-165.xml 5163706	YES 22.17/6.47 (CERTIFIED 0.0)	YES 24.70/6.45 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-549.xml 5163707	YES 41.27/11.28 (CERTIFIED 0.0)	YES 29.24/7.60 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-61.xml 5163708	YES 13.65/4.16 (CERTIFIED 0.0)	YES 29.64/7.73 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-180.xml 5163709	YES 23.89/7.26 (CERTIFIED 0.1)	YES 14.73/4.05 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-125.xml 5163710	YES 24.24/6.95 (CERTIFIED 0.0)	YES 33.89/8.77 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-82.xml 5163711	YES 17.46/8.79 (CERTIFIED 0.0)	YES 30.41/8.09 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-400.xml 5163712	timeout (wallclock) [out]	MAYBE 231.28/67.37
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-12.xml 5162816	YES 23.99/9.82 (CERTIFIED 0.0)	YES 18.16/4.80 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-20.xml 5162817	YES 11.92/3.86 (CERTIFIED 0.0)	YES 17.12/5.01 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-2-num-4.xml 5162818	YES 25.11/7.10 (CERTIFIED 0.0)	YES 27.83/7.25 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-21.xml 5162819	NO 5.91/2.20 (CERTIFIED 0.0)	MAYBE 176.48/67.34
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-3.xml 5162820	YES 11.10/3.71 (CERTIFIED 0.0)	YES 10.58/3.12 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-8.xml 5162821	YES 28.28/7.93 (CERTIFIED 0.0)	YES 27.74/7.28 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-1.xml 5162822	NO 69.17/18.42 (CERTIFIED 0.0)	MAYBE 230.08/67.34
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-4.xml 5162823	MAYBE 1163.12/291.67	MAYBE 230.40/67.36
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-5.xml 5162824	YES 25.51/8.77 (CERTIFIED 0.0)	YES 35.28/9.19 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-14.xml 5162825	YES 12.64/4.18 (CERTIFIED 0.0)	YES 27.20/7.09 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-2.xml 5162826	YES 27.23/7.66 (CERTIFIED 0.0)	MAYBE 230.75/67.35
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-11.xml 5162827	YES 21.18/6.16 (CERTIFIED 0.0)	YES 26.01/6.82 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-2-num-3.xml 5162828	YES 26.69/7.86 (CERTIFIED 0.0)	YES 51.39/13.60 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-6.xml 5162829	YES 11.51/3.98 (CERTIFIED 0.0)	YES 26.34/7.04 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-2-num-2.xml 5162830	YES 31.55/8.80 (CERTIFIED 0.0)	MAYBE 229.97/67.34
SRS_Standard/Waldmann_07_size11/size-11-alpha-2-num-1.xml 5162831	YES 27.57/8.18 (CERTIFIED 0.0)	YES 62.54/15.94 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-16.xml 5162832	YES 5.63/2.13 (CERTIFIED 0.0)	YES 13.01/3.61 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-17.xml 5162833	YES 12.05/4.00 (CERTIFIED 0.0)	YES 16.95/4.53 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-13.xml 5162834	YES 22.64/6.49 (CERTIFIED 0.0)	YES 27.31/7.11 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-15.xml 5162835	NO 21.23/6.35 (CERTIFIED 0.0)	MAYBE 230.43/67.35
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-7.xml 5162836	YES 14.15/4.72 (CERTIFIED 0.0)	YES 25.38/6.76 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-10.xml 5162837	YES 14.99/4.62 (CERTIFIED 0.0)	YES 16.23/4.36 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-19.xml 5162838	YES 11.19/3.91 (CERTIFIED 0.0)	YES 18.26/4.96 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-9.xml 5162839	YES 10.26/3.47 (CERTIFIED 0.0)	YES 27.23/7.11 (CERTIFIED 0.0)
SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-18.xml 5162840	NO 5.70/2.64 (CERTIFIED 0.0)	MAYBE 195.71/67.33
	838	592