Evaluation of Infinite State Model Checking by Learning Transitive Relations

benchmark name	result LoAT TRL	time LoAT TRL	result Z3 GSpacer	time Z3 GSpacer	result Z3 Spacer	time Z3 Spacer	result Golem Spacer	time Golem Spacer	result Golem PDKIND	time Golem PDKIND	result Golem IMC	time Golem IMC	result Eldarica	time Eldarica	result Golem STPA	time Golem STPA	result Golem LAWI	time Golem LAWI	result LoAT ABMC	time LoAT ABMC	result Golem PA	time Golem PA	result LoAT KIND	time LoAT KIND	result Golem BMC	time Golem BMC	result Z3 BMC	time Z3 BMC
chc-LIA-Lin_000.smt2	unknown	7.582	sat	0.928	unknown	300.59	sat	0.421	unknown	300.60	unknown	300.83	unknown	300.119	unknown	300.67	unknown	300.63	unknown	300.72	unknown	300.57	sat	0.402	unknown	300.107	unknown	300.78
chc-LIA-Lin_001.smt2	sat	0.710	unknown	0.662	unknown	300.66	unknown	300.100	unknown	300.62	unknown	300.85	unknown	300.55	unknown	300.98	unknown	300.100	unknown	300.64	unknown	77.447	unknown	300.70	unknown	300.69	unknown	300.77
chc-LIA-Lin_002.smt2	sat	0.464	sat	0.553	unknown	300.50	unknown	300.95	unknown	300.60	unknown	300.87	sat	2.410	unknown	300.71	unknown	300.101	sat	0.654	unknown	300.53	unknown	300.65	unknown	300.57	unknown	300.55
chc-LIA-Lin_003.smt2	sat	0.434	unknown	0.500	sat	4.681	sat	12.980	sat	0.457	sat	8.821	sat	23.986	sat	0.420	sat	1.739	sat	0.635	sat	24.718	sat	0.503	unknown	104.171	unknown	300.93
chc-LIA-Lin_004.smt2	sat	0.717	unknown	0.844	unknown	300.75	unknown	300.105	unknown	300.54	unknown	300.138	sat	33.966	unknown	300.82	unknown	300.70	unknown	300.59	unknown	300.63	unknown	300.64	unknown	300.55	unknown	300.44
chc-LIA-Lin_005.smt2	sat	0.580	sat	0.522	unknown	300.62	unknown	300.50	unknown	300.76	unknown	300.59	sat	2.235	unknown	300.78	unknown	300.60	sat	0.509	unknown	300.88	unknown	300.57	unknown	300.427	unknown	300.64
chc-LIA-Lin_006.smt2	sat	0.404	sat	0.644	sat	0.553	unknown	300.97	sat	0.354	sat	0.285	sat	4.539	unknown	300.73	sat	0.665	sat	0.533	sat	0.286	unknown	300.60	unknown	300.44	unknown	300.63
chc-LIA-Lin_007.smt2	sat	0.329	sat	0.502	sat	0.439	unknown	300.83	unknown	300.58	unknown	300.84	unknown	300.66	unknown	300.63	unknown	300.61	sat	0.540	unknown	300.51	unknown	300.59	unknown	300.76	unknown	300.64
chc-LIA-Lin_008.smt2	sat	0.453	sat	0.609	sat	20.46	sat	8.950	sat	1.963	sat	206.195	sat	6.341	sat	0.580	sat	92.292	sat	0.515	sat	171.224	sat	0.814	unknown	300.82	unknown	300.68
chc-LIA-Lin_009.smt2	sat	1.413	unknown	0.690	sat	1.922	unknown	300.59	unknown	300.64	unknown	300.87	sat	8.708	unknown	300.57	unknown	300.63	unknown	300.77	unknown	300.55	unknown	300.57	unknown	300.53	unknown	300.61
chc-LIA-Lin_010.smt2	sat	0.416	sat	0.540	unknown	300.64	sat	1.859	unknown	300.61	unknown	300.73	sat	2.567	sat	0.227	unknown	300.75	sat	0.507	unknown	300.61	unknown	300.51	unknown	300.47	unknown	300.59
chc-LIA-Lin_011.smt2	sat	0.369	sat	0.434	sat	0.410	unknown	300.65	sat	0.234	unknown	300.73	unknown	300.63	unknown	300.68	unknown	300.58	sat	0.501	unknown	300.51	sat	0.426	unknown	300.149	unknown	300.43
chc-LIA-Lin_012.smt2	sat	0.588	sat	0.644	unknown	300.70	sat	9.386	sat	3.197	sat	248.329	unknown	300.61	sat	1.331	sat	27.664	sat	0.542	unknown	300.44	sat	1.639	unknown	103.754	unknown	300.98
chc-LIA-Lin_013.smt2	unknown	0.619	unknown	0.539	unknown	300.66	unknown	300.60	unknown	300.56	unknown	300.78	unknown	300.58	unknown	300.73	unknown	300.62	unknown	300.69	unknown	300.56	unknown	300.66	unknown	300.61	unknown	300.67
chc-LIA-Lin_014.smt2	sat	0.705	unknown	2.11	unknown	300.71	unknown	300.86	unknown	300.46	sat	4.568	sat	2.150	unknown	300.73	unknown	300.62	unknown	300.79	unknown	300.69	unknown	300.69	unknown	300.51	unknown	300.107
chc-LIA-Lin_015.smt2	sat	0.482	unknown	0.632	unknown	300.59	sat	5.571	sat	0.962	sat	47.806	sat	23.564	sat	12.141	sat	31.763	sat	0.774	sat	12.359	sat	1.88	unknown	300.44	unknown	300.64
chc-LIA-Lin_016.smt2	unknown	0.896	unknown	0.841	unknown	300.64	unknown	300.81	unknown	300.58	unknown	300.103	unknown	300.71	unknown	300.59	unknown	300.65	sat	1.565	unknown	300.68	unknown	300.68	unknown	300.53	unknown	300.61
chc-LIA-Lin_017.smt2	sat	0.406	unknown	0.988	sat	19.880	sat	6.315	sat	4.859	sat	196.10	sat	132.951	unknown	300.59	sat	7.672	sat	0.569	sat	50.123	unknown	300.62	unknown	300.61	unknown	300.57
chc-LIA-Lin_018.smt2	sat	0.458	unknown	0.571	sat	28.172	sat	10.266	sat	0.964	sat	192.634	sat	31.63	sat	0.558	sat	109.182	sat	0.521	unknown	300.50	sat	0.679	unknown	300.59	unknown	300.71
chc-LIA-Lin_019.smt2	unknown	300.169	sat	0.543	unknown	300.63	unknown	300.63	unknown	300.61	unknown	300.109	sat	2.18	unknown	300.73	unknown	300.74	unknown	300.123	unknown	300.52	unknown	300.63	unknown	300.60	unknown	300.41
chc-LIA-Lin_020.smt2	sat	0.437	sat	0.842	unknown	300.71	unknown	300.75	unknown	300.56	unknown	300.60	sat	4.638	unknown	300.54	unknown	300.51	sat	0.596	unknown	300.60	unknown	300.66	unknown	300.70	unknown	300.51
chc-LIA-Lin_021.smt2	sat	0.538	sat	1.481	unknown	300.61	unknown	300.77	unknown	300.57	unknown	300.64	sat	5.283	unknown	300.68	unknown	300.99	unknown	268.940	unknown	300.86	unknown	300.60	unknown	300.52	unknown	300.48
chc-LIA-Lin_022.smt2	unknown	0.485	unsat	0.705	unsat	0.479	unsat	0.350	unknown	300.53	unsat	0.266	unsat	13.242	unsat	0.299	unsat	0.268	unsat	0.470	unsat	0.255	unsat	0.431	unsat	0.363	unsat	0.376
chc-LIA-Lin_023.smt2	unsat	0.502	unsat	0.477	unsat	1.819	unsat	0.334	unsat	0.248	unsat	0.272	unsat	2.51	unsat	0.245	unsat	0.273	unsat	0.457	unsat	0.245	unsat	0.391	unsat	0.668	unsat	0.487
chc-LIA-Lin_024.smt2	unknown	300.211	unknown	0.577	unsat	0.494	unsat	0.417	unknown	300.58	unsat	0.271	unsat	13.842	unsat	0.264	unsat	0.245	unsat	0.524	unsat	0.288	unsat	0.397	unsat	0.306	unsat	0.367
chc-LIA-Lin_025.smt2	unsat	0.400	unsat	0.479	unsat	0.389	unsat	0.286	unsat	0.222	unsat	0.276	unsat	1.867	unsat	0.261	unsat	0.245	unsat	0.567	unsat	0.345	unsat	0.368	unsat	0.395	unsat	0.580
chc-LIA-Lin_026.smt2	unknown	0.674	unknown	59.130	unsat	1.804	unsat	0.472	unsat	21.400	unsat	13.209	unknown	176.382	unsat	0.324	unsat	1.672	unsat	1.149	unsat	23.528	unsat	4.861	unsat	0.555	unsat	3.456
chc-LIA-Lin_027.smt2	unsat	0.410	unsat	0.483	unsat	0.373	unsat	0.320	unsat	0.235	unsat	0.300	unsat	1.838	unsat	0.261	unsat	0.248	unsat	0.472	unsat	0.230	unsat	0.354	unsat	0.344	unsat	0.361
chc-LIA-Lin_028.smt2	unsat	0.525	unknown	300.65	unknown	300.77	unsat	3.410	unsat	61.489	unknown	300.55	unknown	300.63	unsat	0.789	unknown	300.61	unknown	300.204	unknown	300.62	unsat	37.710	unknown	300.91	unknown	300.110
chc-LIA-Lin_029.smt2	unsat	0.660	unknown	0.465	unknown	300.115	unsat	35.960	unknown	300.46	unknown	300.63	unknown	303.55	unsat	7.44	unknown	300.66	unsat	0.463	unknown	300.68	unknown	300.70	unknown	300.89	unknown	300.48
chc-LIA-Lin_030.smt2	unknown	0.717	unknown	300.62	unsat	2.674	unknown	300.85	unknown	300.200	unknown	300.54	unknown	303.117	unsat	0.406	unsat	6.589	unsat	15.808	unknown	300.88	unsat	19.104	unknown	300.96	unsat	74.515
chc-LIA-Lin_031.smt2	unknown	0.875	unknown	0.520	unknown	300.55	unknown	300.81	unsat	73.731	unknown	300.63	unknown	300.66	unsat	7.427	unknown	300.64	unsat	76.770	unknown	300.426	unknown	300.68	unknown	300.63	unknown	300.114
chc-LIA-Lin_032.smt2	unknown	9.68	unknown	53.423	unknown	301.47	unknown	300.96	unknown	300.50	unknown	300.55	unknown	300.61	unsat	45.84	unknown	300.59	unknown	300.134	unknown	300.55	unknown	300.59	unknown	300.68	unknown	300.63
chc-LIA-Lin_033.smt2	unsat	0.779	unknown	0.768	unknown	300.62	unsat	22.980	unknown	300.85	unknown	300.73	unknown	303.187	unsat	10.376	unknown	300.59	unsat	0.511	unknown	300.56	unknown	300.52	unknown	300.51	unknown	300.102
chc-LIA-Lin_034.smt2	unknown	0.477	unknown	0.786	unknown	300.70	unknown	300.80	unknown	300.77	unknown	300.72	unknown	300.55	unknown	300.69	unknown	300.63	unknown	300.136	unknown	300.49	unknown	300.52	unknown	300.67	unknown	300.48
chc-LIA-Lin_035.smt2	unsat	0.634	unknown	0.568	unknown	300.94	unsat	25.360	unknown	300.48	unknown	300.61	unknown	300.99	unsat	1.978	unknown	300.150	unsat	0.492	unknown	300.54	unknown	300.63	unknown	300.110	unknown	300.84
chc-LIA-Lin_036.smt2	unsat	0.928	unknown	0.771	unknown	300.78	unsat	32.107	unknown	300.71	unknown	300.53	unknown	300.60	unsat	19.927	unknown	300.95	unsat	0.485	unknown	300.68	unknown	300.62	unknown	300.60	unknown	300.60
chc-LIA-Lin_037.smt2	unknown	103.198	unknown	17.602	unknown	300.65	unknown	300.64	unknown	300.79	unknown	300.56	unknown	300.64	unknown	300.79	unknown	300.91	unknown	300.77	unknown	300.68	unknown	300.71	unknown	300.90	unknown	300.57
chc-LIA-Lin_038.smt2	unsat	0.700	unknown	0.706	unknown	300.64	unsat	48.845	unknown	300.84	unknown	300.58	unknown	300.168	unsat	49.721	unknown	300.54	unsat	0.472	unknown	300.72	unknown	300.64	unknown	300.55	unknown	300.56
chc-LIA-Lin_039.smt2	unsat	0.821	unknown	0.585	unknown	300.105	unknown	300.57	unknown	300.76	unknown	300.49	unknown	300.48	unsat	21.292	unknown	300.52	unsat	0.506	unknown	300.73	unknown	300.64	unknown	300.48	unknown	300.70
chc-LIA-Lin_040.smt2	unknown	52.74	unknown	300.77	unknown	300.61	unsat	119.784	unknown	300.85	unknown	86.909	unknown	300.55	unsat	6.330	unknown	300.99	unsat	64.833	unknown	41.23	unknown	300.74	unknown	300.81	unknown	300.66
chc-LIA-Lin_041.smt2	unsat	0.710	unknown	0.801	unknown	300.88	unsat	240.982	unknown	300.133	unknown	300.53	unknown	300.59	unsat	74.880	unknown	300.75	unsat	0.477	unknown	300.65	unknown	300.69	unknown	300.56	unknown	300.82
chc-LIA-Lin_042.smt2	unknown	0.945	unknown	1.561	unknown	300.61	unknown	300.76	unknown	300.88	unknown	300.61	unknown	300.76	unsat	176.721	unknown	300.55	unknown	300.61	unknown	300.68	unknown	300.75	unknown	300.80	unknown	300.67
chc-LIA-Lin_043.smt2	unsat	0.767	unknown	0.637	unknown	300.61	unknown	300.72	unknown	300.86	unknown	300.58	unknown	300.75	unknown	300.66	unknown	300.61	unsat	0.509	unknown	300.62	unknown	300.82	unknown	300.59	unknown	300.51
chc-LIA-Lin_044.smt2	unsat	0.606	unknown	0.756	unknown	300.52	unsat	94.481	unknown	300.107	unknown	300.53	unknown	300.70	unsat	35.243	unknown	300.62	unsat	0.482	unknown	300.67	unknown	300.66	unknown	300.91	unknown	300.61
chc-LIA-Lin_045.smt2	unknown	0.853	unknown	300.64	unknown	300.61	unknown	300.76	unknown	300.100	unknown	300.68	unknown	300.53	unsat	4.735	unknown	300.54	unsat	44.223	unknown	300.63	unknown	300.72	unknown	300.82	unknown	300.122
chc-LIA-Lin_046.smt2	unknown	2.258	unknown	300.51	unknown	300.115	unknown	300.69	unknown	300.80	unknown	300.61	unknown	300.75	unknown	300.73	unknown	300.60	unsat	0.621	unknown	300.73	unknown	300.75	unknown	300.95	unknown	300.46
chc-LIA-Lin_047.smt2	unsat	0.627	unknown	300.62	unknown	300.119	unknown	300.70	unknown	300.76	unknown	300.51	unknown	300.77	unknown	300.729	unknown	300.63	unsat	0.623	unknown	300.68	unknown	300.71	unknown	300.110	unknown	300.61
chc-LIA-Lin_048.smt2	unknown	0.743	unknown	0.801	unknown	300.56	unknown	300.56	unknown	300.134	unknown	300.51	unknown	300.65	unknown	300.55	unknown	300.64	unknown	300.152	unknown	300.58	unknown	300.68	unknown	300.66	unknown	300.61
chc-LIA-Lin_049.smt2	unsat	0.493	unknown	0.576	unknown	300.220	unknown	300.75	unknown	300.92	unknown	300.55	unknown	300.222	unknown	300.717	unknown	300.64	unsat	0.560	unknown	300.65	unknown	300.66	unknown	300.49	unknown	300.51
chc-LIA-Lin_050.smt2	unknown	1.59	unknown	0.635	unknown	300.62	unknown	300.57	unknown	300.39	unknown	300.51	unknown	300.70	unknown	300.62	unknown	300.72	unknown	300.50	unknown	300.41	unknown	300.68	unknown	300.50	unknown	300.112
chc-LIA-Lin_051.smt2	unknown	0.632	unknown	0.733	unknown	300.108	unknown	300.75	unknown	300.69	unknown	300.62	unknown	300.63	unknown	300.91	unknown	300.60	unknown	79.806	unknown	300.71	unknown	300.67	unknown	300.76	unknown	300.71
chc-LIA-Lin_052.smt2	unsat	0.507	unknown	0.561	unsat	59.352	unsat	0.348	unsat	0.341	unsat	15.189	unsat	199.162	unsat	0.337	unsat	1.225	unsat	0.585	unsat	17.673	unsat	0.531	unsat	0.558	unsat	0.685
chc-LIA-Lin_053.smt2	sat	0.467	sat	0.542	unknown	300.57	sat	0.282	sat	0.243	sat	0.236	sat	2.573	sat	0.273	sat	0.262	sat	0.611	sat	0.319	unknown	300.69	unknown	300.88	unknown	300.62
chc-LIA-Lin_054.smt2	sat	0.483	sat	0.526	unknown	300.56	sat	0.310	sat	0.298	sat	0.258	sat	3.66	sat	0.288	sat	0.283	sat	0.568	sat	0.343	unknown	300.75	unknown	300.290	unknown	300.65
chc-LIA-Lin_055.smt2	unsat	0.394	unsat	0.513	unsat	0.478	unsat	0.292	unsat	0.240	unsat	0.227	unsat	2.854	unsat	0.274	unsat	0.273	unsat	0.514	unsat	0.333	unsat	0.384	unsat	0.355	unsat	0.473
chc-LIA-Lin_056.smt2	sat	0.458	sat	0.511	unknown	300.55	sat	0.275	sat	0.222	sat	0.263	sat	2.431	sat	0.261	sat	0.281	sat	0.515	sat	0.293	unknown	300.67	unknown	300.62	unknown	300.69
chc-LIA-Lin_057.smt2	unsat	0.592	unsat	0.422	unsat	0.475	unsat	0.239	unsat	0.262	unsat	0.215	unsat	2.509	unsat	0.277	unsat	0.271	unsat	0.491	unsat	0.328	unsat	0.391	unsat	0.325	unsat	0.578
chc-LIA-Lin_058.smt2	unsat	0.613	unsat	0.585	unsat	0.546	unsat	0.340	unsat	0.305	unsat	0.261	unsat	10.42	unsat	0.305	unsat	0.314	unsat	0.590	unsat	0.343	unsat	0.397	unsat	0.325	unsat	0.491
chc-LIA-Lin_059.smt2	unsat	0.351	unsat	0.446	unsat	0.462	unsat	0.264	unsat	0.237	unsat	0.219	unsat	2.433	unsat	0.253	unsat	0.269	unsat	0.742	unsat	0.247	unsat	0.369	unsat	0.343	unsat	0.552
chc-LIA-Lin_060.smt2	sat	0.410	sat	0.484	sat	0.490	sat	0.237	sat	0.215	sat	0.239	sat	2.787	sat	0.276	sat	0.241	unknown	85.493	sat	0.235	sat	0.374	unknown	300.73	unknown	300.106
chc-LIA-Lin_061.smt2	sat	0.659	sat	0.578	sat	0.543	unknown	300.67	unknown	300.59	unknown	300.64	unknown	300.197	unknown	300.70	unknown	300.72	unknown	300.66	unknown	46.1	unknown	300.64	unknown	300.80	unknown	300.84
chc-LIA-Lin_062.smt2	unknown	0.668	unknown	0.947	unknown	300.55	unknown	300.60	unknown	300.71	unknown	300.67	unknown	300.108	unknown	300.62	unknown	300.69	unknown	300.66	unknown	300.55	unknown	300.53	unknown	300.55	unknown	300.103
chc-LIA-Lin_063.smt2	unknown	1.197	unknown	300.61	unknown	194.600	unknown	300.65	unknown	300.57	unknown	300.55	unknown	300.72	unknown	300.61	unknown	300.68	unknown	300.257	unknown	300.51	unknown	300.63	unknown	300.43	unknown	300.76
chc-LIA-Lin_064.smt2	unsat	0.663	unknown	0.575	unknown	300.56	unsat	0.959	unsat	7.602	unknown	300.68	unknown	300.45	unsat	0.876	unknown	300.65	unsat	0.506	unknown	300.43	unsat	178.51	unsat	27.821	unknown	300.60
chc-LIA-Lin_065.smt2	sat	0.459	unknown	0.488	unknown	0.393	unknown	300.65	unknown	300.73	unknown	300.85	unknown	300.86	unknown	300.84	unknown	300.66	sat	0.524	unknown	300.64	unknown	300.131	unknown	300.92	unknown	300.44
chc-LIA-Lin_066.smt2	sat	3.907	sat	0.573	sat	0.518	sat	0.315	sat	0.311	unknown	300.59	sat	4.325	sat	0.392	sat	0.343	sat	14.635	sat	0.282	unknown	300.75	unknown	300.72	unknown	300.92
chc-LIA-Lin_067.smt2	unknown	3.220	unknown	0.731	sat	0.766	sat	0.480	sat	1.872	sat	0.299	sat	7.271	unknown	300.70	sat	0.449	unknown	300.58	sat	0.393	unknown	300.54	unknown	300.148	unknown	300.78
chc-LIA-Lin_068.smt2	sat	0.590	sat	0.492	unknown	300.50	sat	0.269	unknown	300.47	unknown	300.60	sat	2.719	sat	0.307	unknown	300.69	sat	0.515	unknown	300.82	unknown	300.68	unknown	300.97	unknown	300.70
chc-LIA-Lin_069.smt2	unsat	0.560	unsat	0.506	unsat	0.429	unsat	0.228	unsat	0.251	unsat	0.256	unsat	2.277	unsat	0.279	unsat	0.248	unsat	0.572	unsat	0.259	unsat	0.396	unsat	0.369	unsat	0.516
chc-LIA-Lin_070.smt2	sat	0.605	sat	0.613	unknown	300.62	unknown	300.85	unknown	300.45	unknown	300.83	unknown	300.60	unknown	300.73	unknown	300.59	unknown	300.97	unknown	300.59	unknown	300.56	unknown	300.127	unknown	300.61
chc-LIA-Lin_071.smt2	unsat	0.423	unsat	0.515	unsat	0.459	unsat	0.305	unsat	0.232	unsat	0.285	unsat	2.138	unsat	0.277	unsat	0.254	unsat	0.519	unsat	0.269	unsat	0.399	unsat	0.372	unsat	0.357
chc-LIA-Lin_072.smt2	unsat	0.454	unsat	0.506	unsat	0.411	unsat	0.339	unsat	0.239	unsat	0.278	unsat	3.449	unsat	0.287	unsat	0.244	unsat	0.501	unsat	0.234	unsat	0.408	unsat	0.459	unsat	0.483
chc-LIA-Lin_073.smt2	sat	0.467	sat	0.562	sat	0.443	sat	0.351	sat	0.229	sat	0.296	sat	3.921	sat	0.303	sat	0.274	sat	0.660	sat	0.300	sat	0.426	unknown	300.86	unknown	276.839
chc-LIA-Lin_074.smt2	sat	0.519	sat	0.620	sat	0.452	sat	0.334	unknown	300.53	sat	0.509	sat	8.859	sat	23.574	unknown	300.64	sat	0.567	unknown	300.54	unknown	300.62	unknown	300.70	unknown	300.65
chc-LIA-Lin_075.smt2	sat	0.683	sat	0.860	unknown	300.76	unknown	300.90	unknown	300.47	unknown	300.83	unknown	300.74	unknown	300.78	unknown	300.72	sat	0.544	unknown	300.65	unknown	300.53	unknown	300.78	unknown	300.54
chc-LIA-Lin_076.smt2	sat	0.659	sat	0.749	unknown	300.84	unknown	300.63	unknown	300.64	unknown	300.101	unknown	300.78	unknown	300.62	unknown	300.63	sat	0.539	unknown	300.67	unknown	300.71	unknown	300.72	unknown	300.61
chc-LIA-Lin_077.smt2	sat	0.673	sat	0.864	unknown	300.80	unknown	300.94	unknown	300.54	unknown	300.75	unknown	300.61	unknown	300.61	unknown	300.91	sat	0.514	unknown	300.62	unknown	300.64	unknown	300.51	unknown	300.44
chc-LIA-Lin_078.smt2	sat	0.876	sat	0.622	sat	0.535	unknown	300.83	unknown	300.47	unknown	300.68	sat	7.177	unknown	300.73	unknown	300.68	unknown	300.86	unknown	300.50	unknown	300.62	unknown	300.56	unknown	300.51
chc-LIA-Lin_079.smt2	sat	0.439	sat	0.584	unknown	300.81	unknown	300.88	unknown	300.54	unknown	300.82	unknown	300.81	unknown	300.79	unknown	300.59	sat	0.505	unknown	300.61	unknown	300.68	unknown	300.53	unknown	300.41
chc-LIA-Lin_080.smt2	unknown	300.58	unknown	0.689	unknown	300.74	unknown	300.88	unknown	300.48	unknown	300.91	unknown	300.123	unknown	300.67	unknown	300.69	unknown	300.70	unknown	300.60	unknown	300.55	unknown	300.64	unknown	300.54
chc-LIA-Lin_081.smt2	unknown	0.756	unknown	1.459	unknown	300.74	unknown	300.100	unknown	300.45	unknown	300.91	unknown	300.100	unknown	300.78	unknown	300.54	unknown	300.75	unknown	300.53	unknown	300.56	unknown	300.75	unknown	300.76
chc-LIA-Lin_082.smt2	unknown	0.973	unknown	1.210	unknown	300.65	unknown	300.78	unknown	300.44	unknown	300.84	unknown	300.78	unknown	300.68	unknown	300.61	unknown	300.67	unknown	300.59	unknown	300.61	unknown	300.71	unknown	300.60
chc-LIA-Lin_083.smt2	unknown	0.693	unknown	2.839	unknown	300.70	sat	0.239	sat	0.239	sat	0.267	sat	2.677	sat	0.295	unknown	300.55	unknown	300.61	unknown	300.65	unknown	300.64	unknown	300.58	unknown	300.69
chc-LIA-Lin_084.smt2	sat	1.180	sat	2.249	unknown	300.61	unknown	300.79	unknown	300.55	unknown	300.89	sat	21.454	unknown	300.68	unknown	300.73	sat	177.388	unknown	300.73	unknown	300.59	unknown	300.99	unknown	300.43
chc-LIA-Lin_085.smt2	unknown	1.77	unknown	0.568	unknown	300.61	unknown	300.51	unknown	300.52	unknown	300.76	unknown	300.115	unknown	300.81	unknown	300.61	unknown	300.72	unknown	300.70	unknown	300.61	unknown	300.99	unknown	300.72
chc-LIA-Lin_086.smt2	sat	1.54	unknown	0.846	unknown	300.73	sat	56.942	sat	8.753	unknown	300.71	unknown	300.71	unknown	300.98	unknown	300.78	sat	0.880	unknown	300.60	unknown	300.69	unknown	300.45	unknown	300.65
chc-LIA-Lin_087.smt2	sat	1.686	unknown	1.156	sat	5.666	unknown	300.102	unknown	300.59	unknown	300.71	sat	3.95	unknown	300.65	unknown	300.65	unknown	300.324	unknown	300.72	unknown	300.64	unknown	300.107	unknown	300.91
chc-LIA-Lin_088.smt2	unknown	1.377	unknown	300.73	unknown	300.70	unknown	300.58	unknown	300.60	unsat	27.104	unknown	300.66	unknown	300.60	unsat	32.64	unknown	300.238	unknown	47.221	unsat	32.611	unsat	2.28	unsat	133.420
chc-LIA-Lin_089.smt2	unknown	0.695	unknown	1.238	unknown	300.63	unknown	300.55	unknown	300.61	unknown	300.103	unknown	300.69	unknown	300.59	unknown	300.63	unknown	300.65	unknown	153.127	unknown	300.59	unknown	300.66	unknown	300.60
chc-LIA-Lin_090.smt2	unknown	0.542	unknown	0.944	unknown	300.74	unknown	300.74	unknown	300.47	unknown	300.52	unknown	266.264	unknown	300.62	unknown	300.64	unknown	300.71	unknown	9.44	unknown	300.63	unknown	300.253	unknown	300.58
chc-LIA-Lin_091.smt2	sat	24.961	sat	31.895	sat	33.207	sat	3.913	sat	4.27	sat	4.432	sat	54.852	sat	5.623	sat	4.202	unknown	300.142	sat	4.384	sat	18.813	unknown	300.90	unknown	300.126
chc-LIA-Lin_092.smt2	sat	0.452	sat	0.498	sat	0.480	sat	0.239	sat	0.219	sat	0.259	sat	3.64	sat	0.271	sat	0.276	unknown	158.617	sat	0.231	sat	0.443	unknown	300.151	unknown	244.580
chc-LIA-Lin_093.smt2	unsat	0.515	unsat	0.442	unsat	0.470	unsat	0.252	unsat	0.250	unsat	0.261	unsat	3.847	unsat	0.263	unsat	0.245	unsat	0.507	unsat	0.274	unsat	0.417	unsat	0.338	unsat	0.483
chc-LIA-Lin_094.smt2	sat	87.887	sat	0.581	sat	0.624	sat	0.414	sat	0.286	sat	0.336	sat	3.925	sat	0.318	unknown	300.64	unknown	300.67	sat	0.381	unknown	300.69	unknown	300.72	unknown	300.160
chc-LIA-Lin_095.smt2	unsat	0.843	unsat	0.527	unsat	0.459	unsat	0.328	unsat	0.311	unsat	0.381	unsat	13.422	unsat	0.361	unsat	0.332	unsat	0.699	unsat	0.348	unsat	0.740	unsat	0.309	unsat	0.535
chc-LIA-Lin_096.smt2	sat	0.580	sat	1.195	sat	1.83	sat	0.932	sat	139.290	sat	0.971	sat	12.989	unknown	300.88	sat	0.299	unknown	300.73	sat	0.348	sat	0.531	unknown	300.68	unknown	300.53
chc-LIA-Lin_097.smt2	unsat	4.236	unsat	1.314	unsat	1.657	unsat	3.377	unsat	10.710	unsat	39.100	unsat	9.555	unsat	2.203	unsat	0.933	unsat	2.848	unsat	2.124	unsat	2.534	unsat	5.956	unsat	1.83
chc-LIA-Lin_098.smt2	unsat	4.821	unsat	1.988	unsat	1.714	unsat	7.898	unsat	3.406	unsat	38.981	unsat	14.459	unsat	1.503	unsat	0.584	unsat	3.54	unsat	1.969	unsat	2.637	unsat	5.350	unsat	1.262
chc-LIA-Lin_099.smt2	unsat	86.269	unknown	7.299	unsat	11.81	unsat	55.640	unsat	20.908	unsat	61.858	unsat	22.34	unsat	4.369	unsat	2.950	unsat	6.271	unsat	1.731	unsat	3.541	unsat	10.593	unsat	3.289
chc-LIA-Lin_100.smt2	unsat	1.860	unsat	1.156	unsat	0.998	unsat	1.629	unsat	11.253	unsat	30.860	unsat	14.168	unsat	0.815	unsat	2.441	unsat	2.627	unsat	1.482	unsat	2.252	unsat	5.388	unsat	1.12
chc-LIA-Lin_101.smt2	unsat	0.497	unknown	1.382	unsat	0.683	unknown	300.71	unknown	300.47	unknown	300.71	unsat	20.961	unknown	300.66	unknown	300.73	unsat	1.82	unknown	300.82	unsat	21.302	unsat	0.667	unsat	0.643
chc-LIA-Lin_102.smt2	unsat	1.12	unsat	0.558	unsat	0.648	unsat	0.510	unsat	0.366	unsat	6.188	unsat	7.444	unsat	0.583	unsat	0.459	unsat	1.371	unsat	0.379	unsat	1.293	unsat	0.739	unsat	0.468
chc-LIA-Lin_103.smt2	sat	1.716	sat	5.804	sat	5.501	sat	4.577	unknown	300.55	sat	15.302	unknown	300.65	unknown	300.54	sat	0.530	unknown	300.70	sat	0.644	sat	1.823	unknown	300.52	unknown	300.62
chc-LIA-Lin_104.smt2	sat	1.540	sat	4.488	sat	3.794	sat	3.779	unknown	300.59	sat	12.442	sat	299.323	unknown	300.59	sat	0.454	unknown	300.58	sat	0.651	sat	1.477	unknown	300.68	unknown	300.58
chc-LIA-Lin_105.smt2	unknown	300.180	sat	0.920	sat	2.334	unknown	300.76	unknown	300.71	unknown	300.75	sat	5.52	unknown	300.68	unknown	300.55	sat	1.587	unknown	300.108	unknown	300.51	unknown	300.82	unknown	300.104
chc-LIA-Lin_106.smt2	sat	0.423	sat	0.436	unknown	300.569	unknown	300.92	unknown	300.66	unknown	300.60	unknown	300.48	unknown	300.71	unknown	300.49	sat	0.481	unknown	300.43	unknown	300.57	unknown	300.62	unknown	300.56
chc-LIA-Lin_107.smt2	sat	0.631	sat	1.417	sat	2.408	unknown	300.88	unknown	300.57	unknown	300.65	sat	19.75	unknown	300.59	unknown	300.55	sat	1.533	unknown	300.52	sat	1.606	unknown	197.184	unknown	300.40
chc-LIA-Lin_108.smt2	sat	0.332	sat	0.421	unknown	300.112	unknown	300.53	unknown	300.77	unknown	300.50	unknown	300.83	unknown	300.77	unknown	300.59	sat	0.491	unknown	300.69	unknown	300.58	unknown	300.58	unknown	300.60
chc-LIA-Lin_109.smt2	sat	0.485	sat	0.394	sat	0.508	unknown	300.55	unknown	300.100	unknown	300.126	unknown	303.377	unknown	300.176	unknown	300.52	sat	0.570	unknown	300.80	unknown	300.66	unknown	302.693	unknown	300.48
chc-LIA-Lin_110.smt2	sat	84.864	sat	218.716	sat	219.334	sat	28.426	sat	22.699	sat	21.5	sat	222.47	sat	25.296	sat	22.213	unknown	300.287	sat	21.111	sat	54.497	unknown	300.64	unknown	300.76
chc-LIA-Lin_111.smt2	unsat	0.412	unknown	1.536	unsat	47.736	unsat	1.270	unsat	14.322	unknown	300.297	unknown	300.72	unsat	0.524	unknown	300.61	unsat	0.481	unknown	300.42	unsat	1.373	unsat	31.191	unknown	300.53
chc-LIA-Lin_112.smt2	sat	0.323	unknown	0.501	unknown	300.61	sat	0.324	sat	0.265	sat	0.289	sat	3.387	sat	0.275	unknown	300.53	unknown	300.75	unknown	300.58	sat	0.403	unknown	300.67	unknown	300.67
chc-LIA-Lin_113.smt2	unknown	300.236	unknown	6.253	unknown	300.73	unknown	300.63	unknown	300.80	unknown	300.297	unknown	303.393	unknown	300.77	unknown	300.61	unknown	300.69	unknown	300.57	unknown	300.79	unknown	300.69	unknown	300.116
chc-LIA-Lin_114.smt2	unknown	300.67	unknown	75.440	unknown	76.741	unknown	300.72	unknown	300.78	unknown	300.298	unknown	300.75	unknown	300.63	unknown	300.59	unknown	300.75	unknown	300.53	unknown	300.76	unknown	300.188	unknown	300.91
chc-LIA-Lin_115.smt2	unknown	300.65	unknown	124.857	unknown	111.37	unknown	300.68	unknown	300.59	unknown	300.304	unknown	300.78	unknown	300.83	unknown	300.102	unknown	300.64	unknown	300.54	unknown	300.69	unknown	300.165	unknown	300.78
chc-LIA-Lin_116.smt2	unknown	300.325	unknown	187.820	unknown	155.42	unknown	300.78	unknown	300.114	unknown	85.485	unknown	300.55	unknown	300.86	unknown	300.70	unknown	300.170	unknown	300.138	unknown	300.243	unknown	157.503	unknown	300.117
chc-LIA-Lin_117.smt2	unknown	300.211	unknown	101.354	unknown	101.25	unknown	300.58	unknown	300.113	unknown	83.24	unknown	300.66	unknown	300.115	unknown	300.58	unknown	300.145	unknown	300.114	unknown	300.228	unknown	145.28	unknown	267.627
chc-LIA-Lin_118.smt2	unknown	300.304	unknown	158.624	unknown	156.684	unknown	300.75	unknown	300.125	unknown	87.995	unknown	300.83	unknown	300.117	unknown	300.99	unknown	300.173	unknown	300.64	unknown	300.228	unknown	154.167	unknown	298.587
chc-LIA-Lin_119.smt2	unknown	300.394	unknown	134.293	unknown	177.223	unknown	300.69	unknown	300.119	unknown	37.644	unknown	300.126	unknown	300.92	unknown	300.52	unknown	300.140	unknown	300.65	unknown	300.185	unknown	143.56	unknown	247.996
chc-LIA-Lin_120.smt2	unknown	300.175	unknown	98.160	unknown	109.52	unknown	300.73	unknown	300.104	unknown	95.341	unknown	300.102	unknown	300.76	unknown	300.70	unknown	300.143	unknown	300.93	unknown	300.241	unknown	139.148	unknown	255.247
chc-LIA-Lin_121.smt2	unknown	300.155	unknown	197.134	unknown	247.942	unknown	300.46	unknown	300.116	unknown	300.89	unknown	300.70	unknown	300.81	unknown	300.60	unknown	300.78	unknown	300.151	unknown	300.228	unknown	300.131	unknown	300.71
chc-LIA-Lin_122.smt2	unknown	300.275	unknown	101.149	unknown	104.115	unknown	300.59	unknown	300.114	unknown	98.577	unknown	300.70	unknown	300.102	unknown	300.126	unknown	300.130	unknown	300.163	unknown	300.241	unknown	143.756	unknown	268.602
chc-LIA-Lin_123.smt2	unknown	300.269	unknown	107.761	unknown	109.772	unknown	300.102	unknown	300.107	unknown	88.16	unknown	300.90	unknown	300.98	unknown	300.107	unknown	300.163	unknown	300.167	unknown	300.357	unknown	142.508	unknown	267.820
chc-LIA-Lin_124.smt2	unknown	300.614	unknown	145.373	unknown	145.396	unknown	300.76	unknown	300.139	unknown	99.360	unknown	303.629	unknown	300.176	unknown	300.101	unknown	300.201	unknown	300.138	unknown	300.358	unknown	140.81	unknown	300.103
chc-LIA-Lin_125.smt2	unknown	300.123	unknown	75.282	unknown	86.458	unknown	300.51	unknown	300.125	unknown	300.79	unknown	300.102	unknown	300.66	unknown	300.122	unknown	300.72	unknown	300.164	unknown	300.292	unknown	300.154	unknown	300.113
chc-LIA-Lin_126.smt2	unknown	300.221	unknown	110.460	unknown	125.195	unknown	300.101	unknown	300.106	unknown	39.318	unknown	300.63	unknown	300.79	unknown	300.93	unknown	300.155	unknown	300.140	unknown	300.359	unknown	127.96	unknown	224.205
chc-LIA-Lin_127.smt2	unknown	300.134	unknown	128.614	unknown	300.139	unknown	300.102	unknown	300.114	unknown	300.145	unknown	300.84	unknown	300.162	unknown	300.109	unknown	300.97	unknown	300.128	unknown	300.363	unknown	139.298	unknown	189.256
chc-LIA-Lin_128.smt2	unknown	300.85	unknown	281.229	unknown	129.243	unknown	300.68	unknown	300.80	unknown	300.66	unknown	300.61	unknown	300.59	unknown	300.69	unknown	300.72	unknown	300.54	unknown	300.294	unknown	300.258	unknown	300.99
chc-LIA-Lin_129.smt2	unknown	300.370	unknown	184.8	unknown	170.577	unknown	300.102	unknown	300.217	unknown	88.26	unknown	300.85	unknown	300.157	unknown	300.96	unknown	300.167	unknown	300.200	unknown	300.299	unknown	142.536	unknown	300.61
chc-LIA-Lin_130.smt2	unknown	300.284	unknown	177.64	unknown	173.627	unknown	300.61	unknown	300.89	unknown	87.47	unknown	300.101	unknown	300.108	unknown	300.89	unknown	300.196	unknown	300.89	unknown	300.306	unknown	143.829	unknown	300.101
chc-LIA-Lin_131.smt2	unknown	300.227	unknown	78.806	unknown	74.134	unknown	300.55	unknown	300.75	unknown	300.55	unknown	300.126	unknown	300.101	unknown	300.56	unknown	300.61	unknown	300.109	unknown	300.300	unknown	300.196	unknown	300.117
chc-LIA-Lin_132.smt2	unknown	300.162	unknown	85.273	unknown	86.19	unknown	300.71	unknown	300.64	unknown	300.140	unknown	300.69	unknown	300.93	unknown	300.69	unknown	300.89	unknown	300.59	unknown	300.326	unknown	140.936	unknown	190.498
chc-LIA-Lin_133.smt2	unknown	300.262	unknown	210.323	unknown	187.913	unknown	300.101	unknown	300.67	unknown	300.98	unknown	300.61	unknown	300.67	unknown	300.67	unknown	300.60	unknown	300.65	unknown	300.103	unknown	300.164	unknown	300.75
chc-LIA-Lin_134.smt2	unknown	300.239	unknown	136.243	unknown	143.642	unknown	300.99	unknown	300.79	unknown	90.120	unknown	300.78	unknown	300.93	unknown	300.61	unknown	300.206	unknown	300.98	unknown	300.301	unknown	133.989	unknown	265.416
chc-LIA-Lin_135.smt2	unknown	300.126	unknown	185.770	unknown	179.352	unknown	300.59	unknown	300.57	unknown	300.64	unknown	300.57	unknown	300.81	unknown	300.75	unknown	300.82	unknown	300.161	unknown	300.199	unknown	300.180	unknown	300.97
chc-LIA-Lin_136.smt2	unknown	300.94	unknown	120.366	unknown	164.725	unknown	300.64	unknown	300.57	unknown	300.65	unknown	300.62	unknown	300.68	unknown	300.67	unknown	300.84	unknown	300.65	unknown	300.231	unknown	300.281	unknown	300.87
chc-LIA-Lin_137.smt2	unknown	300.229	unknown	90.410	unknown	99.637	unknown	300.60	unknown	300.101	unknown	300.106	unknown	300.92	unknown	300.143	unknown	300.75	unknown	300.89	unknown	300.69	unknown	300.295	unknown	155.738	unknown	264.120
chc-LIA-Lin_138.smt2	unknown	300.357	unknown	121.794	unknown	127.148	unknown	300.81	unknown	300.94	unknown	94.922	unknown	300.76	unknown	300.70	unknown	300.76	unknown	300.234	unknown	300.102	unknown	300.308	unknown	164.963	unknown	300.101
chc-LIA-Lin_139.smt2	unknown	300.149	unknown	96.497	unknown	113.529	unknown	300.74	unknown	300.54	unknown	300.101	unknown	300.60	unknown	300.78	unknown	300.77	unknown	300.89	unknown	300.57	unknown	300.246	unknown	152.599	unknown	204.942
chc-LIA-Lin_140.smt2	unknown	300.208	unknown	145.915	unknown	141.614	unknown	300.67	unknown	300.58	unknown	37.659	unknown	300.117	unknown	300.71	unknown	300.79	unknown	300.162	unknown	300.62	unknown	300.190	unknown	155.268	unknown	233.375
chc-LIA-Lin_141.smt2	unknown	300.303	unknown	133.225	unknown	129.383	unknown	300.64	unknown	300.95	unknown	170.526	unknown	300.101	unknown	300.105	unknown	300.100	unknown	300.170	unknown	300.54	unknown	300.235	unknown	165.644	unknown	282.450
chc-LIA-Lin_142.smt2	unknown	300.65	unknown	3.430	unknown	300.59	unknown	300.80	unknown	300.69	unknown	300.62	sat	63.329	unknown	300.71	unknown	300.88	unknown	300.74	unknown	300.57	unknown	300.73	unknown	300.75	unknown	300.59
chc-LIA-Lin_143.smt2	unknown	300.256	unknown	142.787	unknown	165.36	unknown	300.107	unknown	300.95	unknown	101.226	unknown	300.931	unknown	300.152	unknown	300.90	unknown	300.249	unknown	300.67	unknown	300.265	unknown	110.573	unknown	300.72
chc-LIA-Lin_144.smt2	unknown	300.171	sat	0.842	sat	31.817	sat	100.828	sat	17.606	sat	89.322	sat	67.72	unknown	300.68	unknown	300.69	sat	111.187	sat	92.329	sat	5.666	unknown	300.63	unknown	300.61
chc-LIA-Lin_145.smt2	unknown	300.238	unknown	149.328	unknown	140.640	unknown	300.69	unknown	300.95	unknown	90.275	unknown	300.103	unknown	300.117	unknown	300.91	unknown	300.188	unknown	300.91	unknown	300.254	unknown	149.111	unknown	259.478
chc-LIA-Lin_146.smt2	unknown	300.269	unknown	108.540	unknown	100.467	unknown	300.72	unknown	300.52	unknown	300.78	unknown	300.62	unknown	300.76	unknown	300.58	unknown	300.83	unknown	300.54	unknown	300.266	unknown	300.174	unknown	300.73
chc-LIA-Lin_147.smt2	unknown	300.115	unknown	89.195	unknown	83.970	unknown	300.58	unknown	300.54	unknown	300.62	unknown	300.61	unknown	300.77	unknown	300.67	unknown	300.84	unknown	300.60	unknown	300.98	unknown	300.229	unknown	300.93
chc-LIA-Lin_148.smt2	unknown	300.272	unknown	267.344	unknown	88.137	unknown	300.63	unknown	300.64	unknown	300.74	unknown	300.145	unknown	300.91	unknown	300.55	unknown	300.71	unknown	300.96	unknown	300.256	unknown	300.263	unknown	300.78
chc-LIA-Lin_149.smt2	unsat	0.427	unknown	0.740	unknown	300.69	unknown	300.70	unknown	300.89	unknown	300.72	unknown	300.51	unknown	300.75	unknown	300.61	unsat	0.560	unknown	300.43	unknown	300.59	unknown	300.53	unknown	300.88
chc-LIA-Lin_150.smt2	unknown	300.324	unknown	64.597	unknown	58.721	unknown	300.77	unknown	300.78	unknown	300.151	unknown	300.53	unknown	300.68	unknown	300.75	unknown	300.126	unknown	300.85	unknown	300.112	unknown	161.666	unknown	197.32
chc-LIA-Lin_151.smt2	sat	0.482	sat	0.566	sat	0.523	sat	0.433	sat	0.540	sat	0.281	unknown	300.97	sat	21.780	sat	0.295	unknown	300.75	sat	0.365	sat	0.428	unknown	300.152	unknown	300.61
chc-LIA-Lin_152.smt2	unsat	0.459	unsat	0.516	unsat	0.416	unsat	0.358	unsat	0.247	unsat	0.317	unsat	102.305	unsat	0.314	unsat	0.284	unsat	0.566	unsat	0.262	unsat	4.739	unsat	0.467	unsat	0.521
chc-LIA-Lin_153.smt2	unknown	300.73	sat	0.513	sat	0.415	sat	0.307	sat	0.233	sat	0.302	sat	226.601	sat	0.309	sat	0.493	unknown	300.82	sat	0.293	sat	1.612	unknown	300.81	unknown	300.65
chc-LIA-Lin_154.smt2	unknown	300.68	sat	1.860	sat	2.286	sat	0.892	sat	1.307	sat	0.770	unknown	300.75	sat	0.789	unknown	300.171	unknown	300.73	unknown	11.322	unknown	300.174	unknown	300.58	unknown	300.52
chc-LIA-Lin_155.smt2	unknown	47.356	unknown	3.570	unsat	12.813	unknown	300.80	unsat	21.186	unsat	4.12	unknown	300.104	unsat	0.476	unsat	2.61	unsat	96.829	unsat	5.204	unsat	1.204	unsat	1.223	unsat	0.897
chc-LIA-Lin_156.smt2	sat	9.425	sat	0.684	sat	0.576	sat	0.408	sat	0.436	unknown	300.87	sat	20.33	sat	0.697	sat	0.458	unknown	300.79	sat	0.356	unknown	300.66	unknown	300.63	unknown	300.56
chc-LIA-Lin_157.smt2	unknown	300.77	sat	0.504	sat	0.479	sat	0.338	sat	0.224	sat	0.323	sat	12.137	sat	0.306	sat	0.285	unknown	300.72	sat	0.285	sat	0.418	unknown	300.60	unknown	300.62
chc-LIA-Lin_158.smt2	unknown	300.81	sat	1.590	sat	1.503	sat	22.395	sat	13.956	sat	0.623	unknown	300.124	sat	2.326	unknown	300.76	unknown	300.64	sat	22.573	unknown	300.62	unknown	300.58	unknown	300.65
chc-LIA-Lin_159.smt2	unknown	300.44	unknown	2.618	unsat	2.12	unknown	300.95	unsat	174.876	unsat	8.244	unknown	300.126	unsat	0.527	unsat	4.459	unknown	300.63	unsat	11.474	unsat	1.912	unsat	1.957	unsat	0.973
chc-LIA-Lin_160.smt2	unsat	0.415	unsat	0.500	unsat	0.478	unsat	0.346	unsat	0.266	unsat	0.320	unsat	42.515	unsat	0.291	unsat	0.263	unsat	0.570	unsat	0.262	unsat	0.571	unsat	0.429	unsat	0.514
chc-LIA-Lin_161.smt2	unsat	0.445	unsat	0.570	unsat	0.516	unsat	0.370	unsat	0.298	unsat	0.377	unsat	23.351	unsat	0.357	unsat	0.275	unsat	0.627	unsat	0.297	unsat	0.562	unsat	0.486	unsat	0.583
chc-LIA-Lin_162.smt2	unsat	0.453	unsat	0.559	unsat	0.512	unsat	0.387	unsat	0.372	unsat	0.338	unsat	216.607	unsat	0.337	unsat	0.290	unsat	0.718	unsat	0.338	unsat	0.606	unsat	0.378	unsat	0.497
chc-LIA-Lin_163.smt2	unsat	0.384	unsat	0.424	unsat	0.438	unsat	0.240	unsat	0.243	unsat	0.248	unsat	6.829	unsat	0.276	unsat	0.247	unsat	0.602	unsat	0.255	unsat	0.391	unsat	0.423	unsat	0.442
chc-LIA-Lin_164.smt2	unknown	300.72	sat	0.480	sat	0.504	sat	0.361	sat	0.288	sat	0.311	sat	159.694	sat	20.3	sat	0.321	unknown	300.57	sat	3.257	unknown	300.73	unknown	300.69	unknown	300.78
chc-LIA-Lin_165.smt2	sat	0.460	sat	0.512	sat	0.467	sat	0.285	sat	0.274	sat	0.324	sat	53.423	sat	0.312	sat	0.270	unknown	300.58	sat	0.283	sat	0.420	unknown	300.66	unknown	300.69
chc-LIA-Lin_166.smt2	unknown	300.75	sat	0.470	sat	0.474	sat	0.303	sat	0.271	sat	0.305	sat	64.386	sat	0.353	sat	23.695	unknown	300.60	sat	0.273	sat	0.432	unknown	300.58	unknown	165.502
chc-LIA-Lin_167.smt2	unknown	300.76	sat	0.502	sat	0.490	sat	0.354	sat	0.421	sat	0.348	unknown	300.60	sat	0.367	sat	0.314	unknown	300.61	sat	0.332	unknown	300.59	unknown	300.64	unknown	300.58
chc-LIA-Lin_168.smt2	unknown	300.248	sat	0.473	sat	0.504	sat	0.315	sat	0.289	sat	0.326	unknown	300.71	sat	0.368	unknown	300.55	unknown	300.60	sat	0.315	unknown	300.106	unknown	300.102	unknown	300.51
chc-LIA-Lin_169.smt2	sat	5.573	sat	3.685	sat	3.559	sat	13.566	sat	2.609	sat	2.522	sat	28.747	unknown	300.57	unknown	300.69	unknown	300.60	unknown	73.757	unknown	300.54	unknown	300.86	unknown	300.54
chc-LIA-Lin_170.smt2	sat	0.618	sat	1.413	unknown	300.57	sat	142.281	sat	13.880	unknown	300.70	unknown	300.71	unknown	300.79	unknown	300.58	unknown	300.485	unknown	300.81	unknown	300.67	unknown	300.173	unknown	300.56
chc-LIA-Lin_171.smt2	unknown	300.57	sat	2.456	sat	2.84	unknown	300.69	unknown	300.49	sat	1.873	unknown	300.58	unknown	300.85	unknown	300.72	unknown	300.73	sat	59.388	unknown	300.75	unknown	300.54	unknown	300.56
chc-LIA-Lin_172.smt2	sat	0.815	sat	2.332	unknown	300.67	unknown	300.60	unknown	300.66	unknown	300.54	unknown	300.214	unknown	300.56	unknown	300.78	unknown	300.215	unknown	300.58	unknown	300.58	unknown	300.151	unknown	300.87
chc-LIA-Lin_173.smt2	unknown	300.61	sat	4.127	unknown	300.61	unknown	300.66	unknown	300.58	unknown	300.77	unknown	304.346	unknown	300.69	unknown	300.157	unknown	300.56	unknown	300.105	unknown	300.99	unknown	300.91	unknown	300.56
chc-LIA-Lin_174.smt2	sat	1.969	sat	4.826	unknown	300.96	unknown	300.88	unknown	300.79	unknown	300.65	unknown	300.92	unknown	300.75	unknown	300.80	unknown	300.54	unknown	300.66	unknown	300.70	unknown	300.65	unknown	300.96
chc-LIA-Lin_175.smt2	unknown	300.71	sat	1.98	sat	0.938	sat	35.334	sat	55.254	sat	3.588	unknown	300.150	unknown	300.82	unknown	300.115	unknown	300.65	unknown	11.332	unknown	300.61	unknown	300.56	unknown	300.52
chc-LIA-Lin_176.smt2	sat	0.582	sat	2.644	unknown	300.59	unknown	300.105	unknown	300.72	unknown	300.62	unknown	300.64	unknown	300.55	unknown	300.65	unknown	140.171	unknown	300.64	unknown	300.63	unknown	300.125	unknown	300.58
chc-LIA-Lin_177.smt2	unknown	300.48	unknown	1.894	sat	1.798	sat	6.730	sat	3.494	sat	1.240	unknown	300.57	sat	3.225	unknown	300.63	unknown	300.71	unknown	66.249	unknown	300.68	unknown	300.57	unknown	300.54
chc-LIA-Lin_178.smt2	sat	0.543	sat	1.357	unknown	300.66	unknown	300.75	unknown	300.56	unknown	300.57	unknown	300.71	unknown	300.60	unknown	300.64	unknown	300.68	unknown	300.56	unknown	300.58	unknown	300.82	unknown	300.52
chc-LIA-Lin_179.smt2	unknown	300.57	sat	5.680	unknown	300.63	unknown	300.67	sat	29.507	sat	11.856	unknown	303.23	unknown	300.91	unknown	300.66	unknown	300.53	unknown	300.70	unknown	300.60	unknown	300.58	unknown	300.52
chc-LIA-Lin_180.smt2	sat	0.683	sat	2.663	unknown	300.63	unknown	300.61	unknown	300.65	unknown	300.70	unknown	300.132	unknown	300.76	unknown	300.72	unknown	212.294	unknown	300.136	unknown	300.58	unknown	300.73	unknown	300.58
chc-LIA-Lin_181.smt2	unknown	300.47	sat	60.836	sat	39.618	unknown	300.75	unknown	300.53	unknown	300.80	unknown	300.84	unknown	300.70	unknown	300.108	unknown	300.60	unknown	300.99	unknown	300.139	unknown	300.63	unknown	300.51
chc-LIA-Lin_182.smt2	unknown	300.47	sat	13.353	unknown	300.79	unknown	300.101	unknown	300.53	unknown	300.87	unknown	300.51	unknown	300.70	unknown	300.76	unknown	300.64	unknown	300.87	unknown	300.112	unknown	300.72	unknown	300.51
chc-LIA-Lin_183.smt2	sat	0.864	sat	4.548	unknown	300.83	unknown	300.55	unknown	300.49	unknown	300.73	unknown	303.355	unknown	300.74	unknown	300.81	unknown	300.248	unknown	300.56	unknown	300.93	unknown	300.68	unknown	300.47
chc-LIA-Lin_184.smt2	unknown	300.61	sat	1.893	sat	1.699	sat	51.799	sat	19.353	sat	0.578	unknown	300.63	unknown	300.91	unknown	300.64	unknown	300.62	sat	14.810	unknown	300.102	unknown	300.62	unknown	300.52
chc-LIA-Lin_185.smt2	sat	0.846	unknown	1.252	unknown	300.696	unknown	300.81	unknown	300.82	unknown	300.66	unknown	300.57	unknown	300.51	unknown	300.75	unknown	300.269	unknown	300.95	unknown	300.49	unknown	300.68	unknown	300.74
chc-LIA-Lin_186.smt2	unknown	300.69	sat	3.897	sat	3.849	unknown	300.80	sat	264.451	sat	0.605	unknown	303.283	unknown	300.81	unknown	300.58	unknown	300.57	sat	74.264	unknown	300.107	unknown	300.49	unknown	300.63
chc-LIA-Lin_187.smt2	unknown	2.23	unknown	0.700	unsat	83.113	unknown	300.90	unknown	300.53	unknown	300.59	unknown	303.125	unsat	10.457	unknown	300.78	unknown	300.77	unknown	300.52	unknown	300.55	unsat	278.426	unknown	300.53
chc-LIA-Lin_188.smt2	sat	2.244	unknown	4.110	unknown	300.133	sat	3.805	unknown	300.100	sat	37.506	sat	21.368	unknown	300.56	unknown	300.62	unknown	300.85	unknown	300.85	unknown	300.58	unknown	300.63	unknown	300.57
chc-LIA-Lin_189.smt2	sat	1.602	unknown	26.326	sat	161.428	sat	255.185	sat	7.552	sat	39.702	sat	28.236	unknown	300.59	sat	27.773	unknown	300.147	unknown	30.759	unknown	300.69	unknown	300.85	unknown	300.44
chc-LIA-Lin_190.smt2	sat	0.817	sat	4.281	unknown	300.73	sat	2.71	sat	0.857	sat	0.707	sat	11.122	unknown	300.72	unknown	300.65	unknown	300.63	unknown	300.49	unknown	300.104	unknown	300.65	unknown	300.61
chc-LIA-Lin_191.smt2	sat	4.942	sat	16.477	unknown	300.122	sat	6.211	sat	3.741	sat	6.462	sat	19.838	unknown	300.68	unknown	300.88	unknown	300.63	unknown	55.589	unknown	300.110	unknown	300.62	unknown	300.69
chc-LIA-Lin_192.smt2	sat	1.84	sat	53.729	unknown	300.65	sat	23.484	sat	6.87	sat	3.883	sat	40.425	unknown	300.70	sat	4.946	unknown	300.143	unknown	300.51	unknown	300.63	unknown	300.98	unknown	300.61
chc-LIA-Lin_193.smt2	unknown	1.402	unknown	2.460	unknown	300.71	sat	0.737	unknown	300.63	sat	3.169	unknown	303.674	unknown	300.57	unknown	300.73	unknown	300.217	unknown	300.47	unknown	300.68	unknown	300.51	unknown	300.102
chc-LIA-Lin_194.smt2	sat	1.691	sat	15.497	unknown	300.55	unknown	300.76	sat	1.688	sat	8.458	sat	14.451	unknown	300.60	unknown	300.75	unknown	300.145	unknown	258.129	unknown	300.67	unknown	300.76	unknown	300.49
chc-LIA-Lin_195.smt2	unknown	0.873	unknown	4.757	unknown	300.61	unknown	300.50	sat	61.212	unknown	300.58	unknown	300.86	unknown	300.58	unknown	300.99	unknown	300.78	unknown	67.785	unknown	300.63	unknown	300.61	unknown	300.69
chc-LIA-Lin_196.smt2	unknown	300.51	unknown	300.52	unknown	300.56	unknown	300.68	unknown	300.90	unknown	300.47	unknown	300.71	unknown	300.54	unknown	300.155	unknown	300.63	unknown	12.307	unknown	300.55	unknown	300.83	unknown	300.75
chc-LIA-Lin_197.smt2	sat	11.557	sat	8.274	unknown	300.58	unknown	300.61	unknown	300.90	unknown	300.47	unknown	300.56	unknown	300.96	unknown	300.142	unknown	300.57	unknown	60.570	unknown	300.67	unknown	300.61	unknown	300.62
chc-LIA-Lin_198.smt2	sat	4.107	unknown	261.887	unknown	300.68	unknown	300.62	unknown	300.73	unknown	300.50	unknown	300.69	unknown	300.75	unknown	300.62	unknown	300.50	unknown	98.515	unknown	300.64	unknown	300.67	unknown	300.49
chc-LIA-Lin_199.smt2	unknown	300.66	sat	18.419	sat	87.348	unknown	300.54	unknown	300.71	unknown	300.116	unknown	300.55	unknown	300.114	unknown	300.87	unknown	300.59	unknown	300.81	unknown	300.77	unknown	300.45	unknown	300.69
chc-LIA-Lin_200.smt2	unknown	300.62	sat	113.60	sat	119.678	sat	193.266	unknown	300.71	unknown	300.108	sat	197.223	unknown	300.73	unknown	300.155	unknown	300.60	unknown	50.21	unknown	300.65	unknown	300.72	unknown	300.82
chc-LIA-Lin_201.smt2	unknown	300.263	sat	2.581	unknown	300.70	unknown	300.60	unknown	300.75	unknown	300.60	unknown	300.67	unknown	300.96	unknown	300.125	unknown	300.57	unknown	300.108	unknown	300.67	unknown	300.70	unknown	300.57
chc-LIA-Lin_202.smt2	sat	0.846	unknown	300.62	unknown	300.52	unknown	300.75	unknown	300.83	unknown	300.49	unknown	300.68	unknown	300.67	unknown	300.164	unknown	219.695	unknown	300.112	unknown	300.65	unknown	300.90	unknown	300.61
chc-LIA-Lin_203.smt2	unknown	300.237	sat	89.792	unknown	300.62	sat	87.177	sat	44.262	unknown	300.80	unknown	300.73	unknown	300.57	unknown	300.152	unknown	300.54	unknown	300.121	unknown	300.85	unknown	300.70	unknown	300.67
chc-LIA-Lin_204.smt2	sat	104.351	sat	16.226	sat	16.61	unknown	300.55	unknown	300.67	sat	132.51	sat	40.152	unknown	300.51	unknown	300.154	unknown	300.87	unknown	222.802	unknown	300.80	unknown	300.57	unknown	300.59
chc-LIA-Lin_205.smt2	sat	4.803	sat	228.471	unknown	300.57	unknown	300.61	sat	144.662	sat	30.414	sat	90.828	unknown	300.97	sat	22.271	unknown	300.132	unknown	288.758	unknown	300.80	unknown	300.47	unknown	300.68
chc-LIA-Lin_206.smt2	unknown	300.72	unknown	2.418	unknown	300.67	unknown	300.66	unknown	300.84	unknown	300.89	unknown	300.75	unknown	300.54	unknown	300.168	unknown	300.38	unknown	300.106	unknown	300.85	unknown	300.115	unknown	300.66
chc-LIA-Lin_207.smt2	sat	22.15	sat	47.298	sat	48.928	sat	43.807	sat	14.307	unknown	300.67	unknown	300.101	unknown	300.69	unknown	300.174	unknown	300.63	unknown	8.733	sat	2.616	unknown	300.59	unknown	300.68
chc-LIA-Lin_208.smt2	unknown	300.52	unknown	29.123	unknown	300.57	unknown	300.68	unknown	300.71	unknown	300.120	unknown	300.73	unknown	300.55	unknown	300.110	unknown	300.65	unknown	300.77	unknown	300.65	unknown	300.54	unknown	300.52
chc-LIA-Lin_209.smt2	unknown	300.64	sat	135.457	sat	111.801	sat	174.414	sat	122.791	sat	247.238	unknown	300.66	unknown	300.65	unknown	300.67	unknown	300.70	unknown	28.29	unknown	300.67	unknown	300.107	unknown	300.65
chc-LIA-Lin_210.smt2	sat	289.362	unknown	300.56	unknown	300.57	unknown	300.67	unknown	300.68	unknown	300.68	unknown	300.56	unknown	300.54	unknown	300.88	unknown	300.64	unknown	272.741	unknown	300.75	unknown	300.126	unknown	300.79
chc-LIA-Lin_211.smt2	sat	2.247	unknown	23.48	unknown	300.63	unknown	300.60	sat	226.925	unknown	300.147	unknown	300.58	unknown	300.81	unknown	300.62	unknown	300.63	unknown	300.69	unknown	300.72	unknown	300.69	unknown	300.80
chc-LIA-Lin_212.smt2	unknown	300.268	sat	22.755	sat	14.120	unknown	300.68	unknown	300.92	sat	7.626	unknown	300.103	unknown	300.56	unknown	300.92	unknown	300.69	unknown	300.87	unknown	300.80	unknown	300.72	unknown	300.53
chc-LIA-Lin_213.smt2	unknown	300.62	unknown	43.392	sat	78.985	unknown	300.68	unknown	300.57	unknown	300.89	unknown	300.64	unknown	300.128	unknown	300.131	unknown	300.64	unknown	300.56	unknown	300.115	unknown	300.50	unknown	300.62
chc-LIA-Lin_214.smt2	unknown	300.55	unknown	300.50	unknown	300.53	unknown	300.81	unknown	300.59	unknown	300.58	unknown	300.70	unknown	300.52	unknown	300.92	unknown	300.230	unknown	31.64	unknown	300.77	unknown	300.62	unknown	300.62
chc-LIA-Lin_215.smt2	sat	10.562	unknown	300.48	unknown	300.61	unknown	300.49	unknown	300.55	unknown	300.65	unknown	300.86	unknown	300.56	unknown	300.77	unknown	300.56	unknown	14.705	unknown	300.72	unknown	300.69	unknown	300.64
chc-LIA-Lin_216.smt2	sat	0.832	sat	4.271	unknown	300.60	unknown	300.59	unknown	300.52	unknown	300.64	unknown	300.81	unknown	300.73	unknown	300.56	unknown	300.466	unknown	92.169	unknown	300.68	unknown	300.72	unknown	300.44
chc-LIA-Lin_217.smt2	unknown	300.55	sat	20.717	unknown	300.58	sat	71.986	sat	15.301	unknown	300.60	sat	27.684	unknown	300.78	unknown	300.65	unknown	300.63	unknown	300.64	unknown	300.68	unknown	300.53	unknown	300.55
chc-LIA-Lin_218.smt2	sat	3.705	unknown	98.556	unknown	300.68	unknown	300.51	unknown	300.51	unknown	300.71	unknown	300.93	unknown	300.49	unknown	300.75	unknown	300.68	unknown	170.720	unknown	300.68	unknown	300.58	unknown	300.59
chc-LIA-Lin_219.smt2	sat	76.661	sat	7.850	sat	9.445	sat	128.622	sat	69.982	unknown	300.63	sat	25.81	unknown	300.56	unknown	300.56	unknown	300.56	unknown	44.239	unknown	300.68	unknown	300.54	unknown	300.54
chc-LIA-Lin_220.smt2	sat	2.585	unknown	300.60	unknown	300.68	unknown	300.67	unknown	300.51	unknown	300.56	unknown	300.98	unknown	300.77	unknown	300.62	unknown	300.160	unknown	131.563	unknown	300.72	unknown	300.63	unknown	300.53
chc-LIA-Lin_221.smt2	sat	1.445	unknown	25.90	unknown	300.61	unknown	300.70	unknown	300.61	unknown	300.72	unknown	300.108	unknown	300.60	unknown	300.86	unknown	300.72	unknown	35.516	unknown	300.66	unknown	300.62	unknown	300.53
chc-LIA-Lin_222.smt2	sat	11.3	sat	30.333	sat	48.944	sat	20.506	sat	14.269	sat	11.449	sat	77.768	unknown	300.65	unknown	300.92	unknown	300.66	unknown	300.57	unknown	300.163	unknown	300.41	unknown	300.56
chc-LIA-Lin_223.smt2	sat	8.724	unknown	37.596	unknown	300.67	unknown	300.67	unknown	300.54	unknown	300.95	unknown	300.142	unknown	300.56	unknown	300.72	unknown	300.82	unknown	158.304	unknown	300.56	unknown	300.53	unknown	300.71
chc-LIA-Lin_224.smt2	unknown	300.266	sat	294.861	sat	218.58	unknown	300.66	unknown	300.55	sat	240.103	unknown	300.56	unknown	300.59	unknown	300.103	unknown	300.75	unknown	300.59	unknown	300.62	unknown	300.52	unknown	300.102
chc-LIA-Lin_225.smt2	sat	1.907	unknown	300.54	unknown	300.62	unknown	300.63	unknown	300.53	unknown	300.55	unknown	300.153	unknown	300.69	unknown	300.76	unknown	300.74	unknown	230.220	unknown	300.64	unknown	300.60	unknown	300.49
chc-LIA-Lin_226.smt2	sat	7.190	sat	15.105	sat	9.669	sat	20.296	sat	6.511	sat	3.461	sat	12.411	unknown	300.75	unknown	300.106	unknown	300.59	unknown	300.53	unknown	300.69	unknown	300.71	unknown	300.52
chc-LIA-Lin_227.smt2	unknown	300.56	sat	41.555	unknown	300.84	unknown	300.76	unknown	300.61	unknown	300.106	unknown	300.96	unknown	300.81	unknown	300.111	unknown	300.66	unknown	300.88	unknown	300.119	unknown	300.100	unknown	300.49
chc-LIA-Lin_228.smt2	unknown	0.948	unknown	0.990	unknown	300.50	unknown	300.59	unknown	300.59	unknown	300.72	unknown	300.60	unknown	300.50	unknown	300.105	unknown	300.76	unknown	17.651	unknown	300.54	unknown	300.139	unknown	300.41
chc-LIA-Lin_229.smt2	unknown	300.224	unknown	300.75	unknown	300.68	unknown	300.67	unknown	300.55	unknown	300.65	unknown	300.69	unknown	300.78	unknown	300.94	unknown	300.116	unknown	300.72	unknown	300.66	unknown	300.57	unknown	300.69
chc-LIA-Lin_230.smt2	unknown	300.58	sat	13.299	unknown	300.63	unknown	300.89	unknown	300.44	unknown	300.80	unknown	300.53	unknown	300.103	unknown	300.159	unknown	300.81	unknown	300.104	unknown	300.74	unknown	300.90	unknown	300.65
chc-LIA-Lin_231.smt2	unknown	300.201	unknown	300.53	unknown	300.68	unknown	300.87	unknown	300.66	unknown	300.99	unknown	300.57	unknown	300.70	unknown	300.64	unknown	300.70	unknown	235.259	unknown	300.55	unknown	300.57	unknown	300.54
chc-LIA-Lin_232.smt2	sat	9.34	sat	8.817	sat	6.761	sat	63.944	sat	2.761	sat	9.948	sat	33.136	unknown	300.65	unknown	300.77	unknown	300.64	unknown	296.477	unknown	300.51	unknown	300.65	unknown	300.76
chc-LIA-Lin_233.smt2	sat	0.690	sat	2.995	unknown	300.63	unknown	300.108	unknown	300.56	unknown	300.65	unknown	300.98	unknown	300.72	unknown	300.62	unknown	142.468	unknown	300.48	unknown	300.59	unknown	300.77	unknown	300.61
chc-LIA-Lin_234.smt2	unknown	0.837	unknown	0.760	unknown	300.53	unknown	300.98	unknown	300.46	unknown	300.62	unknown	300.83	unknown	300.65	unknown	300.165	unknown	300.76	unknown	36.940	unknown	300.70	unknown	300.91	unknown	300.57
chc-LIA-Lin_235.smt2	sat	185.309	sat	270.564	sat	68.670	sat	62.212	unknown	300.66	unknown	300.63	unknown	300.99	unknown	300.67	unknown	300.66	unknown	300.67	unknown	300.57	unknown	300.58	unknown	300.121	unknown	300.75
chc-LIA-Lin_236.smt2	unknown	300.52	sat	14.186	unknown	300.102	unknown	300.68	unknown	300.45	unknown	300.106	unknown	301.624	unknown	300.105	unknown	300.170	unknown	300.65	unknown	300.53	unknown	300.72	unknown	300.50	unknown	300.51
chc-LIA-Lin_237.smt2	unknown	300.77	unknown	300.64	unknown	300.76	unknown	300.93	unknown	300.79	unknown	300.68	unknown	300.80	unknown	300.62	unknown	300.67	unknown	300.62	unknown	56.332	unknown	300.49	unknown	300.73	unknown	300.41
chc-LIA-Lin_238.smt2	sat	141.710	sat	24.350	sat	22.335	unknown	300.62	unknown	300.54	sat	78.57	sat	41.16	unknown	300.87	unknown	300.69	unknown	300.58	unknown	164.634	unknown	300.60	unknown	300.103	unknown	300.66
chc-LIA-Lin_239.smt2	unknown	300.46	unknown	119.842	unknown	300.70	unknown	300.102	unknown	300.71	unknown	300.70	unknown	300.123	unknown	300.72	unknown	300.85	unknown	300.71	unknown	137.805	unknown	300.59	unknown	300.64	unknown	300.49
chc-LIA-Lin_240.smt2	sat	20.515	sat	11.643	sat	7.907	sat	35.715	sat	13.579	sat	19.601	sat	225.6	unknown	300.62	unknown	300.77	unknown	300.84	unknown	68.351	unknown	300.52	unknown	300.77	unknown	300.64
chc-LIA-Lin_241.smt2	sat	0.578	unknown	300.62	unknown	47.436	sat	108.632	sat	0.229	sat	77.952	sat	2.782	sat	0.330	sat	0.284	unknown	300.62	sat	0.270	sat	0.405	unknown	300.70	unknown	300.89
chc-LIA-Lin_242.smt2	sat	0.548	unknown	300.68	unknown	300.65	sat	2.257	sat	0.330	unknown	300.62	sat	3.823	sat	0.530	sat	0.437	unknown	300.106	unknown	300.66	unknown	300.61	unknown	300.75	unknown	300.62
chc-LIA-Lin_243.smt2	unknown	0.549	unknown	300.55	unknown	300.69	sat	0.414	sat	0.316	unknown	300.73	sat	2.1	unknown	300.80	sat	0.295	unknown	300.59	sat	0.552	sat	0.397	unknown	300.68	unknown	300.58
chc-LIA-Lin_244.smt2	sat	0.560	sat	0.445	sat	0.476	sat	0.341	sat	0.202	sat	0.260	sat	1.947	sat	0.269	sat	0.256	unknown	300.50	sat	0.274	unknown	300.61	unknown	300.81	unknown	300.70
chc-LIA-Lin_245.smt2	sat	0.586	sat	1.71	sat	2.908	unknown	300.69	unknown	300.61	unknown	300.92	sat	16.801	sat	0.364	sat	0.271	unknown	300.54	sat	0.355	unknown	300.54	unknown	300.61	unknown	300.96
chc-LIA-Lin_246.smt2	sat	0.377	sat	0.469	unknown	300.91	sat	16.39	sat	0.219	sat	0.260	sat	2.208	unknown	300.74	sat	0.244	unknown	300.371	sat	0.271	sat	0.393	unknown	300.58	unknown	300.104
chc-LIA-Lin_247.smt2	sat	0.378	unknown	0.562	unknown	300.100	unknown	300.77	sat	0.235	unknown	300.89	sat	2.323	unknown	300.96	unknown	300.57	sat	0.519	unknown	300.76	unknown	300.47	unknown	300.53	unknown	300.69
chc-LIA-Lin_248.smt2	unknown	32.158	unknown	300.59	unknown	300.148	unknown	300.64	sat	0.352	unknown	300.63	sat	4.830	unknown	300.90	unknown	300.52	sat	0.526	unknown	300.48	unknown	300.58	unknown	300.57	unknown	300.46
chc-LIA-Lin_249.smt2	sat	0.524	sat	0.482	sat	6.768	unknown	300.55	sat	185.260	sat	1.613	sat	5.619	unknown	300.71	unknown	300.64	unknown	300.135	unknown	213.357	unknown	300.79	unknown	300.126	unknown	300.57
chc-LIA-Lin_250.smt2	sat	0.345	sat	0.491	unknown	300.134	unknown	300.56	unknown	300.61	unknown	300.49	sat	3.279	unknown	300.69	unknown	300.81	unknown	300.153	sat	95.85	unknown	300.76	unknown	300.77	unknown	300.71
chc-LIA-Lin_251.smt2	sat	0.377	sat	0.463	sat	97.316	sat	14.232	sat	4.201	unknown	300.71	unknown	300.185	unknown	300.64	sat	37.126	sat	0.486	unknown	300.69	unknown	300.65	unknown	300.71	unknown	300.54
chc-LIA-Lin_252.smt2	sat	0.617	unknown	0.685	unknown	300.66	unknown	300.65	sat	0.218	unknown	300.46	sat	3.795	unknown	300.64	unknown	300.61	unknown	75.851	unknown	300.40	unknown	300.52	unknown	300.178	unknown	300.96
chc-LIA-Lin_253.smt2	sat	0.880	unknown	300.46	unknown	300.56	sat	5.817	unknown	300.55	sat	0.430	sat	12.450	unknown	300.71	sat	0.384	unknown	300.57	sat	0.612	unknown	300.58	unknown	300.80	unknown	300.56
chc-LIA-Lin_254.smt2	unknown	300.57	unknown	300.64	unknown	300.88	sat	13.812	unknown	300.77	unknown	300.62	sat	24.662	unknown	300.60	sat	0.294	unknown	300.39	sat	0.359	unknown	300.67	unknown	300.61	unknown	300.106
chc-LIA-Lin_255.smt2	sat	0.906	sat	48.360	sat	140.990	sat	1.51	sat	0.390	sat	13.926	sat	3.978	sat	0.451	sat	1.906	unknown	300.427	sat	21.515	unknown	300.56	unknown	300.44	unknown	300.65
chc-LIA-Lin_256.smt2	sat	1.662	unknown	5.621	unknown	300.79	sat	1.518	sat	0.979	unknown	300.110	unknown	278.755	sat	28.134	sat	4.117	unknown	300.56	sat	38.652	unknown	300.70	unknown	300.76	unknown	300.53
chc-LIA-Lin_257.smt2	sat	0.450	unknown	300.63	unknown	300.149	unknown	300.59	unknown	300.50	unknown	300.54	unknown	300.58	unknown	300.56	unknown	300.52	sat	0.566	unknown	300.48	unknown	300.79	unknown	300.105	unknown	300.54
chc-LIA-Lin_258.smt2	unknown	300.113	unknown	300.70	unknown	300.66	unknown	300.52	sat	104.967	unknown	300.52	unknown	300.67	unknown	300.68	unknown	300.50	unknown	300.244	unknown	300.44	unknown	300.70	unknown	300.63	unknown	300.61
chc-LIA-Lin_259.smt2	unknown	300.43	unknown	300.61	unknown	300.60	unknown	300.46	unknown	300.66	unknown	300.134	unknown	303.261	unknown	300.65	unknown	300.53	unknown	300.87	unknown	55.601	unknown	300.65	unknown	300.63	unknown	300.71
chc-LIA-Lin_260.smt2	unknown	0.697	unknown	300.64	unknown	300.55	unknown	300.51	unknown	300.57	unknown	300.50	unknown	300.74	sat	77.102	unknown	300.54	unknown	300.59	unknown	300.98	unknown	300.120	unknown	300.63	unknown	300.67
chc-LIA-Lin_261.smt2	sat	0.363	unknown	0.686	unknown	300.44	unknown	300.72	unknown	300.73	unknown	300.59	unknown	300.60	sat	293.179	unknown	300.94	sat	0.550	unknown	300.95	unknown	300.51	unknown	300.65	unknown	300.63
chc-LIA-Lin_262.smt2	sat	0.615	unknown	1.724	unknown	12.414	unknown	300.78	unknown	300.55	unknown	300.60	unknown	303.394	unknown	300.56	sat	132.49	unknown	300.57	unknown	300.59	unknown	300.60	unknown	300.78	unknown	300.54
chc-LIA-Lin_263.smt2	sat	0.522	unknown	0.490	unknown	300.92	unknown	300.56	sat	0.250	unknown	300.51	unknown	303.254	unknown	300.52	unknown	300.89	sat	0.514	unknown	300.52	sat	0.473	unknown	300.88	unknown	300.72
chc-LIA-Lin_264.smt2	sat	0.581	unknown	0.702	unknown	300.48	unknown	300.108	unknown	300.79	unknown	300.61	unknown	300.86	unknown	300.66	unknown	300.62	unknown	300.60	unknown	300.48	unknown	300.102	unknown	300.70	unknown	300.56
chc-LIA-Lin_265.smt2	sat	0.425	unknown	0.617	unknown	300.55	unknown	300.72	unknown	300.96	unknown	300.57	unknown	303.62	sat	10.955	unknown	300.46	sat	0.565	unknown	300.109	unknown	300.62	unknown	300.57	unknown	300.64
chc-LIA-Lin_266.smt2	sat	0.772	sat	0.975	unknown	300.71	unknown	300.77	unknown	300.52	unknown	300.58	unknown	303.476	unknown	300.110	unknown	300.55	sat	0.510	unknown	300.55	unknown	300.64	unknown	300.83	unknown	300.102
chc-LIA-Lin_267.smt2	unknown	0.766	unknown	2.794	unknown	300.76	unknown	300.72	unknown	300.50	unknown	300.98	unknown	304.156	unknown	300.76	unknown	300.60	unknown	300.81	unknown	300.52	unknown	300.69	unknown	300.96	unknown	300.52
chc-LIA-Lin_268.smt2	sat	0.475	unknown	300.52	unknown	300.98	unknown	300.47	unknown	300.53	unknown	300.50	unknown	300.249	unknown	300.65	unknown	300.215	unknown	300.62	unknown	300.76	unknown	300.58	unknown	300.76	unknown	300.59
chc-LIA-Lin_269.smt2	sat	0.402	sat	0.477	unknown	300.55	unknown	300.65	unknown	300.108	unknown	300.63	sat	5.260	unknown	300.79	unknown	300.56	sat	0.580	unknown	300.73	unknown	300.56	unknown	300.159	unknown	300.68
chc-LIA-Lin_270.smt2	unknown	300.51	unknown	0.908	unknown	300.81	unknown	300.64	unknown	300.58	unknown	300.61	unknown	303.392	unknown	300.103	unknown	300.58	unknown	300.87	unknown	300.64	unknown	300.89	unknown	300.62	unknown	300.63
chc-LIA-Lin_271.smt2	sat	0.443	sat	0.448	sat	0.494	sat	0.288	sat	0.242	sat	0.252	sat	2.774	sat	0.411	sat	0.265	sat	0.498	sat	0.243	unknown	300.94	unknown	300.72	unknown	300.61
chc-LIA-Lin_272.smt2	unknown	3.98	sat	1.430	sat	3.524	unknown	300.63	unknown	300.61	unknown	300.60	sat	6.810	unknown	300.50	unknown	300.75	unknown	300.152	unknown	56.320	unknown	300.66	unknown	300.72	unknown	300.62
chc-LIA-Lin_273.smt2	sat	0.350	sat	0.415	sat	0.467	sat	0.237	sat	0.240	sat	0.238	sat	1.846	sat	0.249	sat	0.252	sat	0.480	sat	0.231	sat	0.414	unknown	96.760	unknown	300.108
chc-LIA-Lin_274.smt2	sat	0.438	sat	0.440	sat	0.459	sat	0.295	sat	0.281	sat	0.255	sat	3.676	sat	0.239	sat	0.242	sat	0.520	sat	0.226	unknown	300.49	unknown	300.71	unknown	300.94
chc-LIA-Lin_275.smt2	sat	0.548	sat	0.439	sat	0.410	sat	0.215	sat	0.250	sat	0.257	sat	2.752	sat	0.267	sat	0.346	sat	0.556	sat	0.221	unknown	300.43	unknown	300.82	unknown	300.63
chc-LIA-Lin_276.smt2	sat	0.450	sat	0.434	sat	0.507	sat	0.232	sat	0.263	sat	0.231	sat	2.537	sat	1.707	sat	0.228	sat	0.495	sat	0.301	unknown	300.72	unknown	300.277	unknown	300.70
chc-LIA-Lin_277.smt2	unknown	1.103	sat	1.412	sat	1.559	unknown	300.48	unknown	300.55	unknown	300.61	sat	3.69	unknown	300.82	unknown	300.56	unknown	300.118	unknown	96.826	unknown	300.72	unknown	300.54	unknown	300.68
chc-LIA-Lin_278.smt2	unknown	12.85	unknown	2.38	unknown	300.57	unknown	300.48	unknown	300.68	unknown	300.47	sat	7.338	unknown	300.84	unknown	300.51	unknown	300.71	unknown	36.900	unknown	300.61	unknown	300.60	unknown	300.60
chc-LIA-Lin_279.smt2	unknown	7.987	unknown	4.689	unknown	300.72	unknown	300.67	unknown	300.52	unknown	300.59	sat	7.707	unknown	300.65	unknown	300.58	unknown	300.63	unknown	87.754	unknown	300.65	unknown	300.64	unknown	300.65
chc-LIA-Lin_280.smt2	unknown	6.345	unknown	3.879	unknown	300.66	unknown	300.61	unknown	300.52	unknown	300.74	sat	7.550	unknown	300.85	unknown	300.61	unknown	300.56	unknown	273.803	unknown	300.76	unknown	300.69	unknown	300.85
chc-LIA-Lin_281.smt2	unknown	1.75	sat	0.872	sat	0.835	unknown	300.65	unknown	300.61	unknown	300.66	sat	3.27	unknown	300.148	unknown	300.54	unknown	300.80	unknown	80.568	unknown	300.69	unknown	300.57	unknown	300.70
chc-LIA-Lin_282.smt2	sat	0.525	sat	0.387	sat	0.401	sat	0.245	sat	0.240	sat	0.230	sat	1.849	sat	0.387	sat	0.260	sat	0.357	sat	0.284	sat	1.397	sat	0.359	sat	0.408
chc-LIA-Lin_283.smt2	sat	0.336	sat	0.394	sat	0.382	sat	0.240	sat	0.210	sat	0.260	sat	1.748	sat	0.376	sat	0.259	sat	0.348	sat	0.280	sat	0.385	sat	0.299	sat	0.420
chc-LIA-Lin_284.smt2	sat	0.334	sat	0.400	sat	0.374	sat	0.235	sat	0.271	sat	0.242	sat	1.889	sat	0.289	sat	0.260	sat	0.458	sat	0.304	sat	0.386	sat	0.299	sat	0.432
chc-LIA-Lin_285.smt2	sat	0.368	sat	0.393	sat	0.467	sat	0.258	sat	0.279	sat	0.248	sat	2.393	sat	0.308	sat	0.269	sat	0.532	sat	0.268	sat	0.411	unknown	101.937	unknown	300.59
chc-LIA-Lin_286.smt2	sat	0.493	sat	0.446	sat	0.505	sat	0.277	unknown	300.60	sat	1.963	unknown	300.73	sat	0.311	unknown	300.61	unknown	300.73	sat	0.289	unknown	300.53	unknown	300.111	unknown	300.52
chc-LIA-Lin_287.smt2	sat	0.369	sat	0.378	sat	0.470	sat	0.227	sat	0.211	sat	0.235	sat	2.267	sat	0.267	sat	0.270	sat	0.486	sat	0.289	sat	0.407	unknown	300.67	unknown	300.103
chc-LIA-Lin_288.smt2	sat	0.349	sat	0.355	sat	0.390	sat	0.263	sat	0.278	sat	0.268	sat	1.914	sat	0.289	sat	0.267	sat	0.445	sat	0.271	sat	0.425	sat	0.399	sat	0.442
chc-LIA-Lin_289.smt2	unsat	0.366	unsat	0.412	unsat	0.479	unsat	0.268	unsat	0.428	unsat	0.249	unsat	2.136	unsat	0.358	unsat	0.281	unsat	0.583	unsat	0.340	unsat	0.420	unsat	0.450	unsat	0.489
chc-LIA-Lin_290.smt2	sat	0.325	sat	0.411	sat	0.408	sat	0.294	sat	0.245	sat	0.244	sat	2.63	sat	0.292	sat	0.288	sat	0.593	sat	0.290	sat	0.434	sat	0.368	unknown	300.107
chc-LIA-Lin_291.smt2	sat	0.539	sat	0.424	sat	0.436	sat	0.264	sat	0.265	sat	0.283	sat	2.179	sat	0.276	sat	0.333	sat	0.465	sat	0.377	sat	0.427	sat	0.380	sat	0.413
chc-LIA-Lin_292.smt2	unsat	0.353	unsat	0.459	unsat	0.472	unsat	0.263	unsat	0.298	unsat	0.253	unsat	2.369	unsat	0.293	unsat	0.301	unsat	0.447	unsat	0.306	unsat	0.398	unsat	0.340	unsat	0.469
chc-LIA-Lin_293.smt2	sat	0.351	sat	0.403	sat	0.476	sat	0.276	sat	0.264	sat	0.229	sat	3.528	sat	0.294	sat	0.261	sat	0.587	sat	0.297	sat	0.450	sat	0.406	unknown	300.58
chc-LIA-Lin_294.smt2	unsat	30.767	unsat	0.615	unsat	0.635	unsat	0.813	unsat	1.218	unsat	2.119	unknown	300.62	unsat	0.915	unsat	1.158	unsat	1.804	unsat	3.208	unsat	1.357	unsat	0.730	unsat	0.789
chc-LIA-Lin_295.smt2	unsat	1.976	unknown	0.672	unsat	1.98	unsat	2.109	unsat	7.57	unsat	3.96	unknown	300.70	unsat	4.718	unsat	2.102	unsat	2.170	unknown	66.284	unsat	1.432	unsat	1.118	unsat	1.365
chc-LIA-Lin_296.smt2	sat	1.676	sat	0.686	sat	0.614	sat	0.384	sat	0.324	sat	0.343	unknown	300.59	sat	0.527	sat	0.688	unknown	300.68	sat	2.633	sat	1.216	unknown	300.128	unknown	112.387
chc-LIA-Lin_297.smt2	sat	2.772	sat	0.671	sat	0.707	sat	3.107	sat	0.488	sat	0.610	sat	56.314	sat	21.953	sat	1.650	unknown	300.102	sat	25.195	sat	2.9	unknown	300.106	sat	0.810
chc-LIA-Lin_298.smt2	unsat	0.846	unsat	0.536	unsat	0.627	unsat	4.504	unsat	3.173	unsat	0.771	unknown	300.88	unsat	1.627	unsat	0.983	unsat	3.91	unsat	1.982	unsat	1.42	unsat	0.808	unsat	0.612
chc-LIA-Lin_299.smt2	sat	0.388	sat	0.402	sat	0.491	sat	0.350	sat	0.248	sat	0.265	sat	9.262	sat	0.303	sat	0.319	unknown	300.94	sat	0.293	sat	0.479	unknown	300.63	sat	0.457
chc-LIA-Lin_300.smt2	unsat	0.475	unsat	0.484	unsat	0.510	unsat	0.319	unsat	0.289	unsat	0.279	unsat	7.198	unsat	0.319	unsat	0.293	unsat	0.610	unsat	0.321	unsat	0.485	unsat	0.355	unsat	0.486
chc-LIA-Lin_301.smt2	sat	0.453	sat	0.406	sat	0.425	sat	0.277	sat	0.260	sat	0.269	sat	9.178	sat	0.306	sat	0.282	unknown	300.60	sat	0.294	sat	0.495	unknown	300.71	sat	0.419
chc-LIA-Lin_302.smt2	sat	3.343	sat	2.566	sat	2.371	sat	1.951	sat	1.794	sat	1.240	unknown	300.77	unknown	300.58	sat	4.166	unknown	300.64	unknown	15.516	sat	2.540	unknown	300.82	unknown	300.84
chc-LIA-Lin_303.smt2	sat	0.434	sat	0.409	sat	0.394	sat	0.251	sat	0.247	sat	0.257	sat	4.870	sat	0.303	sat	0.280	unknown	300.61	sat	0.244	sat	0.434	unknown	300.50	sat	0.392
chc-LIA-Lin_304.smt2	sat	0.741	sat	0.508	sat	0.541	sat	0.313	sat	0.281	sat	0.286	sat	25.931	sat	0.387	sat	0.414	unknown	300.68	sat	0.683	sat	0.691	unknown	300.52	unknown	239.577
chc-LIA-Lin_305.smt2	unsat	0.706	unsat	0.460	unsat	0.441	unsat	0.964	unsat	0.576	unsat	0.495	unknown	300.221	unsat	0.860	unsat	0.550	unsat	1.405	unsat	0.591	unsat	0.718	unsat	0.593	unsat	0.437
chc-LIA-Lin_306.smt2	sat	0.766	unknown	0.545	sat	73.545	sat	3.470	sat	1.954	sat	199.799	sat	2.762	unknown	300.52	sat	104.739	sat	0.579	unknown	300.51	unknown	300.53	unknown	300.63	unknown	300.64
chc-LIA-Lin_307.smt2	sat	1.107	sat	0.825	sat	0.778	sat	0.833	sat	0.438	sat	0.492	unknown	300.119	sat	53.930	sat	0.998	unknown	300.98	unknown	10.107	sat	1.41	unknown	300.124	unknown	300.51
chc-LIA-Lin_308.smt2	unsat	0.776	unsat	0.430	unsat	0.450	unsat	0.547	unsat	0.639	unsat	0.369	unknown	300.151	unsat	0.518	unsat	0.392	unsat	0.854	unsat	0.434	unsat	0.646	unsat	0.423	unsat	0.386
chc-LIA-Lin_309.smt2	sat	2.757	sat	1.38	sat	0.846	sat	0.716	sat	0.406	sat	0.491	unknown	300.59	sat	1.9	sat	1.128	unknown	300.82	sat	5.178	sat	1.967	unknown	300.72	unknown	180.45
chc-LIA-Lin_310.smt2	sat	1.4	sat	0.494	sat	0.488	sat	0.421	sat	0.290	sat	0.326	sat	20.343	sat	0.446	sat	0.449	unknown	300.91	sat	0.659	sat	0.787	unknown	300.69	sat	0.518
chc-LIA-Lin_311.smt2	sat	0.695	sat	0.422	sat	0.401	sat	0.370	sat	0.243	sat	0.290	sat	6.891	sat	0.270	sat	0.300	unknown	300.65	sat	0.387	sat	0.445	unknown	300.90	sat	0.351
chc-LIA-Lin_312.smt2	unsat	6.642	unknown	300.60	unknown	300.76	unknown	300.56	unknown	300.54	unsat	24.186	unknown	300.126	unknown	300.113	unsat	10.693	unsat	8.750	unknown	300.59	unsat	5.951	unsat	7.434	unsat	6.888
chc-LIA-Lin_313.smt2	sat	0.617	sat	0.522	sat	0.460	unknown	300.94	unknown	300.59	unknown	300.76	sat	4.74	unknown	300.72	unknown	300.66	sat	0.536	unknown	30.925	unknown	300.54	unknown	300.82	unknown	300.58
chc-LIA-Lin_314.smt2	sat	0.679	sat	0.928	unknown	300.74	unknown	300.98	unknown	300.55	unknown	300.54	sat	5.141	unknown	300.58	unknown	300.82	sat	0.629	unknown	300.57	unknown	300.90	unknown	300.50	unknown	300.71
chc-LIA-Lin_315.smt2	unknown	300.86	unknown	300.106	unknown	300.141	unknown	300.80	unknown	300.52	unsat	145.786	unknown	300.79	unsat	252.219	unsat	26.347	unsat	16.513	unsat	184.879	unsat	29.262	unsat	13.444	unsat	3.46
chc-LIA-Lin_316.smt2	unknown	300.48	sat	2.385	sat	1.962	sat	20.78	sat	65.641	sat	3.990	unknown	301.92	unknown	300.69	sat	164.117	unknown	300.67	unknown	7.827	unknown	300.64	unknown	300.77	unknown	300.67
chc-LIA-Lin_317.smt2	unsat	8.592	unsat	30.10	unsat	31.270	unsat	52.864	unknown	300.68	unsat	85.623	unknown	300.146	unknown	300.75	unsat	31.134	unsat	19.646	unknown	61.740	unsat	13.116	unsat	12.677	unsat	6.690
chc-LIA-Lin_318.smt2	unsat	29.553	unsat	8.419	unsat	30.147	unsat	148.439	unknown	300.59	unsat	32.761	unknown	300.936	unsat	132.104	unsat	19.601	unsat	17.67	unsat	86.903	unsat	14.997	unsat	23.904	unsat	4.720
chc-LIA-Lin_319.smt2	unsat	20.625	unsat	3.585	unsat	3.357	unsat	23.390	unsat	109.522	unsat	21.677	unknown	352.47	unsat	75.907	unsat	23.584	unsat	17.695	unsat	102.972	unsat	20.232	unsat	2.985	unsat	4.656
chc-LIA-Lin_320.smt2	unknown	300.63	sat	2.543	sat	2.81	sat	17.170	sat	58.36	sat	2.935	unknown	301.179	unknown	300.66	sat	198.850	unknown	300.78	unknown	15.752	unknown	300.51	unknown	300.89	unknown	300.74
chc-LIA-Lin_321.smt2	unknown	300.71	unknown	8.314	unknown	300.67	sat	99.24	unknown	300.61	sat	24.899	unknown	300.58	unknown	300.94	unknown	300.209	unknown	300.64	unknown	19.499	unknown	300.64	unknown	300.52	unknown	300.105
chc-LIA-Lin_322.smt2	unsat	3.278	unsat	4.263	unsat	4.285	unsat	13.266	unsat	279.214	unsat	23.10	unknown	300.82	unsat	35.463	unsat	12.743	unsat	5.260	unknown	70.255	unsat	4.347	unsat	3.498	unsat	1.578
chc-LIA-Lin_323.smt2	unknown	300.205	sat	5.437	sat	6.293	sat	5.953	sat	60.640	sat	6.61	unknown	300.51	unknown	300.62	sat	85.651	unknown	300.77	unknown	16.607	unknown	300.72	unknown	300.177	unknown	300.69
chc-LIA-Lin_324.smt2	unsat	8.475	unsat	3.238	unsat	3.795	unsat	82.321	unsat	147.725	unsat	55.687	unknown	300.71	unsat	80.689	unsat	23.717	unsat	7.677	unsat	153.128	unsat	6.840	unsat	21.299	unsat	3.929
chc-LIA-Lin_325.smt2	unknown	300.65	sat	2.505	sat	2.264	sat	7.403	sat	67.987	sat	4.869	unknown	300.846	unknown	300.82	sat	65.626	unknown	300.77	unknown	9.848	unknown	300.71	unknown	300.79	unknown	300.140
chc-LIA-Lin_326.smt2	sat	0.531	sat	0.447	sat	0.439	unknown	300.68	sat	0.249	unknown	300.67	sat	2.41	unknown	300.75	unknown	300.76	unknown	300.61	unknown	300.55	unknown	300.51	unknown	300.49	unknown	300.62
chc-LIA-Lin_327.smt2	unknown	300.52	sat	2.644	sat	2.650	sat	13.705	unknown	300.56	sat	1.977	unknown	300.64	unknown	300.57	sat	68.330	unknown	300.60	unknown	12.71	unknown	300.59	unknown	300.65	unknown	300.74
chc-LIA-Lin_328.smt2	unsat	104.576	unknown	0.723	unsat	1.273	unsat	2.690	unsat	8.709	unsat	5.802	unknown	300.66	unsat	1.898	unsat	4.80	unsat	2.901	unsat	63.387	unsat	2.197	unsat	1.352	unsat	1.632
chc-LIA-Lin_329.smt2	unsat	5.903	unknown	300.60	unknown	300.70	unknown	300.55	unknown	300.62	unsat	19.379	unknown	300.128	unknown	300.49	unsat	19.3	unsat	7.505	unknown	300.63	unsat	6.781	unsat	6.206	unsat	8.91
chc-LIA-Lin_330.smt2	sat	8.131	sat	9.906	sat	8.747	sat	17.109	sat	16.178	sat	5.712	unknown	300.69	unknown	300.75	sat	15.472	unknown	300.74	unknown	64.991	sat	6.662	unknown	300.82	unknown	300.72
chc-LIA-Lin_331.smt2	sat	20.369	sat	15.788	sat	12.897	sat	47.274	sat	31.324	sat	9.117	unknown	300.75	unknown	300.61	sat	12.667	unknown	300.59	unknown	172.859	sat	10.210	unknown	300.92	unknown	300.50
chc-LIA-Lin_332.smt2	unsat	11.689	unknown	300.75	unknown	300.65	unknown	300.54	unknown	300.63	unsat	71.550	unknown	301.708	unsat	32.500	unsat	28.123	unsat	12.830	unsat	140.224	unsat	17.665	unsat	20.842	unsat	24.736
chc-LIA-Lin_333.smt2	sat	18.596	sat	12.184	sat	12.152	sat	47.827	sat	16.601	sat	9.614	unknown	303.142	unknown	300.54	sat	12.163	unknown	300.55	unknown	198.461	sat	24.761	unknown	300.110	unknown	300.56
chc-LIA-Lin_334.smt2	sat	7.158	sat	6.2	sat	6.102	sat	12.237	sat	8.295	sat	6.398	unknown	300.59	unknown	300.68	sat	7.165	unknown	300.49	unknown	61.830	sat	5.864	unknown	300.96	unknown	300.89
chc-LIA-Lin_335.smt2	sat	8.142	sat	7.393	sat	6.424	sat	22.571	sat	8.730	sat	7.107	unknown	300.78	unknown	300.54	sat	9.300	unknown	300.148	unknown	53.259	sat	6.930	unknown	300.53	unknown	300.93
chc-LIA-Lin_336.smt2	sat	7.871	sat	7.746	sat	6.770	sat	50.586	sat	11.484	sat	5.789	unknown	300.89	unknown	300.72	sat	8.938	unknown	300.59	unknown	76.847	sat	5.882	unknown	300.105	unknown	300.93
chc-LIA-Lin_337.smt2	unsat	10.583	unknown	300.55	unknown	300.68	unknown	300.64	unknown	300.48	unsat	94.733	unknown	328.339	unsat	28.163	unsat	47.519	unsat	17.214	unknown	20.937	unsat	18.310	unsat	29.762	unsat	15.848
chc-LIA-Lin_338.smt2	sat	18.490	sat	19.924	sat	19.156	sat	79.916	sat	21.82	unknown	300.49	unknown	300.65	unknown	300.63	sat	11.921	unknown	300.61	unknown	151.569	sat	11.110	unknown	300.62	unknown	300.57
chc-LIA-Lin_339.smt2	sat	7.730	sat	6.529	sat	6.940	sat	17.356	sat	8.813	unknown	300.59	unknown	305.56	unknown	300.56	sat	7.853	unknown	300.98	unknown	95.299	sat	6.271	unknown	300.95	unknown	300.68
chc-LIA-Lin_340.smt2	unsat	0.462	unknown	0.477	unknown	300.83	unsat	9.481	unknown	300.47	unknown	121.52	unknown	300.71	unsat	1.512	unknown	300.54	unsat	0.507	unknown	300.91	unknown	300.53	unknown	300.70	unknown	300.104
chc-LIA-Lin_341.smt2	sat	18.814	sat	8.659	sat	8.729	sat	79.617	sat	1.347	sat	2.499	unknown	300.62	sat	4.930	sat	7.809	unknown	300.104	sat	285.28	sat	13.17	unknown	300.116	unknown	140.751
chc-LIA-Lin_342.smt2	sat	7.288	sat	7.989	sat	8.163	sat	46.765	sat	7.378	sat	6.345	unknown	303.427	unknown	300.71	sat	10.240	unknown	300.67	unknown	55.561	sat	5.961	unknown	300.76	unknown	300.84
chc-LIA-Lin_343.smt2	sat	21.595	sat	9.425	sat	9.971	sat	38.324	sat	1.911	sat	2.510	unknown	303.574	sat	3.444	sat	8.527	unknown	300.111	sat	185.349	sat	13.446	unknown	300.137	unknown	171.860
chc-LIA-Lin_344.smt2	sat	16.320	sat	47.270	sat	48.512	sat	131.135	sat	23.944	sat	18.886	unknown	300.61	unknown	300.62	sat	23.832	unknown	21.356	unknown	300.75	sat	13.769	unknown	300.173	unknown	300.58
chc-LIA-Lin_345.smt2	sat	27.13	sat	17.832	sat	16.986	sat	53.290	unknown	300.59	unknown	300.58	unknown	303.256	sat	146.928	sat	124.67	unknown	28.203	unknown	124.330	unknown	300.69	unknown	300.149	unknown	300.84
chc-LIA-Lin_346.smt2	unsat	19.137	unknown	300.58	unknown	300.65	unknown	300.73	unknown	300.53	unsat	156.565	unknown	306.457	unknown	300.63	unsat	56.244	unsat	35.420	unknown	19.624	unsat	27.882	unsat	53.89	unsat	23.99
chc-LIA-Lin_347.smt2	sat	20.600	sat	9.616	sat	8.539	sat	40.897	sat	1.742	sat	2.552	unknown	303.351	sat	4.804	sat	8.77	unknown	300.96	unknown	300.50	sat	11.904	unknown	300.106	unknown	142.831
chc-LIA-Lin_348.smt2	unsat	0.462	unknown	0.901	unknown	300.112	unknown	300.55	unknown	300.90	unknown	300.54	unknown	300.56	unknown	300.54	unknown	300.77	unsat	0.507	unknown	300.67	unknown	300.58	unknown	300.61	unknown	300.105
chc-LIA-Lin_349.smt2	unknown	300.172	unknown	300.52	unknown	300.70	unknown	300.60	unknown	300.58	unknown	300.97	unknown	303.603	unknown	300.55	unknown	300.78	unknown	300.62	unknown	52.833	unknown	300.66	unknown	300.68	unknown	300.55
chc-LIA-Lin_350.smt2	unknown	300.52	unknown	300.63	sat	4.531	sat	7.803	sat	81.466	sat	1.544	unknown	305.785	sat	49.159	sat	259.490	unknown	300.70	unknown	7.442	unknown	300.95	unknown	300.80	unknown	300.73
chc-LIA-Lin_351.smt2	unknown	300.96	unknown	300.191	unknown	300.176	unknown	300.83	unknown	300.57	unknown	300.122	unknown	300.67	unknown	300.58	unknown	300.102	unknown	37.343	unknown	300.53	unknown	300.106	unknown	300.87	unknown	300.51
chc-LIA-Lin_352.smt2	unsat	0.356	unknown	0.662	unknown	300.102	unknown	300.55	unknown	300.50	unknown	300.51	unknown	300.95	unsat	136.19	unknown	300.70	unsat	0.446	unknown	300.54	unknown	300.88	unknown	300.65	unknown	300.63
chc-LIA-Lin_353.smt2	unknown	300.112	unknown	300.120	unknown	300.132	unknown	300.57	unknown	300.87	unknown	300.100	unknown	303.896	unknown	300.79	unknown	300.110	unknown	34.824	unknown	300.55	unknown	300.88	unknown	300.58	unknown	300.116
chc-LIA-Lin_354.smt2	unknown	300.114	unknown	300.95	unknown	300.98	unknown	300.68	unknown	300.56	unknown	300.87	unknown	300.70	unknown	300.65	unknown	300.105	unknown	31.23	unknown	300.65	unknown	300.204	unknown	300.62	unknown	300.51
chc-LIA-Lin_355.smt2	unknown	300.172	unknown	80.314	unknown	56.695	unknown	300.66	unknown	300.54	unknown	300.84	unknown	300.70	unknown	300.78	unknown	300.92	unknown	41.561	unknown	300.46	unknown	300.149	unknown	300.90	unknown	300.63
chc-LIA-Lin_356.smt2	unknown	300.101	unknown	300.66	unknown	300.77	unknown	300.44	unknown	300.69	unknown	300.70	unknown	300.41	unknown	300.621	unknown	300.92	unknown	21.158	unknown	300.71	unknown	300.90	unknown	300.83	unknown	300.83
chc-LIA-Lin_357.smt2	unknown	300.67	sat	34.634	sat	33.448	sat	97.35	unknown	300.69	unknown	300.59	unknown	300.48	unknown	300.72	sat	142.841	unknown	300.101	unknown	148.997	unknown	300.87	unknown	300.103	unknown	300.63
chc-LIA-Lin_358.smt2	unknown	300.62	unknown	300.49	unknown	300.78	unknown	300.67	unknown	300.60	unknown	300.54	unknown	300.63	unknown	300.93	unknown	300.64	unknown	300.92	unknown	129.66	unknown	300.77	unknown	300.52	unknown	300.73
chc-LIA-Lin_359.smt2	unknown	300.60	unknown	300.53	unknown	300.74	unknown	300.76	unknown	300.58	unknown	300.70	unknown	300.65	unknown	300.72	unknown	300.46	unknown	300.90	unknown	78.698	unknown	300.71	unknown	300.74	unknown	300.75
chc-LIA-Lin_360.smt2	unsat	0.583	unknown	10.299	unknown	300.69	unknown	300.46	unknown	300.69	unknown	139.643	unknown	300.53	unknown	300.78	unknown	300.59	unsat	0.606	unknown	59.954	unknown	300.89	unknown	300.67	unknown	300.121
chc-LIA-Lin_361.smt2	unknown	300.67	unknown	300.96	unknown	300.63	unknown	300.60	unknown	300.61	unknown	300.50	unknown	300.54	unknown	300.61	unsat	142.607	unknown	300.73	unknown	20.334	unknown	300.90	unknown	300.67	unknown	300.51
chc-LIA-Lin_362.smt2	unknown	300.60	sat	23.172	sat	20.142	sat	226.601	unknown	300.65	sat	194.376	unknown	300.53	unknown	300.69	unknown	300.190	unknown	300.60	unknown	12.953	unknown	300.67	unknown	300.65	unknown	300.56
chc-LIA-Lin_363.smt2	unknown	300.43	sat	19.293	sat	7.457	sat	129.50	unknown	300.53	sat	164.173	unknown	300.55	unknown	300.62	unknown	300.188	unknown	300.69	unknown	13.963	unknown	300.101	unknown	300.53	unknown	300.59
chc-LIA-Lin_364.smt2	unknown	300.90	unknown	300.112	unknown	300.114	unknown	300.50	unknown	300.65	unknown	300.93	unknown	300.53	unknown	300.77	unknown	300.190	unknown	22.420	unknown	267.50	unknown	300.99	unknown	300.152	unknown	300.65
chc-LIA-Lin_365.smt2	unknown	300.57	unknown	300.152	unknown	300.203	unknown	300.64	unknown	300.65	unknown	300.107	unknown	300.61	unknown	300.78	unknown	300.145	unknown	300.89	unknown	300.58	unsat	215.799	unsat	125.111	unsat	275.116
chc-LIA-Lin_366.smt2	unknown	300.55	unsat	34.505	unsat	38.331	unsat	217.428	unknown	300.63	unknown	300.53	unknown	300.74	unsat	217.269	unsat	48.863	unsat	72.378	unknown	300.65	unknown	300.85	unsat	40.172	unsat	10.970
chc-LIA-Lin_367.smt2	sat	29.461	sat	43.703	unknown	300.53	unknown	300.50	unknown	300.58	sat	20.387	unknown	300.74	unknown	300.57	sat	30.94	unknown	300.111	sat	105.435	unknown	300.85	unknown	300.74	unknown	300.73
chc-LIA-Lin_368.smt2	sat	18.131	unknown	300.47	unknown	300.74	unknown	300.58	unknown	300.84	sat	66.317	unknown	300.68	unknown	300.62	unknown	300.116	unknown	25.734	unknown	202.296	sat	16.969	unknown	300.112	unknown	300.69
chc-LIA-Lin_369.smt2	unknown	300.124	unknown	300.51	unknown	300.47	unknown	300.48	unknown	300.64	unknown	300.110	unknown	300.55	unknown	300.71	unknown	300.100	unknown	25.91	unknown	178.164	unknown	300.127	unknown	300.101	unknown	300.62
chc-LIA-Lin_370.smt2	unsat	0.348	unknown	0.541	unknown	300.133	unknown	300.74	unknown	300.52	unknown	300.50	unknown	300.64	unknown	300.71	unknown	300.74	unsat	0.614	unknown	300.72	unknown	300.126	unknown	300.75	unknown	300.108
chc-LIA-Lin_371.smt2	unknown	300.75	unsat	32.750	unsat	32.754	unknown	300.60	unknown	300.60	unknown	300.59	unknown	300.56	unknown	300.67	unknown	300.76	unknown	26.650	unknown	223.955	unknown	300.138	unknown	300.77	unsat	283.856
chc-LIA-Lin_372.smt2	sat	16.663	sat	63.712	sat	65.565	sat	95.816	sat	31.906	sat	21.876	unknown	300.66	unknown	300.55	sat	118.5	unknown	26.48	unknown	300.65	sat	14.432	unknown	300.108	unknown	300.67
chc-LIA-Lin_373.smt2	unknown	300.95	unknown	300.60	unknown	300.99	unknown	300.64	unknown	300.61	unknown	300.95	unknown	300.69	unknown	300.62	unknown	300.134	unknown	31.379	unknown	242.314	unknown	300.86	unknown	300.102	unknown	300.61
chc-LIA-Lin_374.smt2	sat	16.566	sat	48.420	sat	61.916	sat	84.872	sat	32.410	sat	19.493	unknown	300.72	unknown	300.67	sat	169.852	unknown	25.211	unknown	300.76	sat	15.314	unknown	300.90	unknown	300.67
chc-LIA-Lin_375.smt2	unsat	0.893	unknown	32.630	unknown	300.66	unknown	300.59	unknown	300.52	unknown	103.517	unknown	300.65	unknown	300.73	unknown	300.63	unsat	0.766	unknown	300.54	unknown	300.62	unknown	300.64	unknown	300.66
chc-LIA-Lin_376.smt2	unknown	300.138	unknown	300.89	unknown	300.143	unknown	300.55	unknown	300.67	unknown	300.60	unknown	300.64	unknown	300.64	unknown	300.104	unknown	32.804	unknown	300.77	unknown	300.114	unknown	300.92	unknown	300.53
chc-LIA-Lin_377.smt2	sat	11.726	unknown	300.42	unknown	300.70	unknown	300.67	unknown	300.59	sat	93.454	unknown	300.73	unknown	300.53	unknown	300.70	sat	63.147	unknown	27.537	sat	15.994	unknown	158.399	unknown	300.64
chc-LIA-Lin_378.smt2	unsat	47.308	unknown	300.69	unknown	300.174	unknown	300.69	unknown	300.45	unknown	300.64	unknown	300.76	unknown	300.88	unknown	300.103	unsat	96.686	unknown	300.71	unsat	84.730	unknown	300.96	unsat	124.735
chc-LIA-Lin_379.smt2	unsat	92.694	unknown	300.43	unknown	300.69	unsat	9.94	unknown	300.42	unsat	9.337	unknown	300.57	unsat	84.720	unsat	6.405	unknown	300.57	unknown	9.799	unknown	300.47	unsat	5.74	unsat	6.442
chc-LIA-Lin_380.smt2	unsat	40.937	unknown	300.50	unknown	300.66	unknown	300.68	unknown	300.55	unknown	300.46	unknown	300.63	unknown	300.63	unsat	85.556	unknown	26.243	unknown	180.975	unsat	46.651	unsat	272.330	unsat	29.688
chc-LIA-Lin_381.smt2	unknown	300.59	unknown	300.59	unknown	300.71	unknown	300.73	unknown	300.59	unknown	300.67	unknown	300.113	unknown	300.68	unknown	300.62	unknown	300.62	unknown	104.501	unknown	300.81	unknown	300.104	unsat	186.696
chc-LIA-Lin_382.smt2	unsat	117.721	unknown	95.673	unknown	300.92	unknown	300.50	unknown	300.70	unknown	300.67	unknown	300.700	unknown	300.79	unknown	300.70	unknown	300.124	unknown	300.53	unknown	300.156	unknown	300.125	unknown	300.125
chc-LIA-Lin_383.smt2	unsat	58.911	unknown	300.67	unknown	300.69	unknown	300.51	unknown	300.52	unknown	300.66	unknown	300.56	unknown	300.69	unsat	161.598	unknown	25.264	unknown	118.726	unsat	71.21	unsat	242.741	unsat	50.769
chc-LIA-Lin_384.smt2	sat	0.374	sat	0.414	sat	0.432	sat	0.262	sat	0.243	sat	0.268	sat	1.910	sat	0.299	sat	0.307	sat	0.417	sat	0.214	sat	0.415	sat	0.274	sat	0.467
chc-LIA-Lin_385.smt2	sat	0.878	sat	0.429	sat	0.406	sat	0.705	sat	0.724	sat	0.670	sat	7.463	sat	0.821	sat	0.735	sat	0.829	sat	0.687	sat	0.880	sat	1.160	sat	0.360
chc-LIA-Lin_386.smt2	sat	0.343	sat	0.433	sat	0.341	sat	0.240	sat	0.224	sat	0.239	sat	1.632	sat	0.285	sat	0.245	sat	0.368	sat	0.225	sat	0.404	sat	0.295	sat	0.409
chc-LIA-Lin_387.smt2	sat	0.625	sat	0.580	sat	0.482	sat	0.359	sat	0.308	sat	0.356	sat	5.432	sat	0.390	sat	0.367	sat	0.872	sat	0.413	sat	0.602	unknown	123.627	unknown	300.117
chc-LIA-Lin_388.smt2	sat	0.521	sat	0.423	sat	0.452	sat	0.310	sat	0.297	sat	0.316	sat	3.543	sat	0.358	sat	0.318	sat	0.612	sat	0.355	sat	0.511	unknown	88.270	unknown	300.54
chc-LIA-Lin_389.smt2	sat	0.400	sat	0.459	sat	0.422	sat	0.295	sat	0.288	sat	0.273	sat	2.384	sat	0.340	sat	0.322	sat	0.459	sat	0.306	sat	0.424	sat	0.388	unknown	300.261
chc-LIA-Lin_390.smt2	sat	0.508	sat	0.479	sat	0.407	sat	0.320	sat	0.278	sat	0.285	sat	2.163	sat	0.322	sat	0.271	sat	0.451	sat	0.298	sat	0.441	sat	0.483	sat	0.441
chc-LIA-Lin_391.smt2	sat	0.406	sat	0.540	sat	0.356	sat	0.347	sat	0.211	sat	0.260	sat	1.565	sat	0.252	sat	0.237	sat	0.357	sat	0.262	sat	0.377	sat	0.359	sat	0.330
chc-LIA-Lin_392.smt2	sat	0.502	sat	0.413	sat	0.426	sat	0.333	sat	0.287	sat	0.325	sat	4.122	sat	0.401	sat	0.296	sat	0.571	sat	0.280	sat	0.465	unknown	38.694	unknown	300.73
chc-LIA-Lin_393.smt2	sat	0.393	sat	0.432	sat	0.387	sat	0.360	sat	0.231	sat	0.286	sat	2.276	sat	0.277	sat	0.275	sat	0.386	sat	0.298	sat	0.376	sat	0.359	sat	0.409
chc-LIA-Lin_394.smt2	sat	0.549	sat	0.547	sat	0.495	sat	0.381	sat	0.250	sat	0.291	sat	2.936	sat	0.283	sat	0.294	sat	0.388	sat	0.278	sat	0.440	sat	0.355	unknown	300.91
chc-LIA-Lin_395.smt2	sat	0.542	sat	0.428	sat	0.453	sat	0.306	sat	0.271	sat	0.309	sat	3.797	sat	0.412	sat	0.314	sat	0.595	sat	0.343	sat	0.512	unknown	38.39	unknown	300.72
chc-LIA-Lin_396.smt2	sat	0.322	sat	0.434	sat	0.414	sat	0.356	sat	0.281	sat	0.262	sat	2.937	sat	0.292	sat	0.300	sat	0.416	sat	0.289	sat	0.426	sat	0.450	sat	0.448
chc-LIA-Lin_397.smt2	sat	0.367	sat	0.377	sat	0.385	sat	0.298	sat	0.246	sat	0.264	sat	2.322	sat	0.308	sat	0.298	sat	0.512	sat	0.314	sat	0.428	sat	0.432	sat	0.355
chc-LIA-Lin_398.smt2	sat	0.421	sat	0.412	sat	0.367	sat	0.279	sat	0.224	sat	0.258	sat	2.98	sat	0.260	sat	0.230	sat	0.341	sat	0.247	sat	0.362	sat	0.370	sat	0.393
chc-LIA-Lin_399.smt2	sat	0.305	sat	0.487	sat	0.411	sat	0.246	sat	0.235	sat	0.242	sat	2.369	sat	0.296	sat	0.249	sat	0.347	sat	0.271	sat	0.401	sat	0.342	unknown	300.74
chc-LIA-Lin_400.smt2	sat	0.471	sat	0.497	sat	0.479	sat	0.459	sat	0.384	sat	0.385	sat	4.498	sat	0.469	sat	0.440	sat	0.495	sat	0.415	sat	0.562	sat	0.544	sat	0.496
chc-LIA-Lin_401.smt2	unsat	0.560	unsat	0.407	unsat	0.413	unsat	0.253	unsat	0.231	unsat	0.254	unsat	1.624	unsat	0.289	unsat	0.246	unsat	0.359	unsat	0.271	unsat	0.410	unsat	0.313	unsat	0.557
chc-LIA-Lin_402.smt2	sat	1.791	sat	0.484	sat	0.480	unknown	300.62	unknown	300.63	unknown	300.67	sat	3.328	unknown	300.70	unknown	300.66	unknown	300.65	unknown	36.389	unknown	300.135	unknown	300.345	unknown	300.84
chc-LIA-Lin_403.smt2	unknown	300.75	sat	5.200	sat	5.548	unknown	300.61	unknown	300.49	unknown	300.63	unknown	300.394	unknown	300.56	unknown	300.68	unknown	300.293	unknown	300.49	unknown	300.73	unknown	300.263	unknown	300.106
chc-LIA-Lin_404.smt2	unknown	300.144	unsat	5.665	unsat	7.580	unknown	300.59	unknown	300.53	unknown	300.106	unknown	302.55	unknown	300.50	unknown	300.68	unknown	300.301	unknown	300.66	unknown	300.97	unknown	300.97	unsat	74.573
chc-LIA-Lin_405.smt2	unknown	300.97	sat	110.81	sat	149.589	unknown	300.56	unknown	300.49	unknown	300.61	unknown	300.54	unknown	300.80	unknown	300.56	unknown	300.237	unknown	300.55	unknown	300.110	unknown	300.100	unknown	300.110
chc-LIA-Lin_406.smt2	unknown	300.65	sat	3.705	sat	3.321	unknown	300.60	unknown	300.81	unknown	300.60	unknown	301.368	unknown	300.58	unknown	300.73	unknown	300.248	unknown	300.60	unknown	300.70	unknown	300.62	unknown	300.84
chc-LIA-Lin_407.smt2	unknown	300.54	unknown	5.404	sat	5.86	sat	11.407	unknown	300.63	unknown	300.158	sat	7.335	unknown	300.102	unknown	300.69	unknown	300.44	unknown	300.60	unknown	300.65	unknown	300.59	unknown	300.69
chc-LIA-Lin_408.smt2	unknown	300.115	sat	110.916	sat	139.856	unknown	300.56	unknown	300.56	unknown	300.51	unknown	301.201	unknown	300.75	unknown	300.70	unknown	300.274	unknown	300.63	unknown	300.113	unknown	300.66	unknown	300.57
chc-LIA-Lin_409.smt2	unknown	300.86	unknown	300.50	unknown	300.62	unknown	300.49	unknown	300.59	unknown	300.64	unknown	302.572	unknown	300.61	unknown	300.53	unknown	300.262	unknown	300.54	unknown	300.115	unknown	300.106	unknown	300.63
chc-LIA-Lin_410.smt2	unknown	300.85	unknown	300.74	unknown	300.56	unknown	300.60	unknown	300.83	unknown	300.61	unknown	301.649	unknown	300.55	unknown	300.69	unknown	300.259	unknown	300.53	unknown	300.110	unknown	300.115	unknown	300.66
chc-LIA-Lin_411.smt2	sat	0.501	sat	0.442	sat	0.430	sat	0.451	sat	0.304	sat	1.295	sat	3.217	sat	0.321	sat	0.327	sat	0.561	sat	0.341	sat	0.605	unknown	225.96	unknown	4.763
chc-LIA-Lin_412.smt2	sat	296.589	sat	2.529	sat	2.344	unknown	300.56	unknown	300.39	unknown	300.59	unknown	303.466	unknown	300.55	unknown	300.58	unknown	300.251	unknown	300.46	sat	245.715	unknown	300.158	unknown	300.87
chc-LIA-Lin_413.smt2	unknown	300.153	unsat	88.638	unsat	95.8	unknown	300.64	unknown	300.57	unknown	300.77	unknown	205.153	unknown	300.53	unknown	300.69	unknown	300.303	unknown	300.62	unknown	300.160	unknown	300.122	unknown	300.84
chc-LIA-Lin_414.smt2	unknown	300.70	unknown	300.66	unknown	300.55	unknown	300.64	unknown	300.59	unknown	300.48	unknown	300.956	unknown	300.66	unknown	300.73	unknown	300.238	unknown	300.52	unknown	300.133	unknown	300.101	unknown	300.103
chc-LIA-Lin_415.smt2	unknown	300.146	sat	36.203	sat	35.405	unknown	300.86	unknown	300.49	unknown	300.71	sat	260.160	unknown	300.78	unknown	300.60	unknown	300.248	unknown	300.66	unknown	300.146	unknown	300.66	unknown	300.128
chc-LIA-Lin_416.smt2	unknown	300.119	sat	1.792	sat	1.752	unknown	300.55	unknown	300.48	unknown	300.56	unknown	300.582	unknown	300.61	unknown	300.65	unknown	300.304	unknown	300.64	unknown	300.102	unknown	300.87	unknown	300.110
chc-LIA-Lin_417.smt2	unknown	300.135	unknown	15.589	unknown	300.89	unknown	300.66	unknown	300.49	unknown	300.44	unknown	304.511	unknown	300.59	unknown	300.69	unknown	300.234	unknown	300.92	unknown	300.149	unknown	300.102	unknown	300.59
chc-LIA-Lin_418.smt2	unknown	300.124	sat	2.712	sat	2.462	unknown	300.47	unknown	300.49	unknown	300.52	unknown	301.463	unknown	300.66	unknown	300.64	unknown	300.269	unknown	300.57	unknown	300.148	unknown	300.131	unknown	300.70
chc-LIA-Lin_419.smt2	unknown	300.80	sat	3.675	sat	3.228	unknown	300.55	unknown	300.55	unknown	300.66	unknown	306.601	unknown	300.64	unknown	300.95	unknown	300.265	unknown	300.73	unknown	300.93	unknown	300.83	unknown	300.61
chc-LIA-Lin_420.smt2	unknown	300.86	sat	7.375	sat	7.94	unknown	300.60	unknown	300.51	unknown	300.68	unknown	302.572	unknown	300.63	unknown	300.51	unknown	300.271	unknown	300.87	unknown	300.127	unknown	300.49	unknown	300.114
chc-LIA-Lin_421.smt2	unknown	300.56	unknown	230.799	unknown	300.150	unknown	300.57	unknown	300.50	unknown	300.59	unknown	300.62	unknown	300.69	unknown	300.70	unknown	300.99	unknown	55.585	unknown	300.74	unknown	300.68	unknown	300.57
chc-comp24-LIA-Lin-002.smt2	unsat	0.372	unsat	0.522	unsat	0.443	unsat	0.404	unsat	0.257	unsat	0.256	unsat	2.555	unsat	0.561	unsat	0.357	unsat	0.776	unsat	0.311	unsat	0.735	unsat	0.395	unsat	0.439
chc-comp24-LIA-Lin-003.smt2	unsat	0.392	unsat	0.594	unsat	0.453	unsat	0.408	unsat	0.271	unsat	0.266	unsat	3.60	unsat	0.380	unsat	0.387	unsat	0.804	unsat	0.320	unsat	0.791	unsat	0.472	unsat	0.907
chc-comp24-LIA-Lin-004.smt2	unknown	0.938	unknown	0.753	unknown	300.61	unknown	300.69	unknown	300.56	unknown	300.146	unknown	300.105	unknown	300.74	unknown	300.67	unknown	300.64	unknown	300.69	unknown	300.59	unknown	300.82	unknown	300.73
chc-comp24-LIA-Lin-005.smt2	sat	0.468	unknown	0.650	sat	51.35	sat	1.962	unknown	300.57	sat	142.69	sat	3.268	sat	7.349	sat	55.705	sat	0.545	unknown	300.60	unknown	300.58	unknown	300.110	unknown	300.116
chc-comp24-LIA-Lin-006.smt2	unsat	0.431	unsat	0.495	unsat	0.598	unsat	0.402	unsat	0.261	unsat	0.275	unsat	2.545	unsat	0.363	unsat	0.355	unsat	0.480	unsat	0.461	unsat	0.787	unsat	0.451	unsat	0.463
chc-comp24-LIA-Lin-007.smt2	unsat	0.602	unsat	0.576	unsat	0.550	unsat	0.275	unsat	0.288	unsat	0.266	unsat	2.914	unsat	0.450	unsat	0.401	unsat	0.508	unsat	0.300	unsat	0.731	unsat	0.460	unsat	0.491
chc-comp24-LIA-Lin-008.smt2	unsat	0.367	unsat	0.567	unsat	0.475	unsat	0.269	unsat	0.274	unsat	0.254	unsat	2.990	unsat	0.484	unsat	0.323	unsat	0.456	unsat	0.291	unsat	0.800	unsat	0.378	unsat	0.475
chc-comp24-LIA-Lin-012.smt2	sat	0.487	sat	0.553	sat	0.443	sat	0.390	sat	0.270	sat	0.260	sat	2.645	sat	0.520	sat	0.346	sat	0.533	sat	0.287	sat	0.407	unknown	300.78	unknown	300.72
chc-comp24-LIA-Lin-014.smt2	unsat	0.371	unsat	0.835	unsat	0.630	unsat	0.278	unsat	0.250	unsat	0.266	unsat	2.900	unsat	0.349	unsat	0.374	unsat	0.494	unsat	0.297	unsat	0.442	unsat	0.427	unsat	0.489
chc-comp24-LIA-Lin-015.smt2	unsat	0.352	unsat	0.551	unsat	0.596	unsat	0.271	unsat	0.256	unsat	0.261	unsat	2.239	unsat	0.376	unsat	0.322	unsat	0.420	unsat	0.282	unsat	0.383	unsat	0.445	unsat	0.423
chc-comp24-LIA-Lin-016.smt2	unsat	0.498	unsat	0.558	unsat	0.477	unsat	0.296	unsat	0.271	unsat	0.286	unsat	3.323	unsat	0.329	unsat	0.331	unsat	0.685	unsat	0.307	unsat	0.404	unsat	0.396	unsat	0.627
chc-comp24-LIA-Lin-017.smt2	unsat	0.405	unsat	0.522	unsat	0.431	unsat	0.396	unsat	0.258	unsat	0.252	unsat	2.314	unsat	0.308	unsat	0.326	unsat	0.436	unsat	0.453	unsat	0.378	unsat	0.439	unsat	0.458
chc-comp24-LIA-Lin-018.smt2	sat	0.731	sat	0.526	unknown	300.61	sat	0.352	sat	0.280	sat	0.267	sat	2.634	sat	0.299	sat	0.257	sat	0.677	sat	0.286	unknown	300.68	unknown	300.201	unknown	300.78
chc-comp24-LIA-Lin-019.smt2	unsat	0.422	unsat	0.455	unsat	0.421	unsat	0.269	unsat	0.313	unsat	0.263	unsat	2.203	unsat	0.290	unsat	0.275	unsat	0.428	unsat	0.319	unsat	0.387	unsat	0.390	unsat	0.417
chc-comp24-LIA-Lin-020.smt2	unsat	0.501	unsat	0.514	unsat	0.435	unsat	0.276	unsat	0.264	unsat	0.234	unsat	2.334	unsat	0.280	unsat	0.223	unsat	0.420	unsat	0.263	unsat	0.393	unsat	0.423	unsat	0.510
chc-comp24-LIA-Lin-021.smt2	sat	0.460	sat	0.528	sat	0.617	sat	0.270	sat	0.253	sat	0.254	sat	2.488	sat	0.279	sat	0.271	sat	0.554	sat	0.319	sat	0.394	unknown	300.171	unknown	300.72
chc-comp24-LIA-Lin-022.smt2	unsat	0.498	unsat	0.596	unsat	0.570	unsat	0.277	unsat	0.264	unsat	0.248	unsat	3.5	unsat	0.269	unsat	0.275	unsat	0.617	unsat	0.322	unsat	0.394	unsat	0.443	unsat	0.506
chc-comp24-LIA-Lin-023.smt2	sat	0.650	sat	1.674	unknown	300.76	unknown	300.61	unknown	300.62	unknown	300.66	unknown	300.150	unknown	300.56	unknown	300.77	unknown	300.154	unknown	161.125	unknown	300.56	unknown	300.69	unknown	300.62
chc-comp24-LIA-Lin-028.smt2	sat	3.128	sat	120.391	unknown	300.59	unknown	300.69	unknown	300.61	unknown	300.62	unknown	304.299	unknown	300.70	unknown	300.63	unknown	300.70	unknown	34.193	unknown	300.75	unknown	300.77	unknown	300.61
chc-comp24-LIA-Lin-029.smt2	sat	9.345	sat	4.208	sat	3.696	sat	23.981	sat	7.786	sat	3.182	sat	32.301	unknown	300.56	unknown	300.57	unknown	300.72	unknown	300.64	unknown	300.64	unknown	300.164	unknown	300.54
chc-comp24-LIA-Lin-031.smt2	sat	4.581	sat	2.60	sat	1.993	sat	3.295	sat	1.387	sat	0.640	sat	15.224	unknown	300.60	sat	242.425	unknown	300.62	unknown	300.67	unknown	300.80	unknown	300.172	unknown	300.57
chc-comp24-LIA-Lin-033.smt2	sat	4.475	unknown	300.60	unknown	300.68	unknown	300.65	unknown	300.68	unknown	300.53	unknown	300.154	unknown	300.74	unknown	300.67	unknown	300.80	unknown	30.115	unknown	300.71	unknown	300.168	unknown	300.58
chc-comp24-LIA-Lin-035.smt2	unknown	300.167	unknown	23.599	unknown	300.71	sat	89.296	sat	49.23	unknown	300.63	sat	27.505	unknown	300.82	unknown	300.87	unknown	300.93	unknown	300.62	unknown	300.63	unknown	300.63	unknown	300.55
chc-comp24-LIA-Lin-039.smt2	unknown	300.66	sat	1.449	sat	0.950	sat	25.573	sat	15.927	sat	4.246	unknown	300.110	unknown	300.58	unknown	300.128	unknown	300.88	unknown	17.542	unknown	300.61	unknown	300.98	unknown	300.47
chc-comp24-LIA-Lin-040.smt2	unsat	0.449	unsat	0.550	unsat	0.443	unsat	0.427	unsat	0.237	unsat	0.221	unsat	2.676	unsat	0.267	unsat	0.240	unsat	0.485	unsat	0.340	unsat	0.424	unsat	0.401	unsat	0.451
chc-comp24-LIA-Lin-041.smt2	unknown	300.67	sat	2.327	sat	1.401	sat	1.182	sat	1.303	sat	1.681	sat	135.924	sat	2.155	unknown	300.157	unknown	300.65	unknown	300.62	unknown	300.84	unknown	300.86	unknown	300.52
chc-comp24-LIA-Lin-043.smt2	unsat	0.331	unsat	0.649	unsat	0.450	unsat	0.258	unsat	0.298	unsat	0.231	unsat	4.549	unsat	0.302	unsat	0.266	unsat	0.501	unsat	0.335	unsat	0.427	unsat	0.343	unsat	0.463
chc-comp24-LIA-Lin-044.smt2	sat	15.175	sat	0.580	sat	0.710	sat	0.323	sat	0.309	sat	0.270	unknown	300.58	sat	0.357	sat	0.337	unknown	300.69	sat	0.368	unknown	300.77	unknown	300.53	unknown	300.100
chc-comp24-LIA-Lin-045.smt2	unknown	300.77	unknown	0.931	sat	3.191	sat	1.236	sat	3.997	sat	10.895	sat	148.246	sat	9.129	unknown	300.199	unknown	300.69	unknown	300.37	unknown	300.62	unknown	300.57	unknown	300.60
chc-comp24-LIA-Lin-046.smt2	unsat	0.375	unsat	0.566	unsat	0.436	unsat	0.251	unsat	0.246	unsat	0.228	unsat	2.938	unsat	0.292	unsat	0.240	unsat	0.482	unsat	0.256	unsat	0.559	unsat	0.374	unsat	0.335
chc-comp24-LIA-Lin-048.smt2	unknown	300.62	sat	1.847	sat	2.8	unknown	300.67	sat	223.148	sat	1.650	unknown	300.96	unknown	300.88	unknown	300.86	unknown	300.56	sat	34.610	unknown	300.108	unknown	300.118	unknown	300.66
chc-comp24-LIA-Lin-049.smt2	sat	3.735	sat	0.546	sat	0.426	sat	0.247	sat	0.235	sat	0.236	sat	6.937	sat	0.327	sat	0.268	unknown	300.68	sat	0.261	sat	0.442	unknown	300.70	unknown	300.64
chc-comp24-LIA-Lin-050.smt2	unknown	300.234	sat	1.511	sat	1.11	sat	35.875	sat	4.532	sat	0.612	unknown	300.117	sat	4.312	unknown	300.60	unknown	300.71	sat	20.250	unknown	300.114	unknown	300.68	unknown	300.47
chc-comp24-LIA-Lin-051.smt2	unknown	300.200	sat	0.848	sat	0.454	sat	0.290	sat	0.273	sat	0.276	unknown	300.58	sat	0.352	sat	8.703	unknown	300.55	sat	0.316	unknown	300.87	unknown	300.76	unknown	300.134
chc-comp24-LIA-Lin-052.smt2	unsat	0.348	unsat	0.506	unsat	0.421	unsat	0.291	unsat	0.244	unsat	0.287	unsat	2.206	unsat	0.295	unsat	0.267	unsat	0.555	unsat	0.256	unsat	0.370	unsat	0.312	unsat	0.385
chc-comp24-LIA-Lin-053.smt2	unsat	0.571	unsat	0.668	unsat	0.590	unsat	0.367	unsat	0.367	unsat	0.313	unsat	34.668	unsat	0.331	unsat	0.280	unsat	0.586	unsat	0.331	unsat	0.480	unsat	0.400	unsat	0.374
chc-comp24-LIA-Lin-054.smt2	unsat	0.454	unsat	0.568	unsat	0.413	unsat	0.285	unsat	0.272	unsat	0.286	unsat	15.676	unsat	0.285	unsat	0.238	unsat	0.503	unsat	0.236	unsat	0.439	unsat	0.355	unsat	0.559
chc-comp24-LIA-Lin-055.smt2	sat	5.53	sat	0.542	sat	0.430	sat	0.310	sat	0.274	sat	0.284	sat	28.492	sat	0.287	sat	0.278	unknown	13.738	sat	0.303	sat	0.561	unknown	300.62	unknown	300.67
chc-comp24-LIA-Lin-056.smt2	sat	0.563	sat	0.600	sat	0.452	sat	0.310	sat	0.262	unknown	300.120	sat	6.208	sat	0.375	sat	0.265	unknown	300.59	sat	0.300	sat	0.435	unknown	300.79	unknown	300.50
chc-comp24-LIA-Lin-057.smt2	sat	0.449	sat	0.848	sat	0.457	sat	0.282	sat	0.216	sat	0.282	sat	2.786	sat	0.292	sat	0.244	unknown	300.82	sat	0.268	sat	0.409	unknown	300.60	unknown	300.98
chc-comp24-LIA-Lin-058.smt2	unknown	300.191	sat	9.563	unknown	300.58	sat	101.82	sat	53.339	unknown	300.235	unknown	300.83	unknown	300.92	unknown	300.123	unknown	300.59	unknown	300.73	unknown	300.127	unknown	300.46	unknown	300.63
chc-comp24-LIA-Lin-059.smt2	sat	0.485	sat	0.572	sat	0.433	sat	0.276	sat	0.218	unknown	300.84	sat	2.870	sat	0.290	sat	0.243	unknown	300.66	sat	0.280	sat	0.415	unknown	300.116	unknown	300.47
chc-comp24-LIA-Lin-060.smt2	unknown	300.76	sat	0.552	sat	0.453	sat	0.299	sat	0.233	sat	0.298	unknown	300.123	sat	0.348	sat	0.541	unknown	300.77	sat	0.248	unknown	300.75	unknown	300.91	unknown	300.117
chc-comp24-LIA-Lin-061.smt2	unknown	300.48	sat	0.825	sat	0.489	sat	0.297	sat	0.250	sat	0.292	sat	8.24	sat	0.383	sat	0.431	unknown	300.65	sat	0.302	unknown	300.86	unknown	300.81	unknown	300.40
chc-comp24-LIA-Lin-064.smt2	unsat	0.525	unsat	0.920	unsat	0.616	unsat	0.377	unsat	0.387	unsat	0.369	unknown	300.106	unsat	0.390	unsat	0.460	unsat	0.615	unsat	0.328	unsat	3.241	unsat	0.414	unsat	0.528
chc-comp24-LIA-Lin-065.smt2	unsat	0.421	unsat	0.652	unsat	0.457	unsat	0.307	unsat	0.249	unsat	0.307	unsat	29.496	unsat	0.382	unsat	0.462	unsat	0.583	unsat	0.306	unsat	2.417	unsat	0.448	unsat	0.574
chc-comp24-LIA-Lin-066.smt2	sat	0.473	sat	0.543	sat	0.429	sat	0.308	sat	0.256	sat	0.321	sat	37.949	sat	0.253	sat	0.465	unknown	300.58	sat	0.285	sat	0.401	unknown	300.97	unknown	300.68
chc-comp24-LIA-Lin-068.smt2	unsat	0.499	unknown	300.62	unsat	150.344	unsat	8.708	unsat	16.761	unknown	300.101	unknown	300.64	unsat	0.806	unknown	300.65	unsat	0.636	unknown	300.65	unsat	207.343	unknown	300.79	unknown	300.72
chc-comp24-LIA-Lin-069.smt2	unknown	0.621	unknown	300.64	unknown	300.83	unknown	300.75	unknown	300.38	unknown	300.110	unknown	300.74	unknown	300.71	unknown	300.67	unknown	300.73	unknown	300.60	unknown	300.74	unknown	300.128	unknown	300.53
chc-comp24-LIA-Lin-074.smt2	unknown	300.75	unknown	300.78	unknown	300.64	unknown	300.61	unknown	300.53	unknown	300.148	unknown	300.70	unknown	300.84	unknown	300.54	unsat	293.808	unknown	300.63	unknown	300.76	unknown	300.68	unknown	300.60
chc-comp24-LIA-Lin-075.smt2	unknown	5.240	unsat	0.915	unsat	0.453	unsat	0.400	unknown	300.80	unsat	0.309	unsat	9.128	unsat	0.364	unsat	0.247	unsat	0.515	unsat	0.343	unsat	0.441	unsat	0.234	unsat	0.458
chc-comp24-LIA-Lin-078.smt2	unsat	0.377	unsat	0.825	unsat	0.465	unsat	0.301	unsat	0.263	unsat	0.290	unsat	15.247	unsat	0.286	unsat	0.244	unsat	0.495	unsat	0.284	unsat	0.436	unsat	0.358	unsat	0.434
chc-comp24-LIA-Lin-081.smt2	unsat	0.465	unknown	0.898	unsat	1.767	unsat	0.592	unsat	1.683	unsat	152.271	unknown	300.71	unsat	0.385	unsat	31.806	unsat	0.495	unknown	300.71	unsat	1.81	unsat	1.425	unsat	43.402
chc-comp24-LIA-Lin-082.smt2	unsat	0.629	unsat	0.850	unsat	0.450	unsat	0.292	unsat	0.233	unsat	0.275	unsat	1.937	unsat	0.255	unsat	0.263	unsat	0.503	unsat	0.297	unsat	0.364	unsat	0.341	unsat	0.491
chc-comp24-LIA-Lin-085.smt2	unknown	46.173	unknown	0.827	unsat	1.182	unsat	0.457	unsat	5.8	unsat	68.887	unknown	300.73	unsat	0.462	unsat	9.727	unsat	1.693	unsat	43.512	unknown	300.63	unsat	1.498	unsat	2.163
chc-comp24-LIA-Lin-086.smt2	unknown	7.792	unknown	102.188	unknown	300.63	unsat	3.652	unsat	43.269	unknown	300.110	unknown	300.108	unsat	1.234	unknown	300.59	unknown	208.739	unknown	300.59	unsat	193.109	unknown	300.141	unknown	300.58
chc-comp24-LIA-Lin-088.smt2	unsat	0.656	unknown	0.844	unknown	300.61	unsat	0.274	unsat	0.276	unsat	0.318	unsat	24.965	unsat	0.270	unsat	0.290	unsat	0.557	unsat	0.431	unsat	0.430	unsat	0.456	unsat	0.501
chc-comp24-LIA-Lin-089.smt2	unknown	18.644	unknown	254.507	unknown	300.52	unknown	300.60	unknown	300.52	unknown	300.101	unknown	300.65	unknown	300.97	unknown	300.65	unknown	300.96	unknown	300.62	unknown	300.72	unknown	300.57	unknown	300.50
chc-comp24-LIA-Lin-093.smt2	sat	0.596	unknown	0.577	unknown	300.76	sat	0.326	unknown	300.43	sat	0.918	sat	1.870	sat	0.270	unknown	300.63	unknown	300.95	unknown	300.57	unknown	300.76	unknown	300.131	unknown	300.115
chc-comp24-LIA-Lin-095.smt2	unknown	0.883	unknown	0.916	unknown	300.60	unknown	300.76	unknown	300.61	unknown	300.61	unknown	300.70	sat	0.280	unknown	300.58	sat	0.879	unknown	300.53	unknown	300.66	unknown	300.51	unknown	300.54
chc-comp24-LIA-Lin-096.smt2	unknown	0.559	sat	0.971	unknown	300.60	sat	0.368	sat	2.172	sat	29.289	sat	2.668	sat	0.292	unknown	300.59	sat	1.984	unknown	300.62	sat	1.671	unknown	102.11	unknown	300.64
chc-comp24-LIA-Lin-099.smt2	sat	0.346	sat	0.527	sat	68.980	sat	5.34	sat	0.909	sat	185.229	sat	2.42	sat	0.747	sat	6.804	sat	0.531	unknown	300.51	sat	0.608	unknown	125.318	unknown	300.42
chc-comp24-LIA-Lin-100.smt2	sat	0.447	sat	0.916	unknown	300.60	unknown	300.98	sat	16.194	unknown	112.495	sat	3.125	sat	5.640	unknown	300.89	sat	0.541	unknown	300.58	sat	3.104	unknown	300.63	unknown	300.58
chc-comp24-LIA-Lin-102.smt2	sat	0.518	sat	0.906	unknown	300.67	sat	0.345	unknown	300.45	unknown	266.33	unknown	300.56	sat	0.266	unknown	300.80	unknown	300.65	unknown	300.96	unknown	300.59	unknown	300.85	unknown	300.74
chc-comp24-LIA-Lin-105.smt2	sat	2.737	sat	0.855	unknown	300.74	unknown	300.76	sat	2.472	unknown	300.84	sat	15.668	sat	2.84	unknown	300.43	unknown	300.98	unknown	300.81	unknown	300.59	unknown	300.51	unknown	300.58
chc-comp24-LIA-Lin-107.smt2	sat	0.605	sat	0.894	sat	0.751	sat	0.334	sat	0.228	sat	0.303	unknown	300.90	sat	0.365	sat	0.379	sat	0.748	sat	0.629	unknown	300.56	unknown	300.68	unknown	300.76
chc-comp24-LIA-Lin-108.smt2	sat	0.501	unknown	1.191	unknown	300.66	sat	0.553	unknown	300.53	sat	0.370	unknown	300.62	unknown	300.65	sat	0.264	unknown	300.70	sat	0.398	unknown	300.61	unknown	300.58	unknown	300.63
chc-comp24-LIA-Lin-111.smt2	sat	0.932	sat	0.788	unknown	300.60	unknown	300.81	unknown	300.54	unknown	300.101	unknown	300.56	unknown	300.73	unknown	300.65	unknown	300.65	unknown	18.438	unknown	300.63	unknown	300.65	unknown	300.66
chc-comp24-LIA-Lin-113.smt2	sat	0.460	sat	0.887	unknown	300.66	unknown	300.87	sat	13.908	unknown	300.101	sat	2.813	sat	0.569	unknown	300.61	sat	0.517	unknown	300.51	unknown	300.67	unknown	300.111	unknown	300.47
chc-comp24-LIA-Lin-115.smt2	sat	0.507	sat	0.586	unknown	300.64	unknown	300.94	unknown	300.69	unknown	300.77	sat	2.117	unknown	300.52	unknown	300.57	sat	0.616	unknown	300.66	unknown	300.58	unknown	300.59	unknown	300.113
chc-comp24-LIA-Lin-116.smt2	sat	0.616	sat	1.168	unknown	300.64	unknown	300.76	unknown	300.67	unknown	300.118	sat	6.813	unknown	300.58	unknown	300.65	sat	0.530	unknown	300.45	unknown	300.66	unknown	300.71	unknown	300.119
chc-comp24-LIA-Lin-117.smt2	unknown	1.65	sat	0.574	unknown	300.56	unknown	300.76	unknown	300.44	sat	265.94	unknown	300.50	sat	0.277	unknown	300.56	unknown	300.67	unknown	300.45	unknown	300.51	unknown	300.98	unknown	300.59
chc-comp24-LIA-Lin-118.smt2	sat	0.334	sat	0.868	sat	0.799	unknown	300.102	sat	0.231	unknown	300.135	unknown	300.76	unknown	300.119	unknown	300.58	sat	0.501	unknown	300.78	sat	0.387	unknown	300.61	unknown	300.55
chc-comp24-LIA-Lin-120.smt2	sat	0.513	unknown	300.53	unknown	300.77	sat	0.353	unknown	300.75	unknown	300.64	sat	2.36	sat	0.292	unknown	300.69	unknown	300.71	unknown	300.69	unknown	300.63	unknown	300.78	unknown	300.52
chc-comp24-LIA-Lin-123.smt2	sat	0.416	sat	0.836	sat	0.419	sat	0.335	sat	0.223	sat	0.220	sat	1.541	sat	0.262	sat	0.241	sat	0.373	sat	0.357	sat	0.425	sat	0.367	unknown	300.64
chc-comp24-LIA-Lin-124.smt2	sat	0.449	sat	0.870	sat	0.424	sat	0.326	sat	0.278	sat	0.280	sat	2.814	sat	0.286	unknown	300.54	sat	0.526	sat	0.326	unknown	300.80	unknown	300.111	unknown	300.82
chc-comp24-LIA-Lin-125.smt2	sat	0.310	sat	0.812	sat	0.403	sat	0.290	sat	0.231	sat	0.266	sat	2.59	sat	0.289	sat	0.236	sat	0.373	sat	0.265	sat	0.435	sat	0.440	sat	0.422
chc-comp24-LIA-Lin-126.smt2	unsat	0.445	unsat	0.511	unsat	0.391	unsat	0.283	unsat	0.245	unsat	0.284	unsat	1.692	unsat	0.246	unsat	0.252	unsat	0.497	unsat	0.265	unsat	0.422	unsat	0.318	unsat	0.495
chc-comp24-LIA-Lin-127.smt2	sat	0.325	sat	0.847	sat	0.402	sat	0.294	sat	0.241	sat	0.266	sat	2.206	sat	0.258	sat	0.231	sat	0.372	sat	0.267	sat	0.429	sat	0.362	unknown	300.58
chc-comp24-LIA-Lin-129.smt2	unknown	0.695	sat	0.897	sat	0.414	sat	0.314	sat	0.250	sat	0.270	sat	2.527	sat	0.281	sat	0.336	sat	0.530	sat	0.274	sat	0.398	unknown	300.70	unknown	300.64
chc-comp24-LIA-Lin-130.smt2	sat	0.590	sat	0.855	sat	0.445	sat	0.265	sat	0.269	sat	0.243	sat	1.978	sat	0.329	sat	0.233	sat	0.531	sat	0.297	sat	0.374	unknown	300.82	unknown	300.63
chc-comp24-LIA-Lin-131.smt2	sat	0.585	sat	0.517	sat	0.447	sat	0.275	sat	0.271	sat	0.266	sat	1.556	sat	0.360	sat	0.240	sat	0.356	sat	0.269	sat	0.348	sat	0.382	unknown	300.54
chc-comp24-LIA-Lin-132.smt2	unknown	0.854	sat	0.854	sat	0.488	sat	0.305	sat	0.230	sat	0.241	sat	2.286	sat	0.367	sat	0.252	sat	0.495	sat	0.345	sat	0.395	unknown	300.60	unknown	300.76
chc-comp24-LIA-Lin-133.smt2	sat	0.470	sat	0.516	sat	0.402	sat	0.248	sat	0.210	sat	0.218	sat	1.617	sat	0.470	sat	0.202	sat	0.338	sat	0.355	sat	0.400	sat	0.417	sat	0.457
chc-comp24-LIA-Lin-134.smt2	sat	0.408	sat	0.463	sat	0.419	sat	0.263	sat	0.276	sat	0.269	sat	1.589	sat	0.351	sat	0.228	sat	0.327	sat	0.270	sat	0.383	sat	0.368	sat	0.398
chc-comp24-LIA-Lin-135.smt2	unsat	0.461	unsat	0.657	unsat	0.455	unsat	0.278	unsat	0.278	unsat	0.234	unsat	2.97	unsat	0.453	unsat	0.246	unsat	0.507	unsat	0.282	unsat	0.414	unsat	0.388	unsat	0.467
chc-comp24-LIA-Lin-136.smt2	sat	0.602	sat	0.561	sat	0.419	sat	0.259	sat	0.261	sat	0.249	sat	1.777	sat	0.303	sat	0.270	sat	0.336	sat	0.267	sat	0.373	sat	0.343	sat	0.409
chc-comp24-LIA-Lin-137.smt2	unsat	0.449	unsat	0.581	unsat	0.455	unsat	0.331	unsat	0.279	unsat	0.266	unsat	2.423	unsat	0.354	unsat	0.295	unsat	0.508	unsat	0.299	unsat	0.411	unsat	0.382	unsat	0.502
chc-comp24-LIA-Lin-138.smt2	sat	0.573	sat	0.472	sat	0.397	sat	0.278	sat	0.245	sat	0.251	sat	1.782	sat	0.331	sat	0.271	sat	0.319	sat	0.275	sat	0.388	sat	0.406	sat	0.414
chc-comp24-LIA-Lin-139.smt2	sat	0.802	sat	0.534	sat	0.465	sat	0.284	sat	0.269	sat	0.265	sat	2.644	sat	0.484	sat	0.270	unknown	300.77	sat	0.283	unknown	300.69	unknown	300.176	unknown	300.56
chc-comp24-LIA-Lin-140.smt2	sat	0.453	sat	0.538	sat	0.486	sat	0.257	sat	0.269	sat	0.250	sat	2.228	sat	0.288	sat	0.264	sat	0.632	sat	0.271	sat	0.384	unknown	92.754	unknown	300.62
chc-comp24-LIA-Lin-141.smt2	sat	0.403	sat	0.489	sat	0.403	sat	0.267	sat	0.274	sat	0.266	sat	2.45	sat	0.294	sat	0.261	sat	0.507	sat	0.282	sat	0.383	sat	0.398	sat	0.425
chc-comp24-LIA-Lin-142.smt2	sat	0.483	sat	0.911	sat	1.893	sat	1.812	sat	1.126	sat	0.589	sat	2.851	sat	59.94	sat	2.53	sat	0.652	sat	3.404	sat	0.447	unknown	124.816	unknown	300.131
chc-comp24-LIA-Lin-143.smt2	sat	0.725	sat	0.633	sat	0.515	sat	0.290	sat	0.382	sat	0.310	sat	3.367	sat	0.326	sat	0.278	unknown	300.72	sat	0.328	unknown	300.64	unknown	300.82	unknown	300.74
chc-comp24-LIA-Lin-144.smt2	unknown	300.77	unknown	0.830	sat	0.853	sat	2.315	sat	11.120	sat	0.328	sat	108.963	sat	83.153	unknown	300.61	unknown	300.77	sat	1.502	unknown	300.74	unknown	300.75	unknown	300.91
chc-comp24-LIA-Lin-145.smt2	unknown	1.38	sat	0.934	sat	0.518	sat	0.303	sat	0.279	unknown	300.47	sat	2.555	unknown	300.62	sat	0.282	sat	0.599	sat	0.307	unknown	300.64	unknown	300.84	unknown	300.66
chc-comp24-LIA-Lin-146.smt2	sat	0.484	sat	0.902	sat	0.494	sat	0.286	sat	0.262	sat	0.233	sat	2.476	sat	0.639	sat	0.282	sat	0.606	sat	0.293	unknown	300.63	unknown	300.175	unknown	300.67
chc-comp24-LIA-Lin-147.smt2	unknown	0.611	sat	0.614	sat	0.524	sat	0.301	sat	0.255	sat	0.229	sat	7.224	unknown	300.58	sat	0.274	unknown	300.163	sat	0.336	unknown	300.59	unknown	300.76	unknown	300.68
chc-comp24-LIA-Lin-148.smt2	unsat	1.316	unknown	0.641	unsat	0.811	unsat	0.455	unknown	300.56	unsat	0.312	unsat	20.443	unknown	300.56	unsat	0.335	unsat	0.655	unsat	3.947	unsat	0.438	unsat	0.345	unsat	0.670
chc-comp24-LIA-Lin-149.smt2	unsat	0.409	unsat	0.502	unsat	0.449	unsat	0.267	unsat	0.247	unsat	0.244	unsat	3.128	unsat	0.291	unsat	0.236	unsat	0.603	unsat	0.337	unsat	0.400	unsat	0.343	unsat	0.462
chc-comp24-LIA-Lin-150.smt2	unsat	0.395	unsat	0.566	unsat	0.474	unsat	0.274	unsat	0.227	unsat	0.223	unsat	2.663	unsat	0.263	unsat	0.225	unsat	0.557	unsat	0.297	unsat	0.409	unsat	0.375	unsat	0.384
chc-comp24-LIA-Lin-151.smt2	unknown	0.935	sat	1.865	sat	10.50	unknown	300.53	unknown	300.61	unknown	300.49	sat	3.692	unknown	300.72	unknown	300.70	unknown	300.99	unknown	55.368	unknown	300.58	unknown	300.60	unknown	300.76
chc-comp24-LIA-Lin-153.smt2	sat	0.635	sat	0.489	sat	0.487	sat	0.261	sat	0.236	sat	0.278	sat	2.608	sat	0.262	sat	0.249	sat	0.642	sat	0.276	unknown	300.56	unknown	300.89	unknown	300.70
chc-comp24-LIA-Lin-154.smt2	unknown	300.65	sat	1.321	sat	1.172	sat	0.466	sat	0.347	sat	0.267	sat	8.482	unknown	300.135	sat	0.441	unknown	300.79	sat	0.284	unknown	300.51	unknown	300.67	unknown	300.63
chc-comp24-LIA-Lin-156.smt2	unknown	0.622	sat	0.603	sat	0.523	sat	0.255	sat	0.229	sat	0.225	sat	3.46	unknown	300.54	sat	0.249	unknown	300.167	sat	0.259	unknown	300.73	unknown	300.79	unknown	300.88
chc-comp24-LIA-Lin-157.smt2	unknown	1.502	unknown	0.819	unsat	0.775	unsat	0.382	unknown	300.56	unsat	0.265	unsat	20.746	unsat	1.286	unsat	0.367	unsat	0.588	unsat	0.846	unsat	0.441	unsat	0.539	unsat	0.639
chc-comp24-LIA-Lin-161.smt2	sat	0.426	sat	0.727	sat	1.963	sat	1.608	sat	1.379	sat	0.591	sat	2.782	sat	43.954	sat	2.92	sat	0.502	sat	3.58	sat	0.451	unknown	137.949	unknown	300.87
chc-comp24-LIA-Lin-162.smt2	unknown	0.906	sat	0.621	sat	0.533	sat	0.261	sat	0.276	unknown	300.47	sat	2.931	unknown	300.71	sat	0.332	sat	0.597	sat	0.243	unknown	300.60	unknown	300.60	unknown	300.59
chc-comp24-LIA-Lin-163.smt2	sat	0.647	sat	0.582	sat	0.487	sat	0.234	sat	0.239	sat	0.231	sat	2.164	sat	0.477	sat	0.276	sat	0.527	sat	0.218	unknown	300.57	unknown	300.61	unknown	300.109
chc-comp24-LIA-Lin-165.smt2	unknown	2.393	sat	1.834	sat	2.117	unknown	300.80	unknown	300.59	unknown	300.60	sat	6.148	unknown	300.72	unknown	300.76	unknown	300.60	unknown	76.823	unknown	300.79	unknown	300.66	unknown	300.56
chc-comp24-LIA-Lin-167.smt2	sat	0.398	sat	0.525	sat	0.421	sat	0.295	sat	0.249	sat	0.226	sat	2.1	sat	0.283	sat	0.253	sat	0.485	sat	0.266	sat	0.431	unknown	114.34	unknown	300.85
chc-comp24-LIA-Lin-168.smt2	sat	0.513	sat	0.585	sat	0.426	sat	0.250	sat	0.199	sat	0.237	sat	2.830	sat	0.319	sat	0.261	sat	0.512	sat	0.263	unknown	300.78	unknown	300.86	unknown	300.62
chc-comp24-LIA-Lin-169.smt2	sat	0.917	sat	0.595	sat	0.475	sat	0.250	sat	0.226	sat	0.235	sat	3.600	unknown	300.64	sat	0.272	sat	0.515	sat	0.374	unknown	300.53	unknown	300.62	unknown	300.49
chc-comp24-LIA-Lin-170.smt2	sat	0.637	sat	0.687	sat	0.523	sat	0.275	sat	0.261	sat	0.303	sat	3.92	sat	0.322	sat	0.289	sat	0.647	sat	0.276	sat	0.493	unknown	215.782	unknown	300.79
chc-comp24-LIA-Lin-171.smt2	sat	0.542	sat	0.918	sat	0.468	sat	0.283	sat	0.235	sat	0.281	sat	2.449	sat	0.279	sat	0.260	sat	0.581	sat	0.259	sat	0.387	unknown	116.446	unknown	300.64
chc-comp24-LIA-Lin-172.smt2	sat	0.691	sat	0.874	sat	0.463	sat	0.311	sat	0.217	sat	0.276	sat	1.985	unknown	300.58	sat	0.246	unknown	300.66	sat	0.273	unknown	300.78	unknown	300.86	unknown	300.57
chc-comp24-LIA-Lin-173.smt2	sat	0.487	sat	0.909	unknown	300.60	unknown	300.107	unknown	300.55	sat	0.267	unknown	300.120	unknown	300.65	unknown	300.56	sat	0.518	unknown	300.47	unknown	300.74	unknown	300.80	unknown	300.102
chc-comp24-LIA-Lin-174.smt2	sat	0.482	sat	0.941	unknown	300.50	sat	0.296	sat	0.242	sat	0.269	sat	3.465	sat	0.289	sat	0.250	sat	0.504	sat	0.294	unknown	300.92	unknown	300.58	unknown	300.116
chc-comp24-LIA-Lin-175.smt2	sat	0.797	sat	0.526	sat	0.485	sat	0.275	sat	0.225	unknown	300.73	sat	2.985	sat	0.281	sat	0.246	unknown	300.74	sat	0.279	unknown	300.83	unknown	300.71	unknown	300.58
chc-comp24-LIA-Lin-176.smt2	unsat	0.468	unsat	0.501	unsat	0.543	unsat	0.293	unsat	0.233	unsat	0.303	unsat	2.815	unsat	0.308	unsat	0.259	unsat	0.519	unsat	0.286	unsat	0.432	unsat	0.409	unsat	0.489
chc-comp24-LIA-Lin-177.smt2	unsat	0.634	unsat	0.522	unsat	0.425	unsat	0.262	unsat	0.219	unsat	0.309	unsat	3.354	unsat	0.277	unsat	0.240	unsat	0.509	unsat	0.248	unsat	0.390	unsat	0.361	unsat	0.497
chc-comp24-LIA-Lin-178.smt2	unsat	0.445	unsat	0.550	unsat	0.459	unsat	0.301	unsat	0.196	unsat	0.327	unsat	2.567	unsat	0.279	unsat	0.227	unsat	0.476	unsat	0.280	unsat	0.398	unsat	0.510	unsat	0.382
chc-comp24-LIA-Lin-179.smt2	sat	1.831	sat	0.585	sat	0.500	sat	0.317	sat	0.486	sat	1.680	sat	4.43	sat	0.334	sat	0.366	unknown	300.66	sat	0.241	unknown	300.57	unknown	300.57	unknown	300.60
chc-comp24-LIA-Lin-182.smt2	unsat	0.347	unsat	0.538	unsat	0.464	unsat	0.292	unsat	0.250	unsat	0.270	unsat	2.561	unsat	0.303	unsat	0.424	unsat	0.479	unsat	0.271	unsat	0.432	unsat	0.404	unsat	0.371
chc-comp24-LIA-Lin-183.smt2	sat	0.532	sat	0.630	sat	0.531	sat	0.324	unknown	300.61	sat	0.344	sat	9.80	unknown	300.58	unknown	300.61	sat	0.651	unknown	300.54	unknown	300.64	unknown	300.75	unknown	300.65
chc-comp24-LIA-Lin-185.smt2	unsat	1.32	unsat	0.749	unsat	0.555	unsat	0.371	unknown	300.56	unsat	0.285	unsat	4.15	unsat	0.343	unsat	0.300	unsat	0.518	unsat	0.316	unsat	0.412	unsat	0.352	unsat	0.576
chc-comp24-LIA-Lin-186.smt2	unsat	0.391	unsat	0.876	unsat	0.385	unsat	0.299	unsat	0.231	unsat	0.264	unsat	2.62	unsat	0.301	unsat	0.297	unsat	0.623	unsat	0.258	unsat	0.396	unsat	0.350	unsat	0.460
chc-comp24-LIA-Lin-190.smt2	unknown	0.690	sat	0.465	sat	0.493	sat	0.273	sat	0.277	sat	0.360	sat	2.392	sat	0.296	sat	0.245	sat	0.682	sat	0.298	sat	0.418	unknown	300.102	unknown	300.97
chc-comp24-LIA-Lin-191.smt2	unsat	0.530	unsat	0.443	unsat	0.483	unsat	0.350	unknown	300.42	unsat	0.344	unsat	2.520	unsat	0.315	unsat	0.266	unsat	0.522	unsat	0.293	unsat	0.429	unsat	0.376	unsat	0.363
chc-comp24-LIA-Lin-192.smt2	sat	0.625	sat	0.622	unknown	300.68	unknown	300.68	unknown	300.65	unknown	300.94	sat	6.29	unknown	300.97	unknown	300.54	sat	0.518	unknown	300.113	unknown	300.68	unknown	300.133	unknown	300.81
chc-comp24-LIA-Lin-193.smt2	sat	0.399	sat	0.584	sat	0.479	sat	0.299	sat	0.278	sat	0.285	sat	3.154	sat	0.334	sat	0.277	unknown	300.75	sat	0.304	sat	0.478	unknown	300.50	unknown	300.73
chc-comp24-LIA-Lin-194.smt2	sat	0.420	sat	0.577	sat	0.464	sat	0.309	sat	0.253	sat	0.282	sat	2.316	sat	0.331	sat	0.257	unknown	300.164	sat	0.283	unknown	300.72	unknown	300.51	unknown	300.351
chc-comp24-LIA-Lin-195.smt2	sat	0.468	sat	0.488	sat	0.431	sat	0.310	sat	0.247	sat	0.260	sat	2.20	sat	0.309	sat	0.300	unknown	300.285	sat	0.280	sat	0.423	unknown	300.78	unknown	300.57
chc-comp24-LIA-Lin-196.smt2	sat	0.741	sat	0.653	sat	120.942	sat	4.773	sat	3.786	sat	59.671	sat	3.992	sat	0.658	sat	14.156	sat	0.612	unknown	300.55	sat	12.436	unknown	300.57	unknown	300.93
chc-comp24-LIA-Lin-197.smt2	sat	0.624	sat	0.591	sat	0.448	sat	0.266	sat	0.234	sat	0.265	sat	2.886	sat	0.301	sat	0.314	sat	0.565	sat	0.286	unknown	300.68	unknown	300.53	unknown	148.71
chc-comp24-LIA-Lin-198.smt2	sat	0.503	sat	0.508	sat	0.429	sat	0.243	sat	0.278	sat	0.299	sat	3.591	sat	0.301	sat	0.268	sat	0.530	sat	0.261	unknown	300.68	unknown	300.168	unknown	300.140
chc-comp24-LIA-Lin-200.smt2	sat	0.526	sat	0.586	unknown	300.110	unknown	300.71	unknown	300.55	unknown	300.70	sat	2.704	sat	1.285	unknown	300.70	sat	0.539	unknown	300.38	sat	3.335	unknown	300.165	unknown	300.100
chc-comp24-LIA-Lin-203.smt2	unsat	0.353	unsat	0.393	unsat	0.414	unsat	0.264	unsat	0.241	unsat	0.265	unsat	2.176	unsat	0.244	unsat	0.265	unsat	0.504	unsat	0.276	unsat	0.417	unsat	0.314	unsat	0.480
chc-comp24-LIA-Lin-204.smt2	unknown	0.804	sat	0.607	sat	0.508	sat	0.328	sat	0.235	sat	0.234	sat	2.288	sat	0.278	sat	0.254	sat	0.534	sat	0.289	sat	0.426	unknown	113.677	unknown	300.146
chc-comp24-LIA-Lin-205.smt2	unsat	0.395	unsat	0.493	unsat	0.402	unsat	0.307	unsat	0.224	unsat	0.312	unsat	3.214	unsat	0.296	unsat	0.252	unsat	0.497	unsat	0.279	unsat	0.431	unsat	0.234	unsat	0.450
chc-comp24-LIA-Lin-208.smt2	unsat	0.461	unsat	0.493	unsat	0.453	unsat	0.360	unsat	0.249	unsat	0.343	unsat	3.684	unsat	0.295	unsat	0.271	unsat	0.509	unsat	0.323	unsat	0.451	unsat	0.392	unsat	0.512
chc-comp24-LIA-Lin-209.smt2	unknown	1.13	unsat	2.223	unsat	1.250	unsat	0.505	unknown	300.55	unsat	0.334	unsat	21.594	unknown	300.57	unsat	0.379	unsat	0.590	unsat	43.353	unsat	0.473	unsat	0.321	unsat	0.569
chc-comp24-LIA-Lin-211.smt2	unsat	0.409	unsat	0.473	unsat	0.404	unsat	0.342	unsat	0.236	unsat	0.244	unsat	2.551	unsat	0.259	unsat	0.314	unsat	0.490	unsat	0.228	unsat	0.408	unsat	0.304	unsat	0.370
chc-comp24-LIA-Lin-212.smt2	unknown	0.604	sat	0.542	sat	0.460	sat	0.339	sat	0.242	unknown	300.108	sat	5.28	unknown	300.139	sat	0.258	sat	0.506	sat	0.291	sat	0.417	unknown	103.945	unknown	300.63
chc-comp24-LIA-Lin-213.smt2	sat	0.373	sat	0.541	sat	0.420	sat	0.313	sat	0.209	sat	0.299	sat	2.322	sat	0.269	sat	0.230	sat	0.504	sat	0.259	sat	0.408	unknown	200.181	unknown	300.54
chc-comp24-LIA-Lin-214.smt2	sat	0.311	sat	0.490	sat	0.491	sat	0.317	sat	0.204	sat	0.255	sat	2.609	sat	0.288	sat	0.322	sat	0.582	sat	0.362	sat	0.397	unknown	105.176	unknown	300.67
chc-comp24-LIA-Lin-216.smt2	unknown	300.114	unknown	33.218	sat	264.707	unknown	300.76	unknown	300.57	unknown	300.79	sat	44.24	unknown	300.63	unknown	300.60	unknown	300.58	unknown	300.64	unknown	300.69	unknown	300.87	unknown	300.58
chc-comp24-LIA-Lin-217.smt2	unknown	300.188	unknown	1.91	unknown	300.720	unknown	300.89	unknown	300.60	unknown	300.53	sat	51.385	unknown	300.62	unknown	300.64	unknown	300.61	unknown	300.55	unknown	300.66	unknown	300.454	unknown	300.55
chc-comp24-LIA-Lin-221.smt2	sat	0.534	sat	1.341	sat	1.131	sat	0.734	sat	14.784	sat	0.626	sat	9.419	sat	18.541	sat	0.295	unknown	300.68	sat	0.326	sat	0.526	unknown	300.60	unknown	300.63
chc-comp24-LIA-Lin-222.smt2	sat	0.401	sat	0.526	sat	0.379	sat	0.345	sat	0.222	sat	0.313	sat	1.576	sat	0.260	unknown	300.49	sat	0.585	sat	0.349	sat	0.363	unknown	300.64	unknown	300.77
chc-comp24-LIA-Lin-223.smt2	unsat	0.596	unsat	0.531	unsat	0.438	unsat	0.324	unsat	0.231	unsat	0.273	unsat	4.276	unsat	0.270	unsat	0.227	unsat	0.504	unsat	0.242	unsat	0.465	unsat	0.322	unsat	0.522
chc-comp24-LIA-Lin-224.smt2	unsat	0.401	unsat	0.552	unsat	0.385	unsat	0.306	unsat	0.328	unsat	0.252	unsat	1.688	unsat	0.252	unsat	0.242	unsat	0.727	unsat	0.226	unsat	0.562	unsat	0.320	unsat	0.364
chc-comp24-LIA-Lin-226.smt2	unknown	300.289	unknown	129.25	unknown	198.590	unknown	300.92	unknown	300.123	unknown	122.309	unknown	303.27	unknown	300.153	unknown	300.118	unknown	300.245	unknown	300.107	unknown	300.287	unknown	130.660	unknown	300.110
chc-comp24-LIA-Lin-227.smt2	unknown	300.133	unknown	47.562	unknown	56.638	unknown	300.95	unknown	300.57	unknown	300.159	unknown	300.73	unknown	300.91	unknown	300.62	unknown	300.65	unknown	300.96	unknown	300.128	unknown	150.211	unknown	156.724
chc-comp24-LIA-Lin-229.smt2	unknown	300.350	unknown	138.196	unknown	137.383	unknown	300.75	unknown	300.102	unknown	101.62	unknown	304.940	unknown	300.138	unknown	300.108	unknown	300.373	unknown	300.84	unknown	300.241	unknown	140.256	unknown	300.74
chc-comp24-LIA-Lin-232.smt2	unknown	300.313	unknown	57.503	unknown	55.30	unknown	300.65	unknown	300.82	unknown	300.103	unknown	300.61	unknown	300.79	unknown	300.57	unknown	300.167	unknown	300.113	unknown	300.85	unknown	300.161	unknown	300.89
chc-comp24-LIA-Lin-233.smt2	unknown	300.309	unknown	88.818	unknown	87.422	unknown	300.57	unknown	300.56	unknown	99.933	unknown	300.79	unknown	300.96	unknown	300.77	unknown	300.340	unknown	300.88	unknown	300.176	unknown	132.919	unknown	267.161
chc-comp24-LIA-Lin-234.smt2	unknown	300.222	unknown	83.644	unknown	69.596	unknown	300.81	unknown	300.84	unknown	300.120	unknown	300.72	unknown	300.94	unknown	300.62	unknown	300.198	unknown	300.88	unknown	300.155	unknown	300.109	unknown	300.95
chc-comp24-LIA-Lin-235.smt2	unknown	300.55	unknown	136.12	unknown	138.321	unknown	300.77	unknown	300.84	unknown	300.120	unknown	300.70	unknown	300.54	unknown	300.67	unknown	300.314	unknown	300.88	unknown	300.155	unknown	300.93	unknown	300.59
chc-comp24-LIA-Lin-236.smt2	unknown	300.208	unknown	137.288	unknown	158.257	unknown	300.74	unknown	300.92	unknown	300.126	unknown	300.83	unknown	300.63	unknown	300.278	unknown	300.184	unknown	300.71	unknown	300.59	unknown	300.153	unknown	300.68
chc-comp24-LIA-Lin-237.smt2	unknown	300.258	unknown	112.140	unknown	105.848	unknown	300.119	unknown	300.101	unknown	300.169	unknown	300.47	unknown	300.95	unknown	300.67	unknown	300.66	unknown	300.111	unknown	300.184	unknown	300.211	unknown	300.149
chc-comp24-LIA-Lin-239.smt2	unknown	300.262	unknown	122.773	unknown	126.716	unknown	300.112	unknown	300.94	unknown	300.123	unknown	300.70	unknown	300.90	unknown	300.64	unknown	300.77	unknown	300.74	unknown	300.176	unknown	300.103	unknown	300.64
chc-comp24-LIA-Lin-240.smt2	unknown	300.315	unknown	196.383	unknown	181.509	unknown	300.61	unknown	300.83	unknown	300.56	unknown	300.78	unknown	300.85	unknown	300.49	unknown	300.64	unknown	300.67	unknown	300.134	unknown	300.151	unknown	300.86
chc-comp24-LIA-Lin-241.smt2	unknown	300.218	unknown	103.49	unknown	106.445	unknown	300.67	unknown	300.85	unknown	300.133	unknown	300.41	unknown	300.80	unknown	300.48	unknown	300.71	unknown	300.66	unknown	300.112	unknown	139.737	unknown	183.246
chc-comp24-LIA-Lin-242.smt2	unknown	300.257	unknown	114.40	unknown	110.591	unknown	300.126	unknown	300.105	unknown	87.303	unknown	300.75	unknown	300.85	unknown	300.61	unknown	300.133	unknown	300.65	unknown	300.183	unknown	140.239	unknown	258.90
chc-comp24-LIA-Lin-244.smt2	unknown	300.248	unknown	152.877	unknown	113.970	unknown	300.91	unknown	300.106	unknown	89.536	unknown	301.23	unknown	300.93	unknown	300.76	unknown	300.148	unknown	300.131	unknown	300.171	unknown	140.824	unknown	276.980
chc-comp24-LIA-Lin-245.smt2	unknown	300.262	unknown	133.494	unknown	132.729	unknown	300.93	unknown	300.89	unknown	300.156	unknown	300.59	unknown	300.80	unknown	300.117	unknown	300.67	unknown	300.111	unknown	300.181	unknown	300.135	unknown	300.66
chc-comp24-LIA-Lin-246.smt2	unknown	300.308	unknown	128.14	unknown	128.841	unknown	300.97	unknown	300.142	unknown	38.618	unknown	300.90	unknown	300.72	unknown	300.93	unknown	300.153	unknown	300.105	unknown	300.293	unknown	136.588	unknown	259.925
chc-comp24-LIA-Lin-247.smt2	unknown	300.279	unknown	95.416	unknown	90.496	unknown	300.91	unknown	300.109	unknown	38.262	unknown	300.65	unknown	300.76	unknown	300.97	unknown	300.142	unknown	300.112	unknown	300.266	unknown	141.297	unknown	270.887
chc-comp24-LIA-Lin-248.smt2	unknown	300.211	unknown	101.725	unknown	97.792	unknown	300.98	unknown	300.89	unknown	93.465	unknown	300.86	unknown	300.95	unknown	300.133	unknown	300.203	unknown	300.124	unknown	300.244	unknown	137.606	unknown	258.89
chc-comp24-LIA-Lin-249.smt2	unknown	300.321	unknown	90.974	unknown	87.44	unknown	300.104	unknown	300.96	unknown	300.157	unknown	300.69	unknown	300.101	unknown	300.117	unknown	300.120	unknown	300.106	unknown	300.275	unknown	129.619	unknown	164.150
chc-comp24-LIA-Lin-250.smt2	unknown	300.237	unknown	149.522	unknown	148.344	unknown	300.122	unknown	300.113	unknown	94.478	unknown	300.114	unknown	300.151	unknown	300.114	unknown	300.170	unknown	300.74	unknown	300.292	unknown	146.319	unknown	300.97
chc-comp24-LIA-Lin-251.smt2	unknown	300.127	unknown	74.451	unknown	77.326	unknown	300.66	unknown	300.60	unknown	300.138	unknown	300.104	unknown	300.83	unknown	300.77	unknown	300.118	unknown	300.68	unknown	300.237	unknown	140.380	unknown	192.149
chc-comp24-LIA-Lin-252.smt2	unknown	300.325	unknown	182.145	unknown	154.306	unknown	300.98	unknown	300.84	unknown	95.204	unknown	300.69	unknown	300.133	unknown	300.66	unknown	300.204	unknown	300.87	unknown	300.268	unknown	144.551	unknown	300.96
chc-comp24-LIA-Lin-253.smt2	unknown	300.428	unknown	124.829	unknown	126.304	unknown	300.63	unknown	300.61	unknown	85.474	unknown	300.99	unknown	300.156	unknown	300.64	unknown	300.203	unknown	300.90	unknown	300.264	unknown	146.578	unknown	300.137
chc-comp24-LIA-Lin-254.smt2	unknown	300.100	unknown	88.574	unknown	82.323	unknown	300.90	unknown	300.126	unknown	300.65	unknown	300.65	unknown	300.140	unknown	300.59	unknown	300.75	unknown	300.67	unknown	300.257	unknown	300.169	unknown	300.105
chc-comp24-LIA-Lin-255.smt2	unknown	300.228	unknown	131.252	unknown	239.977	unknown	300.91	unknown	300.125	unknown	300.124	unknown	300.71	unknown	300.99	unknown	300.66	unknown	300.115	unknown	300.67	unknown	300.266	unknown	140.65	unknown	190.52
chc-comp24-LIA-Lin-256.smt2	unknown	300.193	unknown	112.738	unknown	88.654	unknown	300.83	unknown	300.53	unknown	300.105	unknown	300.95	unknown	300.97	unknown	300.71	unknown	300.78	unknown	300.68	unknown	300.119	unknown	134.365	unknown	195.585
chc-comp24-LIA-Lin-257.smt2	unknown	300.272	unknown	126.462	unknown	156.173	unknown	300.81	unknown	300.86	unknown	148.30	unknown	300.96	unknown	300.93	unknown	300.93	unknown	300.201	unknown	300.101	unknown	300.265	unknown	144.955	unknown	300.80
chc-comp24-LIA-Lin-258.smt2	unknown	300.262	unknown	168.936	unknown	168.194	unknown	300.75	unknown	300.74	unknown	103.582	unknown	302.790	unknown	300.116	unknown	300.116	unknown	300.198	unknown	300.157	unknown	300.171	unknown	145.314	unknown	300.70
chc-comp24-LIA-Lin-259.smt2	unknown	300.256	unknown	126.33	unknown	122.398	unknown	300.64	unknown	300.69	unknown	105.788	unknown	300.87	unknown	300.87	unknown	300.74	unknown	300.286	unknown	300.103	unknown	300.200	unknown	157.899	unknown	267.696
chc-comp24-LIA-Lin-260.smt2	unknown	300.218	unknown	88.159	unknown	97.812	unknown	300.51	unknown	300.87	unknown	88.641	unknown	300.88	unknown	300.108	unknown	300.69	unknown	300.129	unknown	300.85	unknown	300.256	unknown	163.554	unknown	300.116
chc-comp24-LIA-Lin-261.smt2	unknown	300.283	unknown	119.685	unknown	114.393	unknown	300.61	unknown	300.46	unknown	300.163	unknown	300.65	unknown	300.91	unknown	300.79	unknown	300.93	unknown	300.64	unknown	300.260	unknown	162.534	unknown	218.445
chc-comp24-LIA-Lin-262.smt2	unknown	300.239	unknown	300.137	unknown	166.422	unknown	300.63	unknown	300.66	unknown	90.596	unknown	300.65	unknown	300.66	unknown	300.66	unknown	300.181	unknown	300.66	unknown	300.264	unknown	157.357	unknown	300.126
chc-comp24-LIA-Lin-265.smt2	sat	0.482	unknown	0.741	unknown	300.69	unknown	300.74	unknown	300.53	unknown	300.56	unknown	300.62	sat	55.418	unknown	300.62	sat	0.517	unknown	300.57	unknown	300.165	unknown	300.130	unknown	300.118
chc-comp24-LIA-Lin-266.smt2	sat	0.785	unknown	0.727	unknown	300.76	unknown	300.59	unknown	300.49	unknown	300.65	unknown	300.78	sat	17.481	unknown	300.58	sat	0.546	unknown	300.49	unknown	300.80	unknown	300.100	unknown	300.66
chc-comp24-LIA-Lin-270.smt2	sat	3.299	unknown	7.220	unknown	300.64	unknown	300.71	unknown	300.82	unknown	300.55	unknown	300.58	unknown	300.68	unknown	300.144	unknown	300.153	unknown	300.50	unknown	300.74	unknown	300.57	unknown	300.103
chc-comp24-LIA-Lin-276.smt2	sat	0.473	sat	0.884	unknown	300.69	unknown	300.72	unknown	300.58	unknown	300.46	sat	2.803	unknown	300.62	unknown	300.63	sat	0.503	unknown	300.70	unknown	300.64	unknown	300.64	unknown	300.79
chc-comp24-LIA-Lin-278.smt2	sat	0.747	unknown	1.260	unknown	300.62	unknown	300.67	unknown	300.47	unknown	300.73	unknown	300.65	unknown	300.74	unknown	300.79	unknown	300.63	unknown	300.45	unknown	300.265	unknown	300.58	unknown	300.61
chc-comp24-LIA-Lin-279.smt2	sat	1.81	sat	0.525	sat	123.976	sat	2.826	sat	0.221	unknown	300.50	unknown	300.69	sat	1.350	unknown	300.69	unknown	119.710	unknown	300.103	unknown	300.60	unknown	300.58	unknown	300.48
chc-comp24-LIA-Lin-280.smt2	sat	0.655	sat	0.557	unknown	300.69	sat	0.261	unknown	300.55	sat	0.238	sat	1.997	sat	0.283	sat	0.246	unknown	300.60	sat	0.231	unknown	300.51	unknown	300.67	unknown	300.153
chc-comp24-LIA-Lin-283.smt2	sat	0.589	unknown	1.12	sat	28.611	sat	0.767	sat	1.197	sat	60.991	sat	2.718	sat	8.781	unknown	300.68	unknown	300.251	unknown	300.58	sat	52.571	unknown	300.110	unknown	300.67
chc-comp24-LIA-Lin-284.smt2	sat	0.701	unknown	300.73	unknown	300.78	unknown	300.71	unknown	300.74	unknown	300.51	unknown	300.85	unknown	300.73	unknown	300.69	sat	0.518	unknown	300.98	unknown	300.71	unknown	300.73	unknown	300.65
chc-comp24-LIA-Lin-289.smt2	sat	0.573	sat	0.476	sat	0.383	sat	0.243	sat	0.259	sat	0.242	sat	1.750	sat	0.312	sat	0.259	sat	0.439	sat	0.282	sat	0.411	sat	0.383	sat	0.474
chc-comp24-LIA-Lin-290.smt2	unsat	0.601	unsat	0.533	unsat	0.402	unsat	0.328	unsat	0.278	unsat	0.288	unsat	1.842	unsat	0.314	unsat	0.271	unsat	0.554	unsat	0.291	unsat	0.402	unsat	0.521	unsat	0.518
chc-comp24-LIA-Lin-292.smt2	unsat	0.468	unsat	0.576	unsat	0.534	unsat	0.323	unsat	0.261	unsat	0.315	unsat	1.946	unsat	0.299	unsat	0.284	unsat	0.531	unsat	0.288	unsat	0.411	unsat	0.381	unsat	0.397
chc-comp24-LIA-Lin-293.smt2	unsat	0.417	unsat	0.491	unsat	0.412	unsat	0.356	unsat	0.254	unsat	0.290	unsat	2.871	unsat	0.290	unsat	0.294	unsat	0.393	unsat	0.228	unsat	0.450	unsat	0.397	unsat	0.518
chc-comp24-LIA-Lin-294.smt2	unsat	0.402	unsat	0.593	unsat	0.418	unsat	0.341	unsat	0.261	unsat	0.314	unsat	2.576	unsat	0.321	unsat	0.269	unsat	0.383	unsat	0.319	unsat	0.457	unsat	0.395	unsat	0.483
chc-comp24-LIA-Lin-295.smt2	sat	0.438	sat	0.832	sat	0.375	sat	0.330	sat	0.246	sat	0.369	sat	2.434	sat	0.288	sat	0.307	sat	0.529	sat	0.307	sat	0.455	sat	0.452	sat	0.425
chc-comp24-LIA-Lin-296.smt2	sat	0.413	sat	0.445	sat	0.461	sat	0.335	sat	0.241	sat	0.273	sat	1.974	sat	0.299	sat	0.271	sat	0.375	sat	0.274	sat	0.389	sat	0.325	sat	0.437
chc-comp24-LIA-Lin-297.smt2	sat	0.628	sat	0.433	sat	0.441	sat	0.260	sat	0.239	sat	0.306	sat	2.206	sat	0.364	sat	0.251	sat	0.371	sat	0.255	sat	0.402	sat	0.379	sat	0.435
chc-comp24-LIA-Lin-298.smt2	sat	0.604	sat	0.528	sat	0.486	sat	0.390	sat	0.287	sat	0.393	sat	2.942	sat	0.354	sat	0.320	sat	0.585	sat	0.389	sat	0.512	sat	0.436	sat	0.346
chc-comp24-LIA-Lin-299.smt2	unsat	0.460	unsat	0.533	unsat	0.484	unsat	0.303	unsat	0.250	unsat	0.258	unsat	2.715	unsat	0.293	unsat	0.278	unsat	0.398	unsat	0.243	unsat	0.445	unsat	0.350	unsat	0.527
chc-comp24-LIA-Lin-300.smt2	sat	0.374	unknown	0.626	sat	0.547	sat	0.359	sat	0.255	sat	0.290	sat	3.580	sat	0.348	sat	0.328	sat	1.152	sat	0.317	sat	0.529	unknown	82.940	unknown	300.50