benchmark	ASTERIX-20618	COMSPEN2019-22337	Cyclist-SL	Harrsh-22687	SLEEK-20564	SPEN19.2-22729	Songbird-20617	s2s.0.3.3-22440	slide-2018	VBS
qf_shls_entl/bolognesa-10-e01.tptp.smt2	0.01397	3.28226	none	none	0.070573	0.054187	0.184468	0.013479	none	s2s.0.3.3
qf_shls_entl/bolognesa-10-e02.tptp.smt2	0.012915	2.98479	none	none	0.070013	0.040801	1.82	0.012699	none	s2s.0.3.3
qf_shls_entl/bolognesa-10-e03.tptp.smt2	0.013664	3.47783	none	none	0.069156	0.05537	5.4	0.013108	none	s2s.0.3.3
qf_shls_entl/bolognesa-10-e04.tptp.smt2	0.013666	3.56881	none	none	0.074411	0.054169	0.121017	0.014414	none	ASTERIX
qf_shls_entl/bolognesa-10-e05.tptp.smt2	0.014602	3.22568	none	none	0.070878	0.048118	0.102675	0.01324	none	s2s.0.3.3
qf_shls_entl/bolognesa-10-e06.tptp.smt2	0.013943	3.01073	none	none	0.071977	0.041128	0.065669	0.015169	none	ASTERIX
qf_shls_entl/bolognesa-10-e07.tptp.smt2	0.013897	3.00499	none	none	0.070435	0.050088	0.139543	0.013678	none	s2s.0.3.3
qf_shls_entl/bolognesa-10-e08.tptp.smt2	0.014046	3.1545	none	none	0.069311	0.04538	0.093224	0.014147	none	ASTERIX
qf_shls_entl/bolognesa-10-e09.tptp.smt2	0.014229	3.57332	none	none	0.069507	0.057467	0.155165	0.015305	none	ASTERIX
qf_shls_entl/bolognesa-10-e10.tptp.smt2	0.013161	3.49995	none	none	0.071454	0.055904	5.27	0.013611	none	ASTERIX
qf_shls_entl/bolognesa-11-e01.tptp.smt2	0.014134	3.91783	none	none	0.073508	0.053407	5.33	0.013078	none	s2s.0.3.3
qf_shls_entl/bolognesa-11-e02.tptp.smt2	0.015433	3.77708	none	none	0.074071	0.049843	5.35	0.013194	none	s2s.0.3.3
qf_shls_entl/bolognesa-11-e03.tptp.smt2	0.013421	4.39658	none	none	0.070534	0.069473	5.44	0.015306	none	ASTERIX
qf_shls_entl/bolognesa-11-e04.tptp.smt2	0.014496	4.01946	none	none	0.069804	0.061589	4.65	0.014397	none	s2s.0.3.3
qf_shls_entl/bolognesa-11-e05.tptp.smt2	0.015597	7.59168	none	none	0.073115	0.054061	0.101079	0.013935	none	s2s.0.3.3
qf_shls_entl/bolognesa-11-e06.tptp.smt2	0.014152	4.16287	none	none	0.070559	0.058034	0.150351	0.017482	none	ASTERIX
qf_shls_entl/bolognesa-11-e07.tptp.smt2	0.013305	3.94175	none	none	0.068695	0.055204	3.6	0.012838	none	s2s.0.3.3
qf_shls_entl/bolognesa-11-e08.tptp.smt2	0.01338	3.66062	none	none	0.069259	0.047243	5.32	0.015743	none	ASTERIX
qf_shls_entl/bolognesa-11-e09.tptp.smt2	0.013048	7.65087	none	none	0.069359	0.050951	2.9	0.013788	none	ASTERIX
qf_shls_entl/bolognesa-11-e10.tptp.smt2	0.014345	4.01996	none	none	0.072805	0.058519	0.160734	0.016646	none	ASTERIX
qf_shls_entl/bolognesa-12-e01.tptp.smt2	0.013233	4.60748	none	none	0.070377	0.055973	5.44	0.014475	none	ASTERIX
qf_shls_entl/bolognesa-12-e02.tptp.smt2	0.014748	4.82002	none	none	0.070732	0.059398	0.154658	0.014651	none	s2s.0.3.3
qf_shls_entl/bolognesa-12-e03.tptp.smt2	0.01478	5.21906	none	none	0.072697	0.075818	0.204974	0.01557	none	ASTERIX
qf_shls_entl/bolognesa-12-e04.tptp.smt2	0.015392	5.1214	none	none	0.075282	0.073917	0.17571	0.016334	none	ASTERIX
qf_shls_entl/bolognesa-12-e05.tptp.smt2	0.013264	4.53215	none	none	0.069258	0.054799	3.44	0.013594	none	ASTERIX
qf_shls_entl/bolognesa-12-e06.tptp.smt2	0.014632	4.04609	none	none	0.072132	0.044188	2.5	0.014076	none	s2s.0.3.3
qf_shls_entl/bolognesa-12-e07.tptp.smt2	0.014231	4.40332	none	none	0.07396	0.051796	0.119512	0.01434	none	ASTERIX
qf_shls_entl/bolognesa-12-e08.tptp.smt2	0.015069	4.84599	none	none	0.071412	0.060337	5.63	0.01727	none	ASTERIX
qf_shls_entl/bolognesa-12-e09.tptp.smt2	0.016516	4.7027	none	none	0.077994	0.056884	6.26	0.034861	none	ASTERIX
qf_shls_entl/bolognesa-12-e10.tptp.smt2	0.013734	4.70097	none	none	0.072206	0.058842	5.42	0.019515	none	ASTERIX
qf_shls_entl/bolognesa-13-e01.tptp.smt2	0.014299	5.95174	none	none	0.075245	0.076085	5.75	0.016693	none	ASTERIX
qf_shls_entl/bolognesa-13-e02.tptp.smt2	0.015741	5.81594	none	none	0.07332	0.073519	0.240176	0.022449	none	ASTERIX
qf_shls_entl/bolognesa-13-e03.tptp.smt2	0.014045	5.3284	none	none	0.070927	0.058095	5.63	0.019016	none	ASTERIX
qf_shls_entl/bolognesa-13-e04.tptp.smt2	0.016379	5.56932	none	none	0.072709	0.065145	0.17414	0.01452	none	s2s.0.3.3
qf_shls_entl/bolognesa-13-e05.tptp.smt2	0.014613	5.63617	none	none	0.072885	0.069061	0.200279	0.0193	none	ASTERIX
qf_shls_entl/bolognesa-13-e06.tptp.smt2	0.015995	5.41178	none	none	0.070989	0.057928	0.16953	0.027425	none	ASTERIX
qf_shls_entl/bolognesa-13-e07.tptp.smt2	0.013973	6.03773	none	none	0.074596	0.083416	5.58	0.016582	none	ASTERIX
qf_shls_entl/bolognesa-13-e08.tptp.smt2	0.014907	5.04337	none	none	0.069708	0.05262	5.54	0.017213	none	ASTERIX
qf_shls_entl/bolognesa-13-e09.tptp.smt2	0.014359	5.23495	none	none	0.071053	0.054945	0.140398	0.018552	none	ASTERIX
qf_shls_entl/bolognesa-13-e10.tptp.smt2	0.014829	6.03556	none	none	0.074182	0.082566	0.223186	0.014746	none	s2s.0.3.3
qf_shls_entl/bolognesa-14-e01.tptp.smt2	0.014207	5.92233	none	none	0.071035	0.054468	6.33	0.015256	none	ASTERIX
qf_shls_entl/bolognesa-14-e02.tptp.smt2	0.014124	6.07395	none	none	0.071322	0.059997	5.55	0.018419	none	ASTERIX
qf_shls_entl/bolognesa-14-e03.tptp.smt2	0.013882	6.55802	none	none	0.075738	0.074115	5.85663	0.098174	none	ASTERIX
qf_shls_entl/bolognesa-14-e04.tptp.smt2	0.014922	6.13543	none	none	0.073822	0.062846	5.73	0.027571	none	ASTERIX
qf_shls_entl/bolognesa-14-e05.tptp.smt2	0.015464	7.32773	none	none	0.075979	0.100867	0.287768	0.016064	none	ASTERIX
qf_shls_entl/bolognesa-14-e06.tptp.smt2	0.013642	6.24282	none	none	0.070297	0.069925	5.93	0.018138	none	ASTERIX
qf_shls_entl/bolognesa-14-e07.tptp.smt2	0.014033	6.61181	none	none	0.071202	0.075873	5.86111	0.019324	none	ASTERIX
qf_shls_entl/bolognesa-14-e08.tptp.smt2	0.015508	6.70719	none	none	0.075753	0.076506	7.22	0.060463	none	ASTERIX
qf_shls_entl/bolognesa-14-e09.tptp.smt2	0.014117	6.97656	none	none	0.072848	0.087011	5.99	0.0143	none	ASTERIX
qf_shls_entl/bolognesa-14-e10.tptp.smt2	0.015243	6.89785	none	none	0.080703	0.099208	0.340479	0.015679	none	ASTERIX
qf_shls_entl/bolognesa-15-e01.tptp.smt2	0.014202	7.35594	none	none	0.072998	0.073564	5.93	0.024082	none	ASTERIX
qf_shls_entl/bolognesa-15-e02.tptp.smt2	0.014818	12.119	none	none	0.074852	0.132835	5.91	0.035222	none	ASTERIX
qf_shls_entl/bolognesa-15-e03.tptp.smt2	0.015442	7.97868	none	none	0.074863	0.094721	0.261299	0.018114	none	ASTERIX
qf_shls_entl/bolognesa-15-e04.tptp.smt2	0.01459	7.63368	none	none	0.07482	0.082636	15.77	0.032078	none	ASTERIX
qf_shls_entl/bolognesa-15-e05.tptp.smt2	0.014367	8.0485	none	none	0.074638	0.10664	6.84	0.024791	none	ASTERIX
qf_shls_entl/bolognesa-15-e06.tptp.smt2	0.014594	8.79985	none	none	0.081295	0.130889	9.94	0.014288	none	s2s.0.3.3
qf_shls_entl/bolognesa-15-e07.tptp.smt2	0.014301	7.55379	none	none	0.072557	0.08314	6.75	0.024876	none	ASTERIX
qf_shls_entl/bolognesa-15-e08.tptp.smt2	0.017129	7.39145	none	none	0.07576	0.093225	0.274837	0.018209	none	ASTERIX
qf_shls_entl/bolognesa-15-e09.tptp.smt2	0.015732	9.29303	none	none	0.078712	0.169915	0.77	0.01709	none	ASTERIX
qf_shls_entl/bolognesa-15-e10.tptp.smt2	0.014545	7.19519	none	none	0.073152	0.072892	6.53	0.024137	none	ASTERIX
qf_shls_entl/bolognesa-16-e01.tptp.smt2	0.014247	8.66542	none	none	0.073225	0.098427	6.09	0.031154	none	ASTERIX
qf_shls_entl/bolognesa-16-e02.tptp.smt2	0.015761	9.14357	none	none	0.074028	0.115852	0.82	0.024849	none	ASTERIX
qf_shls_entl/bolognesa-16-e03.tptp.smt2	0.015481	9.21903	none	none	0.074162	0.121336	0.76	0.023753	none	ASTERIX
qf_shls_entl/bolognesa-16-e04.tptp.smt2	0.015265	9.08561	none	none	0.071896	0.105782	0.327537	0.035783	none	ASTERIX
qf_shls_entl/bolognesa-16-e05.tptp.smt2	0.016019	8.50279	none	none	0.074732	0.084933	6.87	0.037927	none	ASTERIX
qf_shls_entl/bolognesa-16-e06.tptp.smt2	0.015152	8.53826	none	none	0.072555	0.085774	0.278895	0.022092	none	ASTERIX
qf_shls_entl/bolognesa-16-e07.tptp.smt2	0.014219	8.77593	none	none	0.075909	0.0929	9.74	0.016736	none	ASTERIX
qf_shls_entl/bolognesa-16-e08.tptp.smt2	0.014753	8.88946	none	none	0.077935	0.097154	23.23	0.033638	none	ASTERIX
qf_shls_entl/bolognesa-16-e09.tptp.smt2	0.014195	8.42408	none	none	0.07354	0.078516	6.07	0.016354	none	ASTERIX
qf_shls_entl/bolognesa-16-e10.tptp.smt2	0.016166	9.71018	none	none	0.075791	0.137629	0.56	0.021248	none	ASTERIX
qf_shls_entl/bolognesa-17-e01.tptp.smt2	0.01445	10.2381	none	none	0.073407	0.131829	6.71964	0.021714	none	ASTERIX
qf_shls_entl/bolognesa-17-e02.tptp.smt2	0.015833	10.8555	none	none	0.075626	0.144215	0.64	0.022965	none	ASTERIX
qf_shls_entl/bolognesa-17-e03.tptp.smt2	0.017476	9.98908	none	none	0.076723	0.099432	0.265797	0.021273	none	ASTERIX
qf_shls_entl/bolognesa-17-e04.tptp.smt2	0.01549	10.8101	none	none	0.076694	0.136378	8.95	0.032246	none	ASTERIX
qf_shls_entl/bolognesa-17-e05.tptp.smt2	0.014734	9.35852	none	none	0.075125	0.080929	6.19	0.023623	none	ASTERIX
qf_shls_entl/bolognesa-17-e06.tptp.smt2	0.017585	10.5099	none	none	0.078575	0.131198	6.76	0.104805	none	ASTERIX
qf_shls_entl/bolognesa-17-e07.tptp.smt2	0.015985	9.68129	none	none	0.075822	0.090694	7.27	0.033849	none	ASTERIX
qf_shls_entl/bolognesa-17-e08.tptp.smt2	0.017624	9.94925	none	none	0.07211	0.111297	0.8	0.028927	none	ASTERIX
qf_shls_entl/bolognesa-17-e09.tptp.smt2	0.014129	10.6812	none	none	0.074881	0.14753	6.12	0.016257	none	ASTERIX
qf_shls_entl/bolognesa-17-e10.tptp.smt2	0.01522	10.3859	none	none	0.075858	0.127039	6.24	0.226869	none	ASTERIX
qf_shls_entl/bolognesa-18-e01.tptp.smt2	0.01511	11.6424	none	none	0.075321	0.124872	7.02	0.073781	none	ASTERIX
qf_shls_entl/bolognesa-18-e02.tptp.smt2	0.016015	11.9245	none	none	0.076008	0.129507	0.65	0.023384	none	ASTERIX
qf_shls_entl/bolognesa-18-e03.tptp.smt2	0.018383	13.0805	none	none	0.078784	0.196188	0.92	0.01928	none	ASTERIX
qf_shls_entl/bolognesa-18-e04.tptp.smt2	0.016505	11.7507	none	none	0.074134	0.124907	0.71	0.022945	none	ASTERIX
qf_shls_entl/bolognesa-18-e05.tptp.smt2	0.01695	12.2052	none	none	0.078946	0.145408	0.65	0.021923	none	ASTERIX
qf_shls_entl/bolognesa-18-e06.tptp.smt2	0.015706	11.6841	none	none	0.072709	0.134172	0.68	0.034998	none	ASTERIX
qf_shls_entl/bolognesa-18-e07.tptp.smt2	0.015847	11.0119	none	none	0.074207	0.124489	0.84	0.023238	none	ASTERIX
qf_shls_entl/bolognesa-18-e08.tptp.smt2	0.016349	13.4306	none	none	0.081126	0.209648	0.91	0.023951	none	ASTERIX
qf_shls_entl/bolognesa-18-e09.tptp.smt2	0.017056	12.5034	none	none	0.076911	0.172208	0.71	0.023434	none	ASTERIX
qf_shls_entl/bolognesa-18-e10.tptp.smt2	0.014555	11.4037	none	none	0.0748	0.119171	6.47	0.020622	none	ASTERIX
qf_shls_entl/bolognesa-19-e01.tptp.smt2	0.016364	13.4513	none	none	0.078844	0.146027	0.85	0.084494	none	ASTERIX
qf_shls_entl/bolognesa-19-e02.tptp.smt2	0.016852	13.8392	none	none	0.077032	0.181723	1.08	0.035366	none	ASTERIX
qf_shls_entl/bolognesa-19-e03.tptp.smt2	0.016605	13.9047	none	none	0.079269	0.151483	0.81	0.021915	none	ASTERIX
qf_shls_entl/bolognesa-19-e04.tptp.smt2	0.016416	12.4611	none	none	0.072634	0.104546	0.68	0.036684	none	ASTERIX
qf_shls_entl/bolognesa-19-e05.tptp.smt2	0.014916	12.7656	none	none	0.074942	0.122183	8.24	0.052112	none	ASTERIX
qf_shls_entl/bolognesa-19-e06.tptp.smt2	0.015546	13.3923	none	none	0.075193	0.146563	6.64	0.021621	none	ASTERIX
qf_shls_entl/bolognesa-19-e07.tptp.smt2	0.016897	14.5509	none	none	0.080302	0.193622	0.77	0.034543	none	ASTERIX
qf_shls_entl/bolognesa-19-e08.tptp.smt2	0.018699	14.1239	none	none	0.078506	0.167102	32.36	0.020362	none	ASTERIX
qf_shls_entl/bolognesa-19-e09.tptp.smt2	0.018152	14.5161	none	none	0.078349	0.189437	1.08	0.021704	none	ASTERIX
qf_shls_entl/bolognesa-19-e10.tptp.smt2	0.014602	13.4093	none	none	0.074894	0.192243	7.43	0.028396	none	ASTERIX
qf_shls_entl/bolognesa-20-e01.tptp.smt2	0.017004	15.386	none	none	0.08045	0.23963	1.68	0.031461	none	ASTERIX
qf_shls_entl/bolognesa-20-e02.tptp.smt2	0.016757	14.2698	none	none	0.075721	0.119878	0.81	0.048694	none	ASTERIX
qf_shls_entl/bolognesa-20-e03.tptp.smt2	0.016421	14.8411	none	none	0.076965	0.14247	0.81	0.03759	none	ASTERIX
qf_shls_entl/bolognesa-20-e04.tptp.smt2	0.017066	14.5077	none	none	0.075146	0.139822	0.68	0.03378	none	ASTERIX
qf_shls_entl/bolognesa-20-e05.tptp.smt2	0.017657	16.3542	none	none	0.079693	0.224115	1.21	0.036983	none	ASTERIX
qf_shls_entl/bolognesa-20-e06.tptp.smt2	0.01521	15.0849	none	none	0.0741	0.183339	6.63	0.01497	none	s2s.0.3.3
qf_shls_entl/bolognesa-20-e07.tptp.smt2	0.015224	13.5864	none	none	0.072332	0.115103	7.8	0.093652	none	ASTERIX
qf_shls_entl/bolognesa-20-e08.tptp.smt2	0.015449	16.6473	none	none	0.078523	0.257988	8.15	0.026673	none	ASTERIX
qf_shls_entl/bolognesa-20-e09.tptp.smt2	0.016906	14.7439	none	none	0.083036	0.138269	0.78	0.064613	none	ASTERIX
qf_shls_entl/bolognesa-20-e10.tptp.smt2	0.017047	14.3194	none	none	0.074324	0.135586	6.94	0.058728	none	ASTERIX
qf_shls_entl/clones-01-e01.tptp.smt2	0.012507	0.046921	0.009743	1.95822	0.065931	0.034728	0.010802	0.011392	none	Cyclist
qf_shls_entl/clones-01-e02.tptp.smt2	0.013063	0.048491	0.008878	1.97511	0.067296	0.035639	0.011006	0.011777	none	Cyclist
qf_shls_entl/clones-01-e03.tptp.smt2	0.01183	0.048398	0.010859	1.95066	0.068293	0.032894	0.010927	0.012208	none	Cyclist
qf_shls_entl/clones-01-e04.tptp.smt2	0.011309	0.046021	0.008615	1.93634	0.066275	0.034272	0.010093	0.01146	none	Cyclist
qf_shls_entl/clones-01-e05.tptp.smt2	0.011974	0.205929	0.009145	1.96587	0.06737	0.031783	0.011382	0.011456	none	Cyclist
qf_shls_entl/clones-01-e06.tptp.smt2	0.011336	0.045904	0.009076	1.96574	0.065913	0.035195	0.011532	0.011407	none	Cyclist
qf_shls_entl/clones-01-e07.tptp.smt2	0.011836	0.052598	none	3.54515	0.081692	0.034335	0.012852	0.008881	none	s2s.0.3.3
qf_shls_entl/clones-01-e08.tptp.smt2	0.012484	0.055349	none	3.93871	0.07581	0.032733	0.014941	0.008666	none	s2s.0.3.3
qf_shls_entl/clones-01-e09.tptp.smt2	0.011908	0.054674	none	3.51732	0.085901	0.033803	0.014221	0.009321	none	s2s.0.3.3
qf_shls_entl/clones-01-e10.tptp.smt2	0.012735	0.052675	none	3.53952	0.081012	0.03302	0.015253	0.008788	none	s2s.0.3.3
qf_shls_entl/clones-02-e01.tptp.smt2	0.011799	0.047171	0.010213	1.98937	0.067238	0.032978	0.011233	0.011562	none	Cyclist
qf_shls_entl/clones-02-e02.tptp.smt2	0.011991	0.049265	0.009022	1.97922	0.067473	0.033635	0.011124	0.012193	none	Cyclist
qf_shls_entl/clones-02-e03.tptp.smt2	0.012979	0.050221	0.009944	1.98683	0.06934	0.034115	0.011015	0.012771	none	Cyclist
qf_shls_entl/clones-02-e04.tptp.smt2	0.01261	0.046292	0.009377	1.93108	0.066492	0.034328	0.010615	0.011436	none	Cyclist
qf_shls_entl/clones-02-e05.tptp.smt2	0.011809	0.49096	0.008814	1.98198	0.068139	0.032746	0.012644	0.011589	none	Cyclist
qf_shls_entl/clones-02-e06.tptp.smt2	0.012418	0.046952	0.009838	1.93372	0.070737	0.032551	0.011204	0.011439	none	Cyclist
qf_shls_entl/clones-02-e07.tptp.smt2	0.012043	0.05869	none	5.91957	0.068538	0.034886	0.020707	0.009495	none	s2s.0.3.3
qf_shls_entl/clones-02-e08.tptp.smt2	0.012703	0.06599	none	35.6941	0.070978	0.037557	0.026818	0.011753	none	s2s.0.3.3
qf_shls_entl/clones-02-e09.tptp.smt2	0.012688	0.061727	none	6.04669	0.071964	0.035866	0.027013	0.011894	none	s2s.0.3.3
qf_shls_entl/clones-02-e10.tptp.smt2	0.013099	0.058308	none	6.0087	0.068799	0.034958	0.020742	0.008374	none	s2s.0.3.3
qf_shls_entl/clones-03-e01.tptp.smt2	0.013302	0.048652	0.008402	1.97623	0.072584	0.032959	0.011191	0.01234	none	Cyclist
qf_shls_entl/clones-03-e02.tptp.smt2	0.011578	0.051677	0.009925	2.00868	0.066949	0.03391	0.01224	0.012004	none	Cyclist
qf_shls_entl/clones-03-e03.tptp.smt2	0.011878	0.051656	0.009948	1.97024	0.06801	0.033748	0.012905	0.011795	none	Cyclist
qf_shls_entl/clones-03-e04.tptp.smt2	0.011852	0.046103	0.008912	1.93586	0.065904	0.03435	0.011363	0.011425	none	Cyclist
qf_shls_entl/clones-03-e05.tptp.smt2	0.011821	0.928563	0.009051	2.00549	0.067821	0.036426	0.012683	0.01209	none	Cyclist
qf_shls_entl/clones-03-e06.tptp.smt2	0.013247	0.045883	0.009139	1.95616	0.067428	0.034038	0.012238	0.011287	none	Cyclist
qf_shls_entl/clones-03-e07.tptp.smt2	0.01241	0.0656	none	33.7992	0.070595	0.036172	0.033451	0.009716	none	s2s.0.3.3
qf_shls_entl/clones-03-e08.tptp.smt2	0.01287	0.080489	none	none	0.077087	0.040949	0.067787	0.012487	none	s2s.0.3.3
qf_shls_entl/clones-03-e09.tptp.smt2	0.012588	0.071669	none	38.4261	0.078722	0.038792	0.053177	0.012471	none	s2s.0.3.3
qf_shls_entl/clones-03-e10.tptp.smt2	0.012191	0.065819	none	34.2673	0.071111	0.037207	0.032794	0.009416	none	s2s.0.3.3
qf_shls_entl/clones-04-e01.tptp.smt2	0.0115	0.048852	0.008779	1.98682	0.070663	0.033141	0.012081	0.011588	none	Cyclist
qf_shls_entl/clones-04-e02.tptp.smt2	0.01212	0.052462	0.009652	2.00843	0.067131	0.036154	0.011081	0.012267	none	Cyclist
qf_shls_entl/clones-04-e03.tptp.smt2	0.011769	0.053256	0.009147	1.99932	0.067205	0.035643	0.011054	0.011772	none	Cyclist
qf_shls_entl/clones-04-e04.tptp.smt2	0.011566	0.045946	0.011095	1.93142	0.066028	0.03541	0.010378	0.011567	none	Songbird
qf_shls_entl/clones-04-e05.tptp.smt2	0.012566	1.49098	0.010234	2.00361	0.068686	0.035886	0.016915	0.013064	none	Cyclist
qf_shls_entl/clones-04-e06.tptp.smt2	0.011163	0.046192	0.009555	1.92535	0.06665	0.032385	0.011274	0.011242	none	Cyclist
qf_shls_entl/clones-04-e07.tptp.smt2	0.013103	0.075092	none	none	0.07277	0.043243	0.060493	0.014025	none	ASTERIX
qf_shls_entl/clones-04-e08.tptp.smt2	0.013453	0.098275	none	none	0.078161	0.053823	0.125924	0.012942	none	s2s.0.3.3
qf_shls_entl/clones-04-e09.tptp.smt2	0.013075	0.084792	none	none	0.077458	0.050439	0.105798	0.012322	none	s2s.0.3.3
qf_shls_entl/clones-04-e10.tptp.smt2	0.014631	0.075112	none	none	0.072795	0.039991	0.061435	0.012105	none	s2s.0.3.3
qf_shls_entl/clones-05-e01.tptp.smt2	0.011652	0.05084	0.009702	1.99714	0.066587	0.035049	0.013303	0.011931	none	Cyclist
qf_shls_entl/clones-05-e02.tptp.smt2	0.011839	0.055116	0.010146	2.00912	0.072122	0.037252	0.012866	0.01273	none	Cyclist
qf_shls_entl/clones-05-e03.tptp.smt2	0.013473	0.056494	0.009905	2.02702	0.068953	0.035301	0.011243	0.012473	none	Cyclist
qf_shls_entl/clones-05-e04.tptp.smt2	0.012774	0.046136	0.009588	1.95107	0.06671	0.032701	0.011196	0.011601	none	Cyclist
qf_shls_entl/clones-05-e05.tptp.smt2	0.012053	2.31421	0.010364	2.02281	0.070304	0.039031	0.014675	0.012172	none	Cyclist
qf_shls_entl/clones-05-e06.tptp.smt2	0.011719	0.046525	0.008914	1.95653	0.066951	0.033131	0.011499	0.012209	none	Cyclist
qf_shls_entl/clones-05-e07.tptp.smt2	0.013424	0.086995	none	none	0.074235	0.049535	0.116666	0.012922	none	s2s.0.3.3
qf_shls_entl/clones-05-e08.tptp.smt2	0.014466	0.120872	none	none	0.083916	0.076659	0.238095	0.013224	none	s2s.0.3.3
qf_shls_entl/clones-05-e09.tptp.smt2	0.013578	0.099613	none	none	0.083762	0.06863	0.222958	0.012937	none	s2s.0.3.3
qf_shls_entl/clones-05-e10.tptp.smt2	0.012925	0.086641	none	none	0.075185	0.05006	0.116203	0.012146	none	s2s.0.3.3
qf_shls_entl/clones-06-e01.tptp.smt2	0.011792	0.050338	0.010493	1.99607	0.06825	0.033334	0.011308	0.011735	none	Cyclist
qf_shls_entl/clones-06-e02.tptp.smt2	0.011648	0.056873	0.009414	2.0343	0.069305	0.037833	0.012805	0.0121	none	Cyclist
qf_shls_entl/clones-06-e03.tptp.smt2	0.012238	0.056968	0.010104	2.03773	0.067551	0.0394	0.013918	0.012116	none	Cyclist
qf_shls_entl/clones-06-e04.tptp.smt2	0.011595	0.046797	0.010025	1.94343	0.067074	0.033269	0.011412	0.011409	none	Cyclist
qf_shls_entl/clones-06-e05.tptp.smt2	0.012523	3.18063	0.010191	2.04062	0.076235	0.046526	0.016266	0.01218	none	Cyclist
qf_shls_entl/clones-06-e06.tptp.smt2	0.011982	0.045871	0.009187	1.95352	0.068022	0.033221	0.011936	0.011766	none	Cyclist
qf_shls_entl/clones-06-e07.tptp.smt2	0.013585	0.099566	none	none	0.078478	0.064228	0.222847	0.012871	none	s2s.0.3.3
qf_shls_entl/clones-06-e08.tptp.smt2	0.014951	0.146745	none	none	0.091382	0.117929	0.6	0.014362	none	s2s.0.3.3
qf_shls_entl/clones-06-e09.tptp.smt2	0.013838	0.117726	none	none	0.088837	0.100007	0.6	0.013313	none	s2s.0.3.3
qf_shls_entl/clones-06-e10.tptp.smt2	0.01367	0.098685	none	none	0.078643	0.06389	0.221595	0.013209	none	s2s.0.3.3
qf_shls_entl/clones-07-e01.tptp.smt2	0.011693	0.051701	0.009765	2.01241	0.067587	0.036026	0.011739	0.011675	none	Cyclist
qf_shls_entl/clones-07-e02.tptp.smt2	0.012035	0.059231	0.010865	2.02743	0.07016	0.043586	0.016294	0.012699	none	Cyclist
qf_shls_entl/clones-07-e03.tptp.smt2	0.013622	0.059436	0.010357	2.03574	0.072882	0.043595	0.013168	0.012616	none	Cyclist
qf_shls_entl/clones-07-e04.tptp.smt2	0.011286	0.045944	0.009353	1.9603	0.067376	0.033083	0.01019	0.012442	none	Cyclist
qf_shls_entl/clones-07-e05.tptp.smt2	0.012764	4.38109	0.011571	2.04666	0.073817	0.051798	0.01971	0.0125	none	Cyclist
qf_shls_entl/clones-07-e06.tptp.smt2	0.011397	0.046595	0.009267	1.96034	0.066208	0.0331	0.012557	0.012556	none	Cyclist
qf_shls_entl/clones-07-e07.tptp.smt2	0.013961	0.113646	none	none	0.082361	0.08983	0.402337	0.012873	none	s2s.0.3.3
qf_shls_entl/clones-07-e08.tptp.smt2	0.016041	0.174816	none	none	0.099669	0.182173	1.13	0.013964	none	s2s.0.3.3
qf_shls_entl/clones-07-e09.tptp.smt2	0.014202	0.139217	none	none	0.096493	0.154901	1.02	0.014126	none	s2s.0.3.3
qf_shls_entl/clones-07-e10.tptp.smt2	0.015588	0.114283	none	none	0.082002	0.087367	0.53	0.012936	none	s2s.0.3.3
qf_shls_entl/clones-08-e01.tptp.smt2	0.013386	0.052067	0.010253	2.00646	0.067247	0.034708	0.012069	0.01171	none	Cyclist
qf_shls_entl/clones-08-e02.tptp.smt2	0.012321	0.061636	0.010397	2.02962	0.070688	0.049557	0.014368	0.012444	none	Cyclist
qf_shls_entl/clones-08-e03.tptp.smt2	0.012094	0.061947	0.010872	2.04557	0.069483	0.048536	0.012784	0.012163	none	Cyclist
qf_shls_entl/clones-08-e04.tptp.smt2	0.01186	0.04634	0.009886	1.93854	0.06599	0.033229	0.011136	0.011664	none	Cyclist
qf_shls_entl/clones-08-e05.tptp.smt2	0.014128	5.7565	0.011544	2.06586	0.076124	0.064066	0.023153	0.013145	none	Cyclist
qf_shls_entl/clones-08-e06.tptp.smt2	0.012718	0.046213	0.009683	1.95721	0.067177	0.033885	0.011225	0.011683	none	Cyclist
qf_shls_entl/clones-08-e07.tptp.smt2	0.015657	0.131175	none	none	0.084837	0.120102	0.91	0.014282	none	s2s.0.3.3
qf_shls_entl/clones-08-e08.tptp.smt2	0.016574	0.207693	none	none	0.10995	0.27449	2.06	0.014506	none	s2s.0.3.3
qf_shls_entl/clones-08-e09.tptp.smt2	0.014846	0.160659	none	none	0.104094	0.232514	1.55	0.014573	none	s2s.0.3.3
qf_shls_entl/clones-08-e10.tptp.smt2	0.014364	0.131863	none	none	0.08507	0.1221	0.91	0.013793	none	s2s.0.3.3
qf_shls_entl/clones-09-e01.tptp.smt2	0.011771	0.053477	0.010807	1.98461	0.069021	0.035663	0.011527	0.012082	none	Cyclist
qf_shls_entl/clones-09-e02.tptp.smt2	0.012611	0.066061	0.009089	2.03837	0.071731	0.057375	0.01494	0.013341	none	Cyclist
qf_shls_entl/clones-09-e03.tptp.smt2	0.012245	0.065674	0.009257	2.04202	0.072319	0.057048	0.012788	0.013742	none	Cyclist
qf_shls_entl/clones-09-e04.tptp.smt2	0.01177	0.047106	0.008874	1.94371	0.065332	0.032481	0.010655	0.011338	none	Cyclist
qf_shls_entl/clones-09-e05.tptp.smt2	0.013068	7.47923	0.012295	2.0772	0.079408	0.082749	0.028554	0.012745	none	Cyclist
qf_shls_entl/clones-09-e06.tptp.smt2	0.011834	0.046201	0.008831	1.9427	0.065703	0.034036	0.010161	0.011356	none	Cyclist
qf_shls_entl/clones-09-e07.tptp.smt2	0.015178	0.150352	none	none	0.090154	0.168625	1.46	0.012952	none	s2s.0.3.3
qf_shls_entl/clones-09-e08.tptp.smt2	0.017395	0.24166	none	none	0.121643	0.404555	3.48	0.015074	none	s2s.0.3.3
qf_shls_entl/clones-09-e09.tptp.smt2	0.015083	0.184941	none	none	0.115725	0.346563	2.43	0.014218	none	s2s.0.3.3
qf_shls_entl/clones-09-e10.tptp.smt2	0.014592	0.15022	none	none	0.089106	0.169899	1.46	0.013376	none	s2s.0.3.3
qf_shls_entl/clones-10-e01.tptp.smt2	0.011941	0.054405	0.010299	2.01072	0.06747	0.038017	0.013346	0.011781	none	Cyclist
qf_shls_entl/clones-10-e02.tptp.smt2	0.012329	0.06764	0.009121	2.06146	0.071839	0.066019	0.013549	0.012898	none	Cyclist
qf_shls_entl/clones-10-e03.tptp.smt2	0.011949	0.067541	0.010207	2.05405	0.071307	0.069108	0.012358	0.012425	none	Cyclist
qf_shls_entl/clones-10-e04.tptp.smt2	0.011443	0.046533	0.009009	1.94396	0.066339	0.032438	0.011841	0.011627	none	Cyclist
qf_shls_entl/clones-10-e05.tptp.smt2	0.013351	9.26288	0.013048	2.06966	0.082651	0.1024	0.033113	0.013123	none	Cyclist
qf_shls_entl/clones-10-e06.tptp.smt2	0.011376	0.045976	0.009607	1.92731	0.065977	0.03163	0.012164	0.012273	none	Cyclist
qf_shls_entl/clones-10-e07.tptp.smt2	0.015274	0.171535	none	none	0.09562	0.232046	2.16	0.013391	none	s2s.0.3.3
qf_shls_entl/clones-10-e08.tptp.smt2	0.018562	0.272732	none	none	0.133656	0.583803	5.3	0.015618	none	s2s.0.3.3
qf_shls_entl/clones-10-e09.tptp.smt2	0.015878	0.215932	none	none	0.126819	0.504828	3.57	0.015018	none	s2s.0.3.3
qf_shls_entl/clones-10-e10.tptp.smt2	0.017234	0.171026	none	none	0.093961	0.233573	2.12	0.013038	none	s2s.0.3.3
qf_shls_entl/ls-vc01.smt2	0.011757	0.31313	none	2.90648	0.09333	0.034683	0.013718	0.012768	none	ASTERIX
qf_shls_entl/ls-vc02.smt2	0.011744	0.446917	none	3.74171	0.136788	0.033512	0.015372	0.012587	none	ASTERIX
qf_shls_entl/ls-vc03.smt2	0.012049	1.24747	none	none	0.367255	0.03701	0.035464	0.012513	none	ASTERIX
qf_shls_entl/ls-vc04.smt2	0.01182	0.226466	none	2.65995	0.076076	0.033616	0.013367	0.011864	none	ASTERIX
qf_shls_entl/ls-vc05.smt2	0.012554	0.254113	0.008838	1.93887	0.065851	0.03341	0.051025	0.011658	0.287368	Cyclist
qf_shls_entl/ls-vc06.smt2	0.011892	0.359391	none	3.5344	0.115373	0.033494	0.100361	0.012317	none	ASTERIX
qf_shls_entl/ls-vc07.smt2	0.012395	0.545709	none	5.32931	0.065925	0.035304	2.74	0.011873	none	s2s.0.3.3
qf_shls_entl/ls-vc08.smt2	0.01209	0.3081	0.035743	3.55805	none	0.033355	0.331231	0.011583	none	s2s.0.3.3
qf_shls_entl/ls-vc09.smt2	0.012694	0.482448	0.049265	4.72306	none	0.034232	0.91	0.012018	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc01.tptp.smt2	0.011359	0.046881	0.009523	1.96281	0.066164	0.032901	0.01385	0.012678	none	Cyclist
qf_shls_entl/smallfoot-vc02.tptp.smt2	0.011527	0.047991	0.009583	1.95283	0.065788	0.033941	0.011258	0.011918	none	Cyclist
qf_shls_entl/smallfoot-vc03.tptp.smt2	0.011734	0.045868	0.009884	1.93412	0.070112	0.033423	0.010158	0.011661	none	Cyclist
qf_shls_entl/smallfoot-vc04.tptp.smt2	0.011504	0.0477	0.009516	2.21097	0.065093	0.033236	0.012581	0.011886	none	Cyclist
qf_shls_entl/smallfoot-vc05.tptp.smt2	0.012288	0.046975	0.009955	2.17925	0.069419	0.033203	0.011502	0.011877	none	Cyclist
qf_shls_entl/smallfoot-vc06.tptp.smt2	0.011655	0.047019	0.010047	none	0.067092	0.032507	0.011451	0.012108	none	Cyclist
qf_shls_entl/smallfoot-vc07.tptp.smt2	0.011327	0.047301	0.010648	1.96443	0.067318	0.033222	0.010657	0.011495	none	Cyclist
qf_shls_entl/smallfoot-vc08.tptp.smt2	0.011533	0.046673	0.008593	1.97649	0.0669	0.032823	0.010557	0.011754	none	Cyclist
qf_shls_entl/smallfoot-vc09.tptp.smt2	0.012223	0.289871	0.010187	1.97375	0.069313	0.033554	0.83	0.011767	none	Cyclist
qf_shls_entl/smallfoot-vc10.tptp.smt2	0.011731	0.196812	0.009582	3.30334	0.101188	0.034949	0.082265	0.011724	none	Cyclist
qf_shls_entl/smallfoot-vc11.tptp.smt2	0.011891	0.183953	0.009299	3.27729	0.085	0.032655	0.057239	0.011493	none	Cyclist
qf_shls_entl/smallfoot-vc12.tptp.smt2	0.012079	0.171579	0.009443	1.96985	0.072889	0.034195	0.041752	0.011811	none	Cyclist
qf_shls_entl/smallfoot-vc13.tptp.smt2	0.013615	0.1853	0.009315	3.30927	0.066963	0.033579	0.059755	0.012563	none	Cyclist
qf_shls_entl/smallfoot-vc14.tptp.smt2	0.011535	0.047946	0.009268	1.98761	0.066797	0.034109	0.012577	0.011734	none	Cyclist
qf_shls_entl/smallfoot-vc15.tptp.smt2	0.01158	0.048442	0.008926	1.97617	0.068612	0.034685	0.011367	0.012087	none	Cyclist
qf_shls_entl/smallfoot-vc16.tptp.smt2	0.01212	0.318859	0.010765	1.97601	0.067843	0.033426	0.04972	0.011677	none	Cyclist
qf_shls_entl/smallfoot-vc17.tptp.smt2	0.011933	0.047934	0.009598	1.97618	0.068386	0.033192	0.010921	0.012654	none	Cyclist
qf_shls_entl/smallfoot-vc18.tptp.smt2	0.012032	0.432317	0.009977	1.9846	0.068747	0.033668	0.054494	0.011645	none	Cyclist
qf_shls_entl/smallfoot-vc19.tptp.smt2	0.011635	0.047046	0.010051	1.94721	0.070631	0.033325	0.011582	0.011282	none	Cyclist
qf_shls_entl/smallfoot-vc20.tptp.smt2	0.011506	0.047559	0.010025	1.96131	0.066683	0.033338	0.010495	0.00913	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc21.tptp.smt2	0.011698	0.169027	0.008753	1.96854	0.066319	0.032927	0.041933	0.011702	none	Cyclist
qf_shls_entl/smallfoot-vc22.tptp.smt2	0.011943	0.06222	none	2.47237	none	0.033164	0.013365	0.011545	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc23.tptp.smt2	0.011645	0.048383	none	2.76068	none	0.03524	0.011957	0.011712	none	ASTERIX
qf_shls_entl/smallfoot-vc24.tptp.smt2	0.011809	0.158063	0.010783	2.73807	0.070534	0.032841	0.015251	0.012342	none	Cyclist
qf_shls_entl/smallfoot-vc25.tptp.smt2	0.012033	0.144723	0.009255	2.74339	0.071333	0.034893	0.012118	0.01156	none	Cyclist
qf_shls_entl/smallfoot-vc26.tptp.smt2	0.011888	0.205972	0.008966	1.96015	0.067916	0.034894	0.012242	0.012656	none	Cyclist
qf_shls_entl/smallfoot-vc27.tptp.smt2	0.011771	0.047028	0.009804	1.95779	0.066457	0.034703	0.010446	0.011491	none	Cyclist
qf_shls_entl/smallfoot-vc28.tptp.smt2	0.012217	0.221015	0.040901	3.34677	none	0.034584	0.06806	0.012203	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc29.tptp.smt2	0.011713	0.052559	none	3.52324	0.080721	0.035485	0.014053	0.009369	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc30.tptp.smt2	0.01241	0.057485	none	3.62117	0.095669	0.035103	0.016485	0.009541	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc31.tptp.smt2	0.012154	0.058278	none	4.1524	0.088003	0.034414	0.017594	0.008725	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc32.tptp.smt2	0.012085	0.054093	none	3.62699	0.087495	0.033939	0.014915	0.009327	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc33.tptp.smt2	0.013898	0.054955	none	3.94242	0.080649	0.034098	0.019803	0.009589	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc34.tptp.smt2	0.012349	0.506571	0.010202	1.99992	0.458773	0.034257	1.46	0.012221	none	Cyclist
qf_shls_entl/smallfoot-vc35.tptp.smt2	0.013715	0.053664	none	3.58484	0.087545	0.03382	0.014847	0.008669	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc36.tptp.smt2	0.012122	0.316744	0.00865	2.01681	0.093654	0.035564	0.062492	0.012825	none	Cyclist
qf_shls_entl/smallfoot-vc37.tptp.smt2	0.012311	0.055268	none	3.94525	0.076341	0.035184	0.015125	0.00996	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc38.tptp.smt2	0.012528	0.502167	8.86863	5.01578	0.74151	0.034507	1.39	0.012286	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc39.tptp.smt2	0.012413	0.31023	none	3.42342	none	0.032746	0.015302	0.012208	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc40.tptp.smt2	0.012557	0.366375	none	3.36243	none	0.035515	0.021308	0.013837	none	ASTERIX
qf_shls_entl/smallfoot-vc41.tptp.smt2	0.012057	0.322433	0.346692	3.62247	0.069579	0.033391	0.69	0.012034	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc42.tptp.smt2	0.013126	0.364041	2.99838	3.59216	0.07155	0.033554	1.22	0.013378	none	ASTERIX
qf_shls_entl/smallfoot-vc43.tptp.smt2	0.012458	0.366208	none	3.38675	none	0.034692	0.020724	0.012245	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc44.tptp.smt2	0.013355	0.480176	0.028155	3.62621	0.072475	0.034229	3.01	0.012512	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc45.tptp.smt2	0.012176	0.418708	0.011425	3.37823	0.069055	0.035298	2.21	0.012018	none	Cyclist
qf_shls_entl/smallfoot-vc46.tptp.smt2	0.012111	0.419399	0.010048	3.34199	0.069697	0.03285	2.19	0.01229	none	Cyclist
qf_shls_entl/smallfoot-vc47.tptp.smt2	0.011944	0.048017	0.009398	1.95508	0.07075	0.034294	0.01085	0.012345	none	Cyclist
qf_shls_entl/smallfoot-vc48.tptp.smt2	0.011972	0.29147	0.010888	1.98299	0.069575	0.035585	0.69	0.011654	none	Cyclist
qf_shls_entl/smallfoot-vc49.tptp.smt2	0.011727	0.248215	none	3.31353	none	0.033528	0.016174	0.011613	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc50.tptp.smt2	0.01252	0.222619	0.009735	3.30526	0.067763	0.033275	0.052712	0.012005	none	Cyclist
qf_shls_entl/smallfoot-vc51.tptp.smt2	0.011994	0.23291	0.008441	1.97016	0.068114	0.03315	0.049794	0.011515	none	Cyclist
qf_shls_entl/smallfoot-vc52.tptp.smt2	0.012167	0.488364	0.010084	1.97193	0.069118	0.035371	0.92	0.012087	none	Cyclist
qf_shls_entl/smallfoot-vc53.tptp.smt2	0.011937	0.315705	0.01003	1.95912	0.067055	0.03385	0.045977	0.011675	none	Cyclist
qf_shls_entl/smallfoot-vc54.tptp.smt2	0.012	0.062933	none	2.47994	none	0.034446	0.01382	0.011823	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc55.tptp.smt2	0.01386	0.223927	0.009334	3.33377	0.068055	0.033432	0.052733	0.011723	none	Cyclist
qf_shls_entl/smallfoot-vc56.tptp.smt2	0.011656	0.220344	none	3.37035	none	0.035162	0.012901	0.011601	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc57.tptp.smt2	0.011809	0.33712	none	3.32209	none	0.033372	0.020176	0.012104	none	ASTERIX
qf_shls_entl/smallfoot-vc58.tptp.smt2	0.01206	0.4905	0.010735	1.9951	0.06956	0.036122	1.11	0.011742	none	Cyclist
qf_shls_entl/smallfoot-vc59.tptp.smt2	0.011909	0.426799	0.009513	1.9717	0.067503	0.033357	0.046806	0.011882	none	Cyclist
qf_shls_entl/smallfoot-vc60.tptp.smt2	0.012816	0.306217	0.010024	3.33372	0.073369	0.033767	0.059331	0.012503	none	Cyclist
qf_shls_entl/smallfoot-vc61.tptp.smt2	0.011974	0.309846	none	3.29492	none	0.0344	0.013946	0.011851	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc62.tptp.smt2	0.013156	0.049129	0.009611	2.01589	0.066561	0.032652	0.013122	0.012566	none	Cyclist
qf_shls_entl/smallfoot-vc63.tptp.smt2	0.013522	0.306104	0.009416	3.32686	0.073351	0.032882	2.38	0.011781	none	Cyclist
qf_shls_entl/smallfoot-vc64.tptp.smt2	0.011666	0.047888	0.009475	1.93968	0.066561	0.03498	0.011901	0.011847	none	Cyclist
qf_shls_entl/smallfoot-vc65.tptp.smt2	0.014059	0.308398	0.010184	3.32598	0.069032	0.033892	0.66	0.011994	none	Cyclist
qf_shls_entl/smallfoot-vc66.tptp.smt2	0.013154	0.233286	0.00917	1.97002	0.066684	0.033206	0.048315	0.012712	none	Cyclist
qf_shls_entl/smallfoot-vc67.tptp.smt2	0.01215	0.222714	0.010269	3.31262	0.068111	0.033684	0.055298	0.011612	none	Cyclist
qf_shls_entl/smallfoot-vc68.tptp.smt2	0.011626	0.221031	none	3.35586	none	0.03354	0.013442	0.012514	none	ASTERIX
qf_shls_entl/smallfoot-vc69.tptp.smt2	0.011959	0.051465	none	2.519	none	0.036453	0.012152	0.011695	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc70.tptp.smt2	0.012127	0.354068	none	3.64208	none	0.035607	0.01804	0.012072	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc71.tptp.smt2	0.012149	0.333341	0.010003	3.40935	0.088538	0.033949	0.079353	0.011956	none	Cyclist
qf_shls_entl/smallfoot-vc72.tptp.smt2	0.012312	0.334619	none	3.36174	none	0.033897	0.0132	0.01165	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc73.tptp.smt2	0.01233	0.333744	none	3.3826	none	0.034785	0.012402	0.011736	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc74.tptp.smt2	0.012314	0.364455	0.009907	3.41735	0.071056	0.034108	1.17	0.011915	none	Cyclist
qf_shls_entl/smallfoot-vc75.tptp.smt2	0.011839	0.288736	0.009185	1.98419	0.068247	0.0353	0.011414	0.011732	none	Cyclist
qf_shls_entl/smallfoot-vc76.tptp.smt2	0.013463	0.308057	none	3.2999	none	0.033576	0.012466	0.011766	none	s2s.0.3.3
qf_shls_entl/smallfoot-vc77.tptp.smt2	0.011476	0.047577	0.009808	1.9615	0.067377	0.033116	0.013951	0.012229	none	Cyclist
Total	105	0	108	0	0	0	1	82	0	ALL