META_NoOverflows – BenchExec results

Tool	2LS 0.6.0				CBMC 5.8				CPAchecker 1.6.1-svn 26773				DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017				ESBMC ESBMC version 4.6.0 64-bit x86_64 linux								Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017				symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213				ULTIMATE Automizer 0.1.23-3204b741				ULTIMATE Kojak 0.1.23-3204b741				ULTIMATE Taipan 0.1.23-3204b741
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host	apollon*
OS	Linux 4.4.0-101-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution	2017-12-01 10:20:37 CET				2017-12-01 11:16:27 CET				2017-12-01 10:49:29 CET				2017-12-01 13:07:37 CET				2017-12-02 06:23:16 CET				2017-12-02 18:23:42 CET				2017-12-02 00:52:46 CET				2017-12-03 04:09:48 CET				2017-12-03 11:17:40 CET								2017-12-03 08:43:49 CET
Run set	2ls.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				cbmc.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				cpa-seq.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				depthk.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				esbmc-incr.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				esbmc-kind.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				map2check.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				symbiotic.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				uautomizer.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				ukojak.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				utaipan.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]
Options	--graphml-witness witness.graphml				--graphml-witness witness.graphml				-svcomp18 -heap 10000M -benchmark -timelimit 900s								-s incr				-s kinduction								--witness witness.graphml				--full-output				--full-output				--full-output
../sv-benchmarks/c/	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i	false(no-overflow)	.13	24	.86	false(no-overflow)	.25	34	2.5	false(no-overflow)	3.4	300	29	false(no-overflow)	4.1	410	30	false(no-overflow)	.12	28	.72	false(no-overflow)	.11	28	.83	false(no-overflow)	.32	11	3.7	false(no-overflow)	.17	11	1.8	false(no-overflow)	4.1	240	32	false(no-overflow)	4.3	240	36	false(no-overflow)	4.1	240	34
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i	false(no-overflow)	.14	24	.95	false(no-overflow)	.26	34	2.5	false(no-overflow)	3.5	280	32	false(no-overflow)	3.8	420	33	false(no-overflow)	.082	28	.93	false(no-overflow)	.092	28	.97	false(no-overflow)	.32	12	3.8	false(no-overflow)	.17	11	1.5	false(no-overflow)	4.8	260	40	false(no-overflow)	4.4	260	38	false(no-overflow)	4.7	270	41
signedintegeroverflow-regression/Division_false-no-overflow.c.i	false(no-overflow)	.10	24	1.0	false(no-overflow)	.27	34	2.1	false(no-overflow)	3.6	280	32	false(no-overflow)	4.2	420	27	false(no-overflow)	.082	28	.98	false(no-overflow)	.079	28	1.1	false(no-overflow)	.30	12	4.2	false(no-overflow)	.16	11	1.7	false(no-overflow)	4.1	240	38	false(no-overflow)	4.4	250	35	false(no-overflow)	4.1	240	34
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i	false(no-overflow)	.14	24	.85	false(no-overflow)	.25	34	2.5	false(no-overflow)	3.4	280	27	false(no-overflow)	3.9	420	39	false(no-overflow)	.097	28	.70	false(no-overflow)	.11	28	.82	false(no-overflow)	.31	11	2.7	false(no-overflow)	.16	11	1.7	false(no-overflow)	4.2	240	37	false(no-overflow)	4.2	250	37	false(no-overflow)	4.3	240	37
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i	false(no-overflow)	.10	24	.89	false(no-overflow)	.25	34	2.4	false(no-overflow)	3.4	280	34	false(no-overflow)	4.2	420	29	false(no-overflow)	.12	28	.81	false(no-overflow)	.081	28	1.0	false(no-overflow)	.30	11	3.5	false(no-overflow)	.17	11	1.5	false(no-overflow)	4.1	230	32	false(no-overflow)	4.1	240	35	false(no-overflow)	4.0	240	35
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i	false(no-overflow)	.12	24	.93	false(no-overflow)	.26	34	2.1	false(no-overflow)	3.5	280	31	false(no-overflow)	4.0	410	32	false(no-overflow)	.092	28	1.1	false(no-overflow)	.083	28	.90	false(no-overflow)	.32	11	3.4	false(no-overflow)	.14	11	1.9	false(no-overflow)	4.7	270	44	false(no-overflow)	4.5	270	35	false(no-overflow)	4.4	270	39
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i	false(no-overflow)	.10	24	1.3	false(no-overflow)	.24	34	2.3	false(no-overflow)	3.4	280	29	false(no-overflow)	3.9	420	30	false(no-overflow)	.11	28	.77	false(no-overflow)	.11	28	.76	false(no-overflow)	.32	12	3.2	false(no-overflow)	.14	11	1.7	false(no-overflow)	4.2	240	39	false(no-overflow)	4.2	250	38	false(no-overflow)	4.0	240	35
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i	false(no-overflow)	.13	24	.81	false(no-overflow)	.24	34	2.0	false(no-overflow)	3.7	280	32	false(no-overflow)	4.1	420	30	false(no-overflow)	.11	28	.77	false(no-overflow)	.10	28	.97	false(no-overflow)	.29	11	4.2	false(no-overflow)	.15	11	1.7	false(no-overflow)	4.5	270	38	false(no-overflow)	4.4	250	34	false(no-overflow)	4.4	260	34
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i	false(no-overflow)	.13	24	.92	false(no-overflow)	.26	34	2.2	false(no-overflow)	3.4	270	31	false(no-overflow)	4.0	420	31	false(no-overflow)	.083	28	.88	false(no-overflow)	.12	28	.58	false(no-overflow)	.30	12	4.0	false(no-overflow)	.14	11	1.8	false(no-overflow)	4.1	250	36	false(no-overflow)	4.2	240	37	false(no-overflow)	4.1	240	33
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i	false(no-overflow)	.14	24	.77	false(no-overflow)	.27	34	2.2	false(no-overflow)	3.5	280	31	false(no-overflow)	4.0	420	32	false(no-overflow)	.080	28	1.0	false(no-overflow)	.082	28	.83	false(no-overflow)	.32	11	3.5	false(no-overflow)	.17	11	1.7	false(no-overflow)	4.1	240	35	false(no-overflow)	4.6	240	42	false(no-overflow)	4.1	250	38
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i	true	.12	24	.80	true	.44	34	5.1	true	3.0	270	24	unknown	1.3	48	15	true	.072	26	.92	true	.081	26	.77	true	.32	11	3.6	true	.15	11	1.4	true	4.0	240	34	true	4.0	240	35	true	4.3	240	33
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i	true	.13	24	.80	true	.47	34	4.4	true	3.1	270	30	unknown	1.6	49	20	true	.088	27	.89	true	.089	27	.77	true	.30	11	4.5	true	.16	11	1.4	true	4.6	290	38	true	4.4	260	36	true	4.7	280	42
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i	true	.11	24	.79	true	.44	34	4.1	true	3.1	280	28	unknown	1.7	48	21	true	.072	26	.96	true	.080	27	.76	true	.32	11	3.7	true	.15	11	1.3	true	4.0	230	34	true	3.9	240	31	true	4.3	250	34
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i	true	.11	24	.91	true	.47	34	4.3	true	3.0	280	24	false(no-overflow)	480	420	5400	true	.079	26	.90	true	.088	26	.72	true	.29	11	3.9	true	.15	11	1.6	true	4.1	240	35	true	4.0	230	31	true	4.2	240	32
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i	true	.11	24	.78	true	.46	34	4.3	true	2.9	270	29	unknown	480	110	6200	true	.073	26	1.0	true	.075	26	.84	true	.29	12	4.5	true	.15	11	1.5	true	4.4	240	34	true	4.0	240	36	true	4.1	240	31
termination-crafted/2Nested_false-no-overflow.c	false(no-overflow)	.11	22	.77	false(no-overflow)	.24	33	2.0	false(no-overflow)	2.6	270	26	false(no-overflow)	.53	75	6.6	false(no-overflow)	.15	28	2.1	false(no-overflow)	.21	28	1.6	false(no-overflow)	.69	12	8.0	false(no-overflow)	.19	12	1.9	false(no-overflow)	6.1	340	49	false(no-overflow)	4.1	250	35	false(no-overflow)	4.2	240	36
termination-crafted/4NestedWith3Variables_false-no-overflow.c	false(no-overflow)	.15	24	.98	false(no-overflow)	.28	36	2.6	false(no-overflow)	2.6	270	24	false(no-overflow)	.60	75	6.7	false(no-overflow)	.36	28	2.9	false(no-overflow)	.41	28	4.0	false(no-overflow)	1.1	13	13	false(no-overflow)	.18	12	1.6	false(no-overflow)	4.1	250	38	false(no-overflow)	4.3	250	37	false(no-overflow)	4.3	250	37
termination-crafted/Ackermann_false-no-overflow.c	error (5)	.098	22	.71	false(no-overflow)	.25	33	2.5	timeout	900	3800	11000	false(no-overflow)	.61	49	7.3	false(no-overflow)	.16	28	1.6	false(no-overflow)	.20	28	1.7	false(no-overflow)	.50	12	5.7	false(no-overflow)	.17	12	1.9	false(no-overflow)	4.0	240	38	false(no-overflow)	4.3	250	38	false(no-overflow)	4.2	250	35
termination-crafted/Bangalore_false-no-overflow.c	false(no-overflow)	.14	22	.92	false(no-overflow)	.24	33	2.8	false(no-overflow)	2.6	270	26	false(no-overflow)	.55	75	6.7	false(no-overflow)	.15	28	1.9	false(no-overflow)	.19	28	2.4	false(no-overflow)	.60	13	7.4	false(no-overflow)	.18	12	1.8	false(no-overflow)	4.0	240	37	false(no-overflow)	4.2	240	38	false(no-overflow)	4.3	250	38
termination-crafted/Bangalore_v3_false-no-overflow.c	false(no-overflow)	.11	22	.95	false(no-overflow)	.24	33	2.3	false(no-overflow)	2.6	270	24	false(no-overflow)	.54	75	6.0	false(no-overflow)	.19	28	1.8	false(no-overflow)	.17	28	2.2	false(no-overflow)	.75	13	9.3	false(no-overflow)	.18	12	2.7	false(no-overflow)	4.2	240	36	false(no-overflow)	4.0	240	35	false(no-overflow)	4.1	240	32
termination-crafted/Benghazi_nondet_false-no-overflow.c	false(no-overflow)	.13	23	.87	false(no-overflow)	.27	33	2.2	false(no-overflow)	2.7	280	27	false(no-overflow)	.56	75	6.9	false(no-overflow)	.23	28	2.0	false(no-overflow)	.24	28	3.2	false(no-overflow)	.68	12	9.7	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.0	230	36	false(no-overflow)	4.2	250	37	false(no-overflow)	4.6	250	34
termination-crafted/Binary_Search_false-no-overflow.c	error (5)	.10	22	.65	false(no-overflow)	.28	34	2.6	false(no-overflow)	2.9	290	25	false(no-overflow)	.40	48	5.0	false(no-overflow)	.22	28	2.1	false(no-overflow)	.35	28	3.3	false(no-overflow)	.58	12	6.8	false(no-overflow)	.17	12	2.1	false(no-overflow)	4.2	250	34	false(no-overflow)	4.3	260	38	false(no-overflow)	4.1	240	34
termination-crafted/Cairo_nondet_false-no-overflow.c	false(no-overflow)	.13	23	.98	false(no-overflow)	.26	33	2.1	false(no-overflow)	2.7	270	22	false(no-overflow)	.85	75	12	false(no-overflow)	.17	28	1.8	false(no-overflow)	.18	28	1.5	false(no-overflow)	.67	12	8.9	false(no-overflow)	.17	12	2.1	false(no-overflow)	4.4	280	36	false(no-overflow)	5.3	290	40	false(no-overflow)	4.6	290	35
termination-crafted/Cairo_step2_false-no-overflow.c	timeout	900	1300	11000	error (42)	870	5100	5000	timeout	900	2600	13000	unknown	77	75	1000	timeout	900	390	10000	timeout	900	390	11000	unknown	900	1100	11000	timeout (timeout)	900	170	13000	timeout	900	4400	14000	timeout	900	5200	12000	timeout	900	2400	13000
termination-crafted/Collatz_unknown-termination_false-no-overflow.c	false(no-overflow)	.11	23	.98	false(no-overflow)	.26	33	2.3	false(no-overflow)	2.8	280	28	unknown	21	75	260	false(no-overflow)	.14	28	1.4	false(no-overflow)	.24	28	2.3	false(no-overflow)	.43	12	5.1	false(no-overflow)	.17	12	2.0	false(no-overflow)	5.0	290	40	false(no-overflow)	4.2	250	36	false(no-overflow)	5.2	290	41
termination-crafted/Copenhagen_disj_false-no-overflow.c	false(no-overflow)	.13	23	.75	false(no-overflow)	.27	33	2.0	false(no-overflow)	2.7	270	24	false(no-overflow)	.40	75	4.7	false(no-overflow)	.22	28	1.9	false(no-overflow)	.24	28	1.9	false(no-overflow)	.49	12	5.7	false(no-overflow)	.18	12	1.6	false(no-overflow)	4.4	270	36	false(no-overflow)	4.3	250	37	false(no-overflow)	4.5	280	35
termination-crafted/Gothenburg_false-no-overflow.c	false(no-overflow)	.13	25	1.2	false(no-overflow)	.26	35	2.0	false(no-overflow)	2.7	270	24	false(no-overflow)	.61	75	7.4	false(no-overflow)	.32	28	2.6	false(no-overflow)	.42	28	3.4	false(no-overflow)	3.6	14	43	false(no-overflow)	.19	12	1.7	false(no-overflow)	4.2	250	37	false(no-overflow)	4.2	250	33	false(no-overflow)	4.2	250	36
termination-crafted/Gothenburg_v2_false-no-overflow.c	false(no-overflow)	.13	25	.97	false(no-overflow)	.29	33	2.4	false(no-overflow)	2.7	270	22	false(no-overflow)	.57	75	7.7	false(no-overflow)	.32	28	3.1	false(no-overflow)	.37	28	4.0	false(no-overflow)	.41	12	4.5	false(no-overflow)	.18	12	1.6	false(no-overflow)	4.3	250	38	false(no-overflow)	4.4	250	33	false(no-overflow)	4.1	250	34
termination-crafted/Hanoi_2vars_false-no-overflow.c	false(no-overflow)	.12	22	1.0	false(no-overflow)	.26	33	2.0	false(no-overflow)	2.6	270	24	false(no-overflow)	.53	75	6.4	false(no-overflow)	.18	28	1.7	false(no-overflow)	.20	28	1.8	out of memory	26	15000	390	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.0	240	35	false(no-overflow)	4.1	250	35	false(no-overflow)	4.0	240	35
termination-crafted/Hanoi_3vars_false-no-overflow.c	false(no-overflow)	.11	23	.80	false(no-overflow)	.23	33	2.2	false(no-overflow)	2.7	270	22	false(no-overflow)	.54	75	6.9	false(no-overflow)	.23	28	2.1	false(no-overflow)	.41	28	3.9	false(no-overflow)	.68	13	8.4	false(no-overflow)	.18	12	1.8	false(no-overflow)	4.2	240	36	false(no-overflow)	4.3	250	38	false(no-overflow)	4.2	250	33
termination-crafted/Hanoi_plus_false-no-overflow.c	false(no-overflow)	.13	23	.86	false(no-overflow)	.25	33	2.3	false(no-overflow)	2.7	270	25	false(no-overflow)	.55	75	6.0	false(no-overflow)	.32	28	2.4	false(no-overflow)	.24	28	3.3	false(no-overflow)	.99	13	12	false(no-overflow)	.18	12	1.7	false(no-overflow)	4.3	230	39	false(no-overflow)	4.3	250	41	false(no-overflow)	4.3	240	32
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c	false(no-overflow)	.12	22	.86	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.5	270	24	false(no-overflow)	.37	75	4.3	false(no-overflow)	.17	28	1.7	false(no-overflow)	.15	28	1.9	false(no-overflow)	.42	12	5.6	false(no-overflow)	.18	12	1.7	false(no-overflow)	4.4	270	35	false(no-overflow)	6.9	370	51	false(no-overflow)	4.7	280	38
termination-crafted/Mysore_false-no-overflow.c	false(no-overflow)	.12	23	.81	false(no-overflow)	.24	33	2.3	false(no-overflow)	2.7	270	23	false(no-overflow)	.56	75	6.6	false(no-overflow)	.24	28	1.6	false(no-overflow)	.23	28	2.4	false(no-overflow)	.83	12	10	false(no-overflow)	.16	12	2.1	false(no-overflow)	6.3	340	47	false(no-overflow)	4.2	250	39	false(no-overflow)	4.0	240	37
termination-crafted/NestedRecursion_1a_false-no-overflow.c	error (5)	.12	22	.68	false(no-overflow)	.25	33	2.6	false(no-overflow)	2.7	270	26	false(no-overflow)	.57	49	6.5	false(no-overflow)	.13	28	1.3	false(no-overflow)	.18	28	1.9	false(no-overflow)	.35	12	4.3	false(no-overflow)	.16	12	1.8	false(no-overflow)	4.2	250	35	false(no-overflow)	4.4	250	39	false(no-overflow)	4.2	250	33
termination-crafted/NestedRecursion_2a_false-no-overflow.c	error (5)	.12	22	.75	false(no-overflow)	.24	33	2.1	false(no-overflow)	2.7	270	26	false(no-overflow)	.52	48	5.6	false(no-overflow)	.12	28	1.5	false(no-overflow)	.14	28	1.2	false(no-overflow)	.38	11	3.4	false(no-overflow)	.15	12	2.1	false(no-overflow)	4.5	280	44	false(no-overflow)	4.3	250	36	false(no-overflow)	4.7	280	38
termination-crafted/NonTermination1_false-no-overflow.c	false(no-overflow)	.12	23	.87	false(no-overflow)	.27	33	2.1	false(no-overflow)	2.7	280	24	false(no-overflow)	.55	75	6.2	false(no-overflow)	.13	28	1.4	false(no-overflow)	.15	28	1.1	false(no-overflow)	.39	12	4.8	false(no-overflow)	.18	12	1.8	false(no-overflow)	3.9	240	34	false(no-overflow)	4.2	240	38	false(no-overflow)	4.1	250	37
termination-crafted/NonTermination2_false-no-overflow.c	false(no-overflow)	.14	23	.86	false(no-overflow)	.24	33	2.2	false(no-overflow)	3.0	280	27	false(no-overflow)	.38	75	4.3	false(no-overflow)	.13	28	1.1	false(no-overflow)	.26	28	1.7	false(no-overflow)	.48	12	5.3	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.1	240	37	false(no-overflow)	4.1	250	38	false(no-overflow)	6.8	350	44
termination-crafted/NonTermination4_false-no-overflow.c	false(no-overflow)	.53	41	5.7	false(no-overflow)	1.8	35	20	false(no-overflow)	190	1300	1500	false(no-overflow)	12	75	140	false(no-overflow)	.12	28	1.2	false(no-overflow)	.12	28	1.2	false(no-overflow)	.30	11	3.8	false(no-overflow)	.16	11	2.0	false(no-overflow)	23	780	200	false(no-overflow)	350	4900	4900	false(no-overflow)	250	2200	2700
termination-crafted/NonTerminationSimple2_false-no-overflow.c	false(no-overflow)	.14	22	.77	false(no-overflow)	.23	33	2.5	false(no-overflow)	2.8	270	23	false(no-overflow)	.55	75	5.6	false(no-overflow)	.13	28	1.3	false(no-overflow)	.16	28	1.2	false(no-overflow)	.41	12	5.5	false(no-overflow)	.15	11	1.7	false(no-overflow)	4.0	230	36	false(no-overflow)	4.3	240	34	false(no-overflow)	4.2	240	33
termination-crafted/NonTerminationSimple3_false-no-overflow.c	false(no-overflow)	.099	23	1.0	false(no-overflow)	.27	33	2.0	false(no-overflow)	2.7	270	21	false(no-overflow)	.55	75	6.4	false(no-overflow)	.16	28	1.8	false(no-overflow)	.22	28	2.1	false(no-overflow)	.58	13	8.0	false(no-overflow)	.15	12	1.7	false(no-overflow)	4.2	240	38	false(no-overflow)	4.0	240	35	false(no-overflow)	4.0	240	37
termination-crafted/NonTerminationSimple4_false-no-overflow.c	timeout	900	1200	13000	error (42)	880	5100	4300	timeout	900	2200	12000	unknown	76	75	950	timeout	900	400	12000	timeout	900	390	12000	unknown	900	83	4200	error (1)	.099	11	1.2	timeout	900	3900	15000	timeout	900	5200	13000	timeout	900	2500	15000
termination-crafted/NonTerminationSimple5_false-no-overflow.c	false(no-overflow)	.13	22	.82	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.7	270	23	false(no-overflow)	.55	75	6.3	false(no-overflow)	.13	28	1.1	false(no-overflow)	.12	28	1.5	false(no-overflow)	.42	12	4.8	false(no-overflow)	.17	11	1.7	false(no-overflow)	4.5	280	37	false(no-overflow)	4.3	250	37	false(no-overflow)	4.6	290	37
termination-crafted/NonTerminationSimple6_false-no-overflow.c	false(no-overflow)	.14	22	.91	false(no-overflow)	.23	33	1.9	false(no-overflow)	2.6	270	23	false(no-overflow)	.54	75	6.5	false(no-overflow)	.13	28	1.6	false(no-overflow)	.20	28	1.6	out of memory	26	15000	370	false(no-overflow)	.18	12	1.9	false(no-overflow)	4.0	240	36	false(no-overflow)	4.1	240	36	false(no-overflow)	4.1	230	36
termination-crafted/NonTerminationSimple8_false-no-overflow.c	false(no-overflow)	.13	22	1.1	false(no-overflow)	.28	33	2.0	false(no-overflow)	2.7	280	26	false(no-overflow)	.57	75	7.2	false(no-overflow)	.15	28	1.2	false(no-overflow)	.16	28	1.7	false(no-overflow)	.44	12	5.3	false(no-overflow)	.18	11	1.7	false(no-overflow)	6.1	330	45	false(no-overflow)	4.1	250	39	false(no-overflow)	4.0	250	39
termination-crafted/NonTerminationSimple9_false-no-overflow.c	false(no-overflow)	.14	22	.80	false(no-overflow)	.23	33	2.4	false(no-overflow)	2.7	280	26	false(no-overflow)	.53	75	7.7	false(no-overflow)	.12	28	1.3	false(no-overflow)	.13	28	1.3	out of memory	26	15000	360	false(no-overflow)	.18	12	1.8	false(no-overflow)	4.3	240	36	false(no-overflow)	4.1	240	36	false(no-overflow)	4.2	250	35
termination-crafted/Pure2Phase_false-no-overflow.c	false(no-overflow)	.13	22	.87	false(no-overflow)	.26	33	2.0	false(no-overflow)	2.6	270	23	false(no-overflow)	.55	75	6.0	false(no-overflow)	.19	28	1.9	false(no-overflow)	.27	28	2.1	false(no-overflow)	.43	12	5.5	false(no-overflow)	.19	12	1.4	false(no-overflow)	4.7	280	36	false(no-overflow)	4.5	250	39	false(no-overflow)	4.8	280	37
termination-crafted/Pure3Phase_false-no-overflow.c	false(no-overflow)	.14	23	.85	false(no-overflow)	.25	35	2.4	false(no-overflow)	2.7	270	25	false(no-overflow)	.58	75	6.6	false(no-overflow)	.26	28	2.2	false(no-overflow)	.27	28	2.8	false(no-overflow)	1.6	13	22	false(no-overflow)	.16	12	2.6	false(no-overflow)	4.2	240	33	false(no-overflow)	4.5	250	34	false(no-overflow)	4.2	250	33
termination-crafted/RecursiveMultiplication_false-no-overflow.c	error (5)	.10	22	.65	witness invalid (false(no-overflow))	.25	33	2.2	false(no-overflow)	3.5	300	30	false(no-overflow)	.57	49	7.7	false(no-overflow)	.16	28	1.7	false(no-overflow)	.19	28	1.9	unknown	.80	12	12	false(no-overflow)	.17	12	1.9	false(no-overflow)	4.4	250	34	false(no-overflow)	4.2	250	38	false(no-overflow)	4.3	250	38
termination-crafted/RecursiveNonterminating_false-no-overflow.c	error (5)	.12	22	.71	false(no-overflow)	.27	33	2.2	false(no-overflow)	2.6	270	21	false(no-overflow)	.56	49	7.0	false(no-overflow)	.13	28	1.6	false(no-overflow)	.11	28	1.5	false(no-overflow)	.33	11	3.6	false(no-overflow)	.16	14	1.8	false(no-overflow)	4.3	240	34	false(no-overflow)	4.0	250	32	false(no-overflow)	4.0	250	37
termination-crafted/Rotation180_false-no-overflow.c	false(no-overflow)	.11	24	.68	false(no-overflow)	.26	33	2.1	false(no-overflow)	2.6	260	23	false(no-overflow)	.36	75	4.1	false(no-overflow)	.12	28	1.2	false(no-overflow)	.21	28	2.2	unknown	890	11	14000	false(no-overflow)	.18	12	1.7	false(no-overflow)	4.1	240	34	false(no-overflow)	4.2	250	36	false(no-overflow)	4.0	240	33
termination-crafted/Singapore_false-no-overflow.c	false(no-overflow)	.12	23	.81	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.6	270	22	false(no-overflow)	.56	75	6.7	false(no-overflow)	.17	28	2.5	false(no-overflow)	.21	28	1.9	false(no-overflow)	.60	13	7.8	false(no-overflow)	.19	12	1.8	false(no-overflow)	4.0	240	36	false(no-overflow)	4.3	250	34	false(no-overflow)	4.4	240	36
termination-crafted/Singapore_plus_false-no-overflow.c	false(no-overflow)	.11	23	1.0	false(no-overflow)	.28	35	2.1	false(no-overflow)	2.8	270	23	false(no-overflow)	.56	75	6.5	false(no-overflow)	.20	28	2.0	false(no-overflow)	.29	28	2.9	false(no-overflow)	.64	12	7.6	false(no-overflow)	.19	12	1.8	false(no-overflow)	4.1	240	34	false(no-overflow)	4.4	250	38	false(no-overflow)	4.2	240	32
termination-crafted/Singapore_v1_false-no-overflow.c	false(no-overflow)	.12	23	1.0	false(no-overflow)	.27	33	2.3	false(no-overflow)	2.5	260	23	false(no-overflow)	.54	75	8.1	false(no-overflow)	.19	28	2.0	false(no-overflow)	.20	28	1.9	false(no-overflow)	.68	12	8.4	false(no-overflow)	.17	12	2.1	false(no-overflow)	4.2	240	35	false(no-overflow)	4.3	250	36	false(no-overflow)	4.2	240	38
termination-crafted/Singapore_v2_false-no-overflow.c	false(no-overflow)	.12	23	.83	false(no-overflow)	.27	33	2.2	false(no-overflow)	2.6	270	26	false(no-overflow)	.55	75	7.0	false(no-overflow)	.17	28	1.9	false(no-overflow)	.21	28	1.9	false(no-overflow)	.69	12	8.1	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.1	240	36	false(no-overflow)	4.2	250	34	false(no-overflow)	4.3	250	35
termination-crafted/Stockholm_false-no-overflow.c	false(no-overflow)	.12	23	.89	false(no-overflow)	.24	33	2.0	false(no-overflow)	2.7	270	22	false(no-overflow)	.57	75	7.5	false(no-overflow)	.29	28	2.2	false(no-overflow)	.32	28	2.5	false(no-overflow)	1.8	13	22	false(no-overflow)	.18	12	1.7	false(no-overflow)	4.3	240	39	false(no-overflow)	4.2	250	41	false(no-overflow)	4.4	250	35
termination-crafted/Thun_false-no-overflow.c	false(no-overflow)	.13	23	.76	false(no-overflow)	.27	33	2.0	false(no-overflow)	2.7	270	23	false(no-overflow)	.54	75	6.2	false(no-overflow)	.18	28	1.6	false(no-overflow)	.27	28	2.4	false(no-overflow)	1.1	13	16	false(no-overflow)	.18	12	1.7	false(no-overflow)	4.0	240	33	false(no-overflow)	4.3	250	33	false(no-overflow)	4.0	250	33
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c	false(no-overflow)	.12	23	1.1	false(no-overflow)	.27	33	2.1	false(no-overflow)	2.7	270	22	false(no-overflow)	.57	75	6.9	false(no-overflow)	.17	28	1.5	false(no-overflow)	.28	28	1.8	false(no-overflow)	.95	12	13	false(no-overflow)	.16	12	1.8	false(no-overflow)	4.9	280	41	false(no-overflow)	4.5	250	41	false(no-overflow)	4.8	290	38
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c	false(no-overflow)	.12	24	1.1	false(no-overflow)	.27	33	2.5	false(no-overflow)	3.1	280	28	false(no-overflow)	.62	77	7.9	false(no-overflow)	.55	28	4.4	false(no-overflow)	.57	28	5.7	false(no-overflow)	1.4	12	19	false(no-overflow)	.20	12	1.9	false(no-overflow)	13	660	120	false(no-overflow)	12	540	120	false(no-overflow)	13	610	100
termination-crafted/aaron2_false-no-overflow.c	false(no-overflow)	.14	25	.85	false(no-overflow)	.24	35	2.5	false(no-overflow)	2.7	280	28	false(no-overflow)	.41	75	4.6	false(no-overflow)	.25	28	2.3	false(no-overflow)	.34	28	3.3	false(no-overflow)	.93	13	12	false(no-overflow)	.16	12	2.3	false(no-overflow)	4.7	280	43	false(no-overflow)	4.1	250	36	false(no-overflow)	4.6	280	38
termination-crafted/aaron3_false-no-overflow.c	false(no-overflow)	.14	23	.76	false(no-overflow)	.26	33	2.2	false(no-overflow)	2.7	270	23	false(no-overflow)	.39	75	4.6	false(no-overflow)	.26	28	2.5	false(no-overflow)	.33	28	2.9	false(no-overflow)	.79	13	10	false(no-overflow)	.19	12	2.4	false(no-overflow)	6.0	320	40	false(no-overflow)	4.2	250	39	false(no-overflow)	4.3	250	40
termination-crafted/easy2_false-no-overflow.c	timeout	900	1700	12000	error (42)	870	2200	3100	timeout	900	13000	10000	unknown	160	390	2300	timeout	900	890	11000	timeout	900	880	11000	unknown	900	300	11000	timeout (timeout)	900	210	13000	timeout	900	5300	14000	timeout	900	7000	13000	timeout	900	5300	13000
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c	true	.19	24	1.4	true	2.2	34	28	true	2.6	270	24	unknown	1.2	76	14	true	.087	26	.89	true	.074	26	.79	true	.34	11	3.5	true	.13	11	1.5	true	7.3	360	56	true	4.6	260	42	true	4.5	260	36
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c	true	5.9	200	66	error (42)	870	3000	3200	true	2.9	270	25	unknown	60	100	790	timeout	900	1600	11000	true	.12	26	.57	unknown	890	100	12000	timeout (timeout)	900	250	11000	true	30	940	320	timeout	900	5200	14000	timeout	900	1500	11000
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c	true	3.0	100	31	error (42)	870	3900	4200	true	2.7	270	24	unknown	1.3	75	14	timeout	900	1500	14000	true	.072	26	.78	unknown	900	32	11000	timeout (timeout)	900	70	11000	true	4.6	280	36	true	4.5	260	42	true	4.8	280	40
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c	true	3.3	170	37	error (42)	870	3800	3000	timeout	900	6200	11000	unknown	1.4	100	18	timeout	900	1100	11000	true	.089	26	.78	unknown	3.0	140	33	timeout (timeout)	900	180	12000	true	5.7	300	51	true	7.0	470	63	true	6.8	330	60
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c	true	.10	22	.73	error (42)	870	5300	4700	true	2.7	270	25	unknown	7.6	75	92	timeout	900	130	10000	true	.10	26	.85	unknown	900	60	10000	timeout (timeout)	900	52	12000	true	5.2	300	44	true	7.0	460	58	true	5.5	290	49
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c	true	.087	23	.86	error (42)	870	5500	5800	true	2.7	270	28	unknown	7.2	75	89	timeout	900	190	12000	true	.089	26	1.1	unknown	900	58	12000	timeout (timeout)	900	55	14000	true	5.3	300	42	true	6.2	420	59	true	5.5	300	42
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c	true	.17	24	1.2	true	.45	33	3.8	true	2.6	270	25	unknown	1.5	75	15	true	.12	26	1.2	true	.096	26	.95	true	.49	12	5.2	true	.20	12	2.0	true	5.0	300	43	true	5.3	290	40	true	5.8	300	50
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c	timeout	900	310	8400	error (42)	870	2200	3200	timeout	900	4900	11000	unknown	380	560	4700	timeout	900	1300	9700	timeout	900	1300	11000	unknown	900	930	12000	timeout (timeout)	900	100	13000	true	17	720	150	timeout	900	5700	12000	true	24	800	220
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c	true	.12	22	.68	error (42)	870	8400	3400	true	2.6	270	21	unknown	1.2	75	18	unknown	.056	15	.25	unknown	.033	15	.31	unknown	900	1200	11000	error (1)	.080	11	.63	true	4.1	230	38	true	4.0	240	32	true	4.1	240	37
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c	timeout	900	1300	12000	error (42)	870	4600	5900	timeout	900	2600	10000	unknown	68	75	850	timeout	900	440	11000	timeout	900	450	12000	unknown	900	1100	11000	timeout (timeout)	900	270	13000	true	4.9	300	40	true	4.9	270	44	true	5.3	300	43
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c	timeout	900	1400	13000	error (42)	870	4500	4000	true	2.8	270	23	unknown	1.4	75	20	timeout	900	400	9700	timeout	900	400	11000	unknown	900	1200	12000	timeout (timeout)	900	170	11000	true	4.6	290	46	true	5.1	270	41	true	5.1	280	43
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c	true	.11	23	.87	error (42)	870	3200	4900	true	2.7	270	22	unknown	1.3	75	16	timeout	900	760	11000	true	.075	26	.77	unknown	900	1100	9900	timeout (timeout)	900	230	13000	true	5.5	310	53	true	6.8	420	51	true	6.4	300	51
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c	true	.11	23	.83	error (42)	870	3900	3500	true	2.9	290	23	unknown	1.5	75	17	timeout	900	630	13000	true	.082	26	.86	unknown	900	26	12000	timeout (timeout)	900	15	14000	true	4.7	290	39	true	5.8	310	45	true	7.6	390	50
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c	true	6.3	280	63	error (134)	50	14000	600	true	2.7	270	25	unknown	38	100	500	out of memory	750	15000	11000	true	.11	26	.96	unknown	900	1900	11000	unknown	300	2900	2500	timeout	900	4900	13000	timeout	900	5300	15000	timeout	900	1600	11000
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c	error (134)	.16	24	1.7	error (134)	58	14000	730	timeout	900	6300	9900	unknown	120	160	1500	timeout	900	5900	11000	timeout	900	5900	11000	unknown	900	1900	12000	timeout (timeout)	900	3800	7900	timeout	900	2000	11000	timeout	900	6200	11000	timeout	900	1300	12000
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c	true	.13	22	.69	out of memory	210	15000	2800	true	2.5	270	24	unknown	1.2	75	12	timeout	900	11000	9700	true	.082	26	.66	unknown	890	11	12000	true	.13	11	1.3	true	3.8	240	37	true	3.9	230	35	true	4.3	240	34
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c	timeout	900	1500	10000	error (42)	870	1200	8200	timeout	900	600	12000	unknown	900	120	9700	timeout	900	150	12000	timeout	900	150	11000	unknown	900	110	13000	timeout (timeout)	900	76	12000	timeout	900	5200	11000	timeout	900	5300	14000	timeout	900	3900	13000
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c	error (5)	.10	22	.64	error (42)	870	2000	2900	true	2.9	280	27	out of memory (false(no-overflow))	510	15000	7100	timeout	900	6400	7300	timeout	900	9000	9500	unknown	900	140	11000	timeout (timeout)	900	72	12000	true	6.3	310	53	true	6.6	400	52	true	6.4	310	51
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c	timeout	900	750	7700	error (42)	870	3200	4100	true	2.9	270	25	unknown	1.4	75	16	timeout	900	1000	11000	timeout	900	1000	10000	unknown	900	940	12000	timeout (timeout)	900	100	12000	true	9.8	540	79	true	18	670	170	true	7.2	320	55
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c	error (5)	.12	22	.69	error (42)	870	310	3700	true	3.9	290	33	unknown	450	15000	6300	timeout	900	12000	6500	out of memory	720	15000	7600	unknown	900	600	12000	timeout (timeout)	900	92	12000	true	8.5	450	66	timeout	900	1200	14000	true	16	640	140
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c	error (5)	.12	22	.66	error (42)	870	290	2400	true	4.0	290	40	unknown	440	15000	6000	timeout	900	12000	6200	out of memory	670	15000	7800	unknown	900	260	11000	timeout (timeout)	900	130	11000	true	19	790	170	timeout	900	1200	12000	true	44	1100	390
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c	error (5)	.12	22	.64	error (42)	870	710	3800	timeout	900	1200	13000	out of memory (false(no-overflow))	440	15000	5900	timeout	900	4900	6300	timeout	900	4800	12000	unknown	900	460	12000	timeout (timeout)	900	360	13000	true	12	560	93	timeout	900	1500	13000	true	23	670	180
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c	error (5)	.11	22	.67	error (42)	870	480	3200	true	3.3	280	30	out of memory (false(no-overflow))	390	15000	4400	timeout	900	4900	6800	out of memory	770	15000	6700	unknown	900	460	10000	timeout (timeout)	900	290	14000	true	8.4	480	71	timeout	900	1600	14000	true	13	580	110
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c	error (5)	.10	22	.84	error (42)	870	700	3600	timeout	900	1400	9800	out of memory (false(no-overflow))	440	15000	6000	timeout	900	4800	5200	out of memory	680	15000	6600	unknown	900	490	13000	timeout (timeout)	900	400	12000	true	12	530	99	timeout	900	1800	11000	true	15	610	110
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c	error (5)	.086	22	.64	error (42)	870	810	6200	timeout	900	5100	9900	out of memory (false(no-overflow))	500	15000	5300	timeout	900	6100	6000	timeout	900	12000	7200	unknown	900	2400	9200	timeout (timeout)	900	980	11000	true	11	550	83	timeout	900	2000	11000	true	9.5	520	76
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c	error (5)	.097	22	.64	error (42)	870	4100	5400	timeout	900	4300	11000	out of memory (false(no-overflow))	500	15000	7300	out of memory	890	15000	7700	timeout	900	12000	10000	unknown	900	1600	10000	timeout (timeout)	900	270	10000	true	14	610	120	timeout	900	5000	12000	true	14	610	120
termination-crafted/NonTermination3_true-no-overflow_false-termination.c	true	.11	23	.80	error (42)	870	2700	5600	true	2.6	270	22	unknown	1.2	75	13	timeout	900	2100	11000	true	.079	26	.74	true	.41	12	5.0	true	.13	11	1.6	true	4.1	240	33	true	4.0	240	40	true	3.9	230	31
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c	true	.12	22	.84	error (42)	870	5300	4400	true	2.7	270	26	unknown	1.4	75	16	timeout	900	170	11000	true	.072	26	.89	unknown	890	11	12000	true	.16	11	1.6	true	5.3	300	45	true	6.4	380	52	true	5.8	300	46
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c	true	.11	25	.81	error (42)	870	2200	6500	true	2.7	270	23	unknown	1.4	75	17	timeout	900	380	12000	true	.10	26	.62	unknown	900	650	13000	timeout (timeout)	900	4000	10000	true	4.9	280	44	true	6.3	390	55	true	6.8	360	60
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c	true	.11	23	.83	error (42)	870	2100	6800	true	2.6	270	24	unknown	1.3	75	17	timeout	900	400	9700	true	.076	26	.86	unknown	900	250	11000	timeout (timeout)	900	250	12000	true	4.9	280	42	true	6.1	380	52	true	4.9	290	38
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c	true	.14	23	.75	error (42)	870	830	9100	true	2.7	270	26	unknown	1.2	75	16	timeout	900	220	12000	true	.12	26	1.1	unknown	900	140	11000	timeout (timeout)	900	170	12000	true	5.0	290	41	true	6.0	340	50	true	4.9	300	44
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c	true	.15	23	1.7	error (42)	870	4500	4000	true	2.6	270	26	unknown	72	75	1000	timeout	900	720	11000	timeout	900	720	11000	unknown	900	460	11000	timeout (timeout)	900	250	12000	true	5.5	300	46	true	5.8	320	50	true	5.0	280	41
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c	true	.11	23	.72	error (42)	870	1300	9500	true	2.7	260	23	unknown	1.3	75	15	timeout	900	410	14000	true	.12	26	.86	unknown	900	440	12000	timeout (timeout)	900	330	11000	true	5.7	300	45	true	6.5	380	62	true	5.6	300	46
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c	true	.10	22	.74	error (42)	870	5100	4100	true	2.6	270	23	unknown	1.4	75	14	timeout	900	740	11000	true	.11	26	.72	unknown	900	260	11000	timeout (timeout)	900	210	13000	true	4.8	290	38	true	5.1	260	47	true	4.7	280	36
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c	true	.10	22	.84	true	.39	33	5.0	true	2.7	290	25	unknown	1.2	48	12	true	.069	26	.84	true	.093	26	.73	true	.29	11	3.5	true	.14	11	1.3	true	4.1	240	33	true	3.8	240	31	true	4.0	240	35
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c	true	.10	22	.72	true	.41	33	4.3	true	2.6	270	24	unknown	1.2	75	13	out of memory	290	15000	4400	true	.10	26	.68	unknown	890	11	12000	true	.13	11	1.4	true	4.1	240	37	true	3.8	230	33	true	4.2	240	31
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c	true	.11	22	.92	true	4.2	61	55	true	2.7	270	22	unknown	1.4	75	17	true	.61	26	8.6	true	.11	26	.66	true	.38	11	4.3	true	.15	11	1.5	true	4.8	290	37	true	5.7	310	45	true	4.8	290	39
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c	timeout	900	1700	9900	error (42)	870	2400	4200	timeout	900	13000	11000	unknown	120	240	1600	timeout	900	900	12000	timeout	900	890	10000	unknown	900	310	9900	timeout (timeout)	900	180	12000	timeout	900	5300	13000	timeout	900	7100	11000	true	7.4	350	60
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c	false(no-overflow)	.15	23	.84	false(no-overflow)	.27	33	1.9	false(no-overflow)	2.8	270	24	false(no-overflow)	.58	100	6.9	false(no-overflow)	.29	28	2.3	false(no-overflow)	.41	29	4.6	false(no-overflow)	.41	12	6.0	false(no-overflow)	.19	12	1.9	false(no-overflow)	4.7	300	43	false(no-overflow)	4.7	260	36	false(no-overflow)	4.7	290	40
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c	false(no-overflow)	.13	26	1.1	false(no-overflow)	.28	36	2.6	false(no-overflow)	2.7	280	26	false(no-overflow)	.60	130	6.5	false(no-overflow)	.29	28	3.0	false(no-overflow)	.56	30	6.8	false(no-overflow)	.43	12	6.0	false(no-overflow)	.19	12	1.9	false(no-overflow)	5.1	280	46	false(no-overflow)	4.9	260	42	false(no-overflow)	5.1	290	38
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c	false(no-overflow)	.11	23	.93	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.6	270	24	false(no-overflow)	.40	75	4.7	false(no-overflow)	.24	28	2.8	false(no-overflow)	.26	28	3.2	false(no-overflow)	.92	13	13	false(no-overflow)	.20	12	1.8	false(no-overflow)	4.6	280	38	false(no-overflow)	4.3	250	42	false(no-overflow)	4.8	280	40
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c	false(no-overflow)	.14	23	.88	false(no-overflow)	.24	33	2.5	false(no-overflow)	2.8	270	24	false(no-overflow)	.39	75	4.4	false(no-overflow)	.27	28	2.9	false(no-overflow)	.35	28	2.8	unknown	.82	13	10	false(no-overflow)	.22	12	2.4	false(no-overflow)	4.4	240	36	false(no-overflow)	4.3	250	37	false(no-overflow)	4.4	250	36
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c	false(no-overflow)	.13	23	.98	false(no-overflow)	.29	33	2.6	false(no-overflow)	2.6	270	21	false(no-overflow)	.63	100	6.9	false(no-overflow)	.23	28	1.8	false(no-overflow)	.38	28	3.7	false(no-overflow)	.68	13	7.9	false(no-overflow)	.21	12	2.0	false(no-overflow)	5.9	300	49	false(no-overflow)	6.2	380	59	false(no-overflow)	6.3	290	47
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c	false(no-overflow)	.14	25	.96	false(no-overflow)	.28	33	2.3	false(no-overflow)	2.8	270	26	false(no-overflow)	.38	75	4.8	false(no-overflow)	.25	28	2.2	false(no-overflow)	.38	28	2.9	false(no-overflow)	.72	12	7.8	false(no-overflow)	.17	12	2.1	false(no-overflow)	4.0	240	37	false(no-overflow)	4.6	250	44	false(no-overflow)	4.3	250	35
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c	false(no-overflow)	.13	23	1.1	false(no-overflow)	.26	33	2.7	false(no-overflow)	2.8	270	26	false(no-overflow)	.58	130	6.7	false(no-overflow)	.20	28	1.8	false(no-overflow)	.36	28	3.8	false(no-overflow)	1.2	13	16	false(no-overflow)	.25	12	2.7	false(no-overflow)	7.1	370	56	false(no-overflow)	5.9	340	51	false(no-overflow)	5.2	290	42
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c	timeout	900	1700	12000	error (42)	870	2400	3400	timeout	900	13000	11000	unknown	160	390	2100	timeout	900	890	12000	timeout	900	890	11000	unknown	900	270	11000	timeout (timeout)	900	200	10000	timeout	900	5300	15000	timeout	900	7000	10000	timeout	900	5300	12000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c	false(no-overflow)	.14	23	.90	false(no-overflow)	.26	33	1.5	false(no-overflow)	2.6	270	23	false(no-overflow)	.39	75	4.5	false(no-overflow)	.27	28	2.4	false(no-overflow)	.36	28	3.8	false(no-overflow)	.53	13	6.5	false(no-overflow)	.16	12	1.9	false(no-overflow)	5.0	290	42	false(no-overflow)	5.9	320	52	false(no-overflow)	4.7	280	40
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c	false(no-overflow)	.12	22	.87	false(no-overflow)	.25	33	1.9	false(no-overflow)	2.6	270	24	false(no-overflow)	.54	75	6.0	false(no-overflow)	.13	28	1.4	false(no-overflow)	.14	28	1.1	false(no-overflow)	.30	11	3.6	false(no-overflow)	.19	12	1.7	false(no-overflow)	4.5	280	38	false(no-overflow)	4.5	250	37	false(no-overflow)	4.7	290	36
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c	timeout	900	3000	5800	error (42)	870	1500	5000	timeout	900	6200	10000	unknown	900	710	6100	timeout	900	1100	11000	timeout	900	1000	9700	unknown	890	620	12000	timeout (timeout)	900	1900	9800	timeout	900	5000	13000	timeout	900	6000	12000	timeout	900	3000	15000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c	timeout	900	1000	9500	error (42)	870	590	9400	timeout	910	620	13000	unknown	900	140	12000	timeout	900	120	12000	timeout	900	120	9600	unknown	900	350	14000	timeout (timeout)	900	4000	8700	timeout	900	8500	9900	timeout	900	6700	12000	timeout	900	3800	12000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c	false(no-overflow)	.14	23	.84	false(no-overflow)	.25	33	2.0	false(no-overflow)	2.9	280	27	false(no-overflow)	.56	75	6.5	false(no-overflow)	.15	28	1.3	false(no-overflow)	.13	28	1.5	false(no-overflow)	.40	12	5.0	false(no-overflow)	.18	12	1.9	false(no-overflow)	4.1	250	35	false(no-overflow)	4.3	250	35	false(no-overflow)	4.4	250	34
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c	false(no-overflow)	.14	25	.85	false(no-overflow)	.25	33	2.2	false(no-overflow)	2.7	280	24	false(no-overflow)	.55	75	6.6	false(no-overflow)	.22	28	2.5	false(no-overflow)	.26	28	2.3	out of memory	31	15000	470	false(no-overflow)	.19	12	1.8	false(no-overflow)	4.4	240	39	false(no-overflow)	4.1	250	36	false(no-overflow)	4.2	250	32
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c	false(no-overflow)	.13	22	.80	false(no-overflow)	.27	33	2.0	false(no-overflow)	2.7	270	23	false(no-overflow)	.39	75	4.8	false(no-overflow)	.27	28	2.4	false(no-overflow)	.35	28	3.7	false(no-overflow)	.50	13	6.5	false(no-overflow)	.19	12	2.0	false(no-overflow)	4.9	290	41	false(no-overflow)	5.5	310	48	false(no-overflow)	4.9	280	42
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c	false(no-overflow)	.14	23	.83	false(no-overflow)	.25	33	2.3	false(no-overflow)	2.8	270	23	false(no-overflow)	.38	75	4.7	false(no-overflow)	.28	28	2.2	false(no-overflow)	.45	28	3.7	false(no-overflow)	.61	12	8.0	false(no-overflow)	.19	12	1.9	false(no-overflow)	4.9	300	39	false(no-overflow)	4.7	270	39	false(no-overflow)	4.7	290	37
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c	false(no-overflow)	.13	23	.86	false(no-overflow)	.25	33	2.6	false(no-overflow)	2.7	270	25	false(no-overflow)	.61	76	7.1	false(no-overflow)	.24	28	2.2	false(no-overflow)	.26	28	2.5	out of memory	25	15000	310	false(no-overflow)	.20	12	1.9	false(no-overflow)	4.8	280	37	false(no-overflow)	4.6	250	36	false(no-overflow)	4.7	290	40
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c	false(no-overflow)	.15	29	1.5	false(no-overflow)	.35	38	2.6	false(no-overflow)	2.7	270	23	false(no-overflow)	480	130	6900	false(no-overflow)	.42	29	4.2	false(no-overflow)	.69	32	6.7	false(no-overflow)	1.9	20	22	false(no-overflow)	.17	12	2.3	false(no-overflow)	4.4	250	37	false(no-overflow)	4.3	250	36	false(no-overflow)	4.3	250	39
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c	false(no-overflow)	.11	23	.82	false(no-overflow)	.28	35	2.4	false(no-overflow)	2.8	270	22	false(no-overflow)	.40	75	4.7	false(no-overflow)	.27	28	2.6	false(no-overflow)	.31	28	2.9	false(no-overflow)	.68	12	8.2	false(no-overflow)	.21	12	2.1	false(no-overflow)	4.5	250	36	false(no-overflow)	4.6	250	35	false(no-overflow)	4.4	250	32
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c	false(no-overflow)	.11	23	1.0	false(no-overflow)	.27	33	2.2	false(no-overflow)	2.7	270	23	false(no-overflow)	.41	75	4.5	false(no-overflow)	.25	28	2.7	false(no-overflow)	.29	28	3.4	false(no-overflow)	.98	13	11	false(no-overflow)	.20	12	1.8	false(no-overflow)	4.5	280	38	false(no-overflow)	4.3	240	37	false(no-overflow)	4.5	290	34
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c	false(no-overflow)	.13	23	.82	false(no-overflow)	.25	33	2.2	false(no-overflow)	2.6	270	23	false(no-overflow)	.39	75	4.8	false(no-overflow)	.30	28	2.6	false(no-overflow)	.33	28	2.9	false(no-overflow)	.81	13	9.6	false(no-overflow)	.20	12	2.3	false(no-overflow)	4.2	240	40	false(no-overflow)	4.2	260	36	false(no-overflow)	4.3	250	37
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c	false(no-overflow)	.14	23	.94	false(no-overflow)	.28	33	2.2	false(no-overflow)	2.7	270	25	false(no-overflow)	.44	76	4.8	false(no-overflow)	.37	28	4.0	false(no-overflow)	.47	29	4.2	false(no-overflow)	.82	12	11	false(no-overflow)	.21	12	2.0	false(no-overflow)	4.2	240	36	false(no-overflow)	4.3	260	34	false(no-overflow)	4.5	260	38
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c	false(no-overflow)	.13	24	.81	false(no-overflow)	.27	33	2.3	false(no-overflow)	2.6	270	26	false(no-overflow)	.42	76	4.6	false(no-overflow)	.31	28	3.4	false(no-overflow)	.42	28	4.3	out of memory	26	15000	360	false(no-overflow)	.20	12	1.9	false(no-overflow)	4.3	250	39	false(no-overflow)	4.4	260	42	false(no-overflow)	4.2	250	34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c	false(no-overflow)	.11	23	.95	false(no-overflow)	.25	33	1.9	false(no-overflow)	2.7	270	24	false(no-overflow)	.55	75	6.4	false(no-overflow)	.12	28	1.2	false(no-overflow)	.14	28	1.4	false(no-overflow)	.48	12	6.3	false(no-overflow)	.17	12	1.7	false(no-overflow)	4.5	280	41	false(no-overflow)	4.3	250	36	false(no-overflow)	4.5	280	34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c	false(no-overflow)	.12	23	.86	false(no-overflow)	.24	33	2.7	false(no-overflow)	2.7	270	23	false(no-overflow)	.37	75	5.1	false(no-overflow)	.11	28	1.3	false(no-overflow)	.13	28	1.2	true	1.1	12	16	false(no-overflow)	.17	12	2.2	false(no-overflow)	4.3	240	35	false(no-overflow)	4.3	240	34	false(no-overflow)	4.3	240	37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c	false(no-overflow)	.10	23	1.1	false(no-overflow)	.23	33	2.8	false(no-overflow)	2.6	280	22	false(no-overflow)	.39	75	4.4	false(no-overflow)	.12	28	1.5	false(no-overflow)	.12	28	1.3	false(no-overflow)	.37	11	4.8	false(no-overflow)	.17	12	2.0	false(no-overflow)	4.4	280	37	false(no-overflow)	4.4	250	35	false(no-overflow)	4.4	290	37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c	false(no-overflow)	.10	23	.75	false(no-overflow)	.24	33	1.8	false(no-overflow)	2.7	290	28	false(no-overflow)	.39	75	4.3	false(no-overflow)	.11	28	1.5	false(no-overflow)	.16	28	1.1	false(no-overflow)	.38	12	4.5	false(no-overflow)	.17	12	1.9	false(no-overflow)	4.2	240	32	false(no-overflow)	4.2	250	39	false(no-overflow)	4.1	240	36
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c	false(no-overflow)	.14	23	.88	false(no-overflow)	.26	33	2.1	false(no-overflow)	2.8	280	26	false(no-overflow)	.38	75	5.0	false(no-overflow)	.13	28	1.2	false(no-overflow)	.14	28	1.2	false(no-overflow)	.36	12	4.4	false(no-overflow)	.20	12	2.0	false(no-overflow)	4.1	230	34	false(no-overflow)	4.2	250	35	false(no-overflow)	4.1	240	36
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c	false(no-overflow)	.13	22	.81	false(no-overflow)	.27	33	1.9	false(no-overflow)	2.6	270	24	false(no-overflow)	.54	75	7.4	false(no-overflow)	.18	28	1.5	false(no-overflow)	.19	28	1.9	false(no-overflow)	.54	13	7.6	false(no-overflow)	.17	12	1.8	false(no-overflow)	3.9	230	31	false(no-overflow)	4.2	250	34	false(no-overflow)	4.3	240	39
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c	false(no-overflow)	.14	23	.83	false(no-overflow)	.24	33	2.3	false(no-overflow)	2.6	270	23	false(no-overflow)	.54	75	6.8	false(no-overflow)	.17	28	1.7	false(no-overflow)	.29	28	3.1	false(no-overflow)	.58	12	7.9	false(no-overflow)	.17	12	2.0	false(no-overflow)	4.5	280	39	false(no-overflow)	4.3	250	40	false(no-overflow)	4.6	280	38
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c	false(no-overflow)	.14	23	.82	false(no-overflow)	.26	33	2.2	false(no-overflow)	2.6	280	23	false(no-overflow)	.56	75	6.6	false(no-overflow)	.17	28	1.8	false(no-overflow)	.30	28	2.8	unknown	.52	12	7.0	false(no-overflow)	.17	12	2.1	false(no-overflow)	4.2	240	39	false(no-overflow)	4.3	250	37	false(no-overflow)	4.1	240	37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c	false(no-overflow)	.10	23	1.1	false(no-overflow)	.25	33	2.2	false(no-overflow)	2.6	270	23	false(no-overflow)	.56	75	6.3	false(no-overflow)	.17	28	2.1	false(no-overflow)	.21	28	1.9	false(no-overflow)	.93	13	13	false(no-overflow)	.17	12	1.6	false(no-overflow)	4.2	240	32	false(no-overflow)	4.2	250	41	false(no-overflow)	4.2	240	34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c	false(no-overflow)	.11	23	.84	false(no-overflow)	.26	33	2.0	false(no-overflow)	2.6	270	22	false(no-overflow)	.56	75	7.4	false(no-overflow)	.16	28	1.6	false(no-overflow)	.22	28	2.3	out of memory	27	15000	360	false(no-overflow)	.18	12	1.9	false(no-overflow)	4.1	250	41	false(no-overflow)	4.3	240	35	false(no-overflow)	4.2	240	33
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c	false(no-overflow)	.15	24	1.1	false(no-overflow)	.27	34	2.2	false(no-overflow)	2.6	270	26	false(no-overflow)	.40	75	4.5	false(no-overflow)	.20	28	2.1	false(no-overflow)	.24	28	2.5	false(no-overflow)	1.1	12	14	false(no-overflow)	.16	12	1.7	false(no-overflow)	4.3	240	35	false(no-overflow)	4.1	250	35	false(no-overflow)	4.1	240	32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c	false(no-overflow)	.13	23	.98	false(no-overflow)	.27	33	2.2	false(no-overflow)	2.8	290	29	false(no-overflow)	.37	75	4.7	false(no-overflow)	.18	28	1.5	false(no-overflow)	.27	28	2.6	false(no-overflow)	.58	12	7.8	false(no-overflow)	.16	12	2.1	false(no-overflow)	4.0	240	36	false(no-overflow)	4.0	250	34	false(no-overflow)	4.3	240	36
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c	false(no-overflow)	.14	23	.85	false(no-overflow)	.26	33	2.2	false(no-overflow)	2.7	270	22	false(no-overflow)	.55	75	6.1	false(no-overflow)	.20	28	1.5	false(no-overflow)	.21	28	2.2	false(no-overflow)	.72	12	9.7	false(no-overflow)	.19	12	1.8	false(no-overflow)	4.2	240	34	false(no-overflow)	4.2	250	34	false(no-overflow)	4.3	240	38
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c	false(no-overflow)	.14	23	.88	false(no-overflow)	.26	33	2.0	false(no-overflow)	2.6	260	22	false(no-overflow)	.39	75	5.7	false(no-overflow)	.21	28	2.1	false(no-overflow)	.24	28	3.1	false(no-overflow)	1.0	13	12	false(no-overflow)	.17	12	1.9	false(no-overflow)	4.9	290	43	false(no-overflow)	5.2	290	42	false(no-overflow)	5.3	290	43
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c	false(no-overflow)	.10	23	.87	false(no-overflow)	.25	33	2.4	false(no-overflow)	2.7	270	23	false(no-overflow)	.39	75	4.2	false(no-overflow)	.18	28	1.5	false(no-overflow)	.25	28	2.1	false(no-overflow)	.49	12	6.1	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.7	300	39	false(no-overflow)	5.7	330	45	false(no-overflow)	4.9	290	38
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c	false(no-overflow)	.15	24	.77	false(no-overflow)	.27	34	2.9	false(no-overflow)	2.7	280	21	false(no-overflow)	.40	75	4.4	false(no-overflow)	.29	28	3.2	false(no-overflow)	.37	29	4.5	false(no-overflow)	.87	12	10	false(no-overflow)	.19	12	1.6	false(no-overflow)	6.2	330	45	false(no-overflow)	4.3	250	36	false(no-overflow)	4.1	240	31
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c	false(no-overflow)	.14	23	.83	false(no-overflow)	.25	33	2.0	false(no-overflow)	2.6	270	25	false(no-overflow)	.55	75	6.3	false(no-overflow)	.26	28	2.4	false(no-overflow)	.31	28	2.7	false(no-overflow)	1.3	13	19	false(no-overflow)	.16	12	2.2	false(no-overflow)	4.0	250	34	false(no-overflow)	4.3	250	37	false(no-overflow)	4.1	240	35
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c	false(no-overflow)	.12	23	.89	false(no-overflow)	.28	33	2.0	false(no-overflow)	2.6	270	22	false(no-overflow)	.39	75	4.9	false(no-overflow)	.19	28	2.7	false(no-overflow)	.25	28	2.5	false(no-overflow)	.73	12	9.6	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.1	240	34	false(no-overflow)	4.4	250	39	false(no-overflow)	4.4	250	31
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c	false(no-overflow)	.14	23	.88	false(no-overflow)	.26	33	2.0	false(no-overflow)	2.6	270	22	false(no-overflow)	.40	75	4.3	false(no-overflow)	.19	28	2.5	false(no-overflow)	.25	28	2.0	false(no-overflow)	.58	12	6.3	false(no-overflow)	.16	12	1.8	false(no-overflow)	4.2	240	38	false(no-overflow)	4.2	250	38	false(no-overflow)	4.4	250	33
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c	false(no-overflow)	.13	22	.89	false(no-overflow)	.26	33	1.8	false(no-overflow)	2.8	270	22	false(no-overflow)	.54	75	5.5	false(no-overflow)	.17	28	1.8	false(no-overflow)	.17	28	1.9	false(no-overflow)	.54	12	6.4	false(no-overflow)	.18	12	1.8	false(no-overflow)	4.2	240	37	false(no-overflow)	4.2	240	35	false(no-overflow)	4.0	240	32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c	false(no-overflow)	.11	23	.81	false(no-overflow)	.27	33	2.1	false(no-overflow)	2.6	260	23	false(no-overflow)	.38	75	4.0	false(no-overflow)	.16	28	1.5	false(no-overflow)	.23	28	1.7	false(no-overflow)	.40	12	5.3	false(no-overflow)	.18	12	2.0	false(no-overflow)	4.4	270	36	false(no-overflow)	4.4	250	37	false(no-overflow)	4.6	280	34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c	false(no-overflow)	.13	22	.84	false(no-overflow)	.24	33	2.5	false(no-overflow)	2.6	260	25	false(no-overflow)	.36	75	4.7	false(no-overflow)	.18	28	1.6	false(no-overflow)	.16	28	2.1	false(no-overflow)	.44	11	6.0	false(no-overflow)	.15	12	1.7	false(no-overflow)	4.1	230	33	false(no-overflow)	4.3	250	39	false(no-overflow)	4.3	240	34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c	false(no-overflow)	.11	23	.97	false(no-overflow)	.25	33	2.8	false(no-overflow)	2.8	270	24	false(no-overflow)	.54	75	6.8	false(no-overflow)	.18	28	1.9	false(no-overflow)	.27	28	2.6	false(no-overflow)	.69	12	9.4	false(no-overflow)	.16	12	1.7	false(no-overflow)	4.0	240	33	false(no-overflow)	4.2	240	33	false(no-overflow)	6.3	340	55
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c	false(no-overflow)	.13	23	.84	false(no-overflow)	.23	33	2.9	false(no-overflow)	2.6	260	22	false(no-overflow)	.36	75	4.3	false(no-overflow)	.18	28	1.7	false(no-overflow)	.22	28	3.0	unknown	.86	12	9.9	false(no-overflow)	.17	12	2.1	false(no-overflow)	4.2	240	31	false(no-overflow)	4.4	250	39	false(no-overflow)	4.2	250	38
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c	false(no-overflow)	.11	23	1.0	false(no-overflow)	.28	33	2.1	false(no-overflow)	2.8	270	23	false(no-overflow)	.56	75	7.3	false(no-overflow)	.17	28	1.7	false(no-overflow)	.22	28	1.7	false(no-overflow)	.51	12	6.9	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.1	250	33	false(no-overflow)	4.2	250	35	false(no-overflow)	4.3	240	37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c	false(no-overflow)	.12	22	.92	false(no-overflow)	.24	33	2.7	false(no-overflow)	2.6	270	23	false(no-overflow)	.37	75	4.7	false(no-overflow)	.17	28	1.9	false(no-overflow)	.20	28	1.6	true	.44	12	6.1	false(no-overflow)	.17	12	2.1	false(no-overflow)	4.0	250	37	false(no-overflow)	4.2	250	35	false(no-overflow)	4.0	240	32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c	false(no-overflow)	.12	23	.73	false(no-overflow)	.23	33	2.3	false(no-overflow)	2.7	270	23	false(no-overflow)	.55	75	6.8	false(no-overflow)	.25	28	2.1	false(no-overflow)	.34	28	3.2	false(no-overflow)	1.1	13	13	false(no-overflow)	.16	12	2.1	false(no-overflow)	4.4	250	33	false(no-overflow)	4.3	250	38	false(no-overflow)	4.2	250	32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c	false(no-overflow)	.12	22	.80	false(no-overflow)	.26	33	1.9	false(no-overflow)	2.6	270	26	false(no-overflow)	.55	75	5.7	false(no-overflow)	.25	28	1.6	false(no-overflow)	.37	28	4.9	false(no-overflow)	.70	15	8.5	false(no-overflow)	.18	12	1.7	false(no-overflow)	6.5	340	48	false(no-overflow)	4.1	250	40	false(no-overflow)	6.1	340	45
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c	false(no-overflow)	.12	23	.99	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.7	270	24	false(no-overflow)	.37	75	4.3	false(no-overflow)	.26	28	2.1	false(no-overflow)	.35	28	3.0	false(no-overflow)	.96	13	13	false(no-overflow)	.17	12	1.8	false(no-overflow)	4.3	250	37	false(no-overflow)	4.7	260	33	false(no-overflow)	4.1	240	37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c	false(no-overflow)	.12	23	.89	false(no-overflow)	.27	33	2.1	false(no-overflow)	2.6	270	22	false(no-overflow)	.38	75	5.2	false(no-overflow)	.24	28	1.9	false(no-overflow)	.27	28	2.4	false(no-overflow)	.81	13	9.6	false(no-overflow)	.17	12	2.3	false(no-overflow)	4.2	240	34	false(no-overflow)	4.2	250	39	false(no-overflow)	3.9	230	31
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c	false(no-overflow)	.12	23	1.1	false(no-overflow)	.27	33	2.4	false(no-overflow)	2.7	270	25	false(no-overflow)	.54	75	7.0	false(no-overflow)	.23	28	1.9	false(no-overflow)	.22	28	2.1	false(no-overflow)	.68	12	9.5	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.6	280	35	false(no-overflow)	4.5	260	35	false(no-overflow)	4.8	280	34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c	false(no-overflow)	.11	23	1.1	false(no-overflow)	.25	33	2.3	false(no-overflow)	2.7	270	25	false(no-overflow)	.56	75	7.5	false(no-overflow)	.20	28	2.2	false(no-overflow)	.23	28	2.2	unknown	1.7	13	23	false(no-overflow)	.16	12	2.0	false(no-overflow)	4.3	240	38	false(no-overflow)	4.5	250	35	false(no-overflow)	4.1	250	34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c	false(no-overflow)	.12	23	.84	false(no-overflow)	.24	33	2.2	false(no-overflow)	2.7	260	23	false(no-overflow)	.39	75	4.6	false(no-overflow)	.23	28	2.0	false(no-overflow)	.29	28	2.6	false(no-overflow)	.85	14	10	false(no-overflow)	.20	12	1.8	false(no-overflow)	4.1	240	34	false(no-overflow)	4.2	250	36	false(no-overflow)	4.1	240	34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c	false(no-overflow)	.12	23	.82	false(no-overflow)	.24	35	2.3	false(no-overflow)	3.2	310	29	false(no-overflow)	.39	75	4.6	false(no-overflow)	.20	28	1.4	false(no-overflow)	.25	28	2.0	false(no-overflow)	.78	12	8.4	false(no-overflow)	.17	12	1.9	false(no-overflow)	4.2	240	38	false(no-overflow)	4.4	250	36	false(no-overflow)	4.1	250	37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c	false(no-overflow)	.13	23	.91	false(no-overflow)	.25	33	1.9	false(no-overflow)	2.7	270	25	false(no-overflow)	.37	75	5.3	false(no-overflow)	.22	28	2.2	false(no-overflow)	.26	28	2.4	false(no-overflow)	1.6	14	19	false(no-overflow)	.21	12	2.0	false(no-overflow)	4.2	250	37	false(no-overflow)	4.2	250	35	false(no-overflow)	4.3	250	35
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c	false(no-overflow)	.13	23	1.1	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.7	270	26	false(no-overflow)	.38	75	3.9	false(no-overflow)	.31	28	2.8	false(no-overflow)	.32	28	3.1	false(no-overflow)	1.1	13	13	false(no-overflow)	.18	12	2.0	false(no-overflow)	4.2	250	36	false(no-overflow)	4.2	250	35	false(no-overflow)	4.2	250	32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c	false(no-overflow)	.11	22	.84	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.8	270	22	false(no-overflow)	.55	75	6.6	false(no-overflow)	.23	28	2.1	false(no-overflow)	.23	28	2.5	false(no-overflow)	.49	13	5.8	false(no-overflow)	.16	12	2.2	false(no-overflow)	4.3	250	32	false(no-overflow)	4.2	260	35	false(no-overflow)	4.4	250	36
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c	false(no-overflow)	.13	23	.80	false(no-overflow)	.28	33	2.2	false(no-overflow)	2.7	260	25	false(no-overflow)	.39	75	4.8	false(no-overflow)	.28	28	2.2	false(no-overflow)	.41	28	3.3	false(no-overflow)	.48	13	5.6	false(no-overflow)	.19	12	1.8	false(no-overflow)	4.9	290	39	false(no-overflow)	5.6	300	48	false(no-overflow)	4.7	290	40
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c	false(no-overflow)	.12	23	.80	false(no-overflow)	.27	33	2.1	false(no-overflow)	2.8	270	21	false(no-overflow)	.56	75	6.8	false(no-overflow)	.28	28	2.7	false(no-overflow)	.30	28	3.1	false(no-overflow)	.46	12	4.9	false(no-overflow)	.18	12	1.8	false(no-overflow)	4.1	240	33	false(no-overflow)	4.2	250	34	false(no-overflow)	4.2	250	37
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c	false(no-overflow)	.11	23	.99	false(no-overflow)	.24	33	2.1	false(no-overflow)	2.8	270	26	false(no-overflow)	.56	100	6.6	false(no-overflow)	.28	28	2.3	false(no-overflow)	.49	28	4.5	false(no-overflow)	.49	12	7.0	false(no-overflow)	.16	12	2.1	false(no-overflow)	4.2	240	37	false(no-overflow)	4.2	250	33	false(no-overflow)	4.3	250	34
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c	false(no-overflow)	.10	23	1.0	false(no-overflow)	.24	33	2.1	false(no-overflow)	2.6	270	23	false(no-overflow)	.55	75	6.6	false(no-overflow)	.24	28	2.0	false(no-overflow)	.22	28	2.6	out of memory	26	15000	330	false(no-overflow)	.18	12	1.8	false(no-overflow)	4.1	240	38	false(no-overflow)	4.3	250	35	false(no-overflow)	4.2	240	40
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c	false(no-overflow)	.11	23	.95	false(no-overflow)	.28	33	2.1	false(no-overflow)	2.7	280	24	false(no-overflow)	.57	75	7.6	false(no-overflow)	.21	28	1.9	false(no-overflow)	.25	28	2.2	false(no-overflow)	.57	12	7.9	false(no-overflow)	.18	12	2.4	false(no-overflow)	4.8	280	42	false(no-overflow)	4.9	270	42	false(no-overflow)	5.0	290	43
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c	false(no-overflow)	.13	23	1.2	false(no-overflow)	.28	33	2.0	false(no-overflow)	3.2	290	26	false(no-overflow)	.65	79	8.1	false(no-overflow)	.19	28	1.5	false(no-overflow)	.16	28	1.7	false(no-overflow)	3.4	15	46	false(no-overflow)	.18	12	2.0	false(no-overflow)	6.1	300	56	false(no-overflow)	9.9	480	81	false(no-overflow)	5.8	290	48
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c	false(no-overflow)	.14	23	.82	false(no-overflow)	.29	33	2.0	false(no-overflow)	2.7	270	26	false(no-overflow)	.55	75	7.2	false(no-overflow)	.20	28	1.9	false(no-overflow)	.25	28	2.5	false(no-overflow)	.46	12	5.2	false(no-overflow)	.18	12	2.0	false(no-overflow)	4.2	240	32	false(no-overflow)	4.2	250	40	false(no-overflow)	4.2	250	36
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c	false(no-overflow)	.13	22	.90	false(no-overflow)	.24	33	2.6	false(no-overflow)	2.8	270	24	false(no-overflow)	.58	75	6.4	false(no-overflow)	.18	28	1.5	false(no-overflow)	.18	28	1.8	unknown	.052	11	.34	unknown	2.4	4300	25	false(no-overflow)	4.9	290	43	false(no-overflow)	4.9	260	38	false(no-overflow)	4.7	280	38
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c	false(no-overflow)	.14	23	.96	false(no-overflow)	.24	33	2.4	false(no-overflow)	2.7	280	26	false(no-overflow)	.56	75	6.4	false(no-overflow)	.19	28	1.6	false(no-overflow)	.18	28	2.1	false(no-overflow)	.52	12	6.5	false(no-overflow)	.18	12	1.6	false(no-overflow)	4.1	240	32	false(no-overflow)	4.3	250	36	false(no-overflow)	4.4	250	36
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c	false(no-overflow)	.14	23	1.0	false(no-overflow)	.27	33	2.0	false(no-overflow)	2.8	280	24	false(no-overflow)	.57	75	6.8	false(no-overflow)	.22	28	1.9	false(no-overflow)	.25	28	2.3	false(no-overflow)	.54	12	7.7	false(no-overflow)	.16	12	1.7	false(no-overflow)	4.1	240	37	false(no-overflow)	4.3	240	38	false(no-overflow)	4.3	240	34
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c	error (5)	.098	22	.66	false(no-overflow)	.26	33	2.3	false(no-overflow)	3.0	280	26	false(no-overflow)	.56	49	6.5	false(no-overflow)	.14	28	1.3	false(no-overflow)	.12	28	1.7	false(no-overflow)	.41	12	5.9	false(no-overflow)	.16	12	2.1	false(no-overflow)	5.7	310	53	false(no-overflow)	5.7	320	46	false(no-overflow)	5.3	290	46
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c	error (5)	.10	22	.62	false(no-overflow)	.24	33	2.6	false(no-overflow)	3.2	280	27	false(no-overflow)	.56	49	7.7	false(no-overflow)	.18	28	1.6	false(no-overflow)	.19	28	2.2	false(no-overflow)	.62	12	6.6	false(no-overflow)	.18	12	2.0	false(no-overflow)	5.1	290	42	false(no-overflow)	5.5	320	43	false(no-overflow)	5.2	290	41
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c	error (5)	.11	22	.86	false(no-overflow)	.29	33	2.4	timeout	900	2500	8200	false(no-overflow)	.57	49	6.3	false(no-overflow)	.18	28	1.6	false(no-overflow)	.20	28	1.5	false(no-overflow)	.47	12	5.5	false(no-overflow)	.18	12	2.0	false(no-overflow)	4.3	240	34	false(no-overflow)	4.3	250	39	false(no-overflow)	4.3	240	32
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c	error (5)	.11	22	.59	false(no-overflow)	.28	33	2.1	false(no-overflow)	3.1	310	28	false(no-overflow)	.56	51	7.4	false(no-overflow)	.17	28	1.6	false(no-overflow)	.21	28	1.8	false(no-overflow)	.48	12	6.4	false(no-overflow)	.16	12	1.6	false(no-overflow)	4.0	240	35	false(no-overflow)	4.4	250	38	false(no-overflow)	4.4	240	37
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c	false(no-overflow)	.12	22	.94	false(no-overflow)	.24	33	2.3	false(no-overflow)	2.5	260	23	false(no-overflow)	.55	75	6.1	false(no-overflow)	.20	28	1.5	false(no-overflow)	.19	28	2.4	false(no-overflow)	.53	12	6.1	false(no-overflow)	.18	12	1.8	false(no-overflow)	4.2	240	37	false(no-overflow)	4.2	250	33	false(no-overflow)	4.3	250	32
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c	false(no-overflow)	.11	23	.91	false(no-overflow)	.23	33	2.5	false(no-overflow)	2.6	270	26	false(no-overflow)	.56	75	5.9	false(no-overflow)	.17	28	1.8	false(no-overflow)	.20	28	1.9	false(no-overflow)	.44	12	4.8	false(no-overflow)	.16	12	1.8	false(no-overflow)	4.5	280	39	false(no-overflow)	4.5	250	36	false(no-overflow)	4.6	280	40
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c	false(no-overflow)	.11	23	.72	false(no-overflow)	.24	33	2.6	false(no-overflow)	2.8	270	26	false(no-overflow)	.55	75	7.0	false(no-overflow)	.17	28	1.7	false(no-overflow)	.23	28	3.1	false(no-overflow)	.56	13	6.4	false(no-overflow)	.18	12	1.7	false(no-overflow)	4.3	240	33	false(no-overflow)	4.1	250	32	false(no-overflow)	4.1	240	32
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c	false(no-overflow)	.11	22	.94	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.6	270	22	false(no-overflow)	.55	75	6.4	false(no-overflow)	.15	28	1.9	false(no-overflow)	.26	28	2.9	out of memory	26	15000	350	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.0	240	34	false(no-overflow)	4.0	250	31	false(no-overflow)	3.9	240	30
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c	false(no-overflow)	.10	23	1.3	false(no-overflow)	.27	33	2.1	false(no-overflow)	2.9	290	24	false(no-overflow)	.36	75	4.5	false(no-overflow)	.19	28	1.7	false(no-overflow)	.21	28	1.8	false(no-overflow)	.54	12	7.3	false(no-overflow)	.18	12	2.0	false(no-overflow)	4.2	240	35	false(no-overflow)	6.1	340	46	false(no-overflow)	4.2	240	35
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c	false(no-overflow)	.13	22	.74	false(no-overflow)	.27	33	2.0	false(no-overflow)	2.6	270	26	false(no-overflow)	.54	75	7.2	false(no-overflow)	.19	28	1.5	false(no-overflow)	.22	28	1.7	false(no-overflow)	.58	12	7.3	false(no-overflow)	.19	12	1.7	false(no-overflow)	4.0	240	32	false(no-overflow)	4.1	250	38	false(no-overflow)	4.2	240	34
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c	false(no-overflow)	.14	23	.82	false(no-overflow)	.25	35	2.0	false(no-overflow)	2.7	270	26	false(no-overflow)	.53	75	6.5	false(no-overflow)	.19	28	1.8	false(no-overflow)	.21	28	1.7	false(no-overflow)	.55	12	7.2	false(no-overflow)	.16	12	2.0	false(no-overflow)	4.0	250	36	false(no-overflow)	4.1	250	32	false(no-overflow)	4.2	250	32
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c	false(no-overflow)	.14	23	.88	false(no-overflow)	.26	33	2.1	false(no-overflow)	2.7	270	27	false(no-overflow)	.55	75	8.4	false(no-overflow)	.19	28	1.9	false(no-overflow)	.25	28	2.2	false(no-overflow)	.71	12	8.3	false(no-overflow)	.16	12	1.8	false(no-overflow)	4.2	250	36	false(no-overflow)	4.2	250	38	false(no-overflow)	4.4	250	37
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c	false(no-overflow)	.12	23	.81	false(no-overflow)	.28	33	1.9	false(no-overflow)	2.9	270	25	false(no-overflow)	.56	76	6.5	false(no-overflow)	.27	28	2.5	false(no-overflow)	.43	28	3.6	false(no-overflow)	.57	12	6.9	false(no-overflow)	.19	12	1.9	false(no-overflow)	4.2	250	37	false(no-overflow)	4.3	250	37	false(no-overflow)	4.1	250	35
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c	false(no-overflow)	.13	23	.90	false(no-overflow)	.25	33	2.7	false(no-overflow)	2.9	270	25	false(no-overflow)	.56	75	7.7	false(no-overflow)	.28	28	2.6	false(no-overflow)	.24	28	2.5	false(no-overflow)	.82	13	10	false(no-overflow)	.18	12	1.9	false(no-overflow)	4.8	290	37	false(no-overflow)	5.4	270	43	false(no-overflow)	4.9	280	36
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c	false(no-overflow)	.12	23	.90	false(no-overflow)	.25	33	2.2	false(no-overflow)	2.8	270	24	false(no-overflow)	.40	75	4.3	false(no-overflow)	.24	28	2.5	false(no-overflow)	.30	28	2.9	false(no-overflow)	.52	12	5.1	false(no-overflow)	.19	12	2.1	false(no-overflow)	5.1	290	40	false(no-overflow)	6.2	350	51	false(no-overflow)	5.3	300	41
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c	false(no-overflow)	.14	22	.76	false(no-overflow)	.28	33	2.2	false(no-overflow)	2.7	270	25	false(no-overflow)	.37	75	4.7	false(no-overflow)	.29	28	2.4	false(no-overflow)	.34	28	3.0	false(no-overflow)	.48	12	5.5	false(no-overflow)	.21	12	2.0	false(no-overflow)	5.3	280	45	false(no-overflow)	6.1	340	52	false(no-overflow)	5.2	280	40
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c	false(no-overflow)	.12	24	1.1	false(no-overflow)	.23	33	2.4	false(no-overflow)	2.7	270	23	false(no-overflow)	.40	75	4.6	false(no-overflow)	.25	28	2.1	false(no-overflow)	.34	28	2.9	false(no-overflow)	.50	12	5.5	false(no-overflow)	.20	12	2.0	false(no-overflow)	5.2	300	48	false(no-overflow)	6.1	340	44	false(no-overflow)	4.8	290	39
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c	false(no-overflow)	.13	23	.90	false(no-overflow)	.26	33	2.0	false(no-overflow)	2.7	270	23	false(no-overflow)	.41	75	4.7	false(no-overflow)	.24	28	2.3	false(no-overflow)	.32	29	3.0	unknown	.55	12	6.1	false(no-overflow)	.19	12	1.9	false(no-overflow)	4.3	250	39	false(no-overflow)	4.3	250	37	false(no-overflow)	6.5	340	56
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c	false(no-overflow)	.11	23	1.2	false(no-overflow)	.25	33	2.6	false(no-overflow)	2.7	280	24	false(no-overflow)	.55	75	7.2	false(no-overflow)	.15	28	1.3	false(no-overflow)	.15	28	1.4	false(no-overflow)	.48	14	5.7	false(no-overflow)	.16	12	2.1	false(no-overflow)	4.5	280	40	false(no-overflow)	4.3	250	33	false(no-overflow)	4.5	270	37
termination-crafted-lit/cstrncmp_false-no-overflow.c	error (134)	.16	23	1.4	false(no-overflow)	.44	34	4.6	false(no-overflow)	3.7	330	34	false(no-overflow)	.68	76	8.3	false(no-overflow)	.34	29	2.8	false(no-overflow)	.37	29	4.5	unknown	.064	11	.48	false(no-overflow)	.24	13	2.6	false(no-overflow)	8.0	370	61	false(no-overflow)	6.4	350	54	false(no-overflow)	5.8	290	51
termination-crafted-lit/gcd1_false-no-overflow.c	false(no-overflow)	.15	23	.86	false(no-overflow)	.25	35	2.3	false(no-overflow)	2.6	270	20	false(no-overflow)	.57	100	6.5	false(no-overflow)	.29	28	2.2	false(no-overflow)	.26	28	3.7	unknown	900	120	12000	false(no-overflow)	.20	12	2.2	false(no-overflow)	4.4	250	37	false(no-overflow)	4.2	250	37	false(no-overflow)	4.0	250	31
termination-crafted-lit/joey_false-no-overflow.c	error (5)	.091	22	.78	false(no-overflow)	.30	34	3.1	false(no-overflow)	2.7	270	22	out of memory (false(no-overflow))	630	15000	8800	false(no-overflow)	.13	28	1.3	false(no-overflow)	.14	28	1.3	false(no-overflow)	.43	12	5.1	false(no-overflow)	.19	12	1.8	false(no-overflow)	5.0	290	48	false(no-overflow)	5.3	300	48	false(no-overflow)	5.3	300	44
termination-crafted-lit/min_rf_false-no-overflow.c	false(no-overflow)	.10	23	.90	false(no-overflow)	.27	35	2.1	false(no-overflow)	2.8	270	26	false(no-overflow)	.42	75	4.8	false(no-overflow)	.27	28	2.9	false(no-overflow)	.29	28	3.5	false(no-overflow)	1.1	13	16	false(no-overflow)	.18	12	1.7	false(no-overflow)	4.4	250	37	false(no-overflow)	4.4	250	40	false(no-overflow)	4.3	250	34
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c	timeout	900	900	7600	error (42)	870	590	8400	out of memory	850	15000	12000	unknown	890	120	9800	timeout	900	620	9300	timeout	900	590	11000	unknown	900	650	11000	timeout (timeout)	900	4000	9000	timeout	900	5100	15000	timeout	900	6300	12000	timeout	900	3800	12000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c	true	.11	22	.87	error (42)	870	1800	6000	true	2.7	270	23	unknown	1.4	75	15	timeout	900	600	9700	true	.12	26	.65	unknown	900	340	11000	timeout (timeout)	900	360	13000	true	5.3	300	42	true	6.8	470	61	true	8.6	400	75
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c	true	.13	23	.81	true	4.3	61	44	true	2.7	260	23	unknown	1.4	75	18	true	.62	26	7.3	true	.074	26	.91	true	.39	11	4.3	true	.15	11	1.4	true	4.6	280	37	true	5.6	310	45	true	5.0	290	40
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c	timeout	900	1700	9800	error (42)	870	2300	3900	timeout	900	13000	11000	unknown	120	240	1700	timeout	900	900	12000	timeout	900	900	11000	unknown	900	300	10000	timeout (timeout)	900	210	12000	timeout	900	5300	12000	timeout	900	7100	14000	true	7.0	370	57
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c	true	20	610	180	error (42)	870	1700	5400	true	100	1100	860	unknown	900	710	12000	timeout	900	310	11000	timeout	900	310	12000	unknown	900	160	12000	timeout (timeout)	900	350	8700	true	5.6	290	45	true	7.6	490	68	true	8.1	380	61
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c	timeout	900	2500	5800	error (42)	870	1500	4800	timeout	900	6200	10000	unknown	900	1200	8000	timeout	900	870	9800	true	.23	27	2.6	unknown	900	640	12000	timeout (timeout)	900	1900	11000	true	15	640	130	true	120	2300	1700	true	46	1400	450
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c	timeout	900	990	10000	error (42)	870	610	8700	timeout	900	540	12000	unknown	890	130	11000	timeout	900	130	12000	timeout	900	130	10000	unknown	900	370	10000	timeout (timeout)	900	4300	11000	timeout	900	4700	14000	timeout	900	6600	15000	true	10	490	76
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c	true	.79	40	9.2	true	1.4	34	15	true	59	480	780	unknown	7.3	76	89	true	.18	26	1.7	true	.25	26	3.0	unknown	900	1800	10000	timeout (timeout)	900	3200	8000	true	160	4700	1900	timeout	900	6400	11000	true	51	1700	470
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c	true	.14	23	.72	error (42)	870	1400	7400	true	2.8	270	24	unknown	1.5	75	17	timeout	900	240	10000	true	.077	26	.86	unknown	900	250	9900	timeout (timeout)	900	200	12000	true	5.9	300	45	true	7.5	470	69	true	7.0	340	53
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c	true	.11	23	.69	error (42)	870	1200	8500	true	2.8	270	23	unknown	1.5	75	17	timeout	900	190	12000	true	.12	26	1.3	unknown	900	660	13000	timeout (timeout)	900	1800	10000	true	7.0	330	52	true	16	700	160	true	8.9	490	67
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c	true	.13	23	.78	error (42)	870	1300	5500	true	2.9	280	27	unknown	1.4	75	14	timeout	900	250	12000	true	.14	26	1.0	unknown	900	120	10000	timeout (timeout)	900	31	12000	true	5.9	300	50	true	8.5	530	83	true	6.9	320	53
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c	true	.11	23	.80	error (42)	870	2700	7200	true	3.9	280	36	unknown	1.5	100	17	timeout	900	1100	11000	true	.12	26	.78	unknown	900	230	11000	timeout (timeout)	900	190	12000	true	4.9	290	37	true	7.2	440	60	true	5.0	290	44
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c	true	.12	22	.76	error (42)	870	5500	5100	true	2.8	260	25	unknown	1.8	100	25	timeout	900	280	13000	true	.091	26	.71	unknown	900	310	11000	timeout (timeout)	900	320	10000	true	6.6	320	56	true	7.6	480	68	true	6.6	320	53
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c	true	.22	25	1.9	error (42)	870	1100	7300	true	2.8	270	25	unknown	890	110	13000	timeout	900	120	12000	timeout	900	120	13000	unknown	900	210	12000	timeout (timeout)	900	68	12000	true	8.4	380	65	true	14	630	120	true	6.5	330	56
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c	timeout	900	2100	12000	error (42)	870	1400	5700	timeout	900	6900	11000	unknown	200	270	2800	timeout	900	310	13000	timeout	900	310	11000	unknown	900	240	11000	timeout (timeout)	900	210	12000	timeout	900	5300	12000	timeout	900	6700	11000	true	10	520	84
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c	timeout	900	480	7000	error (42)	870	360	7500	true	2.8	270	25	unknown	43	75	540	timeout	900	110	12000	timeout	900	99	10000	unknown	900	75	11000	timeout (timeout)	900	66	12000	true	8.0	450	70	true	13	590	130	true	10	500	92
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c	timeout	900	510	6800	error (42)	870	360	6900	true	2.8	270	24	unknown	30	75	340	timeout	900	110	11000	timeout	900	99	11000	unknown	900	72	12000	timeout (timeout)	900	65	11000	true	7.8	420	63	true	19	690	190	true	7.6	360	60
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c	true	.097	25	.88	error (42)	870	2400	4400	timeout	900	8000	11000	unknown	1.9	100	24	timeout	900	340	12000	true	.16	26	1.5	unknown	900	500	10000	timeout (timeout)	900	430	10000	true	6.0	310	51	true	14	580	120	true	6.4	300	50
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c	timeout	900	1200	7000	error (42)	870	7000	3600	out of memory	890	15000	11000	unknown	900	5300	13000	timeout	900	350	11000	timeout	900	350	11000	unknown	900	130	10000	timeout (timeout)	900	170	11000	timeout	900	2500	12000	timeout	900	6100	13000	timeout	900	4900	14000
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c	timeout	900	1200	9700	error (42)	870	3100	4400	timeout	900	4000	9100	unknown	130	230	1800	timeout	900	670	9900	timeout	900	670	11000	unknown	900	300	9900	timeout (timeout)	900	130	11000	true	8.0	440	63	true	93	2000	1000	true	8.8	480	68
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c	true	.11	22	.75	true	4.3	62	47	true	2.8	270	24	unknown	1.4	75	16	true	.63	26	7.4	true	.11	26	.68	true	.36	11	4.5	true	.14	11	1.6	true	4.8	290	42	true	5.6	310	46	true	4.6	290	39
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c	timeout	900	1700	9400	error (42)	870	2300	3900	timeout	900	13000	11000	unknown	160	390	2000	timeout	900	900	13000	timeout	900	900	11000	unknown	900	270	11000	timeout (timeout)	900	190	12000	timeout	900	5400	13000	timeout	900	7100	14000	timeout	900	5300	11000
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c	timeout	900	970	10000	error (42)	870	610	10000	timeout	910	610	11000	unknown	900	130	12000	timeout	900	130	10000	timeout	900	120	11000	unknown	900	440	10000	timeout (timeout)	900	4200	9700	timeout	900	8100	8900	timeout	900	6700	14000	timeout	900	3800	12000
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c	true	.75	39	10	true	1.4	35	18	true	59	460	710	unknown	13	76	150	true	.16	26	2.2	true	.28	26	3.6	timeout	900	1900	13000	timeout (timeout)	900	3100	7200	true	160	4900	1800	timeout	900	6400	12000	true	50	1500	500
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c	true	.10	22	.76	error (42)	880	8400	3900	true	2.7	270	26	unknown	1.2	75	13	timeout	900	1200	12000	true	.077	26	.80	unknown	890	31	12000	true	.13	11	1.5	true	4.3	230	33	true	4.1	230	35	true	4.0	240	32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c	true	.11	22	.60	error (42)	870	1100	7600	true	2.9	300	23	unknown	1.5	75	20	timeout	900	220	11000	true	.11	26	.75	unknown	900	100	11000	timeout (timeout)	900	230	11000	true	4.8	280	44	true	5.1	280	46	true	4.8	290	37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c	true	.11	22	.67	error (42)	870	1200	5600	true	3.0	290	26	unknown	1.2	75	16	timeout	900	190	12000	true	.11	26	1.1	unknown	900	160	13000	timeout (timeout)	900	210	11000	true	4.8	290	49	true	5.8	320	50	true	5.7	300	46
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c	true	.11	22	.80	error (42)	870	1200	7100	true	2.6	270	25	unknown	1.2	75	13	timeout	900	520	12000	true	.11	26	.74	unknown	900	360	11000	timeout (timeout)	900	3900	11000	true	5.0	290	40	true	6.5	380	57	true	5.0	280	43
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c	true	.11	23	.80	error (42)	870	1600	7700	true	2.7	270	24	unknown	1.3	75	16	timeout	900	460	11000	true	.098	26	.90	unknown	900	240	11000	timeout (timeout)	900	3400	13000	true	5.1	300	39	true	8.5	470	78	true	5.2	300	47
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c	true	.094	23	.87	error (42)	870	2000	5700	true	2.7	270	27	unknown	1.3	75	17	timeout	900	680	9900	true	.092	26	.96	unknown	900	480	11000	timeout (timeout)	900	3800	8000	true	5.1	290	44	true	7.5	470	64	true	5.2	290	38
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c	true	.10	22	.70	error (42)	870	520	6500	true	2.8	290	27	unknown	2.0	75	25	timeout	900	140	11000	true	.18	26	1.7	timeout	900	27	11000	timeout (timeout)	900	23	13000	true	5.4	300	42	true	6.8	460	57	true	5.7	300	45
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c	true	.11	22	.68	error (42)	870	1100	6900	true	2.7	270	25	unknown	1.2	75	14	timeout	900	180	11000	true	.11	26	.95	unknown	900	670	9500	timeout (timeout)	900	81	12000	true	5.5	300	51	true	6.0	310	47	true	5.7	310	44
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c	true	.10	22	.94	error (42)	870	1300	7200	true	2.6	280	23	unknown	1.5	75	18	timeout	900	160	12000	true	.11	26	1.1	timeout	900	31	12000	timeout (timeout)	900	51	11000	true	6.0	300	53	true	6.7	450	57	true	6.0	300	53
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c	true	6.7	110	77	true	2.7	35	32	timeout	900	7100	10000	unknown	1.4	75	16	true	.41	26	4.8	true	.46	26	6.3	true	.33	11	3.9	true	.17	11	1.6	true	110	3500	1400	timeout	900	6300	13000	true	120	4000	1500
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c	timeout	900	2700	9500	error (42)	870	1600	8700	timeout	900	560	11000	unknown	900	160	11000	timeout	900	230	10000	timeout	900	240	11000	unknown	900	520	11000	timeout (timeout)	900	3900	13000	timeout	900	5100	12000	timeout	900	6400	12000	timeout	900	4800	13000
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c	true	.10	22	.79	error (42)	870	1000	5700	true	2.6	270	23	unknown	1.3	75	14	timeout	900	900	10000	true	.079	26	.74	unknown	900	290	12000	timeout (timeout)	900	190	12000	true	5.0	290	40	true	5.7	310	47	true	4.9	290	40
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c	timeout	900	1300	9200	error (42)	870	3100	4400	timeout	900	4000	9700	unknown	270	190	3600	timeout	900	990	12000	timeout	900	990	11000	unknown	900	660	13000	timeout (timeout)	900	120	12000	true	8.0	450	69	true	100	2300	1300	true	8.6	470	76
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c	true	.11	22	.71	error (42)	880	4500	3700	true	2.6	270	22	unknown	1.4	75	17	timeout	900	490	11000	true	.087	26	.93	unknown	900	260	11000	timeout (timeout)	900	190	13000	true	4.6	280	38	true	5.1	280	41	true	4.7	290	34
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c	true	.15	24	1.2	error (42)	870	3400	4500	true	2.8	270	23	unknown	1.4	75	18	timeout	900	950	11000	timeout	900	940	11000	unknown	900	940	11000	timeout (timeout)	900	250	13000	true	6.1	310	52	true	13	570	120	true	7.4	330	53
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c	true	.089	23	.90	error (42)	870	770	4900	true	2.6	270	25	unknown	890	320	11000	timeout	900	190	10000	true	.078	26	.88	unknown	890	84	12000	timeout (timeout)	900	75	12000	true	4.8	280	43	true	5.3	290	45	true	4.6	290	38
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c	timeout	900	2400	11000	error (42)	870	3000	7900	timeout	900	6800	13000	unknown	140	100	1700	timeout	900	800	9500	timeout	900	760	11000	unknown	890	180	10000	timeout (timeout)	900	67	11000	timeout	900	5300	13000	timeout	900	5200	13000	timeout	900	5400	11000
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c	true	.13	22	.69	error (42)	870	1300	7400	true	2.5	270	20	unknown	1.5	75	19	timeout	900	190	11000	true	.10	26	1.1	unknown	900	480	11000	timeout (timeout)	900	230	10000	true	4.7	270	38	true	4.7	260	39	true	4.6	290	35
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c	true	.13	23	.74	error (42)	870	1700	6300	true	2.7	270	24	unknown	500	110	6300	timeout	900	200	11000	true	.11	26	1.3	unknown	900	360	9800	timeout (timeout)	900	210	11000	true	5.0	300	40	true	6.2	380	50	true	7.0	360	45
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c	timeout	900	1000	7100	error (42)	870	640	8300	timeout	900	510	13000	unknown	890	130	9500	timeout	900	250	14000	timeout	900	230	12000	timeout	900	51	14000	timeout (timeout)	900	45	14000	timeout	900	1200	12000	timeout	900	6000	12000	timeout	900	990	12000
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c	error (5)	.12	22	.67	error (42)	870	7400	6500	true	3.0	270	24	unknown	580	15000	7300	out of memory	590	15000	7100	out of memory	690	15000	7100	unknown	900	500	11000	timeout (timeout)	900	240	14000	true	9.0	510	67	true	9.3	520	86	true	11	540	99
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c	error (5)	.12	22	.65	error (134)	490	15000	5000	timeout	900	5300	10000	unknown	450	15000	6000	out of memory	510	15000	5600	out of memory	890	15000	7600	unknown	900	710	9400	timeout (timeout)	900	160	12000	true	17	700	160	timeout	900	5600	14000	true	8.7	450	70
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c	true	.090	23	.81	error (42)	870	980	5900	true	2.6	270	26	unknown	2.1	75	25	timeout	900	180	13000	true	.29	26	3.3	timeout	900	71	11000	timeout (timeout)	900	44	11000	true	5.4	300	45	true	11	520	100	true	5.6	320	48
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c	true	.10	25	.82	error (42)	870	1800	5700	true	2.7	270	24	unknown	1.3	75	14	timeout	900	560	13000	true	.12	26	.70	unknown	900	190	11000	timeout (timeout)	900	40	12000	true	4.9	290	38	true	6.8	470	56	true	4.9	290	43
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c	true	.11	22	.78	true	2.5	37	27	true	2.6	260	23	unknown	1.4	75	15	true	.20	26	2.5	true	.11	26	.59	true	1.8	12	24	true	.15	11	1.7	true	4.8	280	43	true	4.9	270	42	true	4.5	280	37
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c	true	18	610	170	error (42)	870	1700	4300	true	110	1000	790	unknown	1.8	100	20	timeout	900	320	11000	timeout	900	310	13000	unknown	900	170	10000	timeout (timeout)	900	190	11000	true	5.5	290	50	true	7.0	470	63	true	6.2	300	52
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c	true	.12	22	.69	error (42)	870	4400	3300	true	2.5	270	21	unknown	1.4	75	15	timeout	900	740	9600	true	.075	26	.86	unknown	900	280	11000	timeout (timeout)	900	240	12000	true	4.5	280	41	true	4.6	260	39	true	4.8	280	35
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c	true	.12	22	.78	error (42)	870	2400	3400	true	2.6	270	25	unknown	1.7	100	18	timeout	900	350	12000	true	.12	26	1.2	unknown	890	480	9800	timeout (timeout)	900	680	12000	true	6.0	300	53	true	7.0	480	64	true	6.4	300	49
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c	true	.11	22	.94	error (42)	870	1300	5700	true	2.7	270	23	unknown	1.2	75	14	timeout	900	470	10000	true	.083	26	.95	unknown	900	370	12000	timeout (timeout)	900	3900	8100	true	4.9	290	40	true	6.0	340	52	true	4.9	290	35
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c	true	.10	22	.76	error (42)	870	2800	5700	true	2.6	260	23	unknown	1.4	75	17	timeout	900	300	9900	true	.096	26	.98	unknown	900	12	12000	true	.16	12	2.0	true	4.5	290	37	true	4.4	260	39	true	4.6	280	36
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c	true	.10	23	.78	error (42)	870	13000	12000	timeout	900	4900	12000	unknown	1.4	100	16	timeout	900	3600	12000	true	.085	26	.75	unknown	890	330	9100	timeout (timeout)	900	190	11000	true	5.4	300	46	true	6.6	420	51	true	5.9	300	48
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c	true	.13	23	.75	error (42)	870	780	4400	true	4.1	290	39	unknown	1.4	100	20	timeout	900	670	10000	true	.11	26	.65	unknown	900	760	13000	timeout (timeout)	900	210	12000	true	5.5	300	50	true	6.9	430	57	true	5.9	300	46
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c	true	.12	23	.82	error (42)	870	2600	7900	true	2.8	270	26	unknown	1.3	75	17	timeout	900	420	12000	true	.14	26	1.0	unknown	900	370	11000	timeout (timeout)	900	3700	11000	true	5.8	300	46	true	7.8	470	68	true	6.9	310	58
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c	true	.11	22	.88	error (42)	870	2900	5600	true	2.6	270	24	unknown	1.3	75	14	timeout	900	400	9900	true	.10	26	1.0	true	.30	11	3.4	timeout (timeout)	900	15000	12000	true	4.8	280	39	true	4.8	260	37	true	4.8	290	37
termination-crafted-lit/aviad_true-termination_true-no-overflow.c	true	3.6	94	42	true	8.1	180	93	timeout	900	8100	11000	unknown	22	75	260	true	5.7	32	72	true	6.1	33	77	unknown	900	290	10000	timeout (timeout)	900	330	8500	true	350	5700	4500	timeout	900	5800	12000	true	7.7	380	63
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c	error (134)	.16	24	1.6	error (42)	870	8400	3400	true	3.4	310	31	unknown	1.4	75	20	timeout	900	5700	10000	true	.19	27	1.7	unknown	.074	11	.37	unknown	.22	13	2.3	true	5.1	280	41	true	5.4	300	50	true	5.1	290	47
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c	error (134)	.16	24	1.3	error (42)	870	1200	3900	true	3.4	310	29	timeout (false(no-overflow))	900	590	11000	timeout	900	1400	9900	true	.14	27	1.9	unknown	.073	11	.34	unknown	.22	13	2.6	true	5.2	280	45	true	5.7	310	54	true	5.4	290	42
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c	error (134)	.17	23	1.4	error (42)	870	7500	3700	true	2.8	280	25	unknown	1.4	75	14	timeout	900	2900	9000	true	.15	27	1.3	unknown	.074	11	.37	unknown	.18	12	2.1	true	4.9	290	40	true	5.5	300	40	true	5.3	280	45
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c	error (134)	.17	24	1.6	error (42)	870	1200	3400	true	3.3	310	32	timeout (false(no-overflow))	900	530	11000	timeout	900	1900	11000	true	.16	27	1.5	unknown	.061	11	.50	unknown	.22	13	2.0	true	5.2	280	42	true	5.5	310	47	true	5.1	290	37
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c	error (134)	.19	24	1.2	error (42)	870	1200	4400	true	3.3	310	31	timeout (false(no-overflow))	900	560	11000	timeout	900	1800	8300	true	.16	27	1.7	unknown	.071	11	.40	unknown	.22	13	2.4	true	5.2	290	41	true	5.6	300	45	true	5.2	290	43
termination-crafted-lit/genady_true-termination_true-no-overflow.c	true	.98	30	11	true	9.4	160	110	timeout	900	4500	11000	unknown	54	75	780	timeout	900	12000	8100	timeout	900	11000	10000	true	.40	11	4.7	true	.19	12	2.5	true	8.1	420	71	true	36	1000	410	true	6.5	310	49
termination-crafted-lit/strchr_true-no-overflow_true-termination.c	error (134)	.20	24	1.4	error (6)	730	8500	3800	true	2.8	290	23	false(no-overflow)	.54	75	5.6	timeout	900	1800	11000	true	.12	27	1.4	unknown	.067	11	.45	unknown	.19	12	2.2	true	5.1	290	40	true	5.7	320	48	true	5.4	290	41
termination-numeric/Addition01_false-no-overflow.c	error (5)	.099	22	.71	false(no-overflow)	.27	33	2.4	false(no-overflow)	3.1	310	28	false(no-overflow)	.54	49	6.3	false(no-overflow)	.17	28	1.6	false(no-overflow)	.20	28	1.5	false(no-overflow)	.45	12	5.9	false(no-overflow)	.16	12	2.0	false(no-overflow)	4.3	250	37	false(no-overflow)	4.4	260	37	false(no-overflow)	4.3	250	35
termination-numeric/Avg_true_false-no-overflow.c	error (5)	.12	22	.69	false(no-overflow)	.27	35	2.2	false(no-overflow)	2.6	270	24	false(no-overflow)	.59	49	6.6	false(no-overflow)	.18	28	1.8	false(no-overflow)	.17	28	1.8	false(no-overflow)	.65	12	7.4	false(no-overflow)	.19	12	1.7	false(no-overflow)	4.2	250	35	false(no-overflow)	4.4	260	38	false(no-overflow)	4.3	250	32
termination-numeric/Binomial_true-termination_false-no-overflow.c	error (5)	.10	22	.83	witness invalid (false(no-overflow))	23	250	280	timeout	900	2000	8300	false(no-overflow)	27	140	330	false(no-overflow)	8.0	80	110	false(no-overflow)	5.5	64	71	false(no-overflow)	1.1	12	13	false(no-overflow)	.24	12	3.1	timeout	900	1100	6600	timeout	900	2300	8700	timeout	900	4800	12000
termination-numeric/Et1_true_false-no-overflow.c	error (5)	.12	22	.66	false(no-overflow)	.27	33	1.8	false(no-overflow)	2.6	270	21	false(no-overflow)	.45	49	5.3	false(no-overflow)	.20	28	2.0	false(no-overflow)	.24	28	2.0	false(no-overflow)	1.3	13	16	false(no-overflow)	.18	12	1.7	false(no-overflow)	4.1	240	38	false(no-overflow)	4.2	250	35	false(no-overflow)	4.3	250	33
termination-numeric/Et2_true_false-no-overflow.c	error (5)	.099	22	.67	false(no-overflow)	.28	33	2.3	false(no-overflow)	2.7	260	27	false(no-overflow)	.58	49	8.0	false(no-overflow)	.22	28	2.2	false(no-overflow)	.27	28	2.7	false(no-overflow)	1.1	13	15	false(no-overflow)	.19	12	1.8	false(no-overflow)	4.3	240	35	false(no-overflow)	4.2	250	36	false(no-overflow)	4.4	250	36
termination-numeric/Et3_true_false-no-overflow.c	error (5)	.12	22	.60	false(no-overflow)	.25	33	2.1	false(no-overflow)	2.6	270	21	false(no-overflow)	.54	49	7.3	false(no-overflow)	.19	28	1.9	false(no-overflow)	.22	28	2.1	false(no-overflow)	1.2	13	17	false(no-overflow)	.16	12	1.9	false(no-overflow)	4.2	250	37	false(no-overflow)	4.4	250	36	false(no-overflow)	4.2	250	33
termination-numeric/Et4_true_false-no-overflow.c	error (5)	.12	22	.61	false(no-overflow)	.27	34	2.5	false(no-overflow)	2.7	270	23	false(no-overflow)	.49	49	5.3	false(no-overflow)	.39	28	3.6	false(no-overflow)	.44	28	3.5	false(no-overflow)	.98	13	12	false(no-overflow)	.19	12	1.7	false(no-overflow)	4.5	250	38	false(no-overflow)	4.4	250	36	false(no-overflow)	4.4	250	41
termination-numeric/MultCommutative_false-no-overflow.c	error (5)	.11	22	.77	witness invalid (false(no-overflow))	.30	34	2.5	timeout	900	1600	11000	unknown	480	15000	5900	false(no-overflow)	.30	28	2.8	false(no-overflow)	.43	29	4.7	false(no-overflow)	.65	12	6.9	false(no-overflow)	.27	12	2.8	false(no-overflow)	8.1	450	74	false(no-overflow)	11	600	120	false(no-overflow)	9.2	450	80
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c	error (5)	.10	22	.69	false(no-overflow)	2.0	78	25	timeout	900	1600	7500	false(no-overflow)	1.7	140	21	false(no-overflow)	16	51	180	false(no-overflow)	23	57	310	false(no-overflow)	41	39	580	false(no-overflow)	12	39	160	timeout	900	740	6400	timeout	900	2100	10000	true	60	690	750
termination-numeric/Ackermann01_true-termination_true-no-overflow.c	error (5)	.10	22	.67	error (42)	870	330	2600	timeout	900	6500	10000	unknown	460	15000	6400	out of memory	460	15000	4900	out of memory	620	15000	6600	unknown	890	17	13000	timeout (timeout)	900	2000	11000	timeout	900	13000	9900	timeout	900	1700	11000	timeout	900	13000	5700
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c	error (5)	.097	22	.65	error (42)	870	2800	6600	timeout	900	4300	11000	unknown	1.6	49	21	timeout	900	1100	11000	timeout	900	1100	12000	unknown	900	770	10000	timeout (timeout)	900	300	14000	true	10	540	86	timeout	900	5000	12000	true	7.3	370	64
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c	error (5)	.10	22	.80	error (42)	870	260	3000	true	5.3	310	57	unknown	380	15000	4700	timeout	900	8800	6500	timeout	900	11000	11000	unknown	900	1400	11000	timeout (timeout)	900	250	13000	timeout	900	4700	11000	timeout	900	1500	10000	true	58	1600	420
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c	error (5)	.098	22	.74	out of memory	730	15000	5200	true	3.0	280	24	unknown	1.3	49	14	timeout	900	900	10000	timeout	900	900	9800	unknown	890	380	12000	timeout (timeout)	900	230	12000	true	5.6	290	43	true	7.6	490	65	true	5.1	290	45
termination-numeric/LogRecursive_true-termination_true-no-overflow.c	error (5)	.093	22	.68	true	5.0	91	55	timeout	900	1900	9300	unknown	2.0	77	24	true	84	160	1000	true	110	170	1200	true	35	170	440	true	20	170	290	timeout	900	490	11000	timeout	900	5300	12000	timeout	900	1400	11000
termination-numeric/Parts_true-termination_true-no-overflow.c	error (5)	.12	22	.72	error (42)	870	840	5700	timeout	900	2900	10000	unknown	900	430	8100	timeout	900	2900	13000	timeout	900	3700	13000	unknown	900	350	12000	timeout (timeout)	900	3200	11000	timeout	900	5300	13000	timeout	900	1900	11000	timeout	900	13000	6200
termination-numeric/TwoWay_true-termination_true-no-overflow.c	error (5)	.12	22	.61	error (42)	870	2500	4600	timeout	900	740	11000	unknown	5.8	150	52	timeout	900	190	9600	timeout	900	190	10000	unknown	900	790	8500	timeout (timeout)	900	350	9700	true	12	530	120	timeout	900	2500	9500	unknown	33	700	390
termination-numeric/gcd01_true-termination_true-no-overflow.c	error (5)	.098	22	.85	error (42)	880	5000	4800	true	3.5	310	33	unknown	430	15000	5400	timeout	900	890	8600	timeout	900	1600	8300	unknown	900	89	11000	timeout (timeout)	900	49	12000	true	5.7	300	50	true	8.4	470	73	true	5.3	310	42
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c	true	.55	39	6.7	true	2.7	38	29	true	15	460	160	unknown	1.4	75	17	true	.22	26	2.2	true	.22	26	2.8	true	1.9	12	26	true	.31	12	4.1	true	44	1200	460	true	170	4700	2200	true	70	1300	690
termination-numeric/recHanoi02_true-termination_true-no-overflow.c	error (5)	.099	22	.76	true	2.6	36	25	timeout	900	4400	9800	unknown	1.8	49	20	true	1.9	28	24	true	2.0	27	27	true	2.1	13	27	true	.65	16	7.7	true	59	1500	640	timeout	900	4600	13000	timeout	900	2500	11000
termination-numeric/rec_counter1_true-termination_true-no-overflow.c	error (5)	.10	22	.71	error (42)	870	5800	4000	timeout	900	4500	12000	unknown	2.5	97	30	timeout	900	1100	10000	timeout	900	1100	9900	unknown	900	2100	9600	timeout (timeout)	900	500	12000	timeout	900	5600	14000	timeout	900	5700	15000	timeout	900	5500	14000
termination-numeric/rec_counter3_true-termination_true-no-overflow.c	error (5)	.12	22	.70	error (42)	870	5800	4600	timeout	900	5700	11000	unknown	2.4	99	28	timeout	900	1200	12000	timeout	900	1100	9700	unknown	900	1900	9300	timeout (timeout)	900	480	13000	timeout	900	5600	13000	timeout	900	5800	12000	timeout	900	5500	11000
termination-numeric/twisted_true-termination_true-no-overflow.c	timeout	900	24	9800	error (134)	170	13000	1900	timeout	900	7800	11000	timeout (false(no-overflow))	900	6600	13000	timeout	900	1200	12000	timeout	900	1000	9000	unknown	900	670	11000	timeout (timeout)	900	1800	9700	timeout	900	1300	11000	timeout	900	5600	12000	timeout	900	1300	13000
recursive/Addition02WithOverflowBug_false-no-overflow.c	error (5)	.079	22	.75	false(no-overflow)	.28	35	2.1	false(no-overflow)	2.8	280	25	false(no-overflow)	.56	49	7.6	false(no-overflow)	.22	28	1.8	false(no-overflow)	.16	28	3.3	false(no-overflow)	.43	12	5.7	false(no-overflow)	.19	12	2.1	false(no-overflow)	6.0	330	42	false(no-overflow)	4.4	250	40	false(no-overflow)	4.1	230	36
recursive/Addition03_false-no-overflow.c	error (5)	.090	22	.98	false(no-overflow)	.27	33	2.2	false(no-overflow)	3.1	300	29	false(no-overflow)	.56	49	7.1	false(no-overflow)	.17	28	1.7	false(no-overflow)	.18	28	1.8	false(no-overflow)	.42	12	5.4	false(no-overflow)	.17	12	1.9	false(no-overflow)	4.4	240	35	false(no-overflow)	4.5	260	39	false(no-overflow)	4.1	240	39
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c	error (5)	.11	23	.60	false(no-overflow)	.25	33	2.5	false(no-overflow)	2.6	270	22	unknown	64	73	750	false(no-overflow)	.12	28	1.4	false(no-overflow)	.12	28	1.4	false(no-overflow)	.37	12	4.7	false(no-overflow)	.20	12	1.8	false(no-overflow)	4.8	290	44	false(no-overflow)	4.6	270	42	false(no-overflow)	4.8	290	39
recursive/Ackermann01_true-unreach-call_true-no-overflow.c	error (5)	.11	22	.66	error (42)	870	330	2900	timeout	900	3600	12000	out of memory (false(no-overflow))	450	15000	5400	out of memory	440	15000	5400	out of memory	620	15000	7700	unknown	890	17	12000	timeout (timeout)	900	2100	12000	timeout	900	12000	10000	timeout	900	1700	11000	timeout	910	13000	5800
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c	error (5)	.11	22	.64	error (42)	870	360	3500	timeout	900	4300	9600	unknown	460	15000	5300	out of memory	450	15000	5100	out of memory	630	15000	7700	unknown	890	19	14000	timeout (timeout)	900	2500	11000	timeout	900	13000	10000	timeout	900	1800	13000	timeout	910	13000	6500
recursive/Ackermann03_true-unreach-call_true-no-overflow.c	error (5)	.11	22	.60	error (42)	870	350	3400	timeout	900	4500	12000	unknown	460	15000	5500	out of memory	460	15000	5000	out of memory	640	15000	7100	unknown	890	18	12000	timeout (timeout)	900	2100	11000	timeout	910	13000	9400	timeout	900	1700	10000	timeout	910	13000	6600
recursive/Ackermann04_true-unreach-call_true-no-overflow.c	error (5)	.12	22	.62	error (42)	870	340	3000	timeout	900	5700	10000	unknown	460	15000	5900	out of memory	450	15000	4700	out of memory	610	15000	8800	unknown	890	18	12000	timeout (timeout)	900	2100	13000	timeout	910	13000	8200	timeout	900	1700	11000	timeout	910	13000	5400
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.090	22	.81	out of memory	860	15000	8000	timeout	900	5700	10000	unknown	400	15000	5400	out of memory	810	15000	9200	out of memory	580	15000	5800	unknown	890	650	9400	timeout (timeout)	900	29	11000	timeout	900	5200	13000	timeout	900	6000	15000	timeout	900	4400	12000
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c	error (5)	.097	22	.81	error (42)	880	15000	9100	timeout	900	5700	9100	unknown	400	15000	5100	out of memory	840	15000	8100	out of memory	580	15000	7200	unknown	900	640	10000	timeout (timeout)	900	72	14000	timeout	900	5200	12000	timeout	900	6000	12000	timeout	900	5100	12000
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.11	22	.71	error (42)	880	6800	4600	true	2.8	270	24	unknown	400	15000	5000	out of memory	830	15000	9000	out of memory	570	15000	6000	unknown	.076	11	.38	timeout (timeout)	900	63	12000	timeout	900	5200	11000	timeout	900	5800	14000	timeout	900	2600	12000
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c	error (5)	.11	22	.65	true	.43	33	3.9	true	2.8	270	26	unknown	1.2	49	14	true	.081	26	.85	true	.073	26	.77	true	.38	11	5.5	true	.15	11	1.4	true	4.2	240	34	true	4.2	250	31	true	4.4	250	35
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.099	22	.73	error (42)	870	2800	6500	timeout	900	4100	10000	unknown	64	74	900	timeout	900	1100	10000	timeout	900	1100	10000	unknown	890	850	12000	timeout (timeout)	900	320	12000	true	10	520	90	timeout	900	4800	13000	true	7.3	380	60
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c	error (5)	.12	22	.61	error (42)	870	2800	7400	timeout	900	4400	9800	unknown	64	75	710	timeout	900	1100	13000	timeout	900	1100	10000	unknown	890	830	11000	timeout (timeout)	900	300	11000	true	11	510	98	timeout	900	5200	9700	true	7.7	380	55
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c	error (5)	.082	22	.71	error (42)	870	260	3700	true	4.4	290	39	unknown	860	15000	11000	timeout	900	8800	7500	timeout	900	4400	8600	unknown	890	13	13000	timeout (timeout)	900	220	9700	timeout	900	5000	11000	timeout	900	1300	11000	timeout	900	5000	12000
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.096	22	.87	true	1.3	33	13	true	670	810	6100	unknown	1.4	49	16	true	.15	26	1.4	true	.16	26	1.4	unknown	.29	11	3.2	true	.18	11	1.7	true	36	3800	410	timeout	900	1400	11000	timeout	900	13000	7200
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.085	22	.81	error (42)	870	260	3000	true	5.9	310	63	unknown	380	15000	5100	timeout	900	8800	7000	timeout	900	11000	11000	unknown	890	13	13000	timeout (timeout)	900	220	11000	timeout	900	5400	11000	timeout	900	1300	12000	true	63	1500	490
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c	error (5)	.12	22	.67	error (42)	870	250	2500	true	4.2	300	40	unknown	380	15000	4700	timeout	900	8800	6700	timeout	900	11000	9300	unknown	900	1400	11000	timeout (timeout)	900	280	12000	timeout	900	5000	13000	timeout	900	1500	11000	true	59	1500	450
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c	error (5)	.093	22	.73	error (42)	870	260	2900	true	4.2	290	42	unknown	380	15000	5100	timeout	900	8800	7100	timeout	900	11000	8600	unknown	900	1300	12000	timeout (timeout)	900	270	11000	timeout	900	4800	11000	timeout	900	1600	11000	true	58	1600	440
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c	error (5)	.083	22	.86	error (42)	870	2000	3500	true	3.4	280	26	out of memory (false(no-overflow))	510	15000	6900	timeout	900	6400	7800	timeout	900	9100	10000	unknown	900	140	11000	timeout (timeout)	900	74	11000	true	6.8	310	53	true	7.0	440	56	true	6.6	310	53
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.094	22	.73	error (42)	870	2000	3700	true	3.3	280	29	out of memory (false(no-overflow))	510	15000	6100	timeout	900	6300	7100	timeout	900	9000	8700	unknown	900	160	10000	timeout (timeout)	900	74	12000	true	6.5	310	54	true	7.1	430	60	true	6.8	320	61
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.082	22	.93	error (42)	870	450	2100	timeout	900	1500	10000	unknown	480	15000	6400	out of memory	700	15000	6700	out of memory	380	15000	3900	unknown	890	80	12000	timeout (timeout)	900	330	14000	timeout	900	3100	12000	timeout	900	2000	13000	true	240	4800	2700
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c	error (5)	.12	23	.71	error (42)	870	310	4100	timeout	900	1500	12000	unknown	530	15000	6700	out of memory	220	15000	2400	out of memory	450	15000	6100	unknown	900	53	13000	timeout (timeout)	900	44	11000	timeout	900	5000	14000	timeout	900	1500	12000	timeout	900	6800	12000
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.098	22	.76	error (42)	870	5000	4200	true	3.4	310	29	unknown	420	15000	4600	timeout	900	890	8600	timeout	900	1600	9200	unknown	900	88	13000	timeout (timeout)	900	49	14000	true	5.7	300	47	true	8.3	480	70	true	5.7	300	49
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.10	22	.76	error (42)	880	7200	5900	true	3.5	290	33	unknown	420	15000	5400	timeout	900	1200	9200	timeout	900	2300	8300	unknown	890	36	12000	timeout (timeout)	900	29	12000	true	11	530	100	true	14	640	130	true	32	820	270
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.082	22	.81	error (42)	870	1400	2900	timeout	900	6800	9900	out of memory (false(no-overflow))	410	15000	4700	timeout	900	13000	10000	timeout	900	5300	6400	unknown	890	13	12000	timeout (timeout)	900	1200	12000	timeout	900	4700	14000	timeout	900	2900	11000	timeout	910	13000	8900
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.094	22	.79	true	2.6	36	27	timeout	900	5000	12000	unknown	1.9	49	21	true	1.9	28	25	true	2.0	27	29	true	2.1	12	27	true	.64	14	8.4	true	60	1500	600	timeout	900	4700	13000	timeout	900	2700	11000
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c	error (5)	.10	22	.65	true	2.6	36	28	timeout	900	4400	9800	unknown	1.8	49	20	true	1.9	27	24	true	2.0	28	27	true	2.1	13	27	true	.71	14	10	true	57	1700	520	timeout	900	4600	14000	timeout	900	2500	11000
recursive-simple/id_b3_o2_false-no-overflow.c	error (5)	.12	22	.55	false(no-overflow)	.24	33	2.0	false(no-overflow)	2.8	270	24	false(no-overflow)	.54	49	8.3	false(no-overflow)	.16	28	.91	false(no-overflow)	.13	28	1.6	false(no-overflow)	.37	12	4.8	false(no-overflow)	.16	12	2.4	false(no-overflow)	4.6	290	37	false(no-overflow)	4.5	270	45	false(no-overflow)	4.5	280	40
recursive-simple/id_b3_o5_false-no-overflow.c	error (5)	.12	22	.71	false(no-overflow)	.27	33	2.1	false(no-overflow)	2.8	280	23	false(no-overflow)	.56	49	7.3	false(no-overflow)	.13	28	1.3	false(no-overflow)	.17	28	1.2	false(no-overflow)	.37	12	4.0	false(no-overflow)	.18	12	1.9	false(no-overflow)	4.8	280	35	false(no-overflow)	4.4	260	34	false(no-overflow)	4.7	280	37
recursive-simple/id_b5_o10_false-no-overflow.c	error (5)	.096	22	.74	false(no-overflow)	.26	33	2.2	false(no-overflow)	3.0	300	25	false(no-overflow)	.57	49	6.4	false(no-overflow)	.15	28	1.1	false(no-overflow)	.13	28	1.4	false(no-overflow)	.38	12	4.0	false(no-overflow)	.17	12	2.2	false(no-overflow)	4.7	280	39	false(no-overflow)	4.7	260	36	false(no-overflow)	4.7	280	39
recursive-simple/sum_non_eq_false-no-overflow.c	error (5)	.12	22	.69	false(no-overflow)	.26	33	2.1	false(no-overflow)	2.9	270	20	false(no-overflow)	.56	49	6.4	false(no-overflow)	.21	28	1.7	false(no-overflow)	.21	28	1.7	false(no-overflow)	.41	12	4.4	false(no-overflow)	.19	12	2.0	false(no-overflow)	4.8	280	40	false(no-overflow)	4.7	260	37	false(no-overflow)	4.7	290	38
recursive-simple/sum_non_false-no-overflow.c	error (5)	.10	22	.66	false(no-overflow)	.24	33	2.2	false(no-overflow)	2.7	270	26	false(no-overflow)	.57	49	8.8	false(no-overflow)	.18	28	1.9	false(no-overflow)	.22	28	1.8	false(no-overflow)	.47	12	6.2	false(no-overflow)	.17	12	1.9	false(no-overflow)	5.2	300	46	false(no-overflow)	5.8	330	49	false(no-overflow)	5.4	310	40
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c	error (5)	.12	22	.67	error (42)	870	5200	5200	true	3.0	270	28	unknown	1.5	49	16	timeout	900	1200	9500	timeout	900	1200	11000	unknown	900	690	10000	true	.14	11	1.4	true	4.2	250	38	true	4.1	250	32	true	4.2	250	32
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.089	22	.73	error (42)	870	5200	5900	true	3.0	290	30	unknown	1.5	49	17	timeout	900	1200	9200	timeout	900	1200	12000	unknown	900	660	12000	true	.15	11	1.4	true	4.2	250	34	true	4.4	250	39	true	4.1	240	35
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c	error (5)	.10	22	.73	error (42)	870	5200	5700	true	2.9	270	27	unknown	1.5	49	17	timeout	900	1200	9500	timeout	900	1200	10000	unknown	900	700	11000	true	.15	11	1.4	true	4.0	240	33	true	4.1	250	32	true	4.1	250	40
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c	error (5)	.10	22	.75	error (42)	870	5200	4800	true	2.8	270	23	unknown	1.5	49	20	timeout	900	1200	9500	timeout	900	1200	10000	unknown	890	660	8300	true	.15	11	1.4	true	4.1	250	39	true	4.1	240	36	true	4.2	250	34
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c	error (5)	.098	22	.65	error (42)	870	9200	4300	true	2.8	270	27	unknown	1.4	49	17	timeout	900	1200	9900	timeout	900	1200	9900	unknown	890	1200	8500	true	.13	11	1.3	true	4.0	230	35	true	4.2	240	33	true	4.1	250	36
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.11	22	.64	error (42)	880	5200	7500	true	3.7	290	32	false(no-overflow)	.53	49	5.9	timeout	900	460	11000	timeout	900	470	11000	false(no-overflow)	.38	12	4.2	timeout (timeout)	900	2300	12000	true	6.2	310	53	true	6.3	350	47	true	7.8	370	62
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c	error (5)	.11	22	.73	error (42)	870	5200	7600	true	3.7	290	31	false(no-overflow)	.56	49	7.0	timeout	900	460	11000	timeout	900	470	11000	false(no-overflow)	.36	12	5.1	timeout (timeout)	900	2300	9300	true	6.0	310	52	true	6.5	350	52	true	8.1	370	63
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c	error (5)	.12	22	.66	error (42)	880	6100	5000	true	4.5	300	40	false(no-overflow)	.56	49	6.3	timeout	900	470	12000	timeout	900	470	11000	false(no-overflow)	.37	12	5.6	timeout (timeout)	900	2500	9100	true	5.9	300	55	true	6.7	360	51	true	8.1	380	68
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.089	22	.64	out of memory	640	15000	3900	true	2.8	260	24	unknown	1.2	49	16	timeout	900	1100	9900	timeout	900	1100	11000	unknown	890	1000	8900	true	.15	11	1.3	true	4.1	250	35	true	4.2	240	37	true	4.0	250	36
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.11	22	.75	out of memory	660	15000	3800	true	2.9	290	25	unknown	1.2	49	15	timeout	900	1100	8700	timeout	900	1100	9600	unknown	890	1100	9100	true	.15	11	1.5	true	4.3	240	35	true	4.2	240	35	true	4.2	240	32
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.082	22	.76	out of memory	560	15000	5600	true	2.7	260	25	unknown	1.2	49	13	timeout	900	1100	10000	timeout	900	1100	11000	unknown	890	1100	9600	true	.13	11	1.2	true	4.1	240	38	true	4.0	240	38	true	3.9	250	33
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.098	22	.64	out of memory	670	15000	3700	true	3.0	300	25	unknown	1.2	49	13	timeout	900	1100	12000	timeout	900	1100	12000	unknown	890	1000	8100	true	.15	11	1.4	true	4.1	240	37	true	3.9	240	34	true	4.1	240	37
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.097	22	.63	out of memory	650	15000	3600	true	3.0	290	24	unknown	1.2	49	14	timeout	900	1100	11000	timeout	900	1100	11000	unknown	900	1100	8800	true	.13	11	1.5	true	4.1	240	34	true	4.2	240	36	true	4.1	250	34
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.095	22	.86	out of memory	660	15000	3400	true	2.8	270	25	unknown	1.2	49	13	timeout	900	1100	10000	timeout	900	1100	9700	unknown	900	1000	9600	true	.15	11	1.5	true	4.2	250	35	true	3.9	230	32	true	4.2	250	37
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c	error (5)	.095	22	.70	out of memory	780	15000	6300	true	2.8	270	27	unknown	1.2	49	14	timeout	900	1000	9300	timeout	900	1000	10000	unknown	900	740	9200	true	.16	11	1.3	true	3.8	240	34	true	4.0	240	34	true	4.3	250	31
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c	error (5)	.10	22	.78	out of memory	870	15000	4000	true	2.8	270	23	unknown	1.2	49	14	timeout	900	1000	9100	timeout	900	1000	12000	unknown	890	730	8800	true	.13	11	1.4	true	3.9	240	32	true	4.0	250	35	true	4.2	250	38
bitvector/byte_add_1_false-no-overflow.i	false(no-overflow)	.34	31	4.2	false(no-overflow)	.66	33	6.1	false(no-overflow)	5.9	320	55	unknown	1.8	100	23	false(no-overflow)	1.1	29	11	false(no-overflow)	1.1	29	11	true	4.1	13	49	false(no-overflow)	.25	12	2.7	error	25	650	250	timeout	900	1200	11000	error	110	4000	1100
bitvector/byte_add_2_false-no-overflow.i	false(no-overflow)	.36	31	3.5	false(no-overflow)	.66	34	6.6	false(no-overflow)	6.4	330	55	unknown	1.8	100	21	false(no-overflow)	.98	29	7.9	false(no-overflow)	1.1	29	9.6	true	4.1	13	49	false(no-overflow)	.25	12	2.2	error	38	800	370	timeout	900	1300	12000	error	230	4600	2600
bitvector/byte_add_false-no-overflow.i	false(no-overflow)	.36	31	4.0	false(no-overflow)	.68	33	5.9	false(no-overflow)	6.8	350	57	unknown	2.1	110	23	false(no-overflow)	1.3	29	12	false(no-overflow)	1.4	29	9.9	true	39	17	440	false(no-overflow)	.28	13	3.4	error	69	810	790	timeout	900	1200	12000	error	160	2700	1800
bitvector/jain_1_false-no-overflow.i	false(no-overflow)	.093	22	.79	false(no-overflow)	.24	33	1.8	false(no-overflow)	2.8	280	29	false(no-overflow)	.56	75	6.5	false(no-overflow)	.080	28	1.0	false(no-overflow)	.10	28	.83	false(no-overflow)	.44	12	5.1	false(no-overflow)	.19	12	1.7	false(no-overflow)	4.2	250	37	false(no-overflow)	4.4	250	35	false(no-overflow)	4.2	240	38
bitvector/jain_2_false-no-overflow.i	false(no-overflow)	.14	23	.86	false(no-overflow)	.23	33	2.5	false(no-overflow)	2.9	290	24	false(no-overflow)	.63	75	8.3	false(no-overflow)	.11	28	.88	false(no-overflow)	.13	28	.87	false(no-overflow)	.70	12	9.5	false(no-overflow)	.20	12	2.0	false(no-overflow)	4.1	240	34	false(no-overflow)	4.1	250	32	false(no-overflow)	4.2	240	39
bitvector/jain_4_false-no-overflow.i	false(no-overflow)	.13	24	.94	false(no-overflow)	.24	34	2.5	false(no-overflow)	2.9	280	29	false(no-overflow)	29	80	330	false(no-overflow)	.088	28	.91	false(no-overflow)	.11	28	1.2	false(no-overflow)	.59	12	8.2	false(no-overflow)	.18	12	2.2	false(no-overflow)	4.2	240	33	false(no-overflow)	4.3	250	37	false(no-overflow)	4.4	250	40
bitvector/jain_5_false-no-overflow.i	timeout	900	1100	8900	out of memory	370	15000	5400	timeout	900	3900	8100	unknown	900	2300	11000	timeout	900	12000	8900	timeout	900	12000	9600	false(no-overflow)	2.3	11	29	false(no-overflow)	.50	40	8.0	timeout	900	5200	12000	timeout	900	6000	13000	timeout	900	1500	13000
bitvector/jain_6_false-no-overflow.i	false(no-overflow)	.13	26	.98	false(no-overflow)	.26	34	2.4	false(no-overflow)	2.9	290	26	false(no-overflow)	24	80	320	false(no-overflow)	.12	28	.81	false(no-overflow)	.14	28	1.2	false(no-overflow)	.72	12	8.0	false(no-overflow)	.19	12	1.8	false(no-overflow)	4.3	250	37	false(no-overflow)	6.6	350	51	false(no-overflow)	4.4	250	38
bitvector/jain_7_false-no-overflow.i	false(no-overflow)	.13	24	.93	false(no-overflow)	.27	33	2.2	false(no-overflow)	2.8	280	24	false(no-overflow)	93	97	1300	false(no-overflow)	.091	28	1.1	false(no-overflow)	.13	28	1.1	false(no-overflow)	.70	12	8.5	false(no-overflow)	.19	12	1.9	false(no-overflow)	4.2	250	35	false(no-overflow)	4.3	250	34	false(no-overflow)	4.4	250	37
bitvector/modulus_false-no-overflow.i	false(no-overflow)	.15	26	1.1	false(no-overflow)	.24	33	2.0	false(no-overflow)	2.6	270	21	false(no-overflow)	.50	100	5.3	false(no-overflow)	.16	28	2.0	false(no-overflow)	.18	28	1.6	false(no-overflow)	.35	12	4.5	false(no-overflow)	.18	11	2.4	error	4.2	240	36	error	4.3	250	36	error	4.4	250	30
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i	true	.12	24	.92	true	.86	34	8.4	true	3.8	310	36	unknown	1.9	100	21	true	.13	27	1.7	true	.098	27	1.0	true	4.1	13	48	true	.33	12	4.3	true	5.0	280	41	true	7.4	370	61	true	5.1	280	43
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i	true	.12	24	1.0	true	.86	33	7.8	true	3.4	280	31	unknown	1.8	100	23	true	.14	27	1.6	true	.12	27	1.0	true	4.1	13	55	true	.36	12	4.1	true	5.5	290	45	true	7.3	370	60	true	5.5	280	40
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i	true	.10	24	1.0	true	.88	33	8.8	true	3.5	280	32	unknown	2.0	110	25	true	.21	27	2.3	true	.10	27	1.1	true	38	18	460	true	.84	13	10	true	5.1	290	41	true	7.4	370	59	true	5.0	280	37
bitvector/gcd_1_true-unreach-call_true-no-overflow.i	true	.12	25	1.1	true	.53	35	5.4	true	2.8	280	25	unknown	500	99	6600	true	.56	29	7.4	true	.35	27	4.7	true	.66	12	8.4	true	.31	12	4.3	true	5.5	310	44	true	5.2	300	43	true	5.5	330	45
bitvector/gcd_2_true-unreach-call_true-no-overflow.i	true	.11	24	.89	true	1.6	42	19	true	2.8	270	24	unknown	20	75	270	true	9.9	43	110	true	.29	26	3.0	true	28	18	380	true	21	16	260	true	5.5	290	46	true	5.7	330	45	true	5.4	280	39
bitvector/gcd_3_true-unreach-call_true-no-overflow.i	true	.096	23	1.2	true	1.6	42	17	true	2.7	270	25	unknown	21	75	250	true	9.9	43	120	true	.26	27	3.2	true	30	17	380	true	25	16	340	true	5.3	290	44	true	5.9	330	49	true	5.2	280	38
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i	true	.56	33	6.1	true	.81	33	7.0	true	2.7	270	24	unknown	500	110	7100	true	.12	26	.72	true	.15	26	1.7	unknown	.078	11	.36	true	.17	11	1.7	true	11	540	92	true	33	1100	360	true	19	640	170
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i	true	.12	24	.95	true	1.6	33	16	true	2.5	270	23	unknown	1.4	76	16	true	.11	26	.96	true	.078	26	.74	true	.37	11	3.7	true	.15	11	1.6	true	4.3	250	34	true	4.2	250	39	true	4.2	250	35
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i	true	.086	22	.77	error (42)	870	910	4200	true	2.6	280	23	unknown	1.2	75	16	timeout	900	1200	11000	true	.079	26	.77	unknown	900	92	9600	true	.15	11	1.5	true	4.2	250	35	true	3.9	230	32	true	4.2	250	35
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i	true	.096	22	.64	error (42)	870	1300	4700	true	2.6	270	26	unknown	1.2	75	13	timeout	900	790	10000	true	.12	26	.76	unknown	900	120	7600	true	.14	11	1.5	true	6.6	340	48	true	4.2	240	38	true	4.1	250	31
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i	true	.096	22	.73	error (42)	870	1600	5300	true	2.6	270	24	unknown	1.2	75	15	timeout	900	730	9800	true	.094	26	.96	unknown	890	120	12000	true	.14	11	1.5	true	4.0	240	33	true	3.9	240	31	true	3.9	230	32
bitvector/jain_5_true-unreach-call_true-no-overflow.i	true	.099	22	.74	out of memory	380	15000	4500	true	2.5	270	23	unknown	1.2	75	13	timeout	900	11000	10000	true	.089	26	.74	unknown	890	11	11000	true	.13	11	1.3	true	4.2	250	40	true	4.4	250	33	true	4.2	250	34
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i	true	.12	23	.72	error (42)	870	1600	4300	true	2.6	270	26	unknown	1.2	75	13	timeout	900	730	8900	true	.11	26	.88	false(no-overflow)	.48	12	5.7	true	.15	11	1.5	true	4.1	240	34	true	4.1	240	33	true	4.1	240	36
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i	true	.10	23	.80	error (42)	870	1600	3700	true	2.7	270	24	unknown	1.2	75	13	timeout	900	1000	12000	true	.080	26	.80	false(no-overflow)	.49	12	6.5	true	.15	11	1.6	true	4.0	240	32	true	4.1	250	36	true	4.0	240	33
bitvector/modulus_true-unreach-call_true-no-overflow.i	true	.13	28	.97	true	120	1000	660	true	2.7	270	25	unknown	900	630	6900	true	74	290	910	true	.14	26	1.2	true	790	64	12000	true	660	62	8800	error	4.3	240	36	error	4.3	250	35	error	4.3	250	34
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i	true	.10	22	.80	true	1.2	33	12	true	2.8	270	25	unknown	1.4	75	15	true	.092	26	.98	true	.11	26	.90	true	.33	11	3.9	true	.17	11	1.8	error	4.2	250	35	error	4.3	250	38	error	4.3	250	36
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i	true	.11	22	.80	true	1.2	33	12	true	3.0	270	24	unknown	1.4	75	16	true	.11	26	1.0	true	.087	26	.75	unknown	.30	11	3.5	true	.99	13	9.3	error	4.5	250	32	error	4.1	250	35	error	4.0	240	33
bitvector/parity_true-unreach-call_true-no-overflow.i	true	.10	22	.89	true	2.5	34	25	true	2.8	260	24	unknown	1.4	76	19	true	.82	26	9.4	true	.10	26	.84	true	9.4	13	120	true	.13	11	1.5	true	4.3	250	35	true	4.1	240	35	true	4.2	250	34
bitvector/sum02_false-unreach-call_true-no-overflow.i	true	.12	25	.71	error (42)	870	6800	5100	true	2.8	270	24	unknown	1.2	75	13	timeout	900	1400	9700	true	.093	26	.77	unknown	900	670	11000	true	.13	11	1.4	true	4.1	240	33	true	4.3	240	36	true	4.3	240	35
bitvector/sum02_true-unreach-call_true-no-overflow.i	true	.11	24	1.0	error (42)	870	6400	3800	true	2.7	270	24	unknown	1.2	75	17	timeout	900	1400	11000	true	.074	26	.89	unknown	.065	11	.53	true	.15	11	1.5	true	4.1	240	34	true	4.3	240	34	true	4.2	250	34
../sv-benchmarks/c/	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)	status	cpu (s)	mem (MB)	energy (J)
total	358	26000	49000	280000	358	130000	650000	770000	358	59000	400000	700000	358	40000	540000	490000	358	130000	500000	1500000	358	77000	440000	890000	358	130000	210000	1600000	358	110000	130000	1400000	358	42000	360000	550000	358	65000	400000	860000	358	38000	340000	460000
correct results	228	91	7100	860	192	100	6800	1100	285	2000	82000	18000	13	150	850	2000	197	92	5600	1000	259	89	7200	990	157	220	1900	2700	222	98	2700	1200	304	2500	110000	24000	285	2400	100000	25000	301	2200	99000	20000
correct true	88	73	3800	720	29	59	1400	660	121	1300	36000	12000	0				28	32	780	370	90	17	2400	180	26	120	320	1600	53	55	590	700	141	1700	68000	18000	122	1300	54000	13000	138	1200	54000	11000
correct false	140	19	3300	140	163	46	5500	410	164	660	46000	5600	13	150	850	2000	169	60	4800	630	169	72	4800	800	131	94	1600	1200	169	43	2100	500	163	760	44000	6500	163	1100	48000	11000	163	980	45000	8700
correct-unconfimed results	4	6.7	350	65	11	140	1400	840	10	38	2900	360	149	630	15000	8500	7	160	590	2000	8	110	350	1300	21	880	490	13000	7	680	300	9100	3	180	4700	1800	0				9	520	13000	4800
correct-unconfirmed true	4	6.7	350	65	8	130	1300	820	10	38	2900	360	0				7	160	590	2000	8	110	350	1300	6	830	280	13000	7	680	300	9100	3	180	4700	1800	0				9	520	13000	4800
correct-unconfirmed false	0				3	2.0	100	19	0				149	630	15000	8500	0				0				15	49	210	670	0				0				0				0
incorrect results	0				0				0				5	490	650	5400	0				0				10	50	130	580	0				0				0				1	60	690	750
incorrect true	0				0				0				0				0				0				5	48	67	560	0				0				0				1	60	690	750
incorrect false	0				0				0				5	490	650	5400	0				0				5	2.1	59	27	0				0				0				0

Run set	2ls.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				cbmc.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				cpa-seq.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				depthk.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				esbmc-incr.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				esbmc-kind.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				map2check.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				symbiotic.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				uautomizer.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				ukojak.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]				utaipan.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]