cpa-bam-bnb.results.sv-comp17.All

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