benchmark	Cyclist-SL	Harrsh-22687	SLEEK-20564	Songbird-20617	s2s.0.3.3-22440	slide-2018	VBS
qf_shid_entl/01.tst.smt2	0.019858	none	0.073349	0.112812	0.014492	none	s2s.0.3.3
qf_shid_entl/02.tst.smt2	0.023474	2.97574	0.076146	1.76	0.014778	none	s2s.0.3.3
qf_shid_entl/03.tst.smt2	0.019015	3.07768	0.071342	0.074617	0.012117	none	s2s.0.3.3
qf_shid_entl/04.tst.smt2	0.024998	2.98548	0.074311	1.22	0.012372	0.311835	s2s.0.3.3
qf_shid_entl/05.tst.smt2	0.018336	3.18671	0.070907	0.082372	0.012543	none	s2s.0.3.3
qf_shid_entl/06.tst.smt2	0.041412	3.15375	0.085693	1.02	0.012307	0.466932	s2s.0.3.3
qf_shid_entl/07.tst.smt2	0.024085	3.84661	0.105965	0.073894	0.012513	none	s2s.0.3.3
qf_shid_entl/08.tst.smt2	0.024251	3.55504	none	0.097721	0.014273	none	s2s.0.3.3
qf_shid_entl/09.tst.smt2	0.035854	4.60597	0.147458	2.38	0.012097	none	s2s.0.3.3
qf_shid_entl/10.tst.smt2	0.162507	3.24059	0.119033	0.19488	0.016678	0.296044	s2s.0.3.3
qf_shid_entl/11.tst.smt2	0.109268	3.29181	0.185133	0.155807	0.014253	0.297666	s2s.0.3.3
qf_shid_entl/12.tst.smt2	0.08331	3.24308	0.157007	0.148285	0.014061	0.305876	s2s.0.3.3
qf_shid_entl/13.tst.smt2	0.028925	2.99546	none	0.037315	0.014722	0.322568	s2s.0.3.3
qf_shid_entl/14.tst.smt2	0.030816	3.01082	none	0.036697	0.013312	0.323099	s2s.0.3.3
qf_shid_entl/15.tst.smt2	0.057898	3.47496	0.115689	5.1	0.017828	1.102	s2s.0.3.3
qf_shid_entl/16.tst.smt2	0.046012	4.05301	0.140025	1.36	0.015194	0.38975	s2s.0.3.3
qf_shid_entl/17.tst.smt2	0.12778	5.22683	0.246034	5.09	0.024905	0.525578	s2s.0.3.3
qf_shid_entl/18.tst.smt2	0.068995	3.85523	0.084212	5.06	0.01572	0.391878	s2s.0.3.3
qf_shid_entl/19.tst.smt2	0.010136	3.3819	0.082985	0.105642	0.011896	0.288423	Cyclist
qf_shid_entl/20.tst.smt2	0.040251	3.37786	0.068749	0.54	0.011863	none	s2s.0.3.3
qf_shid_entl/21.tst.smt2	0.046886	3.0372	none	0.060983	0.015674	none	s2s.0.3.3
qf_shid_entl/22.tst.smt2	0.183715	3.62617	0.072091	1.3	0.01202	none	s2s.0.3.3
qf_shid_entl/append_dll_slk-1.smt2	0.011411	3.29226	0.090219	0.95	0.014726	none	Cyclist
qf_shid_entl/append_dll_slk-10.smt2	0.055053	3.92927	0.127954	0.075468	0.015824	none	s2s.0.3.3
qf_shid_entl/append_dll_slk-11.smt2	0.011827	3.06293	0.087975	0.015503	0.015856	none	Cyclist
qf_shid_entl/append_dll_slk-12.smt2	0.018323	3.33829	0.095426	0.051429	0.015075	none	s2s.0.3.3
qf_shid_entl/append_dll_slk-2.smt2	0.011181	2.17858	0.084134	0.118029	0.014746	none	Cyclist
qf_shid_entl/append_dll_slk-3.smt2	0.010178	2.09641	0.083463	1.17	0.014045	none	Cyclist
qf_shid_entl/append_dll_slk-4.smt2	0.01068	3.34738	0.092746	0.181461	0.014635	none	Cyclist
qf_shid_entl/append_dll_slk-5.smt2	0.009975	2.16793	0.078575	0.0156	0.013778	none	Cyclist
qf_shid_entl/append_dll_slk-6.smt2	0.009841	2.14222	0.086501	0.124141	0.014979	none	Cyclist
qf_shid_entl/append_dll_slk-7.smt2	0.012673	3.64788	0.104437	0.133656	0.015178	none	Cyclist
qf_shid_entl/append_dll_slk-8.smt2	0.012404	3.42179	0.09398	1.71	0.014634	none	Cyclist
qf_shid_entl/append_dll_slk-9.smt2	0.026979	2.55493	0.158337	1.3	0.069406	none	Cyclist
qf_shid_entl/append_sll_cll_slk-1.smt2	0.009769	3.09949	0.098031	0.034591	0.014135	none	Cyclist
qf_shid_entl/append_sll_cll_slk-10.smt2	0.011305	3.13507	0.09367	0.033841	0.014322	none	Cyclist
qf_shid_entl/append_sll_cll_slk-11.smt2	0.011649	2.15055	0.090763	0.016758	0.013861	none	Cyclist
qf_shid_entl/append_sll_cll_slk-12.smt2	0.01093	2.11421	0.095069	0.039406	0.013716	none	Cyclist
qf_shid_entl/append_sll_cll_slk-13.smt2	0.009684	3.16749	0.094343	0.054383	0.014398	none	Cyclist
qf_shid_entl/append_sll_cll_slk-14.smt2	0.01148	2.21595	0.093161	0.038093	0.014186	none	Cyclist
qf_shid_entl/append_sll_cll_slk-15.smt2	none	3.02148	0.110574	0.021509	0.014187	none	s2s.0.3.3
qf_shid_entl/append_sll_cll_slk-16.smt2	0.011662	2.96249	0.095878	0.015334	0.015039	none	Cyclist
qf_shid_entl/append_sll_cll_slk-17.smt2	0.010719	3.45325	0.105845	0.045769	0.014573	none	Cyclist
qf_shid_entl/append_sll_cll_slk-18.smt2	0.016994	3.24088	0.098916	0.017362	0.015999	none	s2s.0.3.3
qf_shid_entl/append_sll_cll_slk-2.smt2	0.010564	2.10206	0.088131	0.016489	0.013636	none	Cyclist
qf_shid_entl/append_sll_cll_slk-3.smt2	0.00959	2.05991	0.091545	0.038492	0.013831	none	Cyclist
qf_shid_entl/append_sll_cll_slk-4.smt2	0.011022	3.15411	0.096767	0.055496	0.013993	none	Cyclist
qf_shid_entl/append_sll_cll_slk-5.smt2	0.010107	2.22917	0.089458	0.039306	0.013708	none	Cyclist
qf_shid_entl/append_sll_cll_slk-6.smt2	none	3.05878	0.09285	0.018295	0.013803	none	s2s.0.3.3
qf_shid_entl/append_sll_cll_slk-7.smt2	0.011696	2.94737	0.091339	0.015483	0.015056	none	Cyclist
qf_shid_entl/append_sll_cll_slk-8.smt2	0.019757	3.79455	0.137477	0.067614	0.014474	none	s2s.0.3.3
qf_shid_entl/append_sll_cll_slk-9.smt2	0.023017	none	0.105783	0.019853	0.014226	none	s2s.0.3.3
qf_shid_entl/append_sll_ls_slk-1.smt2	0.010636	3.10379	0.083711	0.035016	0.014751	none	Cyclist
qf_shid_entl/append_sll_ls_slk-2.smt2	0.010262	2.10983	0.085533	0.015613	0.014398	none	Cyclist
qf_shid_entl/append_sll_ls_slk-3.smt2	0.010703	2.05421	0.081114	0.039163	0.013966	none	Cyclist
qf_shid_entl/append_sll_ls_slk-4.smt2	0.010974	3.17562	0.086006	0.055028	0.015223	none	Cyclist
qf_shid_entl/append_sll_ls_slk-5.smt2	0.010193	2.21436	0.083178	0.038388	0.013393	none	Cyclist
qf_shid_entl/append_sll_ls_slk-6.smt2	0.010676	3.12266	0.083411	0.0166	0.014076	none	Cyclist
qf_shid_entl/append_sll_ls_slk-7.smt2	0.018729	3.7775	0.138616	0.069603	0.015092	none	s2s.0.3.3
qf_shid_entl/append_sll_ls_slk-8.smt2	0.021508	none	0.093684	0.019873	0.01388	none	s2s.0.3.3
qf_shid_entl/append_sll_slk-1.smt2	0.010688	3.13869	0.07596	0.262072	0.013535	none	Cyclist
qf_shid_entl/append_sll_slk-2.smt2	0.009591	2.05543	0.072557	0.093386	0.012873	none	Cyclist
qf_shid_entl/append_sll_slk-3.smt2	0.00936	2.03681	0.072083	0.63	0.012789	none	Cyclist
qf_shid_entl/append_sll_slk-4.smt2	0.010528	3.34655	0.077306	0.92	0.014468	none	Cyclist
qf_shid_entl/append_sll_slk-5.smt2	0.009742	2.2385	0.097923	0.65	0.012503	none	Cyclist
qf_shid_entl/append_sll_slk-6.smt2	0.011673	3.20582	0.077106	0.125847	0.014199	none	Cyclist
qf_shid_entl/append_sll_slk-7.smt2	0.010467	3.01814	0.071655	0.041004	0.012515	none	Cyclist
qf_shid_entl/append_sll_slk-8.smt2	0.013065	3.11695	0.077369	0.146955	0.012741	none	s2s.0.3.3
qf_shid_entl/dll-entails-dll-rev.smt2	none	3.43956	none	3.62	0.019299	0.317737	s2s.0.3.3
qf_shid_entl/dll-entails-dll0+.smt2	0.076815	3.77307	none	0.058766	0.018708	0.31701	s2s.0.3.3
qf_shid_entl/dll-mid-entails-dll-rev.smt2	3.56666	none	none	27.64	0.05607	0.646387	s2s.0.3.3
qf_shid_entl/dll-rev-entails-dll-mid.smt2	0.03372	none	none	0.102041	0.054995	0.331758	Cyclist
qf_shid_entl/dll-rev-entails-dll.smt2	none	3.42423	none	3.53	0.019285	0.372421	s2s.0.3.3
qf_shid_entl/dll-spaghetti.smt2	none	none	none	15.82	0.048115	14.5383	s2s.0.3.3
qf_shid_entl/dll-vc01.smt2	0.011726	3.26304	0.119151	0.02798	0.012119	0.291951	Cyclist
qf_shid_entl/dll-vc02.smt2	0.012484	3.27936	0.11886	0.024458	0.012759	0.288796	Cyclist
qf_shid_entl/dll-vc03.smt2	0.017896	7.8536	0.134768	0.031639	0.012399	0.290997	s2s.0.3.3
qf_shid_entl/dll-vc04.smt2	none	4.01739	0.152807	0.01546	0.013632	none	s2s.0.3.3
qf_shid_entl/dll-vc05.smt2	1.02878	3.8687	none	19.73	0.012861	none	s2s.0.3.3
qf_shid_entl/dll-vc06.smt2	none	4.77036	0.218624	0.030629	0.012827	none	s2s.0.3.3
qf_shid_entl/dll-vc07.smt2	0.090412	4.06292	none	4.46	0.0132	none	s2s.0.3.3
qf_shid_entl/dll-vc08.smt2	none	6.93989	0.313387	0.033783	0.013627	none	s2s.0.3.3
qf_shid_entl/dll-vc09.smt2	0.079426	9.75756	0.180277	0.061197	0.012567	none	s2s.0.3.3
qf_shid_entl/dll-vc10.smt2	none	7.4453	0.332393	0.031432	0.012316	none	s2s.0.3.3
qf_shid_entl/dll-vc11.smt2	70.0474	3.83136	none	none	0.012617	none	s2s.0.3.3
qf_shid_entl/dll-vc12.smt2	none	4.61832	0.230778	0.026297	0.012805	none	s2s.0.3.3
qf_shid_entl/dll-vc13.smt2	none	4.76176	0.157042	0.017634	0.012193	none	s2s.0.3.3
qf_shid_entl/dll-vc14.smt2	none	3.01565	0.160597	0.018624	0.01274	none	s2s.0.3.3
qf_shid_entl/dll-vc15.smt2	0.010971	3.03835	0.110819	0.020361	0.012142	0.289601	Cyclist
qf_shid_entl/dll-vc16.smt2	none	25.9451	0.793715	0.035276	0.014612	none	s2s.0.3.3
qf_shid_entl/dll-vc17.smt2	0.324389	4.41683	none	16.0	0.013618	none	s2s.0.3.3
qf_shid_entl/dll2-entails-dll2-rev.smt2	26.2406	4.04768	none	0.3361	0.114434	0.324032	s2s.0.3.3
qf_shid_entl/dll2-rev-entails-dll2.smt2	24.8045	4.03427	none	0.539396	0.115168	0.324397	s2s.0.3.3
qf_shid_entl/dll2-spaghetti.smt2	none	none	none	24.46	0.691866	29.0368	s2s.0.3.3
qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2	0.170533	12.3837	none	31.88	0.051436	0.318852	s2s.0.3.3
qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2	1.62091	12.1605	none	5.07	0.052317	0.317907	s2s.0.3.3
qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2	1.66888	13.5613	0.3643	5.11	0.051336	0.314829	s2s.0.3.3
qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2	0.773407	15.3784	none	22.98	0.051839	0.31509	s2s.0.3.3
qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2	0.594393	3.69751	none	0.077592	0.018721	none	s2s.0.3.3
qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2	0.018477	3.70032	0.127537	0.059066	0.014694	none	s2s.0.3.3
qf_shid_entl/dllrev_concat.sb.smt2	0.0276	4.3044	none	1.25	0.017898	0.313983	s2s.0.3.3
qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2	0.027567	4.63869	0.231233	1.34	0.028686	0.958992	Cyclist
qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2	0.026813	4.56016	none	1.39	0.031035	0.317438	Cyclist
qf_shid_entl/dllrev_entails_dll.sb.smt2	0.064463	3.42099	none	0.075046	0.019798	0.372302	s2s.0.3.3
qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2	0.023844	3.30721	0.096643	0.194546	0.018275	0.315599	s2s.0.3.3
qf_shid_entl/dll_append_tail_entails_dll.sb.smt2	0.021039	3.74101	none	0.056517	0.014507	none	s2s.0.3.3
qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2	0.020078	3.22476	0.101478	0.05472	0.014759	none	s2s.0.3.3
qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2	0.095179	3.23709	none	0.058921	0.016141	none	s2s.0.3.3
qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2	0.019122	3.71101	none	0.057038	0.014419	none	s2s.0.3.3
qf_shid_entl/dll_concat.sb.smt2	0.026583	4.39009	0.134298	1.12	0.017755	0.313487	s2s.0.3.3
qf_shid_entl/dll_concat_dllrev.sb.smt2	0.044911	4.61908	none	1.15	0.031038	none	s2s.0.3.3
qf_shid_entl/dll_entails_dllrev.sb.smt2	0.070511	3.44286	none	0.050852	0.018979	0.315398	s2s.0.3.3
qf_shid_entl/dll_entails_ls.sb.smt2	0.018353	3.78939	0.10275	0.065246	0.014362	none	s2s.0.3.3
qf_shid_entl/dll_entails_lspre.sb.smt2	0.059084	3.5623	none	0.069757	0.014128	none	s2s.0.3.3
qf_shid_entl/dll_entails_lsrev.sb.smt2	0.059963	3.58786	none	0.137952	0.014624	none	s2s.0.3.3
qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2	0.024355	3.15739	0.086445	0.042805	0.014779	0.31934	s2s.0.3.3
qf_shid_entl/elseg4_slk-1.smt2	0.009456	3.88369	0.106713	0.103295	0.014509	none	Cyclist
qf_shid_entl/elseg4_slk-2.smt2	0.011236	3.07623	0.087984	0.014634	0.013581	none	Cyclist
qf_shid_entl/elseg4_slk-3.smt2	none	3.4879	0.097511	0.013284	0.01456	none	Songbird
qf_shid_entl/elseg4_slk-4.smt2	none	3.56211	0.103914	0.022076	0.013108	none	s2s.0.3.3
qf_shid_entl/elseg4_slk-5.smt2	0.019381	3.87952	0.10009	1.6	0.014472	none	s2s.0.3.3
qf_shid_entl/elseg4_slk-6.smt2	0.019935	3.88354	0.104842	0.153524	0.014576	none	s2s.0.3.3
qf_shid_entl/elseg4_slk-7.smt2	0.056691	5.74962	0.151623	0.099628	0.017924	none	s2s.0.3.3
qf_shid_entl/elseg4_slk-8.smt2	0.016653	2.44364	0.104034	0.05987	0.014042	none	s2s.0.3.3
qf_shid_entl/elseg4_slk-9.smt2	0.018926	5.74025	0.098998	0.061014	0.018421	none	s2s.0.3.3
qf_shid_entl/eolseg_01.sb.smt2	2.13912	3.45469	none	3.4	0.015981	none	s2s.0.3.3
qf_shid_entl/eolseg_02.sb.smt2	1.02364	3.46658	none	4.1	0.019086	none	s2s.0.3.3
qf_shid_entl/eolseg_05.sb.smt2	42.0599	3.73541	none	5.23	0.02223	none	s2s.0.3.3
qf_shid_entl/eolseg_06.sb.smt2	21.807	3.67591	none	5.24	0.02527	none	s2s.0.3.3
qf_shid_entl/eolseg_07.sb.smt2	270.348	3.73317	none	51.31	0.034383	none	s2s.0.3.3
qf_shid_entl/eolseg_09.sb.smt2	13.4158	3.73779	none	1.8	0.023044	none	s2s.0.3.3
qf_shid_entl/eolseg_12.sb.smt2	2.56259	3.79845	none	5.18	0.021954	none	s2s.0.3.3
qf_shid_entl/eolseg_15.sb.smt2	4.73608	3.80431	none	5.22	0.021452	none	s2s.0.3.3
qf_shid_entl/ls2_entail_ls_01.sb.smt2	0.040617	3.2889	0.124374	2.15	0.014024	none	s2s.0.3.3
qf_shid_entl/ls2_entail_ls_04.sb.smt2	0.47773	4.76569	none	5.87	0.017136	none	s2s.0.3.3
qf_shid_entl/lsegex4_slk-1.smt2	none	none	0.150911	0.66	0.013826	none	s2s.0.3.3
qf_shid_entl/lsegex4_slk-2.smt2	none	none	0.145613	0.012412	0.013903	none	Songbird
qf_shid_entl/lsegex4_slk-3.smt2	0.015865	2.32882	0.151077	0.041126	0.015353	none	s2s.0.3.3
qf_shid_entl/lsegex4_slk-4.smt2	0.01885	2.36803	0.165088	0.059042	0.016032	none	s2s.0.3.3
qf_shid_entl/lsegex4_slk-5.smt2	0.018718	2.3225	0.144246	0.037554	0.014028	none	s2s.0.3.3
qf_shid_entl/lsegex4_slk-6.smt2	0.011725	2.28942	0.141829	0.033399	0.014104	none	Cyclist
qf_shid_entl/lsevenodd_01.sb.smt2	0.036278	3.21041	0.143015	0.075364	0.014769	none	s2s.0.3.3
qf_shid_entl/lsevenodd_02.sb.smt2	0.066421	3.3315	0.210955	1.39	0.015564	none	s2s.0.3.3
qf_shid_entl/lsevenodd_03.sb.smt2	6.51081	3.25106	none	1.62	0.016109	none	s2s.0.3.3
qf_shid_entl/lsevenodd_04.sb.smt2	0.99671	3.32758	none	1.63	0.015441	none	s2s.0.3.3
qf_shid_entl/lsevenodd_09.sb.smt2	0.491131	3.25351	none	0.91	0.015997	none	s2s.0.3.3
qf_shid_entl/lsevenodd_11.sb.smt2	0.101491	3.3154	0.186299	0.72	0.015686	none	s2s.0.3.3
qf_shid_entl/lsevenodd_14.sb.smt2	0.304872	3.2277	none	0.95	0.01567	none	s2s.0.3.3
qf_shid_entl/lsevenodd_15.sb.smt2	0.458952	3.28288	none	1.23	0.015646	none	s2s.0.3.3
qf_shid_entl/lsevenodd_16.sb.smt2	0.22025	3.31632	0.177838	0.83	0.01557	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_01.sb.smt2	0.163792	3.93037	none	0.317081	0.020522	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_02.sb.smt2	0.448321	3.94481	none	0.316653	0.017401	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_05.sb.smt2	0.964237	5.09161	0.176962	0.61	0.029837	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_06.sb.smt2	0.498812	4.94808	none	1.39	0.03618	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_09.sb.smt2	0.273397	3.47696	0.251326	5.17	0.015792	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_13.sb.smt2	3.5227	3.6843	none	5.17	0.020758	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_14.sb.smt2	1.21207	3.76264	none	5.18	0.01729	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_15.sb.smt2	2.99748	3.82062	none	5.21	0.017305	none	s2s.0.3.3
qf_shid_entl/lsevenodd_ls2_16.sb.smt2	4.77453	3.71042	none	5.34	0.017522	none	s2s.0.3.3
qf_shid_entl/lsleftright_01.sb.smt2	0.032672	none	none	2.32	0.027177	none	s2s.0.3.3
qf_shid_entl/lsleftright_02.sb.smt2	0.047723	none	none	0.222525	0.01592	none	s2s.0.3.3
qf_shid_entl/lsleftright_04.sb.smt2	0.156958	none	none	0.2143	0.016747	none	s2s.0.3.3
qf_shid_entl/lsleftright_05.sb.smt2	0.045046	3.20582	0.09764	0.96	0.015071	none	s2s.0.3.3
qf_shid_entl/lsleftright_06.sb.smt2	0.366097	none	none	0.78	0.014902	none	s2s.0.3.3
qf_shid_entl/lsleftright_07.sb.smt2	0.182175	3.20287	none	0.99	0.015945	none	s2s.0.3.3
qf_shid_entl/lsleftright_08.sb.smt2	0.033717	3.18848	0.105382	0.72	0.013063	none	s2s.0.3.3
qf_shid_entl/lsleftright_09.sb.smt2	0.358312	none	none	0.62	0.014916	none	s2s.0.3.3
qf_shid_entl/lsleftright_10.sb.smt2	5.04768	3.17592	none	0.69	0.01571	none	s2s.0.3.3
qf_shid_entl/lsleftright_11.sb.smt2	0.149529	none	none	0.269531	0.016067	none	s2s.0.3.3
qf_shid_entl/lsleftright_12.sb.smt2	0.146786	none	none	0.277897	0.016514	none	s2s.0.3.3
qf_shid_entl/lsleftright_13.sb.smt2	0.861003	none	none	3.29	0.027729	none	s2s.0.3.3
qf_shid_entl/lsleftright_14.sb.smt2	0.858665	none	none	5.17	0.027167	none	s2s.0.3.3
qf_shid_entl/lsleftright_15.sb.smt2	1.30619	none	none	3.25	0.02721	none	s2s.0.3.3
qf_shid_entl/lsleftright_16.sb.smt2	0.041945	none	none	0.233852	0.025901	none	s2s.0.3.3
qf_shid_entl/lsleftright_17.sb.smt2	1.89479	none	none	5.07	0.015499	none	s2s.0.3.3
qf_shid_entl/lsleftright_18.sb.smt2	1.56075	none	none	5.11	0.015372	none	s2s.0.3.3
qf_shid_entl/lsleftright_19.sb.smt2	1.36706	none	none	0.83	0.016041	none	s2s.0.3.3
qf_shid_entl/lsleftright_20.sb.smt2	0.033365	none	none	1.32	0.015507	none	s2s.0.3.3
qf_shid_entl/lss-vc01.smt2	0.010046	2.99426	0.074802	0.015803	0.01187	0.303618	Cyclist
qf_shid_entl/lss-vc02.smt2	0.014205	3.92036	0.116887	0.022208	0.01197	0.305643	s2s.0.3.3
qf_shid_entl/lss-vc03.smt2	0.045704	4.24003	0.135611	0.110736	0.01212	0.558935	s2s.0.3.3
qf_shid_entl/ls_entail_ls2_02.sb.smt2	0.175405	5.47667	none	5.1	0.017288	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls2_04.sb.smt2	0.046876	12.4901	none	0.61	0.016273	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls2_05.sb.smt2	0.047298	11.7018	0.187263	0.61	0.017337	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls2_06.sb.smt2	0.031971	9.93511	0.153606	0.14171	0.017376	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2	0.088675	4.00671	0.135774	0.052127	0.014196	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2	0.075981	5.38619	0.150744	0.071008	0.014444	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2	0.152472	5.59446	0.378569	1.7	0.014407	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2	0.447704	15.0828	1.38178	5.88	0.016621	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2	0.792269	14.9817	4.42036	6.41	0.01668	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2	0.383347	14.9713	0.222845	0.166977	0.015843	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2	516.342	95.6618	none	6.58	0.020559	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2	5.361	85.4825	1.27341	6.06	0.018301	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2	4.35918	84.6525	12.796	6.08	0.01826	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2	3.1015	87.2042	127.142	6.07	0.018872	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2	none	none	none	12.99	0.036484	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2	none	none	none	35.06	0.059164	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2	none	none	none	42.4	0.14021	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2	none	none	none	31.92	0.467848	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2	none	none	none	11.9	2.2654	none	s2s.0.3.3
qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2	none	none	none	26.3	14.6352	none	s2s.0.3.3
qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2	0.081881	3.21606	0.132975	0.072712	0.014678	none	s2s.0.3.3
qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2	0.04335	3.48271	0.11566	0.171362	0.014548	none	s2s.0.3.3
qf_shid_entl/ls_even_entails_ls.sb.smt2	0.03646	3.13397	0.123553	0.054207	0.014478	0.309285	s2s.0.3.3
qf_shid_entl/ls_even_join_entails_ls.sb.smt2	0.482579	3.26691	none	0.92	0.01527	0.506268	s2s.0.3.3
qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2	0.144468	3.49313	0.205423	4.36	0.015739	0.586597	s2s.0.3.3
qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2	0.181782	3.29692	none	0.78	0.014458	0.626953	s2s.0.3.3
qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2	0.703855	3.22803	none	0.938602	0.01672	0.613911	s2s.0.3.3
qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2	0.145958	3.49773	0.11219	2.52	0.01495	0.639705	s2s.0.3.3
qf_shid_entl/ls_join_entails_ls.sb.smt2	0.034918	3.18	0.096829	0.66	0.012137	0.541689	s2s.0.3.3
qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2	4.55135	none	0.136544	52.44	0.016275	none	s2s.0.3.3
qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2	27.742	none	0.121871	5.1	0.015741	none	s2s.0.3.3
qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2	135.997	none	0.148073	5.13	0.017322	none	s2s.0.3.3
qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2	90.1514	none	0.171205	5.26	0.018472	none	s2s.0.3.3
qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2	11.4581	none	0.13015	5.2	0.014404	none	s2s.0.3.3
qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2	6.89338	none	none	5.18	0.014587	none	s2s.0.3.3
qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2	15.7357	none	none	5.17	0.016768	none	s2s.0.3.3
qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2	55.4084	none	none	5.35	0.016565	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2	0.073979	3.68989	0.433366	4.44	0.014297	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2	0.386975	3.69465	none	5.32	0.015267	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2	2.68183	4.99036	none	5.44	0.017225	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2	0.350764	4.829	none	54.43	0.016472	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2	0.369626	4.77315	13.2825	52.49	0.016367	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2	0.124727	4.64174	0.599957	8.68	0.015502	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2	20.8888	8.63423	none	5.68	0.021097	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2	2.49424	9.48544	none	5.47	0.018052	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2	3.64057	8.2956	none	52.33	0.018226	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2	2.50375	8.11955	none	52.44	0.020255	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2	12.6953	7.79533	none	53.54	0.018582	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2	0.607546	8.61533	20.2077	5.75	0.016628	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2	899.4	22.7253	none	6.27	0.03605	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2	none	66.6038	none	7.28	0.059782	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2	none	none	none	8.7	0.13973	none	s2s.0.3.3
qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2	none	none	none	11.09	0.4711	none	s2s.0.3.3
qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2	0.03436	3.21261	0.130946	0.069866	0.015092	none	s2s.0.3.3
qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2	0.067709	3.4815	0.109773	0.218234	0.014798	none	s2s.0.3.3
qf_shid_entl/ls_odd_entails_ls.sb.smt2	0.079039	3.13662	0.119065	0.052022	0.014325	0.305745	s2s.0.3.3
qf_shid_entl/ls_odd_join_entails_ls.sb.smt2	0.21292	3.19775	none	0.94	0.017189	0.535259	s2s.0.3.3
qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2	0.191264	3.47198	0.107282	4.1	0.016397	0.536536	s2s.0.3.3
qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2	0.364034	3.29433	0.168486	0.81	0.014927	0.737406	s2s.0.3.3
qf_shid_entl/nll-vc01.smt2	411.636	19.1298	0.975899	0.070967	0.013676	none	s2s.0.3.3
qf_shid_entl/nll-vc02.smt2	410.993	18.4933	0.979629	0.070235	0.013433	none	s2s.0.3.3
qf_shid_entl/nll-vc03.smt2	none	37.7051	1.07947	0.66	0.013767	none	s2s.0.3.3
qf_shid_entl/nll-vc04.smt2	none	116.406	1.61127	5.17	0.016942	none	s2s.0.3.3
qf_shid_entl/nll-vc05.smt2	0.534069	17.2453	2.13964	5.02958	0.013196	none	s2s.0.3.3
qf_shid_entl/nll-vc06.smt2	none	18.8346	none	0.026733	0.012651	none	s2s.0.3.3
qf_shid_entl/nll-vc07.smt2	0.042086	16.9675	1.14457	7.33	0.012562	none	s2s.0.3.3
qf_shid_entl/nll-vc08.smt2	13.2796	31.162	1.89627	13.85	0.013334	none	s2s.0.3.3
qf_shid_entl/nll-vc09.smt2	0.055483	19.7354	1.23661	6.15	0.013113	none	s2s.0.3.3
qf_shid_entl/nll-vc10.smt2	2.60454	20.4334	1.58013	6.87	0.01395	none	s2s.0.3.3
qf_shid_entl/nll-vc11.smt2	0.028375	17.1843	1.29871	5.1	0.013235	none	s2s.0.3.3
qf_shid_entl/nll-vc12.smt2	0.029096	4.00464	0.993208	3.42	0.012607	none	s2s.0.3.3
qf_shid_entl/nll-vc13.smt2	none	3.92555	1.07844	0.022425	0.013724	none	s2s.0.3.3
qf_shid_entl/nll-vc14.smt2	none	4.46532	1.28599	0.04024	0.012764	none	s2s.0.3.3
qf_shid_entl/nll-vc15.smt2	none	17.0081	1.07959	0.019473	0.01394	none	s2s.0.3.3
qf_shid_entl/nll-vc16.smt2	none	19.7816	1.22651	0.023534	0.01399	none	s2s.0.3.3
qf_shid_entl/nll-vc17.smt2	none	53.0627	3.34169	none	0.013985	none	s2s.0.3.3
qf_shid_entl/nll-vc18.smt2	none	35.2162	3.56333	0.055652	0.013911	none	s2s.0.3.3
qf_shid_entl/nll-vc19.smt2	none	77.0514	4.89569	0.068236	0.014255	none	s2s.0.3.3
qf_shid_entl/node-dll-rev-dll-entails-dll.smt2	0.051219	4.95369	0.181368	1.7	0.032451	0.333957	s2s.0.3.3
qf_shid_entl/node-node-dll-entails-dll.smt2	0.065955	3.8171	0.123079	1.79	0.016682	0.287398	s2s.0.3.3
qf_shid_entl/node-tll-tll-entails-tll.smt2	0.010445	3.55748	0.099555	5.02	0.0142	0.302214	Cyclist
qf_shid_entl/odd-lseg3_slk-1.smt2	none	2.93898	0.064898	0.01218	0.013134	none	Songbird
qf_shid_entl/odd-lseg3_slk-2.smt2	none	2.64063	0.059961	0.011176	0.01219	none	Songbird
qf_shid_entl/odd-lseg3_slk-3.smt2	0.009502	3.72178	0.078327	0.094156	0.011965	none	Cyclist
qf_shid_entl/odd-lseg3_slk-4.smt2	none	3.30979	0.067001	0.013636	0.014661	none	Songbird
qf_shid_entl/odd-lseg3_slk-5.smt2	0.302545	3.65194	none	2.09	0.015312	none	s2s.0.3.3
qf_shid_entl/odd-lseg3_slk-6.smt2	none	4.83605	none	0.013467	0.014377	none	Songbird
qf_shid_entl/odd-lseg3_slk-7.smt2	0.010677	3.26707	0.061945	0.011634	0.012246	none	Cyclist
qf_shid_entl/skl2-vc01.smt2	0.01562	3.09804	0.987332	0.023118	0.012742	none	s2s.0.3.3
qf_shid_entl/skl2-vc02.smt2	0.055283	3.5125	0.993169	0.029166	0.012561	none	s2s.0.3.3
qf_shid_entl/skl2-vc03.smt2	none	none	none	6.03	0.021437	none	s2s.0.3.3
qf_shid_entl/skl2-vc04.smt2	0.104513	5.42378	1.07675	0.190075	0.012888	none	s2s.0.3.3
qf_shid_entl/skl2-vc05.smt2	none	none	2.72963	none	0.013574	none	s2s.0.3.3
qf_shid_entl/skl2-vc06.smt2	none	117.028	4.47182	0.059741	0.014034	none	s2s.0.3.3
qf_shid_entl/skl2-vc07.smt2	none	none	none	0.069188	0.013738	none	s2s.0.3.3
qf_shid_entl/skl3-vc01.smt2	0.243543	3.2383	4.94816	0.038272	0.013955	none	s2s.0.3.3
qf_shid_entl/skl3-vc02.smt2	none	320.605	82.2464	none	0.013347	none	s2s.0.3.3
qf_shid_entl/skl3-vc03.smt2	0.070805	367.197	1150.44	6.47	0.013943	none	s2s.0.3.3
qf_shid_entl/skl3-vc04.smt2	none	none	none	none	0.017343	none	s2s.0.3.3
qf_shid_entl/skl3-vc05.smt2	none	none	none	none	0.016391	none	s2s.0.3.3
qf_shid_entl/skl3-vc06.smt2	none	none	none	none	0.015781	none	s2s.0.3.3
qf_shid_entl/skl3-vc07.smt2	none	none	none	5.62	0.017676	none	s2s.0.3.3
qf_shid_entl/skl3-vc08.smt2	none	none	none	5.65	0.015364	none	s2s.0.3.3
qf_shid_entl/skl3-vc09.smt2	none	none	none	5.56	0.014355	none	s2s.0.3.3
qf_shid_entl/skl3-vc10.smt2	none	446.655	5.25823	5.3	0.014396	none	s2s.0.3.3
qf_shid_entl/skl3-vc11.smt2	none	none	none	none	0.017118	none	s2s.0.3.3
qf_shid_entl/skl3-vc12.smt2	none	none	none	0.392544	0.017382	none	s2s.0.3.3
qf_shid_entl/sll-vc01.smt2	none	none	0.074943	none	0.060465	none	s2s.0.3.3
qf_shid_entl/sll-vc02.smt2	none	none	0.075346	1.93	0.042322	none	s2s.0.3.3
qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2	none	5.00563	none	1.22	0.531403	0.289652	slide
qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2	none	none	none	none	0.525605	0.792619	s2s.0.3.3
qf_shid_entl/tll-ravioli.smt2	0.012625	2.11418	none	17.05	0.021976	0.292054	Cyclist
qf_shid_entl/tll_slk-1.smt2	0.011541	2.09198	0.110932	0.03318	0.236111	none	Cyclist
qf_shid_entl/tll_slk-10.smt2	0.011009	2.13315	0.115668	5.21	0.236002	none	Cyclist
qf_shid_entl/tll_slk-11.smt2	0.010328	2.30592	0.1156	5.22	0.240094	none	Cyclist
qf_shid_entl/tll_slk-12.smt2	0.011448	3.21374	0.125882	0.030695	0.237359	none	Cyclist
qf_shid_entl/tll_slk-13.smt2	0.026307	none	0.168404	5.34	27.2556	none	Cyclist
qf_shid_entl/tll_slk-2.smt2	0.010139	2.09681	0.108852	0.026161	0.23871	none	Cyclist
qf_shid_entl/tll_slk-3.smt2	0.011293	2.91429	0.111906	0.026424	0.236898	none	Cyclist
qf_shid_entl/tll_slk-4.smt2	0.013104	3.30476	0.123355	5.2	0.237175	none	Cyclist
qf_shid_entl/tll_slk-5.smt2	0.011081	2.16418	0.111827	0.025638	0.23404	none	Cyclist
qf_shid_entl/tll_slk-6.smt2	0.011618	2.14942	0.114128	5.14	0.233765	none	Cyclist
qf_shid_entl/tll_slk-7.smt2	0.011504	2.89209	0.113777	0.025516	0.240156	none	Cyclist
qf_shid_entl/tll_slk-8.smt2	0.011889	3.30225	0.119116	5.2	0.236679	none	Cyclist
qf_shid_entl/tll_slk-9.smt2	0.011281	2.28181	0.112891	5.12	0.234294	none	Cyclist
qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2	none	none	none	none	0.209569	0.334633	s2s.0.3.3
qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2	52.3471	none	none	none	0.049216	0.814061	s2s.0.3.3
qf_shid_entl/tseg_join_2.sb.smt2	0.129933	6.48366	0.259369	5.13	0.024908	0.514349	s2s.0.3.3
qf_shid_entl/tseg_join_2_entail_tree.sb.smt2	0.389436	3.82706	none	5.18	0.015139	0.461509	s2s.0.3.3
qf_shid_entl/tseg_join_tree.sb.smt2	0.06419	3.79904	0.084795	5.14	0.015234	none	s2s.0.3.3
qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2	0.189302	6.44377	0.21729	5.16	0.025071	none	s2s.0.3.3
Total	64	0	0	6	241	1	ALL