uautomizer.results.sv-comp17.All

Tool		ULTIMATE Automizer f7c3ed31
Limits		timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host		apollon*
OS		Linux 4.4.0-59-generic
System		CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution		[2017-01-13 12:41:58 CET [[ 2017-01-15 02:09:41 CET ]] [[ 2017-01-15 04:03:21 CET ]] [[ 2017-01-15 02:31:54 CET ]] [[ 2017-01-15 04:27:36 CET ]]; 2017-01-14 06:16:04 CET [[ 2017-01-15 05:34:44 CET ]] [[ 2017-01-15 05:49:53 CET ]] [[ 2017-01-15 05:35:06 CET ]] [[ 2017-01-15 05:51:11 CET ]]; 2017-01-14 07:26:17 CET; 2017-01-14 07:34:03 CET [[ 2017-01-15 06:02:28 CET ]] [[ 2017-01-15 06:17:25 CET ]] [[ 2017-01-15 06:02:42 CET ]] [[ 2017-01-15 06:18:28 CET ]]; 2017-01-14 08:15:08 CET]
Run set		[sv-comp17.ReachSafety-Arrays; sv-comp17.ReachSafety-BitVectors; sv-comp17.ReachSafety-ControlFlow; sv-comp17.ReachSafety-ECA; sv-comp17.ReachSafety-Floats; sv-comp17.ReachSafety-Heap; sv-comp17.ReachSafety-Loops; sv-comp17.ReachSafety-ProductLines; sv-comp17.ReachSafety-Recursive; sv-comp17.ReachSafety-Sequentialized; sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other; sv-comp17; sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other; sv-comp17.Termination-MainControlFlow; sv-comp17.Termination-MainHeap; sv-comp17.Termination-Other; sv-comp17.Systems_BusyBox_MemSafety; sv-comp17.Systems_BusyBox_Overflows; sv-comp17.Systems_DeviceDriversLinux64_ReachSafety]
Options		[ [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; ; [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]]
../../sv-benchmarks/c/		verifier status	cpu (s)	wall (s)	energy (J)	mem (MB)	blkio-w (MB)	blkio-r (MB)	validator cpachecker violation t<90s status	cpu (s)	wall (s)	energy (J)	mem (MB)	validator uautomizer violation t<90s status	cpu (s)	wall (s)	energy (J)	mem (MB)	validator cpachecker correctness t<900s status	cpu (s)	wall (s)	energy (J)	mem (MB)	validator uautomizer correctness t<900s status	cpu (s)	wall (s)	energy (J)	mem (MB)
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i	unreach-call	timeout	900	770	12000	5600	2.3	0	error (invalid witness file)	.54	.35	12	41	error (invalid witness file)	6.4	3.4	130	300	-					-
array-examples/sorting_bubblesort_false-unreach-call2_ground.i	unreach-call	timeout	900	760	13000	2500	2.3	0	error (invalid witness file)	.49	.32	12	40	error (invalid witness file)	5.8	3.0	91	300	-					-
array-examples/sorting_bubblesort_false-unreach-call_ground.i	unreach-call	timeout	900	760	14000	2300	2.3	0	error (invalid witness file)	.55	.36	7.1	42	error (invalid witness file)	5.7	3.1	110	300	-					-
array-examples/sorting_selectionsort_false-unreach-call2_ground.i	unreach-call	timeout	900	730	13000	2400	2.3	0	error (invalid witness file)	.51	.33	8.4	39	error (invalid witness file)	6.2	3.3	120	300	-					-
array-examples/sorting_selectionsort_false-unreach-call_ground.i	unreach-call	timeout	900	730	13000	3000	2.3	0	error (invalid witness file)	.49	.32	7.1	39	error (invalid witness file)	5.5	2.9	93	290	-					-
array-examples/standard_allDiff2_false-unreach-call_ground.i	unreach-call	timeout	900	740	15000	5700	2.3	0	error (invalid witness file)	.60	.37	7.9	42	error (invalid witness file)	6.0	3.2	120	300	-					-
array-examples/standard_copy1_false-unreach-call_ground.i	unreach-call	timeout	900	730	14000	2300	2.3	0	error (invalid witness file)	.62	.40	11	46	error (invalid witness file)	5.6	3.0	120	290	-					-
array-examples/standard_copy2_false-unreach-call_ground.i	unreach-call	timeout	900	780	13000	3300	2.3	0	error (invalid witness file)	.60	.39	9.6	43	error (invalid witness file)	6.0	3.2	99	310	-					-
array-examples/standard_copy3_false-unreach-call_ground.i	unreach-call	timeout	900	800	12000	4200	2.3	0	error (invalid witness file)	.63	.40	8.3	39	error (invalid witness file)	6.1	3.2	110	290	-					-
array-examples/standard_copy4_false-unreach-call_ground.i	unreach-call	timeout	900	810	15000	4900	2.3	0	error (invalid witness file)	.54	.36	11	39	error (invalid witness file)	5.7	3.0	100	300	-					-
array-examples/standard_copy5_false-unreach-call_ground.i	unreach-call	timeout	900	800	13000	5000	2.3	0	error (invalid witness file)	.50	.33	13	40	error (invalid witness file)	6.9	3.7	58	290	-					-
array-examples/standard_copy6_false-unreach-call_ground.i	unreach-call	timeout	900	800	14000	5100	2.3	0	error (invalid witness file)	.64	.41	6.7	39	error (invalid witness file)	5.9	3.1	110	300	-					-
array-examples/standard_copy7_false-unreach-call_ground.i	unreach-call	timeout	900	800	13000	5200	2.3	0	error (invalid witness file)	.50	.32	10	39	error (invalid witness file)	7.1	3.7	130	320	-					-
array-examples/standard_copy8_false-unreach-call_ground.i	unreach-call	timeout	900	810	12000	5100	2.3	0	error (invalid witness file)	.48	.32	6.0	39	error (invalid witness file)	6.2	3.3	130	300	-					-
array-examples/standard_copy9_false-unreach-call_ground.i	unreach-call	timeout	900	810	12000	5100	2.3	0	error (invalid witness file)	.53	.34	10	39	error (invalid witness file)	6.2	3.3	95	300	-					-
array-examples/standard_copyInitSum2_false-unreach-call_ground.i	unreach-call	timeout	900	800	13000	4100	2.3	0	error (invalid witness file)	.64	.40	6.1	40	error (invalid witness file)	5.7	3.1	130	290	-					-
array-examples/standard_init1_false-unreach-call_ground.i	unreach-call	timeout	900	720	15000	2400	2.3	0	error (invalid witness file)	.52	.36	7.3	41	error (invalid witness file)	5.9	3.1	130	300	-					-
array-examples/standard_init2_false-unreach-call_ground.i	unreach-call	timeout	900	770	13000	2500	2.3	0	error (invalid witness file)	.54	.35	14	41	error (invalid witness file)	5.8	3.1	100	300	-					-
array-examples/standard_init3_false-unreach-call_ground.i	unreach-call	timeout	900	790	13000	2700	2.3	0	error (invalid witness file)	.49	.33	7.2	42	error (invalid witness file)	5.7	3.1	110	290	-					-
array-examples/standard_init4_false-unreach-call_ground.i	unreach-call	timeout	900	800	13000	3500	2.3	0	error (invalid witness file)	.51	.34	9.9	40	error (invalid witness file)	5.8	3.1	84	300	-					-
array-examples/standard_init5_false-unreach-call_ground.i	unreach-call	timeout	900	800	14000	3800	2.3	0	error (invalid witness file)	.65	.41	7.5	40	error (invalid witness file)	5.8	3.0	74	290	-					-
array-examples/standard_init6_false-unreach-call_ground.i	unreach-call	timeout	900	800	14000	5100	2.3	0	error (invalid witness file)	.51	.33	9.3	41	error (invalid witness file)	6.5	3.4	86	300	-					-
array-examples/standard_init7_false-unreach-call_ground.i	unreach-call	timeout	900	810	12000	5100	2.3	0	error (invalid witness file)	.53	.33	12	42	error (invalid witness file)	6.7	3.5	120	290	-					-
array-examples/standard_init8_false-unreach-call_ground.i	unreach-call	timeout	900	800	14000	5100	2.3	0	error (invalid witness file)	.50	.32	9.0	42	error (invalid witness file)	6.0	3.2	110	300	-					-
array-examples/standard_init9_false-unreach-call_ground.i	unreach-call	timeout	900	800	11000	5300	2.3	0	error (invalid witness file)	.58	.38	10	44	error (invalid witness file)	6.3	3.3	120	300	-					-
array-examples/standard_minInArray_false-unreach-call_ground.i	unreach-call	timeout	900	760	12000	2300	2.3	0	error (invalid witness file)	.65	.43	6.2	41	error (invalid witness file)	5.8	3.1	120	300	-					-
array-examples/standard_partition_false-unreach-call_ground.i	unreach-call	timeout	900	800	12000	3000	2.3	0	error (invalid witness file)	.53	.35	9.0	41	error (invalid witness file)	6.0	3.1	97	300	-					-
array-examples/standard_running_false-unreach-call.i	unreach-call	timeout	900	800	15000	3300	2.3	0	error (invalid witness file)	.54	.34	12	40	error (invalid witness file)	6.2	3.3	120	300	-					-
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i	unreach-call	true	7.1	2.2	57	340	2.6	0	-					-					error	4.9	2.7	84	280	true	8.9	4.8	150	350
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i	unreach-call	timeout	900	790	14000	5300	2.3	0	-					-					error (invalid witness file)	.54	.33	11	40	error (invalid witness file)	5.7	3.0	110	300
array-examples/relax_true-unreach-call.i	unreach-call	timeout	900	850	13000	1100	2.3	0	-					-					error (invalid witness file)	.53	.34	8.9	39	error (invalid witness file)	6.4	3.4	120	300
array-examples/sanfoundry_02_true-unreach-call_ground.i	unreach-call	timeout	900	790	15000	2200	2.3	0	-					-					error (invalid witness file)	.59	.39	8.7	39	error (invalid witness file)	6.4	3.4	110	300
array-examples/sanfoundry_10_true-unreach-call_ground.i	unreach-call	timeout	900	840	12000	1400	2.3	0	-					-					error (invalid witness file)	.63	.41	7.1	40	error (invalid witness file)	6.2	3.2	110	300
array-examples/sanfoundry_24_true-unreach-call.i	unreach-call	true	8.0	2.3	67	370	2.5	0	-					-					error	4.3	2.3	60	280	true	9.5	5.1	120	350
array-examples/sanfoundry_27_true-unreach-call_ground.i	unreach-call	timeout	900	760	13000	2300	2.3	0	-					-					error (invalid witness file)	.66	.40	8.1	39	error (invalid witness file)	6.0	3.2	110	300
array-examples/sanfoundry_43_true-unreach-call_ground.i	unreach-call	true	5.6	1.8	43	320	2.5	0	-					-					true	3.6	2.0	80	270	true	7.4	4.0	140	320
array-examples/sorting_bubblesort_true-unreach-call_ground.i	unreach-call	timeout	900	760	12000	2400	2.3	0	-					-					error (invalid witness file)	.64	.40	8.4	42	error (invalid witness file)	6.4	3.3	110	310
array-examples/sorting_selectionsort_true-unreach-call_ground.i	unreach-call	timeout	900	730	13000	3200	2.3	0	-					-					error (invalid witness file)	.52	.34	13	41	error (invalid witness file)	6.1	3.2	110	300
array-examples/standard_compareModified_true-unreach-call_ground.i	unreach-call	timeout	900	760	13000	2600	2.3	0	-					-					error (invalid witness file)	.60	.39	11	42	error (invalid witness file)	5.5	2.9	89	290
array-examples/standard_compare_true-unreach-call_ground.i	unreach-call	timeout	900	740	12000	2700	2.3	0	-					-					error (invalid witness file)	.60	.38	8.9	40	error (invalid witness file)	5.7	3.0	93	290
array-examples/standard_copy1_true-unreach-call_ground.i	unreach-call	timeout	900	730	14000	3700	2.3	0	-					-					error (invalid witness file)	.57	.37	12	45	error (invalid witness file)	6.0	3.2	130	290
array-examples/standard_copy2_true-unreach-call_ground.i	unreach-call	timeout	900	780	12000	3400	2.3	0	-					-					error (invalid witness file)	.61	.38	7.7	41	error (invalid witness file)	5.9	3.1	120	300
array-examples/standard_copy3_true-unreach-call_ground.i	unreach-call	timeout	900	800	14000	3800	2.3	0	-					-					error (invalid witness file)	.68	.44	8.1	42	error (invalid witness file)	5.9	3.1	120	300
array-examples/standard_copy4_true-unreach-call_ground.i	unreach-call	timeout	900	800	14000	4400	2.3	0	-					-					error (invalid witness file)	.66	.42	8.5	39	error (invalid witness file)	7.2	3.7	130	310
array-examples/standard_copy5_true-unreach-call_ground.i	unreach-call	timeout	900	810	14000	4900	2.3	0	-					-					error (invalid witness file)	.47	.30	8.9	39	error (invalid witness file)	6.0	3.2	91	300
array-examples/standard_copy6_true-unreach-call_ground.i	unreach-call	timeout	900	800	13000	5100	2.3	0	-					-					error (invalid witness file)	.51	.32	6.5	40	error (invalid witness file)	5.9	3.1	120	290
array-examples/standard_copy7_true-unreach-call_ground.i	unreach-call	timeout	900	810	14000	5200	2.3	0	-					-					error (invalid witness file)	.68	.43	8.7	42	error (invalid witness file)	5.7	3.0	130	300
array-examples/standard_copy8_true-unreach-call_ground.i	unreach-call	timeout	900	810	12000	5000	2.3	0	-					-					error (invalid witness file)	.58	.37	9.0	40	error (invalid witness file)	5.6	3.1	120	290
array-examples/standard_copy9_true-unreach-call_ground.i	unreach-call	timeout	900	810	13000	5100	2.3	0	-					-					error (invalid witness file)	.68	.43	8.0	41	error (invalid witness file)	5.8	3.1	110	300
array-examples/standard_copyInitSum2_true-unreach-call_ground.i	unreach-call	timeout	900	800	12000	3500	2.3	0	-					-					error (invalid witness file)	.59	.37	11	42	error (invalid witness file)	5.9	3.1	110	300
array-examples/standard_copyInitSum3_true-unreach-call_ground.i	unreach-call	timeout	900	810	12000	4400	2.3	0	-					-					error (invalid witness file)	.59	.38	9.0	40	error (invalid witness file)	6.0	3.2	120	300
array-examples/standard_copyInitSum_true-unreach-call_ground.i	unreach-call	timeout	900	800	11000	3300	2.3	0	-					-					error (invalid witness file)	.55	.35	11	41	error (invalid witness file)	6.0	3.2	93	300
array-examples/standard_copyInit_true-unreach-call_ground.i	unreach-call	timeout	900	780	13000	2900	2.3	0	-					-					error (invalid witness file)	.59	.38	9.8	41	error (invalid witness file)	5.2	2.8	92	290
array-examples/standard_find_true-unreach-call_ground.i	unreach-call	timeout	900	730	13000	2900	2.3	0	-					-					error (invalid witness file)	.53	.34	10	40	error (invalid witness file)	6.5	3.4	120	310
array-examples/standard_init1_true-unreach-call_ground.i	unreach-call	timeout	900	730	12000	3400	2.3	0	-					-					error (invalid witness file)	.55	.36	7.1	39	error (invalid witness file)	5.7	3.0	110	290
array-examples/standard_init2_true-unreach-call_ground.i	unreach-call	timeout	900	770	13000	2400	2.3	0	-					-					error (invalid witness file)	.59	.38	6.5	41	error (invalid witness file)	6.3	3.3	110	310
array-examples/standard_init3_true-unreach-call_ground.i	unreach-call	timeout	900	790	11000	2800	2.3	0	-					-					error (invalid witness file)	.59	.38	10	42	error (invalid witness file)	6.0	3.2	110	300
array-examples/standard_init4_true-unreach-call_ground.i	unreach-call	timeout	900	790	13000	3700	2.3	0	-					-					error (invalid witness file)	.57	.36	9.2	42	error (invalid witness file)	6.1	3.2	110	300
array-examples/standard_init5_true-unreach-call_ground.i	unreach-call	timeout	900	800	14000	4100	2.3	0	-					-					error (invalid witness file)	.62	.40	10	40	error (invalid witness file)	6.0	3.2	120	290
array-examples/standard_init6_true-unreach-call_ground.i	unreach-call	timeout	900	800	13000	5000	2.3	0	-					-					error (invalid witness file)	.64	.40	6.8	40	error (invalid witness file)	6.7	3.6	100	300
array-examples/standard_init7_true-unreach-call_ground.i	unreach-call	timeout	900	800	13000	5000	2.3	0	-					-					error (invalid witness file)	.57	.37	8.8	39	error (invalid witness file)	6.2	3.3	120	300
array-examples/standard_init8_true-unreach-call_ground.i	unreach-call	timeout	900	800	13000	5300	2.3	0	-					-					error (invalid witness file)	.51	.32	9.4	42	error (invalid witness file)	6.7	3.5	95	320
array-examples/standard_init9_true-unreach-call_ground.i	unreach-call	timeout	900	810	14000	5100	2.3	0	-					-					error (invalid witness file)	.62	.39	8.7	40	error (invalid witness file)	6.2	3.2	89	310
array-examples/standard_maxInArray_true-unreach-call_ground.i	unreach-call	timeout	900	760	13000	2400	2.3	0	-					-					error (invalid witness file)	.50	.34	12	41	error (invalid witness file)	6.6	3.5	140	310
array-examples/standard_minInArray_true-unreach-call_ground.i	unreach-call	timeout	900	760	12000	2200	2.3	0	-					-					error (invalid witness file)	.62	.41	8.2	39	error (invalid witness file)	6.5	3.5	84	300
array-examples/standard_palindrome_true-unreach-call_ground.i	unreach-call	timeout	900	740	13000	2600	2.3	0	-					-					error (invalid witness file)	.64	.42	5.8	40	error (invalid witness file)	5.7	3.1	74	300
array-examples/standard_partial_init_true-unreach-call_ground.i	unreach-call	timeout	900	760	14000	2700	2.3	0	-					-					error (invalid witness file)	.65	.41	8.7	42	error (invalid witness file)	6.2	3.3	140	300
array-examples/standard_partition_original_true-unreach-call_ground.i	unreach-call	timeout	900	760	12000	2300	2.3	0	-					-					error (invalid witness file)	.53	.34	13	43	error (invalid witness file)	5.6	3.0	110	290
array-examples/standard_partition_true-unreach-call_ground.i	unreach-call	timeout	900	800	14000	3100	2.3	0	-					-					error (invalid witness file)	.68	.43	8.7	43	error (invalid witness file)	5.5	2.9	90	290
array-examples/standard_password_true-unreach-call_ground.i	unreach-call	timeout	900	740	13000	2700	2.3	0	-					-					error (invalid witness file)	.69	.43	7.9	40	error (invalid witness file)	6.1	3.2	120	290
array-examples/standard_reverse_true-unreach-call_ground.i	unreach-call	timeout	900	730	14000	2600	2.3	0	-					-					error (invalid witness file)	.59	.38	7.5	39	error (invalid witness file)	5.9	3.1	83	310
array-examples/standard_running_true-unreach-call.i	unreach-call	timeout	900	800	13000	3100	2.3	0	-					-					error (invalid witness file)	.62	.40	9.1	40	error (invalid witness file)	5.9	3.1	91	310
array-examples/standard_sentinel_true-unreach-call_true-termination.i	unreach-call	true	8.3	2.5	64	420	2.5	0	-					-					error	4.0	2.2	64	270	true	7.5	4.1	150	320
array-examples/standard_seq_init_true-unreach-call_ground.i	unreach-call	timeout	900	730	14000	2100	2.3	0	-					-					error (invalid witness file)	.62	.39	8.2	39	error (invalid witness file)	5.4	2.9	98	290
array-examples/standard_strcmp_true-unreach-call_ground.i	unreach-call	timeout	900	740	11000	5300	2.3	0	-					-					error (invalid witness file)	.49	.32	6.7	40	error (invalid witness file)	5.8	3.1	130	300
array-examples/standard_strcpy_original_true-unreach-call.i	unreach-call	timeout	900	730	12000	2800	2.3	.0041	-					-					error (invalid witness file)	.55	.35	9.0	39	error (invalid witness file)	5.7	3.1	110	290
array-examples/standard_strcpy_true-unreach-call_ground.i	unreach-call	timeout	900	730	13000	2700	2.3	0	-					-					error (invalid witness file)	.57	.37	12	42	error (invalid witness file)	5.8	3.1	120	300
array-examples/standard_two_index_01_true-unreach-call.i	unreach-call	timeout	900	760	12000	1500	2.3	0	-					-					error (invalid witness file)	.67	.41	7.8	41	error (invalid witness file)	5.6	3.0	100	290
array-examples/standard_two_index_02_true-unreach-call.i	unreach-call	timeout	900	760	11000	1500	2.3	0	-					-					error (invalid witness file)	.53	.35	10	40	error (invalid witness file)	6.5	3.4	120	310
array-examples/standard_two_index_03_true-unreach-call.i	unreach-call	timeout	900	760	12000	1600	2.3	0	-					-					error (invalid witness file)	.63	.39	10	40	error (invalid witness file)	5.8	3.1	84	300
array-examples/standard_two_index_04_true-unreach-call.i	unreach-call	timeout	900	770	13000	1500	2.3	.0041	-					-					error (invalid witness file)	.62	.39	4.8	41	error (invalid witness file)	6.1	3.2	110	300
array-examples/standard_two_index_05_true-unreach-call.i	unreach-call	timeout	900	760	12000	1600	2.3	0	-					-					error (invalid witness file)	.69	.43	9.0	41	error (invalid witness file)	5.9	3.1	89	300
array-examples/standard_two_index_06_true-unreach-call.i	unreach-call	timeout	900	760	12000	1400	2.3	0	-					-					error (invalid witness file)	.64	.41	8.6	42	error (invalid witness file)	5.6	3.0	60	300
array-examples/standard_two_index_07_true-unreach-call.i	unreach-call	timeout	900	770	12000	1500	2.3	0	-					-					error (invalid witness file)	.49	.33	8.9	39	error (invalid witness file)	6.2	3.3	120	310
array-examples/standard_two_index_08_true-unreach-call.i	unreach-call	timeout	900	760	12000	1500	2.3	0	-					-					error (invalid witness file)	.66	.42	7.6	40	error (invalid witness file)	6.0	3.2	110	310
array-examples/standard_two_index_09_true-unreach-call.i	unreach-call	timeout	900	760	14000	1500	2.3	0	-					-					error (invalid witness file)	.64	.41	8.4	39	error (invalid witness file)	6.0	3.2	120	300
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i	unreach-call	timeout	900	750	13000	2900	2.3	0	-					-					error (invalid witness file)	.69	.43	9.6	45	error (invalid witness file)	5.4	2.9	96	290
array-examples/standard_vector_difference_true-unreach-call_ground.i	unreach-call	timeout	900	730	12000	4400	2.3	0	-					-					error (invalid witness file)	.65	.42	9.0	40	error (invalid witness file)	6.0	3.2	88	310
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i	unreach-call	timeout	900	770	11000	1800	2.3	0	error (invalid witness file)	.61	.39	8.1	43	error (invalid witness file)	6.1	3.2	120	300	-					-
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i	unreach-call	timeout	900	860	9000	5200	2.3	0	error (invalid witness file)	.57	.37	12	43	error (invalid witness file)	7.0	3.8	92	290	-					-
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i	unreach-call	timeout	900	790	11000	3100	2.3	0	error (invalid witness file)	.53	.34	9.5	40	error (invalid witness file)	5.9	3.1	110	300	-					-
array-industry-pattern/array_range_init_false-unreach-call.i	unreach-call	timeout	900	850	8500	4900	2.3	0	error (invalid witness file)	.56	.36	12	40	error (invalid witness file)	6.2	3.3	120	290	-					-
array-industry-pattern/array_single_elem_init_false-unreach-call.i	unreach-call	timeout	900	800	12000	3200	2.3	0	error (invalid witness file)	.51	.32	11	40	error (invalid witness file)	6.2	3.3	110	290	-					-
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i	unreach-call	timeout	900	770	13000	4000	2.3	0	error (invalid witness file)	.52	.34	13	42	error (invalid witness file)	6.5	3.4	110	300	-					-
array-industry-pattern/array_monotonic_true-unreach-call.i	unreach-call	timeout	900	790	12000	1700	2.3	0	-					-					error (invalid witness file)	.60	.38	7.8	40	error (invalid witness file)	6.2	3.3	110	300
array-industry-pattern/array_mul_init_true-unreach-call.i	unreach-call	timeout	900	780	14000	2400	2.3	0	-					-					error (invalid witness file)	.63	.39	7.7	39	error (invalid witness file)	6.1	3.3	110	300
array-industry-pattern/array_of_struct_break_true-unreach-call.i	unreach-call	timeout	900	860	8400	4900	2.3	0	-					-					error (invalid witness file)	.57	.37	10	39	error (invalid witness file)	5.7	3.0	72	300
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i	unreach-call	timeout	900	870	8800	5400	2.3	0	-					-					error (invalid witness file)	.49	.31	10	39	error (invalid witness file)	5.7	3.0	120	300
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i	unreach-call	timeout	900	760	13000	4200	2.3	0	-					-					error (invalid witness file)	.53	.34	13	39	error (invalid witness file)	6.2	3.3	120	310
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i	unreach-call	timeout	900	880	8000	5500	2.3	0	-					-					error (invalid witness file)	.63	.40	8.6	40	error (invalid witness file)	5.9	3.1	98	300
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i	unreach-call	timeout	900	870	8400	5200	2.3	0	-					-					error (invalid witness file)	.59	.38	11	41	error (invalid witness file)	5.9	3.2	100	310
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i	unreach-call	error	8.0	2.6	60	310	2.6	0	-					-					error (invalid witness file)	.50	.32	5.8	40	error (invalid witness file)	5.8	3.1	120	300
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i	unreach-call	timeout	900	880	7000	5500	2.3	0	-					-					error (invalid witness file)	.59	.38	7.2	40	error (invalid witness file)	6.1	3.2	110	290
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i	unreach-call	timeout	900	870	8600	5400	2.3	0	-					-					error (invalid witness file)	.49	.32	11	39	error (invalid witness file)	5.7	3.0	94	300
array-industry-pattern/array_shadowinit_true-unreach-call.i	unreach-call	timeout	900	750	14000	1700	2.3	0	-					-					error (invalid witness file)	.56	.36	13	44	error (invalid witness file)	6.6	3.5	120	320
reducercommutativity/rangesum05_false-unreach-call.i	unreach-call	false(unreach-call)	18	11	200	490	2.6	0	timeout	91	87	1200	680	false(unreach-call)	16	9.9	230	430	-					-
reducercommutativity/rangesum10_false-unreach-call.i	unreach-call	false(unreach-call)	32	21	440	550	2.6	0	timeout	91	89	1200	410	false(unreach-call)	16	8.8	180	540	-					-
reducercommutativity/rangesum20_false-unreach-call.i	unreach-call	false(unreach-call)	74	51	730	840	2.6	0	timeout	91	88	990	760	out of memory	76	49	570	7000	-					-
reducercommutativity/rangesum40_false-unreach-call.i	unreach-call	false(unreach-call)	150	110	1600	2700	2.7	0	false(unreach-call)	13	8.0	150	640	timeout	94	57	650	7000	-					-
reducercommutativity/rangesum60_false-unreach-call.i	unreach-call	false(unreach-call)	270	220	3100	4400	2.8	0	true	19	11	280	740	out of memory	80	50	580	7000	-					-
reducercommutativity/rangesum_false-unreach-call.i	unreach-call	false(unreach-call)	14	4.7	100	530	2.6	0	false(unreach-call)	9.1	6.0	120	400	false(unreach-call)	11	6.0	170	390	-					-
reducercommutativity/avg05_true-unreach-call.i	unreach-call	true	210	190	2600	1200	2.6	0	-					-					exception	4.0	2.2	64	260	false(unreach-call)	7.3	3.9	150	320
reducercommutativity/avg10_true-unreach-call.i	unreach-call	true	390	340	4500	1600	2.7	0	-					-					exception	5.0	2.7	61	270	false(unreach-call)	8.1	4.3	150	320
reducercommutativity/avg20_true-unreach-call.i	unreach-call	timeout	900	810	11000	3700	2.3	0	-					-					error (invalid witness file)	.63	.39	8.2	40	error (invalid witness file)	5.8	3.1	95	300
reducercommutativity/avg40_true-unreach-call.i	unreach-call	unknown	170	110	2000	4600	2.5	0	-					-					error (invalid witness file)	.50	.32	11	39	error (invalid witness file)	5.9	3.1	130	290
reducercommutativity/avg60_true-unreach-call.i	unreach-call	unknown	280	190	3700	4900	2.5	0	-					-					error (invalid witness file)	.59	.37	12	43	error (invalid witness file)	5.8	3.1	100	300
reducercommutativity/avg_true-unreach-call.i	unreach-call	timeout	900	850	13000	770	2.3	0	-					-					error (invalid witness file)	.50	.32	5.8	40	error (invalid witness file)	6.1	3.2	120	290
reducercommutativity/max05_true-unreach-call_true-termination.i	unreach-call	timeout	900	850	11000	1200	2.3	0	-					-					error (invalid witness file)	.51	.32	9.4	39	error (invalid witness file)	6.2	3.2	96	300
reducercommutativity/max10_true-unreach-call_true-termination.i	unreach-call	timeout	900	820	11000	2200	2.3	0	-					-					error (invalid witness file)	.60	.39	9.6	39	error (invalid witness file)	5.5	3.0	72	300
reducercommutativity/max20_true-unreach-call.i	unreach-call	timeout	900	750	13000	5300	2.3	0	-					-					error (invalid witness file)	.51	.32	12	39	error (invalid witness file)	6.8	3.5	140	320
reducercommutativity/max40_true-unreach-call.i	unreach-call	timeout	900	740	12000	4800	2.3	0	-					-					error (invalid witness file)	.49	.33	9.6	42	error (invalid witness file)	5.9	3.2	110	310
reducercommutativity/max60_true-unreach-call.i	unreach-call	timeout	900	740	12000	5000	2.3	0	-					-					error (invalid witness file)	.63	.40	8.0	39	error (invalid witness file)	5.9	3.1	110	300
reducercommutativity/max_true-unreach-call.i	unreach-call	timeout	900	850	10000	2200	2.3	0	-					-					error (invalid witness file)	.63	.40	9.6	43	error (invalid witness file)	7.3	3.8	110	320
reducercommutativity/sep05_true-unreach-call.i	unreach-call	timeout	900	780	14000	4800	2.3	0	-					-					error (invalid witness file)	.61	.39	10	40	error (invalid witness file)	6.8	3.5	120	310
reducercommutativity/sep10_true-unreach-call.i	unreach-call	timeout	910	680	9200	8700	2.3	0	-					-					error (invalid witness file)	.65	.42	6.9	40	error (invalid witness file)	5.5	3.0	110	290
reducercommutativity/sep20_true-unreach-call.i	unreach-call	timeout	910	430	7000	13000	2.3	0	-					-					error (invalid witness file)	.57	.37	11	43	error (invalid witness file)	5.7	3.1	90	310
reducercommutativity/sep40_true-unreach-call.i	unreach-call	timeout	900	620	11000	9500	2.3	0	-					-					error (invalid witness file)	.56	.35	10	40	error (invalid witness file)	5.5	3.0	96	310
reducercommutativity/sep60_true-unreach-call.i	unreach-call	timeout	900	750	13000	6000	2.3	0	-					-					error (invalid witness file)	.67	.42	9.0	40	error (invalid witness file)	5.0	2.7	88	290
reducercommutativity/sep_true-unreach-call.i	unreach-call	timeout	900	780	11000	5100	2.3	0	-					-					error (invalid witness file)	.52	.34	12	40	error (invalid witness file)	5.8	3.1	110	300
reducercommutativity/sum05_true-unreach-call_true-termination.i	unreach-call	true	26	11	230	850	2.6	0	-					-					exception	3.5	2.0	73	260	false(unreach-call)	7.8	4.2	150	320
reducercommutativity/sum10_true-unreach-call.i	unreach-call	true	77	42	750	1400	2.6	0	-					-					exception	4.7	2.6	48	270	false(unreach-call)	7.8	4.1	130	320
reducercommutativity/sum20_true-unreach-call.i	unreach-call	timeout	900	820	6600	4800	2.3	0	-					-					error (invalid witness file)	.53	.34	9.7	39	error (invalid witness file)	6.5	3.5	130	320
reducercommutativity/sum40_true-unreach-call.i	unreach-call	timeout	900	760	12000	4600	2.3	0	-					-					error (invalid witness file)	.63	.41	7.4	40	error (invalid witness file)	5.4	2.9	85	300
reducercommutativity/sum60_true-unreach-call.i	unreach-call	timeout	900	740	8200	6400	2.3	0	-					-					error (invalid witness file)	.49	.32	11	43	error (invalid witness file)	6.0	3.2	120	300
reducercommutativity/sum_true-unreach-call.i	unreach-call	timeout	900	850	6300	4700	2.3	0	-					-					error (invalid witness file)	.69	.43	9.8	43	error (invalid witness file)	5.8	3.1	110	300
bitvector/byte_add_false-unreach-call_true-no-overflow.i	unreach-call	false(unreach-call)	55	24	540	750	2.6	0	true	26	14	250	930	false(unreach-call)	35	19	300	530	-					-
bitvector/sum02_false-unreach-call_true-no-overflow.i	unreach-call	timeout	900	900	11000	340	2.3	0	error (invalid witness file)	.53	.35	13	39	error (invalid witness file)	6.0	3.2	120	310	-					-
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	800	11000	4100	2.5	0	-					-					error (invalid witness file)	.66	.42	9.2	41	error (invalid witness file)	5.9	3.2	120	300
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i	unreach-call	true	580	510	6800	1400	2.6	0	-					-					true	9.2	5.0	190	340	true	400	350	5100	1600
bitvector/gcd_1_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	890	11000	530	2.3	0	-					-					error (invalid witness file)	.54	.36	8.6	39	error (invalid witness file)	6.5	3.4	130	300
bitvector/gcd_2_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	890	11000	730	2.3	0	-					-					error (invalid witness file)	.54	.34	9.2	40	error (invalid witness file)	5.4	2.9	100	290
bitvector/gcd_3_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	890	11000	560	2.3	0	-					-					error (invalid witness file)	.50	.32	11	40	error (invalid witness file)	5.6	3.0	87	290
bitvector/gcd_4_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	880	11000	670	2.3	0	-					-					error (invalid witness file)	.65	.41	9.1	40	error (invalid witness file)	6.6	3.5	130	300
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i	unreach-call	true	120	98	1200	1700	2.6	0	-					-					true	8.1	5.0	150	350	true	80	63	990	640
bitvector/jain_1_true-unreach-call_true-no-overflow.i	unreach-call	true	6.7	2.0	55	340	2.5	0	-					-					timeout	900	900	17000	2500	true	8.3	4.5	150	330
bitvector/jain_2_true-unreach-call_true-no-overflow.i	unreach-call	true	7.2	2.0	56	340	2.5	0	-					-					timeout	900	900	24000	3800	true	7.8	4.2	100	320
bitvector/jain_4_true-unreach-call_true-no-overflow.i	unreach-call	true	5.7	1.9	49	330	2.5	0	-					-					timeout	900	900	19000	1600	true	12	7.4	150	360
bitvector/jain_5_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	760	13000	2200	2.3	0	-					-					error (invalid witness file)	.52	.34	12	40	error (invalid witness file)	5.6	3.0	83	310
bitvector/jain_6_true-unreach-call_true-no-overflow.i	unreach-call	true	5.9	2.0	48	330	2.5	0	-					-					timeout	900	900	26000	1700	true	8.6	4.7	170	320
bitvector/jain_7_true-unreach-call_true-no-overflow.i	unreach-call	true	5.9	2.0	50	320	2.5	0	-					-					timeout	900	900	19000	690	true	43	38	640	370
bitvector/modulus_true-unreach-call_true-no-overflow.i	unreach-call	unknown	29	25	420	330	2.5	0	-					-					error (invalid witness file)	.76	.48	9.1	44	error (invalid witness file)	6.0	3.2	110	290
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i	unreach-call	true	270	250	3800	2300	2.5	0	-					-					true	4.6	2.6	89	280	true	60	48	960	530
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	860	11000	880	2.5	0	-					-					error (invalid witness file)	.47	.30	9.3	39	error (invalid witness file)	5.6	3.0	100	290
bitvector/parity_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	880	11000	1000	2.5	0	-					-					error (invalid witness file)	.56	.37	9.1	39	error (invalid witness file)	6.0	3.2	130	300
bitvector/sum02_true-unreach-call_true-no-overflow.i	unreach-call	timeout	900	890	12000	510	2.3	0	-					-					error (invalid witness file)	.71	.44	8.8	42	error (invalid witness file)	6.2	3.2	120	290
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	false(unreach-call)	24	6.9	200	570	2.9	0	true	6.5	3.4	80	300	false(unreach-call)	22	12	190	520	-					-
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	false(unreach-call)	28	7.7	220	720	3.0	0	true	7.0	3.7	120	300	false(unreach-call)	36	19	380	600	-					-
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	false(unreach-call)	22	6.4	170	560	2.8	0	true	6.4	3.4	68	290	false(unreach-call)	25	13	400	510	-					-
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	true	35	9.8	280	840	2.8	0	-					-					true	63	53	1100	950	true	45	25	430	810
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	true	42	13	360	1100	2.7	0	-					-					true	18	11	280	600	true	53	29	600	1000
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	true	25	6.4	190	1100	2.7	0	-					-					true	21	12	270	570	out of memory	120	75	1300	7000
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	timeout	900	870	13000	2400	2.3	0	-					-					error (invalid witness file)	.65	.41	8.0	39	error (invalid witness file)	6.8	3.5	100	310
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	true	47	17	460	1900	2.7	0	-					-					timeout	910	900	16000	4900	true	52	28	670	1100
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	true	39	12	340	1500	2.7	0	-					-					timeout	910	890	15000	4200	true	41	22	460	1100
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	true	38	12	290	1600	2.7	0	-					-					timeout	910	890	14000	4100	true	42	22	420	1100
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	true	36	11	300	1400	2.7	0	-					-					timeout	910	900	20000	5300	true	44	24	430	1100
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c	unreach-call	true	36	11	310	1500	2.7	0	-					-					timeout	910	900	16000	5400	true	46	24	570	1000
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c	unreach-call	witness invalid (true)	160	130	1900	890	2.5	0	-					-					error (invalid witness file)	.58	.37	13	42	error (invalid witness file)	5.5	3.0	95	290
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c	unreach-call	true	220	200	2500	1000	2.5	0	-					-					out of memory	800	730	20000	7000	true	80	66	1200	950
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c	unreach-call	timeout	900	870	10000	1600	2.5	0	-					-					error (invalid witness file)	.63	.41	7.5	40	error (invalid witness file)	7.3	3.8	90	300
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c	unreach-call	true	510	470	5400	1000	2.6	0	-					-					true	380	370	7900	770	true	290	260	3500	1000
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c	unreach-call	true	15	4.4	110	610	2.6	0	-					-					out of memory	750	670	24000	7000	true	20	11	260	540
bitvector-regression/implicitfloatconversion_false-unreach-call.c	unreach-call	false(unreach-call)	9.1	3.0	69	320	2.6	0	false(unreach-call)	4.4	2.5	50	270	false(unreach-call)	11	5.8	150	310	-					-
bitvector-regression/implicitunsignedconversion_false-unreach-call.c	unreach-call	false(unreach-call)	5.4	1.8	45	320	2.5	0	false(unreach-call)	3.4	1.9	47	270	false(unreach-call)	6.8	3.6	100	310	-					-
bitvector-regression/integerpromotion_false-unreach-call.c	unreach-call	false(unreach-call)	8.9	3.0	74	320	2.6	0	false(unreach-call)	3.5	2.0	51	270	false(unreach-call)	12	6.2	170	330	-					-
bitvector-regression/recHanoi03_false-unreach-call.c	unreach-call	false(unreach-call)	87	62	1200	880	2.6	0	timeout	95	81	1500	3800	true	7.9	4.2	110	340	-					-
bitvector-regression/signextension2_false-unreach-call.c	unreach-call	false(unreach-call)	5.8	1.9	43	320	2.5	0	false(unreach-call)	3.6	2.0	61	270	false(unreach-call)	6.9	3.7	120	310	-					-
bitvector-regression/signextension_false-unreach-call.c	unreach-call	false(unreach-call)	6.7	1.9	51	330	2.5	0	false(unreach-call)	3.6	2.0	59	260	false(unreach-call)	7.1	3.8	140	320	-					-
bitvector-regression/implicitunsignedconversion_true-unreach-call.c	unreach-call	true	5.6	1.9	44	330	2.5	0	-					-					true	4.2	2.4	44	260	true	7.9	4.2	160	330
bitvector-regression/integerpromotion_true-unreach-call.c	unreach-call	true	9.0	3.1	75	310	2.6	0	-					-					true	4.1	2.3	39	260	true	12	6.3	170	310
bitvector-regression/signextension2_true-unreach-call.c	unreach-call	true	5.7	1.8	49	320	2.5	0	-					-					true	4.0	2.3	51	250	true	7.5	4.0	150	320
bitvector-regression/signextension_true-unreach-call.c	unreach-call	true	6.1	1.9	43	330	2.5	0	-					-					true	4.0	2.2	63	270	true	7.7	4.1	120	320
bitvector-loops/diamond_false-unreach-call2.i	unreach-call	false(unreach-call)	8.1	2.7	61	370	2.5	0	false(unreach-call)	4.2	2.3	53	290	false(unreach-call)	8.2	4.4	150	360	-					-
bitvector-loops/overflow_false-unreach-call1.i	unreach-call	timeout	900	750	15000	1500	2.3	0	error (invalid witness file)	.50	.31	9.2	43	error (invalid witness file)	5.4	2.9	100	290	-					-
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i	unreach-call	false(unreach-call)	160	150	2000	740	2.5	.0082	true	4.2	2.3	67	280	out of memory	72	43	850	7000	-					-
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	false(unreach-call)	55	15	440	1100	2.6	0	false(unreach-call)	8.4	4.4	96	310	false(unreach-call)	14	7.6	200	550	-					-
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	false(unreach-call)	31	8.0	260	920	2.7	0	error (invalid witness file)	5.2	2.8	62	220	false(unreach-call)	14	7.4	240	480	-					-
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	false(unreach-call)	46	12	330	1000	2.7	0	error (invalid witness file)	5.8	3.1	61	220	false(unreach-call)	13	7.1	180	520	-					-
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	false(unreach-call)	17	4.3	130	530	2.6	0	error (invalid witness file)	4.0	2.2	45	260	false(unreach-call)	12	6.5	180	460	-					-
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	true	95	41	820	2000	3.3	0	-					-					true	19	10	380	660	true	97	53	940	1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	true	63	24	610	1400	2.9	0	-					-					out of memory	370	360	10000	7000	true	69	38	670	1000
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	true	65	27	680	1600	2.9	0	-					-					true	15	8.0	180	470	true	67	36	560	910
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	true	70	27	680	1600	3.1	0	-					-					true	16	8.4	300	520	true	74	40	800	1000
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	true	18	5.2	150	540	2.7	0	-					-					true	8.4	4.4	110	290	true	22	12	230	560
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c	unreach-call	true	16	4.7	130	670	2.8	0	-					-					true	9.2	4.8	150	360	true	21	11	310	580
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c	unreach-call	false(unreach-call)	14	3.7	110	510	2.8	0	true	9.2	4.8	120	340	false(unreach-call)	12	6.2	140	470	-					-
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c	unreach-call	false(unreach-call)	14	3.9	110	570	2.8	0	true	6.6	3.5	74	290	false(unreach-call)	12	6.2	190	460	-					-
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c	unreach-call	false(unreach-call)	14	3.9	110	530	2.8	0	true	7.9	4.1	120	310	false(unreach-call)	12	6.5	180	520	-					-
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c	unreach-call	false(unreach-call)	14	3.8	99	530	2.8	0	true	8.1	4.3	120	320	false(unreach-call)	12	6.2	260	470	-					-
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c	unreach-call	false(unreach-call)	11	3.0	88	510	2.6	0	true	7.8	4.1	120	290	false(unreach-call)	10	5.6	170	390	-					-
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c	unreach-call	false(unreach-call)	34	9.0	290	1200	2.9	0	true	13	6.5	88	410	false(unreach-call)	15	8.0	230	580	-					-
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c	unreach-call	false(unreach-call)	26	6.9	230	870	2.8	0	true	11	5.8	99	470	false(unreach-call)	15	7.6	240	560	-					-
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c	unreach-call	false(unreach-call)	20	5.2	150	730	2.7	0	true	13	6.7	160	450	false(unreach-call)	14	7.2	210	530	-					-
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c	unreach-call	false(unreach-call)	18	4.8	150	750	2.7	0	true	7.4	3.9	90	290	false(unreach-call)	12	6.2	180	450	-					-
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c	unreach-call	false(unreach-call)	15	4.1	120	650	2.8	0	true	9.0	4.7	140	320	false(unreach-call)	12	6.5	160	500	-					-
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c	unreach-call	false(unreach-call)	16	4.3	130	640	2.8	0	true	8.3	4.4	86	310	false(unreach-call)	13	6.6	210	510	-					-
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c	unreach-call	false(unreach-call)	6.7	2.1	52	330	2.6	0	false(unreach-call)	7.0	3.7	64	290	false(unreach-call)	9.7	5.1	140	360	-					-
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c	unreach-call	true	49	17	450	2600	2.7	0	-					-					true	16	9.1	260	540	true	51	28	450	1600
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c	unreach-call	true	46	14	380	2300	2.7	0	-					-					true	16	8.8	280	540	true	61	33	850	1700
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c	unreach-call	true	47	14	370	1900	2.7	0	-					-					true	18	9.8	180	560	true	55	30	440	1700
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c	unreach-call	true	48	14	440	2100	2.7	0	-					-					true	18	9.9	240	540	true	62	33	530	1400
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c	unreach-call	true	46	16	400	2100	2.7	0	-					-					out of memory	780	760	20000	7000	true	51	28	530	1800
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c	unreach-call	true	8.6	2.5	73	440	2.6	0	-					-					true	10	5.5	130	320	true	23	13	350	550
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c	unreach-call	true	6.9	2.2	56	330	2.5	0	-					-					true	5.2	2.8	96	290	true	11	6.0	200	360
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c	unreach-call	true	49	17	490	1900	2.7	0	-					-					timeout	910	890	19000	5100	true	52	28	510	1400
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c	unreach-call	true	41	15	400	1800	2.7	0	-					-					timeout	910	890	18000	5100	true	53	29	480	1100
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c	unreach-call	true	42	14	370	1600	2.7	0	-					-					timeout	910	890	22000	5100	true	49	26	670	1100
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c	unreach-call	true	61	25	570	2400	2.7	0	-					-					timeout	910	890	14000	4700	true	58	31	470	1500
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c	unreach-call	true	54	20	470	2200	2.7	0	-					-					timeout	910	890	20000	4800	true	57	30	530	1100
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c	unreach-call	true	43	17	410	1700	2.7	0	-					-					timeout	910	890	18000	5100	true	57	30	720	1200
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	false(unreach-call)	6.9	2.2	56	340	2.6	0	true	4.8	2.6	48	270	false(unreach-call)	10	5.3	150	360	-					-
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	false(unreach-call)	7.1	2.2	55	350	2.6	0	true	4.3	2.4	47	280	false(unreach-call)	11	5.8	170	350	-					-
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	19	5.4	150	930	2.6	0	-					-					true	7.5	4.0	80	300	true	22	12	300	840
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	27	8.8	210	1500	2.6	0	-					-					true	7.4	4.0	110	300	true	27	14	370	1200
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	36	15	300	2900	2.6	0	-					-					true	7.8	4.2	91	300	true	31	18	460	2000
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	61	28	450	5200	2.6	0	-					-					true	7.7	4.1	120	300	true	41	25	570	3900
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	140	59	940	6400	2.6	0	-					-					true	6.8	3.7	120	310	true	82	52	810	6500
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	320	130	2400	8600	2.6	0	-					-					true	7.4	4.0	130	300	out of memory	95	59	770	7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	7.6	2.3	68	380	2.6	0	-					-					true	5.3	2.9	68	290	true	11	5.9	200	360
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	8.3	2.5	67	440	2.6	0	-					-					true	6.7	3.6	74	290	true	12	6.3	220	410
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	9.7	2.7	74	520	2.6	0	-					-					true	6.6	3.6	83	290	true	14	7.5	220	490
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	11	3.2	91	540	2.6	0	-					-					true	6.1	3.3	71	290	true	16	8.2	160	630
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c	unreach-call	true	15	4.0	120	780	2.6	0	-					-					true	6.8	3.7	100	290	true	19	9.9	250	620
ntdrivers/cdaudio_false-unreach-call.i.cil.c	unreach-call	timeout	900	770	11000	5400	2.3	0	error (invalid witness file)	.50	.32	9.2	40	error (invalid witness file)	7.2	3.7	130	310	-					-
ntdrivers/diskperf_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	19	4.7	140	610	2.6	0	exception	5.3	2.8	58	230	false(unreach-call)	16	8.7	260	520	-					-
ntdrivers/floppy_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	140	97	1100	4700	2.6	0	exception	7.6	4.0	110	290	timeout	97	74	890	3800	-					-
ntdrivers/kbfiltr_false-unreach-call.i.cil.c	unreach-call	timeout	900	850	8300	1700	2.3	0	error (invalid witness file)	.45	.30	7.4	39	error (invalid witness file)	6.8	3.6	140	320	-					-
ntdrivers/parport_false-unreach-call.i.cil.c	unreach-call	unknown	97	45	880	1200	2.5	0	error (invalid witness file)	.49	.33	3.7	39	error (invalid witness file)	6.7	3.5	140	300	-					-
ntdrivers/cdaudio_true-unreach-call.i.cil.c	unreach-call	true	150	76	1700	3500	3.6	0	-					-					true	53	33	620	1100	true	150	92	1500	2300
ntdrivers/diskperf_true-unreach-call.i.cil.c	unreach-call	true	100	44	1000	2300	3.0	0	-					-					out of memory	590	570	13000	7000	true	110	63	1400	1500
ntdrivers/floppy2_true-unreach-call.i.cil.c	unreach-call	true	350	210	2900	8200	9.2	0	-					-					out of memory	410	380	11000	7000	out of memory	210	140	1900	7000
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c	unreach-call	true	280	150	2900	8500	3.5	0	-					-					out of memory	550	530	10000	7000	out of memory	160	110	2400	7000
ntdrivers/parport_true-unreach-call.i.cil.c	unreach-call	true	220	140	2400	4800	5.1	0	-					-					out of memory	500	410	8800	7000	true	210	150	2800	4800
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c	unreach-call	timeout	900	850	12000	2400	2.5	0	error (invalid witness file)	.54	.35	8.0	40	error (invalid witness file)	6.5	3.5	130	300	-					-
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	97	66	940	820	2.6	0	true	7.8	4.1	110	290	false(unreach-call)	37	21	630	580	-					-
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	93	64	850	800	2.6	0	true	6.3	3.4	68	300	false(unreach-call)	33	19	360	570	-					-
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	140	110	1700	830	2.6	0	true	7.3	3.9	92	290	false(unreach-call)	33	19	310	570	-					-
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	29	10	220	550	2.6	0	error (invalid witness file)	5.5	2.9	42	220	false(unreach-call)	30	17	420	540	-					-
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	27	9.2	230	520	2.7	0	true	8.4	4.5	150	300	false(unreach-call)	33	18	500	550	-					-
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	27	9.2	220	530	2.7	0	true	8.0	4.3	88	300	false(unreach-call)	31	17	360	530	-					-
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	27	9.3	200	520	2.7	0	true	9.1	4.9	170	300	false(unreach-call)	31	17	290	530	-					-
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c	unreach-call	timeout	900	780	12000	4900	2.3	0	error (invalid witness file)	.63	.40	8.4	40	error (invalid witness file)	6.6	3.5	120	300	-					-
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c	unreach-call	timeout	900	790	12000	5000	2.5	0	error (invalid witness file)	.50	.32	11	39	error (invalid witness file)	6.5	3.4	110	300	-					-
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c	unreach-call	timeout	900	770	11000	3800	2.3	0	error (invalid witness file)	.55	.35	7.8	40	error (invalid witness file)	5.9	3.1	100	290	-					-
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c	unreach-call	timeout	900	790	10000	4900	2.5	0	error (invalid witness file)	.50	.32	9.2	40	error (invalid witness file)	6.6	3.5	130	300	-					-
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c	unreach-call	timeout	900	770	12000	3900	2.3	0	error (invalid witness file)	.53	.34	12	42	error (invalid witness file)	7.1	3.7	110	330	-					-
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c	unreach-call	false(unreach-call)	59	37	510	720	2.7	0	true	11	5.8	90	300	false(unreach-call)	54	40	450	670	-					-
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c	unreach-call	timeout	900	780	12000	4800	2.3	0	error (invalid witness file)	.52	.35	12	40	error (invalid witness file)	5.8	3.1	89	290	-					-
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c	unreach-call	timeout	900	790	11000	5200	2.5	0	error (invalid witness file)	.48	.31	11	39	error (invalid witness file)	6.7	3.5	130	320	-					-
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c	unreach-call	timeout	900	780	14000	4500	2.3	0	error (invalid witness file)	.61	.39	9.8	41	error (invalid witness file)	6.2	3.3	130	300	-					-
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c	unreach-call	timeout	900	770	14000	3800	2.3	0	error (invalid witness file)	.62	.40	4.9	40	error (invalid witness file)	6.4	3.4	110	300	-					-
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c	unreach-call	timeout	900	780	11000	5000	2.3	0	error (invalid witness file)	.50	.32	10	39	error (invalid witness file)	6.3	3.4	130	300	-					-
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c	unreach-call	timeout	900	820	11000	2500	2.5	0	-					-					error (invalid witness file)	.56	.36	9.3	39	error (invalid witness file)	6.0	3.2	100	300
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c	unreach-call	timeout	900	820	12000	2300	2.5	0	-					-					error (invalid witness file)	.53	.35	9.4	40	error (invalid witness file)	6.3	3.3	110	310
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c	unreach-call	timeout	900	840	12000	2400	2.3	0	-					-					error (invalid witness file)	.69	.42	8.1	40	error (invalid witness file)	6.4	3.3	120	300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c	unreach-call	timeout	900	840	12000	2700	2.5	0	-					-					error (invalid witness file)	.66	.42	7.1	39	error (invalid witness file)	6.0	3.2	120	290
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	10000	5400	2.3	0	-					-					error (invalid witness file)	.52	.34	8.7	39	error (invalid witness file)	6.1	3.2	97	300
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	10000	4100	2.3	0	-					-					error (invalid witness file)	.56	.36	9.2	39	error (invalid witness file)	6.0	3.2	72	310
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c	unreach-call	timeout	900	780	12000	5500	2.3	0	-					-					error (invalid witness file)	.57	.36	8.0	39	error (invalid witness file)	6.0	3.2	110	300
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	10000	5200	2.3	0	-					-					error (invalid witness file)	.61	.38	6.6	39	error (invalid witness file)	6.2	3.3	110	300
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	11000	5300	2.3	0	-					-					error (invalid witness file)	.58	.38	8.1	39	error (invalid witness file)	6.3	3.3	120	300
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	12000	4900	2.3	0	-					-					error (invalid witness file)	.53	.33	8.5	40	error (invalid witness file)	6.7	3.5	100	310
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c	unreach-call	timeout	900	800	13000	4900	2.3	0	-					-					error (invalid witness file)	.62	.39	8.3	39	error (invalid witness file)	6.5	3.5	130	300
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	11000	4800	2.3	0	-					-					error (invalid witness file)	.55	.36	11	39	error (invalid witness file)	6.2	3.3	91	300
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c	unreach-call	timeout	900	780	12000	5100	2.3	0	-					-					error (invalid witness file)	.64	.42	8.0	41	error (invalid witness file)	6.4	3.3	120	300
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	11000	4800	2.3	0	-					-					error (invalid witness file)	.69	.43	7.0	39	error (invalid witness file)	6.3	3.3	120	290
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	14000	5300	2.3	0	-					-					error (invalid witness file)	.66	.42	6.6	39	error (invalid witness file)	6.0	3.2	89	300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c	unreach-call	timeout	900	780	11000	5200	2.3	0	-					-					error (invalid witness file)	.55	.35	6.1	41	error (invalid witness file)	6.1	3.2	120	300
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c	unreach-call	timeout	900	790	11000	5200	2.3	0	-					-					error (invalid witness file)	.64	.41	8.1	40	error (invalid witness file)	6.2	3.3	120	300
eca-rers2012/Problem01_label15_false-unreach-call.c	unreach-call	false(unreach-call)	32	9.5	260	830	2.8	0	true	14	7.3	100	490	false(unreach-call)	17	8.9	210	550	-					-
eca-rers2012/Problem01_label20_false-unreach-call.c	unreach-call	false(unreach-call)	42	12	370	1100	2.8	0	true	13	6.6	160	460	false(unreach-call)	18	9.5	210	580	-					-
eca-rers2012/Problem01_label21_false-unreach-call.c	unreach-call	false(unreach-call)	37	11	330	1200	2.8	0	true	13	6.8	110	470	false(unreach-call)	18	9.4	260	590	-					-
eca-rers2012/Problem01_label32_false-unreach-call.c	unreach-call	false(unreach-call)	25	7.3	220	690	2.8	0	true	13	6.8	190	460	false(unreach-call)	18	9.2	210	560	-					-
eca-rers2012/Problem01_label33_false-unreach-call.c	unreach-call	false(unreach-call)	28	7.8	220	1000	2.7	0	true	15	7.6	200	440	false(unreach-call)	17	8.8	250	600	-					-
eca-rers2012/Problem01_label35_false-unreach-call.c	unreach-call	false(unreach-call)	31	10	270	850	2.7	0	true	13	6.8	120	460	false(unreach-call)	16	8.4	210	550	-					-
eca-rers2012/Problem01_label37_false-unreach-call.c	unreach-call	false(unreach-call)	27	8.4	240	740	2.8	0	true	17	8.5	140	460	false(unreach-call)	18	9.2	240	600	-					-
eca-rers2012/Problem01_label38_false-unreach-call.c	unreach-call	false(unreach-call)	33	11	290	930	2.8	0	true	15	7.6	160	460	false(unreach-call)	23	12	160	590	-					-
eca-rers2012/Problem01_label44_false-unreach-call.c	unreach-call	false(unreach-call)	29	8.7	260	870	2.7	0	true	13	6.5	170	440	false(unreach-call)	17	8.8	240	590	-					-
eca-rers2012/Problem01_label47_false-unreach-call.c	unreach-call	false(unreach-call)	29	8.6	230	890	2.8	0	true	13	6.7	120	470	false(unreach-call)	18	9.2	270	610	-					-
eca-rers2012/Problem01_label50_false-unreach-call.c	unreach-call	false(unreach-call)	29	8.8	250	1100	2.7	0	true	16	8.3	170	440	false(unreach-call)	17	8.6	360	550	-					-
eca-rers2012/Problem01_label56_false-unreach-call.c	unreach-call	false(unreach-call)	31	8.7	230	900	2.8	0	true	13	6.5	200	470	false(unreach-call)	17	8.8	250	610	-					-
eca-rers2012/Problem01_label57_false-unreach-call.c	unreach-call	false(unreach-call)	34	9.9	290	990	2.8	0	true	13	6.7	210	460	false(unreach-call)	19	9.8	270	620	-					-
eca-rers2012/Problem02_label13_false-unreach-call.c	unreach-call	false(unreach-call)	26	7.1	210	760	2.7	0	true	11	5.9	190	420	false(unreach-call)	17	9.0	240	560	-					-
eca-rers2012/Problem02_label16_false-unreach-call.c	unreach-call	false(unreach-call)	17	4.7	130	650	2.6	0	true	11	5.6	150	440	false(unreach-call)	16	8.2	270	540	-					-
eca-rers2012/Problem02_label43_false-unreach-call.c	unreach-call	false(unreach-call)	23	6.6	190	900	2.6	0	true	12	6.4	89	440	false(unreach-call)	15	7.7	210	530	-					-
eca-rers2012/Problem02_label44_false-unreach-call.c	unreach-call	false(unreach-call)	20	5.3	140	670	2.7	0	true	13	6.6	200	430	false(unreach-call)	15	7.9	210	530	-					-
eca-rers2012/Problem02_label45_false-unreach-call.c	unreach-call	false(unreach-call)	31	8.4	220	920	2.7	0	true	12	6.1	180	450	false(unreach-call)	17	8.6	200	550	-					-
eca-rers2012/Problem02_label50_false-unreach-call.c	unreach-call	false(unreach-call)	30	7.9	250	780	2.7	0	true	12	6.2	170	430	false(unreach-call)	16	8.3	250	560	-					-
eca-rers2012/Problem02_label59_false-unreach-call.c	unreach-call	false(unreach-call)	32	9.2	260	920	2.7	0	true	12	6.1	180	430	false(unreach-call)	17	8.7	190	550	-					-
eca-rers2012/Problem03_label09_false-unreach-call.c	unreach-call	timeout	910	290	5000	14000	2.3	0	error (invalid witness file)	.48	.33	9.1	39	error (invalid witness file)	6.6	3.4	120	300	-					-
eca-rers2012/Problem03_label13_false-unreach-call.c	unreach-call	false(unreach-call)	96	43	910	4700	3.4	0	true	23	12	280	710	false(unreach-call)	28	15	600	700	-					-
eca-rers2012/Problem03_label26_false-unreach-call.c	unreach-call	timeout	910	270	5500	13000	2.3	0	error (invalid witness file)	.51	.32	9.7	39	error (invalid witness file)	6.6	3.5	120	300	-					-
eca-rers2012/Problem03_label27_false-unreach-call.c	unreach-call	timeout	900	250	4800	14000	2.3	0	error (invalid witness file)	.50	.32	4.0	43	error (invalid witness file)	7.0	3.7	140	320	-					-
eca-rers2012/Problem03_label28_false-unreach-call.c	unreach-call	timeout	910	260	5000	14000	2.3	0	error (invalid witness file)	.51	.33	6.5	40	error (invalid witness file)	6.4	3.4	120	300	-					-
eca-rers2012/Problem03_label31_false-unreach-call.c	unreach-call	false(unreach-call)	140	58	1000	5900	3.4	0	true	23	12	150	710	false(unreach-call)	25	13	250	750	-					-
eca-rers2012/Problem03_label35_false-unreach-call.c	unreach-call	timeout	910	390	6000	11000	2.3	0	error (invalid witness file)	.55	.36	12	41	error (invalid witness file)	6.7	3.6	130	300	-					-
eca-rers2012/Problem03_label37_false-unreach-call.c	unreach-call	false(unreach-call)	66	27	570	2700	3.1	0	true	26	13	240	650	false(unreach-call)	22	11	190	670	-					-
eca-rers2012/Problem03_label39_false-unreach-call.c	unreach-call	false(unreach-call)	450	210	3200	8900	3.5	0	true	23	12	330	810	false(unreach-call)	28	15	370	720	-					-
eca-rers2012/Problem03_label43_false-unreach-call.c	unreach-call	false(unreach-call)	160	80	1300	5900	3.1	0	true	23	12	250	680	false(unreach-call)	25	13	330	640	-					-
eca-rers2012/Problem03_label45_false-unreach-call.c	unreach-call	false(unreach-call)	110	42	920	5100	3.6	0	true	25	13	330	820	false(unreach-call)	29	15	400	800	-					-
eca-rers2012/Problem03_label50_false-unreach-call.c	unreach-call	false(unreach-call)	140	61	1200	6100	3.4	0	true	22	11	190	650	false(unreach-call)	28	14	250	710	-					-
eca-rers2012/Problem03_label52_false-unreach-call.c	unreach-call	timeout	900	300	5400	14000	2.3	0	error (invalid witness file)	.50	.31	5.5	42	error (invalid witness file)	6.3	3.3	140	310	-					-
eca-rers2012/Problem04_label04_false-unreach-call.c	unreach-call	false(unreach-call)	650	490	7100	6300	10	0	true	66	39	500	2300	timeout	98	52	970	4000	-					-
eca-rers2012/Problem04_label06_false-unreach-call.c	unreach-call	false(unreach-call)	800	650	10000	6500	11	0	timeout	96	69	840	2100	timeout	96	55	890	5400	-					-
eca-rers2012/Problem04_label09_false-unreach-call.c	unreach-call	false(unreach-call)	670	530	7300	6200	10	0	true	54	32	500	2000	timeout	96	55	1200	5200	-					-
eca-rers2012/Problem04_label11_false-unreach-call.c	unreach-call	false(unreach-call)	740	570	8300	6400	10	0	true	58	35	690	2300	timeout	98	56	1100	5400	-					-
eca-rers2012/Problem04_label12_false-unreach-call.c	unreach-call	timeout	900	720	12000	6600	2.3	0	error (invalid witness file)	.52	.33	8.9	45	error (invalid witness file)	7.2	3.8	140	310	-					-
eca-rers2012/Problem04_label13_false-unreach-call.c	unreach-call	false(unreach-call)	820	670	12000	6500	10	0	true	72	44	510	2100	timeout	98	58	1100	5500	-					-
eca-rers2012/Problem04_label14_false-unreach-call.c	unreach-call	false(unreach-call)	830	640	12000	6900	11	0	true	54	33	720	2100	timeout	98	58	810	5400	-					-
eca-rers2012/Problem04_label15_false-unreach-call.c	unreach-call	false(unreach-call)	770	570	9600	6900	11	0	true	55	32	800	2200	timeout	97	57	1200	5300	-					-
eca-rers2012/Problem04_label17_false-unreach-call.c	unreach-call	false(unreach-call)	810	600	11000	6500	9.7	0	true	53	31	810	2000	timeout	97	56	880	5300	-					-
eca-rers2012/Problem04_label18_false-unreach-call.c	unreach-call	false(unreach-call)	890	720	12000	6300	10	0	true	64	38	820	2100	timeout	96	55	1400	5300	-					-
eca-rers2012/Problem04_label19_false-unreach-call.c	unreach-call	timeout	900	760	11000	6200	2.3	0	error (invalid witness file)	.52	.34	4.9	40	error (invalid witness file)	7.7	4.0	130	330	-					-
eca-rers2012/Problem04_label26_false-unreach-call.c	unreach-call	timeout	900	730	11000	6300	2.3	0	error (invalid witness file)	.46	.30	8.8	40	error (invalid witness file)	7.3	3.8	140	320	-					-
eca-rers2012/Problem04_label27_false-unreach-call.c	unreach-call	timeout	900	580	11000	9400	2.3	0	error (invalid witness file)	.50	.34	5.2	40	error (invalid witness file)	6.7	3.5	130	300	-					-
eca-rers2012/Problem04_label31_false-unreach-call.c	unreach-call	timeout	900	710	9700	6600	2.3	0	error (invalid witness file)	.48	.32	4.2	39	error (invalid witness file)	6.7	3.5	150	300	-					-
eca-rers2012/Problem04_label32_false-unreach-call.c	unreach-call	timeout	900	690	11000	6600	2.3	0	error (invalid witness file)	.49	.32	10	39	error (invalid witness file)	6.6	3.4	110	300	-					-
eca-rers2012/Problem04_label35_false-unreach-call.c	unreach-call	false(unreach-call)	660	510	8800	6700	10	0	true	56	33	710	2100	timeout	97	56	830	5400	-					-
eca-rers2012/Problem04_label36_false-unreach-call.c	unreach-call	false(unreach-call)	840	680	10000	6500	10	0	true	68	41	850	2100	timeout	97	57	910	5500	-					-
eca-rers2012/Problem04_label38_false-unreach-call.c	unreach-call	timeout	900	690	11000	7200	2.3	0	error (invalid witness file)	.53	.36	11	40	error (invalid witness file)	6.7	3.6	120	300	-					-
eca-rers2012/Problem04_label39_false-unreach-call.c	unreach-call	false(unreach-call)	660	510	7600	6300	11	0	true	81	56	940	2100	timeout	96	55	880	5300	-					-
eca-rers2012/Problem04_label40_false-unreach-call.c	unreach-call	timeout	900	690	10000	6900	11	0	true	63	38	740	2300	timeout	96	52	1100	4700	-					-
eca-rers2012/Problem04_label45_false-unreach-call.c	unreach-call	false(unreach-call)	850	680	12000	6100	10	0	true	62	37	570	2300	timeout	96	56	800	5500	-					-
eca-rers2012/Problem04_label52_false-unreach-call.c	unreach-call	false(unreach-call)	850	670	10000	7000	11	0	true	68	46	460	2200	timeout	96	54	1000	5000	-					-
eca-rers2012/Problem04_label55_false-unreach-call.c	unreach-call	false(unreach-call)	890	740	14000	6300	10	0	true	55	32	420	2100	timeout	96	56	790	5400	-					-
eca-rers2012/Problem04_label58_false-unreach-call.c	unreach-call	false(unreach-call)	790	620	10000	6400	11	0	true	71	44	680	2100	timeout	96	54	1400	4900	-					-
eca-rers2012/Problem05_label00_false-unreach-call.c	unreach-call	timeout	900	460	7300	9000	2.3	0	error (invalid witness file)	.51	.34	11	40	error (invalid witness file)	7.2	3.7	130	310	-					-
eca-rers2012/Problem05_label01_false-unreach-call.c	unreach-call	timeout	900	440	7300	11000	2.3	0	error (invalid witness file)	.47	.31	7.1	40	error (invalid witness file)	7.8	4.1	150	320	-					-
eca-rers2012/Problem05_label11_false-unreach-call.c	unreach-call	timeout	910	430	8000	12000	2.3	0	error (invalid witness file)	.67	.42	6.5	42	error (invalid witness file)	7.3	3.8	110	310	-					-
eca-rers2012/Problem05_label13_false-unreach-call.c	unreach-call	timeout	900	530	8600	8800	2.3	0	error (invalid witness file)	.49	.32	9.0	39	error (invalid witness file)	6.5	3.5	130	290	-					-
eca-rers2012/Problem05_label15_false-unreach-call.c	unreach-call	timeout	900	490	7600	8700	2.3	0	error (invalid witness file)	.55	.35	11	40	error (invalid witness file)	7.1	3.7	130	310	-					-
eca-rers2012/Problem05_label18_false-unreach-call.c	unreach-call	timeout	900	510	9100	9200	2.3	0	error (invalid witness file)	.55	.37	10	42	error (invalid witness file)	7.1	3.7	100	310	-					-
eca-rers2012/Problem05_label24_false-unreach-call.c	unreach-call	timeout	900	340	5900	14000	2.3	0	error (invalid witness file)	.55	.36	13	39	error (invalid witness file)	7.5	3.9	130	300	-					-
eca-rers2012/Problem05_label26_false-unreach-call.c	unreach-call	timeout	900	400	7000	13000	2.3	0	error (invalid witness file)	.48	.32	12	39	error (invalid witness file)	7.2	3.8	130	300	-					-
eca-rers2012/Problem05_label30_false-unreach-call.c	unreach-call	timeout	900	420	6500	10000	2.3	0	error (invalid witness file)	.58	.38	13	44	error (invalid witness file)	6.8	3.6	110	300	-					-
eca-rers2012/Problem05_label32_false-unreach-call.c	unreach-call	timeout	900	500	8000	9700	2.3	0	error (invalid witness file)	.51	.32	12	40	error (invalid witness file)	7.4	3.9	130	300	-					-
eca-rers2012/Problem05_label33_false-unreach-call.c	unreach-call	timeout	900	480	9200	9700	2.3	0	error (invalid witness file)	.55	.35	11	41	error (invalid witness file)	6.5	3.5	110	290	-					-
eca-rers2012/Problem05_label36_false-unreach-call.c	unreach-call	timeout	900	420	6900	11000	2.7	0	error (invalid witness file)	.55	.35	9.9	41	error (invalid witness file)	9.0	4.7	90	300	-					-
eca-rers2012/Problem05_label37_false-unreach-call.c	unreach-call	timeout	900	560	8400	8800	2.5	0	error (invalid witness file)	.55	.36	13	40	error (invalid witness file)	7.2	3.8	130	310	-					-
eca-rers2012/Problem05_label38_false-unreach-call.c	unreach-call	timeout	900	520	8700	10000	2.3	0	error (invalid witness file)	.58	.36	7.8	39	error (invalid witness file)	7.2	3.8	130	310	-					-
eca-rers2012/Problem05_label39_false-unreach-call.c	unreach-call	timeout	900	400	6400	12000	2.3	0	error (invalid witness file)	.48	.31	9.2	39	error (invalid witness file)	6.7	3.6	100	300	-					-
eca-rers2012/Problem05_label40_false-unreach-call.c	unreach-call	timeout	900	440	6900	10000	2.3	0	error (invalid witness file)	.52	.32	6.1	40	error (invalid witness file)	7.1	3.7	130	300	-					-
eca-rers2012/Problem05_label41_false-unreach-call.c	unreach-call	timeout	900	360	6100	13000	2.3	0	error (invalid witness file)	.49	.31	13	39	error (invalid witness file)	7.1	3.7	110	310	-					-
eca-rers2012/Problem05_label44_false-unreach-call.c	unreach-call	timeout	900	380	7300	12000	2.3	0	error (invalid witness file)	.53	.35	6.8	39	error (invalid witness file)	7.0	3.7	130	300	-					-
eca-rers2012/Problem05_label47_false-unreach-call.c	unreach-call	timeout	900	400	6900	13000	2.3	0	error (invalid witness file)	.59	.38	7.8	39	error (invalid witness file)	6.7	3.6	110	300	-					-
eca-rers2012/Problem05_label48_false-unreach-call.c	unreach-call	timeout	900	360	5800	12000	2.3	0	error (invalid witness file)	.50	.32	5.7	40	error (invalid witness file)	7.0	3.6	150	310	-					-
eca-rers2012/Problem05_label51_false-unreach-call.c	unreach-call	timeout	900	380	6400	13000	2.3	0	error (invalid witness file)	.49	.32	12	40	error (invalid witness file)	7.1	3.7	130	310	-					-
eca-rers2012/Problem05_label55_false-unreach-call.c	unreach-call	timeout	900	440	7200	11000	2.3	0	error (invalid witness file)	.55	.34	12	41	error (invalid witness file)	7.0	3.7	140	310	-					-
eca-rers2012/Problem05_label57_false-unreach-call.c	unreach-call	timeout	900	530	9400	8200	2.3	0	error (invalid witness file)	.56	.37	8.3	41	error (invalid witness file)	7.1	3.7	140	310	-					-
eca-rers2012/Problem05_label58_false-unreach-call.c	unreach-call	timeout	900	450	7800	9600	2.3	0	error (invalid witness file)	.50	.32	7.6	42	error (invalid witness file)	7.2	3.8	150	300	-					-
eca-rers2012/Problem06_label00_false-unreach-call.c	unreach-call	timeout	910	240	5400	14000	2.3	0	error (invalid witness file)	.48	.30	9.2	39	error (invalid witness file)	7.0	3.7	110	300	-					-
eca-rers2012/Problem06_label01_false-unreach-call.c	unreach-call	timeout	900	220	4400	14000	2.3	0	error (invalid witness file)	.53	.33	10	40	error (invalid witness file)	6.8	3.6	120	300	-					-
eca-rers2012/Problem06_label02_false-unreach-call.c	unreach-call	timeout	910	220	4600	14000	2.3	0	error (invalid witness file)	.53	.35	12	39	error (invalid witness file)	7.8	4.2	110	300	-					-
eca-rers2012/Problem06_label04_false-unreach-call.c	unreach-call	timeout	910	280	5600	14000	2.3	0	error (invalid witness file)	.48	.31	10	39	error (invalid witness file)	6.6	3.5	130	290	-					-
eca-rers2012/Problem06_label05_false-unreach-call.c	unreach-call	timeout	910	240	5300	14000	2.3	0	error (invalid witness file)	.55	.34	9.7	40	error (invalid witness file)	7.0	3.7	110	300	-					-
eca-rers2012/Problem06_label09_false-unreach-call.c	unreach-call	timeout	910	290	5700	14000	2.3	0	error (invalid witness file)	.52	.33	12	40	error (invalid witness file)	6.7	3.6	140	300	-					-
eca-rers2012/Problem06_label10_false-unreach-call.c	unreach-call	timeout	910	270	4800	14000	2.3	0	error (invalid witness file)	.55	.36	10	42	error (invalid witness file)	7.3	3.8	150	310	-					-
eca-rers2012/Problem06_label11_false-unreach-call.c	unreach-call	timeout	900	280	5300	13000	2.3	0	error (invalid witness file)	.55	.35	11	42	error (invalid witness file)	7.1	3.7	130	310	-					-
eca-rers2012/Problem06_label12_false-unreach-call.c	unreach-call	timeout	910	260	5100	13000	2.3	0	error (invalid witness file)	.52	.33	13	40	error (invalid witness file)	7.3	3.8	110	300	-					-
eca-rers2012/Problem06_label15_false-unreach-call.c	unreach-call	timeout	910	260	5800	14000	2.3	0	error (invalid witness file)	.50	.32	8.5	39	error (invalid witness file)	7.0	3.7	140	300	-					-
eca-rers2012/Problem06_label20_false-unreach-call.c	unreach-call	timeout	910	250	4800	14000	2.3	0	error (invalid witness file)	.53	.33	12	40	error (invalid witness file)	6.7	3.5	110	290	-					-
eca-rers2012/Problem06_label21_false-unreach-call.c	unreach-call	timeout	910	250	4700	14000	2.3	0	error (invalid witness file)	.54	.36	11	42	error (invalid witness file)	7.3	3.8	130	300	-					-
eca-rers2012/Problem06_label24_false-unreach-call.c	unreach-call	timeout	900	290	5800	13000	2.3	0	error (invalid witness file)	.52	.34	10	43	error (invalid witness file)	7.5	3.9	96	300	-					-
eca-rers2012/Problem06_label27_false-unreach-call.c	unreach-call	timeout	910	290	5300	14000	2.3	0	error (invalid witness file)	.54	.35	13	42	error (invalid witness file)	6.8	3.6	120	300	-					-
eca-rers2012/Problem06_label29_false-unreach-call.c	unreach-call	timeout	910	270	4900	14000	2.3	2.6	error (invalid witness file)	.58	.38	8.6	40	error (invalid witness file)	6.9	3.6	130	300	-					-
eca-rers2012/Problem06_label33_false-unreach-call.c	unreach-call	timeout	910	280	5600	14000	2.3	0	error (invalid witness file)	.53	.34	14	41	error (invalid witness file)	7.7	4.0	100	320	-					-
eca-rers2012/Problem06_label36_false-unreach-call.c	unreach-call	timeout	910	250	4700	14000	2.3	0	error (invalid witness file)	.49	.31	10	40	error (invalid witness file)	7.0	3.7	130	310	-					-
eca-rers2012/Problem06_label37_false-unreach-call.c	unreach-call	timeout	910	250	4600	14000	2.3	0	error (invalid witness file)	.56	.37	12	42	error (invalid witness file)	8.6	4.4	140	330	-					-
eca-rers2012/Problem06_label38_false-unreach-call.c	unreach-call	timeout	910	280	4900	14000	2.3	0	error (invalid witness file)	.50	.32	9.6	39	error (invalid witness file)	6.8	3.6	140	300	-					-
eca-rers2012/Problem06_label44_false-unreach-call.c	unreach-call	timeout	900	290	5000	14000	2.3	0	error (invalid witness file)	.52	.34	12	42	error (invalid witness file)	7.0	3.7	130	300	-					-
eca-rers2012/Problem06_label47_false-unreach-call.c	unreach-call	timeout	910	270	5100	14000	2.3	0	error (invalid witness file)	.55	.34	9.8	39	error (invalid witness file)	7.2	3.7	140	310	-					-
eca-rers2012/Problem06_label48_false-unreach-call.c	unreach-call	timeout	910	240	5100	14000	2.3	0	error (invalid witness file)	.50	.33	6.6	40	error (invalid witness file)	7.3	3.8	130	310	-					-
eca-rers2012/Problem06_label56_false-unreach-call.c	unreach-call	timeout	910	270	4900	14000	2.3	0	error (invalid witness file)	.52	.33	9.9	41	error (invalid witness file)	7.2	3.7	130	310	-					-
eca-rers2012/Problem06_label58_false-unreach-call.c	unreach-call	timeout	910	270	5900	13000	2.3	0	error (invalid witness file)	.52	.32	11	40	error (invalid witness file)	7.0	3.7	140	300	-					-
eca-rers2012/Problem06_label59_false-unreach-call.c	unreach-call	timeout	900	290	5200	14000	2.3	0	error (invalid witness file)	.52	.33	12	41	error (invalid witness file)	7.4	3.9	120	300	-					-
eca-rers2012/Problem07_label03_false-unreach-call.c	unreach-call	timeout	910	550	11000	12000	2.3	0	error (invalid witness file)	.52	.34	9.9	40	error (invalid witness file)	8.6	4.6	160	450	-					-
eca-rers2012/Problem07_label05_false-unreach-call.c	unreach-call	timeout	900	550	9200	11000	2.3	0	error (invalid witness file)	.51	.34	9.9	42	error (invalid witness file)	7.8	4.2	140	430	-					-
eca-rers2012/Problem07_label06_false-unreach-call.c	unreach-call	timeout	900	590	8800	11000	2.3	0	error (invalid witness file)	.54	.34	9.0	40	error (invalid witness file)	7.8	4.2	150	430	-					-
eca-rers2012/Problem07_label07_false-unreach-call.c	unreach-call	timeout	900	630	11000	11000	2.3	0	error (invalid witness file)	.56	.37	7.7	40	error (invalid witness file)	8.1	4.4	160	440	-					-
eca-rers2012/Problem07_label09_false-unreach-call.c	unreach-call	timeout	900	550	10000	12000	2.3	0	error (invalid witness file)	.47	.32	6.8	39	error (invalid witness file)	9.9	5.2	110	420	-					-
eca-rers2012/Problem07_label11_false-unreach-call.c	unreach-call	timeout	910	640	10000	10000	2.3	0	error (invalid witness file)	.49	.32	8.6	40	error (invalid witness file)	8.1	4.3	150	430	-					-
eca-rers2012/Problem07_label15_false-unreach-call.c	unreach-call	timeout	900	610	11000	12000	2.3	0	error (invalid witness file)	.50	.33	9.8	39	error (invalid witness file)	7.9	4.2	140	420	-					-
eca-rers2012/Problem07_label18_false-unreach-call.c	unreach-call	timeout	910	560	9000	13000	2.3	0	error (invalid witness file)	.48	.31	9.2	40	error (invalid witness file)	8.3	4.5	160	440	-					-
eca-rers2012/Problem07_label19_false-unreach-call.c	unreach-call	timeout	910	480	9700	14000	2.3	0	error (invalid witness file)	.60	.38	13	44	error (invalid witness file)	7.2	3.9	110	420	-					-
eca-rers2012/Problem07_label20_false-unreach-call.c	unreach-call	timeout	910	480	8100	14000	2.3	0	error (invalid witness file)	.57	.37	6.0	40	error (invalid witness file)	8.3	4.5	160	440	-					-
eca-rers2012/Problem07_label23_false-unreach-call.c	unreach-call	timeout	910	470	8200	14000	2.3	0	error (invalid witness file)	.65	.41	8.2	41	error (invalid witness file)	7.9	4.2	160	430	-					-
eca-rers2012/Problem07_label30_false-unreach-call.c	unreach-call	timeout	910	550	8800	12000	2.3	0	error (invalid witness file)	.56	.37	11	44	error (invalid witness file)	8.9	4.8	140	440	-					-
eca-rers2012/Problem07_label31_false-unreach-call.c	unreach-call	timeout	910	640	11000	8900	2.3	0	error (invalid witness file)	.53	.34	11	39	error (invalid witness file)	7.9	4.1	130	430	-					-
eca-rers2012/Problem07_label35_false-unreach-call.c	unreach-call	timeout	910	630	8800	11000	2.3	0	error (invalid witness file)	.50	.33	11	39	error (invalid witness file)	7.6	4.1	140	430	-					-
eca-rers2012/Problem07_label36_false-unreach-call.c	unreach-call	timeout	900	630	11000	11000	2.3	0	error (invalid witness file)	.58	.38	8.4	40	error (invalid witness file)	9.8	5.3	100	430	-					-
eca-rers2012/Problem07_label37_false-unreach-call.c	unreach-call	timeout	900	590	9900	13000	2.3	0	error (invalid witness file)	.60	.39	9.1	40	error (invalid witness file)	8.0	4.2	150	420	-					-
eca-rers2012/Problem07_label39_false-unreach-call.c	unreach-call	timeout	900	590	9000	12000	2.3	0	error (invalid witness file)	.49	.33	9.9	40	error (invalid witness file)	7.8	4.2	140	430	-					-
eca-rers2012/Problem07_label40_false-unreach-call.c	unreach-call	timeout	900	610	9700	11000	2.3	0	error (invalid witness file)	.56	.36	8.1	40	error (invalid witness file)	8.0	4.2	140	440	-					-
eca-rers2012/Problem07_label42_false-unreach-call.c	unreach-call	timeout	910	500	8500	14000	2.3	0	error (invalid witness file)	.62	.40	7.6	40	error (invalid witness file)	7.6	4.1	140	430	-					-
eca-rers2012/Problem07_label44_false-unreach-call.c	unreach-call	timeout	910	480	8300	13000	2.3	0	error (invalid witness file)	.50	.32	8.7	39	error (invalid witness file)	7.5	4.1	130	430	-					-
eca-rers2012/Problem07_label46_false-unreach-call.c	unreach-call	timeout	900	520	9300	13000	2.3	0	error (invalid witness file)	.53	.33	11	41	error (invalid witness file)	8.1	4.3	140	430	-					-
eca-rers2012/Problem07_label47_false-unreach-call.c	unreach-call	timeout	900	470	7900	14000	2.3	0	error (invalid witness file)	.54	.34	8.7	41	error (invalid witness file)	7.6	4.1	150	420	-					-
eca-rers2012/Problem07_label48_false-unreach-call.c	unreach-call	timeout	900	470	7500	14000	2.3	0	error (invalid witness file)	.48	.32	7.9	40	error (invalid witness file)	8.4	4.5	180	430	-					-
eca-rers2012/Problem07_label58_false-unreach-call.c	unreach-call	timeout	900	610	11000	12000	2.6	0	error (invalid witness file)	.49	.32	8.8	39	error (invalid witness file)	7.9	4.3	150	430	-					-
eca-rers2012/Problem08_label01_false-unreach-call.c	unreach-call	timeout	900	700	12000	7900	2.3	0	error (invalid witness file)	.63	.41	6.4	42	error (invalid witness file)	8.9	4.9	150	530	-					-
eca-rers2012/Problem08_label02_false-unreach-call.c	unreach-call	timeout	900	690	11000	8400	2.3	0	error (invalid witness file)	.52	.34	7.1	40	error (invalid witness file)	8.4	4.6	160	520	-					-
eca-rers2012/Problem08_label04_false-unreach-call.c	unreach-call	timeout	900	690	11000	8800	2.3	0	error (invalid witness file)	.50	.32	10	39	error (invalid witness file)	8.4	4.6	150	520	-					-
eca-rers2012/Problem08_label05_false-unreach-call.c	unreach-call	timeout	900	690	12000	8400	2.3	0	error (invalid witness file)	.52	.35	12	41	error (invalid witness file)	8.2	4.5	170	510	-					-
eca-rers2012/Problem08_label06_false-unreach-call.c	unreach-call	timeout	900	700	11000	8700	2.3	0	error (invalid witness file)	.49	.32	8.3	39	error (invalid witness file)	9.6	5.2	140	520	-					-
eca-rers2012/Problem08_label07_false-unreach-call.c	unreach-call	timeout	900	660	11000	8600	2.3	0	error (invalid witness file)	.49	.33	6.2	40	error (invalid witness file)	8.3	4.6	130	510	-					-
eca-rers2012/Problem08_label10_false-unreach-call.c	unreach-call	timeout	900	680	13000	8000	2.3	0	error (invalid witness file)	.54	.33	12	41	error (invalid witness file)	9.0	4.8	160	530	-					-
eca-rers2012/Problem08_label13_false-unreach-call.c	unreach-call	timeout	900	730	12000	8200	2.3	0	error (invalid witness file)	.48	.30	8.3	40	error (invalid witness file)	8.9	4.9	190	520	-					-
eca-rers2012/Problem08_label15_false-unreach-call.c	unreach-call	timeout	900	710	10000	7400	2.3	0	error (invalid witness file)	.50	.32	9.7	40	error (invalid witness file)	8.7	4.7	140	520	-					-
eca-rers2012/Problem08_label24_false-unreach-call.c	unreach-call	timeout	900	700	11000	8100	2.3	0	error (invalid witness file)	.54	.33	12	40	error (invalid witness file)	8.5	4.7	180	520	-					-
eca-rers2012/Problem08_label25_false-unreach-call.c	unreach-call	timeout	900	690	12000	8500	2.3	0	error (invalid witness file)	.52	.34	9.2	40	error (invalid witness file)	8.4	4.6	95	520	-					-
eca-rers2012/Problem08_label26_false-unreach-call.c	unreach-call	timeout	900	700	11000	7900	2.3	0	error (invalid witness file)	.65	.41	4.9	40	error (invalid witness file)	9.2	5.0	170	520	-					-
eca-rers2012/Problem08_label28_false-unreach-call.c	unreach-call	timeout	900	690	11000	8700	2.3	0	error (invalid witness file)	.48	.32	9.4	40	error (invalid witness file)	8.7	4.8	170	520	-					-
eca-rers2012/Problem08_label29_false-unreach-call.c	unreach-call	timeout	900	720	14000	7900	2.3	0	error (invalid witness file)	.55	.35	10	41	error (invalid witness file)	8.9	4.8	160	530	-					-
eca-rers2012/Problem08_label34_false-unreach-call.c	unreach-call	timeout	900	660	9900	9300	2.3	0	error (invalid witness file)	.53	.34	13	39	error (invalid witness file)	8.7	4.7	160	520	-					-
eca-rers2012/Problem08_label37_false-unreach-call.c	unreach-call	timeout	900	670	9900	9000	2.3	0	error (invalid witness file)	.59	.38	11	43	error (invalid witness file)	8.6	4.8	160	520	-					-
eca-rers2012/Problem08_label43_false-unreach-call.c	unreach-call	timeout	900	690	13000	7900	2.3	0	error (invalid witness file)	.52	.33	11	42	error (invalid witness file)	7.8	4.4	120	510	-					-
eca-rers2012/Problem08_label46_false-unreach-call.c	unreach-call	timeout	900	720	10000	8200	2.3	0	error (invalid witness file)	.56	.35	5.5	40	error (invalid witness file)	9.2	5.1	120	520	-					-
eca-rers2012/Problem08_label48_false-unreach-call.c	unreach-call	timeout	900	660	11000	9500	2.3	0	error (invalid witness file)	.50	.32	10	39	error (invalid witness file)	8.8	4.8	170	520	-					-
eca-rers2012/Problem08_label49_false-unreach-call.c	unreach-call	timeout	900	690	9500	8600	2.3	0	error (invalid witness file)	.56	.36	10	41	error (invalid witness file)	8.2	4.5	150	510	-					-
eca-rers2012/Problem08_label50_false-unreach-call.c	unreach-call	timeout	900	700	10000	8000	2.3	0	error (invalid witness file)	.52	.34	11	40	error (invalid witness file)	8.3	4.6	160	510	-					-
eca-rers2012/Problem08_label51_false-unreach-call.c	unreach-call	timeout	900	700	12000	7700	2.3	0	error (invalid witness file)	.48	.32	6.4	40	error (invalid witness file)	10	5.4	120	520	-					-
eca-rers2012/Problem08_label55_false-unreach-call.c	unreach-call	timeout	900	710	13000	7700	2.3	0	error (invalid witness file)	.49	.32	11	40	error (invalid witness file)	9.5	5.1	150	540	-					-
eca-rers2012/Problem08_label59_false-unreach-call.c	unreach-call	timeout	900	680	12000	8700	2.3	0	error (invalid witness file)	.61	.40	9.1	39	error (invalid witness file)	11	5.9	100	510	-					-
eca-rers2012/Problem09_label02_false-unreach-call.c	unreach-call	timeout	900	650	10000	9500	2.3	0	error (invalid witness file)	.66	.42	8.1	42	error (invalid witness file)	7.9	4.4	110	520	-					-
eca-rers2012/Problem09_label03_false-unreach-call.c	unreach-call	timeout	900	660	11000	9200	2.3	0	error (invalid witness file)	.50	.32	8.5	40	error (invalid witness file)	8.7	4.9	150	530	-					-
eca-rers2012/Problem09_label06_false-unreach-call.c	unreach-call	timeout	900	650	10000	9300	2.3	0	error (invalid witness file)	.58	.38	7.5	41	error (invalid witness file)	8.3	4.7	170	530	-					-
eca-rers2012/Problem09_label08_false-unreach-call.c	unreach-call	timeout	900	660	9800	8800	2.3	0	error (invalid witness file)	.47	.32	8.9	39	error (invalid witness file)	8.4	4.6	160	530	-					-
eca-rers2012/Problem09_label10_false-unreach-call.c	unreach-call	timeout	900	620	9700	9500	2.3	0	error (invalid witness file)	.51	.33	9.8	39	error (invalid witness file)	8.1	4.5	120	530	-					-
eca-rers2012/Problem09_label11_false-unreach-call.c	unreach-call	timeout	900	660	9900	9300	2.3	0	error (invalid witness file)	.52	.32	12	40	error (invalid witness file)	8.3	4.6	120	520	-					-
eca-rers2012/Problem09_label15_false-unreach-call.c	unreach-call	timeout	900	700	12000	9200	2.3	0	error (invalid witness file)	.60	.39	9.6	40	error (invalid witness file)	8.1	4.6	150	520	-					-
eca-rers2012/Problem09_label19_false-unreach-call.c	unreach-call	timeout	900	680	10000	8900	2.3	0	error (invalid witness file)	.49	.31	8.5	40	error (invalid witness file)	8.6	4.8	170	520	-					-
eca-rers2012/Problem09_label20_false-unreach-call.c	unreach-call	timeout	900	660	12000	9800	2.3	0	error (invalid witness file)	.49	.32	9.0	39	error (invalid witness file)	8.1	4.5	150	520	-					-
eca-rers2012/Problem09_label32_false-unreach-call.c	unreach-call	timeout	900	680	10000	9600	2.3	0	error (invalid witness file)	.55	.35	10	40	error (invalid witness file)	9.1	5.0	140	540	-					-
eca-rers2012/Problem09_label34_false-unreach-call.c	unreach-call	timeout	900	660	12000	9700	2.3	0	error (invalid witness file)	.48	.31	6.7	40	error (invalid witness file)	9.1	5.0	140	530	-					-
eca-rers2012/Problem09_label35_false-unreach-call.c	unreach-call	timeout	900	620	9100	9000	2.3	0	error (invalid witness file)	.54	.35	10	41	error (invalid witness file)	8.6	4.7	170	540	-					-
eca-rers2012/Problem09_label36_false-unreach-call.c	unreach-call	timeout	900	730	12000	7400	2.3	0	error (invalid witness file)	.48	.31	9.0	41	error (invalid witness file)	8.8	5.0	140	520	-					-
eca-rers2012/Problem09_label38_false-unreach-call.c	unreach-call	timeout	900	650	13000	9200	2.3	0	error (invalid witness file)	.49	.32	7.2	40	error (invalid witness file)	8.2	4.6	120	530	-					-
eca-rers2012/Problem09_label41_false-unreach-call.c	unreach-call	timeout	900	670	10000	9100	2.3	0	error (invalid witness file)	.50	.32	12	39	error (invalid witness file)	8.6	4.7	150	530	-					-
eca-rers2012/Problem09_label44_false-unreach-call.c	unreach-call	timeout	900	630	10000	10000	2.3	0	error (invalid witness file)	.53	.34	12	42	error (invalid witness file)	9.1	5.0	160	540	-					-
eca-rers2012/Problem09_label46_false-unreach-call.c	unreach-call	timeout	900	680	11000	8500	2.3	0	error (invalid witness file)	.56	.35	10	43	error (invalid witness file)	10	5.6	150	540	-					-
eca-rers2012/Problem09_label47_false-unreach-call.c	unreach-call	timeout	900	690	11000	9000	2.3	0	error (invalid witness file)	.49	.33	11	40	error (invalid witness file)	8.3	4.6	140	530	-					-
eca-rers2012/Problem09_label51_false-unreach-call.c	unreach-call	timeout	900	670	11000	8500	2.3	0	error (invalid witness file)	.50	.31	12	39	error (invalid witness file)	7.9	4.4	130	520	-					-
eca-rers2012/Problem09_label53_false-unreach-call.c	unreach-call	timeout	900	670	9800	9300	2.3	0	error (invalid witness file)	.50	.32	6.2	39	error (invalid witness file)	8.3	4.6	110	530	-					-
eca-rers2012/Problem09_label54_false-unreach-call.c	unreach-call	timeout	900	670	11000	8600	2.3	0	error (invalid witness file)	.48	.30	8.5	40	error (invalid witness file)	8.7	4.8	160	530	-					-
eca-rers2012/Problem09_label56_false-unreach-call.c	unreach-call	timeout	900	650	11000	9500	2.3	0	error (invalid witness file)	.52	.35	7.5	40	error (invalid witness file)	9.0	5.0	130	530	-					-
eca-rers2012/Problem09_label57_false-unreach-call.c	unreach-call	timeout	910	650	11000	8900	2.3	0	error (invalid witness file)	.59	.39	7.6	40	error (invalid witness file)	8.7	4.8	160	530	-					-
eca-rers2012/Problem09_label59_false-unreach-call.c	unreach-call	timeout	900	620	11000	9800	2.3	0	error (invalid witness file)	.50	.33	8.3	40	error (invalid witness file)	8.6	4.7	160	530	-					-
eca-rers2012/Problem10_label12_false-unreach-call.c	unreach-call	false(unreach-call)	240	210	3000	940	2.8	0	true	13	7.0	120	360	false(unreach-call)	16	8.6	210	570	-					-
eca-rers2012/Problem10_label15_false-unreach-call.c	unreach-call	false(unreach-call)	31	11	240	720	2.8	0	true	11	5.5	120	350	false(unreach-call)	19	11	280	540	-					-
eca-rers2012/Problem10_label24_false-unreach-call.c	unreach-call	timeout	900	880	11000	900	2.3	0	error (invalid witness file)	.58	.36	9.9	41	error (invalid witness file)	5.8	3.1	120	290	-					-
eca-rers2012/Problem10_label26_false-unreach-call.c	unreach-call	false(unreach-call)	45	19	390	1600	2.8	0	true	11	5.9	160	360	false(unreach-call)	17	8.9	190	550	-					-
eca-rers2012/Problem10_label28_false-unreach-call.c	unreach-call	false(unreach-call)	39	14	350	910	2.8	0	true	11	5.5	130	360	false(unreach-call)	17	8.7	210	540	-					-
eca-rers2012/Problem10_label29_false-unreach-call.c	unreach-call	false(unreach-call)	40	16	370	1100	2.8	0	true	11	5.8	150	350	false(unreach-call)	17	8.9	250	580	-					-
eca-rers2012/Problem10_label41_false-unreach-call.c	unreach-call	false(unreach-call)	56	35	590	930	2.7	0	true	11	5.5	110	340	false(unreach-call)	16	8.6	270	540	-					-
eca-rers2012/Problem10_label42_false-unreach-call.c	unreach-call	false(unreach-call)	21	6.1	170	670	2.7	0	true	10	5.4	180	340	false(unreach-call)	15	7.8	200	550	-					-
eca-rers2012/Problem10_label46_false-unreach-call.c	unreach-call	false(unreach-call)	11	3.4	84	500	2.6	0	true	11	5.7	140	330	false(unreach-call)	15	8.1	270	450	-					-
eca-rers2012/Problem10_label47_false-unreach-call.c	unreach-call	false(unreach-call)	130	93	1300	1100	2.7	0	true	11	5.6	130	340	false(unreach-call)	15	8.1	230	560	-					-
eca-rers2012/Problem10_label48_false-unreach-call.c	unreach-call	false(unreach-call)	67	34	620	1300	2.8	0	true	11	5.7	140	360	false(unreach-call)	17	8.8	260	570	-					-
eca-rers2012/Problem10_label50_false-unreach-call.c	unreach-call	timeout	900	870	12000	1000	2.3	0	error (invalid witness file)	.56	.35	11	42	error (invalid witness file)	7.3	3.8	98	300	-					-
eca-rers2012/Problem10_label55_false-unreach-call.c	unreach-call	false(unreach-call)	30	8.8	260	710	2.8	0	true	13	6.5	93	330	false(unreach-call)	16	8.6	300	580	-					-
eca-rers2012/Problem10_label57_false-unreach-call.c	unreach-call	false(unreach-call)	37	12	320	1100	2.8	0	true	11	5.7	190	370	false(unreach-call)	16	8.5	220	570	-					-
eca-rers2012/Problem10_label58_false-unreach-call.c	unreach-call	false(unreach-call)	71	40	710	1700	2.8	0	true	12	6.0	180	370	false(unreach-call)	17	9.1	250	580	-					-
eca-rers2012/Problem11_label00_false-unreach-call.c	unreach-call	false(unreach-call)	580	510	7000	5100	2.9	0	true	16	8.2	210	510	false(unreach-call)	20	10	230	570	-					-
eca-rers2012/Problem11_label08_false-unreach-call.c	unreach-call	false(unreach-call)	87	54	920	1300	2.8	0	true	14	7.3	220	330	false(unreach-call)	20	11	200	540	-					-
eca-rers2012/Problem11_label14_false-unreach-call.c	unreach-call	false(unreach-call)	34	11	290	790	2.8	0	true	14	7.2	210	460	false(unreach-call)	19	9.9	280	580	-					-
eca-rers2012/Problem11_label15_false-unreach-call.c	unreach-call	false(unreach-call)	130	94	1300	1300	2.7	0	true	13	6.5	130	450	false(unreach-call)	17	9.2	250	530	-					-
eca-rers2012/Problem11_label20_false-unreach-call.c	unreach-call	false(unreach-call)	210	140	2400	4400	2.9	.73	true	15	7.9	130	490	false(unreach-call)	23	12	210	560	-					-
eca-rers2012/Problem11_label29_false-unreach-call.c	unreach-call	timeout	900	880	11000	760	2.3	0	error (invalid witness file)	.65	.41	8.5	40	error (invalid witness file)	6.2	3.3	120	290	-					-
eca-rers2012/Problem11_label31_false-unreach-call.c	unreach-call	false(unreach-call)	300	240	3100	3700	2.9	0	true	14	7.3	230	460	false(unreach-call)	20	10	250	560	-					-
eca-rers2012/Problem11_label34_false-unreach-call.c	unreach-call	timeout	900	840	12000	3300	2.3	0	error (invalid witness file)	.51	.34	10	41	error (invalid witness file)	5.8	3.1	70	290	-					-
eca-rers2012/Problem11_label36_false-unreach-call.c	unreach-call	false(unreach-call)	53	25	460	910	2.7	0	true	13	6.8	200	470	false(unreach-call)	18	9.4	280	530	-					-
eca-rers2012/Problem11_label39_false-unreach-call.c	unreach-call	false(unreach-call)	210	160	2600	3300	2.9	0	true	15	7.7	190	470	false(unreach-call)	20	11	240	580	-					-
eca-rers2012/Problem11_label42_false-unreach-call.c	unreach-call	false(unreach-call)	49	21	530	1100	2.9	0	true	13	6.8	110	460	false(unreach-call)	19	9.9	260	550	-					-
eca-rers2012/Problem11_label43_false-unreach-call.c	unreach-call	false(unreach-call)	62	35	700	940	2.7	0	true	14	7.2	300	470	false(unreach-call)	18	9.3	210	540	-					-
eca-rers2012/Problem11_label49_false-unreach-call.c	unreach-call	false(unreach-call)	36	12	270	850	2.8	0	true	13	6.7	150	460	false(unreach-call)	18	9.4	230	560	-					-
eca-rers2012/Problem11_label51_false-unreach-call.c	unreach-call	false(unreach-call)	73	42	840	1100	2.8	0	true	16	8.3	240	500	false(unreach-call)	19	10	290	550	-					-
eca-rers2012/Problem11_label58_false-unreach-call.c	unreach-call	false(unreach-call)	28	9.1	220	770	2.8	0	true	17	8.8	160	460	false(unreach-call)	17	9.1	210	540	-					-
eca-rers2012/Problem12_label00_false-unreach-call.c	unreach-call	timeout	900	790	11000	6100	2.3	0	error (invalid witness file)	.51	.33	10	41	error (invalid witness file)	6.6	3.4	120	290	-					-
eca-rers2012/Problem12_label03_false-unreach-call.c	unreach-call	timeout	900	640	9800	8700	2.3	0	error (invalid witness file)	.68	.43	6.6	41	error (invalid witness file)	7.5	3.9	130	310	-					-
eca-rers2012/Problem12_label06_false-unreach-call.c	unreach-call	timeout	900	670	8400	7800	2.3	0	error (invalid witness file)	.54	.35	12	41	error (invalid witness file)	6.2	3.3	140	290	-					-
eca-rers2012/Problem12_label07_false-unreach-call.c	unreach-call	false(unreach-call)	630	460	6500	7200	3.7	0	true	36	19	390	1300	false(unreach-call)	30	16	270	840	-					-
eca-rers2012/Problem12_label08_false-unreach-call.c	unreach-call	timeout	900	660	9000	7800	2.3	0	error (invalid witness file)	.53	.35	6.7	40	error (invalid witness file)	6.9	3.6	120	300	-					-
eca-rers2012/Problem12_label10_false-unreach-call.c	unreach-call	timeout	900	730	11000	7200	2.3	0	error (invalid witness file)	.49	.32	6.4	40	error (invalid witness file)	6.1	3.2	130	290	-					-
eca-rers2012/Problem12_label13_false-unreach-call.c	unreach-call	timeout	900	740	12000	6900	2.3	0	error (invalid witness file)	.48	.30	7.9	39	error (invalid witness file)	6.7	3.5	140	300	-					-
eca-rers2012/Problem12_label19_false-unreach-call.c	unreach-call	timeout	900	680	10000	7800	2.3	0&#x