depthk.2018-12-05_0936.results.sv-comp19_prop-nooverflow.NoOverflows-BitVectors.xml.bz2.merged.xml.bz2

Tool	DepthK 3.1										CPAchecker 1.7-svn 29852										ULTIMATE Automizer 0.1.23-635dfa2a										CPA-witness2test 1.7-svn 29852										CProver witness2test 0.1										ULTIMATE Automizer 0.1.23-635dfa2a
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8										timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2																																								timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host	apollon*																				[apollon001; apollon005; apollon039; apollon053; apollon087; apollon091]										[apollon007; apollon009; apollon073; apollon078]										apollon*
OS	Linux 4.15.0-42-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution	2018-12-05 09:36:33 CET										2018-12-06 10:02:56 CET										2018-12-06 11:08:44 CET										2018-12-06 11:42:46 CET										2018-12-12 19:35:41 CET										2018-12-06 10:24:56 CET
Run set	depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										cpa-seq-validate-violation-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										uautomizer-validate-violation-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										cpa-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										fshell-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										uautomizer-validate-correctness-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors
Options											-witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml										--full-output --validate ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml										-setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml										--graphml-witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml										--full-output --validate ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy (J)	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.14	.14	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.7	4.3	310		.62	0	error (invalid witness file)	0	---	inspect	3.2	1.8	220		0	0	error (1)	0	---	inspect	.076	.074	12		0	0	-		---	inspect
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	190		0	0	false(no-overflow)	1	---	inspect	7.8	4.8	310		.66	0	error (invalid witness file)	0	---	inspect	3.2	1.8	200		0	0	error (1)	0	---	inspect	.072	.071	11		0	0	-		---	inspect
signedintegeroverflow-regression/Division_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.16	.16	33	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.6	4.6	310		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.098	.097	11		0	0	-		---	inspect
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.15	.15	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	3.7	2.0	210		0	0	false(no-overflow)	1	---	inspect	7.4	4.2	310		.62	0	error (invalid witness file)	0	---	inspect	3.1	1.8	210		0	0	error (1)	0	---	inspect	.080	.080	11		0	0	-		---	inspect
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.7	4.7	310		.62	0	error (invalid witness file)	0	---	inspect	3.1	1.8	200		0	0	error (1)	0	---	inspect	.076	.076	12		0	0	-		---	inspect
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.14	.14	34	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.5	200		0	0	false(no-overflow)	1	---	inspect	9.8	5.6	310		.66	0	error (invalid witness file)	0	---	inspect	3.1	1.8	200		0	0	error (1)	0	---	inspect	.072	.073	11		0	.020	-		---	inspect
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	8.1	4.5	310		.66	0	error (invalid witness file)	0	---	inspect	3.1	1.8	210		0	0	error (1)	0	---	inspect	.078	.079	11		0	0	-		---	inspect
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.14	.14	34	1.9	.85	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	8.9	5.3	310		.66	0	error (invalid witness file)	0	---	inspect	3.1	1.8	200		0	0	error (1)	0	---	inspect	.072	.071	11		0	0	-		---	inspect
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.16	.15	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	3.2	1.7	220		0	0	false(no-overflow)	1	---	inspect	7.5	4.6	310		.62	0	error (invalid witness file)	0	---	inspect	3.1	1.8	200		0	0	error (1)	0	---	inspect	.067	.067	11		0	0	-		---	inspect
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	.85	0	error (invalid witness file)	0	---	inspect	2.8	1.6	190		0	0	false(no-overflow)	1	---	inspect	7.9	4.8	310		.62	0	error (invalid witness file)	0	---	inspect	3.1	1.8	200		0	0	error (1)	0	---	inspect	.072	.071	11		0	0	-		---	inspect
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i	unknown	0	wit	inspect	.79	.54	67	8.5	30	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.5	4.2	300		.66	0
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i	unknown	0	wit	inspect	.81	.55	67	8.7	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.5	4.8	320		.62	0
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i	unknown	0	wit	inspect	.80	.54	66	8.8	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.2	4.7	310		.66	0
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i	unknown	0	wit	inspect	.80	.55	66	9.3	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.0	3.9	310		.62	0
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i	unknown	0	wit	inspect	.81	.54	65	9.7	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.2	4.0	310		.62	0
termination-crafted/2Nested_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	false(no-overflow)	1	---	inspect	6.8	4.3	300		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.067	.067	11		0	0	-		---	inspect
termination-crafted/4NestedWith3Variables_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.21	.21	33	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.5	200		0	0	false(no-overflow)	1	---	inspect	6.9	3.9	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.091	.098	11		0	0	-		---	inspect
termination-crafted/Ackermann_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.8	.85	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.4	300		.66	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.071	.071	11		0	0	-		---	inspect
termination-crafted/Bangalore_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	6.7	3.9	300		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.10	.10	11		0	0	-		---	inspect
termination-crafted/Bangalore_v3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.4	1.0	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	false(no-overflow)	1	---	inspect	6.6	4.2	300		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.067	.068	11		0	0	-		---	inspect
termination-crafted/Benghazi_nondet_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	170		0	0	false(no-overflow)	1	---	inspect	6.9	4.3	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.069	.070	11		0	0	-		---	inspect
termination-crafted/Binary_Search_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	34	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.3	4.1	310		.66	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.068	.069	11		0	0	-		---	inspect
termination-crafted/Cairo_nondet_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.38	.37	35	4.0	31	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.5	4.3	310		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.067	.067	11		0	.0082	-		---	inspect
termination-crafted/Cairo_step2_false-no-overflow.c	unknown	0	---	inspect	41	41	40	520	3000	.049	error (invalid witness file)	0	---	inspect	.72	.44	41		0	0	error (2)	0	---	inspect	.021	.023	5.6		0	0	error (invalid witness file)	0	---	inspect	.97	.63	48		0	0	error (invalid witness file)	0	---	inspect	.0020	.0028	.53		0	0	-		---	inspect
termination-crafted/Collatz_unknown-termination_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.15	33	2.5	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	200		0	0	false(no-overflow)	1	---	inspect	6.9	3.9	290		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.098	.097	11		0	0	-		---	inspect
termination-crafted/Copenhagen_disj_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.5	4.7	320		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	error (1)	0	---	inspect	.079	.079	11		0	0	-		---	inspect
termination-crafted/Gothenburg_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.18	.18	34	2.1	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	170		0	0	false(no-overflow)	1	---	inspect	8.0	4.5	300		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.077	.077	11		0	0	-		---	inspect
termination-crafted/Gothenburg_v2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.20	.20	33	3.1	.85	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	false(no-overflow)	1	---	inspect	8.4	5.2	310		.66	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.073	.073	11		0	.0041	-		---	inspect
termination-crafted/Hanoi_2vars_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	false(no-overflow)	1	---	inspect	6.8	3.9	300		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.099	.097	11		0	.0041	-		---	inspect
termination-crafted/Hanoi_3vars_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.9	.85	0	error (invalid witness file)	0	---	inspect	2.6	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.0	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.068	.068	11		0	0	-		---	inspect
termination-crafted/Hanoi_plus_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.19	.19	33	2.1	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.6	170		0	0	false(no-overflow)	1	---	inspect	7.1	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.072	.071	11		0	0	-		---	inspect
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.6	4.8	310		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.079	.079	11		0	0	-		---	inspect
termination-crafted/Mysore_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.8	.85	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.3	4.5	310		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.089	.088	11		0	0	-		---	inspect
termination-crafted/NestedRecursion_1a_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.8	1.0	0	error (invalid witness file)	0	---	inspect	3.2	1.8	200		0	0	false(no-overflow)	1	---	inspect	7.3	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.098	11		0	0	-		---	inspect
termination-crafted/NestedRecursion_2a_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.4	300		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	170		0	0	error (1)	0	---	inspect	.075	.075	11		0	0	-		---	inspect
termination-crafted/NonTermination1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.13	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	190		0	0	false(no-overflow)	1	---	inspect	6.9	3.9	300		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.094	.092	11		0	0	-		---	inspect
termination-crafted/NonTermination2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	300		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	error (1)	0	---	inspect	.073	.072	11		0	0	-		---	inspect
termination-crafted/NonTermination4_false-no-overflow.c	false(no-overflow)	0	wit	inspect	15	15	55	210	580	.0082	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	true	-32	---	inspect	11	6.0	340		.66	0	error (invalid witness file)	0	---	inspect	3.4	2.0	200		0	0	error (1)	0	---	inspect	.10	.10	11		0	.0041	-		---	inspect
termination-crafted/NonTerminationSimple2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.4	.85	0	error (invalid witness file)	0	---	inspect	3.3	1.8	190		0	0	false(no-overflow)	1	---	inspect	6.7	3.9	300		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.079	.079	11		0	0	-		---	inspect
termination-crafted/NonTerminationSimple3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	6.7	3.8	290		.66	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.095	.11	11		0	0	-		---	inspect
termination-crafted/NonTerminationSimple4_false-no-overflow.c	unknown	0	---	inspect	34	34	40	490	3000	.053	error (invalid witness file)	0	---	inspect	.65	.40	42		0	0	error (2)	0	---	inspect	.021	.022	5.6		0	0	error (invalid witness file)	0	---	inspect	.95	.61	47		0	0	error (invalid witness file)	0	---	inspect	.0051	.0064	.52		0	0	-		---	inspect
termination-crafted/NonTerminationSimple5_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	6.4	3.7	320		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.10	.10	11		0	0	-		---	inspect
termination-crafted/NonTerminationSimple6_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	190		0	0	false(no-overflow)	1	---	inspect	6.9	4.0	300		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.076	.076	11		0	.0041	-		---	inspect
termination-crafted/NonTerminationSimple8_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.5	4.2	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.083	.090	11		0	0	-		---	inspect
termination-crafted/NonTerminationSimple9_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.4	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	6.8	3.9	300		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.076	.076	11		0	.0041	-		---	inspect
termination-crafted/Pure2Phase_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	2.3	1.0	0	error (invalid witness file)	0	---	inspect	3.3	1.8	190		0	0	false(no-overflow)	1	---	inspect	7.4	4.2	310		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.075	.076	11		0	0	-		---	inspect
termination-crafted/Pure3Phase_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.9	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.6	4.3	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.085	.094	11		0	0	-		---	inspect
termination-crafted/RecursiveMultiplication_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.5	.85	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	6.9	4.3	300		.66	0	error (invalid witness file)	0	---	inspect	2.6	1.5	170		0	0	error (1)	0	---	inspect	.090	.091	11		0	0	-		---	inspect
termination-crafted/RecursiveNonterminating_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.7	4.7	310		.66	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.067	.066	12		0	0	-		---	inspect
termination-crafted/Rotation180_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	.85	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	false(no-overflow)	1	---	inspect	6.4	4.1	300		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.081	.080	11		0	0	-		---	inspect
termination-crafted/Singapore_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	2.1	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.3	4.1	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.076	.077	12		0	.0041	-		---	inspect
termination-crafted/Singapore_plus_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	310		.66	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.090	.095	11		0	0	-		---	inspect
termination-crafted/Singapore_v1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	300		.66	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.070	.070	12		0	0	-		---	inspect
termination-crafted/Singapore_v2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.1	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	error (1)	0	---	inspect	.076	.075	11		0	0	-		---	inspect
termination-crafted/Stockholm_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.20	.20	34	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.11	.11	11		0	0	-		---	inspect
termination-crafted/Thun_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	2.0	.85	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.1	4.0	310		.66	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.079	.078	11		0	0	-		---	inspect
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.7	4.8	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	210		0	0	error (1)	0	---	inspect	.098	.098	11		0	0	-		---	inspect
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	170		0	0	false(no-overflow)	1	---	inspect	9.0	5.2	310		.62	0	error (invalid witness file)	0	---	inspect	3.1	1.8	200		0	0	error (1)	0	---	inspect	.066	.066	11		0	0	-		---	inspect
termination-crafted/aaron2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	34	2.1	1.0	0	error (invalid witness file)	0	---	inspect	3.1	1.7	170		0	0	false(no-overflow)	1	---	inspect	7.1	4.4	300		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.074	.074	11		0	0	-		---	inspect
termination-crafted/aaron3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.7	.85	0	error (invalid witness file)	0	---	inspect	2.5	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	300		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.10	.10	11		0	0	-		---	inspect
termination-crafted/easy2_false-no-overflow.c	unknown	0	---	inspect	58	57	48	760	3000	.045	error (invalid witness file)	0	---	inspect	.58	.36	41		0	0	error (2)	0	---	inspect	.021	.021	5.6		0	0	error (invalid witness file)	0	---	inspect	.92	.59	47		0	0	error (invalid witness file)	0	---	inspect	.0051	.0064	.52		0	0	-		---	inspect
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.78	.53	65	8.1	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.5	4.5	300		.66	0
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.84	.58	68	8.7	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	37	24	580		.62	0
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c	unknown	0	wit	inspect	.79	.53	66	7.9	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.7	4.4	310		.62	0
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.81	.55	66	9.6	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	11	6.1	340		.66	0
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.81	.56	65	8.5	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.8	5.4	320		.66	0
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.82	.55	67	8.2	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.1	4.7	310		.62	0
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.85	.60	66	9.7	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.7	4.9	310		.62	0
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	---	inspect	470	470	63	6500	3000	.012	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.021	5.6		0	0
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.81	.54	66	7.9	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	6.7	4.2	300		.62	0
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	---	inspect	43	42	40	540	2900	.057	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.020	.021	5.6		0	0
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	---	inspect	42	42	40	530	3000	.053	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.022	5.6		0	0
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.81	.55	66	9.0	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.7	5.0	330		.62	0
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.82	.56	67	8.8	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.4	4.7	320		.62	0
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.82	.55	66	7.9	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							timeout	0	---	inspect	960	910	1000		.63	0
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c	unknown	0	---	inspect	52	51	60	770	3000	.049	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.023	.024	5.6		0	0
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.84	.55	66	8.9	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	6.3	3.7	300		.66	0
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	---	inspect	510	510	67	5500	3000	.012	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.022	.023	5.6		0	0
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c	out of memory	0	wit	inspect	170	160	15000	2500	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	10	5.6	330		.66	0
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	---	inspect	470	470	83	5900	3000	.0082	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.026	.027	5.6		0	0
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c	out of memory	0	wit	inspect	180	170	15000	2500	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	12	7.2	450		.62	0
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c	out of memory	0	wit	inspect	180	160	15000	2100	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	22	14	590		.62	0
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c	out of memory	0	wit	inspect	160	160	15000	2000	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	16	9.8	470		.62	0
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c	out of memory	0	wit	inspect	170	160	15000	2000	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	14	8.4	470		.66	0
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c	out of memory	0	wit	inspect	160	160	15000	2100	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	16	9.5	510		.66	0
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c	out of memory	0	wit	inspect	170	160	15000	2700	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	13	7.7	500		.62	0
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c	out of memory	0	wit	inspect	170	160	15000	2200	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	22	13	600		.66	0
termination-crafted/NonTermination3_true-no-overflow_false-termination.c	unknown	0	wit	inspect	.79	.53	67	8.4	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.6	5.7	310		.66	0
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c	unknown	0	wit	inspect	1.0	.74	66	11	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.9	5.8	320		.66	0
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.79	.53	67	8.7	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.0	4.8	310		.66	0
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.84	.57	66	7.9	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.3	4.2	310		.62	0
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	1.3	1.0	66	18	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.0	4.6	310		.66	0
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c	unknown	0	---	inspect	28	28	41	360	3000	.061	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.022	.023	5.6		0	0
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.89	.64	66	9.0	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.5	4.9	310		.62	0
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.78	.53	67	9.3	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.0	4.5	300		.66	0
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.81	.54	68	8.6	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.2	4.1	290		.66	0
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.78	.53	66	8.3	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	6.6	4.1	290		.62	0
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	wit	inspect	.83	.56	66	8.9	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.4	4.3	310		.66	0
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c	unknown	0	---	inspect	58	57	49	750	3000	.033	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.027	.029	5.6		0	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.19	.19	33	1.8	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	300		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.074	.075	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.22	.21	34	2.8	1.0	0	error (invalid witness file)	0	---	inspect	3.3	1.8	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.10	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	33	2.3	.85	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.8	4.4	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	error (1)	0	---	inspect	.072	.073	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.14	33	1.9	.85	0	error (invalid witness file)	0	---	inspect	2.6	1.5	190		0	0	false(no-overflow)	1	---	inspect	7.2	4.5	310		.66	0	error (invalid witness file)	0	---	inspect	3.0	1.8	200		0	0	error (1)	0	---	inspect	.078	.090	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.8	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.4	4.7	310		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.071	.071	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	false(no-overflow)	1	---	inspect	6.9	4.3	300		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.066	.067	12		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.4	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.6	190		0	0	false(no-overflow)	1	---	inspect	7.3	4.6	310		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.070	.069	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c	unknown	0	---	inspect	58	57	48	810	3000	.045	error (invalid witness file)	0	---	inspect	.58	.35	40		0	0	error (2)	0	---	inspect	.022	.022	5.6		0	0	error (invalid witness file)	0	---	inspect	.90	.58	47		0	0	error (invalid witness file)	0	---	inspect	.0052	.0065	.52		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.13	34	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	190		0	0	false(no-overflow)	1	---	inspect	7.5	4.3	310		.66	0	error (invalid witness file)	0	---	inspect	3.2	1.8	180		0	0	error (1)	0	---	inspect	.068	.077	12		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.5	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.7	170		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	320		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.072	.073	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c	unknown	0	---	inspect	900	900	710	11000	490	.0041	error (invalid witness file)	0	---	inspect	.64	.39	40		0	0	error (2)	0	---	inspect	.021	.022	5.6		0	0	error (invalid witness file)	0	---	inspect	.95	.61	48		0	0	error (invalid witness file)	0	---	inspect	.0019	.0033	.53		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c	unknown	0	---	inspect	720	720	75	10000	2700	.0082	error (invalid witness file)	0	---	inspect	.70	.42	40		0	0	error (2)	0	---	inspect	.025	.027	5.6		0	0	error (invalid witness file)	0	---	inspect	.98	.63	48		0	0	error (invalid witness file)	0	---	inspect	.0043	.0057	.53		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.7	.85	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	6.9	4.3	300		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.094	.093	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.8	.85	0	error (invalid witness file)	0	---	inspect	2.7	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	error (1)	0	---	inspect	.077	.078	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	false(no-overflow)	1	---	inspect	7.1	4.5	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	error (1)	0	---	inspect	.10	.099	11		0	0	-		---	inspect
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	34	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	false(no-overflow)	1	---	inspect	8.1	4.8	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.096	11		0	0	-		---	inspect
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.15	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.7	4.8	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.7	200		0	0	error (1)	0	---	inspect	.085	.085	11		0	.0041	-		---	inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.32	.32	35	4.3	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.5	320		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.074	.074	11		0	0	-		---	inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	170		0	0	false(no-overflow)	1	---	inspect	7.4	4.2	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.071	.071	11		0	0	-		---	inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	33	1.9	.85	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.5	4.7	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.097	.095	11		0	0	-		---	inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.5	4.2	310		.66	0	error (invalid witness file)	0	---	inspect	3.5	2.0	180		0	0	error (1)	0	---	inspect	.083	.083	12		0	0	-		---	inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.19	.18	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.6	4.8	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.095	.094	11		0	0	-		---	inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	34	2.1	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.6	4.2	300		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.068	.067	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.13	33	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.0	4.4	310		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.065	.066	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	2.2	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.1	4.1	310		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.077	.079	12		0	.0041	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.6	1.0	0	error (invalid witness file)	0	---	inspect	3.3	1.8	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.5	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	170		0	0	error (1)	0	---	inspect	.081	.080	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.13	33	1.3	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	200		0	0	false(no-overflow)	1	---	inspect	6.7	4.3	300		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.096	.096	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	34	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.1	4.0	300		.66	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.094	.10	11		0	.0082	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.6	.85	0	error (invalid witness file)	0	---	inspect	2.6	1.4	170		0	0	false(no-overflow)	1	---	inspect	8.6	4.7	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.066	.067	12		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.7	4.4	320		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.086	.085	11		0	.0041	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.8	1.0	0	error (invalid witness file)	0	---	inspect	3.3	1.8	200		0	0	false(no-overflow)	1	---	inspect	7.4	4.1	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.071	.071	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	2.0	.85	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.2	4.2	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.10	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.8	1.0	0	error (invalid witness file)	0	---	inspect	3.2	1.7	170		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	300		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.083	.083	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	2.0	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.4	4.1	300		.66	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.067	.067	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	170		0	0	false(no-overflow)	1	---	inspect	6.8	4.3	290		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.071	.072	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.8	1.0	0	error (invalid witness file)	0	---	inspect	3.2	1.8	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	310		.66	0	error (invalid witness file)	0	---	inspect	2.6	1.6	170		0	0	error (1)	0	---	inspect	.099	.096	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	1.8	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	300		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.7	200		0	0	error (1)	0	---	inspect	.079	.079	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	33	1.4	1.0	0	error (invalid witness file)	0	---	inspect	3.2	1.8	190		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.7	200		0	0	error (1)	0	---	inspect	.071	.071	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.22	.22	33	2.7	1.0	0	error (invalid witness file)	0	---	inspect	3.3	1.8	190		0	0	false(no-overflow)	1	---	inspect	7.1	4.0	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.072	.072	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.15	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	3.1	1.8	200		0	0	false(no-overflow)	1	---	inspect	6.8	3.9	310		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.10	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.16	33	2.1	.85	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.4	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.076	.075	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.19	.19	33	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.4	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	170		0	0	error (1)	0	---	inspect	.065	.065	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.13	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	false(no-overflow)	1	---	inspect	6.7	3.8	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.067	.067	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.7	.85	0	error (invalid witness file)	0	---	inspect	2.5	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.094	.093	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.7	170		0	0	false(no-overflow)	1	---	inspect	8.1	4.9	300		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.067	.066	12		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.7	.85	0	error (invalid witness file)	0	---	inspect	3.2	1.8	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.4	310		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.073	.074	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	34	1.7	.85	0	error (invalid witness file)	0	---	inspect	3.2	1.8	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.087	.086	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.4	310		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.074	.074	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	1.8	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.3	4.5	320		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.071	.071	12		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.6	1.0	0	error (invalid witness file)	0	---	inspect	3.4	1.8	190		0	0	false(no-overflow)	1	---	inspect	7.3	4.1	310		.66	0	error (invalid witness file)	0	---	inspect	3.0	1.7	190		0	0	error (1)	0	---	inspect	.075	.076	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	200		0	0	false(no-overflow)	1	---	inspect	6.9	3.9	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.066	.065	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	170		0	0	false(no-overflow)	1	---	inspect	7.1	4.1	300		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.099	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.9	.85	0	error (invalid witness file)	0	---	inspect	3.3	1.8	200		0	0	false(no-overflow)	1	---	inspect	6.9	4.0	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.096	.093	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	160		0	0	false(no-overflow)	1	---	inspect	7.6	4.4	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.071	.072	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.071	.072	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.4	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.2	4.0	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.065	.066	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.7	1.0	0	error (invalid witness file)	0	---	inspect	3.1	1.8	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.4	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.068	.067	12		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.9	.85	0	error (invalid witness file)	0	---	inspect	2.9	1.6	170		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	310		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.073	.073	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.8	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.2	4.2	320		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.069	.069	11		0	0	-		---	inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	300		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.099	11		0	0	-		---	inspect
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	false(no-overflow)	1	---	inspect	7.3	4.2	310		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	170		0	0	error (1)	0	---	inspect	.069	.071	11		0	0	-		---	inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	6.6	3.8	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.086	.095	11		0	0	-		---	inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.3	4.1	300		.62	0	error (invalid witness file)	0	---	inspect	3.1	1.7	200		0	0	error (1)	0	---	inspect	.075	.076	11		0	0	-		---	inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.13	33	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	310		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.097	11		0	0	-		---	inspect
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	190		0	0	false(no-overflow)	1	---	inspect	7.1	4.5	310		.66	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.067	.067	11		0	0	-		---	inspect
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.13	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	3.2	1.8	190		0	0	true	-32	---	inspect	6.9	4.3	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.085	.087	11		0	0	-		---	inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	34	2.2	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	7.1	4.5	300		.086	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.078	.078	11		0	0	-		---	inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.7	.85	0	error (invalid witness file)	0	---	inspect	3.2	1.8	200		0	0	true	-32	---	inspect	10	5.9	340		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.070	.071	11		0	0	-		---	inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.8	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	6.6	4.2	300		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.083	.083	11		0	.0041	-		---	inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.6	.85	0	error (invalid witness file)	0	---	inspect	2.6	1.5	190		0	0	false(no-overflow)	1	---	inspect	7.4	4.2	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.071	.085	11		0	0	-		---	inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	8.7	5.4	310		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.099	.097	11		0	0	-		---	inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	6.9	3.9	310		.66	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.075	.075	11		0	0	-		---	inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	.85	0	error (invalid witness file)	0	---	inspect	2.5	1.4	200		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.7	200		0	0	error (1)	0	---	inspect	.066	.065	12		0	0	-		---	inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.4	.85	0	error (invalid witness file)	0	---	inspect	3.1	1.7	170		0	0	false(no-overflow)	1	---	inspect	7.5	4.6	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.10	.098	11		0	0	-		---	inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	34	1.7	1.0	0	error (invalid witness file)	0	---	inspect	2.7	1.5	200		0	0	false(no-overflow)	1	---	inspect	6.8	3.9	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.069	.069	11		0	0	-		---	inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.4	.85	0	error (invalid witness file)	0	---	inspect	2.8	1.6	190		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.7	1.6	200		0	0	error (1)	0	---	inspect	.072	.072	11		0	0	-		---	inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	190		0	0	false(no-overflow)	1	---	inspect	6.8	3.9	300		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.072	.072	11		0	0	-		---	inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	33	2.4	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	false(no-overflow)	1	---	inspect	6.7	4.3	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.067	.066	12		0	0	-		---	inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	6.7	3.8	300		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.066	.078	11		0	0	-		---	inspect
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.5	.85	0	error (invalid witness file)	0	---	inspect	2.9	1.6	170		0	0	false(no-overflow)	1	---	inspect	7.6	4.7	320		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.068	.077	11		0	0	-		---	inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	1.6	1.0	0	error (invalid witness file)	0	---	inspect	3.3	1.8	190		0	0	false(no-overflow)	1	---	inspect	7.0	4.2	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.074	.073	11		0	0	-		---	inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	33	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.4	4.2	300		.66	0	error (invalid witness file)	0	---	inspect	3.1	1.8	210		0	0	error (1)	0	---	inspect	.078	.079	11		0	0	-		---	inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	1.6	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.072	.073	11		0	0	-		---	inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.18	.18	34	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	190		0	0	false(no-overflow)	1	---	inspect	7.8	4.3	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.7	200		0	0	error (1)	0	---	inspect	.079	.079	11		0	0	-		---	inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	33	2.0	1.0	0	error (invalid witness file)	0	---	inspect	3.2	1.8	170		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	310		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	190		0	0	error (1)	0	---	inspect	.072	.075	11		0	0	-		---	inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	1.4	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	170		0	0	false(no-overflow)	1	---	inspect	6.9	4.4	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.075	.075	11		0	.0041	-		---	inspect
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.13	.13	34	1.8	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.4	4.6	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	170		0	0	error (1)	0	---	inspect	.069	.068	11		0	0	-		---	inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.19	.19	33	2.2	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	190		0	0	false(no-overflow)	1	---	inspect	7.6	4.2	310		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.8	200		0	0	error (1)	0	---	inspect	.075	.075	11		0	0	-		---	inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.6	1.0	0	error (invalid witness file)	0	---	inspect	3.2	1.8	190		0	0	false(no-overflow)	1	---	inspect	7.2	4.1	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.072	.072	11		0	0	-		---	inspect
termination-crafted-lit/cstrncmp_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	34	2.2	1.0	0	error (invalid witness file)	0	---	inspect	2.6	1.5	190		0	0	false(no-overflow)	1	---	inspect	8.9	5.0	320		.62	0	error (invalid witness file)	0	---	inspect	3.0	1.7	200		0	0	error (1)	0	---	inspect	.072	.072	11		0	0	-		---	inspect
termination-crafted-lit/gcd1_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	2.0	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.1	310		.66	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.074	.075	11		0	.0041	-		---	inspect
termination-crafted-lit/joey_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.14	.14	34	1.3	1.0	0	error (invalid witness file)	0	---	inspect	2.9	1.6	170		0	0	false(no-overflow)	1	---	inspect	7.2	4.5	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.070	.069	11		0	0	-		---	inspect
termination-crafted-lit/min_rf_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.18	.18	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.5	1.4	190		0	0	false(no-overflow)	1	---	inspect	7.4	4.6	310		.66	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.086	.085	11		0	0	-		---	inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	290	11000	1300	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.023	.024	5.6		0	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.81	.55	67	8.8	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.6	4.5	310		.66	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.83	.58	66	9.2	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.2	4.6	310		.66	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c	unknown	0	---	inspect	58	57	48	650	3000	.049	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.023	.023	5.6		0	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	200	12000	1900	.0082	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.023	5.7		0	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	590	11000	500	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.022	5.6		0	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c	unknown	0	---	inspect	680	680	69	8500	3000	.016	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.023	.024	5.6		0	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c	unknown	0	wit	inspect	4.7	4.4	68	63	300	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	54	35	2800		.66	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.83	.57	65	10	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.0	5.2	310		.66	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.86	.58	67	9.0	30	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	11	6.1	350		.66	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.85	.59	67	9.5	29	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	11	6.2	320		.62	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.91	.66	67	10	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.6	4.4	310		.62	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.9	1.6	68	22	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.1	5.5	310		.66	0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	91	13000	2100	.0082	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.020	.021	5.6		0	0
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c	unknown	0	---	inspect	250	250	58	3500	3000	.012	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.022	5.7		0	0
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	92	11000	2000	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.022	.022	5.6		0	0
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	93	13000	2000	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.024	.025	5.6		0	0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.8	1.6	66	24	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.7	5.5	340		.62	0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	220	13000	880	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.022	.022	5.6		0	0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c	unknown	0	---	inspect	380	380	64	3800	3000	.012	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.022	.024	5.6		0	0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.83	.56	66	8.8	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.2	4.1	320		.62	0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c	unknown	0	---	inspect	58	57	49	750	3000	.053	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.022	.022	5.6		0	0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c	unknown	0	---	inspect	720	720	73	8700	2900	.020	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.023	.024	5.6		0	0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c	unknown	0	wit	inspect	4.7	4.4	67	61	300	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	61	38	3600		.62	0
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c	unknown	0	wit	inspect	.77	.52	66	8.3	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.7	4.2	290		.66	0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.80	.53	67	8.9	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.4	4.6	310		.66	0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.0	.76	67	11	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.3	4.7	320		.62	0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.79	.54	66	7.7	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.2	4.7	310		.62	0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.87	.62	67	9.0	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.1	5.0	310		.66	0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.86	.60	66	11	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.2	5.1	310		.66	0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.3	1.0	67	15	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.1	4.7	310		.66	0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.1	.81	66	12	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.0	4.6	320		.66	0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.0	.76	67	13	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.5	4.9	310		.66	0
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c	unknown	0	---	inspect	76	76	60	930	2900	.037	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.020	.021	5.6		0	0
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	100	12000	2700	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.022	5.6		0	0
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.79	.54	67	8.8	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.4	4.6	320		.62	0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c	unknown	0	---	inspect	340	340	58	4200	3000	.020	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.021	5.6		0	0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.80	.53	66	8.2	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.7	5.0	310		.66	0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c	unknown	0	wit	inspect	29	29	67	350	910	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.4	5.8	320		.62	0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.84	.56	66	10	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.1	4.5	310		.66	0
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c	unknown	0	---	inspect	88	87	47	1200	3000	.033	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.026	.027	5.6		0	0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.98	.71	65	11	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.0	4.5	310		.62	0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.95	.70	67	10	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.7	4.5	310		.62	0
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	170	11000	780	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.022	5.6		0	0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c	out of memory	0	wit	inspect	250	230	15000	3000	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	11	7.2	400		.62	0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c	out of memory	0	wit	inspect	230	210	15000	2400	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	18	11	580		.62	0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c	unknown	0	wit	inspect	2.8	2.6	67	38	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	11	6.0	310		.66	0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.84	.59	66	8.3	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.4	4.7	310		.62	0
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.85	.58	67	9.4	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.4	4.2	310		.66	0
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	200	13000	1900	.0082	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.020	.022	5.8		0	0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.79	.53	66	9.1	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.0	4.4	300		.66	0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.3	1.0	65	16	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.3	5.3	310		.62	0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.84	.56	67	7.7	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.8	4.9	310		.62	0
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c	unknown	0	wit	inspect	.96	.69	67	11	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.4	4.2	310		.66	0
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.82	.56	66	8.3	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.6	4.9	310		.66	0
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.88	.63	67	12	31	.0041	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	11	6.1	320		.66	0
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.3	1.0	67	16	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.6	5.0	310		.62	0
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c	unknown	0	wit	inspect	.82	.56	68	9.1	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.3	4.2	320		.66	0
termination-crafted-lit/aviad_true-termination_true-no-overflow.c	unknown	0	wit	inspect	34	34	68	450	1800	.033	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							out of memory	0	---	inspect	760	620	7000		.64	0
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.95	.68	68	10	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.6	5.7	310		.66	0
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.1	.87	67	13	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.9	5.8	310		.66	0
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.92	.65	68	9.8	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.9	4.5	310		.37	0
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.1	.86	65	12	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.0	4.6	320		.62	0
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c	unknown	0	wit	inspect	1.1	.87	67	15	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	8.5	4.8	320		.62	0
termination-crafted-lit/genady_true-termination_true-no-overflow.c	unknown	0	---	inspect	130	130	67	1400	3000	.025	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.025	.026	5.6		0	0
termination-crafted-lit/strchr_true-no-overflow_true-termination.c	unknown	0	wit	inspect	.92	.66	66	9.8	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	7.8	4.9	320		.66	0
termination-numeric/Addition01_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.15	.15	33	1.5	.85	0	error (invalid witness file)	0	---	inspect	2.9	1.6	170		0	0	false(no-overflow)	1	---	inspect	7.5	4.2	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.076	.076	11		0	.0041	-		---	inspect
termination-numeric/Avg_true_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	34	1.9	1.0	0	error (invalid witness file)	0	---	inspect	3.0	1.7	190		0	0	false(no-overflow)	1	---	inspect	7.8	4.8	310		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.074	.076	11		0	0	-		---	inspect
termination-numeric/Binomial_true-termination_false-no-overflow.c	unknown	0	---	inspect	900	900	860	9400	82	0	error (invalid witness file)	0	---	inspect	.77	.46	42		0	0	error (2)	0	---	inspect	.022	.024	5.6		0	0	error (invalid witness file)	0	---	inspect	.93	.61	48		0	0	error (invalid witness file)	0	---	inspect	.0046	.0070	.53		0	0	-		---	inspect
termination-numeric/Et1_true_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.17	.17	33	1.9	1.0	0	error (invalid witness file)	0	---	inspect	3.3	1.8	190		0	0	false(no-overflow)	1	---	inspect	8.7	5.4	320		.62	0	error (invalid witness file)	0	---	inspect	2.8	1.6	200		0	0	error (1)	0	---	inspect	.10	.11	11		0	0	-		---	inspect
termination-numeric/Et2_true_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.18	.18	34	1.7	.85	0	error (invalid witness file)	0	---	inspect	3.0	1.6	200		0	0	false(no-overflow)	1	---	inspect	7.1	4.5	300		.62	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	error (1)	0	---	inspect	.067	.066	11		0	0	-		---	inspect
termination-numeric/Et3_true_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.16	.16	33	1.9	1.0	0	error (invalid witness file)	0	---	inspect	2.8	1.5	200		0	0	false(no-overflow)	1	---	inspect	7.0	4.0	310		.35	0	error (invalid witness file)	0	---	inspect	2.7	1.6	170		0	0	error (1)	0	---	inspect	.072	.072	11		0	0	-		---	inspect
termination-numeric/Et4_true_false-no-overflow.c	false(no-overflow)	0	wit	inspect	.19	.19	33	2.3	.85	0	error (invalid witness file)	0	---	inspect	2.9	1.6	200		0	0	false(no-overflow)	1	---	inspect	8.9	5.0	310		.66	0	error (invalid witness file)	0	---	inspect	2.8	1.7	200		0	0	error (1)	0	---	inspect	.067	.066	11		0	0	-		---	inspect
termination-numeric/MultCommutative_false-no-overflow.c	out of memory	0	wit	inspect	200	190	15000	3100	26	0	error (1)	0	---	inspect	.69	.41	43		0	0	false(no-overflow)	1	---	inspect	12	7.9	460		.62	0	unknown	0	---	inspect	.99	.64	50		0	0	error (1)	0	---	inspect	.12	.12	11		0	0	-		---	inspect
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c	false(no-overflow)	0	wit	inspect	6.5	6.5	84	89	31	0	error (invalid witness file)	0	---	inspect	2.9	1.6	170		0	0	timeout	0	---	inspect	97	63	6800		1.8	0	error (invalid witness file)	0	---	inspect	2.9	1.7	200		0	0	error (1)	0	---	inspect	.073	.073	11		0	0	-		---	inspect
termination-numeric/Ackermann01_true-termination_true-no-overflow.c	out of memory	0	wit	inspect	220	200	15000	3100	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							out of memory	0	---	inspect	530	410	7000		.65	0
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.90	.64	66	9.6	31	.12	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	15	8.8	450		.66	0
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c	out of memory	0	wit	inspect	180	170	15000	2200	26	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							timeout	0	---	inspect	960	890	5500		.63	0
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.85	.58	66	9.4	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	9.0	5.4	320		.62	0
termination-numeric/LogRecursive_true-termination_true-no-overflow.c	unknown	0	wit	inspect	4.0	3.8	120	46	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							timeout	0	---	inspect	960	950	550		.63	0
termination-numeric/Parts_true-termination_true-no-overflow.c	unknown	0	wit	inspect	900	900	7700	11000	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							timeout	0	---	inspect	960	780	5200		.63	0
termination-numeric/TwoWay_true-termination_true-no-overflow.c	unknown	0	wit	inspect	14	14	84	180	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	20	13	550		.66	0
termination-numeric/gcd01_true-termination_true-no-overflow.c	out of memory	0	wit	inspect	250	230	15000	3100	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	10	6.0	310		.62	0
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c	unknown	0	wit	inspect	7.4	7.0	67	110	910	.016	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	64	42	740		.62	0
termination-numeric/recHanoi02_true-termination_true-no-overflow.c	unknown	0	wit	inspect	.87	.61	66	9.7	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							true	2	---	inspect	83	53	940		.62	0
termination-numeric/rec_counter1_true-termination_true-no-overflow.c	unknown	0	wit	inspect	3.4	3.1	82	39	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							timeout	0	---	inspect	960	800	4600		.63	0
termination-numeric/rec_counter3_true-termination_true-no-overflow.c	unknown	0	wit	inspect	3.4	3.1	82	51	31	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							timeout	0	---	inspect	960	800	4600		.63	0
termination-numeric/twisted_true-termination_true-no-overflow.c	unknown	0	---	inspect	900	900	740	11000	460	0	-		---	inspect							-		---	inspect							-		---	inspect							-		---	inspect							error (2)	0	---	inspect	.021	.021	5.6		0	0
sv-benchmarks/c/	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy (J)	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)
total	280	0			21000	21000	230000	270000	94000	1.0	158	0			430	240	29000		0	0	158	51			1200	720	53000		96	0	158	0			440	250	30000		0	0	158	0			12	12	1700		0	.090	122	170			8100	6800	71000		59	0
correct results	0										0										147	147			1100	640	45000		93	0	0										0										85	170			1100	640	36000		54	0
correct true	0										0										0										0										0										85	170			1100	640	36000		54	0
correct false	0										0										147	147			1100	640	45000		93	0	0										0										0
correct-unconfimed results	150	0			44	44	5100	570	780	.0082	0										0										0										0										0
correct-unconfirmed true	0										0										0										0										0										0
correct-unconfirmed false	150	0			44	44	5100	570	780	.0082	0										0										0										0										0
incorrect results	0										0										3	-96			28	16	980		1.9	0	0										0										0
incorrect true	0										0										3	-96			28	16	980		1.9	0	0										0										0
incorrect false	0										0										0										0										0										0
score (280 tasks, max score: 402)	0										0										51										0										0										170
Run set	depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										cpa-seq-validate-violation-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										uautomizer-validate-violation-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										cpa-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										fshell-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors										uautomizer-validate-correctness-witnesses-depthk.sv-comp19_prop-nooverflow.NoOverflows-BitVectors