Tool	CBMC 4.5			CPAchecker 1.2.11-svcomp14b			ESBMC 1.22.1			LLBMC			Predator 2013-10-30			Symbiotic			UltimateAutomizer			UltimateKojak
Limits	timelimit: 900 s, memlimit: 15360 MB, CPU core limit: 8
OS	Linux 3.2.0-56-generic x86_64						[Linux 3.2.0-56-generic x86_64; Linux 3.2.0-57-generic x86_64]						Linux 3.2.0-56-generic x86_64
System	CPU: Intel Core i7-2600 CPU @ 3.40GHz with 8 cores, frequency: 3401 MHz; RAM: 32827640 kB
Date of execution	13-11-18 23:43			13-11-18 14:59			[13-11-18 23:26; 13-12-05 20:07]			[13-11-21 13:28; 13-12-04 20:07]			13-11-19 22:09			[13-11-25 00:14; 13-11-25 00:10; 13-11-24 23:10; 13-11-24 22:59; 13-11-24 22:54]			13-11-19 23:49			13-11-21 12:52
Options	[--propertyfile ${sourcefile_path}/ALL.prp --32; --propertyfile ${sourcefile_path}/ALL.prp --64]			[-sv-comp14 -heap 10000M -spec ${sourcefile_path}/ALL.prp -disable-java-assertions; -sv-comp14 -heap 10000M -spec ${sourcefile_path}/ALL.prp -disable-java-assertions -64]			[-c ${sourcefile_path}/ALL.prp; -c ${sourcefile_path}/ALL.prp -64]			[-spec ${sourcefile_path}/ALL.prp -witness ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt; -spec ${sourcefile_path}/ALL.prp -witness ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt -simple-mem -m64; -spec ${sourcefile_path}/ALL.prp -witness ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt -simple-mem]			[--propertyfile ${sourcefile_path}/ALL.prp --trace ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt -m32; --propertyfile ${sourcefile_path}/ALL.prp --trace ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt -m64]			[; -m64]			${sourcefile_path}/ALL.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt			${sourcefile_path}/ALL.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
../../sv-benchmarks/c/	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)
bitvector/byte_add_false.i	false(label)	0.30	17	false(label)	47	1200	false(label)	0.65	17	false(label)	0.19	3.0	unknown	38	20	false(label)	0.42	4.0	unknown	2.0	110	unknown	2.5	110
bitvector/byte_add_1_true.i	true	0.86	19	true	55	1100	true	0.49	16	true	0.16	4.0	unknown	2.9	9.0	true	0.24	3.0	unknown	2.0	110	unknown	2.2	110
bitvector/byte_add_2_true.i	true	0.90	19	true	53	1100	true	0.50	16	true	0.16	4.0	unknown	3.1	9.0	true	0.23	4.0	unknown	2.0	110	unknown	2.5	110
bitvector/gcd_1_true.i	true	2.6	62	true	9.7	170	true	13	58	true	0.15	3.0	false(label)	0.09	3.0	true	0.20	2.0	unknown	11	250	unknown	22	260
bitvector/gcd_2_true.i	true	2.8	61	true	85	180	true	170	60	true	1.5	8.0	false(label)	0.09	3.0	true	0.20	2.0	timeout	900	240	timeout	900	290
bitvector/gcd_3_true.i	true	2.9	61	true	67	200	true	250	61	true	2.3	8.0	false(label)	0.13	3.0	true	0.19	2.0	timeout	900	280	timeout	900	370
bitvector/gcd_4_true.i	true	0.53	16	true	1.6	95	true	0.23	12	true	0.12	2.0	false(label)	0.10	4.0	true	0.20	2.0	unknown	390	2400	timeout	920	500
bitvector/interleave_bits_true.i	true	0.61	16	true	15	270	true	0.24	12	true	0.11	2.0	false(label)	0.11	4.0	true	0.20	3.0	unknown	60	290	false(label)	43	350
bitvector/jain_1_true.i	true	1.0	68	true	2.1	140	true	0.37	19	true	0.19	2.0	false(label)	0.09	3.0	timeout	900	38	true	26	730	true	4.4	200
bitvector/jain_2_true.i	true	1.5	140	true	2.1	140	true	0.45	28	true	0.20	2.0	false(label)	0.09	3.0	timeout	900	51	unknown	29	2300	timeout	910	370
bitvector/jain_4_true.i	true	1.9	200	true	2.2	140	true	1.6	41	true	0.23	2.0	false(label)	0.09	3.0	timeout	900	59	true	250	750	unknown	170	8200
bitvector/jain_5_true.i	true	0.53	16	timeout	900	2000	true	0.25	11	true	0.18	2.0	false(label)	0.11	3.0	timeout	900	2.0	timeout	920	410	timeout	920	1100
bitvector/jain_6_true.i	true	1.6	140	true	2.2	140	true	2.1	41	true	0.22	2.0	false(label)	0.09	3.0	timeout	900	59	true	37	480	timeout	910	1500
bitvector/jain_7_true.i	true	1.1	58	true	2.2	140	true	0.41	19	true	0.22	2.0	false(label)	0.10	3.0	timeout	900	46	timeout	900	800	timeout	900	680
bitvector/modulus_true.i	true	380	1100	true	4.7	150	true	32	150	true	6.9	53	false(label)	0.09	4.0	true	210	34	unknown	2.5	150	false(label)	2.8	190
bitvector/num_conversion_1_true.i	true	0.53	16	true	1.6	95	true	0.24	12	true	0.12	2.0	true	0.13	3.0	true	0.16	2.0	unknown	2.0	100	unknown	2.3	110
bitvector/num_conversion_2_true.i	true	0.53	16	true	25	390	true	0.29	12	true	0.10	2.0	false(label)	0.11	3.0	true	0.21	2.0	unknown	2.3	100	unknown	2.3	110
bitvector/parity_true.i	true	4.6	19	true	76	230	true	25	41	true	0.49	4.0	false(label)	0.09	3.0	true	1.3	5.0	unknown	2.7	170	false(label)	2.6	160
bitvector/sum02_true.i	true	0.64	18	timeout	900	3800	true	0.32	13	true	0.24	5.0	false(label)	0.10	3.0	timeout	900	150	timeout	920	430	timeout	920	810
bitvector/s3_clnt_1_false.BV.c.cil.c	false(label)	6.1	180	false(label)	6.6	250	false(label)	16	120	false(label)	0.37	11	false(label)	12	31	timeout	900	1300	unknown	18	650	false(label)	210	1200
bitvector/s3_clnt_2_false.BV.c.cil.c	false(label)	5.2	150	false(label)	6.2	240	false(label)	12	82	false(label)	0.69	20	false(label)	15	36	timeout	900	1200	unknown	21	640	false(label)	410	1200
bitvector/s3_clnt_3_false.BV.c.cil.c	false(label)	1.3	53	false(label)	3.4	190	false(label)	13	83	false(label)	0.30	12	false(label)	0.12	5.0	false(label)	0.65	5.0	unknown	12	380	false(label)	33	400
bitvector/s3_clnt_1_true.BV.c.cil.c	true	86	1500	true	3.7	180	true	4.7	110	true	0.88	25	false(label)	16	44	true	1.3	10.0	unknown	18	650	false(label)	210	1200
bitvector/s3_clnt_2_true.BV.c.cil.c	true	75	1300	true	3.7	180	true	3.3	80	true	0.91	25	false(label)	27	48	true	1.3	10.0	unknown	20	680	false(label)	390	1100
bitvector/s3_clnt_3_true.BV.c.cil.c	true	73	1200	true	4.7	200	true	3.2	77	true	1.1	28	false(label)	6.7	27	true	1.3	10.0	true	40	1200	timeout	920	1600
bitvector/s3_srvr_1_alt_true.BV.c.cil.c	true	850	640	timeout	900	530	true	900	190	true	5.6	95	false(label)	3.5	24	timeout	900	580	timeout	920	4400	timeout	920	1200
bitvector/s3_srvr_1_true.BV.c.cil.c	true	170	1800	true	15	260	true	3.9	100	true	1.00	29	false(label)	3.7	27	timeout	900	700	true	51	1800	timeout	920	1600
bitvector/s3_srvr_2_alt_true.BV.c.cil.c	true	160	1700	true	16	640	true	5.0	90	true	1.9	35	false(label)	14	37	timeout	900	1100	true	46	980	timeout	920	1600
bitvector/s3_srvr_2_true.BV.c.cil.c	true	170	1700	true	17	640	true	5.3	93	true	2.1	37	false(label)	14	37	timeout	900	1100	true	46	820	timeout	920	1200
bitvector/s3_srvr_3_alt_true.BV.c.cil.c	true	150	1600	true	15	250	true	6.7	130	true	1.9	60	false(label)	7.3	30	timeout	900	930	true	50	1600	true	250	1100
bitvector/s3_srvr_3_true.BV.c.cil.c	true	150	1600	true	15	250	true	7.6	130	true	1.9	64	false(label)	3.5	24	timeout	900	930	true	51	1700	true	230	1100
bitvector/soft_float_1_true.c.cil.c	true	3.3	38	true	23	720	true	1.2	23	true	0.97	8.0	false(label)	0.11	4.0	unknown	0.73	5.0	unknown	8.4	250	unknown	8.5	270
bitvector/soft_float_2_true.c.cil.c	true	1.7	38	true	8.8	240	true	0.25	14	true	0.21	4.0	unknown	0.10	4.0	timeout	900	130	unknown	8.1	360	timeout	920	540
bitvector/soft_float_3_true.c.cil.c	true	1.7	38	timeout	900	6300	true	0.28	14	true	0.23	4.0	unknown	0.10	4.0	timeout	900	140	unknown	5.8	240	timeout	920	500
bitvector/soft_float_4_true.c.cil.c	true	6.5	44	true	70	290	true	16	29	true	3.1	9.0	false(label)	0.11	4.0	unknown	0.62	5.0	unknown	5.6	250	unknown	7.8	270
bitvector/soft_float_5_true.c.cil.c	true	1.7	38	true	8.8	240	true	0.26	14	true	0.23	4.0	unknown	0.10	4.0	timeout	900	130	unknown	9.3	250	timeout	920	640
bitvector-regression/implicitfloatconversion_false.i	false(label)	0.18	16	false(label)	1.7	120	false(label)	0.26	11	false(label)	0.11	2.0	false(label)	0.08	3.0	false(label)	0.34	2.0	unknown	2.0	100	unknown	2.2	110
bitvector-regression/implicitunsignedconversion_false.i	false(label)	0.17	16	false(label)	1.8	120	false(label)	0.27	11	false(label)	0.10	2.0	false(label)	0.10	3.0	false(label)	0.19	2.0	true	2.2	130	true	2.4	140
bitvector-regression/integerpromotion_false.i	false(label)	0.18	18	false(label)	2.0	130	false(label)	0.33	17	false(label)	0.10	2.0	false(label)	0.10	3.0	false(label)	0.22	2.0	unknown	2.0	110	unknown	2.2	110
bitvector-regression/pointer_extension2_false.i	false(label)	0.18	18	false(label)	2.0	130	true	0.30	16	false(label)	0.12	2.0	unknown	0.13	3.0	true	0.21	2.0	unknown	2.0	110	unknown	2.3	110
bitvector-regression/pointer_extension3_false.i	false(label)	0.21	18	false(label)	2.0	120	false(label)	0.33	17	false(label)	0.10	2.0	unknown	0.10	3.0	false(label)	0.21	2.0	unknown	2.0	110	unknown	2.2	110
bitvector-regression/pointer_extension_false.i	false(label)	0.18	18	false(label)	2.0	130	false(label)	0.32	17	false(label)	0.11	2.0	unknown	0.10	3.0	false(label)	0.20	2.0	unknown	2.0	110	unknown	2.2	110
bitvector-regression/signextension2_false.i	false(label)	0.17	18	false(label)	2.0	120	false(label)	0.35	16	false(label)	0.10	2.0	unknown	0.10	4.0	false(label)	0.20	2.0	unknown	2.0	100	unknown	2.3	110
bitvector-regression/signextension_false.i	false(label)	0.17	18	false(label)	2.0	130	false(label)	0.34	17	false(label)	0.13	2.0	unknown	0.16	4.0	false(label)	0.21	2.0	unknown	2.0	110	unknown	2.2	110
bitvector-regression/implicitunsignedconversion_true.i	true	0.57	16	true	1.6	94	true	0.21	11	true	0.10	2.0	true	0.15	3.0	true	0.19	2.0	false(label)	2.1	120	false(label)	2.4	140
bitvector-regression/integerpromotion_true.i	true	0.60	18	true	2.3	140	true	0.36	16	true	0.11	2.0	true	0.12	3.0	true	0.21	2.0	unknown	2.0	110	unknown	2.2	110
bitvector-regression/pointer_extension_true.i	true	0.57	18	true	2.2	130	true	0.31	16	true	0.10	2.0	unknown	0.10	3.0	true	0.21	2.0	unknown	2.0	110	unknown	2.2	110
bitvector-regression/signextension2_true.i	true	0.58	18	true	1.7	97	true	0.27	16	true	0.11	2.0	unknown	0.09	4.0	true	0.19	2.0	unknown	2.0	110	unknown	2.2	110
bitvector-regression/signextension_true.i	true	0.57	18	true	1.7	97	true	0.28	16	true	0.11	2.0	unknown	0.15	4.0	true	0.20	2.0	unknown	2.0	110	unknown	2.2	110
pthread/bigshot_p_false.i	false(label)	0.32	23	error (threads)	2.2	140	false(label)	1.1	24	unknown	0.15	2.0	unknown	0.09	4.0	true	0.25	2.0	unknown	2.1	110	unknown	2.3	110
pthread/bigshot_s_false.i	false(label)	0.82	24	error (threads)	2.2	140	false(label)	1.1	24	unknown	0.12	2.0	unknown	0.11	4.0	true	0.22	2.0	unknown	2.1	110	unknown	2.2	110
pthread/fib_bench_false.i	false(label)	0.97	26	error (threads)	2.1	130	true	0.55	18	unknown	0.10	2.0	unknown	0.10	3.0	true	0.17	2.0	unknown	2.0	110	unknown	2.2	110
pthread/fib_bench_longer_false.i	false(label)	1.2	28	error (threads)	2.1	130	true	0.58	18	unknown	0.11	2.0	unknown	0.09	4.0	true	0.21	2.0	unknown	2.0	110	unknown	2.2	110
pthread/fib_bench_longest_false.i	false(label)	260	170	error (threads)	2.1	140	true	0.59	18	unknown	0.11	2.0	unknown	0.10	4.0	true	0.22	2.0	unknown	2.0	110	unknown	2.2	110
pthread/lazy01_false.i	false(label)	0.38	24	error (threads)	2.1	130	false(label)	4.0	27	unknown	0.14	2.0	unknown	0.10	4.0	true	0.22	2.0	unknown	2.0	110	unknown	2.2	110
pthread/queue_false.i	false(label)	9.3	330	error (threads)	2.4	140	false(label)	780	2300	unknown	0.17	4.0	unknown	0.10	4.0	true	0.23	2.0	unknown	2.1	110	unknown	2.2	110
pthread/reorder_2_false.i	false(label)	1.5	120	error (threads)	2.4	140	false(label)	120	160	unknown	0.11	2.0	unknown	0.11	5.0	true	0.24	2.0	unknown	2.1	110	unknown	2.3	110
pthread/reorder_5_false.i	false(label)	1.5	120	error (threads)	2.3	140	false(label)	900	1600	unknown	0.13	2.0	unknown	0.12	5.0	true	0.32	2.0	unknown	2.1	110	unknown	2.3	110
pthread/sigma_false.i	false(label)	30	730	error (threads)	2.5	150	true	900	1100	unknown	0.12	2.0	unknown	0.11	4.0	true	0.23	2.0	unknown	2.1	110	unknown	2.2	110
pthread/singleton_false.i	false(label)	0.48	27	error (threads)	2.2	140	true	500	520	unknown	0.12	2.0	unknown	0.10	4.0	true	0.22	2.0	unknown	2.1	110	unknown	2.2	110
pthread/stack_false.i	false(label)	0.47	29	error (threads)	2.2	140	false(label)	140	380	unknown	0.12	2.0	unknown	0.10	4.0	true	0.25	2.0	unknown	2.1	110	unknown	2.3	110
pthread/stateful01_false.i	false(label)	0.43	25	error (threads)	2.1	130	false(label)	2.0	21	unknown	0.10	2.0	unknown	0.07	4.0	true	0.22	2.0	unknown	2.0	110	unknown	2.3	110
pthread/twostage_3_false.i	false(label)	7.4	540	error (threads)	2.4	140	false(label)	140	210	unknown	0.14	8.0	unknown	0.10	5.0	true	0.23	2.0	unknown	2.2	110	unknown	2.3	110
pthread/bigshot_s_true.i	false(label)	0.83	24	error (threads)	2.2	140	true	1.1	24	unknown	0.11	2.0	unknown	0.10	4.0	true	0.22	2.0	unknown	2.5	110	unknown	2.3	110
pthread/fib_bench_longer_true.i	true	52	51	error (threads)	2.1	130	true	0.57	18	unknown	0.11	2.0	unknown	0.09	4.0	true	0.18	2.0	unknown	2.0	110	unknown	2.4	110
pthread/fib_bench_longest_true.i	true	850	250	error (threads)	2.1	130	true	0.60	18	unknown	0.11	2.0	unknown	0.09	3.0	true	0.21	2.0	unknown	2.0	100	unknown	2.2	110
pthread/fib_bench_true.i	true	17	35	error (threads)	2.1	130	true	0.56	18	unknown	0.13	2.0	unknown	0.10	4.0	true	0.22	2.0	unknown	2.0	110	unknown	2.3	110
pthread/indexer_true.i	true	1.4	23	error (threads)	2.4	140	true	0.36	22	unknown	0.19	5.0	unknown	0.13	4.0	true	0.24	2.0	unknown	2.1	110	unknown	2.3	110
pthread/queue_ok_true.i	true	550	14000	error (threads)	2.3	140	true	28	69	unknown	0.12	4.0	unknown	0.10	4.0	true	0.23	2.0	unknown	2.3	110	unknown	2.2	110
pthread/stack_true.i	true	230	140	error (threads)	2.2	140	false(label)	130	390	unknown	0.11	2.0	unknown	0.10	4.0	true	0.25	2.0	unknown	2.1	110	unknown	2.3	110
pthread/stateful01_true.i	true	2.6	25	error (threads)	2.1	130	true	3.2	22	unknown	0.14	2.0	unknown	0.09	4.0	false(label)	0.22	2.0	unknown	2.0	110	unknown	2.2	110
pthread/sync01_true.i	true	190	5900	error (threads)	2.1	130	true	29	150	unknown	0.11	2.0	unknown	0.12	4.0	true	0.23	2.0	unknown	2.1	110	unknown	2.3	110
pthread-atomic/qrcu_false.i	false(label)	0.54	30	error (threads)	2.2	140	true	900	7900	unknown	0.12	2.0	unknown	0.10	4.0	true	0.22	2.0	unknown	2.1	110	unknown	2.3	110
pthread-atomic/read_write_lock_false.i	false(label)	0.32	22	error (threads)	2.1	130	false(label)	140	210	unknown	0.11	2.0	unknown	0.10	4.0	true	0.21	2.0	unknown	2.0	110	unknown	2.2	110
pthread-atomic/dekker_true.i	true	120	1300	error (threads)	2.2	140	true	5.4	21	unknown	0.11	2.0	unknown	0.09	4.0	true	0.21	2.0	unknown	2.0	110	unknown	2.2	110
pthread-atomic/lamport_true.i	true	850	11000	error (threads)	2.1	140	false(label)	3.0	20	unknown	0.11	2.0	unknown	0.10	4.0	true	0.20	2.0	unknown	2.0	110	unknown	2.2	110
pthread-atomic/peterson_true.i	true	2.7	30	error (threads)	2.1	130	true	0.87	18	unknown	0.12	2.0	unknown	0.09	4.0	true	0.21	2.0	unknown	2.2	110	unknown	2.2	110
pthread-atomic/qrcu_true.i	true	850	3500	error (threads)	2.2	130	true	900	8000	unknown	0.11	2.0	unknown	0.12	4.0	true	0.22	2.0	unknown	2.0	110	unknown	2.2	110
pthread-atomic/read_write_lock_true.i	true	2.5	23	error (threads)	2.1	130	true	130	190	unknown	0.12	2.0	unknown	0.09	4.0	true	0.22	2.0	unknown	2.1	110	unknown	2.2	110
pthread-atomic/scull_true.i	true	5.4	37	error (threads)	2.2	140	true	270	370	unknown	0.12	2.0	unknown	0.11	5.0	true	0.22	2.0	unknown	2.1	110	unknown	2.2	110
pthread-atomic/szymanski_true.i	true	7.4	130	error (threads)	2.1	130	true	2.2	18	unknown	0.10	2.0	unknown	0.10	4.0	true	0.21	2.0	unknown	2.0	110	unknown	2.2	110
pthread-atomic/time_var_mutex_true.i	true	2.4	27	error (threads)	2.1	130	true	1.9	19	unknown	0.11	2.0	unknown	0.11	4.0	true	0.22	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/27_Boop_simple_vf_false.i	false(label)	0.33	21	error (threads)	2.2	130	true	900	2700	unknown	0.14	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/28_buggy_simple_loop1_vf_false.i	false(label)	0.30	20	error (threads)	2.1	120	true	900	1400	unknown	0.11	2.0	unknown	0.10	3.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/32_pthread5_vs_false.i	false(label)	0.38	24	error (threads)	2.1	130	true	900	890	unknown	0.09	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.3	110
pthread-ext/40_barrier_vf_false.i	false(label)	0.74	30	error (threads)	2.1	130	unknown	0.15	7.0	unknown	0.12	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.2	110
pthread-ext/01_inc_true.i	true	850	540	error (threads)	2.2	130	true	900	1800	unknown	0.11	2.0	unknown	0.09	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/02_inc_cas_true.i	true	850	840	error (threads)	2.2	130	true	900	4600	unknown	0.10	2.0	unknown	0.10	3.0	timeout	900	2.0	unknown	2.1	100	unknown	2.2	110
pthread-ext/03_incdec_true.i	true	850	1100	error (threads)	2.2	130	true	900	1600	unknown	0.11	2.0	unknown	0.09	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/04_incdec_cas_true.i	true	850	2400	error (threads)	2.2	130	true	900	2900	unknown	0.14	2.0	unknown	0.09	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/05_tas_true.i	true	550	15000	error (threads)	2.1	140	true	900	2400	unknown	0.12	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/06_ticket_true.i	true	850	180	error (threads)	2.2	130	true	900	1300	unknown	0.11	2.0	unknown	0.10	3.0	timeout	900	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/07_rand_true.i	true	850	1400	error (threads)	2.2	140	true	900	1300	unknown	0.11	2.0	unknown	0.10	3.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/08_rand_cas_true.i	true	850	1200	error (threads)	2.2	140	true	900	2200	unknown	0.10	2.0	unknown	0.13	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/09_fmaxsym_true.i	true	730	15000	error (threads)	2.2	140	true	900	1700	unknown	0.14	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/10_fmaxsym_cas_true.i	true	420	15000	error (threads)	2.2	130	true	900	2000	unknown	0.14	2.0	unknown	0.09	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/11_fmaxsymopt_true.i	true	850	830	error (threads)	2.1	140	true	900	1700	unknown	0.13	2.0	unknown	0.09	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.2	110
pthread-ext/12_fmaxsymopt_cas_true.i	true	850	13000	error (threads)	2.2	140	true	900	2900	unknown	0.14	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.2	110
pthread-ext/13_unverif_true.i	true	850	13000	error (threads)	2.2	140	true	900	1600	unknown	0.10	2.0	unknown	0.09	3.0	timeout	900	2.0	unknown	2.1	110	unknown	2.2	110
pthread-ext/14_spin2003_true.i	true	850	440	error (threads)	2.1	140	true	900	2400	unknown	0.10	2.0	unknown	0.09	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.6	110
pthread-ext/15_dekker_true.i	true	110	1300	error (threads)	2.1	130	true	0.74	18	unknown	0.13	2.0	unknown	0.09	4.0	true	0.35	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/16_peterson_true.i	true	2.2	28	error (threads)	2.1	130	true	0.37	17	unknown	0.09	2.0	unknown	0.10	4.0	true	0.21	2.0	unknown	2.0	100	unknown	2.3	110
pthread-ext/17_szymanski_true.i	true	850	8200	error (threads)	2.1	130	true	2.7	62	unknown	0.10	2.0	unknown	0.11	4.0	true	0.21	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/18_read_write_lock_true.i	true	1.2	20	error (threads)	2.1	130	true	0.43	18	unknown	0.11	2.0	unknown	0.10	4.0	true	0.20	2.0	unknown	2.1	100	unknown	2.2	110
pthread-ext/19_time_var_mutex_true.i	true	1.3	21	error (threads)	2.1	130	true	0.53	19	unknown	0.14	2.0	unknown	0.09	4.0	true	0.21	2.0	unknown	2.1	110	unknown	2.3	110
pthread-ext/20_lamport_true.i	true	850	9500	error (threads)	2.1	140	true	1.1	18	unknown	0.11	2.0	unknown	0.10	4.0	true	0.21	2.0	unknown	2.1	110	unknown	2.2	110
pthread-ext/23_lu-fig2.fixed_true.i	true	1.4	21	error (threads)	2.1	130	true	0.31	18	unknown	0.11	2.0	unknown	0.09	4.0	true	0.22	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/25_stack_true.i	true	240	14000	error (threads)	2.2	140	true	900	2000	unknown	0.12	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/26_stack_cas_true.i	true	850	11000	error (threads)	2.2	140	true	900	2100	unknown	0.10	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/29_conditionals_vs_true.i	true	32	2000	error (threads)	2.1	130	true	900	950	unknown	0.14	2.0	unknown	0.10	3.0	timeout	900	2.0	unknown	2.0	100	unknown	2.2	110
pthread-ext/30_Function_Pointer3_vs_true.i	true	52	2700	error (threads)	2.1	140	true	900	6500	unknown	0.11	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/31_simple_loop5_vs_true.i	true	850	2100	error (threads)	2.1	130	true	900	3500	unknown	0.11	2.0	unknown	0.09	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.6	110
pthread-ext/33_double_lock_p1_vs_true.i	true	850	560	error (threads)	2.1	140	true	900	5800	unknown	0.11	2.0	unknown	0.11	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.3	110
pthread-ext/34_double_lock_p2_vs_true.i	true	850	560	error (threads)	2.1	130	true	900	5800	unknown	0.11	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.3	110
pthread-ext/35_double_lock_p3_vs_true.i	true	850	540	error (threads)	2.1	130	true	900	5300	unknown	0.11	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/36_stack_cas_p0_vs_concur_true.i	true	850	13000	error (threads)	2.1	130	true	900	2300	unknown	0.11	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/37_stack_lock_p0_vs_concur_true.i	true	850	7600	error (threads)	2.1	130	true	900	1700	unknown	0.13	2.0	unknown	0.09	3.0	timeout	900	2.0	unknown	2.1	110	unknown	2.3	110
pthread-ext/38_rand_cas_vs_concur_true.i	true	850	13000	error (threads)	2.1	130	true	900	2200	unknown	0.14	2.0	unknown	0.08	3.0	timeout	900	2.0	unknown	2.0	110	unknown	2.4	110
pthread-ext/39_rand_lock_p0_vs_true.i	true	850	3300	error (threads)	2.2	140	true	900	1100	unknown	0.13	2.0	unknown	0.13	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.2	110
pthread-ext/41_FreeBSD__abd_kbd__sliced_true.i	true	730	15000	error (parsing failed)	1.4	76	unknown	0.16	7.0	unknown	0.11	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.5	110
pthread-ext/42_FreeBSD__rdma_addr__sliced_true.i	true	850	11000	error (parsing failed)	1.5	77	unknown	0.13	7.0	unknown	0.14	2.0	unknown	0.10	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.3	110
pthread-ext/43_NetBSD__sysmon_power__sliced_true.i	unknown	850	4300	error (parsing failed)	1.5	78	unknown	0.14	7.0	unknown	0.09	2.0	unknown	0.12	4.0	timeout	900	2.0	unknown	2.1	110	unknown	2.2	110
pthread-ext/44_Solaris__space_map__sliced_true.i	true	700	15000	error (parsing failed)	1.5	77	unknown	0.15	7.0	unknown	0.14	2.0	unknown	0.09	4.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/45_monabsex1_vs_true.i	true	48	950	error (threads)	2.1	130	true	900	3300	unknown	0.11	2.0	unknown	0.09	3.0	timeout	900	2.0	unknown	2.0	110	unknown	2.8	110
pthread-ext/46_monabsex2_vs_true.i	true	3.6	200	error (threads)	2.1	130	unknown	0.16	7.0	unknown	0.13	2.0	unknown	0.12	3.0	timeout	900	2.0	unknown	2.0	110	unknown	2.2	110
pthread-ext/47_ticket_lock_hc_backoff_vs_true.i	true	850	2700	error (threads)	2.2	140	true	900	1800	unknown	0.14	2.0	unknown	0.20	4.0	true	0.38	2.0	unknown	2.1	110	unknown	2.2	110
pthread-ext/48_ticket_lock_low_contention_vs_true.i	true	850	190	error (threads)	2.2	140	true	900	2100	unknown	0.10	2.0	unknown	0.10	4.0	true	0.21	2.0	unknown	2.0	110	unknown	2.2	110
ntdrivers-simplified/cdaudio_simpl1_false.cil.c	false(label)	1.3	72	false(label)	3.3	170	false(label)	1.7	53	false(label)	0.39	13	false(label)	0.16	8.0	false(label)	1.3	30	unknown	20	350	timeout	920	750
ntdrivers-simplified/floppy_simpl3_false.cil.c	false(label)	0.32	23	false(label)	2.8	160	false(label)	0.77	24	false(label)	0.32	12	false(label)	0.14	7.0	false(label)	0.41	9.0	unknown	8.4	260	timeout	920	880
ntdrivers-simplified/floppy_simpl4_false.cil.c	false(label)	0.50	29	false(label)	3.0	160	false(label)	1.1	35	false(label)	0.37	14	false(label)	0.18	8.0	false(label)	0.71	15	unknown	13	290	unknown	48	400
ntdrivers-simplified/kbfiltr_simpl2_false.cil.c	false(label)	0.28	21	false(label)	2.5	150	false(label)	0.63	23	false(label)	0.19	7.0	false(label)	0.19	8.0	false(label)	0.34	7.0	unknown	7.0	220	false(label)	34	650
ntdrivers-simplified/cdaudio_simpl1_true.cil.c	true	7.4	72	true	3.6	150	true	1.5	51	true	0.38	12	false(label)	0.15	7.0	true	1.3	30	unknown	20	370	timeout	920	630
ntdrivers-simplified/diskperf_simpl1_true.cil.c	true	1.8	25	true	29	1100	true	0.86	26	true	4.6	15	false(label)	0.13	6.0	true	0.77	12	unknown	8.6	260	timeout	920	630
ntdrivers-simplified/floppy_simpl3_true.cil.c	true	1.4	23	true	3.2	140	true	0.73	24	true	0.42	13	false(label)	0.14	7.0	true	0.41	9.0	unknown	8.4	260	timeout	920	880
ntdrivers-simplified/floppy_simpl4_true.cil.c	true	2.6	29	true	3.5	160	true	1.1	33	true	0.47	17	false(label)	0.16	8.0	true	0.70	15	unknown	13	300	unknown	47	510
ntdrivers-simplified/kbfiltr_simpl1_true.cil.c	true	0.81	18	true	2.1	110	true	0.43	18	true	0.14	4.0	false(label)	0.13	5.0	true	0.24	4.0	unknown	4.4	220	true	54	620
ntdrivers-simplified/kbfiltr_simpl2_true.cil.c	true	1.1	20	true	2.5	120	true	0.58	22	true	0.16	5.0	false(label)	0.16	8.0	true	0.33	7.0	unknown	6.9	220	true	85	620
ssh-simplified/s3_clnt_1_false.cil.c	false(label)	2.1	65	false(label)	2.8	160	false(label)	13	94	false(label)	0.27	8.0	false(label)	2.8	18	false(label)	0.88	8.0	unknown	4.6	220	false(label)	100	680
ssh-simplified/s3_clnt_2_false.cil.c	false(label)	2.1	66	false(label)	2.8	170	false(label)	14	97	false(label)	0.24	8.0	false(label)	2.5	16	false(label)	0.88	8.0	unknown	4.7	220	false(label)	110	790
ssh-simplified/s3_clnt_3_false.cil.c	false(label)	2.5	78	false(label)	2.8	180	false(label)	17	120	false(label)	0.24	8.0	false(label)	3.6	23	false(label)	0.89	8.0	unknown	4.7	220	false(label)	120	1100
ssh-simplified/s3_clnt_4_false.cil.c	false(label)	2.1	66	false(label)	2.8	170	false(label)	14	96	false(label)	0.24	8.0	false(label)	2.5	16	false(label)	0.88	8.0	unknown	4.6	220	false(label)	100	680
ssh-simplified/s3_srvr_10_false.cil.c	false(label)	0.21	18	false(label)	7.0	250	false(label)	15	100	false(label)	0.12	3.0	false(label)	0.25	9.0	timeout	900	1000	unknown	5.1	220	false(label)	21	390
ssh-simplified/s3_srvr_11_false.cil.c	false(label)	14	260	false(label)	3.1	180	false(label)	26	120	false(label)	0.48	20	false(label)	0.27	10.0	timeout	900	570	unknown	5.3	220	timeout	920	1600
ssh-simplified/s3_srvr_12_false.cil.c	false(label)	3.4	100	false(label)	3.3	190	false(label)	33	130	false(label)	0.36	14	false(label)	0.33	13	timeout	900	490	unknown	5.9	220	false(label)	620	1600
ssh-simplified/s3_srvr_13_false.cil.c	false(label)	3.2	98	false(label)	3.2	180	false(label)	26	130	false(label)	0.31	12	false(label)	0.27	9.0	timeout	900	490	unknown	5.4	220	false(label)	170	1200
ssh-simplified/s3_srvr_14_false.cil.c	false(label)	0.20	18	false(label)	4.5	230	false(label)	20	110	false(label)	0.16	4.0	false(label)	0.27	10.0	timeout	900	1100	unknown	5.3	220	false(label)	40	640
ssh-simplified/s3_srvr_1_false.cil.c	false(label)	3.0	98	false(label)	2.4	160	false(label)	22	120	false(label)	0.26	9.0	false(label)	0.50	13	timeout	900	1200	unknown	5.1	220	false(label)	240	700
ssh-simplified/s3_srvr_2_false.cil.c	false(label)	2.8	86	false(label)	2.4	160	false(label)	18	110	false(label)	0.26	9.0	false(label)	2.2	21	timeout	900	1100	unknown	5.0	220	false(label)	230	700
ssh-simplified/s3_srvr_6_false.cil.c	false(label)	0.21	19	false(label)	19	1100	false(label)	21	120	false(label)	0.13	3.0	false(label)	14	40	timeout	900	920	false(label)	7.3	260	false(label)	14	380
ssh-simplified/s3_clnt_1_true.cil.c	true	88	1500	true	3.5	180	true	3.4	87	true	0.74	18	false(label)	19	40	true	1.6	10.0	unknown	4.6	220	timeout	920	1800
ssh-simplified/s3_clnt_2_true.cil.c	true	90	1500	true	3.6	180	true	4.2	91	true	0.74	18	false(label)	3.4	19	true	1.3	10.0	unknown	4.6	220	timeout	920	1600
ssh-simplified/s3_clnt_3_true.cil.c	true	110	1900	true	3.7	180	true	3.9	110	true	0.76	18	false(label)	8.8	31	true	1.3	10.0	unknown	4.8	220	timeout	920	1600
ssh-simplified/s3_clnt_4_true.cil.c	true	90	1500	true	3.5	180	true	3.6	90	true	0.73	18	true	50	59	true	1.3	10.0	unknown	4.6	220	true	810	1600
ssh-simplified/s3_srvr_1_true.cil.c	true	160	1700	true	4.6	200	true	3.9	110	true	1.3	20	false(label)	4.2	19	timeout	900	1100	unknown	5.0	220	timeout	920	1600
ssh-simplified/s3_srvr_1a_true.cil.c	true	3.4	54	true	1.8	97	true	0.69	18	true	0.33	7.0	false(label)	0.13	4.0	timeout	900	360	unknown	2.8	200	true	110	370
ssh-simplified/s3_srvr_1b_true.cil.c	true	1.3	25	true	1.6	96	true	0.48	15	true	0.29	4.0	true	0.13	3.0	timeout	900	970	unknown	2.4	160	true	6.0	240
ssh-simplified/s3_srvr_2_true.cil.c	true	200	1900	true	4.4	180	true	3.9	110	true	0.99	26	false(label)	5.6	28	timeout	900	1100	unknown	4.9	220	timeout	920	1600
ssh-simplified/s3_srvr_3_true.cil.c	true	210	1900	true	13	250	true	4.0	110	true	0.92	26	false(label)	1.9	19	timeout	900	1100	unknown	5.0	220	true	160	1200
ssh-simplified/s3_srvr_4_true.cil.c	true	210	1900	true	14	260	true	3.8	110	true	0.96	22	false(label)	4.8	30	timeout	900	1100	unknown	5.0	220	true	170	1200
ssh-simplified/s3_srvr_6_true.cil.c	true	230	2000	true	24	1100	true	4.3	110	true	1.0	24	false(label)	14	40	timeout	900	1100	unknown	5.5	220	timeout	920	1100
ssh-simplified/s3_srvr_7_true.cil.c	true	210	2000	true	24	1100	true	4.3	110	true	1.0	27	false(label)	8.3	32	timeout	900	1100	unknown	5.1	220	timeout	920	1100
ssh-simplified/s3_srvr_8_true.cil.c	true	220	1900	true	4.7	200	true	4.1	110	true	0.96	27	false(label)	1.7	15	timeout	900	1100	unknown	5.1	220	true	290	1600
locks/test_locks_14_false.c	false(label)	0.22	17	false(label)	2.0	140	false(label)	1.4	28	false(label)	0.14	3.0	false(label)	0.11	4.0	timeout	900	1100	false(label)	3.4	210	false(label)	12	410
locks/test_locks_15_false.c	false(label)	0.21	17	false(label)	2.0	140	false(label)	1.5	30	false(label)	0.12	3.0	false(label)	0.12	4.0	timeout	900	1100	false(label)	4.1	210	false(label)	14	410
locks/test_locks_10_true.c	true	5.6	86	true	53	680	true	0.54	19	true	0.35	6.0	true	340	52	timeout	900	1100	true	12	850	true	6.9	250
locks/test_locks_11_true.c	true	7.0	100	true	53	690	true	0.60	20	true	0.33	6.0	timeout	900	140	timeout	900	1100	true	19	1600	true	7.4	260
locks/test_locks_12_true.c	true	8.7	120	true	53	680	true	0.62	22	true	0.36	7.0	timeout	900	110	timeout	900	1100	true	34	2800	true	8.3	320
locks/test_locks_13_true.c	true	11	140	true	52	690	true	0.66	24	true	0.39	7.0	timeout	900	82	timeout	900	1100	true	64	4300	true	9.5	390
locks/test_locks_14_true.c	true	14	150	true	52	1100	true	0.68	25	true	0.39	7.0	timeout	900	78	timeout	900	1100	true	200	6800	true	11	400
locks/test_locks_15_true.c	true	15	170	true	53	1100	true	0.77	27	true	0.40	8.0	timeout	900	59	timeout	900	1100	true	470	9000	true	12	420
locks/test_locks_5_true.c	true	1.6	30	true	2.1	110	true	0.43	14	true	0.26	4.0	true	0.25	4.0	timeout	900	1100	true	4.8	250	true	3.8	210
locks/test_locks_6_true.c	true	2.4	39	true	2.7	170	true	0.42	15	true	0.27	5.0	true	1.0	6.0	timeout	900	1100	true	6.3	260	true	4.5	220
locks/test_locks_7_true.c	true	2.8	49	true	5.0	200	true	0.45	15	true	0.29	5.0	true	8.2	10.0	timeout	900	1100	true	7.4	360	true	5.1	240
locks/test_locks_8_true.c	true	3.6	60	true	21	600	true	0.48	17	true	0.34	5.0	true	33	15	timeout	900	1100	true	8.3	380	true	5.7	240
locks/test_locks_9_true.c	true	4.5	72	true	53	1100	true	0.52	17	true	0.30	6.0	true	110	23	timeout	900	1100	true	9.9	460	true	6.1	240
eca/Problem01_20_false.c	false(label)	150	270	false(label)	5.3	210	false(label)	33	120	false(label)	12	220	timeout	900	11000	timeout	900	680	false(label)	140	890	timeout	910	9900
eca/Problem01_50_false.c	false(label)	22	120	false(label)	4.8	200	false(label)	33	120	false(label)	5.1	120	timeout	900	11000	timeout	900	680	false(label)	110	480	timeout	910	11000
eca/Problem01_60_false.c	false(label)	0.56	24	false(label)	2.8	160	false(label)	30	120	false(label)	0.45	18	false(label)	16	250	timeout	900	590	false(label)	32	290	false(label)	47	570
eca/Problem02_50_false.c	false(label)	16	100	false(label)	5.9	250	false(label)	32	120	false(label)	2.0	55	timeout	900	14000	timeout	900	600	false(label)	57	590	timeout	920	9500
eca/Problem02_60_false.c	false(label)	16	100	false(label)	5.4	210	false(label)	31	110	false(label)	2.0	52	timeout	900	14000	timeout	900	600	false(label)	67	450	timeout	920	9400
eca/Problem03_50_false.c	false(label)	290	710	false(label)	10.0	530	false(label)	660	530	false(label)	30	800	timeout	900	3500	timeout	910	2400	false(label)	340	3600	timeout	920	10000
eca/Problem03_60_false.c	false(label)	4.1	75	false(label)	5.3	270	false(label)	580	510	false(label)	1.5	45	false(label)	780	3100	timeout	910	2400	false(label)	130	910	false(label)	630	900
eca/Problem04_40_false.c	true	850	2600	false(label)	200	4500	true	900	1200	true	270	1200	timeout	900	310	true	360	2300	timeout	920	4200	timeout	920	11000
eca/Problem04_60_false.c	false(label)	14	130	false(label)	8.7	270	false(label)	900	700	false(label)	6.8	130	timeout	900	310	false(label)	830	2500	false(label)	870	1100	timeout	920	2400
eca/Problem05_00_false.c	true	850	3000	false(label)	200	4400	unknown	900	1600	false(label)	240	1500	timeout	900	770	true	280	2300	timeout	920	790	timeout	920	820
eca/Problem05_30_false.c	true	850	3000	false(label)	210	4600	unknown	900	1600	false(label)	220	1500	timeout	900	770	true	280	2300	timeout	920	810	timeout	920	820
eca/Problem05_40_false.c	true	850	3100	false(label)	180	4000	unknown	900	1600	false(label)	240	1500	timeout	900	770	true	270	2200	timeout	920	810	timeout	920	830
eca/Problem05_60_false.c	false(label)	31	230	false(label)	14	320	unknown	900	1600	false(label)	31	250	timeout	900	770	false(label)	420	2300	timeout	920	810	timeout	920	830
eca/Problem06_00_false.c	true	850	2800	false(label)	160	3500	unknown	900	2000	false(label)	200	4200	timeout	900	520	true	260	2200	timeout	920	790	timeout	920	790
eca/Problem06_10_false.c	true	850	2900	false(label)	160	3700	unknown	900	2000	false(label)	200	4200	timeout	900	520	true	260	2200	timeout	920	800	timeout	920	810
eca/Problem06_20_false.c	true	850	2800	false(label)	180	3800	unknown	900	2000	false(label)	190	4200	timeout	900	520	false(label)	260	2200	timeout	920	800	timeout	920	810
eca/Problem06_60_false.c	false(label)	15	190	false(label)	13	290	unknown	900	1900	false(label)	34	220	timeout	900	520	false(label)	320	2200	timeout	920	800	timeout	920	800
eca/Problem07_20_false.c	true	850	1700	timeout	900	5300	unknown	900	6900	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2200	timeout	920	2400
eca/Problem07_30_false.c	true	850	1300	timeout	900	5600	unknown	900	6900	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2200	timeout	920	2400
eca/Problem07_40_false.c	true	850	1300	timeout	900	5900	unknown	900	6900	timeout	920	13000	timeout	900	1200	true	370	2100	timeout	920	2200	timeout	920	2300
eca/Problem07_60_false.c	false(label)	550	1700	false(label)	33	1500	unknown	900	6900	timeout	910	1800	timeout	900	1200	false(label)	390	2100	timeout	920	2200	timeout	920	2400
eca/Problem08_10_false.c	unknown	850	2500	timeout	900	5900	unknown	900	15000	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	2500	timeout	920	2500
eca/Problem08_50_false.c	unknown	850	2500	timeout	900	8100	unknown	900	15000	unknown	660	15000	timeout	900	1700	true	700	4200	timeout	920	2500	timeout	920	2500
eca/Problem08_60_false.c	unknown	850	2500	false(label)	400	6900	unknown	900	15000	timeout	920	3500	timeout	900	1700	false(label)	710	4200	timeout	920	2500	timeout	920	2500
eca/Problem09_10_false.c	unknown	850	2700	timeout	900	5800	unknown	190	15000	unknown	850	15000	timeout	900	2100	timeout	910	5200	timeout	920	2800	timeout	920	2800
eca/Problem09_20_false.c	unknown	850	2700	timeout	900	6700	unknown	190	15000	unknown	860	15000	timeout	900	2100	timeout	910	5200	timeout	920	2700	timeout	920	2800
eca/Problem09_60_false.c	unknown	850	2700	timeout	900	6100	unknown	190	15000	timeout	920	3900	timeout	900	2100	timeout	910	5200	timeout	920	2900	timeout	920	2800
eca/Problem10_30_false.c	true	850	1300	timeout	900	3800	true	480	1400	true	79	580	timeout	900	5600	timeout	900	710	false(label)	99	1100	timeout	910	11000
eca/Problem10_40_false.c	true	850	1000	timeout	900	3700	true	850	1400	true	75	580	false(label)	240	2800	timeout	900	710	true	75	750	timeout	910	8900
eca/Problem10_50_false.c	false(label)	76	290	false(label)	40	2300	false(label)	420	1400	false(label)	5.0	200	false(label)	170	2200	timeout	900	710	timeout	920	1500	timeout	910	9500
eca/Problem10_60_false.c	false(label)	35	290	false(label)	41	2200	false(label)	160	1400	false(label)	4.8	200	timeout	900	5600	timeout	900	690	false(label)	120	1300	timeout	910	10000
eca/Problem11_00_false.c	false(label)	270	690	timeout	900	4200	unknown	900	1600	false(label)	16	540	timeout	900	8200	timeout	900	1800	timeout	920	700	timeout	920	9500
eca/Problem11_10_false.c	true	850	1700	timeout	900	4500	unknown	900	1600	true	810	1600	timeout	900	8300	timeout	900	1800	unknown	170	3300	timeout	920	10000
eca/Problem11_20_false.c	false(label)	210	690	timeout	900	4100	false(label)	900	2600	false(label)	14	530	timeout	900	8200	timeout	900	1800	timeout	920	1800	timeout	920	9600
eca/Problem11_30_false.c	true	850	1700	timeout	900	4500	unknown	900	1600	true	620	1600	timeout	900	8300	timeout	900	1800	timeout	920	930	timeout	920	9400
eca/Problem11_40_false.c	true	850	1700	timeout	900	4200	unknown	900	1600	timeout	920	1600	timeout	900	8200	timeout	900	1800	timeout	920	1300	timeout	920	9700
eca/Problem11_50_false.c	true	850	1700	timeout	900	4500	unknown	900	1600	timeout	920	1600	timeout	900	8200	timeout	900	1800	timeout	920	1300	timeout	920	9600
eca/Problem11_60_false.c	true	850	1700	timeout	900	4100	unknown	900	1700	true	670	1600	timeout	900	8300	timeout	900	1800	true	110	1400	timeout	920	9500
eca/Problem12_00_false.c	true	850	2500	timeout	900	6300	unknown	900	4800	false(label)	66	1600	timeout	900	160	false(label)	470	2400	timeout	920	5600	timeout	920	11000
eca/Problem12_10_false.c	true	850	2500	timeout	900	6200	unknown	900	4800	false(label)	76	1600	timeout	900	160	false(label)	470	2400	timeout	920	5100	unknown	400	8800
eca/Problem12_20_false.c	true	850	2500	timeout	900	6000	unknown	900	4800	false(label)	61	1600	timeout	900	160	true	470	2400	timeout	920	5800	timeout	920	11000
eca/Problem12_30_false.c	true	850	2500	timeout	900	6100	false(label)	900	4800	false(label)	180	1600	timeout	900	160	false(label)	470	2400	unknown	380	2600	timeout	920	12000
eca/Problem12_40_false.c	true	850	2500	timeout	900	5900	unknown	900	4800	false(label)	61	1600	timeout	900	160	false(label)	470	2400	timeout	920	5800	timeout	920	11000
eca/Problem12_50_false.c	true	850	2500	timeout	900	6300	unknown	900	4800	false(label)	69	1600	timeout	900	160	false(label)	470	2400	timeout	920	4600	timeout	920	11000
eca/Problem12_60_false.c	false(label)	29	240	false(label)	8.1	300	false(label)	900	8500	false(label)	2.1	99	timeout	900	160	false(label)	680	2400	false(label)	450	780	timeout	920	2400
eca/Problem13_00_false.c	true	850	2700	timeout	900	5800	unknown	900	8000	timeout	920	4700	timeout	900	180	true	390	2400	unknown	590	3100	timeout	920	10000
eca/Problem13_10_false.c	true	850	2700	timeout	900	5800	unknown	900	8000	timeout	920	4700	timeout	900	180	true	390	2400	unknown	580	2900	timeout	920	10000
eca/Problem13_20_false.c	true	850	2700	timeout	900	8400	unknown	900	8000	timeout	920	7700	timeout	900	180	true	390	2400	unknown	580	3000	timeout	920	690
eca/Problem13_30_false.c	true	850	2700	timeout	900	8700	unknown	900	8000	false(label)	110	2700	timeout	900	180	false(label)	390	2400	unknown	570	2800	timeout	920	9600
eca/Problem13_40_false.c	true	850	2700	false(label)	9.6	330	unknown	900	8000	false(label)	79	2700	timeout	900	180	false(label)	390	2400	unknown	580	2900	timeout	920	10000
eca/Problem13_50_false.c	true	850	2700	timeout	900	5800	unknown	900	8000	timeout	920	4700	timeout	900	180	true	390	2400	unknown	590	3200	timeout	920	9300
eca/Problem13_60_false.c	false(label)	25	200	false(label)	50	2400	unknown	900	7900	false(label)	3.6	120	timeout	900	180	false(label)	480	2400	unknown	570	2800	timeout	920	2600
eca/Problem14_10_false.c	false(label)	270	790	false(label)	38	2200	false(label)	650	1700	false(label)	74	720	timeout	900	9800	timeout	900	2100	false(label)	130	670	timeout	920	9600
eca/Problem14_40_false.c	true	850	1200	false(label)	37	2200	false(label)	610	1700	true	110	720	timeout	900	9800	timeout	900	2100	false(label)	130	590	timeout	920	9500
eca/Problem14_60_false.c	false(label)	0.36	24	false(label)	3.4	180	false(label)	130	1600	false(label)	0.49	19	false(label)	360	4500	timeout	900	830	false(label)	38	310	false(label)	53	380
eca/Problem15_00_false.c	true	850	1700	timeout	900	5000	false(label)	900	6100	false(label)	31	1200	timeout	900	92	false(label)	790	2500	timeout	920	1100	timeout	920	11000
eca/Problem15_10_false.c	true	850	1700	timeout	900	4800	unknown	900	3600	timeout	920	3600	timeout	900	92	true	790	2500	timeout	920	2200	timeout	920	11000
eca/Problem15_20_false.c	true	850	1700	timeout	900	4800	unknown	900	3600	timeout	920	3600	timeout	900	92	true	790	2500	timeout	920	1900	timeout	920	11000
eca/Problem15_30_false.c	true	850	1700	false(label)	48	2700	false(label)	900	6100	false(label)	48	1200	timeout	900	92	false(label)	790	2500	timeout	920	1200	timeout	920	11000
eca/Problem15_40_false.c	true	850	1700	false(label)	41	2300	unknown	900	3600	false(label)	55	1200	timeout	900	92	false(label)	790	2500	timeout	920	1900	timeout	920	11000
eca/Problem15_50_false.c	true	850	1700	false(label)	47	2700	false(label)	900	6100	false(label)	38	1200	timeout	900	92	false(label)	790	2500	timeout	920	1100	timeout	920	11000
eca/Problem15_60_false.c	false(label)	1.2	41	false(label)	4.6	190	false(label)	900	8700	false(label)	1.1	40	timeout	900	92	timeout	900	2500	false(label)	90	400	timeout	920	1000
eca/Problem16_00_false.c	true	850	1200	timeout	900	4300	unknown	900	1600	timeout	920	1400	timeout	900	140	timeout	900	2500	timeout	920	680	timeout	920	11000
eca/Problem16_08_false.c	true	850	1200	timeout	900	9400	true	900	3400	true	250	1600	timeout	900	140	timeout	900	2500	timeout	920	1500	timeout	920	11000
eca/Problem16_20_false.c	true	850	1200	timeout	900	8100	true	900	3400	true	260	1600	timeout	900	140	timeout	900	2500	timeout	920	1500	timeout	920	11000
eca/Problem16_30_false.c	true	850	1200	timeout	900	7600	true	900	3300	true	280	1600	timeout	900	140	timeout	900	2500	unknown	140	2900	timeout	920	11000
eca/Problem16_40_false.c	true	850	1200	timeout	900	7500	true	280	3300	true	200	1600	timeout	900	140	timeout	900	2500	true	200	1400	timeout	920	11000
eca/Problem16_60_false.c	false(label)	1.7	48	false(label)	4.2	190	false(label)	740	3300	false(label)	0.83	36	timeout	900	140	timeout	900	2300	false(label)	97	660	false(label)	340	960
eca/Problem17_00_false.c	true	850	3500	timeout	900	6200	unknown	900	6300	timeout	920	3800	unknown	780	4300	true	780	2500	timeout	920	2100	unknown	220	1000
eca/Problem17_10_false.c	true	850	3500	timeout	900	6100	unknown	900	6200	timeout	920	3800	unknown	790	4300	true	780	2500	timeout	920	2100	timeout	920	11000
eca/Problem17_20_false.c	true	850	3500	timeout	900	8400	unknown	900	6200	false(label)	170	2400	unknown	790	4300	false(label)	770	2500	timeout	920	3000	timeout	920	11000
eca/Problem17_30_false.c	true	850	3500	timeout	900	8400	false(label)	900	10000	false(label)	79	2400	unknown	790	4300	false(label)	780	2500	unknown	170	2600	timeout	920	11000
eca/Problem17_40_false.c	true	850	3500	timeout	900	8400	unknown	900	6200	false(label)	71	2400	unknown	790	4300	false(label)	790	2500	timeout	920	2100	unknown	260	1200
eca/Problem17_50_false.c	true	850	3500	timeout	900	8400	unknown	900	6200	false(label)	160	2400	unknown	790	4300	false(label)	790	2500	timeout	920	2600	timeout	920	11000
eca/Problem17_60_false.c	false(label)	20	220	false(label)	7.6	310	false(label)	900	10000	false(label)	2.0	65	unknown	790	4300	timeout	900	2500	false(label)	200	1300	false(label)	330	1500
eca/Problem18_00_false.c	true	850	2100	timeout	900	7000	false(label)	900	4700	false(label)	98	1500	timeout	900	2100	true	850	2600	timeout	920	4300	timeout	920	12000
eca/Problem18_10_false.c	true	850	2100	timeout	900	7100	false(label)	900	4700	false(label)	85	1500	timeout	900	2100	true	800	2500	timeout	920	3900	timeout	920	11000
eca/Problem18_20_false.c	true	850	2100	timeout	900	5900	false(label)	900	4700	false(label)	76	1500	timeout	900	2100	true	840	2500	timeout	920	3800	timeout	920	11000
eca/Problem18_30_false.c	true	850	2100	timeout	900	6700	true	900	6600	true	400	3100	timeout	900	2100	true	830	2500	true	660	4500	timeout	920	11000
eca/Problem18_40_false.c	true	850	2100	timeout	900	5800	true	900	4800	true	470	3100	timeout	900	2100	timeout	900	2600	true	460	3700	timeout	920	11000
eca/Problem18_50_false.c	true	850	2100	timeout	900	5900	true	900	6500	true	410	3100	timeout	900	2100	true	830	2500	true	570	4000	timeout	920	11000
eca/Problem18_60_false.c	false(label)	1.4	60	false(label)	5.6	210	false(label)	900	4700	false(label)	1.7	73	false(label)	64	88	timeout	900	2400	false(label)	370	1700	timeout	920	2100
eca/Problem19_00_false.c	true	850	2900	timeout	900	12000	unknown	900	13000	timeout	920	8400	timeout	900	250	true	150	2200	timeout	920	800	timeout	920	820
eca/Problem19_10_false.c	true	850	2900	timeout	900	12000	unknown	900	13000	timeout	920	8400	timeout	900	250	true	150	2200	timeout	920	780	timeout	920	830
eca/Problem19_20_false.c	true	850	2900	timeout	900	12000	unknown	900	13000	timeout	920	8400	timeout	900	250	true	150	2200	timeout	920	790	timeout	920	820
eca/Problem19_30_false.c	true	850	2900	timeout	900	12000	unknown	900	13000	timeout	920	8400	timeout	900	250	true	150	2200	timeout	920	790	timeout	920	830
eca/Problem19_38_false.c	true	850	2900	timeout	900	7200	unknown	900	14000	timeout	920	8400	timeout	900	250	true	150	2200	timeout	920	790	timeout	920	830
eca/Problem19_50_false.c	true	850	2900	timeout	900	15000	unknown	900	13000	timeout	920	8400	timeout	900	250	false(label)	150	2200	timeout	920	790	timeout	920	820
eca/Problem19_60_false.c	false(label)	24	180	false(label)	9.6	270	unknown	900	13000	false(label)	8.1	180	timeout	900	250	false(label)	470	2300	timeout	920	790	timeout	920	820
eca/Problem01_00_true.c	true	850	430	true	4.5	210	true	4.6	110	true	64	440	timeout	900	11000	timeout	900	680	true	32	300	timeout	920	10000
eca/Problem01_10_true.c	true	850	430	true	4.5	220	true	4.2	110	true	64	440	timeout	900	11000	timeout	900	680	true	43	330	timeout	920	10000
eca/Problem01_30_true.c	true	850	420	true	4.6	220	true	4.0	110	true	64	440	timeout	900	11000	timeout	900	680	true	45	310	timeout	920	10000
eca/Problem01_40_true.c	true	850	430	true	4.5	220	true	5.9	110	true	64	440	timeout	900	11000	timeout	900	680	true	35	300	timeout	910	9600
eca/Problem02_00_true.c	true	850	470	true	4.3	220	true	6.3	110	true	19	140	timeout	900	14000	timeout	900	600	true	32	300	timeout	920	9500
eca/Problem02_10_true.c	true	850	470	true	4.3	220	true	4.8	110	true	19	140	timeout	900	14000	timeout	900	600	true	38	360	timeout	920	11000
eca/Problem02_20_true.c	true	850	470	true	4.3	220	true	4.8	110	true	19	140	timeout	900	14000	timeout	900	600	true	36	310	timeout	920	10000
eca/Problem02_30_true.c	true	850	470	true	4.3	220	true	5.4	110	true	19	140	timeout	900	14000	timeout	900	600	true	43	370	timeout	920	10000
eca/Problem02_40_true.c	true	850	470	true	4.3	220	true	5.0	110	true	19	140	timeout	900	14000	timeout	900	600	true	37	330	timeout	920	9700
eca/Problem03_00_true.c	true	850	880	true	7.8	500	true	380	510	true	480	3100	timeout	900	3500	timeout	910	2400	unknown	710	6400	timeout	920	10000
eca/Problem03_10_true.c	true	850	870	true	7.8	500	true	82	490	true	470	3100	timeout	900	3500	timeout	910	2400	true	160	1300	timeout	920	10000
eca/Problem03_20_true.c	true	850	880	true	7.9	500	true	290	510	true	480	3100	timeout	900	3500	timeout	910	2400	timeout	920	10000	timeout	920	9800
eca/Problem03_30_true.c	true	850	870	true	7.8	510	true	91	500	true	470	3100	timeout	900	3500	timeout	910	2400	true	110	810	timeout	920	10000
eca/Problem03_40_true.c	true	850	870	true	7.9	500	true	81	490	true	470	3100	timeout	900	3500	timeout	910	2400	true	180	1900	timeout	920	11000
eca/Problem04_00_true.c	true	850	2600	true	100	3300	true	900	1200	true	260	1200	timeout	900	310	true	360	2300	timeout	920	4500	timeout	920	11000
eca/Problem04_10_true.c	true	850	2600	true	85	2800	true	400	1200	true	260	1200	timeout	900	310	true	370	2300	timeout	920	2800	timeout	920	11000
eca/Problem04_20_true.c	true	850	2600	true	110	3200	true	520	1200	true	260	1200	timeout	900	310	true	360	2300	timeout	920	4300	timeout	920	11000
eca/Problem04_30_true.c	true	850	2600	true	110	3300	true	510	1200	true	260	1200	timeout	900	310	true	360	2300	timeout	920	4500	timeout	920	11000
eca/Problem04_50_true.c	true	850	2600	true	110	3000	true	750	1200	true	260	1200	timeout	900	310	true	370	2300	timeout	920	4200	timeout	920	11000
eca/Problem05_10_true.c	true	850	3000	true	150	3500	true	900	2200	true	700	2500	timeout	900	770	true	290	2300	timeout	920	810	timeout	920	830
eca/Problem05_20_true.c	true	850	3000	true	180	3600	true	900	2200	true	670	2500	timeout	900	770	true	280	2200	timeout	920	800	timeout	920	830
eca/Problem05_50_true.c	true	850	3000	true	150	3400	true	900	2200	true	690	2500	timeout	900	770	true	280	2300	timeout	920	810	timeout	920	820
eca/Problem06_30_true.c	true	850	2900	true	150	3100	unknown	900	2000	timeout	920	15000	timeout	900	520	true	260	2200	timeout	920	800	timeout	920	810
eca/Problem06_40_true.c	true	850	2800	true	150	3100	unknown	900	2000	timeout	920	15000	timeout	900	520	true	250	2200	timeout	920	790	timeout	920	810
eca/Problem06_50_true.c	true	850	2800	true	280	4600	unknown	900	2000	timeout	920	15000	timeout	900	520	true	260	2200	timeout	920	790	timeout	920	800
eca/Problem07_00_true.c	true	850	1700	timeout	900	5300	unknown	900	6900	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2100	timeout	920	2400
eca/Problem07_10_true.c	true	850	1700	timeout	900	5000	unknown	900	6900	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2200	timeout	920	2400
eca/Problem07_50_true.c	true	850	1700	timeout	900	5100	unknown	900	6900	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2100	timeout	920	2400
eca/Problem08_00_true.c	unknown	850	2500	timeout	900	5700	unknown	900	15000	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	2500	timeout	920	2500
eca/Problem08_20_true.c	unknown	850	2500	timeout	900	8500	unknown	900	15000	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	2500	timeout	920	2800
eca/Problem08_30_true.c	unknown	850	2500	timeout	900	8300	unknown	900	15000	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	2500	timeout	920	2500
eca/Problem08_40_true.c	unknown	850	2500	timeout	900	6000	unknown	900	15000	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	2500	timeout	920	2500
eca/Problem09_00_true.c	unknown	850	2700	timeout	900	6300	unknown	190	15000	unknown	860	15000	timeout	900	2100	timeout	910	5200	timeout	920	2900	timeout	920	2800
eca/Problem09_30_true.c	unknown	850	2700	timeout	900	6300	unknown	190	15000	unknown	850	15000	timeout	900	2100	timeout	910	5200	timeout	920	2900	timeout	920	2800
eca/Problem09_40_true.c	unknown	850	2700	timeout	900	6300	unknown	190	15000	unknown	850	15000	timeout	900	2100	timeout	910	5200	timeout	920	2800	timeout	920	2800
eca/Problem09_50_true.c	unknown	850	2700	timeout	900	6300	unknown	180	15000	unknown	850	15000	timeout	900	2100	timeout	910	5100	timeout	920	2800	timeout	920	2800
eca/Problem10_00_true.c	true	850	1300	true	69	3500	true	45	1300	true	70	580	timeout	900	5600	timeout	900	710	true	120	1300	timeout	910	9900
eca/Problem10_10_true.c	true	850	1300	true	36	2200	true	32	1300	true	70	580	timeout	900	5600	timeout	900	710	true	76	610	timeout	910	10000
eca/Problem10_20_true.c	true	850	1300	true	37	2200	true	42	1300	true	70	580	timeout	900	5600	timeout	900	710	true	68	690	timeout	910	11000
eca/Problem14_00_true.c	true	850	1200	true	65	3200	true	120	1600	true	85	720	timeout	900	9800	timeout	900	2100	true	64	600	timeout	920	9100
eca/Problem14_20_true.c	true	850	1200	true	31	1800	true	50	1600	true	80	720	timeout	900	9800	timeout	900	2100	true	96	1100	timeout	920	9200
eca/Problem14_30_true.c	true	850	1200	true	32	1800	true	59	1600	true	80	720	timeout	900	9800	timeout	900	2100	true	120	1200	timeout	920	10000
eca/Problem14_50_true.c	true	850	1200	true	66	3200	true	94	1600	true	86	720	timeout	900	9800	timeout	900	2100	timeout	920	1600	timeout	920	9500
eca/Problem16_50_true.c	true	850	1200	true	65	3700	true	120	3300	true	200	1600	timeout	900	140	timeout	900	2500	true	200	1400	timeout	920	11000
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false.cil.out.i.pp.i	false(label)	5.7	430	false(label)	63	2600	false(label)	130	2500	unknown	0.07	0	unknown	12	100	unknown	870	15000	unknown	6.7	270	unknown	6.9	270
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false.cil.out.i.pp.i	unknown	220	13000	false(label)	67	3000	true	900	2400	unknown	0.07	0	unknown	0.81	14	unknown	5.1	240	unknown	2.7	140	unknown	2.9	150
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false.cil.out.i.pp.i	true	850	570	false(label)	6.3	250	unknown	900	2300	unknown	0.06	0	unknown	3.5	20	true	13	340	unknown	3.0	150	unknown	3.1	160
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false.cil.out.i.pp.i	false(label)	27	1200	timeout	900	2300	unknown	900	2400	unknown	0.06	0	unknown	0.84	38	unknown	75	890	unknown	3.9	170	unknown	4.1	170
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false.cil.out.i.pp.i	unknown	1.3	120	false(label)	280	3300	unknown	900	1700	unknown	0.07	0	unknown	2.2	39	unknown	180	2300	unknown	3.9	170	unknown	4.0	180
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false.cil.out.i.pp.i	unknown	850	430	false(label)	29	700	unknown	900	3100	unknown	0.10	0	unknown	2.0	22	unknown	14	320	unknown	3.1	150	unknown	3.3	160
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false.cil.out.i.pp.i	true	850	1100	exception	93	2000	true	2.0	120	unknown	0.07	0	unknown	1.5	16	unknown	5.5	140	unknown	2.8	140	unknown	2.9	150
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false.cil.out.i.pp.i	unknown	850	840	timeout	900	5100	unknown	900	1500	unknown	0.07	0	unknown	2.3	31	true	71	1100	unknown	3.7	160	unknown	3.8	160
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false.cil.out.i.pp.i	unknown	850	6200	false(label)	370	2800	false(label)	14	730	unknown	0.06	0	unknown	6.1	76	unknown	840	15000	unknown	4.4	230	unknown	4.5	220
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false.cil.out.i.pp.i	false(label)	5.4	190	false(label)	61	3700	unknown	2.3	96	unknown	0.10	0	unknown	0.74	7.0	unknown	0.60	8.0	unknown	2.5	130	unknown	2.6	140
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false.cil.out.i.pp.i	true	850	790	false(label)	100	3800	unknown	4.0	150	unknown	0.07	0	unknown	0.90	9.0	unknown	0.40	10.0	unknown	2.5	130	unknown	2.6	140
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false.cil.out.i.pp.i	true	850	1100	false(label)	5.3	250	false(label)	900	1600	unknown	0.07	0	unknown	1.4	16	timeout	900	140	unknown	3.1	150	unknown	3.3	150
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false.cil.out.i.pp.i	unknown	850	11000	false(label)	200	2800	false(label)	210	800	unknown	0.07	0	unknown	1.2	11	unknown	1.1	35	unknown	2.7	140	unknown	2.7	140
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false.cil.out.i.pp.i	unknown	0.69	49	false(label)	68	3700	false(label)	80	570	unknown	0.10	0	unknown	1.3	12	unknown	0.68	25	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false.cil.out.i.pp.i	false(label)	75	560	false(label)	63	1400	true	8.1	190	unknown	0.06	0	unknown	0.73	11	unknown	0.50	18	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false.cil.out.i.pp.i	false(label)	3.9	260	false(label)	29	1100	false(label)	420	7000	unknown	0.07	0	unknown	1.1	11	unknown	0.81	36	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true.cil.out.i.pp.i	unknown	850	890	true	28	1200	unknown	900	2500	unknown	0.10	0	unknown	2.3	22	unknown	13	370	unknown	3.4	160	unknown	3.5	170
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true.cil.out.i.pp.i	true	850	550	true	69	1300	true	900	5700	unknown	0.10	0	unknown	12	100	unknown	900	15000	unknown	6.2	260	unknown	6.4	250
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true.cil.out.i.pp.i	true	850	570	true	29	620	unknown	570	15000	unknown	0.07	0	timeout	900	310	true	2.0	62	unknown	2.6	140	unknown	2.7	140
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true.cil.out.i.pp.i	unknown	850	6700	true	25	630	unknown	840	15000	unknown	0.07	0	unknown	0.58	14	unknown	0.89	46	unknown	2.8	150	unknown	3.0	160
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true.cil.out.i.pp.i	true	850	1400	error (recursion)	5.9	200	true	900	5600	unknown	0.07	0	timeout	900	1300	unknown	0.95	33	unknown	2.8	140	unknown	2.9	150
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true.cil.out.i.pp.i	true	850	880	true	28	1300	true	80	2600	unknown	0.07	0	unknown	10	170	unknown	680	15000	unknown	5.2	250	unknown	5.4	240
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true.cil.out.i.pp.i	true	850	940	true	24	620	unknown	900	2400	unknown	0.07	0	unknown	0.17	8.0	unknown	0.58	9.0	unknown	2.4	120	unknown	2.5	130
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true.cil.out.i.pp.i	true	720	570	true	12	300	true	430	2600	unknown	0.07	0	unknown	0.33	19	true	1.8	80	unknown	2.8	150	unknown	2.9	150
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true.cil.out.i.pp.i	true	850	650	true	27	660	true	900	1900	unknown	0.07	0	unknown	2.2	28	unknown	28	250	unknown	3.6	160	unknown	3.8	170
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true.cil.out.i.pp.i	true	3.8	60	true	62	3600	true	0.95	58	unknown	0.07	0	unknown	0.19	7.0	timeout	900	1200	unknown	2.6	140	unknown	2.7	140
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true.cil.out.i.pp.i	unknown	850	130	true	38	1800	unknown	900	3000	unknown	0.07	0	unknown	1.2	17	unknown	12	210	unknown	3.4	140	unknown	3.0	150
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true.cil.out.i.pp.i	unknown	850	1500	true	29	680	unknown	900	1800	unknown	0.08	0	unknown	1.6	28	unknown	20	480	unknown	3.5	160	unknown	3.5	160
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true.cil.out.i.pp.i	true	850	690	true	28	1200	unknown	900	2300	unknown	0.07	0	unknown	0.86	23	unknown	17	330	unknown	3.4	160	unknown	3.6	170
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true.cil.out.i.pp.i	unknown	850	840	true	27	590	unknown	900	1900	unknown	0.07	0	unknown	0.53	14	unknown	4.8	150	unknown	2.7	140	unknown	2.7	140
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true.cil.out.i.pp.i	true	270	1200	true	55	3600	false(label)	5.0	130	unknown	0.06	0	unknown	0.74	7.0	timeout	900	1100	unknown	2.5	130	unknown	2.5	130
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true.cil.out.i.pp.i	true	850	450	true	28	970	unknown	900	14000	unknown	0.07	0	unknown	0.75	12	unknown	1.7	52	unknown	2.7	130	unknown	2.8	140
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true.cil.out.i.pp.i	true	850	690	true	28	300	true	180	1000	unknown	0.06	0	unknown	0.82	18	unknown	5.7	150	unknown	2.9	140	unknown	2.9	140
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true.cil.out.i.pp.i	true	850	560	true	31	1600	true	900	4700	unknown	0.06	0	unknown	1.1	10.0	true	0.63	24	unknown	2.6	130	unknown	2.8	140
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true.cil.out.i.pp.i	true	850	970	error (recursion)	4.5	200	unknown	900	1200	unknown	0.07	0	unknown	1.4	12	unknown	2.4	97	unknown	2.7	140	unknown	2.7	140
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true.cil.out.i.pp.i	unknown	850	700	true	28	260	unknown	900	1700	unknown	0.08	0	unknown	4.0	26	unknown	21	480	unknown	3.4	150	unknown	3.6	160
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true.cil.out.i.pp.i	true	380	620	true	56	3100	true	3.7	120	unknown	0.10	0	unknown	0.50	9.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true.cil.out.i.pp.i	true	850	580	false(label)	83	1200	unknown	900	2300	unknown	0.07	0	unknown	1.3	16	unknown	2.0	91	unknown	2.7	140	unknown	2.7	140
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true.cil.out.i.pp.i	true	850	610	timeout	900	9600	unknown	900	10000	unknown	0.06	0	unknown	1.4	10.0	unknown	0.58	27	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true.cil.out.i.pp.i	true	850	300	true	28	260	unknown	900	1700	unknown	0.07	0	unknown	5.0	21	unknown	19	430	unknown	3.4	150	unknown	3.6	160
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true.cil.out.i.pp.i	unknown	850	1200	true	26	280	true	170	2200	unknown	0.07	0	unknown	1.1	15	unknown	0.59	24	unknown	2.7	140	unknown	2.8	140
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	4800	false(label)	75	2200	unknown	900	4600	unknown	0.07	0	unknown	13	91	unknown	190	15000	unknown	6.6	250	unknown	6.7	250
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	61	13000	false(label)	42	1400	unknown	10	350	unknown	0.07	0	unknown	0.29	11	unknown	0.62	28	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	4200	false(label)	52	2000	unknown	900	5200	unknown	0.07	0	unknown	1.4	15	unknown	4.0	240	unknown	3.0	140	unknown	3.1	150
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c	false(label)	1.6	110	false(label)	8.8	260	false(label)	12	330	unknown	0.07	0	unknown	2.6	25	unknown	23	730	unknown	4.1	160	unknown	4.1	160
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	110	13000	false(label)	15	480	false(label)	900	2300	unknown	0.07	0	unknown	120	160	timeout	910	360	unknown	4.5	230	unknown	4.5	220
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	1200	false(label)	710	5200	unknown	900	1800	unknown	0.06	0	unknown	0.83	43	unknown	99	2600	unknown	3.9	170	unknown	4.0	180
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	64	13000	false(label)	27	420	false(label)	900	2600	unknown	0.07	0	unknown	0.29	19	timeout	900	240	unknown	3.0	140	unknown	3.0	140
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	59	12000	false(label)	35	880	false(label)	900	2900	unknown	0.07	0	unknown	1.00	18	true	3.6	230	unknown	3.4	150	unknown	3.5	160
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	false(label)	29	1300	false(label)	28	380	unknown	900	2400	unknown	0.07	0	unknown	1.0	26	unknown	61	1200	unknown	3.8	150	unknown	3.9	160
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	51	12000	false(label)	16	590	false(label)	900	2200	unknown	0.10	0	unknown	0.95	16	unknown	13	370	unknown	3.3	140	unknown	3.3	150
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	0.30	63	false(label)	8.1	520	unknown	0.58	78	unknown	0.07	0	unknown	0.24	17	timeout	910	320	unknown	3.4	150	unknown	3.4	150
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	2300	false(label)	54	2900	unknown	900	5000	unknown	0.08	0	unknown	6.8	86	unknown	300	15000	unknown	7.0	250	unknown	6.8	260
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c	unknown	0.25	41	false(label)	11	310	unknown	0.38	40	unknown	0.07	0	unknown	0.80	38	unknown	110	2800	unknown	4.2	170	unknown	4.2	170
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	49	14000	false(label)	3.9	200	false(label)	19	310	unknown	0.08	0	unknown	0.24	11	unknown	0.66	18	unknown	2.7	130	unknown	2.7	140
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	0.24	38	false(label)	12	300	unknown	0.36	36	unknown	0.10	0	unknown	1.0	33	unknown	61	1600	unknown	3.8	160	unknown	3.9	170
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c	unknown	79	12000	false(label)	37	550	unknown	900	2200	unknown	0.07	0	unknown	4.9	32	unknown	460	4500	unknown	4.2	170	unknown	4.2	170
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	2200	timeout	900	4300	true	750	9100	unknown	0.10	0	unknown	0.86	42	unknown	120	2300	unknown	4.1	170	unknown	4.0	180
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	7000	timeout	900	5900	unknown	900	3400	unknown	0.07	0	unknown	2.7	36	unknown	240	3300	unknown	4.1	170	unknown	4.3	180
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	190	12000	false(label)	39	2500	unknown	900	3900	unknown	0.07	0	unknown	1.5	20	unknown	25	610	unknown	3.5	150	unknown	3.6	160
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	2100	timeout	900	5500	unknown	900	3700	unknown	0.07	0	unknown	2.2	32	true	210	3700	unknown	4.5	190	unknown	5.2	180
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	240	870	false(label)	47	680	true	900	5100	unknown	0.07	0	unknown	0.48	15	timeout	910	1100	unknown	2.7	140	unknown	2.9	150
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	2000	false(label)	210	3900	unknown	900	3600	unknown	0.07	0	unknown	0.64	27	unknown	42	1300	unknown	3.9	160	unknown	4.0	170
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	2400	false(label)	32	850	unknown	10	470	unknown	0.07	0	unknown	1.9	37	unknown	50	1500	unknown	3.8	160	unknown	3.8	160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.6	72	true	23	660	true	1.2	67	unknown	0.07	0	unknown	0.15	9.0	unknown	0.64	23	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.9	33	true	2.3	120	true	0.64	41	unknown	0.07	0	unknown	0.14	6.0	true	0.37	7.0	unknown	2.3	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	13	82	true	2.4	130	true	0.96	50	unknown	0.07	0	unknown	0.13	7.0	timeout	900	1100	unknown	2.4	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1100	true	2.2	120	true	2.8	110	unknown	0.07	0	true	0.14	6.0	true	0.53	6.0	unknown	2.4	110	unknown	2.6	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	31	170	true	2.4	120	true	1.4	57	unknown	0.06	0	unknown	0.13	7.0	timeout	900	1100	unknown	2.4	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	18	140	true	2.7	140	true	1.3	62	unknown	0.07	0	unknown	0.33	7.0	unknown	0.62	8.0	unknown	2.6	130	unknown	2.7	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.0	45	true	2.5	140	true	0.91	54	unknown	0.07	0	unknown	0.50	9.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	160	520	true	2.8	150	true	1.0	65	unknown	0.07	0	unknown	0.65	8.0	true	0.73	10.0	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.4	27	true	6.4	220	true	0.63	28	unknown	0.07	0	unknown	0.53	9.0	true	0.29	6.0	unknown	2.2	110	unknown	2.3	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.1	69	true	2.5	140	true	1.2	65	unknown	0.07	0	unknown	0.12	7.0	true	0.40	8.0	unknown	2.5	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.94	23	true	2.0	110	true	0.46	27	unknown	0.10	0	unknown	0.11	5.0	true	0.26	3.0	unknown	2.2	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1100	true	23	1200	true	24	520	unknown	0.07	0	unknown	0.22	9.0	timeout	900	350	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1600	true	28	2000	true	900	2800	unknown	0.06	0	unknown	0.46	20	unknown	13	220	unknown	3.0	130	unknown	3.1	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1000	true	24	1100	true	58	980	unknown	0.06	0	unknown	0.55	13	timeout	900	350	unknown	2.5	120	unknown	2.6	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	960	true	24	1100	true	48	710	unknown	0.07	0	unknown	0.54	15	timeout	900	350	unknown	2.6	120	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	26	780	true	240	2700	unknown	0.10	0	unknown	0.48	17	timeout	900	350	unknown	2.7	130	unknown	3.2	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	24	760	true	150	2500	unknown	0.07	0	unknown	0.55	13	timeout	900	350	unknown	2.5	120	unknown	2.6	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1100	true	23	1200	true	22	460	unknown	0.06	0	unknown	0.22	8.0	timeout	900	350	unknown	2.2	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1300	true	24	1100	true	31	600	unknown	0.07	0	unknown	0.19	12	timeout	900	350	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1600	true	27	1500	true	110	1300	unknown	0.07	0	unknown	0.47	20	timeout	900	350	unknown	2.8	130	unknown	2.9	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1600	true	26	1500	true	110	1300	unknown	0.07	0	unknown	0.50	19	timeout	900	350	unknown	2.8	130	unknown	2.8	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1300	true	25	1200	true	570	3500	unknown	0.10	0	unknown	0.49	19	timeout	900	270	unknown	2.8	130	unknown	2.8	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	23	1200	true	18	460	unknown	0.07	0	unknown	0.22	8.0	timeout	900	350	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	25	1200	true	29	590	unknown	0.06	0	unknown	0.25	17	timeout	900	350	unknown	2.7	130	unknown	2.7	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	29	1100	true	210	2400	unknown	0.07	0	unknown	0.54	34	unknown	6.1	57	unknown	3.7	140	unknown	3.6	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	690	true	2.1	110	true	0.66	28	unknown	0.07	0	unknown	0.15	6.0	unknown	0.29	4.0	unknown	2.2	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	7.4	91	true	2.9	140	true	1.8	85	unknown	0.07	0	unknown	0.67	19	true	0.45	7.0	unknown	2.6	130	unknown	3.3	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.7	28	true	2.2	110	true	0.61	35	unknown	0.07	0	unknown	0.21	6.0	unknown	0.19	2.0	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	850	true	24	650	true	48	1100	unknown	0.07	0	unknown	0.34	11	true	1.8	50	unknown	2.5	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	150	1000	true	2.8	140	true	5.2	200	unknown	0.10	0	unknown	0.35	9.0	true	0.40	10.0	unknown	2.5	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	5.1	73	true	1.9	100	true	0.59	20	unknown	0.07	0	unknown	0.23	9.0	true	0.24	3.0	unknown	2.1	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.3	20	true	1.8	100	true	0.34	18	unknown	0.07	0	unknown	0.10	5.0	timeout	900	1100	unknown	2.1	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	390	620	true	5.5	190	true	5.8	140	unknown	0.07	0	unknown	0.39	11	timeout	900	1200	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.1	23	true	2.0	110	true	0.46	26	unknown	0.07	0	unknown	0.11	5.0	true	0.47	3.0	unknown	2.1	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	870	true	25	230	true	62	490	unknown	0.07	0	unknown	0.26	13	true	0.97	39	unknown	2.7	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	6.1	91	true	23	590	true	0.59	24	unknown	0.07	0	unknown	0.13	6.0	true	0.27	5.0	unknown	2.1	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	14	140	true	2.3	120	true	4.2	78	unknown	0.07	0	unknown	0.13	7.0	unknown	0.35	6.0	unknown	2.3	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.4	39	true	2.2	110	true	0.66	37	unknown	0.07	0	unknown	0.13	6.0	timeout	900	1200	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	11	120	true	2.3	120	true	4.1	73	unknown	0.07	0	unknown	0.16	6.0	unknown	0.55	6.0	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	13	140	true	2.0	110	true	0.97	45	unknown	0.07	0	unknown	0.29	6.0	timeout	900	1200	unknown	2.2	110	unknown	2.2	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	640	true	23	630	true	6.4	120	unknown	0.07	0	unknown	0.21	7.0	timeout	900	1200	unknown	2.2	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.6	39	true	2.6	140	true	0.75	55	unknown	0.06	0	true	0.17	7.0	timeout	900	1100	unknown	2.5	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	760	true	4.1	190	true	13	210	unknown	0.07	0	unknown	0.43	12	unknown	0.88	23	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.4	37	true	2.5	140	true	0.72	51	unknown	0.10	0	unknown	0.12	6.0	timeout	900	1100	unknown	2.5	130	unknown	2.7	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.5	32	true	2.2	120	true	0.58	39	unknown	0.07	0	unknown	0.11	6.0	timeout	900	1200	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	13	130	true	2.2	120	true	1.2	52	unknown	0.07	0	unknown	0.18	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	220	710	true	2.3	120	true	9.3	340	unknown	0.07	0	unknown	0.28	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.4	27	true	2.1	110	true	0.52	32	unknown	0.07	0	unknown	0.10	5.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	13	130	true	2.2	120	true	1.1	48	unknown	0.07	0	unknown	0.11	5.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	160	560	true	2.3	120	true	6.4	230	unknown	0.07	0	unknown	0.29	6.0	timeout	900	1100	unknown	2.4	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.5	66	true	2.1	110	true	0.76	35	unknown	0.07	0	unknown	0.13	5.0	timeout	900	1100	unknown	2.2	110	unknown	2.3	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.2	27	true	2.1	110	true	0.51	32	unknown	0.08	0	unknown	0.11	5.0	timeout	900	1100	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	48	280	true	2.2	120	true	2.9	120	unknown	0.06	0	unknown	0.18	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	18	160	true	2.2	120	true	1.5	60	unknown	0.07	0	unknown	0.18	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.4	36	true	2.1	110	true	0.63	32	unknown	0.07	0	unknown	0.13	5.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	100	460	true	2.3	120	true	3.0	110	unknown	0.06	0	unknown	0.17	6.0	unknown	0.45	6.0	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	670	true	2.2	110	true	170	4900	unknown	0.10	0	unknown	0.11	6.0	unknown	0.31	5.0	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.2	41	true	2.1	110	true	0.65	32	unknown	0.07	0	unknown	0.10	5.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	400	970	true	2.7	140	true	8.3	260	unknown	0.06	0	unknown	0.22	7.0	unknown	0.60	9.0	unknown	2.5	130	unknown	2.5	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.5	31	true	2.2	120	true	0.60	40	unknown	0.07	0	unknown	0.11	6.0	timeout	900	1100	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	8.9	110	true	2.2	120	true	1.00	45	unknown	0.07	0	unknown	0.19	5.0	timeout	900	1100	unknown	2.3	110	unknown	2.4	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	37	230	true	2.2	120	true	2.0	81	unknown	0.07	0	unknown	0.18	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	310	880	true	2.4	120	true	12	450	unknown	0.07	0	unknown	0.18	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1800	true	2.6	120	true	28	1000	unknown	0.07	0	unknown	0.18	7.0	timeout	900	1100	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.3	42	true	2.2	120	true	0.78	39	unknown	0.08	0	unknown	0.14	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	4.0	190	true	13	290	unknown	0.07	0	unknown	0.36	10.0	unknown	0.77	19	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	220	850	true	2.4	120	true	1.6	69	unknown	0.07	0	unknown	0.16	8.0	unknown	0.33	6.0	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	690	1500	true	3.0	130	true	8.0	260	unknown	0.06	0	unknown	0.17	7.0	unknown	0.36	8.0	unknown	2.4	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.4	52	true	2.4	120	true	3.7	55	unknown	0.07	0	unknown	0.19	7.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	26	1000	true	900	2200	unknown	0.06	0	unknown	0.43	18	true	7.5	340	unknown	2.8	140	unknown	2.9	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	19	160	true	2.4	120	true	1.2	58	unknown	0.07	0	unknown	0.64	7.0	timeout	900	380	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	780	true	23	1100	true	8.2	220	unknown	0.07	0	unknown	0.18	8.0	unknown	0.71	22	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	7.3	91	true	2.3	120	true	0.84	47	unknown	0.07	0	unknown	0.15	6.0	timeout	900	430	unknown	2.3	110	unknown	3.1	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	15	150	true	2.4	120	true	1.0	53	unknown	0.07	0	unknown	0.37	7.0	timeout	900	390	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.2	37	true	2.1	110	true	0.58	31	unknown	0.07	0	unknown	0.11	6.0	timeout	900	1200	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	16	130	true	2.3	120	true	0.94	39	unknown	0.07	0	unknown	0.23	8.0	timeout	900	1200	unknown	2.4	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	10	120	true	2.8	140	true	1.1	61	unknown	0.06	0	unknown	0.42	8.0	true	0.70	15	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	1700	true	23	620	true	44	1200	unknown	0.07	0	unknown	0.15	9.0	timeout	900	1100	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	880	true	24	240	unknown	900	4000	unknown	0.10	0	unknown	0.15	9.0	timeout	900	430	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.4	32	true	23	230	true	0.75	52	unknown	0.07	0	true	0.15	8.0	true	0.59	7.0	unknown	2.3	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1700	true	23	630	true	10	370	unknown	0.07	0	unknown	0.13	8.0	timeout	900	350	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	12	120	true	2.4	120	true	1.0	53	unknown	0.07	0	unknown	0.14	7.0	unknown	0.58	8.0	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	550	true	14	960	true	6.0	130	unknown	0.10	0	unknown	0.42	10.0	unknown	0.85	31	unknown	2.7	140	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	15	160	true	2.6	140	true	7.3	81	unknown	0.10	0	unknown	0.17	8.0	timeout	900	1100	unknown	2.6	130	unknown	3.0	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	480	300	true	23	850	true	13	180	unknown	0.07	0	unknown	0.24	7.0	true	0.69	20	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	270	850	true	2.8	130	true	4.0	120	unknown	0.07	0	unknown	0.19	7.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	330	890	true	2.7	130	true	4.4	160	unknown	0.07	0	unknown	0.13	7.0	unknown	0.58	9.0	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1500	true	23	360	true	6.1	170	unknown	0.07	0	unknown	0.16	8.0	timeout	900	1100	unknown	2.3	110	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	42	260	true	2.3	120	true	1.4	61	unknown	0.07	0	unknown	0.11	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	420	true	24	230	true	9.2	320	unknown	0.07	0	true	0.19	8.0	true	0.64	13	unknown	2.5	110	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	670	true	23	220	true	42	1300	unknown	0.07	0	unknown	0.15	7.0	timeout	900	1100	unknown	2.9	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	150	580	true	2.9	140	true	2.7	97	unknown	0.08	0	unknown	0.12	7.0	timeout	900	1100	unknown	2.9	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	43	180	true	2.2	120	true	1.1	52	unknown	0.07	0	unknown	0.11	6.0	timeout	900	1100	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1300	true	23	1100	true	17	420	unknown	0.10	0	unknown	0.13	7.0	unknown	0.58	12	unknown	2.6	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	30	270	true	2.9	140	true	1.3	59	unknown	0.07	0	unknown	0.24	7.0	timeout	900	1100	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	29	260	true	3.0	140	true	1.3	58	unknown	0.07	0	unknown	0.24	7.0	timeout	900	1100	unknown	2.9	110	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	37	280	true	3.5	170	true	1.3	59	unknown	0.06	0	unknown	0.23	7.0	timeout	900	1100	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	20	170	true	2.2	120	true	1.1	50	unknown	0.10	0	unknown	0.12	6.0	timeout	900	1100	unknown	2.8	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.3	39	true	2.4	120	true	0.73	45	unknown	0.07	0	unknown	0.33	7.0	timeout	900	1200	unknown	3.1	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.8	49	true	2.4	130	true	0.81	46	unknown	0.07	0	unknown	0.16	7.0	timeout	900	1200	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	11	150	true	2.4	120	true	4.2	75	unknown	0.07	0	unknown	0.14	7.0	unknown	0.58	7.0	unknown	2.8	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	6.9	97	true	53	700	true	1.3	64	unknown	0.07	0	unknown	0.33	9.0	true	0.48	9.0	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	8.2	85	true	2.5	130	true	1.2	52	unknown	0.08	0	unknown	0.18	6.0	timeout	900	1100	unknown	2.7	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	6.5	93	true	2.3	120	true	0.75	42	unknown	0.07	0	unknown	0.33	6.0	timeout	900	1200	unknown	2.9	120	unknown	2.6	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	14	93	true	2.6	130	true	1.0	57	unknown	0.07	0	unknown	0.20	7.0	timeout	900	1100	unknown	3.0	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	45	360	true	2.7	140	true	1.9	88	unknown	0.07	0	unknown	0.30	8.0	timeout	900	1100	unknown	2.7	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	22	160	true	2.2	120	true	1.0	49	unknown	0.07	0	unknown	0.18	6.0	timeout	900	1100	unknown	2.8	110	unknown	3.1	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	5.0	72	true	2.3	120	true	0.80	46	unknown	0.08	0	unknown	0.17	6.0	timeout	900	1100	unknown	2.9	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	9.5	100	true	2.3	120	true	0.91	45	unknown	0.10	0	unknown	0.26	6.0	timeout	900	1100	unknown	2.9	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	160	630	true	2.5	120	true	3.0	110	unknown	0.07	0	unknown	0.13	7.0	unknown	0.60	9.0	unknown	3.0	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	26	160	true	2.3	120	true	1.1	52	unknown	0.07	0	unknown	0.12	6.0	timeout	900	1100	unknown	2.8	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	2.7	130	true	9.5	390	unknown	0.07	0	true	0.44	8.0	true	0.62	8.0	unknown	2.8	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	410	710	true	2.5	120	true	2.4	89	unknown	0.07	0	unknown	0.13	7.0	unknown	0.35	8.0	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1000	true	3.2	150	true	900	2000	unknown	0.07	0	unknown	0.15	8.0	timeout	900	760	unknown	3.1	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.7	51	true	2.2	110	true	0.69	35	unknown	0.07	0	unknown	0.28	6.0	true	0.49	6.0	unknown	2.7	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.6	29	true	2.2	120	true	0.55	37	unknown	0.07	0	unknown	0.11	6.0	true	0.31	5.0	unknown	3.0	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	33	290	true	6.5	220	true	11	120	unknown	0.07	0	unknown	0.16	7.0	unknown	0.37	7.0	unknown	2.8	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	31	280	true	24	230	true	1.6	75	unknown	0.07	0	unknown	0.13	7.0	unknown	0.44	13	unknown	2.8	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	38	220	true	2.4	120	true	1.3	58	unknown	0.08	0	unknown	0.13	7.0	timeout	900	1100	unknown	2.5	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	20	200	true	2.7	140	true	1.6	84	unknown	0.07	0	unknown	0.23	8.0	timeout	900	1100	unknown	3.0	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	240	600	true	4.6	190	true	2.1	82	unknown	0.08	0	unknown	0.29	7.0	timeout	900	1100	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	51	240	true	2.3	120	true	1.3	59	unknown	0.07	0	unknown	0.13	6.0	timeout	900	1100	unknown	2.9	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	61	270	true	2.3	120	true	1.4	63	unknown	0.07	0	unknown	0.13	6.0	timeout	900	1100	unknown	2.6	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	40	240	true	2.3	120	true	1.4	60	unknown	0.07	0	unknown	0.13	6.0	timeout	900	1100	unknown	2.8	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	36	220	true	2.3	120	true	1.2	57	unknown	0.07	0	unknown	0.13	6.0	timeout	900	1100	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	52	320	true	2.8	140	true	1.7	73	unknown	0.06	0	unknown	0.21	7.0	timeout	900	1100	unknown	2.9	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.8	43	true	2.3	120	true	0.72	38	unknown	0.07	0	unknown	0.36	7.0	true	0.53	5.0	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	41	250	true	2.3	120	true	1.4	62	unknown	0.07	0	unknown	0.13	6.0	timeout	900	1100	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1500	true	24	640	true	1.8	89	unknown	0.10	0	unknown	0.13	8.0	timeout	900	1100	unknown	2.9	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	61	550	true	2.7	140	true	2.5	100	unknown	0.08	0	unknown	0.13	8.0	timeout	900	1100	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	50	240	true	2.3	120	true	1.4	61	unknown	0.07	0	unknown	0.13	7.0	timeout	900	1100	unknown	2.9	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	36	230	true	2.3	120	true	1.3	58	unknown	0.07	0	unknown	0.12	6.0	timeout	900	1100	unknown	2.4	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	38	230	true	2.3	120	true	1.4	61	unknown	0.07	0	unknown	0.15	6.0	timeout	900	1100	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	64	280	true	2.4	120	true	1.6	65	unknown	0.07	0	unknown	0.17	7.0	timeout	900	1100	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1600	true	3.4	150	true	14	290	unknown	0.07	0	unknown	0.17	10.0	timeout	900	1100	unknown	2.7	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	170	350	true	2.6	140	true	1.1	54	unknown	0.07	0	unknown	0.11	7.0	unknown	0.61	7.0	unknown	2.7	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	3.2	160	true	3.5	140	unknown	0.07	0	unknown	0.24	9.0	unknown	0.43	13	unknown	2.4	110	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.2	26	true	2.2	110	true	0.60	32	unknown	0.09	0	unknown	0.31	6.0	timeout	900	1100	unknown	2.7	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1000	true	2.3	120	true	2.7	110	unknown	0.07	0	unknown	0.13	7.0	timeout	900	1100	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.2	47	true	54	2800	true	1.2	84	unknown	0.07	0	unknown	0.24	13	true	1.1	36	unknown	3.1	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	13	150	true	2.3	120	true	1.1	47	unknown	0.07	0	unknown	0.11	6.0	unknown	0.35	7.0	unknown	2.3	120	unknown	2.7	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	32	190	true	2.4	120	true	1.3	56	unknown	0.10	0	unknown	0.13	7.0	unknown	0.37	7.0	unknown	3.1	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	32	180	true	2.4	120	true	1.2	53	unknown	0.07	0	unknown	0.12	7.0	timeout	900	1200	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	38	200	true	2.4	120	true	1.3	57	unknown	0.07	0	unknown	0.13	6.0	unknown	0.58	7.0	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	13	140	true	2.3	120	true	1.3	50	unknown	0.07	0	unknown	0.11	6.0	true	0.37	6.0	unknown	2.7	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1100	true	4.3	190	true	7.2	240	unknown	0.07	0	unknown	2.7	14	timeout	900	1200	unknown	3.1	140	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	160	470	true	2.4	120	true	2.9	95	unknown	0.07	0	unknown	0.20	7.0	timeout	900	1200	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1500	true	24	230	true	9.3	250	unknown	0.07	0	unknown	0.57	11	unknown	2.0	86	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	96	280	true	2.3	110	true	1.8	69	unknown	0.06	0	unknown	2.8	23	timeout	900	1200	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	340	850	true	2.8	130	true	3.7	130	unknown	0.07	0	unknown	0.20	7.0	unknown	0.55	7.0	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	35	310	true	2.2	110	true	1.9	71	unknown	0.07	0	unknown	0.20	6.0	unknown	0.31	8.0	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.8	57	true	2.5	130	true	0.88	50	unknown	0.06	0	unknown	0.13	7.0	timeout	900	1100	unknown	2.5	130	unknown	3.0	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.4	21	true	1.8	110	true	0.38	21	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.4	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	8.9	94	true	2.1	110	true	0.83	39	unknown	0.06	0	unknown	0.13	6.0	unknown	0.51	6.0	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	6.1	62	true	2.2	120	true	0.80	37	unknown	0.07	0	unknown	0.15	7.0	true	0.34	5.0	unknown	2.6	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.3	33	true	2.3	120	true	0.68	43	unknown	0.10	0	unknown	0.11	6.0	timeout	900	1100	unknown	2.7	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	24	610	true	18	200	unknown	0.06	0	unknown	0.15	9.0	unknown	0.73	14	unknown	2.9	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	200	720	true	3.1	150	true	4.8	130	unknown	0.07	0	unknown	0.13	8.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	270	650	true	7.4	220	true	5.6	130	unknown	0.10	0	unknown	0.14	8.0	timeout	900	1200	unknown	2.8	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	930	true	25	1000	true	500	1200	unknown	0.10	0	unknown	0.20	13	unknown	5.1	190	unknown	2.9	130	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	250	800	true	4.3	190	true	6.9	130	unknown	0.07	0	unknown	0.13	8.0	timeout	900	1200	unknown	3.0	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	390	880	true	23	270	true	9.9	170	unknown	0.07	0	unknown	0.14	8.0	unknown	0.75	15	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	730	true	25	240	unknown	1.2	96	unknown	0.06	0	unknown	0.19	12	unknown	2.2	91	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	25	270	true	900	2400	unknown	0.06	0	unknown	0.25	15	timeout	900	1200	unknown	2.8	140	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1300	true	24	210	true	610	2000	unknown	0.07	0	unknown	0.15	9.0	timeout	900	1200	unknown	2.8	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1100	true	25	420	true	58	600	unknown	0.07	0	unknown	0.21	15	unknown	5.2	190	unknown	3.1	140	unknown	3.2	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1000	true	24	270	true	24	330	unknown	0.10	0	unknown	0.18	14	unknown	4.5	210	unknown	2.7	130	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1100	true	4.7	200	true	11	350	unknown	0.06	0	unknown	0.23	17	unknown	1.5	34	unknown	3.2	150	unknown	3.2	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	5.9	83	true	3.0	160	true	1.2	80	unknown	0.08	0	unknown	0.16	10.0	timeout	900	1200	unknown	2.8	140	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	56	14000	true	3.1	190	true	1.5	88	unknown	0.08	0	unknown	0.20	10.0	unknown	0.71	12	unknown	2.8	140	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	160	12000	false(label)	14	550	true	15	290	unknown	0.07	0	unknown	0.52	20	timeout	900	300	unknown	3.1	140	unknown	3.2	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	320	12000	true	4.6	190	true	7.1	240	unknown	0.06	0	unknown	6.3	30	timeout	900	440	unknown	3.2	140	unknown	3.2	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	890	true	3.3	190	true	1.5	94	unknown	0.07	0	unknown	0.20	11	unknown	0.85	15	unknown	3.0	140	unknown	3.0	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	110	410	true	3.6	190	true	3.2	140	unknown	0.06	0	unknown	0.23	13	timeout	900	1200	unknown	3.3	150	unknown	3.0	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c	true	93	310	true	24	340	true	3.3	130	unknown	0.07	0	unknown	0.18	11	timeout	900	1200	unknown	3.0	150	unknown	3.1	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.5	56	true	3.4	190	true	1.4	98	unknown	0.10	0	true	0.17	10.0	timeout	900	1100	unknown	2.9	140	unknown	3.0	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	4.0	190	true	5.2	180	unknown	0.08	0	unknown	0.26	19	timeout	900	1200	unknown	2.9	140	unknown	3.0	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.3	48	true	2.8	160	true	1.1	74	unknown	0.07	0	unknown	0.17	10.0	timeout	900	1200	unknown	2.9	130	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	70	14000	true	25	250	true	9.4	300	unknown	0.07	0	unknown	0.22	13	timeout	900	1200	unknown	2.9	140	unknown	3.0	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	250	660	true	3.9	190	true	4.8	180	unknown	0.06	0	unknown	2.2	42	timeout	900	1200	unknown	3.0	140	unknown	3.0	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c	true	470	620	true	4.4	190	true	5.2	150	unknown	0.07	0	unknown	0.15	13	timeout	900	1200	unknown	3.0	140	unknown	3.1	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	46	14000	true	24	340	true	3.1	150	unknown	0.08	0	unknown	0.18	10.0	timeout	900	1200	unknown	2.7	140	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	47	14000	true	3.1	180	true	1.4	88	unknown	0.07	0	unknown	0.18	9.0	unknown	0.71	12	unknown	2.7	140	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	57	12000	true	30	1000	unknown	900	2600	unknown	0.07	0	unknown	0.67	35	unknown	43	900	unknown	3.6	160	unknown	3.7	170
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c	true	11	160	true	6.2	220	true	4.1	360	unknown	0.10	0	true	0.40	33	timeout	920	1100	unknown	3.6	160	unknown	3.7	170
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1500	true	4.6	190	true	6.9	230	unknown	0.07	0	unknown	0.15	10.0	timeout	900	1200	unknown	2.8	140	unknown	2.9	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	76	12000	true	26	670	true	44	830	unknown	0.06	0	unknown	0.77	26	timeout	900	340	unknown	3.4	140	unknown	3.4	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	780	true	25	260	true	6.1	200	unknown	0.07	0	unknown	0.53	17	unknown	2.0	51	unknown	3.3	150	unknown	3.3	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	2600	true	4.5	190	true	13	320	unknown	0.07	0	unknown	1.8	45	timeout	900	290	unknown	3.2	140	unknown	3.2	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	12	110	true	3.0	160	true	2.2	94	unknown	0.07	0	unknown	0.18	10.0	timeout	900	1200	unknown	2.8	140	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	46	14000	true	4.4	200	true	11	360	unknown	0.07	0	unknown	0.22	13	timeout	900	400	unknown	2.9	140	unknown	3.0	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c	true	290	13000	true	5.0	200	true	70	6400	unknown	0.07	0	unknown	0.15	11	unknown	0.82	16	unknown	3.0	140	unknown	3.0	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	740	true	4.0	200	true	9.4	190	unknown	0.07	0	unknown	0.16	11	timeout	900	1200	unknown	2.9	140	unknown	3.0	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	1100	true	27	1400	true	900	2400	unknown	0.07	0	unknown	0.29	22	unknown	36	800	unknown	3.5	150	unknown	3.6	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1600	timeout	900	4000	true	900	15000	unknown	0.07	0	unknown	0.25	18	unknown	8.3	180	unknown	2.9	140	unknown	3.0	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1700	true	26	1100	true	660	1500	unknown	0.08	0	unknown	0.19	14	unknown	2.9	100	unknown	3.0	130	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	890	true	2.7	140	true	2.4	83	unknown	0.08	0	unknown	0.14	8.0	timeout	900	1200	unknown	2.8	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	960	true	3.2	150	true	5.5	130	unknown	0.08	0	unknown	0.14	8.0	timeout	900	1200	unknown	2.5	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.3	34	true	2.3	120	true	0.65	46	unknown	0.07	0	true	0.11	6.0	timeout	900	1100	unknown	2.5	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.3	33	true	2.3	120	true	0.63	45	unknown	0.07	0	true	0.14	6.0	timeout	900	1100	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1800	true	28	740	true	480	2000	unknown	0.10	0	unknown	0.28	33	unknown	3.3	170	unknown	3.7	160	unknown	3.7	160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.3	34	true	2.4	130	true	0.69	48	unknown	0.07	0	true	0.15	7.0	timeout	900	1100	unknown	2.7	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.3	34	true	2.3	120	true	0.71	47	unknown	0.06	0	true	0.15	6.0	timeout	900	1100	unknown	2.9	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1600	true	5.5	220	true	95	700	unknown	0.07	0	unknown	0.17	11	timeout	900	1200	unknown	3.2	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	33	220	true	3.1	150	true	2.1	84	unknown	0.07	0	unknown	0.12	8.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	960	true	26	240	true	39	440	unknown	0.07	0	unknown	0.24	18	unknown	9.4	230	unknown	3.3	140	unknown	3.3	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	14	140	true	2.6	140	true	1.4	64	unknown	0.08	0	unknown	0.14	7.0	timeout	900	1200	unknown	2.7	130	unknown	2.5	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	33	290	true	3.6	190	true	1.9	79	unknown	0.08	0	unknown	0.13	8.0	timeout	900	1200	unknown	2.9	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	9.7	98	true	4.5	200	true	1.9	130	unknown	0.07	0	unknown	0.23	13	timeout	900	1100	unknown	3.2	150	unknown	3.3	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	2200	true	12	480	true	22	740	unknown	0.07	0	unknown	0.22	18	timeout	900	1100	unknown	3.3	150	unknown	3.3	160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-adstech-dvb-t-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.71	18	true	1.7	98	true	0.29	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.9	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.72	17	true	1.7	98	true	0.29	14	unknown	0.06	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.65	18	true	1.7	99	true	0.29	15	unknown	0.10	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	18	true	1.7	97	true	0.31	15	unknown	0.08	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	97	true	0.29	15	unknown	0.07	0	unknown	0.12	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	97	true	0.26	14	unknown	0.07	0	unknown	0.13	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	98	true	0.29	15	unknown	0.08	0	unknown	0.12	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.7	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	18	true	1.7	99	true	0.32	15	unknown	0.07	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	99	true	0.27	15	unknown	0.10	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	98	true	0.27	15	unknown	0.07	0	unknown	0.13	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.72	18	true	1.7	98	true	0.28	16	unknown	0.07	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	99	true	0.31	15	unknown	0.08	0	unknown	0.12	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	97	true	0.25	15	unknown	0.07	0	unknown	0.12	4.0	timeout	900	1100	unknown	2.8	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	17	true	1.7	98	true	0.26	15	unknown	0.10	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.28	15	unknown	0.08	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	18	true	1.7	99	true	0.31	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.6	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	18	true	1.7	98	true	0.28	15	unknown	0.09	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.6	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.8	98	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.4	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	18	true	1.7	99	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.7	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.72	18	true	1.7	97	true	0.32	15	unknown	0.06	0	unknown	0.14	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.28	15	unknown	0.08	0	unknown	0.13	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.72	18	true	1.7	98	true	0.29	16	unknown	0.08	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.73	19	true	1.7	100	true	0.35	18	unknown	0.07	0	unknown	0.10	5.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.8	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	17	true	1.7	99	true	0.28	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	99	true	0.26	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	17	true	1.7	99	true	0.30	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.4	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.29	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	17	true	1.7	98	true	0.31	15	unknown	0.05	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	98	true	0.29	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.4	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	99	true	0.30	15	unknown	0.10	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	97	true	0.27	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	17	true	1.7	99	true	0.26	14	unknown	0.06	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	98	true	0.33	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.73	18	true	1.7	97	true	0.27	15	unknown	0.08	0	unknown	0.14	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.8	98	true	0.26	15	unknown	0.10	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.1	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.31	15	unknown	0.08	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	17	true	1.7	98	true	0.27	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.6	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	99	true	0.26	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	18	true	1.7	99	true	0.30	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.74	19	true	1.7	100	true	0.32	18	unknown	0.07	0	unknown	0.10	5.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	99	true	0.29	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.4	110	unknown	2.2	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	18	true	1.7	99	true	0.29	16	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	18	true	1.7	97	true	0.27	15	unknown	0.07	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.27	15	unknown	0.07	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.3	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	99	true	0.28	15	unknown	0.10	0	unknown	0.12	4.0	timeout	900	1100	unknown	3.1	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	99	true	0.27	15	unknown	0.07	0	unknown	0.13	4.0	timeout	900	1100	unknown	3.0	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	17	true	1.7	97	true	0.31	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	98	true	0.28	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	18	true	1.7	98	true	0.26	15	unknown	0.10	0	unknown	0.14	4.0	timeout	900	1100	unknown	3.0	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	97	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.7	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.65	17	true	1.7	98	true	0.26	14	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.74	18	true	1.7	99	true	0.30	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.4	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.71	17	true	1.7	98	true	0.31	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.71	18	true	1.7	99	true	0.31	15	unknown	0.06	0	unknown	0.13	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	17	true	1.7	98	true	0.27	14	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	17	true	1.7	99	true	0.27	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	17	true	1.7	98	true	0.27	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.4	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	17	true	1.7	97	true	0.29	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.30	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.1	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nec-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.72	18	true	1.7	99	true	0.28	16	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.71	18	true	1.7	98	true	0.28	15	unknown	0.08	0	unknown	0.13	4.0	timeout	900	1100	unknown	2.1	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.72	18	true	1.7	98	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.6	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	98	true	0.32	15	unknown	0.08	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.27	15	unknown	0.08	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	18	true	1.7	97	true	0.29	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	97	true	0.27	15	unknown	0.08	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	97	true	0.27	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.8	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	18	true	1.7	99	true	0.28	15	unknown	0.08	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.8	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.8	98	true	0.30	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.6	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	17	true	1.7	99	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.6	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	97	true	0.28	15	unknown	0.10	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.9	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	17	true	1.7	98	true	0.27	15	unknown	0.10	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.7	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	98	true	0.27	15	unknown	0.07	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.73	18	true	1.7	99	true	0.29	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.9	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	18	true	1.7	99	true	0.27	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-real-audio-220-32-keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	18	true	1.7	99	true	0.30	15	unknown	0.10	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.8	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.69	18	true	1.7	98	true	0.31	15	unknown	0.05	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	99	true	0.29	15	unknown	0.07	0	unknown	0.13	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	18	true	1.7	98	true	0.31	15	unknown	0.08	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.65	18	true	1.7	99	true	0.29	15	unknown	0.08	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.7	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	98	true	0.30	15	unknown	0.07	0	unknown	0.12	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.6	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	17	true	1.7	98	true	0.28	14	unknown	0.06	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.7	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.72	18	true	1.7	99	true	0.28	14	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tevii-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	98	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.6	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.70	17	true	1.7	97	true	0.31	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.1	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-total-media-in-hand.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	99	true	0.28	15	unknown	0.07	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.66	17	true	1.7	98	true	0.27	14	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tt-1500.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.68	18	true	1.7	99	true	0.33	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-twinhan1027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.73	18	true	1.7	99	true	0.30	15	unknown	0.07	0	unknown	0.09	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	99	true	0.30	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.4	100	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.74	18	true	1.7	97	true	0.27	15	unknown	0.07	0	unknown	0.11	4.0	timeout	900	1100	unknown	2.4	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-tv-pvr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	99	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast-usbii-deluxe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.67	18	true	1.7	99	true	0.28	15	unknown	0.07	0	unknown	0.12	4.0	timeout	900	1100	unknown	2.5	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.71	18	true	1.7	98	true	0.28	15	unknown	0.07	0	unknown	0.10	4.0	timeout	900	1100	unknown	2.3	110	unknown	2.1	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--cx231xx--cx231xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	770	true	26	370	true	14	490	unknown	0.07	0	unknown	0.18	14	unknown	1.1	23	unknown	3.2	140	unknown	3.2	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--cx88--cx88-vp3054-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	7.7	100	true	2.7	150	true	1.2	70	unknown	0.06	0	unknown	0.29	8.0	timeout	900	1100	unknown	3.0	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--em28xx--em28xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	1200	true	27	260	true	84	1600	unknown	0.07	0	unknown	0.28	24	unknown	3.5	37	unknown	3.8	160	unknown	3.7	160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_benq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	170	710	true	3.0	150	true	2.4	110	unknown	0.07	0	unknown	0.38	9.0	timeout	900	1200	unknown	2.8	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	35	230	true	2.7	140	true	1.6	79	unknown	0.07	0	unknown	0.25	8.0	timeout	900	1200	unknown	2.8	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1300	true	3.3	160	true	7.4	170	unknown	0.07	0	unknown	0.23	9.0	unknown	0.87	29	unknown	2.9	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	680	true	24	600	true	34	420	unknown	0.07	0	unknown	0.17	9.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	53	270	true	2.7	140	true	1.8	81	unknown	0.08	0	unknown	0.25	8.0	timeout	900	1200	unknown	2.9	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_stv0680.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	3.2	160	true	15	300	unknown	0.07	0	unknown	0.34	9.0	unknown	0.69	11	unknown	2.8	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	960	true	32	2200	true	7.1	160	unknown	0.10	0	unknown	0.14	7.0	timeout	900	1100	unknown	3.1	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.1	37	true	2.1	110	true	0.52	30	unknown	0.10	0	unknown	0.26	5.0	timeout	900	1200	unknown	2.6	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1300	true	24	390	true	15	330	unknown	0.07	0	unknown	0.62	10.0	unknown	1.2	50	unknown	2.7	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--janz-cmodio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	650	true	23	1200	true	4.3	120	unknown	0.06	0	unknown	0.13	6.0	timeout	900	1100	unknown	2.9	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--rdc321x-southbridge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.7	29	true	2.0	110	true	0.50	27	unknown	0.07	0	unknown	0.11	5.0	timeout	900	1200	unknown	2.5	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	130	14000	true	2.3	120	true	1.7	70	unknown	0.07	0	unknown	0.12	6.0	timeout	900	1100	unknown	3.0	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6507x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	5.4	64	true	2.2	120	true	0.72	38	unknown	0.06	0	unknown	0.12	6.0	timeout	900	350	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps65217.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	11	150	true	2.5	120	true	1.4	62	unknown	0.07	0	unknown	0.12	6.0	timeout	900	1100	unknown	2.6	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.4	42	true	2.3	120	true	6.0	61	unknown	0.07	0	unknown	0.13	7.0	timeout	900	1100	unknown	2.9	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--wl1273-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	20	260	true	2.4	120	true	1.6	73	unknown	0.07	0	unknown	0.13	7.0	unknown	0.59	9.0	unknown	2.9	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--wm8400-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	89	540	true	2.5	120	true	2.0	90	unknown	0.06	0	unknown	0.35	8.0	timeout	900	1100	unknown	2.7	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--apds9802als.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	59	300	true	2.5	120	true	2.7	94	unknown	0.07	0	unknown	0.61	7.0	timeout	900	1200	unknown	2.9	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--bmp085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	23	240	true	2.4	120	true	1.6	76	unknown	0.07	0	unknown	0.41	8.0	timeout	900	1100	unknown	2.5	120	unknown	2.7	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--c2port--c2port-duramar2150.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.3	49	true	1.9	110	true	0.64	23	unknown	0.07	0	unknown	0.22	6.0	true	0.42	2.0	unknown	2.2	110	unknown	2.2	110
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--eeprom--eeprom_93xx46.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	17	170	true	2.5	130	true	1.5	80	unknown	0.07	0	unknown	0.16	9.0	unknown	0.60	30	unknown	2.6	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--isl29020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	7.0	94	true	2.3	120	true	0.85	39	unknown	0.07	0	unknown	0.33	8.0	timeout	900	340	unknown	2.9	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--sgi-xp--xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.6	33	true	2.4	120	true	0.78	51	unknown	0.07	0	unknown	1.4	8.0	timeout	900	1100	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--ti_dac7512.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.1	29	true	2.2	110	true	0.56	33	unknown	0.06	0	unknown	0.14	6.0	timeout	900	1200	unknown	2.7	110	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--tifm_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1500	true	2.6	120	true	2.5	85	unknown	0.08	0	unknown	1.3	9.0	true	0.58	12	unknown	2.6	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	5.2	45	true	25	240	true	1.1	72	unknown	0.06	0	true	1.0	10.0	true	1.3	77	unknown	2.8	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	860	true	24	270	true	900	2200	unknown	0.06	0	unknown	0.59	10.0	unknown	1.9	77	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ar7part.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	450	true	3.3	180	true	3.6	79	unknown	0.08	0	unknown	0.14	6.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.4	43	true	2.9	150	true	1.3	98	unknown	0.07	0	true	0.50	11	unknown	0.33	3.0	unknown	2.7	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	97	400	true	25	1300	true	2.8	100	unknown	0.10	0	unknown	0.24	9.0	true	0.39	5.0	unknown	2.8	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.5	25	true	2.1	110	true	0.46	28	unknown	0.10	0	unknown	0.11	5.0	true	0.28	4.0	unknown	2.8	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--phram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.0	27	true	2.3	110	true	0.60	34	unknown	0.07	0	true	0.21	6.0	timeout	900	1100	unknown	2.7	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--slram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.1	36	true	3.2	150	true	6.4	210	unknown	0.06	0	true	0.16	7.0	unknown	0.59	12	unknown	2.8	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1000	true	25	380	unknown	900	2100	unknown	0.07	0	unknown	0.23	15	unknown	3.3	190	unknown	2.8	130	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	2100	true	27	260	unknown	900	5100	unknown	0.07	0	unknown	0.30	20	unknown	45	1200	unknown	3.3	140	unknown	3.3	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	140	650	true	23	370	true	3.6	120	unknown	0.10	0	unknown	0.25	8.0	timeout	900	1200	unknown	2.6	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--netsc520.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.91	22	true	1.9	110	true	0.42	24	unknown	0.07	0	unknown	0.16	5.0	true	0.38	4.0	unknown	2.6	110	unknown	2.2	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.1	27	true	2.1	110	true	0.56	33	unknown	0.07	0	unknown	0.18	6.0	true	0.31	5.0	unknown	2.7	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--sbc_gxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	2.2	110	true	4.3	200	unknown	0.06	0	unknown	0.25	9.0	true	0.31	4.0	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--ts5500_flash.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.89	22	true	1.9	110	true	0.39	24	unknown	0.07	0	unknown	0.11	5.0	true	0.25	3.0	unknown	2.2	110	unknown	2.2	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.7	40	true	1.9	110	true	0.52	25	unknown	0.07	0	unknown	0.15	5.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.3	39	true	24	230	true	0.94	65	unknown	0.07	0	true	0.79	9.0	true	0.81	31	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	26	250	unknown	900	2200	unknown	0.07	0	unknown	0.23	16	unknown	18	520	unknown	3.3	140	unknown	3.2	150
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--onenand--onenand_sim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.3	35	true	2.4	120	true	0.79	50	unknown	0.07	0	unknown	0.25	8.0	true	0.44	14	unknown	2.4	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_oobtest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.9	38	true	25	230	true	1.1	77	unknown	0.07	0	true	0.22	11	unknown	2.7	83	unknown	2.5	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_pagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.2	36	true	24	580	true	0.79	52	unknown	0.07	0	true	0.20	9.0	unknown	1.7	70	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_subpagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.1	34	true	24	220	true	0.76	48	unknown	0.07	0	true	0.16	9.0	unknown	1.2	59	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	670	true	2.6	130	true	11	300	unknown	0.07	0	unknown	0.65	8.0	timeout	900	1200	unknown	2.4	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--arc-rawmode.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.7	41	true	3.6	190	true	0.82	59	unknown	0.07	0	unknown	17	65	timeout	900	1100	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	3.6	190	true	4.5	130	unknown	0.06	0	unknown	0.17	9.0	unknown	0.78	17	unknown	2.7	140	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	43	240	true	2.7	150	true	1.9	81	unknown	0.07	0	unknown	0.12	8.0	timeout	900	1100	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1201.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1700	true	3.9	190	true	15	370	unknown	0.06	0	unknown	0.17	13	timeout	900	1100	unknown	3.0	140	unknown	2.9	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	16	120	true	2.8	150	true	1.4	69	unknown	0.08	0	unknown	0.11	7.0	timeout	900	350	unknown	2.7	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--esi-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.4	42	true	2.6	150	true	0.88	57	unknown	0.10	0	unknown	0.12	7.0	timeout	900	350	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--girbil-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	17	110	true	3.0	160	true	1.3	65	unknown	0.07	0	unknown	0.12	7.0	timeout	900	360	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	170	350	true	24	600	true	1.3	64	unknown	0.08	0	unknown	0.12	7.0	timeout	900	360	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	16	74	true	3.1	160	true	1.1	59	unknown	0.07	0	unknown	0.12	7.0	timeout	900	350	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--mcp2120-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	15	98	true	3.0	160	true	1.2	64	unknown	0.10	0	unknown	0.12	7.0	timeout	900	350	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--old_belkin-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	4.3	42	true	2.7	150	true	0.89	57	unknown	0.06	0	unknown	0.12	7.0	timeout	900	350	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--tekram-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	10	76	true	2.9	150	true	1.2	62	unknown	0.07	0	unknown	0.12	7.0	timeout	900	360	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.7	39	true	2.4	120	true	0.68	41	unknown	0.06	0	unknown	0.14	6.0	timeout	900	1100	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	5.4	230	true	37	660	unknown	0.07	0	unknown	0.19	11	unknown	1.4	36	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.5	39	true	2.6	140	true	0.74	53	unknown	0.08	0	unknown	0.11	7.0	timeout	900	1100	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	23	140	true	2.7	150	true	1.3	62	unknown	0.10	0	unknown	0.12	7.0	timeout	900	1100	unknown	2.5	130	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--et1011c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.7	60	true	2.6	140	true	0.87	53	unknown	0.10	0	unknown	0.11	6.0	timeout	900	1100	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--icplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.9	40	true	2.7	150	true	0.80	57	unknown	0.07	0	unknown	0.14	7.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--lxt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	14	120	true	2.7	150	true	1.1	60	unknown	0.10	0	unknown	0.16	7.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.1	46	true	3.1	150	true	1.3	82	unknown	0.06	0	unknown	0.61	14	timeout	900	1100	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--micrel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	52	230	true	2.5	130	true	1.4	55	unknown	0.07	0	unknown	0.14	8.0	timeout	900	1100	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	15	140	true	2.7	150	true	1.0	58	unknown	0.07	0	unknown	0.11	7.0	timeout	900	1100	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.9	55	true	2.6	140	true	0.84	53	unknown	0.07	0	unknown	0.12	6.0	timeout	900	1100	unknown	2.5	130	unknown	2.7	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.2	32	true	2.2	120	true	0.60	40	unknown	0.07	0	unknown	0.14	6.0	timeout	900	1100	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--smsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	74	280	true	2.9	150	true	1.7	68	unknown	0.06	0	unknown	0.12	8.0	timeout	900	1100	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--spi_ks8995.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	31	250	true	2.5	120	true	11	110	unknown	0.06	0	unknown	0.17	8.0	timeout	900	1200	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--ste10Xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	600	910	true	2.7	140	true	2.6	130	unknown	0.07	0	unknown	0.13	7.0	timeout	900	1100	unknown	2.6	130	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.3	32	true	2.3	120	true	0.64	43	unknown	0.10	0	unknown	0.11	6.0	timeout	900	1100	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--ppp--bsd_comp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	4700	true	24	630	true	900	11000	unknown	0.07	0	unknown	0.19	10.0	timeout	900	1200	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	900	true	24	660	true	730	1600	unknown	0.07	0	unknown	0.22	11	true	3.4	120	unknown	2.4	110	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--sungem_phy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	unknown	850	1300	true	26	250	true	63	1000	unknown	0.07	0	unknown	0.19	12	unknown	1.9	56	unknown	2.6	130	unknown	2.8	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_activebackup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	6.4	60	true	2.6	150	true	0.91	56	unknown	0.07	0	unknown	0.24	7.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_roundrobin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1400	true	2.7	150	true	4.9	180	unknown	0.07	0	unknown	0.29	7.0	timeout	900	1100	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--tokenring--abyss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	660	true	24	920	true	450	4300	unknown	0.06	0	unknown	0.53	9.0	timeout	900	1100	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--usb--cdc_subset.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.7	41	true	2.7	150	true	0.88	58	unknown	0.08	0	true	0.17	7.0	timeout	900	1100	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	3.1	46	true	2.6	150	true	0.85	56	unknown	0.06	0	unknown	0.17	7.0	timeout	900	1100	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	31	170	true	2.7	150	true	1.4	68	unknown	0.10	0	unknown	0.13	7.0	unknown	0.58	9.0	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	700	750	true	3.5	190	true	3.1	130	unknown	0.07	0	unknown	0.17	9.0	timeout	900	1200	unknown	2.6	130	unknown	3.3	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1300	true	27	280	true	900	2500	unknown	0.07	0	unknown	0.40	23	unknown	16	560	unknown	3.5	160	unknown	3.6	160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	720	850	true	5.1	200	true	1.6	80	unknown	0.07	0	unknown	0.14	9.0	timeout	900	1100	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	9.1	110	true	4.0	190	true	1.2	68	unknown	0.07	0	unknown	0.17	9.0	timeout	900	1100	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	400	620	true	2.7	150	true	1.7	82	unknown	0.07	0	unknown	0.13	8.0	timeout	900	1100	unknown	2.7	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	140	420	true	2.9	150	true	14	190	unknown	0.07	0	unknown	0.14	9.0	unknown	0.66	12	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl12xx--wl12xx_sdio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1700	true	3.3	170	true	8.2	210	unknown	0.07	0	unknown	0.60	10.0	unknown	0.70	33	unknown	2.9	130	unknown	3.0	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	42	220	true	2.6	130	true	1.5	67	unknown	0.10	0	unknown	0.12	7.0	unknown	0.44	9.0	unknown	2.5	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--hotplug--cpcihp_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.2	40	true	3.2	150	true	0.96	56	unknown	0.07	0	true	0.20	7.0	true	0.41	8.0	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	10	110	true	2.3	120	true	0.87	45	unknown	0.06	0	unknown	0.14	6.0	unknown	0.35	7.0	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--pci-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.3	26	true	2.1	110	true	0.47	28	unknown	0.06	0	unknown	0.11	5.0	timeout	900	1200	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--asus-nb-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.7	32	true	2.2	120	true	0.65	42	unknown	0.06	0	unknown	0.11	6.0	timeout	900	1100	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	2.4	32	true	23	1100	true	0.66	42	unknown	0.10	0	unknown	0.10	6.0	true	0.54	7.0	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--intel_menlow.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	33	240	true	2.7	140	true	1.9	85	unknown	0.07	0	unknown	0.40	10.0	true	0.47	11	unknown	2.7	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--mxm-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.1	30	true	2.2	120	true	0.54	35	unknown	0.07	0	true	0.14	5.0	timeout	900	1100	unknown	2.4	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	930	true	24	590	true	14	240	unknown	0.07	0	unknown	0.35	9.0	timeout	900	1200	unknown	2.6	130	unknown	2.6	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	27	140	true	2.3	130	true	1.4	60	unknown	0.07	0	unknown	0.11	7.0	timeout	900	1100	unknown	2.4	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	7.7	93	true	2.3	120	true	0.78	41	unknown	0.06	0	unknown	0.12	6.0	timeout	900	1100	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	95	270	true	2.4	130	true	1.3	62	unknown	0.09	0	unknown	0.18	7.0	timeout	900	1100	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--max8903_charger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	350	1100	true	14	360	true	5.3	170	unknown	0.07	0	unknown	0.15	8.0	unknown	0.88	32	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	460	true	23	220	true	6.9	140	unknown	0.07	0	unknown	0.17	8.0	timeout	900	1100	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_backup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	22	180	true	2.4	120	true	1.0	42	unknown	0.07	0	unknown	0.12	6.0	timeout	900	1200	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	750	1400	true	3.8	180	true	6.1	140	unknown	0.10	0	unknown	0.18	8.0	timeout	900	1200	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pps--clients--pps-ktimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	0.88	21	true	1.9	100	true	0.36	22	unknown	0.07	0	unknown	0.10	5.0	true	0.47	3.0	unknown	2.2	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pps--clients--pps-ldisc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	1.3	33	true	2.3	120	true	0.63	43	unknown	0.06	0	unknown	0.22	6.0	timeout	900	1100	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--gpio-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	940	true	23	260	true	11	280	unknown	0.06	0	unknown	0.13	8.0	unknown	0.70	17	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--max1586.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	280	790	true	2.5	120	true	2.9	94	unknown	0.07	0	unknown	0.16	8.0	unknown	0.44	18	unknown	2.8	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--max8649.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	93	480	true	2.5	130	true	2.5	87	unknown	0.07	0	unknown	0.14	8.0	timeout	900	450	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--userspace-consumer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	16	160	true	2.0	110	true	0.90	38	unknown	0.07	0	unknown	0.12	6.0	unknown	0.53	4.0	unknown	2.3	110	unknown	2.3	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--virtual.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	5.5	100	true	2.2	110	true	0.86	45	unknown	0.06	0	unknown	0.17	7.0	timeout	900	430	unknown	2.3	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-dcdc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1600	true	3.7	160	true	19	400	unknown	0.07	0	unknown	0.25	14	unknown	1.8	140	unknown	2.7	130	unknown	2.7	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-isink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	390	980	true	2.8	130	true	2.3	84	unknown	0.10	0	unknown	0.12	7.0	unknown	0.37	10.0	unknown	2.4	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1700	true	3.3	150	true	10	240	unknown	0.07	0	unknown	0.22	12	unknown	0.89	66	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	98	430	true	2.4	120	true	1.8	68	unknown	0.07	0	unknown	0.25	9.0	timeout	900	380	unknown	2.3	120	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-da9052.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	100	530	true	2.4	120	true	2.4	88	unknown	0.07	0	unknown	0.12	7.0	timeout	900	1100	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1390.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	28	280	true	2.5	140	true	1.6	71	unknown	0.09	0	unknown	0.13	7.0	timeout	900	1200	unknown	2.5	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	1200	true	24	360	true	8.2	200	unknown	0.07	0	unknown	0.71	9.0	timeout	900	1100	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3232.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	210	830	true	4.0	190	true	5.3	170	unknown	0.10	0	unknown	0.39	10.0	unknown	0.87	21	unknown	2.6	130	unknown	2.7	140
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3234.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	82	470	true	2.4	130	true	2.0	76	unknown	0.07	0	unknown	0.13	7.0	timeout	900	1200	unknown	2.5	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	70	540	true	2.9	140	true	13	190	unknown	0.07	0	unknown	0.23	11	unknown	0.80	18	unknown	2.6	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	61	430	true	2.8	140	true	13	170	unknown	0.07	0	unknown	0.15	8.0	timeout	900	1200	unknown	2.5	130	unknown	2.6	130
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m48t86.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	24	300	true	2.3	120	true	1.6	72	unknown	0.07	0	unknown	0.25	7.0	timeout	900	1200	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-max6902.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	70	440	true	2.4	130	true	2.0	75	unknown	0.07	0	unknown	0.14	7.0	timeout	900	1200	unknown	2.4	120	unknown	2.5	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	850	2300	true	2.5	120	true	2.1	75	unknown	0.07	0	unknown	0.14	8.0	unknown	0.75	30	unknown	2.4	110	unknown	2.4	120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c	true	8.8	110	true	2.3	120	true	0.79	40	unknown	0.07	0	unknown	0.38	7.0	timeout	900	1100	unknown	2.3	110