MemSafety-Heap – BenchExec results

Tool	2LS 0.6.0					CBMC 5.8					CPAchecker 1.6.1-svn 26725					CPAchecker 1.6.1-svn 26758M					CPAchecker 1.6.1-svn 26773					DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017					ESBMC ESBMC version 4.6.0 64-bit x86_64 linux										Forester					Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017					Predator-HP					symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213					ULTIMATE Automizer 0.1.23-3204b741					ULTIMATE Kojak 0.1.23-3204b741					ULTIMATE Taipan 0.1.23-3204b741
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host	apollon*
OS	Linux 4.4.0-101-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution	2017-12-01 08:19:20 CET					2017-12-01 08:19:34 CET					2017-12-01 08:37:17 CET					2017-12-01 08:43:39 CET					2017-12-01 08:22:21 CET					2017-12-01 09:05:19 CET					2017-12-02 00:00:31 CET					2017-12-02 11:31:00 CET					2017-12-01 19:12:21 CET					2017-12-01 23:12:01 CET					2017-12-01 21:45:44 CET					2017-12-02 23:08:57 CET					2017-12-03 04:39:25 CET					2017-12-03 04:40:15 CET					2017-12-03 07:53:44 CET
Run set	2ls.sv-comp18.MemSafety-Heap					cbmc.sv-comp18.MemSafety-Heap					cpa-bam-bnb.sv-comp18.MemSafety-Heap					cpa-bam-slicing.sv-comp18.MemSafety-Heap					cpa-seq.sv-comp18.MemSafety-Heap					depthk.sv-comp18.MemSafety-Heap					esbmc-incr.sv-comp18.MemSafety-Heap					esbmc-kind.sv-comp18.MemSafety-Heap					forester.sv-comp18.MemSafety-Heap					map2check.sv-comp18.MemSafety-Heap					predatorhp.sv-comp18.MemSafety-Heap					symbiotic.sv-comp18.MemSafety-Heap					uautomizer.sv-comp18.MemSafety-Heap					ukojak.sv-comp18.MemSafety-Heap					utaipan.sv-comp18.MemSafety-Heap
Options	--graphml-witness witness.graphml					--graphml-witness witness.graphml					-svcomp18-bam-bnb -disable-java-assertions -heap 10000m					-ldv-bam-svcomp -disable-java-assertions -heap 10000m					-svcomp18 -heap 10000M -benchmark -timelimit 900s										-s incr					-s kinduction					--trace error-witness.graphml										--witness error-witness.graphml					--witness witness.graphml					--full-output					--full-output					--full-output
../sv-benchmarks/c/	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score
memsafety/960521-1_false-valid-deref.i	error (134)	.19	26	1.3	0	false(valid-deref)	6.2	48	57	0	error (1)	.50	41	4.0	0	error (1)	.47	40	4.2	0	false(valid-deref)	9.9	750	78	1	unknown	110	75	1300	0	false(valid-deref)	32	110	250	0	false(valid-deref)	29	110	290	0	unknown	.052	10	.46	0	false(valid-deref)	.68	12	8.6	0	false(valid-deref)	8.0	170	78	1	false(valid-deref)	.27	12	2.7	1	timeout	900	1100	9900	0	timeout	900	3500	11000	0	timeout	900	1300	12000	0
memsafety/test-0137_false-valid-deref.i	error (134)	.20	26	1.7	0	false(valid-deref)	.69	44	5.8	0	error (1)	.49	40	4.0	0	error (1)	.48	41	3.8	0	timeout	900	5300	5500	0	false(valid-deref)	.53	29	5.9	0	false(valid-deref)	.36	29	4.8	0	false(valid-deref)	1.2	43	12	0	unknown	.076	11	.48	0	false(valid-deref)	.96	14	13	1	false(valid-deref)	1.2	50	16	1	false(valid-deref)	.37	23	4.6	1	false(valid-deref)	46	970	470	1	false(valid-deref)	450	2000	6500	1	timeout	900	4700	12000	0
memsafety/test-0235_false-valid-deref.i	error (134)	.70	27	7.7	0	false(valid-deref)	23	790	230	0	error (1)	.46	40	4.2	0	error (1)	.47	40	3.8	0	timeout	900	5700	6500	0	unknown	610	510	4900	0	out of memory	780	15000	6500	0	out of memory	790	15000	6900	0	unknown	.055	11	.64	0	false(valid-deref)	7.3	26	95	1	false(valid-deref)	4.2	130	43	1	false(valid-deref)	.35	14	3.6	1	timeout	900	880	11000	0	timeout	900	1300	10000	0	error (7)	860	800	11000	0
memsafety/960521-1_false-valid-free.i	error (134)	.18	26	1.4	0	false(valid-free)	5.9	48	66	1	error (1)	.47	40	4.7	0	error (1)	.44	40	3.8	0	false(valid-free)	10	750	74	1	unknown	110	77	1400	0	false(valid-free)	30	110	220	1	false(valid-free)	31	110	250	1	unknown	.069	10	.52	0	false(valid-free)	.71	12	8.3	1	false(valid-free)	8.1	170	81	1	false(valid-free)	.24	12	3.2	1	timeout	900	1000	9800	0	timeout	900	3800	12000	0	timeout	900	1500	12000	0
memsafety/test-0158_false-valid-free.i	false(valid-free)	.19	27	1.4	1	false(valid-free)	.48	36	4.4	1	error (1)	.50	40	3.8	0	error (1)	.45	40	4.3	0	false(valid-free)	3.2	280	30	1	false(valid-deref)	16	490	120	-16	false(valid-free)	.39	29	3.9	1	false(valid-free)	.39	29	3.7	1	unknown	.074	10	.44	0	false(valid-free)	.42	12	5.2	1	false(valid-free)	.14	24	1.9	1	false(valid-free)	.25	11	2.3	1	false(valid-free)	6.5	290	58	1	false(valid-free)	19	740	200	1	false(valid-free)	9.5	520	72	1
memsafety/test-0232_false-valid-free.i	error (5)	.29	28	3.1	0	witness invalid (false(valid-free))	.53	37	4.6	0	error (1)	.48	40	4.5	0	error (1)	.46	40	4.7	0	timeout	910	4300	8800	0	false(valid-deref)	1.4	28	17	-16	false(valid-free)	.66	30	6.3	1	false(valid-free)	.49	29	5.7	1	unknown	.059	11	.65	0	false(valid-free)	1.0	14	12	1	false(valid-free)	.16	23	1.9	1	false(valid-free)	.29	15	3.0	1	error (7)	320	870	4000	0	timeout	900	2100	13000	0	error (7)	310	1000	3800	0
memsafety/20020406-1_false-valid-memtrack.i	error (5)	.46	29	5.9	0	false(unreach-call)	.60	38	5.1	0	error (1)	.46	40	4.2	0	error (1)	.43	40	4.3	0	error (recursion)	3.2	260	26	0	unknown	900	4800	6400	0	false(valid-memtrack)	22	990	250	0	false(valid-memtrack)	29	1100	320	0	unknown	.082	11	.55	0	false(valid-memtrack)	2.4	16	36	0	false(valid-memtrack)	.19	27	2.0	0	false(valid-memtrack)	.33	15	3.4	0	error (7)	710	2700	7500	0	timeout	900	1600	13000	0	timeout	900	1800	13000	0
memsafety/20051113-1.c_false-valid-memtrack.i	error (134)	.18	26	1.7	0	false(unreach-call)	1.3	36	16	0	error (1)	.48	41	4.1	0	error (1)	.44	40	4.2	0	false(valid-memtrack)	3.3	280	29	1	unknown	530	170	7100	0	false(valid-memtrack)	6.0	88	66	0	false(valid-memtrack)	6.0	89	73	0	unknown	.078	10	.47	0	false(valid-memtrack)	.73	12	8.7	0	false(valid-memtrack)	.14	23	2.2	1	false(valid-memtrack)	.26	11	2.6	1	timeout	900	1000	13000	0	timeout	900	2200	12000	0	timeout	900	1100	11000	0
memsafety/lockfree-3.1_false-valid-memtrack.i	error (5)	.50	31	5.4	0	false(unreach-call)	5.1	140	58	0	error (1)	.46	41	4.4	0	error (1)	.45	40	4.1	0	timeout	900	1600	10000	0	false(valid-memtrack)	7.3	39	92	0	false(valid-memtrack)	1.6	36	18	0	false(valid-memtrack)	2.2	44	27	0	unknown	.16	23	2.4	0	false(valid-memtrack)	2.3	15	26	1	false(valid-memtrack)	.21	26	2.2	1	false(valid-memtrack)	.29	13	3.0	1	unknown	68	970	590	0	timeout	900	5400	12000	0	unknown	570	4100	8100	0
memsafety/lockfree-3.2_false-valid-memtrack.i	error (5)	.47	33	4.6	0	false(unreach-call)	.46	36	5.0	0	error (1)	.46	40	4.1	0	error (1)	.46	40	3.7	0	timeout	910	2700	7600	0	false(valid-memtrack)	1.2	29	14	0	false(valid-memtrack)	.26	29	2.4	0	false(valid-memtrack)	.11	27	1.3	0	unknown	.096	14	.76	0	false(valid-memtrack)	1.5	15	17	1	false(valid-memtrack)	.18	24	1.9	1	false(valid-memtrack)	.28	13	3.6	1	unknown	20	570	160	0	unknown	37	680	410	0	unknown	32	870	270	0
memsafety/lockfree-3.3_false-valid-memtrack.i	error (5)	.39	31	4.3	0	false(unreach-call)	5.1	150	49	0	error (1)	.48	42	4.1	0	error (1)	.45	40	4.4	0	timeout	910	2400	11000	0	false(valid-memtrack)	39	76	550	0	false(valid-memtrack)	6.6	74	72	0	false(valid-memtrack)	8.4	89	110	0	unknown	.10	13	.73	0	false(valid-memtrack)	6.5	20	86	1	false(valid-memtrack)	.23	26	2.4	1	false(valid-memtrack)	.48	21	5.1	1	unknown	110	3000	1100	0	timeout	900	5500	11000	0	timeout	900	5400	11000	0
memsafety/test-0019_false-valid-memtrack_true-termination.i	witness invalid (false(valid-memtrack))	.22	26	1.4	0	false(unreach-call)	.45	36	4.4	0	error (1)	.46	40	4.6	0	error (1)	.44	40	4.0	0	false(valid-memtrack)	3.3	280	29	1	false(valid-memtrack)	.54	28	6.4	0	false(valid-memtrack)	.19	28	1.8	0	false(valid-memtrack)	.18	28	1.8	0	false(valid-memtrack)	.077	10	.52	0	false(valid-memtrack)	.53	12	6.5	0	false(valid-memtrack)	.13	23	1.9	1	false(valid-memtrack)	.27	14	3.3	1	unknown	19	510	150	0	unknown	71	880	750	0	unknown	26	570	230	0
memsafety/test-0102_false-valid-memtrack.i	error (134)	.21	26	2.1	0	false(unreach-call)	.58	36	6.3	0	error (1)	.47	40	4.3	0	error (1)	.43	39	4.1	0	timeout	910	5400	5700	0	false(valid-memtrack)	11	110	120	0	false(valid-memtrack)	11	200	110	0	false(valid-memtrack)	3.2	56	30	0	timeout	66	73	1500	0	false(valid-memtrack)	2.1	15	31	1	false(valid-memtrack)	40	780	420	1	false(valid-memtrack)	.31	17	4.0	1	error (7)	140	1100	1700	0	timeout	900	1600	15000	0	error (7)	140	900	1600	0
memsafety/test-0158_false-valid-memtrack_true-termination.i	witness invalid (false(valid-memtrack))	.20	26	1.4	0	false(unreach-call)	.47	36	4.0	0	error (1)	.46	41	4.2	0	error (1)	.44	40	3.8	0	false(valid-memtrack)	3.2	280	30	1	false(valid-memtrack)	.46	28	4.7	1	false(valid-memtrack)	.11	27	.78	0	false(valid-memtrack)	.11	27	.87	0	unknown	.077	10	.47	0	false(valid-memtrack)	.39	11	4.6	0	false(valid-memtrack)	.12	23	2.1	1	false(valid-memtrack)	.24	11	2.7	1	unknown	11	330	89	0	unknown	17	470	150	0	unknown	13	350	110	0
memsafety/test-0220_false-valid-memtrack.i	error (134)	.19	27	1.9	0	false(unreach-call)	.60	38	5.9	0	error (1)	.51	45	4.7	0	error (1)	.44	40	4.4	0	timeout	900	5200	4900	0	unknown	900	8300	7000	0	out of memory	150	15000	1500	0	out of memory	310	15000	2800	0	unknown	.049	10	.38	0	false(valid-memtrack)	1.6	14	20	1	false(valid-memtrack)	1.2	50	14	1	false(valid-memtrack)	.27	12	3.1	1	timeout	900	760	13000	0	timeout	900	780	11000	0	timeout	910	14000	3200	0
memsafety/test-0232_false-valid-memtrack.i	witness invalid (false(valid-memtrack))	.27	28	2.4	0	false(unreach-call)	.51	36	4.2	0	error (1)	.47	41	4.0	0	error (1)	.46	40	4.5	0	timeout (exception)	910	5300	5800	0	false(valid-memtrack)	.58	28	6.8	0	false(valid-memtrack)	.28	28	2.7	0	false(valid-memtrack)	.35	28	3.9	0	unknown	.086	11	.53	0	false(valid-memtrack)	.60	13	8.2	1	false(valid-memtrack)	.16	22	1.9	1	false(valid-memtrack)	.28	15	2.7	1	unknown	61	690	630	0	unknown	650	1800	8300	0	unknown	86	880	960	0
memsafety/test-0234_false-valid-memtrack.i	error (134)	.31	27	2.5	0	false(unreach-call)	7.8	270	84	0	error (1)	.47	40	4.6	0	error (1)	.41	40	4.3	0	timeout	900	5700	9200	0	unknown	620	510	4500	0	out of memory	790	15000	7200	0	timeout	900	8800	7700	0	unknown	.054	11	.51	0	false(valid-memtrack)	2.2	15	26	1	false(valid-memtrack)	3.6	120	33	1	false(valid-memtrack)	.33	14	3.5	1	timeout	900	780	10000	0	timeout	900	3400	11000	0	timeout	900	880	12000	0
memsafety/test-0235_false-valid-memtrack.i	error (134)	.55	27	5.5	0	false(unreach-call)	13	460	150	0	error (1)	.46	40	4.1	0	error (1)	.43	40	3.9	0	timeout	900	5700	8800	0	unknown	620	510	5000	0	out of memory	760	15000	5800	0	out of memory	780	15000	6700	0	unknown	.082	11	.54	0	false(valid-memtrack)	5.2	22	72	1	false(valid-memtrack)	3.7	120	45	1	false(valid-memtrack)	.35	14	3.6	1	timeout	900	790	12000	0	timeout	900	1300	11000	0	timeout	900	840	10000	0
memsafety/960521-1_true-valid-memsafety.i	error (134)	.18	26	1.4	0	out of memory	120	15000	1700	0	error (1)	.47	40	3.9	0	error (1)	.46	40	3.8	0	timeout	970	11000	8300	0	unknown	110	72	1500	0	timeout	900	9900	9600	0	timeout	900	9900	9700	0	unknown	.055	10	.58	0	true	35	14	480	2	timeout	900	8400	9200	0	true	1.7	20	22	2	timeout	900	1300	9400	0	timeout	900	3700	13000	0	timeout	900	1700	10000	0
memsafety/lockfree-3.0_true-valid-memsafety.i	error (5)	.38	31	4.9	0	error (42)	870	2200	5200	0	error (1)	.49	40	4.3	0	error (1)	.43	40	4.7	0	timeout	910	2400	8400	0	unknown	900	170	11000	0	timeout	900	700	11000	0	timeout	900	640	12000	0	unknown	.091	13	.85	0	unknown	900	1200	6500	0	true	46	240	400	2	timeout (timeout)	900	3300	5700	0	timeout	900	10000	7800	0	timeout	900	5500	12000	0	timeout	900	5400	10000	0
memsafety/test-0019_true-valid-memsafety_true-termination.i	true	.19	26	1.9	2	true	.88	37	7.7	2	error (1)	.47	41	4.4	0	error (1)	.47	40	4.1	0	true	3.0	260	26	2	true	.83	28	9.5	2	true	.12	27	1.7	2	true	.12	27	1.4	2	true	.080	12	.77	2	true	.54	11	6.1	2	true	.13	23	1.7	2	true	.27	13	2.9	2	true	22	580	210	2	true	38	890	410	2	true	30	630	290	2
memsafety/test-0102_true-valid-memsafety.i	error (134)	.24	26	1.9	0	error (42)	870	2400	7000	0	error (1)	.45	40	4.7	0	error (1)	.45	40	4.4	0	timeout	900	5400	7800	0	unknown	890	550	8700	0	timeout	900	2600	9900	0	timeout	900	900	8200	0	timeout	140	93	2400	0	unknown	900	480	9700	0	true	2.2	130	22	2	timeout (timeout)	900	2900	7300	0	error (7)	150	1100	1700	0	timeout	900	1700	12000	0	error (7)	160	860	2000	0
memsafety/test-0134_true-valid-memsafety.i	error (134)	.19	26	1.9	0	error (42)	870	990	6900	0	error (1)	.50	40	3.8	0	error (1)	.44	40	4.0	0	timeout	900	5300	6000	0	unknown	890	290	12000	0	timeout	900	2600	8400	0	timeout	900	1900	10000	0	unknown	.054	11	.62	0	unknown	900	430	9800	0	true	2.7	110	26	2	timeout (timeout)	900	71	12000	0	timeout	900	1100	9300	0	timeout	900	1900	15000	0	timeout	900	3600	13000	0
memsafety/test-0158_true-valid-memsafety_true-termination.i	true	.20	26	1.3	2	true	.81	36	8.7	2	error (1)	.51	45	4.9	0	error (1)	.44	40	3.6	0	true	2.9	260	24	2	true	.88	28	12	2	true	.19	27	1.6	2	true	.18	27	1.6	2	unknown	.045	10	.65	0	true	.41	11	4.0	2	true	.11	23	1.7	2	true	.23	11	2.3	2	true	14	370	120	2	timeout	900	1500	11000	0	true	16	470	130	2
memsafety/test-0214_true-valid-memsafety_false-termination.i	error (134)	.18	27	1.8	0	error (42)	870	1800	4500	0	error (1)	.46	40	4.5	0	error (1)	.48	40	3.8	0	error (parsing failed)	1.9	170	20	0	unknown	890	1900	5700	0	timeout	900	2500	8300	0	timeout	900	920	9400	0	unknown	.052	11	.69	0	unknown	900	1300	11000	0	true	1.2	33	15	2	timeout (timeout)	900	730	6900	0	timeout	900	1400	12000	0	timeout	900	1500	12000	0	error (7)	530	930	5700	0
memsafety/test-0217_true-valid-memsafety_false-termination.i	error (134)	.24	27	1.6	0	error (134)	46	13000	550	0	error (1)	.49	40	4.1	0	error (1)	.43	40	4.2	0	error (parsing failed)	1.9	170	18	0	unknown	890	1800	5100	0	timeout	900	3600	11000	0	out of memory	180	15000	1900	0	unknown	.077	12	.63	0	unknown	900	860	11000	0	true	1.2	45	14	2	timeout (timeout)	900	840	7800	0	timeout	900	1400	13000	0	timeout	900	1400	13000	0	timeout	900	5600	10000	0
memsafety/test-0218_true-valid-memsafety_false-termination.i	error (134)	.21	27	1.6	0	error (42)	870	3700	6200	0	error (1)	.47	40	4.2	0	error (1)	.43	40	4.5	0	error (parsing failed)	1.8	150	18	0	unknown	890	1800	5200	0	timeout	900	2900	11000	0	out of memory	130	15000	1500	0	unknown	.077	11	.52	0	unknown	900	930	13000	0	true	1.3	44	15	2	timeout (timeout)	900	820	7400	0	error (7)	670	1400	9500	0	timeout	900	1300	11000	0	timeout	900	6300	11000	0
memsafety/test-0219_true-valid-memsafety.i	error (134)	.19	27	1.7	0	error (42)	870	1500	7300	0	error (1)	.50	41	5.0	0	error (1)	.46	40	4.5	0	timeout	900	5400	5700	0	unknown	900	8500	5700	0	out of memory	120	15000	1700	0	out of memory	120	15000	1700	0	unknown	.070	10	.44	0	unknown	900	640	11000	0	true	2.4	94	24	2	timeout (timeout)	900	2700	5800	0	timeout	900	750	13000	0	timeout	900	830	11000	0	timeout	910	14000	3600	0
memsafety/test-0232_true-valid-memsafety.i	error (5)	.26	28	3.2	0	error (42)	870	2200	6900	0	error (1)	.47	41	4.7	0	error (1)	.43	39	4.2	0	timeout	900	1900	7700	0	unknown	890	260	9600	0	timeout	900	740	11000	0	timeout	900	730	11000	0	unknown	.080	11	.59	0	unknown	890	93	11000	0	true	1.1	26	14	2	timeout (timeout)	900	570	11000	0	error (7)	270	850	3400	0	timeout	900	1900	14000	0	timeout	900	990	11000	0
memsafety/test-0234_true-valid-memsafety.i	error (134)	.27	27	3.3	0	error (42)	870	1300	7000	0	error (1)	.45	40	3.9	0	error (1)	.43	40	3.9	0	timeout	910	5700	7700	0	unknown	620	510	5500	0	out of memory	770	15000	6700	0	timeout	900	8200	6300	0	unknown	.056	11	.49	0	unknown	900	910	11000	0	true	2.5	120	22	2	timeout (timeout)	900	2800	7200	0	timeout	900	820	11000	0	timeout	900	810	10000	0	error (7)	430	840	4900	0
memsafety/test-0235_true-valid-memsafety.i	error (134)	.65	27	8.2	0	error (42)	870	970	6500	0	error (1)	.49	41	4.5	0	error (1)	.48	40	4.6	0	timeout	900	5700	7300	0	unknown	590	510	6100	0	out of memory	800	15000	6200	0	out of memory	770	15000	6600	0	unknown	.080	11	.52	0	unknown	900	930	8400	0	true	5.6	150	62	2	timeout (timeout)	900	2600	7100	0	timeout	900	790	11000	0	timeout	900	1200	13000	0	timeout	900	870	13000	0
memsafety/test-0236_true-valid-memsafety.i	error (134)	.30	27	3.6	0	error (42)	870	1400	6400	0	error (1)	.50	40	4.2	0	error (1)	.44	40	4.0	0	timeout	900	5600	7500	0	unknown	710	510	5300	0	out of memory	760	15000	7500	0	unknown	.49	36	5.5	0	unknown	.081	11	.49	0	unknown	900	900	8900	0	true	2.5	95	22	2	timeout (timeout)	900	2700	6400	0	timeout	900	800	14000	0	timeout	900	1200	11000	0	timeout	900	830	12000	0
memsafety/test-0237_true-valid-memsafety.i	error (134)	.29	27	3.4	0	error (42)	870	1400	6500	0	error (1)	.48	40	4.6	0	error (1)	.44	40	4.9	0	timeout	900	5600	8500	0	unknown	620	510	5900	0	out of memory	760	15000	6200	0	out of memory	110	15000	1400	0	unknown	.079	11	.60	0	unknown	900	920	8400	0	true	2.5	110	23	2	timeout (timeout)	900	2600	5500	0	timeout	900	790	10000	0	timeout	900	1100	11000	0	timeout	900	790	12000	0
memsafety/test-0504_true-valid-memsafety.i	error (134)	.21	26	2.0	0	error (42)	870	2100	6700	0	error (1)	.46	40	4.1	0	error (1)	.44	40	4.2	0	timeout	920	11000	5400	0	unknown	890	380	8400	0	timeout	900	880	9900	0	timeout	900	690	11000	0	true	2.1	72	31	2	unknown	900	590	10000	0	true	2.3	41	21	2	timeout (timeout)	900	2800	4800	0	timeout	900	1100	12000	0	timeout	900	2500	12000	0	timeout	900	1200	11000	0
memsafety/test-0513_true-valid-memsafety.i	error (5)	.36	31	3.6	0	error (42)	870	1900	7500	0	error (1)	.47	40	4.5	0	error (1)	.46	40	3.8	0	timeout (segmentation fault)	920	11000	4700	0	unknown	890	250	9100	0	timeout	900	870	12000	0	timeout	900	1100	11000	0	unknown	.071	10	.59	0	unknown	900	440	11000	0	true	2.2	30	27	2	timeout (timeout)	900	680	9700	0	timeout	900	840	10000	0	timeout	900	1700	14000	0	timeout	900	1300	13000	0
memsafety/test-0521_true-valid-memsafety.i	error (5)	.50	41	5.7	0	error (134)	380	12000	3200	0	error (1)	.50	40	4.3	0	error (1)	.45	40	4.4	0	timeout	900	11000	5100	0	unknown	890	760	11000	0	timeout	900	1900	11000	0	timeout	900	1100	11000	0	unknown	.072	11	.61	0	unknown	900	330	11000	0	true	2.3	33	23	2	timeout (timeout)	900	3200	6200	0	timeout	900	1700	8700	0	timeout	900	1400	13000	0	timeout	900	1700	12000	0
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i	error (134)	.19	27	1.5	0	true	.88	36	8.1	2	error (1)	.50	41	4.8	0	error (1)	.44	40	4.1	0	true	3.1	260	25	2	unknown	890	630	7300	0	true	.62	29	8.1	2	true	.67	29	9.1	2	unknown	.050	10	.60	0	true	.46	12	4.5	2	true	.11	22	1.7	2	true	.29	16	3.5	2	error (7)	170	990	1900	0	timeout	900	1700	11000	0	error (7)	120	850	1400	0
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i	error (5)	.26	27	2.4	0	error (42)	870	4100	5500	0	error (1)	.49	40	4.4	0	error (1)	.46	41	4.5	0	timeout	910	11000	7000	0	unknown	890	210	7500	0	timeout	900	430	10000	0	timeout	900	370	12000	0	true	.25	16	2.5	2	unknown	900	390	10000	0	timeout	900	860	5200	0	timeout (timeout)	900	2700	5700	0	timeout	900	1600	11000	0	timeout	900	2000	12000	0	timeout	900	1400	11000	0
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i	error (5)	.35	29	3.4	0	error (42)	870	420	7300	0	error (1)	.46	40	4.3	0	error (1)	.43	40	3.8	0	timeout	920	12000	8100	0	unknown	890	93	11000	0	timeout	900	200	10000	0	timeout	900	230	13000	0	true	.58	31	8.4	2	unknown	900	620	10000	0	timeout	900	1600	8500	0	timeout (timeout)	900	2400	5000	0	timeout	900	1000	10000	0	timeout	900	11000	13000	0	timeout	900	1400	12000	0
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i	error (5)	.59	40	6.2	0	error (42)	870	620	7100	0	error (1)	.49	40	4.2	0	error (1)	.43	40	3.8	0	timeout	970	12000	7600	0	unknown	890	110	9500	0	timeout	900	280	12000	0	timeout	900	210	11000	0	true	21	360	260	2	unknown	900	600	9700	0	timeout	900	1200	6500	0	timeout (timeout)	900	2400	5600	0	timeout	900	950	13000	0	timeout	900	12000	6100	0	timeout	900	8800	10000	0
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i	error (5)	.33	31	3.9	0	error (42)	870	2100	5400	0	error (1)	.51	43	4.4	0	error (1)	.45	41	4.3	0	timeout (segmentation fault)	930	11000	6600	0	unknown	890	160	13000	0	timeout	900	450	11000	0	timeout	900	450	12000	0	true	.17	21	1.9	2	unknown	900	2000	10000	0	timeout	900	460	6300	0	timeout (timeout)	900	3500	5200	0	timeout	900	1300	9700	0	timeout	900	3400	12000	0	error (7)	480	1400	6000	0
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i	error (5)	1.1	160	11	0	error (42)	870	1700	5200	0	error (1)	.49	40	3.9	0	error (1)	.42	40	3.9	0	timeout (segmentation fault)	920	11000	7000	0	unknown	890	270	10000	0	timeout	900	790	10000	0	timeout	900	620	10000	0	true	.82	77	10	2	unknown	.33	12	3.3	0	timeout	900	290	9800	0	timeout (timeout)	900	3600	5600	0	timeout	900	920	12000	0	timeout	910	2500	12000	0	error (7)	570	1800	6600	0
memsafety-ext/tree_of_cslls_true-valid-memsafety.i	out of memory	93	15000	1200	0	error (42)	870	1200	8800	0	error (1)	.44	40	4.1	0	error (1)	.42	40	4.3	0	timeout	940	11000	5600	0	unknown	890	520	9600	0	timeout	900	730	9800	0	timeout	900	990	10000	0	true	.44	30	5.9	2	unknown	900	1400	8300	0	timeout	900	520	6200	0	timeout (timeout)	900	3200	6200	0	timeout	900	920	10000	0	timeout	900	2400	13000	0	timeout	900	1000	13000	0
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i	error (5)	.46	35	4.7	0	error (42)	870	2100	5500	0	error (1)	.48	40	3.9	0	error (1)	.43	40	4.2	0	timeout (segmentation fault)	910	11000	5900	0	unknown	890	300	10000	0	timeout	900	490	10000	0	timeout	900	670	10000	0	true	.53	42	6.1	2	unknown	900	1500	9800	0	timeout	900	440	6700	0	timeout (timeout)	900	2800	6500	0	error (7)	600	810	7700	0	timeout	900	2300	14000	0	timeout	900	990	9900	0
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i	error (5)	.48	31	5.7	0	error (42)	870	1500	6000	0	error (1)	.49	40	4.1	0	error (1)	.45	41	4.1	0	timeout	910	11000	6300	0	unknown	890	340	12000	0	timeout	900	460	11000	0	timeout	900	2000	10000	0	true	.16	22	1.4	2	unknown	900	1700	8900	0	timeout	900	440	6600	0	timeout (timeout)	900	2700	5900	0	timeout	900	980	14000	0	timeout	900	2200	13000	0	timeout	900	830	11000	0
memsafety-ext2/split_list_test05_false-valid-deref.i	false(valid-deref)	3.6	310	38	0	out of memory	370	15000	4400	0	error (1)	.48	40	3.8	0	error (1)	.46	40	4.1	0	timeout (segmentation fault)	950	13000	9700	0	unknown	900	15000	10000	0	out of memory	150	15000	1000	0	out of memory	100	15000	1100	0	unknown	.079	11	.57	0	unknown	900	3200	5900	0	timeout	900	930	9300	0	false(valid-deref)	4.7	85	65	1	timeout	900	4000	11000	0	timeout	900	2100	12000	0	timeout	900	14000	4600	0
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i	error (134)	.26	26	2.9	0	false(unreach-call)	22	630	250	0	error (1)	.46	40	4.2	0	error (1)	.44	41	4.0	0	false(valid-memtrack)	3.6	260	29	1	unknown	890	550	8200	0	timeout	900	2000	9400	0	timeout	900	1800	9600	0	unknown	.060	11	.60	0	false(valid-memtrack)	2.2	17	24	0	false(valid-memtrack)	.18	25	2.6	1	false(valid-memtrack)	.33	19	3.7	1	timeout	900	3000	11000	0	timeout	900	1800	12000	0	timeout	900	2300	11000	0
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i	error (134)	.27	26	2.9	0	false(unreach-call)	3.1	110	35	0	error (1)	.51	41	4.5	0	error (1)	.44	40	4.2	0	timeout	900	11000	5300	0	unknown	890	490	8000	0	timeout	900	4500	8600	0	timeout	900	2300	11000	0	unknown	.084	11	.59	0	false(valid-memtrack)	2.1	17	25	0	false(valid-memtrack)	.14	25	2.0	1	false(valid-memtrack)	.36	19	4.2	1	timeout	900	1900	11000	0	timeout	900	1800	13000	0	timeout	900	2600	12000	0
memsafety-ext2/length_test03_false-valid-memtrack.i	error (5)	.43	32	5.4	0	false(unreach-call)	3.1	43	36	0	error (1)	.49	42	4.0	0	error (1)	.47	42	4.7	0	timeout	910	4700	9000	0	false(valid-memtrack)	10	48	130	0	false(valid-memtrack)	5.2	47	52	0	false(valid-memtrack)	7.4	54	72	0	unknown	.23	16	2.2	0	false(valid-memtrack)	2.3	15	27	0	false(valid-memtrack)	.94	30	14	1	false(valid-memtrack)	.28	13	3.4	1	timeout	900	1600	14000	0	timeout	900	1500	12000	0	timeout	900	1600	11000	0
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i	error (134)	.19	26	1.8	0	false(unreach-call)	19	280	260	0	error (1)	.48	41	4.0	0	error (1)	.42	40	4.2	0	timeout	900	4900	6000	0	false(valid-deref)	.81	29	9.7	-16	timeout	900	480	10000	0	timeout	900	550	10000	0	unknown	.088	11	.53	0	false(valid-memtrack)	2.3	15	28	0	false(valid-memtrack)	1.1	25	13	1	false(valid-memtrack)	.34	16	4.2	1	timeout	900	930	11000	0	timeout	900	1600	11000	0	timeout	900	2000	8000	0
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i	error (134)	.29	26	2.5	0	error (42)	870	2500	8200	0	error (1)	.48	40	3.9	0	error (1)	.43	40	3.8	0	timeout	900	9000	8000	0	unknown	890	590	6400	0	timeout	900	1900	9100	0	timeout	900	1800	9900	0	unknown	.060	11	.72	0	unknown	900	1300	9000	0	timeout	900	1800	7400	0	timeout (timeout)	900	4100	5700	0	timeout	900	3000	10000	0	timeout	900	1800	11000	0	timeout	900	2600	11000	0
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i	error (134)	.29	26	2.6	0	error (42)	870	1300	8800	0	error (1)	.49	41	4.0	0	error (1)	.47	40	4.1	0	timeout	910	11000	5600	0	unknown	890	500	6900	0	timeout	900	4000	6400	0	timeout	900	2100	11000	0	unknown	.060	11	.75	0	unknown	900	1400	13000	0	timeout	900	1900	4800	0	timeout (timeout)	900	3700	6000	0	timeout	900	1600	11000	0	timeout	900	2300	14000	0	timeout	900	2400	12000	0
memsafety-ext2/length_test03_true-valid-memsafety.i	error (5)	.41	32	4.4	0	error (42)	870	2000	4000	0	error (1)	.48	41	4.0	0	error (1)	.45	40	4.3	0	timeout	900	3200	9600	0	unknown	890	200	12000	0	timeout	900	600	11000	0	timeout	900	620	12000	0	unknown	.13	14	.92	0	unknown	890	87	11000	0	timeout	900	2500	11000	0	timeout (timeout)	900	2100	8700	0	timeout	900	1500	11000	0	timeout	900	1700	14000	0	error (7)	780	1700	9700	0
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i	error (134)	.18	26	1.6	0	error (134)	440	13000	4800	0	error (1)	.50	40	4.5	0	error (1)	.46	41	4.2	0	timeout	910	5400	5400	0	false(valid-deref)	.82	29	10	-16	timeout	900	490	9800	0	timeout	900	450	10000	0	unknown	.059	11	.69	0	unknown	900	750	10000	0	timeout	900	1900	6800	0	timeout (timeout)	900	2900	5700	0	timeout	900	1000	11000	0	timeout	900	1700	11000	0	timeout	900	1900	7000	0
memsafety-ext2/split_list_test05_true-valid-memsafety.i	false(valid-deref)	3.8	330	39	-16	out of memory	250	15000	3700	0	error (1)	.47	41	4.3	0	error (1)	.45	40	4.1	0	timeout	970	13000	8300	0	unknown	900	15000	11000	0	out of memory	120	15000	1100	0	out of memory	110	15000	910	0	unknown	.053	11	.55	0	unknown	900	3400	6000	0	timeout	900	790	7000	0	timeout (timeout)	900	3000	5500	0	timeout	900	3400	12000	0	timeout	900	1800	12000	0	timeout	910	13000	6800	0
list-ext-properties/960521-1_1_false-valid-deref.i	error (134)	.17	26	1.6	0	false(valid-deref)	.46	36	4.7	1	error (1)	.46	41	4.1	0	error (1)	.48	41	4.1	0	false(valid-deref)	5.6	310	46	1	false(valid-deref)	1.5	29	19	0	false(valid-deref)	.48	29	4.6	0	false(valid-deref)	.25	29	2.3	0	unknown	.070	10	.64	0	false(valid-deref)	.68	13	8.2	1	false(valid-deref)	.16	24	1.9	1	false(valid-deref)	.25	12	3.3	1	false(valid-deref)	9.2	470	76	1	false(valid-deref)	13	680	140	0	false(valid-deref)	15	860	120	0
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i	error (5)	.70	37	7.1	0	false(valid-deref)	110	380	1300	1	error (1)	.48	40	4.1	0	error (1)	.44	40	4.3	0	false(valid-deref)	5.7	310	48	1	false(valid-deref)	1.3	30	16	1	false(valid-deref)	150	210	1900	1	false(valid-deref)	130	210	1600	1	unknown	.10	12	.87	0	false(valid-deref)	110	19	1400	1	false(valid-deref)	4.1	54	37	1	false(valid-deref)	.54	14	8.5	1	timeout	900	1500	12000	0	timeout	900	1600	14000	0	timeout	900	2900	10000	0
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i	error (5)	.35	31	3.8	0	false(valid-deref)	.49	36	5.4	1	error (1)	.49	40	4.2	0	error (1)	.42	40	4.2	0	timeout	910	6100	6900	0	false(valid-deref)	1.3	29	18	1	false(valid-free)	.41	29	3.8	-16	false(valid-deref)	.26	29	2.7	0	false(valid-deref)	.085	11	.57	1	false(valid-deref)	.72	14	10	1	false(valid-deref)	.15	24	2.0	1	false(valid-deref)	.27	12	3.5	1	false(valid-deref)	18	540	170	1	false(valid-deref)	52	1100	670	1	false(valid-deref)	41	730	380	1
list-ext-properties/960521-1_1_false-valid-free.i	error (134)	.19	26	1.4	0	false(valid-free)	.49	36	4.4	1	error (1)	.49	43	4.7	0	error (1)	.46	40	4.4	0	false(valid-free)	6.1	310	53	1	unknown	1.5	28	19	0	false(valid-free)	.29	29	3.1	1	false(valid-free)	.26	29	2.2	1	unknown	.077	10	.59	0	false(valid-free)	.65	13	8.1	1	false(valid-free)	.15	24	1.8	1	false(valid-free)	.28	11	3.2	1	false(valid-free)	12	520	110	1	false(valid-free)	28	870	300	1	false(valid-free)	17	870	150	1
list-ext-properties/test-0158_1_false-valid-free.i	false(valid-free)	.18	26	1.9	1	false(valid-free)	.44	36	4.1	1	error (1)	.49	41	3.9	0	error (1)	.45	40	3.8	0	false(valid-free)	3.1	250	24	1	false(valid-deref)	.54	28	8.5	-16	false(valid-free)	.32	28	3.3	0	false(valid-free)	.38	28	3.2	0	unknown	.067	10	.44	0	false(valid-free)	.51	13	6.4	1	false(valid-free)	.16	22	1.6	1	false(valid-free)	.25	11	2.9	1	false(valid-free)	7.0	310	62	1	false(valid-free)	29	830	340	0	false(valid-free)	10	540	80	0
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i	witness invalid (false(valid-memtrack))	.23	26	1.7	0	false(unreach-call)	.46	36	4.2	0	error (1)	.46	40	4.6	0	error (1)	.45	40	4.1	0	false(valid-memtrack)	3.0	250	26	1	false(valid-memtrack)	.52	28	7.6	0	false(valid-memtrack)	.27	28	3.0	0	false(valid-memtrack)	.27	28	2.9	0	false(valid-memtrack)	.078	11	.58	0	false(valid-memtrack)	.54	12	6.4	0	false(valid-memtrack)	.13	23	5.1	1	false(valid-memtrack)	.26	15	3.7	1	unknown	150	920	2100	0	unknown	470	1900	7200	0	unknown	140	910	1800	0
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i	witness invalid (false(valid-memtrack))	.20	26	1.3	0	false(unreach-call)	.47	36	3.7	0	error (1)	.47	41	4.5	0	error (1)	.43	40	4.0	0	false(valid-memtrack)	3.0	260	29	1	false(valid-memtrack)	.45	28	5.9	1	false(valid-memtrack)	.084	27	.99	0	false(valid-memtrack)	.10	27	.88	0	unknown	.050	10	.49	0	false(valid-memtrack)	.50	13	6.0	1	false(valid-memtrack)	.15	23	1.9	0	false(valid-memtrack)	.24	11	2.3	1	unknown	11	350	100	0	unknown	29	670	290	0	unknown	14	360	110	0
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i	witness invalid (false(valid-memtrack))	.28	28	2.8	0	false(unreach-call)	.51	36	4.4	0	error (1)	.50	43	4.9	0	error (1)	.45	38	3.9	0	false(valid-memtrack)	5.5	300	43	1	false(valid-memtrack)	.57	28	7.1	0	false(valid-memtrack)	.19	28	1.3	0	false(valid-memtrack)	.64	29	5.3	0	unknown	.077	10	.47	0	false(valid-memtrack)	.66	13	8.9	1	false(valid-memtrack)	.16	23	1.9	1	false(valid-memtrack)	.28	14	3.2	1	unknown	56	700	590	0	unknown	550	1800	6800	0	unknown	110	3400	1100	0
list-ext-properties/960521-1_1_true-valid-memsafety.i	error (134)	.17	26	1.6	0	true	35	1200	400	2	error (1)	.47	40	4.6	0	error (1)	.45	39	4.4	0	true	9.4	570	73	2	unknown	890	110	11000	0	true	5.9	38	72	2	true	6.2	39	75	2	unknown	.051	10	.67	0	true	14	15	170	2	true	.95	34	11	2	true	.31	12	3.8	2	timeout	900	1200	11000	0	timeout	900	1800	9100	0	timeout	900	1000	13000	0
list-ext-properties/list-ext_1_true-valid-memsafety.i	error (5)	.80	38	10	0	true	110	290	1100	2	error (1)	.48	41	4.3	0	error (1)	.44	40	4.2	0	true	30	1800	190	2	unknown	890	210	9700	0	true	170	210	2500	2	true	200	210	2400	2	unknown	.10	12	.85	0	true	200	22	3100	2	true	3.0	57	31	2	true	.81	14	10	2	error (7)	300	810	3400	0	timeout	900	1500	14000	0	timeout	900	2700	10000	0
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i	error (5)	.46	32	4.5	0	true	48	140	620	2	error (1)	.47	40	4.3	0	error (1)	.45	40	3.6	0	timeout	900	7400	6300	0	unknown	890	200	8300	0	true	54	110	690	2	true	60	110	810	2	unknown	.052	10	.55	0	unknown	900	1600	6500	0	timeout	900	480	6000	0	timeout (timeout)	900	3200	6700	0	timeout	900	2300	12000	0	timeout	900	2400	12000	0	timeout	900	4600	11000	0
list-ext-properties/simple-ext_1_true-valid-memsafety.i	error (5)	.38	30	3.8	0	true	52	270	650	2	error (1)	.47	40	4.2	0	error (1)	.46	40	4.7	0	true	20	910	140	2	unknown	890	190	8700	0	true	240	190	2600	2	true	230	190	2400	2	unknown	.088	11	.75	0	true	73	16	940	2	true	310	2000	2700	2	true	.48	12	6.7	2	error (7)	400	920	4000	0	timeout	900	4400	14000	0	timeout	900	3400	11000	0
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i	true	.20	26	2.0	2	true	.84	36	11	2	error (1)	.51	44	4.4	0	error (1)	.43	38	3.9	0	true	3.1	280	27	2	true	.87	28	12	2	true	.14	27	1.3	2	true	.12	27	1.4	2	true	.092	12	.67	2	true	.57	14	6.7	2	true	.15	23	1.8	2	true	.26	15	3.2	2	true	120	900	1300	2	true	170	1700	2000	2	true	170	920	2000	2
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i	true	.18	26	1.8	2	true	.83	36	7.3	2	error (1)	.44	41	4.4	0	error (1)	.47	40	4.3	0	true	3.2	280	30	2	true	1.1	28	14	2	true	.15	27	1.7	2	true	.18	27	1.9	2	unknown	.048	10	.54	0	true	.52	13	6.1	2	true	.11	22	1.8	2	true	.23	11	2.4	2	true	14	380	110	2	timeout	900	3100	11000	0	true	10	570	81	2
list-ext-properties/test-0214_1_true-valid-memsafety.i	error (134)	.19	27	1.9	0	true	610	480	5700	2	error (1)	.47	41	4.6	0	error (1)	.44	40	4.4	0	error (parsing failed)	2.0	160	17	0	unknown	890	860	6900	0	timeout	900	3900	12000	0	timeout	900	4700	11000	0	unknown	.053	11	.60	0	unknown	900	180	11000	0	true	12	530	150	2	timeout (timeout)	900	270	8000	0	error (7)	860	1300	10000	0	timeout	900	1500	12000	0	timeout	900	1300	12000	0
list-ext-properties/test-0217_1_true-valid-memsafety.i	error (134)	.21	27	1.7	0	true	510	400	3900	2	error (1)	.47	40	3.9	0	error (1)	.43	40	3.8	0	error (parsing failed)	1.9	170	15	0	unknown	890	1100	6300	0	timeout	900	2800	10000	0	timeout	900	2900	9800	0	unknown	.074	11	.43	0	unknown	890	150	12000	0	true	4.0	120	44	2	timeout (timeout)	900	250	7300	0	timeout	900	1400	14000	0	timeout	900	1600	14000	0	timeout	900	5000	11000	0
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i	error (5)	.40	31	3.9	0	true	9.1	62	120	2	error (1)	.48	41	4.5	0	error (1)	.45	40	4.8	0	true	7.8	490	64	2	true	210	160	2200	2	true	120	250	1400	2	true	100	240	1100	2	unknown	.050	10	.47	0	true	37	15	500	2	true	1.6	24	20	2	true	.32	15	3.5	2	error (7)	270	830	3300	0	timeout	900	1700	12000	0	timeout	900	3300	12000	0
list-ext-properties/test-0504_1_true-valid-memsafety.i	error (134)	.21	26	1.8	0	true	5.6	80	78	2	error (1)	.48	41	4.4	0	error (1)	.46	40	3.7	0	timeout	910	5800	4900	0	unknown	890	440	8800	0	true	230	190	3000	2	true	160	160	1900	2	unknown	.069	10	.58	0	unknown	900	190	11000	0	timeout	900	6100	5100	0	true	5.5	44	70	2	timeout	900	1200	10000	0	timeout	900	2300	11000	0	error (7)	370	1100	4000	0
list-ext-properties/test-0513_1_true-valid-memsafety.i	error (5)	.37	32	3.9	0	true	11	290	130	2	error (1)	.50	41	3.9	0	error (1)	.44	40	4.4	0	true	4.0	270	31	2	unknown	890	2600	10000	0	true	17	210	200	2	true	12	170	150	2	true	40	960	500	2	true	7.8	15	94	2	true	.23	25	2.9	2	true	.30	13	3.5	2	timeout	900	860	11000	0	timeout	900	2200	12000	0	timeout	900	1800	12000	0
memory-alloca/c.03-alloca_true-valid-memsafety.i	true	.20	26	1.7	2	error (42)	870	1800	4900	0	error (1)	.47	40	4.1	0	error (1)	.44	40	3.7	0	timeout (exception)	900	920	13000	0	unknown	160	70	1900	0	timeout	900	680	11000	0	timeout	900	650	10000	0	unknown	.068	12	.50	0	unknown	900	58	11000	0	true	1.2	43	16	2	timeout (timeout)	900	72	13000	0	true	9.5	530	73	2	timeout	900	2000	12000	0	true	12	530	95	2
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c	error (134)	.086	24	.82	0	false(valid-deref)	.25	33	2.2	1	error (1)	.50	42	4.7	0	error (1)	.44	40	4.5	0	false(valid-deref)	2.6	250	23	1	false(valid-deref)	.40	28	4.8	0	false(valid-deref)	.19	29	1.8	1	false(valid-deref)	.19	29	1.9	1	unknown	.052	10	.53	0	false(valid-deref)	.87	12	11	1	false(valid-deref)	.13	23	2.0	1	false(valid-deref)	.24	11	2.6	1	false(valid-deref)	5.7	280	49	1	false(valid-deref)	6.8	430	59	0	false(valid-deref)	6.1	290	49	0
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c	error (134)	.088	22	.67	0	false(valid-deref)	.27	33	2.1	1	error (1)	.49	41	4.6	0	error (1)	.46	42	3.8	0	false(valid-deref)	2.4	250	20	1	unknown	.35	27	3.7	0	false(valid-deref)	.087	28	.87	1	false(valid-deref)	.17	29	1.7	1	unknown	.076	10	.46	0	false(valid-deref)	.80	12	10	1	false(valid-deref)	.13	23	1.9	1	false(valid-deref)	.23	11	2.7	1	false(valid-deref)	6.4	300	53	1	false(valid-deref)	7.4	460	67	1	false(valid-deref)	6.7	330	54	1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c	false(valid-deref)	.22	36	1.9	1	false(valid-deref)	.26	33	2.1	1	error (1)	.49	41	4.7	0	error (1)	.46	41	4.2	0	false(valid-deref)	2.4	250	24	1	unknown	.37	27	4.1	0	false(valid-deref)	.091	28	1.0	1	false(valid-deref)	.11	28	.65	1	unknown	.049	10	.48	0	false(valid-deref)	.62	12	9.4	1	false(valid-deref)	.13	22	1.8	1	false(valid-deref)	.24	11	2.6	1	false(valid-deref)	4.9	280	41	1	false(valid-deref)	4.7	260	40	1	false(valid-deref)	5.0	290	46	1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c	false(valid-deref)	.22	37	1.9	1	false(valid-deref)	.27	33	2.0	1	error (1)	.50	43	4.2	0	error (1)	.45	41	3.8	0	false(valid-deref)	2.4	250	20	1	unknown	.36	27	3.5	0	false(valid-deref)	.081	28	.82	1	false(valid-deref)	.077	28	.99	1	unknown	.072	10	.57	0	false(valid-deref)	.63	12	8.6	1	false(valid-deref)	.16	22	2.0	1	false(valid-deref)	.23	11	2.6	1	false(valid-deref)	5.1	290	40	1	false(valid-deref)	4.9	260	41	1	false(valid-deref)	5.0	280	41	1
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c	false(valid-deref)	37	1700	280	1	false(valid-deref)	3.6	34	42	0	error (1)	.49	42	4.1	0	error (1)	.45	40	4.1	0	false(valid-deref)	8.7	410	65	1	false(valid-deref)	590	570	6000	0	false(valid-deref)	2.6	41	31	1	false(valid-deref)	2.8	44	40	1	unknown	.047	10	.48	0	false(valid-deref)	1.3	12	16	1	false(valid-deref)	1.6	38	17	1	false(valid-deref)	.23	11	2.6	1	timeout	900	5400	10000	0	timeout	900	5500	13000	0	timeout	900	3300	10000	0
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c	false(valid-deref)	73	1600	450	1	false(valid-deref)	3.6	34	35	1	error (1)	.47	41	4.4	0	error (1)	.45	40	4.2	0	false(valid-deref)	10	510	61	1	unknown	640	570	7200	0	false(valid-deref)	2.5	43	35	1	false(valid-deref)	2.8	45	40	1	unknown	.073	9.9	.56	0	false(valid-deref)	1.4	12	18	1	false(valid-deref)	3.8	53	38	1	false(valid-deref)	.25	11	2.7	1	false(valid-deref)	730	5500	9200	1	timeout	900	5500	11000	0	timeout	900	4100	11000	0
ldv-memsafety/memset2_false-valid-deref-write.c	error (134)	.17	24	1.5	0	witness invalid (false(valid-deref))	.45	34	4.0	0	error (1)	.47	40	4.8	0	error (1)	.45	40	3.9	0	false(valid-deref)	2.3	240	22	1	unknown	75	29	1100	0	false(valid-deref)	1.5	42	18	1	false(valid-deref)	1.6	44	20	1	false(valid-deref)	.049	9.9	.49	1	false(valid-deref)	.35	11	4.5	1	false(valid-deref)	.15	21	1.7	1	false(valid-deref)	.21	11	2.8	1	false(valid-deref)	4.8	280	35	1	false(valid-deref)	4.5	260	41	1	false(valid-deref)	4.6	290	42	1
ldv-memsafety/memset3_false-valid-deref-write.c	error (134)	.17	24	1.3	0	witness invalid (false(valid-deref))	.41	34	4.6	0	error (1)	.48	40	4.9	0	error (1)	.45	40	4.4	0	false(valid-deref)	2.7	270	23	1	unknown	270	38	3100	0	false(valid-deref)	18	340	260	1	false(valid-deref)	18	350	230	1	unknown	.075	9.9	.49	0	false(valid-deref)	.38	11	3.8	1	false(valid-deref)	.15	22	1.9	1	false(valid-deref)	.21	11	2.6	1	false(valid-deref)	4.7	290	43	1	false(valid-deref)	4.5	250	42	1	false(valid-deref)	4.6	270	35	1
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c	error (134)	.18	24	1.2	0	witness invalid (false(valid-deref))	.46	34	4.0	0	error (1)	.49	41	3.8	0	error (1)	.46	40	4.2	0	false(valid-deref)	2.3	250	21	1	unknown	75	29	920	0	false(valid-deref)	1.5	42	21	1	false(valid-deref)	1.6	44	23	1	false(valid-deref)	.051	9.9	.52	1	false(valid-deref)	.33	11	4.7	1	false(valid-deref)	.13	19	1.7	1	false(valid-deref)	.22	11	2.5	1	false(valid-deref)	4.4	280	38	1	false(valid-deref)	4.6	250	38	1	false(valid-deref)	4.9	280	38	1
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c	error (134)	.18	24	1.2	0	witness invalid (false(valid-deref))	.43	34	4.3	0	error (1)	.49	41	3.9	0	error (1)	.43	41	3.9	0	false(valid-deref)	2.4	250	25	1	unknown	270	38	4100	0	false(valid-deref)	18	340	190	1	false(valid-deref)	18	350	260	1	unknown	.074	9.9	.44	0	false(valid-deref)	.38	11	4.1	1	false(valid-deref)	.14	22	1.7	1	false(valid-deref)	.21	11	2.7	1	false(valid-deref)	4.7	280	43	1	false(valid-deref)	4.8	250	38	1	false(valid-deref)	4.8	280	39	1
ldv-memsafety/memsetNonZero_false-valid-deref-write.c	error (134)	.19	24	1.5	0	witness invalid (false(valid-deref))	.43	34	4.6	0	error (1)	.48	41	4.4	0	error (1)	.45	38	3.8	0	false(valid-deref)	2.4	240	22	1	unknown	270	38	3800	0	false(valid-deref)	18	340	200	1	false(valid-deref)	18	350	260	1	false(valid-deref)	.048	9.9	.49	1	false(valid-deref)	.32	11	4.2	1	false(valid-deref)	.15	21	1.8	1	false(valid-deref)	.23	11	2.6	1	false(valid-deref)	4.7	280	43	1	false(valid-deref)	4.6	260	33	1	false(valid-deref)	4.6	280	41	1
ldv-memsafety/memset_false-valid-deref-write.c	error (134)	.19	25	1.2	0	witness invalid (false(valid-deref))	.42	34	4.3	0	error (1)	.47	42	4.5	0	error (1)	.43	40	3.6	0	false(valid-deref)	2.4	250	21	1	unknown	270	38	3200	0	false(valid-deref)	18	340	250	1	false(valid-deref)	18	350	220	1	false(valid-deref)	.074	9.9	.46	1	false(valid-deref)	.34	11	4.2	1	false(valid-deref)	.11	23	1.9	1	false(valid-deref)	.21	11	2.9	1	false(valid-deref)	4.7	280	40	1	false(valid-deref)	4.4	260	33	1	false(valid-deref)	4.8	290	41	1
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c	error (134)	.12	22	.65	0	error (42)	870	5300	5400	0	error (1)	.47	41	3.9	0	error (1)	.45	40	4.2	0	true	77	4800	580	2	unknown	900	1800	9100	0	timeout	900	2400	11000	0	timeout	900	2800	11000	0	unknown	.074	10	.43	0	unknown	890	14	13000	0	true	830	1800	9900	2	true	.58	13	7.2	2	timeout	900	5100	12000	0	timeout	900	2200	14000	0	timeout	900	4900	13000	0
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c	true	.30	36	3.0	2	true	3.9	34	43	2	error (1)	.48	41	4.4	0	error (1)	.44	40	4.1	0	true	12	830	99	2	unknown	900	620	6900	0	true	1.1	29	14	2	true	1.1	29	17	2	unknown	.047	9.9	.54	0	true	1.7	11	21	2	true	2.0	74	20	2	true	.24	11	3.0	2	true	8.6	470	65	2	timeout	900	5500	12000	0	true	15	740	130	2
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c	true	.91	35	10	2	true	4.1	33	59	2	error (1)	.49	43	4.5	0	error (1)	.47	40	4.1	0	true	8.0	490	58	2	true	690	580	5400	2	true	2.5	41	34	2	true	2.7	42	41	2	unknown	.067	9.9	.49	0	true	1.5	11	20	2	true	3.3	47	33	2	true	.25	11	2.9	2	true	9.6	530	73	2	timeout	900	5500	13000	0	true	21	840	170	2
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c	true	.32	37	2.9	2	true	3.9	35	42	2	error (1)	.47	40	4.1	0	error (1)	.42	40	3.7	0	true	12	830	95	2	unknown	900	680	9800	0	true	1.1	29	15	2	true	1.1	30	17	2	unknown	.050	10	.49	0	true	1.7	12	21	2	true	2.0	73	21	2	true	.25	11	2.8	2	true	8.4	470	67	2	timeout	900	5500	13000	0	true	20	1000	160	2
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c	true	4.2	63	46	2	true	13	80	160	2	error (1)	.48	40	4.9	0	error (1)	.47	40	4.0	0	true	36	4100	320	2	unknown	900	640	8800	0	true	80	820	960	2	true	83	840	920	2	unknown	.065	10	.53	0	true	13	12	180	2	true	170	690	2200	2	true	.44	12	5.4	2	true	10	520	85	2	timeout	900	5300	12000	0	true	43	1800	380	2
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c	true	.88	35	12	2	true	3.7	35	38	2	error (1)	.46	40	4.1	0	error (1)	.43	40	4.3	0	true	6.5	440	50	2	true	680	570	8400	2	true	2.7	43	36	2	true	3.0	45	39	2	unknown	.050	9.9	.49	0	true	1.4	11	16	2	true	3.6	50	36	2	true	.23	11	2.6	2	true	8.6	460	76	2	timeout	900	5400	13000	0	true	17	830	130	2
ldv-memsafety/StructInitialization1_true-valid-memsafety.c	true	.13	23	.74	2	true	.44	33	3.9	2	error (1)	.49	40	4.0	0	error (1)	.45	40	4.3	0	true	2.4	250	22	2	true	3.9	250	37	2	true	.10	29	1.0	2	true	.11	29	1.3	2	unknown	.049	9.9	.46	0	true	.34	11	4.9	2	true	.13	23	1.7	2	true	.22	11	2.6	2	error (7)	3.6	220	32	0	error (7)	3.5	220	30	0	error (7)	3.6	220	26	0
ldv-memsafety/StructInitialization2_true-valid-memsafety.c	true	.11	22	.76	2	true	.44	33	3.4	2	error (1)	.49	43	4.3	0	error (1)	.42	40	3.6	0	true	2.5	250	23	2	true	3.8	250	42	2	true	.11	29	1.3	2	true	.10	29	1.2	2	unknown	.050	9.9	.47	0	true	.35	11	4.4	2	true	.10	21	1.8	2	true	.22	11	2.3	2	error (7)	3.6	220	32	0	error (7)	4.1	230	29	0	error (7)	3.5	230	29	0
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c	true	.11	22	.81	2	true	.44	33	4.1	2	error (1)	.48	41	4.1	0	error (1)	.48	40	4.4	0	true	2.4	240	21	2	true	3.2	230	30	2	true	.12	26	.87	2	true	.082	26	.95	2	true	.060	12	.63	2	true	.31	11	3.3	2	true	.094	21	1.8	2	true	.20	11	2.3	2	true	3.9	230	32	2	true	4.1	240	34	2	true	3.8	230	32	2
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c	error (134)	.16	24	1.6	0	true	.81	35	8.9	2	error (1)	.49	40	4.3	0	error (1)	.41	40	4.1	0	true	2.4	250	21	2	true	41	250	610	2	true	1.6	43	18	2	true	1.7	44	25	2	true	.087	12	.61	2	true	.34	11	3.5	2	true	.11	21	1.6	2	true	.23	11	2.6	2	true	6.3	310	50	2	true	29	880	280	2	true	7.0	350	57	2
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c	error (134)	.18	24	1.6	0	true	.80	34	7.4	2	error (1)	.51	42	4.2	0	error (1)	.45	40	4.1	0	true	2.4	240	21	2	true	230	250	2800	2	true	18	350	230	2	true	19	360	220	2	unknown	.074	9.8	.45	0	true	.34	11	4.2	2	true	.11	22	1.7	2	true	.21	11	2.8	2	true	6.4	300	55	2	true	63	1700	750	2	true	7.0	350	54	2
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c	error (134)	.18	24	1.5	0	true	.82	35	7.5	2	error (1)	.45	41	4.3	0	error (1)	.42	41	3.9	0	true	2.3	240	20	2	true	40	230	540	2	true	1.6	43	18	2	true	1.7	44	24	2	unknown	.048	9.9	.50	0	true	.34	11	3.6	2	true	.14	21	1.7	2	true	.23	11	2.6	2	true	6.3	300	51	2	true	27	870	320	2	true	6.8	360	57	2
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c	error (134)	.19	24	1.2	0	true	.85	34	7.5	2	error (1)	.49	40	4.3	0	error (1)	.47	40	3.9	0	true	2.3	240	21	2	true	230	250	2900	2	true	18	350	270	2	true	19	360	290	2	unknown	.065	9.9	.53	0	true	.36	11	4.7	2	true	.14	22	1.7	2	true	.23	11	2.4	2	true	6.2	310	51	2	true	62	1600	690	2	true	6.8	360	52	2
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c	error (134)	.19	24	1.4	0	true	.84	34	7.6	2	error (1)	.47	40	4.1	0	error (1)	.46	40	4.4	0	true	2.4	240	23	2	true	230	250	3000	2	true	18	350	270	2	true	19	360	260	2	unknown	.075	9.9	.43	0	true	.35	11	3.7	2	true	.10	21	1.7	2	true	.22	11	2.3	2	true	6.5	300	56	2	true	63	1700	730	2	true	6.7	360	55	2
ldv-memsafety/memset_true-valid-memsafety_true-termination.c	error (134)	.15	24	1.3	0	true	.81	34	6.5	2	error (1)	.47	40	4.1	0	error (1)	.47	40	3.7	0	true	2.3	240	21	2	true	230	240	2500	2	true	18	350	230	2	true	19	360	280	2	true	.085	12	.61	2	true	.32	11	3.7	2	true	.099	22	1.6	2	true	.21	11	2.4	2	true	6.3	300	55	2	true	62	1600	840	2	true	6.7	350	57	2
ldv-memsafety/memleaks_test14_3_false-valid-deref.i	error (134)	.20	27	1.8	0	false(valid-deref)	.53	37	6.5	0	error (1)	.50	45	4.8	0	error (1)	.43	40	3.7	0	false(valid-deref)	3.6	270	33	1	false(valid-deref)	.81	35	11	0	false(valid-deref)	.91	29	10	0	false(valid-deref)	1.5	34	15	0	unknown	.074	11	.55	0	false(valid-deref)	5.0	17	77	1	false(valid-deref)	.18	27	2.4	1	false(valid-deref)	.53	56	7.0	1	false(valid-deref)	34	860	310	0	false(valid-deref)	300	1400	4500	0	false(valid-deref)	40	1000	360	0
ldv-memsafety/memleaks_test22_3_false-valid-deref.i	error (134)	.20	27	1.6	0	false(valid-deref)	.55	37	4.8	0	error (1)	.49	43	4.2	0	error (1)	.46	40	4.4	0	false(valid-deref)	3.7	270	31	1	false(valid-deref)	34	36	400	0	false(valid-deref)	2.0	30	23	0	false(valid-deref)	2.1	30	17	0	unknown	.077	11	.52	0	false(valid-deref)	4.7	17	63	1	false(valid-deref)	.21	27	2.4	1	false(valid-deref)	.64	77	7.4	1	timeout	900	3300	8700	0	false(valid-deref)	340	1400	5700	0	timeout	900	3300	10000	0
ldv-memsafety/memleaks_test22_5_false-valid-deref.i	error (134)	.19	28	1.7	0	false(valid-deref)	.54	37	5.5	0	error (1)	.46	41	4.5	0	error (1)	.42	40	4.3	0	false(valid-deref)	3.7	260	30	1	false(valid-deref)	34	35	450	0	false(valid-deref)	1.9	30	22	0	false(valid-deref)	2.1	30	20	0	unknown	.094	11	.48	0	false(valid-deref)	4.8	17	65	1	false(valid-deref)	.23	32	2.4	1	false(valid-deref)	.66	82	9.1	1	timeout	900	3100	8800	0	false(valid-deref)	340	1600	4300	0	timeout	900	2500	8400	0
ldv-memsafety/memleaks_test23_2_false-valid-deref.i	error (134)	.27	28	2.6	0	false(valid-deref)	11	220	160	0	error (1)	.49	40	4.2	0	error (1)	.48	41	4.6	0	false(valid-deref)	4.0	270	38	1	false(valid-deref)	540	350	6200	0	timeout	900	2200	8500	0	timeout	900	2600	8900	0	unknown	.091	12	.72	0	false(valid-deref)	21	54	300	0	unknown	.19	30	2.5	0	false(valid-deref)	1.5	210	18	1	false(valid-deref)	310	1200	3200	0	timeout	900	1600	14000	0	timeout	900	1300	11000	0
ldv-memsafety/memleaks_test23_4_false-valid-deref.i	error (134)	.27	28	2.6	0	false(valid-deref)	11	220	110	0	error (1)	.51	45	4.9	0	error (1)	.42	40	4.0	0	false(valid-deref)	4.1	290	38	1	false(valid-deref)	590	320	6600	0	timeout	900	2100	8800	0	timeout	900	2600	10000	0	unknown	.063	11	.78	0	false(valid-deref)	19	61	250	0	unknown	.20	29	2.3	0	false(valid-deref)	1.4	200	19	1	false(valid-deref)	97	1200	1100	0	timeout	900	1400	14000	0	timeout	900	1400	11000	0
ldv-memsafety/memleaks_test11_1_false-valid-free.i	error (134)	.25	27	1.7	0	false(valid-free)	.56	37	4.9	0	error (1)	.49	40	4.4	0	error (1)	.42	40	4.1	0	false(valid-free)	3.6	260	30	1	false(valid-deref)	1.6	35	23	-16	false(valid-free)	1.6	33	14	0	false(valid-free)	1.6	33	14	0	unknown	.062	11	.53	0	false(valid-free)	12	22	160	1	false(valid-free)	.23	28	2.2	0	false(valid-free)	.58	57	6.6	1	false(valid-free)	650	880	8600	1	false(valid-free)	190	1300	2300	0	false(valid-free)	350	810	4400	0
ldv-memsafety/memleaks_test12_false-valid-free.i	error (134)	.39	28	3.7	0	error (6)	.67	38	6.9	0	error (1)	.48	43	4.2	0	error (1)	.43	40	4.3	0	false(valid-free)	4.6	290	37	1	unknown	260	210	3200	0	unknown	2.8	59	36	0	unknown	15	180	180	0	unknown	.064	12	.87	0	false(valid-free)	43	33	590	1	false(valid-free)	.26	30	3.0	0	false(valid-free)	2.3	360	28	1	timeout	900	1400	9000	0	timeout	900	1500	12000	0	timeout	900	1100	13000	0
ldv-memsafety/memleaks_test17_2_false-valid-free.i	error (134)	.19	27	1.7	0	false(valid-free)	3.2	65	33	0	error (1)	.50	40	4.2	0	error (1)	.45	40	4.3	0	false(valid-free)	4.3	280	34	1	unknown	890	320	12000	0	false(valid-free)	12	120	120	0	false(valid-free)	15	120	160	0	unknown	.063	11	.65	0	false(valid-free)	5.3	19	65	1	false(valid-free)	.55	30	5.5	1	false(valid-free)	.50	39	6.3	1	timeout	900	2400	11000	0	timeout	900	2700	12000	0	false(valid-free)	350	1100	4000	0
ldv-memsafety/memleaks_test19_false-valid-free.i	false(valid-free)	.21	27	2.2	1	false(valid-free)	.54	37	5.1	0	error (1)	.46	41	4.3	0	error (1)	.45	40	4.1	0	false(valid-free)	3.6	270	32	1	false(valid-deref)	.73	30	9.2	-16	false(valid-free)	.24	29	2.7	1	false(valid-free)	.29	30	2.4	1	unknown	.079	11	.73	0	false(valid-free)	9.1	18	130	1	false(valid-free)	.18	28	2.2	1	false(valid-free)	.52	41	6.0	1	false(valid-free)	130	990	1500	1	false(valid-free)	520	1300	6200	1	false(valid-free)	430	880	5200	1
ldv-memsafety/memleaks_test1_false-valid-free.i	false(valid-free)	.19	27	1.8	1	false(valid-free)	.50	37	4.0	0	error (1)	.48	41	3.9	0	error (1)	.45	40	3.7	0	false(valid-free)	3.5	260	28	1	false(valid-deref)	.54	30	5.9	-16	false(valid-free)	.13	29	1.5	1	false(valid-free)	.12	29	1.5	1	unknown	.059	11	.60	0	false(valid-free)	3.9	17	47	1	false(valid-free)	.21	26	2.4	1	false(valid-free)	.36	18	5.3	1	false(valid-free)	5.9	290	45	1	false(valid-free)	6.9	340	63	0	false(valid-free)	5.9	290	44	0
ldv-memsafety/memleaks_test3_false-valid-free.i	false(valid-free)	.21	27	2.0	1	false(valid-free)	.49	37	4.2	1	error (1)	.47	40	4.7	0	error (1)	.45	40	4.1	0	false(valid-free)	3.6	290	34	1	false(valid-deref)	.41	30	4.3	-16	false(valid-free)	.13	29	1.5	1	false(valid-free)	.15	29	1.3	1	unknown	.059	11	.66	0	unknown	.064	12	.63	0	false(valid-free)	.23	27	2.1	1	false(valid-free)	.34	12	4.3	1	false(valid-free)	4.4	250	38	1	false(valid-free)	4.7	250	37	1	false(valid-free)	4.7	270	38	1
ldv-memsafety/memleaks_test6_2_false-valid-free.i	false(valid-free)	.20	27	2.1	1	false(valid-free)	.49	37	5.4	0	error (1)	.49	41	4.9	0	error (1)	.41	40	3.9	0	false(valid-free)	3.9	290	36	1	false(valid-deref)	.57	30	6.5	-16	false(valid-free)	.33	29	2.9	1	false(valid-free)	.30	29	3.3	1	unknown	.061	11	.63	0	false(valid-free)	7.7	18	110	0	false(valid-free)	.20	27	2.5	1	false(valid-free)	.46	31	5.0	1	false(valid-free)	12	540	110	1	false(valid-free)	48	1000	590	1	false(valid-free)	16	700	140	1
ldv-memsafety/memleaks_test8_2_false-valid-free.i	false(valid-free)	.22	27	1.5	1	false(valid-free)	.47	37	5.3	0	error (1)	.46	41	4.2	0	error (1)	.46	40	4.2	0	false(valid-free)	3.3	260	28	1	false(valid-deref)	.55	30	6.5	-16	false(valid-free)	.13	29	1.3	1	false(valid-free)	.18	29	1.3	1	unknown	.061	11	.62	0	false(valid-free)	4.0	16	54	1	false(valid-free)	.22	27	2.1	1	false(valid-free)	.37	19	4.6	1	false(valid-free)	6.0	290	52	1	false(valid-free)	7.6	470	70	1	false(valid-free)	6.1	290	46	1
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.24	28	2.3	0	false(unreach-call)	.53	37	6.8	0	error (1)	.51	42	4.6	0	error (1)	.41	40	4.2	0	false(valid-memtrack)	3.6	270	35	1	false(valid-deref)	.88	30	9.5	-16	false(valid-memtrack)	.68	32	8.2	0	false(valid-memtrack)	.78	32	7.4	0	unknown	.088	11	.62	0	false(valid-memtrack)	10	18	140	1	false(valid-memtrack)	.22	27	2.1	1	false(valid-memtrack)	.44	27	6.0	1	timeout	900	880	13000	0	error (7)	430	1300	5000	0	timeout	900	910	13000	0
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i	error (134)	.20	27	1.8	0	false(unreach-call)	.55	37	5.6	0	error (1)	.48	41	4.4	0	error (1)	.45	40	4.6	0	false(valid-memtrack)	3.6	260	32	1	false(valid-deref)	1.2	32	16	-16	false(valid-memtrack)	1.3	33	11	0	false(valid-memtrack)	1.1	32	17	0	unknown	.067	11	.52	0	false(valid-memtrack)	13	19	150	1	false(valid-memtrack)	.20	28	2.3	0	false(valid-memtrack)	.60	55	6.1	1	timeout	900	860	13000	0	error (7)	390	1300	5100	0	unknown	630	830	7300	0
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.22	27	1.6	0	false(unreach-call)	.49	37	4.5	0	error (1)	.49	40	4.3	0	error (1)	.42	40	4.0	0	false(valid-memtrack)	3.4	260	30	1	false(valid-memtrack)	.50	30	5.7	0	false(valid-memtrack)	.24	29	2.0	0	false(valid-memtrack)	.23	29	2.7	0	unknown	.061	11	.64	0	false(valid-memtrack)	4.2	16	50	1	false(valid-memtrack)	.18	27	2.6	1	false(valid-memtrack)	.40	19	5.2	1	unknown	29	680	280	0	error (7)	52	1000	620	0	unknown	38	740	380	0
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i	error (134)	.18	27	1.4	0	false(unreach-call)	.57	39	5.6	0	error (1)	.47	40	4.8	0	error (1)	.42	40	3.8	0	false(valid-memtrack)	3.5	270	36	1	false(valid-memtrack)	4.3	44	47	0	false(valid-memtrack)	2.3	37	22	0	false(valid-memtrack)	1.5	34	16	0	unknown	.060	11	.63	0	false(valid-memtrack)	5.0	17	59	1	false(valid-memtrack)	.21	28	2.2	1	false(valid-memtrack)	.44	30	5.0	1	unknown	230	1000	2800	0	error (7)	370	1300	4800	0	unknown	370	1400	4300	0
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.22	27	1.8	0	false(unreach-call)	.49	37	4.3	0	error (1)	.49	41	4.2	0	error (1)	.50	41	4.1	0	false(valid-memtrack)	3.4	260	32	1	false(valid-memtrack)	.48	30	6.5	0	false(valid-memtrack)	.23	29	2.1	0	false(valid-memtrack)	.26	29	2.3	0	unknown	.060	11	.71	0	false(valid-memtrack)	4.3	16	51	1	false(valid-memtrack)	.24	29	2.2	0	false(valid-memtrack)	.37	19	4.7	1	unknown	26	570	250	0	error (7)	36	820	430	0	unknown	30	640	260	0
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i	error (134)	.22	27	1.5	0	false(unreach-call)	.58	38	5.4	0	error (1)	.48	41	4.6	0	error (1)	.45	40	4.2	0	false(valid-memtrack)	3.8	270	32	1	false(valid-memtrack)	3.8	45	46	0	false(valid-memtrack)	2.1	37	19	0	false(valid-memtrack)	2.0	34	18	0	unknown	.086	11	.69	0	false(valid-memtrack)	5.2	18	63	1	false(valid-memtrack)	.20	28	2.3	1	false(valid-memtrack)	.45	31	5.2	1	unknown	190	1100	2000	0	error (7)	340	1400	4300	0	unknown	180	1100	2000	0
ldv-memsafety/memleaks_test15_false-valid-memtrack.i	error (134)	.29	28	2.9	0	false(unreach-call)	.54	37	5.7	0	error (1)	.50	41	4.7	0	error (1)	.42	40	3.8	0	false(valid-memtrack)	3.8	290	31	1	false(valid-memtrack)	78	82	1000	0	false(valid-memtrack)	2.0	34	20	0	false(valid-memtrack)	2.1	37	24	0	unknown	.071	11	.75	0	false(valid-memtrack)	9.7	19	120	1	false(valid-memtrack)	.20	28	2.3	0	false(valid-memtrack)	.78	100	8.8	1	timeout	900	990	12000	0	timeout	900	2300	14000	0	timeout	910	13000	3000	0
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.20	27	1.7	0	false(unreach-call)	.49	37	4.1	0	error (1)	.47	40	4.0	0	error (1)	.45	40	4.1	0	false(valid-memtrack)	3.6	290	35	1	false(valid-memtrack)	.50	30	5.7	0	false(valid-memtrack)	.22	29	2.0	0	false(valid-memtrack)	.24	29	2.1	0	unknown	.064	11	.61	0	false(valid-memtrack)	7.6	17	92	0	false(valid-memtrack)	.21	26	2.0	0	false(valid-memtrack)	.41	26	5.0	1	unknown	15	370	120	0	error (7)	10	290	87	0	unknown	14	330	100	0
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.19	27	1.4	0	false(unreach-call)	.47	37	4.5	0	error (1)	.50	42	4.8	0	error (1)	.47	40	4.0	0	false(valid-memtrack)	3.4	290	30	1	false(valid-memtrack)	.50	30	5.5	0	false(valid-memtrack)	.12	29	1.4	0	false(valid-memtrack)	.14	29	1.5	0	unknown	.077	11	.59	0	false(valid-memtrack)	5.8	16	68	1	false(valid-memtrack)	.22	27	2.1	1	false(valid-memtrack)	.37	14	5.4	1	unknown	10	290	84	0	error (7)	10	270	87	0	unknown	10	300	88	0
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i	error (134)	.20	27	1.5	0	false(unreach-call)	3.6	72	47	0	error (1)	.50	41	4.2	0	error (1)	.43	40	4.5	0	false(valid-memtrack)	4.2	270	36	1	unknown	890	260	10000	0	false(valid-memtrack)	14	120	210	0	false(valid-memtrack)	11	120	140	0	unknown	.067	11	.62	0	false(valid-memtrack)	5.3	19	76	1	false(valid-memtrack)	.26	29	2.9	1	false(valid-memtrack)	.51	41	5.9	1	timeout	900	2400	12000	0	timeout	900	1300	15000	0	timeout	900	1300	11000	0
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i	error (134)	.21	27	1.5	0	false(unreach-call)	3.4	65	35	0	error (1)	.49	41	4.3	0	error (1)	.41	40	4.5	0	false(valid-memtrack)	4.1	270	35	1	false(valid-memtrack)	370	180	4900	0	false(valid-memtrack)	12	82	140	0	false(valid-memtrack)	18	84	190	0	unknown	.077	11	.62	0	false(valid-memtrack)	20	19	240	1	false(valid-memtrack)	.22	28	2.8	1	false(valid-memtrack)	.48	35	5.2	1	error (7)	620	840	7200	0	timeout	900	1500	11000	0	timeout	900	1000	12000	0
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i	error (134)	.19	27	1.7	0	false(unreach-call)	.54	37	5.1	0	error (1)	.48	42	4.6	0	error (1)	.48	40	3.6	0	false(valid-memtrack)	4.0	270	33	1	false(valid-memtrack)	.52	30	6.2	0	false(valid-memtrack)	.20	29	2.3	0	false(valid-memtrack)	.35	31	4.4	0	unknown	.061	11	.51	0	false(valid-memtrack)	4.4	20	50	1	false(valid-memtrack)	.22	27	7.4	1	false(valid-memtrack)	.43	27	5.7	1	unknown	61	540	750	0	error (7)	14	510	110	0	unknown	51	830	540	0
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i	error (134)	.19	28	1.7	0	false(unreach-call)	3.0	53	32	0	error (1)	.48	41	4.6	0	error (1)	.41	38	3.4	0	false(valid-memtrack)	4.1	290	35	1	false(valid-memtrack)	600	160	7400	0	false(valid-memtrack)	37	85	480	0	false(valid-memtrack)	48	97	590	0	unknown	.077	11	.63	0	false(valid-memtrack)	20	22	230	1	false(valid-memtrack)	.24	28	2.8	1	false(valid-memtrack)	.45	28	4.8	1	timeout	900	1400	10000	0	timeout	900	1400	12000	0	timeout	900	1100	11000	0
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i	error (134)	.18	27	1.3	0	false(unreach-call)	2.4	38	33	0	error (1)	.46	41	4.7	0	error (1)	.44	40	4.3	0	false(valid-memtrack)	3.8	260	32	1	false(valid-memtrack)	10	36	140	0	false(valid-memtrack)	6.3	37	93	0	false(valid-memtrack)	13	37	160	0	unknown	.061	11	.85	0	false(valid-memtrack)	280	72	3300	1	false(valid-memtrack)	130	690	1100	1	false(valid-memtrack)	.73	20	12	1	timeout	900	1000	12000	0	timeout	900	4900	10000	0	timeout	900	1700	12000	0
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.20	27	1.4	0	false(unreach-call)	.50	37	4.0	0	error (1)	.46	40	4.5	0	error (1)	.45	40	3.9	0	false(valid-memtrack)	3.4	260	32	1	false(valid-memtrack)	.46	30	6.5	0	false(valid-memtrack)	.095	28	.93	0	false(valid-memtrack)	.12	28	1.0	0	unknown	.068	13	.74	0	false(valid-memtrack)	3.8	18	45	1	false(valid-memtrack)	.22	27	2.2	1	false(valid-memtrack)	.36	13	4.1	1	unknown	9.8	280	90	0	error (7)	9.3	260	78	0	unknown	9.0	260	75	0
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.19	27	1.8	0	false(unreach-call)	.47	37	4.5	0	error (1)	.49	41	4.3	0	error (1)	.42	40	4.1	0	false(valid-memtrack)	3.7	280	34	1	false(valid-memtrack)	.48	30	5.5	0	false(valid-memtrack)	.092	28	1.1	0	false(valid-memtrack)	.11	28	1.3	0	unknown	.085	11	.54	0	false(valid-memtrack)	4.2	16	53	1	false(valid-memtrack)	.18	27	2.5	1	false(valid-memtrack)	.37	14	4.7	1	unknown	11	320	89	0	error (7)	9.8	260	76	0	unknown	11	310	85	0
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.21	27	2.0	0	false(unreach-call)	.50	37	3.7	0	error (1)	.46	44	4.7	0	error (1)	.43	40	4.4	0	false(valid-memtrack)	3.4	260	29	1	false(valid-memtrack)	.49	30	5.5	0	false(valid-memtrack)	.12	28	.84	0	false(valid-memtrack)	.11	28	1.1	0	unknown	.088	12	.60	0	false(valid-memtrack)	4.0	16	50	1	false(valid-memtrack)	.21	27	2.2	1	false(valid-memtrack)	.36	13	4.7	1	unknown	9.9	280	89	0	error (7)	9.2	260	78	0	unknown	9.1	260	76	0
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i	error (134)	.19	27	1.6	0	false(unreach-call)	.54	37	6.0	0	error (1)	.48	40	4.1	0	error (1)	.45	40	4.1	0	false(valid-memtrack)	3.5	260	33	1	false(valid-memtrack)	30	34	430	0	false(valid-memtrack)	2.1	30	19	0	false(valid-memtrack)	1.8	30	24	0	unknown	.084	11	.59	0	false(valid-memtrack)	4.4	17	64	1	false(valid-memtrack)	.22	27	2.2	1	false(valid-memtrack)	.78	99	8.4	1	unknown	230	850	2700	0	error (7)	170	1300	2400	0	unknown	240	1500	3000	0
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i	error (134)	.18	27	1.6	0	false(unreach-call)	.55	37	5.1	0	error (1)	.49	40	4.2	0	error (1)	.43	40	4.2	0	false(valid-memtrack)	3.4	260	30	1	false(valid-memtrack)	16	30	170	0	false(valid-memtrack)	.54	29	7.8	0	false(valid-memtrack)	.59	29	7.7	0	unknown	.060	11	.61	0	false(valid-memtrack)	4.0	16	59	1	false(valid-memtrack)	.18	26	2.2	0	false(valid-memtrack)	.37	19	4.7	1	unknown	45	710	430	0	error (7)	42	870	460	0	unknown	210	880	2200	0
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i	error (134)	.18	28	2.0	0	false(unreach-call)	.53	38	5.1	0	error (1)	.48	40	4.2	0	error (1)	.47	40	4.1	0	false(valid-memtrack)	3.7	290	31	1	false(valid-memtrack)	30	34	380	0	false(valid-memtrack)	2.1	30	15	0	false(valid-memtrack)	2.0	30	22	0	unknown	.076	11	.50	0	false(valid-memtrack)	4.6	17	57	1	false(valid-memtrack)	.21	28	2.4	1	false(valid-memtrack)	.77	100	10	1	unknown	240	920	2800	0	error (7)	170	1300	2200	0	unknown	250	1400	3200	0
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.21	27	1.6	0	false(unreach-call)	.52	37	4.8	0	error (1)	.51	44	4.2	0	error (1)	.48	40	4.2	0	false(valid-memtrack)	3.5	260	32	1	false(valid-memtrack)	.53	30	6.4	0	false(valid-memtrack)	.19	29	2.3	0	false(valid-memtrack)	.23	29	1.9	0	unknown	.087	11	.61	0	false(valid-memtrack)	5.6	17	64	1	false(valid-memtrack)	.21	27	2.2	0	false(valid-memtrack)	.38	20	4.6	1	unknown	13	350	120	0	error (7)	12	330	97	0	unknown	13	300	110	0
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.20	27	1.5	0	false(unreach-call)	.47	37	4.4	0	error (1)	.47	40	4.5	0	error (1)	.43	40	3.6	0	false(valid-memtrack)	3.6	290	30	1	false(valid-memtrack)	.47	30	5.3	0	false(valid-memtrack)	.091	28	1.2	0	false(valid-memtrack)	.11	28	1.1	0	unknown	.072	11	.65	0	false(valid-memtrack)	3.9	16	52	1	false(valid-memtrack)	.18	27	2.3	1	false(valid-memtrack)	.34	13	4.1	1	unknown	10	290	80	0	error (7)	9.2	260	76	0	unknown	9.0	260	72	0
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.19	27	1.6	0	false(unreach-call)	.49	37	4.2	0	error (1)	.48	41	4.0	0	error (1)	.43	40	4.7	0	false(valid-memtrack)	3.3	260	28	1	false(valid-memtrack)	.46	30	6.1	0	false(valid-memtrack)	.090	28	1.2	0	false(valid-memtrack)	.11	28	1.0	0	unknown	.060	11	.69	0	false(valid-memtrack)	4.1	16	50	1	false(valid-memtrack)	.18	26	2.3	1	false(valid-memtrack)	.41	23	5.6	1	unknown	12	350	110	0	error (7)	9.8	270	77	0	unknown	12	320	100	0
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.21	27	1.6	0	false(unreach-call)	.54	37	4.9	0	error (1)	.49	41	4.5	0	error (1)	.43	40	4.1	0	false(valid-memtrack)	3.6	290	33	1	false(valid-memtrack)	.49	30	7.4	0	false(valid-memtrack)	.30	29	2.5	0	false(valid-memtrack)	.25	29	2.9	0	unknown	.061	11	.71	0	false(valid-memtrack)	7.8	17	90	0	false(valid-memtrack)	.17	28	2.7	0	false(valid-memtrack)	.44	31	4.9	1	unknown	39	550	370	0	error (7)	33	820	410	0	unknown	98	630	1200	0
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.23	27	1.5	0	false(unreach-call)	.49	38	5.0	0	error (1)	.47	40	4.1	0	error (1)	.54	40	4.2	0	false(valid-memtrack)	3.4	260	31	1	false(valid-memtrack)	.50	30	6.0	0	false(valid-memtrack)	.24	29	2.2	0	false(valid-memtrack)	.22	29	2.0	0	unknown	.063	11	.60	0	false(valid-memtrack)	7.6	17	110	0	false(valid-memtrack)	.18	27	2.5	0	false(valid-memtrack)	.43	25	5.6	1	unknown	80	550	970	0	error (7)	23	700	230	0	unknown	87	630	1200	0
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.18	27	1.9	0	false(unreach-call)	.51	37	4.3	0	error (1)	.48	40	4.5	0	error (1)	.44	40	3.9	0	false(valid-memtrack)	4.0	290	31	1	false(valid-memtrack)	.51	30	5.9	0	false(valid-memtrack)	.23	29	2.5	0	false(valid-memtrack)	.21	29	2.1	0	unknown	.083	11	.59	0	false(valid-memtrack)	8.0	17	110	0	false(valid-memtrack)	.20	28	2.3	0	false(valid-memtrack)	.47	29	5.5	1	unknown	20	560	180	0	error (7)	17	590	170	0	unknown	29	540	280	0
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.18	27	1.8	0	false(unreach-call)	.51	37	4.1	0	error (1)	.44	40	4.5	0	error (1)	.44	40	3.9	0	false(valid-memtrack)	3.4	290	33	1	false(valid-memtrack)	.49	30	5.8	0	false(valid-memtrack)	.091	28	.92	0	false(valid-memtrack)	.091	28	1.0	0	unknown	.081	11	.59	0	false(valid-memtrack)	4.0	16	53	1	false(valid-memtrack)	.20	30	2.2	1	false(valid-memtrack)	.37	13	4.7	1	unknown	10	300	77	0	error (7)	9.3	260	73	0	unknown	9.0	260	79	0
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.21	27	1.6	0	false(unreach-call)	.51	37	4.4	0	error (1)	.49	41	3.8	0	error (1)	.46	40	3.7	0	false(valid-memtrack)	3.7	290	27	1	false(valid-memtrack)	.49	30	6.2	0	false(valid-memtrack)	.12	28	.87	0	false(valid-memtrack)	.11	28	.88	0	unknown	.083	11	.65	0	false(valid-memtrack)	4.0	16	46	1	false(valid-memtrack)	.18	27	2.3	1	false(valid-memtrack)	.34	13	4.1	1	unknown	12	350	110	0	error (7)	9.8	270	81	0	unknown	12	310	87	0
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i	false(valid-memtrack)	.21	27	1.5	0	false(unreach-call)	.49	37	4.5	0	error (1)	.48	41	4.5	0	error (1)	.46	40	4.1	0	false(valid-memtrack)	3.6	300	31	1	false(valid-memtrack)	.49	30	6.1	0	false(valid-memtrack)	.089	28	.93	0	false(valid-memtrack)	.11	28	.90	0	unknown	.077	11	.70	0	false(valid-memtrack)	3.9	16	46	1	false(valid-memtrack)	.20	27	2.0	1	false(valid-memtrack)	.36	13	4.1	1	unknown	10	290	80	0	error (7)	9.6	260	86	0	unknown	9.3	260	76	0
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i	true	.27	29	2.6	2	true	1.1	38	11	2	error (1)	.48	41	4.1	0	error (1)	.45	40	4.0	0	true	3.6	270	29	2	false(valid-deref)	.86	31	11	-16	true	.87	31	11	2	true	.90	31	12	2	unknown	.077	11	.64	0	true	11	18	130	2	true	.17	27	2.3	2	true	.44	30	6.5	2	timeout	900	890	9300	0	timeout	900	1300	11000	0	timeout	900	1100	9600	0
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i	error (134)	.22	28	1.9	0	true	1.1	39	9.2	2	error (1)	.46	40	4.8	0	error (1)	.44	40	4.0	0	true	3.7	270	32	2	false(valid-deref)	1.3	34	16	-16	true	.86	32	11	2	true	.85	32	10	2	unknown	.083	11	.61	0	true	13	19	150	2	true	.19	28	2.4	2	true	.59	56	6.9	2	true	530	1100	7100	2	timeout	900	1400	12000	0	timeout	900	830	13000	0
ldv-memsafety/memleaks_test12_true-valid-memsafety.i	error (134)	.38	28	3.7	0	error (6)	.63	37	7.7	0	error (1)	.46	40	4.1	0	error (1)	.48	41	3.8	0	true	4.8	280	37	2	unknown	270	210	3600	0	unknown	2.8	59	38	0	unknown	12	180	160	0	unknown	.092	12	.61	0	true	53	33	820	2	true	.25	31	3.0	2	true	2.3	360	26	2	timeout	900	1300	12000	0	timeout	900	1600	9500	0	timeout	900	1100	10000	0
ldv-memsafety/memleaks_test13_true-valid-memsafety.i	error (134)	.22	27	1.5	0	true	1.0	37	9.3	2	error (1)	.45	40	4.2	0	error (1)	.43	40	4.3	0	true	3.6	270	31	2	true	30	360	300	2	true	1.5	37	18	2	true	.85	33	11	2	unknown	.078	11	.60	0	true	5.2	17	65	2	true	.20	27	2.0	2	true	.55	61	8.3	2	true	71	1200	660	2	true	690	1400	8900	2	true	340	1100	4200	2
ldv-memsafety/memleaks_test14_true-valid-memsafety.i	error (134)	.18	27	1.8	0	true	1.0	39	11	2	error (1)	.49	40	4.1	0	error (1)	.45	40	4.5	0	true	3.4	260	30	2	true	20	290	170	2	true	2.7	41	32	2	true	.76	32	8.8	2	unknown	.085	11	.64	0	true	5.3	19	74	2	true	.15	27	2.2	2	true	.59	62	7.2	2	true	60	1100	640	2	true	690	1400	8600	2	true	320	1400	3800	2
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i	error (134)	.23	28	1.9	0	true	1.1	41	12	2	error (1)	.46	41	4.8	0	error (1)	.44	40	4.1	0	true	3.7	270	33	2	false(valid-deref)	1.1	35	13	-16	true	8.7	39	110	2	true	9.4	39	120	2	unknown	.062	11	.83	0	true	17	24	210	2	true	.22	29	2.4	2	true	.92	120	11	2	timeout	900	840	12000	0	timeout	900	1300	13000	0	timeout	900	850	11000	0
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i	true	.19	27	1.6	2	true	.93	37	8.4	2	error (1)	.48	41	4.9	0	error (1)	.46	40	3.8	0	true	3.6	290	29	2	true	1.0	30	13	2	true	.11	28	1.2	2	true	.13	28	.95	2	unknown	.064	11	.65	0	true	6.2	16	72	2	true	.15	27	2.0	2	true	.43	27	5.9	2	true	8.6	470	76	2	true	7.9	380	74	2	true	9.2	480	74	2
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i	error (134)	.21	27	1.3	0	true	5.0	71	53	2	error (1)	.49	41	4.5	0	error (1)	.45	41	4.3	0	true	4.7	290	39	2	unknown	890	270	9000	0	true	47	130	540	2	true	70	140	790	2	unknown	.061	11	.64	0	true	34	19	490	2	true	.24	27	2.9	2	true	.53	41	7.2	2	timeout	900	2400	11000	0	timeout	900	2500	14000	0	error (7)	260	1000	2900	0
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i	error (134)	.21	27	1.4	0	error (134)	280	14000	1800	0	error (1)	.48	40	4.5	0	error (1)	.48	40	4.4	0	error	3.2	270	27	0	unknown	890	280	7700	0	timeout	900	370	10000	0	timeout	900	400	11000	0	unknown	.090	11	.61	0	true	65	23	800	2	unknown	.23	27	2.6	0	timeout (timeout)	900	1900	11000	0	timeout	900	1800	11000	0	timeout	900	1300	13000	0	timeout	900	4600	10000	0
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i	error (134)	.18	27	1.5	0	true	3.8	53	43	2	error (1)	.49	41	4.0	0	error (1)	.45	40	4.5	0	true	4.5	280	37	2	unknown	890	220	9100	0	true	48	100	640	2	true	68	110	890	2	unknown	.058	11	.70	0	true	28	18	350	2	true	.36	29	4.1	2	true	.47	28	5.3	2	timeout	900	1100	13000	0	timeout	900	1300	12000	0	timeout	900	980	13000	0
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i	true	.23	27	1.8	2	true	.99	38	9.4	2	error (1)	.50	41	4.4	0	error (1)	.42	40	4.1	0	true	3.8	270	31	2	true	1.1	30	14	2	true	.15	28	1.9	2	true	.15	28	1.5	2	unknown	.085	11	.65	0	true	9.0	18	120	2	true	.20	27	2.1	2	true	.49	41	6.7	2	true	310	960	3800	2	true	550	1200	8900	2	true	340	940	4600	2
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i	true	.18	27	1.7	2	true	.91	37	8.4	2	error (1)	.47	41	4.2	0	error (1)	.45	40	3.8	0	true	3.4	260	27	2	true	.99	30	11	2	true	.13	27	1.0	2	true	.11	28	1.2	2	unknown	.063	11	.76	0	true	3.8	16	45	2	true	.15	27	2.1	2	true	.40	18	4.4	2	true	6.8	320	52	2	true	6.4	350	53	2	true	6.2	300	47	2
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i	error (134)	.18	27	1.5	0	true	.89	37	9.5	2	error (1)	.51	43	4.7	0	error (1)	.43	40	4.4	0	true	3.6	270	33	2	true	1.0	30	13	2	true	.099	28	1.3	2	true	.11	28	1.3	2	unknown	.060	11	.65	0	true	4.6	17	67	2	true	.17	27	2.2	2	true	.42	28	5.7	2	true	8.8	480	73	2	true	8.1	430	64	2	true	8.8	470	69	2
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i	error (134)	.19	27	1.5	0	true	.90	37	8.6	2	error (1)	.49	40	4.1	0	error (1)	.45	40	3.8	0	true	3.5	260	29	2	true	1.0	30	13	2	true	.13	28	1.1	2	true	.13	28	.74	2	unknown	.076	11	.69	0	true	4.5	16	56	2	true	.19	26	2.2	2	true	.43	27	4.9	2	true	8.7	450	65	2	true	7.8	480	71	2	true	8.0	390	61	2
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i	error (134)	.22	27	1.7	0	true	.97	37	12	2	error (1)	.46	40	3.9	0	error (1)	.45	40	4.1	0	true	3.6	270	28	2	true	27	33	330	2	true	.61	28	7.3	2	true	.68	28	7.8	2	unknown	.084	11	.62	0	true	4.5	19	57	2	true	.20	26	1.8	2	true	.65	77	8.6	2	timeout	900	2600	9700	0	true	430	1300	6800	2	timeout	900	3400	11000	0
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i	error (134)	.22	27	1.7	0	true	1.0	38	8.9	2	error (1)	.44	41	4.1	0	error (1)	.45	40	4.2	0	true	3.7	270	32	2	true	37	36	470	2	true	.72	28	9.9	2	true	.82	28	9.8	2	unknown	.062	11	.63	0	true	4.8	17	66	2	true	.18	27	2.3	2	true	.75	99	9.0	2	timeout	900	3000	10000	0	true	820	1400	11000	2	timeout	900	1600	13000	0
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i	error (134)	.22	27	1.9	0	true	1.0	37	12	2	error (1)	.49	40	4.3	0	error (1)	.44	41	4.4	0	true	3.7	270	27	2	true	37	36	530	2	true	.72	28	8.9	2	true	.85	28	9.7	2	unknown	.063	11	.62	0	true	5.0	17	59	2	true	.19	27	2.3	2	true	.79	110	10	2	timeout	900	3100	11000	0	true	810	1300	11000	2	timeout	900	1500	11000	0
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i	error (134)	.26	28	2.9	0	error (42)	870	10000	8200	0	error (1)	.45	40	4.2	0	error (1)	.47	41	3.8	0	true	4.5	290	39	2	false(valid-deref)	470	340	5100	-16	timeout	900	2200	9300	0	timeout	900	2500	11000	0	unknown	.066	12	.76	0	unknown	890	53	11000	0	unknown	.22	28	2.2	0	timeout (timeout)	900	210	9400	0	timeout	900	1200	10000	0	timeout	900	1600	12000	0	timeout	900	1900	14000	0
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i	error (134)	.25	28	2.2	0	error (42)	870	10000	8400	0	error (1)	.46	40	4.5	0	error (1)	.44	40	4.2	0	true	4.3	270	36	2	false(valid-deref)	210	200	1900	-16	timeout	900	2100	8800	0	timeout	900	2600	8900	0	unknown	.064	12	.87	0	unknown	890	53	12000	0	unknown	.22	29	2.4	0	timeout (timeout)	900	200	8800	0	timeout	900	1300	12000	0	timeout	900	1500	12000	0	timeout	900	1300	10000	0
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i	true	.20	27	1.5	2	true	.90	37	9.5	2	error (1)	.48	40	4.0	0	error (1)	.46	40	4.2	0	true	3.7	290	31	2	true	.97	30	11	2	true	.12	27	1.0	2	true	.13	28	1.0	2	unknown	.057	11	.72	0	true	3.9	16	56	2	true	.19	26	2.0	2	true	.37	18	4.7	2	true	7.4	370	66	2	true	7.3	460	61	2	true	7.3	350	58	2
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i	true	.20	27	1.6	2	true	.91	37	9.6	2	error (1)	.50	42	3.9	0	error (1)	.44	40	4.3	0	true	3.7	290	35	2	true	1.0	30	11	2	true	.13	28	1.5	2	true	.14	28	1.6	2	unknown	.061	11	.64	0	true	5.7	17	76	2	true	.15	27	2.1	2	true	.39	20	5.1	2	true	23	540	220	2	true	11	670	110	2	true	39	730	370	2
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i	true	.19	27	1.6	2	true	.90	37	9.5	2	error (1)	.48	41	4.3	0	error (1)	.42	40	3.9	0	true	3.6	290	34	2	true	1.0	30	14	2	true	.13	28	1.2	2	true	.10	28	1.0	2	unknown	.082	11	.56	0	true	4.1	16	50	2	true	.19	27	2.0	2	true	.41	23	4.7	2	true	8.3	420	71	2	true	7.1	470	63	2	true	8.1	400	64	2
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i	true	.21	27	1.7	2	true	.93	37	8.2	2	error (1)	.46	42	4.1	0	error (1)	.44	40	4.4	0	true	3.8	290	32	2	true	1.0	30	11	2	true	.11	28	.90	2	true	.13	28	1.3	2	unknown	.077	11	.69	0	true	8.3	18	100	2	true	.18	28	2.2	2	true	.46	31	5.2	2	true	14	600	110	2	true	63	1200	700	2	true	17	680	140	2
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i	true	.22	27	1.6	2	true	.94	37	8.7	2	error (1)	.47	43	4.2	0	error (1)	.43	40	3.7	0	true	3.6	270	30	2	true	1.1	30	13	2	true	.12	28	1.3	2	true	.11	28	1.2	2	unknown	.062	11	.71	0	true	8.3	18	110	2	true	.18	28	2.2	2	true	.47	35	5.6	2	true	12	520	110	2	true	40	910	440	2	true	14	610	120	2
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i	true	.22	27	1.4	2	true	.91	37	8.9	2	error (1)	.47	40	4.7	0	error (1)	.44	41	4.9	0	true	3.4	280	29	2	true	.99	30	12	2	true	.13	28	1.1	2	true	.099	28	1.1	2	unknown	.12	32	.73	0	true	4.0	16	50	2	true	.15	27	2.1	2	true	.40	19	4.5	2	true	7.4	360	60	2	true	7.5	480	64	2	true	6.9	340	59	2
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i	true	.21	27	1.6	2	true	.97	37	8.9	2	error (1)	.47	40	4.6	0	error (1)	.42	40	3.8	0	true	3.4	260	31	2	true	1.0	30	13	2	true	.12	28	1.1	2	true	.13	28	1.1	2	unknown	.077	11	.65	0	true	4.1	16	48	2	true	.19	26	1.9	2	true	.38	20	3.6	2	true	7.8	360	58	2	true	7.5	360	68	2	true	7.5	370	61	2
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i	true	.19	23	1.3	2	true	.80	34	9.0	2	error (1)	.48	40	4.4	0	error (1)	.43	40	4.2	0	true	2.4	250	21	2	unknown	17	28	190	0	true	.12	26	.93	2	true	.13	26	.85	2	unknown	.074	9.9	.47	0	true	.41	12	5.0	2	unknown	.10	21	1.9	0	true	.24	11	2.4	2	unknown	3.5	220	28	0	unknown	3.4	230	29	0	unknown	3.6	230	28	0
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i	error (134)	.18	24	1.3	0	true	.79	35	8.4	2	error (1)	.46	41	4.2	0	error (1)	.43	41	4.0	0	true	2.6	270	24	2	unknown	18	28	210	0	true	.16	26	1.5	2	true	.15	26	1.6	2	unknown	.048	10	.47	0	true	.45	12	5.4	2	unknown	.15	21	1.6	0	true	.26	13	2.6	2	unknown	3.4	220	31	0	unknown	3.6	230	27	0	unknown	3.5	220	28	0
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i	error (134)	.15	24	1.5	0	true	.85	36	6.6	2	error (1)	.48	40	3.9	0	error (1)	.45	40	4.5	0	true	2.8	270	22	2	unknown	18	29	260	0	true	.16	26	1.3	2	true	.18	26	1.8	2	unknown	.048	9.9	.49	0	true	.44	12	5.6	2	unknown	.12	22	1.8	0	true	.27	13	3.0	2	unknown	3.3	220	27	0	unknown	3.5	220	29	0	unknown	3.5	220	31	0
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i	error (134)	.19	24	1.6	0	true	.85	35	8.0	2	error (1)	.45	40	3.8	0	error (1)	.46	40	3.7	0	true	2.4	250	22	2	unknown	9.0	28	100	0	true	.21	27	2.7	2	true	.25	26	2.9	2	unknown	.058	9.9	.60	0	true	.45	12	6.7	2	unknown	.14	21	1.6	0	true	.27	13	2.5	2	unknown	3.5	230	29	0	unknown	3.5	230	29	0	unknown	3.4	220	29	0
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i	error (134)	.18	24	1.4	0	true	.86	34	8.6	2	error (1)	.48	40	4.3	0	error (1)	.45	40	4.8	0	true	2.5	250	22	2	false(valid-deref)	9.6	28	130	-16	true	.29	27	3.6	2	true	.34	27	3.5	2	unknown	.048	10	.61	0	true	.54	12	6.4	2	unknown	.11	22	1.9	0	true	.25	14	2.9	2	unknown	3.4	220	27	0	unknown	3.4	220	29	0	unknown	3.4	230	32	0
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i	false(valid-deref)	.17	24	1.6	1	false(valid-deref)	.45	34	3.6	0	error (1)	.48	40	4.2	0	error (1)	.45	41	4.4	0	false(valid-deref)	2.4	250	24	1	unknown	17	28	200	0	false(valid-deref)	.25	28	1.8	0	false(valid-deref)	.21	28	2.6	0	unknown	.048	9.9	.51	0	out of memory	30	15000	480	0	unknown	.13	21	1.7	0	false(valid-deref)	.25	11	2.4	1	unknown	3.4	220	29	0	unknown	3.5	220	28	0	unknown	3.5	220	26	0
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i	error (134)	.18	24	1.9	0	witness invalid (false(valid-deref))	.46	35	3.9	0	error (1)	.49	41	4.6	0	error (1)	.44	40	4.3	0	false(valid-deref)	2.6	270	23	1	unknown	18	28	230	0	false(valid-deref)	.16	26	1.5	0	false(valid-deref)	.20	27	1.7	0	unknown	.075	9.9	.46	0	unknown	.36	11	4.0	0	unknown	.12	22	1.8	0	false(valid-deref)	.27	13	2.8	1	unknown	3.5	220	30	0	unknown	3.4	220	29	0	unknown	3.5	220	27	0
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i	error (134)	.17	24	1.4	0	witness invalid (false(valid-deref))	.46	35	3.7	0	error (1)	.47	40	4.3	0	error (1)	.46	40	4.0	0	false(valid-deref)	2.5	250	24	1	unknown	38	28	420	0	false(valid-deref)	.32	26	3.4	0	false(valid-deref)	.32	26	4.3	0	unknown	.046	10	.59	0	unknown	.35	11	3.7	0	unknown	.12	22	2.0	0	false(valid-deref)	.26	13	3.4	1	unknown	3.5	230	30	0	unknown	3.5	220	32	0	unknown	3.4	220	28	0
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i	error (134)	.21	24	1.4	0	witness invalid (false(valid-deref))	.47	35	3.8	0	error (1)	.49	40	4.4	0	error (1)	.44	40	3.8	0	false(valid-deref)	2.6	260	25	1	false(valid-deref)	9.5	28	120	0	false(valid-deref)	.25	27	3.6	0	false(valid-deref)	.34	27	4.0	0	unknown	.067	10	.51	0	unknown	.33	12	4.0	0	unknown	.15	22	1.5	0	false(valid-deref)	.28	14	3.3	1	unknown	3.3	220	28	0	unknown	3.5	230	30	0	unknown	3.4	230	29	0
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i	error (134)	.17	24	1.4	0	witness invalid (false(valid-free))	.44	34	4.4	0	error (1)	.49	41	4.9	0	error (1)	.44	40	4.2	0	false(valid-free)	2.5	250	25	1	unknown	19	28	240	0	false(valid-free)	.14	26	1.5	1	false(valid-free)	.18	26	1.8	1	unknown	.068	9.9	.42	0	false(valid-free)	.46	12	5.6	0	unknown	.11	21	1.7	0	false(valid-free)	.27	13	2.9	1	unknown	3.6	220	29	0	unknown	3.6	230	26	0	unknown	3.6	230	28	0
../sv-benchmarks/c/	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score
total	180	260	24000	2500	46	180	28000	180000	220000	123	180	86	7400	780	0	180	80	7200	740	0	180	42000	370000	330000	183	180	56000	90000	570000	-234	180	39000	240000	420000	113	180	36000	230000	410000	129	180	280	3700	4800	35	180	34000	49000	380000	174	180	17000	43000	140000	201	180	32000	79000	250000	199	180	70000	190000	860000	87	180	89000	290000	1200000<