ukojak.2017-01-13_1305.results.sv-comp17.ReachSafety-ECA.xml.bz2.merged.xml.bz2

Tool	ULTIMATE Kojak f7c3ed31
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host	apollon*
OS	Linux 4.4.0-59-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution	2017-01-13 13:05:01 CET [[ 2017-01-15 02:11:27 CET ]] [[ 2017-01-15 04:07:55 CET ]] [[ 2017-01-15 02:33:46 CET ]] [[ 2017-01-15 04:34:07 CET ]]
Run set	sv-comp17.ReachSafety-ECA
Options	[[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-13_1305.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-13_1305.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-13_1305.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-13_1305.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/	verifier status	score	witness	inspect witness	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)
eca-rers2012/Problem01_label15_false-unreach-call.c	false(unreach-call)	1	wit	inspect	47	21	430	1400	2.8	0	true	13	6.7	210	430	false(unreach-call)	17	9.2	220	560	-					-
eca-rers2012/Problem01_label20_false-unreach-call.c	false(unreach-call)	1	wit	inspect	49	22	540	1500	2.8	0	true	13	6.8	140	480	false(unreach-call)	19	9.9	190	600	-					-
eca-rers2012/Problem01_label21_false-unreach-call.c	false(unreach-call)	1	wit	inspect	130	91	1900	1700	2.8	0	true	13	6.7	160	460	false(unreach-call)	18	9.2	210	600	-					-
eca-rers2012/Problem01_label32_false-unreach-call.c	false(unreach-call)	1	wit	inspect	57	27	530	1500	2.8	0	true	15	7.7	160	460	false(unreach-call)	19	9.7	260	610	-					-
eca-rers2012/Problem01_label33_false-unreach-call.c	false(unreach-call)	1	wit	inspect	44	21	440	1300	2.8	0	true	14	7.3	210	450	false(unreach-call)	18	9.4	200	600	-					-
eca-rers2012/Problem01_label35_false-unreach-call.c	false(unreach-call)	1	wit	inspect	80	49	930	1800	2.7	0	true	12	6.4	130	450	false(unreach-call)	17	8.7	210	590	-					-
eca-rers2012/Problem01_label37_false-unreach-call.c	false(unreach-call)	1	wit	inspect	110	76	1300	1700	2.8	0	true	12	6.4	150	460	false(unreach-call)	18	9.2	180	590	-					-
eca-rers2012/Problem01_label38_false-unreach-call.c	false(unreach-call)	1	wit	inspect	80	49	940	1800	2.7	0	true	15	7.5	120	460	false(unreach-call)	18	9.3	380	550	-					-
eca-rers2012/Problem01_label44_false-unreach-call.c	false(unreach-call)	1	wit	inspect	29	8.9	240	740	2.7	0	true	13	6.7	170	430	false(unreach-call)	16	8.5	230	560	-					-
eca-rers2012/Problem01_label47_false-unreach-call.c	false(unreach-call)	1	wit	inspect	180	130	2300	1900	2.8	0	true	13	6.9	220	450	false(unreach-call)	18	9.2	230	570	-					-
eca-rers2012/Problem01_label50_false-unreach-call.c	false(unreach-call)	1	wit	inspect	46	20	500	1300	2.7	0	true	13	6.8	150	460	false(unreach-call)	18	9.1	240	560	-					-
eca-rers2012/Problem01_label56_false-unreach-call.c	false(unreach-call)	1	wit	inspect	64	33	750	1500	2.8	0	true	12	6.4	130	460	false(unreach-call)	17	8.9	300	600	-					-
eca-rers2012/Problem01_label57_false-unreach-call.c	false(unreach-call)	1	wit	inspect	59	27	550	1500	2.8	0	true	15	7.8	160	460	false(unreach-call)	18	9.6	240	570	-					-
eca-rers2012/Problem02_label13_false-unreach-call.c	false(unreach-call)	1	wit	inspect	47	20	460	1200	2.7	0	true	15	7.6	86	430	false(unreach-call)	17	8.8	330	540	-					-
eca-rers2012/Problem02_label16_false-unreach-call.c	false(unreach-call)	1	wit	inspect	14	4.0	120	590	2.6	0	true	11	5.6	170	440	false(unreach-call)	15	8.0	270	550	-					-
eca-rers2012/Problem02_label43_false-unreach-call.c	false(unreach-call)	1	wit	inspect	17	4.9	140	730	2.6	0	true	11	5.7	170	430	false(unreach-call)	15	7.7	180	530	-					-
eca-rers2012/Problem02_label44_false-unreach-call.c	false(unreach-call)	1	wit	inspect	26	7.1	190	780	2.7	0	true	11	5.9	190	430	false(unreach-call)	20	10	110	540	-					-
eca-rers2012/Problem02_label45_false-unreach-call.c	false(unreach-call)	1	wit	inspect	47	21	460	1400	2.7	0	true	12	6.3	170	460	false(unreach-call)	17	9.1	280	570	-					-
eca-rers2012/Problem02_label50_false-unreach-call.c	false(unreach-call)	1	wit	inspect	49	23	460	1400	2.7	0	true	11	5.9	100	440	false(unreach-call)	17	9.0	190	600	-					-
eca-rers2012/Problem02_label59_false-unreach-call.c	false(unreach-call)	1	wit	inspect	60	32	650	1500	2.7	0	true	12	6.2	150	450	false(unreach-call)	21	11	180	570	-					-
eca-rers2012/Problem03_label09_false-unreach-call.c	timeout	0	wit	inspect	900	760	12000	5300	2.3	0	error (invalid witness file)	.51	.33	12	42	error (invalid witness file)	6.8	3.6	120	300	-					-
eca-rers2012/Problem03_label13_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	5000	2.3	0	error (invalid witness file)	.49	.31	6.9	39	error (invalid witness file)	6.2	3.3	100	300	-					-
eca-rers2012/Problem03_label26_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	5100	2.3	0	error (invalid witness file)	.55	.35	12	44	error (invalid witness file)	6.0	3.2	120	290	-					-
eca-rers2012/Problem03_label27_false-unreach-call.c	timeout	0	wit	inspect	900	760	12000	5300	2.3	0	error (invalid witness file)	.50	.32	10	42	error (invalid witness file)	5.7	3.0	46	300	-					-
eca-rers2012/Problem03_label28_false-unreach-call.c	timeout	0	wit	inspect	900	760	13000	3700	2.3	0	error (invalid witness file)	.50	.31	8.5	39	error (invalid witness file)	6.3	3.4	130	290	-					-
eca-rers2012/Problem03_label31_false-unreach-call.c	timeout	0	wit	inspect	900	770	13000	4900	2.3	0	error (invalid witness file)	.50	.33	11	40	error (invalid witness file)	6.2	3.3	130	300	-					-
eca-rers2012/Problem03_label35_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	3000	2.3	0	error (invalid witness file)	.50	.33	8.2	39	error (invalid witness file)	6.6	3.5	150	300	-					-
eca-rers2012/Problem03_label37_false-unreach-call.c	timeout	0	wit	inspect	900	760	14000	2900	2.3	0	error (invalid witness file)	.55	.35	9.9	41	error (invalid witness file)	6.6	3.5	130	300	-					-
eca-rers2012/Problem03_label39_false-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5000	2.3	0	error (invalid witness file)	.51	.34	8.0	41	error (invalid witness file)	6.3	3.3	110	290	-					-
eca-rers2012/Problem03_label43_false-unreach-call.c	timeout	0	wit	inspect	900	780	12000	2100	2.3	0	error (invalid witness file)	.51	.32	5.9	40	error (invalid witness file)	6.4	3.4	120	290	-					-
eca-rers2012/Problem03_label45_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	5000	2.3	0	error (invalid witness file)	.50	.33	12	40	error (invalid witness file)	6.6	3.5	130	300	-					-
eca-rers2012/Problem03_label50_false-unreach-call.c	timeout	0	wit	inspect	900	770	16000	5100	2.3	0	error (invalid witness file)	.50	.33	12	39	error (invalid witness file)	7.5	3.9	130	320	-					-
eca-rers2012/Problem03_label52_false-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4800	2.3	0	error (invalid witness file)	.51	.32	11	40	error (invalid witness file)	7.9	4.1	150	320	-					-
eca-rers2012/Problem04_label04_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	error (invalid witness file)	.60	.40	7.5	40	error (invalid witness file)	6.4	3.4	90	300	-					-
eca-rers2012/Problem04_label06_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	error (invalid witness file)	.49	.34	5.7	41	error (invalid witness file)	6.8	3.6	140	310	-					-
eca-rers2012/Problem04_label09_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4800	2.3	0	error (invalid witness file)	.48	.31	10	41	error (invalid witness file)	6.8	3.6	130	300	-					-
eca-rers2012/Problem04_label11_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	error (invalid witness file)	.53	.36	13	40	error (invalid witness file)	6.9	3.6	130	310	-					-
eca-rers2012/Problem04_label12_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	error (invalid witness file)	.51	.34	3.8	39	error (invalid witness file)	7.1	3.7	140	310	-					-
eca-rers2012/Problem04_label13_false-unreach-call.c	timeout	0	wit	inspect	900	800	15000	4700	2.3	0	error (invalid witness file)	.55	.38	7.5	42	error (invalid witness file)	6.8	3.6	140	300	-					-
eca-rers2012/Problem04_label14_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	error (invalid witness file)	.48	.31	9.7	39	error (invalid witness file)	6.5	3.4	100	300	-					-
eca-rers2012/Problem04_label15_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	error (invalid witness file)	.66	.42	7.9	43	error (invalid witness file)	6.7	3.6	130	300	-					-
eca-rers2012/Problem04_label17_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	error (invalid witness file)	.49	.33	9.1	42	error (invalid witness file)	7.5	3.9	130	310	-					-
eca-rers2012/Problem04_label18_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	error (invalid witness file)	.67	.42	7.0	41	error (invalid witness file)	6.7	3.6	92	310	-					-
eca-rers2012/Problem04_label19_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4700	2.3	0	error (invalid witness file)	.62	.39	5.8	41	error (invalid witness file)	7.2	3.8	130	310	-					-
eca-rers2012/Problem04_label26_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4800	2.3	0	error (invalid witness file)	.48	.33	8.1	39	error (invalid witness file)	6.1	3.3	130	290	-					-
eca-rers2012/Problem04_label27_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	error (invalid witness file)	.48	.32	6.4	40	error (invalid witness file)	6.9	3.7	140	300	-					-
eca-rers2012/Problem04_label31_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	error (invalid witness file)	.53	.35	9.0	40	error (invalid witness file)	6.4	3.4	130	300	-					-
eca-rers2012/Problem04_label32_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	error (invalid witness file)	.55	.35	14	42	error (invalid witness file)	6.8	3.6	120	300	-					-
eca-rers2012/Problem04_label35_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	error (invalid witness file)	.46	.30	7.6	39	error (invalid witness file)	6.6	3.5	120	300	-					-
eca-rers2012/Problem04_label36_false-unreach-call.c	timeout	0	wit	inspect	900	790	15000	4700	2.3	0	error (invalid witness file)	.52	.35	10	39	error (invalid witness file)	6.0	3.2	58	290	-					-
eca-rers2012/Problem04_label38_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	error (invalid witness file)	.50	.33	13	40	error (invalid witness file)	7.3	3.8	140	320	-					-
eca-rers2012/Problem04_label39_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	error (invalid witness file)	.64	.40	9.1	40	error (invalid witness file)	7.0	3.7	120	300	-					-
eca-rers2012/Problem04_label40_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	error (invalid witness file)	.51	.34	4.3	39	error (invalid witness file)	6.9	3.6	120	300	-					-
eca-rers2012/Problem04_label45_false-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4800	2.3	0	error (invalid witness file)	.53	.35	8.6	40	error (invalid witness file)	6.7	3.6	130	300	-					-
eca-rers2012/Problem04_label52_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4800	2.3	0	error (invalid witness file)	.50	.32	11	40	error (invalid witness file)	6.0	3.2	90	290	-					-
eca-rers2012/Problem04_label55_false-unreach-call.c	timeout	0	wit	inspect	900	790	15000	4700	2.3	0	error (invalid witness file)	.63	.40	7.8	40	error (invalid witness file)	7.5	3.9	140	310	-					-
eca-rers2012/Problem04_label58_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4700	2.3	0	error (invalid witness file)	.63	.40	8.1	42	error (invalid witness file)	7.3	3.8	160	310	-					-
eca-rers2012/Problem05_label00_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4900	2.3	0	error (invalid witness file)	.51	.34	12	40	error (invalid witness file)	6.7	3.5	120	300	-					-
eca-rers2012/Problem05_label01_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	5000	2.3	0	error (invalid witness file)	.52	.34	11	40	error (invalid witness file)	7.7	4.0	130	310	-					-
eca-rers2012/Problem05_label11_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4900	2.3	0	error (invalid witness file)	.52	.34	12	41	error (invalid witness file)	6.9	3.7	120	300	-					-
eca-rers2012/Problem05_label13_false-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4900	2.3	0	error (invalid witness file)	.53	.32	11	40	error (invalid witness file)	6.7	3.5	130	290	-					-
eca-rers2012/Problem05_label15_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4900	2.3	.39	error (invalid witness file)	.61	.40	6.3	44	error (invalid witness file)	7.1	3.8	150	300	-					-
eca-rers2012/Problem05_label18_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4800	2.3	0	error (invalid witness file)	.48	.31	4.4	40	error (invalid witness file)	7.3	3.8	140	300	-					-
eca-rers2012/Problem05_label24_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	5000	2.3	0	error (invalid witness file)	.51	.32	11	40	error (invalid witness file)	6.2	3.3	89	290	-					-
eca-rers2012/Problem05_label26_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4900	2.3	0	error (invalid witness file)	.52	.35	8.9	39	error (invalid witness file)	6.9	3.6	110	300	-					-
eca-rers2012/Problem05_label30_false-unreach-call.c	timeout	0	wit	inspect	900	800	15000	4800	2.3	0	error (invalid witness file)	.54	.35	12	39	error (invalid witness file)	6.8	3.6	110	310	-					-
eca-rers2012/Problem05_label32_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4900	2.3	0	error (invalid witness file)	.48	.31	5.8	39	error (invalid witness file)	6.4	3.4	110	300	-					-
eca-rers2012/Problem05_label33_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4900	2.3	0	error (invalid witness file)	.51	.32	11	40	error (invalid witness file)	7.1	3.7	140	290	-					-
eca-rers2012/Problem05_label36_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4900	2.3	0	error (invalid witness file)	.49	.32	11	40	error (invalid witness file)	7.1	3.7	140	310	-					-
eca-rers2012/Problem05_label37_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4800	2.3	0	error (invalid witness file)	.54	.35	4.3	43	error (invalid witness file)	7.3	3.8	150	310	-					-
eca-rers2012/Problem05_label38_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4800	2.3	0	error (invalid witness file)	.55	.35	11	42	error (invalid witness file)	7.5	3.9	130	310	-					-
eca-rers2012/Problem05_label39_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4900	2.3	0	error (invalid witness file)	.53	.33	12	42	error (invalid witness file)	6.6	3.5	120	290	-					-
eca-rers2012/Problem05_label40_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4900	2.3	0	error (invalid witness file)	.50	.33	12	39	error (invalid witness file)	6.4	3.4	110	290	-					-
eca-rers2012/Problem05_label41_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4900	2.3	0	error (invalid witness file)	.52	.34	12	40	error (invalid witness file)	7.0	3.7	100	290	-					-
eca-rers2012/Problem05_label44_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4900	2.3	0	error (invalid witness file)	.53	.35	9.6	42	error (invalid witness file)	7.2	3.8	140	310	-					-
eca-rers2012/Problem05_label47_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4900	2.3	0	error (invalid witness file)	.61	.40	6.3	40	error (invalid witness file)	6.9	3.6	130	300	-					-
eca-rers2012/Problem05_label48_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4900	2.3	0	error (invalid witness file)	.58	.37	14	46	error (invalid witness file)	7.3	3.8	140	300	-					-
eca-rers2012/Problem05_label51_false-unreach-call.c	timeout	0	wit	inspect	900	800	15000	4900	2.3	0	error (invalid witness file)	.56	.37	6.1	39	error (invalid witness file)	7.2	3.7	130	310	-					-
eca-rers2012/Problem05_label55_false-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4800	2.3	0	error (invalid witness file)	.52	.33	10	39	error (invalid witness file)	7.0	3.7	140	310	-					-
eca-rers2012/Problem05_label57_false-unreach-call.c	timeout	0	wit	inspect	900	800	15000	4900	2.3	0	error (invalid witness file)	.59	.36	15	42	error (invalid witness file)	7.1	3.8	140	300	-					-
eca-rers2012/Problem05_label58_false-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4900	2.3	0	error (invalid witness file)	.51	.32	10	40	error (invalid witness file)	7.0	3.7	96	310	-					-
eca-rers2012/Problem06_label00_false-unreach-call.c	timeout	0	wit	inspect	900	770	11000	5400	2.3	0	error (invalid witness file)	.53	.34	13	41	error (invalid witness file)	6.9	3.6	140	300	-					-
eca-rers2012/Problem06_label01_false-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5400	2.3	0	error (invalid witness file)	.48	.32	9.9	40	error (invalid witness file)	7.5	3.9	160	300	-					-
eca-rers2012/Problem06_label02_false-unreach-call.c	timeout	0	wit	inspect	900	780	14000	5300	2.3	0	error (invalid witness file)	.53	.34	11	42	error (invalid witness file)	6.8	3.6	130	300	-					-
eca-rers2012/Problem06_label04_false-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5400	2.3	0	error (invalid witness file)	.48	.32	10	40	error (invalid witness file)	6.7	3.6	100	310	-					-
eca-rers2012/Problem06_label05_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	5400	2.3	0	error (invalid witness file)	.62	.41	8.3	40	error (invalid witness file)	6.4	3.4	110	300	-					-
eca-rers2012/Problem06_label09_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	5400	2.3	0	error (invalid witness file)	.56	.36	10	42	error (invalid witness file)	7.6	4.0	120	310	-					-
eca-rers2012/Problem06_label10_false-unreach-call.c	timeout	0	wit	inspect	910	760	13000	5400	2.3	0	error (invalid witness file)	.51	.32	13	39	error (invalid witness file)	7.0	3.7	130	310	-					-
eca-rers2012/Problem06_label11_false-unreach-call.c	timeout	0	wit	inspect	900	760	13000	5400	2.3	0	error (invalid witness file)	.46	.30	8.6	39	error (invalid witness file)	6.9	3.7	140	300	-					-
eca-rers2012/Problem06_label12_false-unreach-call.c	timeout	0	wit	inspect	900	760	13000	5400	2.3	0	error (invalid witness file)	.51	.32	10	40	error (invalid witness file)	7.0	3.7	130	300	-					-
eca-rers2012/Problem06_label15_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	5300	2.3	0	error (invalid witness file)	.52	.35	8.3	40	error (invalid witness file)	7.1	3.8	140	310	-					-
eca-rers2012/Problem06_label20_false-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5300	2.3	0	error (invalid witness file)	.51	.33	9.4	40	error (invalid witness file)	7.3	3.8	130	310	-					-
eca-rers2012/Problem06_label21_false-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5300	2.3	0	error (invalid witness file)	.50	.34	6.6	40	error (invalid witness file)	6.7	3.5	76	300	-					-
eca-rers2012/Problem06_label24_false-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5300	2.3	0	error (invalid witness file)	.54	.36	9.3	40	error (invalid witness file)	6.8	3.6	150	300	-					-
eca-rers2012/Problem06_label27_false-unreach-call.c	timeout	0	wit	inspect	900	790	15000	5100	2.3	0	error (invalid witness file)	.53	.33	13	40	error (invalid witness file)	7.1	3.8	140	300	-					-
eca-rers2012/Problem06_label29_false-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5200	2.3	0	error (invalid witness file)	.51	.33	10	39	error (invalid witness file)	7.3	3.8	130	310	-					-
eca-rers2012/Problem06_label33_false-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5200	2.3	0	error (invalid witness file)	.62	.40	7.4	40	error (invalid witness file)	6.9	3.6	130	300	-					-
eca-rers2012/Problem06_label36_false-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5100	2.3	0	error (invalid witness file)	.51	.33	9.0	40	error (invalid witness file)	6.7	3.5	140	300	-					-
eca-rers2012/Problem06_label37_false-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5100	2.3	0	error (invalid witness file)	.58	.38	9.6	40	error (invalid witness file)	6.8	3.6	110	300	-					-
eca-rers2012/Problem06_label38_false-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5200	2.3	0	error (invalid witness file)	.54	.33	9.4	41	error (invalid witness file)	6.3	3.4	120	290	-					-
eca-rers2012/Problem06_label44_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5100	2.3	0	error (invalid witness file)	.64	.40	7.4	40	error (invalid witness file)	7.2	3.8	130	300	-					-
eca-rers2012/Problem06_label47_false-unreach-call.c	timeout	0	wit	inspect	900	790	14000	5100	2.3	0	error (invalid witness file)	.48	.32	12	39	error (invalid witness file)	6.9	3.7	120	300	-					-
eca-rers2012/Problem06_label48_false-unreach-call.c	timeout	0	wit	inspect	900	790	14000	5100	2.3	0	error (invalid witness file)	.51	.32	9.6	40	error (invalid witness file)	7.3	3.8	140	310	-					-
eca-rers2012/Problem06_label56_false-unreach-call.c	timeout	0	wit	inspect	900	790	15000	5100	2.3	0	error (invalid witness file)	.49	.31	6.7	39	error (invalid witness file)	7.1	3.7	130	290	-					-
eca-rers2012/Problem06_label58_false-unreach-call.c	timeout	0	wit	inspect	900	790	14000	5100	2.3	0	error (invalid witness file)	.51	.33	12	39	error (invalid witness file)	6.8	3.6	110	300	-					-
eca-rers2012/Problem06_label59_false-unreach-call.c	timeout	0	wit	inspect	900	790	14000	5100	2.3	0	error (invalid witness file)	.55	.35	6.6	43	error (invalid witness file)	6.9	3.7	140	310	-					-
eca-rers2012/Problem07_label03_false-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	error (invalid witness file)	.49	.32	6.0	40	error (invalid witness file)	7.6	4.1	140	440	-					-
eca-rers2012/Problem07_label05_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	error (invalid witness file)	.55	.36	13	44	error (invalid witness file)	8.2	4.4	160	430	-					-
eca-rers2012/Problem07_label06_false-unreach-call.c	timeout	0	wit	inspect	900	790	10000	5900	2.3	0	error (invalid witness file)	.52	.35	6.7	40	error (invalid witness file)	7.6	4.1	140	430	-					-
eca-rers2012/Problem07_label07_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	6000	2.3	0	error (invalid witness file)	.53	.35	8.1	41	error (invalid witness file)	7.7	4.1	140	420	-					-
eca-rers2012/Problem07_label09_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	error (invalid witness file)	.49	.31	7.3	39	error (invalid witness file)	7.8	4.2	150	430	-					-
eca-rers2012/Problem07_label11_false-unreach-call.c	timeout	0	wit	inspect	900	790	11000	6000	2.3	0	error (invalid witness file)	.63	.40	8.8	39	error (invalid witness file)	7.4	4.0	120	430	-					-
eca-rers2012/Problem07_label15_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	error (invalid witness file)	.50	.32	7.5	43	error (invalid witness file)	7.6	4.1	88	430	-					-
eca-rers2012/Problem07_label18_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	error (invalid witness file)	.50	.33	12	41	error (invalid witness file)	7.7	4.2	150	430	-					-
eca-rers2012/Problem07_label19_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	error (invalid witness file)	.53	.34	7.0	39	error (invalid witness file)	7.5	4.0	120	430	-					-
eca-rers2012/Problem07_label20_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	error (invalid witness file)	.57	.37	8.1	40	error (invalid witness file)	8.0	4.3	150	430	-					-
eca-rers2012/Problem07_label23_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	error (invalid witness file)	.50	.33	8.6	42	error (invalid witness file)	8.0	4.3	130	440	-					-
eca-rers2012/Problem07_label30_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	error (invalid witness file)	.52	.34	11	41	error (invalid witness file)	8.1	4.3	140	420	-					-
eca-rers2012/Problem07_label31_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	6000	2.3	0	error (invalid witness file)	.53	.35	10	41	error (invalid witness file)	8.2	4.4	150	430	-					-
eca-rers2012/Problem07_label35_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	error (invalid witness file)	.55	.37	12	41	error (invalid witness file)	7.2	3.9	140	420	-					-
eca-rers2012/Problem07_label36_false-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	error (invalid witness file)	.48	.31	6.1	40	error (invalid witness file)	7.9	4.3	140	430	-					-
eca-rers2012/Problem07_label37_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	error (invalid witness file)	.50	.32	10	40	error (invalid witness file)	7.5	4.0	160	420	-					-
eca-rers2012/Problem07_label39_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	6000	2.3	0	error (invalid witness file)	.51	.33	13	39	error (invalid witness file)	7.5	4.0	110	430	-					-
eca-rers2012/Problem07_label40_false-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	error (invalid witness file)	.64	.40	7.9	40	error (invalid witness file)	7.5	4.1	160	420	-					-
eca-rers2012/Problem07_label42_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	error (invalid witness file)	.52	.34	9.8	40	error (invalid witness file)	7.4	4.0	120	430	-					-
eca-rers2012/Problem07_label44_false-unreach-call.c	timeout	0	wit	inspect	900	790	11000	6000	2.3	0	error (invalid witness file)	.58	.37	7.3	40	error (invalid witness file)	8.5	4.5	150	430	-					-
eca-rers2012/Problem07_label46_false-unreach-call.c	timeout	0	wit	inspect	900	790	11000	6000	2.3	0	error (invalid witness file)	.52	.34	13	42	error (invalid witness file)	8.0	4.3	140	430	-					-
eca-rers2012/Problem07_label47_false-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	error (invalid witness file)	.47	.31	6.6	40	error (invalid witness file)	7.8	4.2	150	430	-					-
eca-rers2012/Problem07_label48_false-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5900	2.3	0	error (invalid witness file)	.52	.35	9.9	40	error (invalid witness file)	7.9	4.3	150	420	-					-
eca-rers2012/Problem07_label58_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	error (invalid witness file)	.49	.32	7.4	39	error (invalid witness file)	7.7	4.2	150	430	-					-
eca-rers2012/Problem08_label01_false-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7100	2.3	0	error (invalid witness file)	.54	.33	11	39	error (invalid witness file)	8.4	4.6	160	520	-					-
eca-rers2012/Problem08_label02_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7100	2.3	0	error (invalid witness file)	.50	.33	8.6	42	error (invalid witness file)	9.3	5.1	160	560	-					-
eca-rers2012/Problem08_label04_false-unreach-call.c	timeout	0	wit	inspect	900	770	13000	7100	2.3	0	error (invalid witness file)	.50	.33	10	39	error (invalid witness file)	8.4	4.6	120	520	-					-
eca-rers2012/Problem08_label05_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7000	2.3	0	error (invalid witness file)	.49	.31	7.0	39	error (invalid witness file)	8.3	4.6	130	520	-					-
eca-rers2012/Problem08_label06_false-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7300	2.3	0	error (invalid witness file)	.52	.32	9.9	40	error (invalid witness file)	8.8	4.8	170	520	-					-
eca-rers2012/Problem08_label07_false-unreach-call.c	timeout	0	wit	inspect	900	760	13000	7100	2.3	0	error (invalid witness file)	.68	.43	6.1	39	error (invalid witness file)	8.6	4.7	160	520	-					-
eca-rers2012/Problem08_label10_false-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7100	2.3	0	error (invalid witness file)	.61	.37	8.6	40	error (invalid witness file)	8.3	4.5	91	520	-					-
eca-rers2012/Problem08_label13_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7100	2.3	0	error (invalid witness file)	.54	.34	8.9	43	error (invalid witness file)	9.2	5.0	160	530	-					-
eca-rers2012/Problem08_label15_false-unreach-call.c	timeout	0	wit	inspect	900	770	10000	7000	2.3	0	error (invalid witness file)	.61	.38	10	40	error (invalid witness file)	9.1	5.0	170	530	-					-
eca-rers2012/Problem08_label24_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7100	2.3	0	error (invalid witness file)	.55	.36	12	40	error (invalid witness file)	9.4	5.1	170	540	-					-
eca-rers2012/Problem08_label25_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7100	2.3	0	error (invalid witness file)	.47	.32	6.4	39	error (invalid witness file)	8.7	4.7	140	520	-					-
eca-rers2012/Problem08_label26_false-unreach-call.c	timeout	0	wit	inspect	900	770	13000	7100	2.3	0	error (invalid witness file)	.67	.41	5.5	40	error (invalid witness file)	8.6	4.7	130	520	-					-
eca-rers2012/Problem08_label28_false-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7000	2.5	0	error (invalid witness file)	.51	.33	11	40	error (invalid witness file)	9.1	5.0	160	530	-					-
eca-rers2012/Problem08_label29_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7100	2.3	0	error (invalid witness file)	.53	.34	11	40	error (invalid witness file)	8.7	4.7	160	520	-					-
eca-rers2012/Problem08_label34_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	error (invalid witness file)	.50	.32	12	40	error (invalid witness file)	8.2	4.6	160	510	-					-
eca-rers2012/Problem08_label37_false-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7100	2.3	0	error (invalid witness file)	.49	.32	9.9	39	error (invalid witness file)	8.8	4.8	150	530	-					-
eca-rers2012/Problem08_label43_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7200	2.3	0	error (invalid witness file)	.56	.37	9.6	44	error (invalid witness file)	8.5	4.8	150	520	-					-
eca-rers2012/Problem08_label46_false-unreach-call.c	timeout	0	wit	inspect	900	760	13000	7100	2.3	0	error (invalid witness file)	.54	.35	10	40	error (invalid witness file)	8.5	4.7	130	520	-					-
eca-rers2012/Problem08_label48_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	error (invalid witness file)	.52	.34	13	40	error (invalid witness file)	8.8	4.8	180	520	-					-
eca-rers2012/Problem08_label49_false-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7100	2.3	0	error (invalid witness file)	.53	.34	9.7	39	error (invalid witness file)	8.7	4.8	120	520	-					-
eca-rers2012/Problem08_label50_false-unreach-call.c	timeout	0	wit	inspect	900	760	10000	7100	2.3	0	error (invalid witness file)	.49	.31	11	40	error (invalid witness file)	8.0	4.4	130	510	-					-
eca-rers2012/Problem08_label51_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7000	2.3	0	error (invalid witness file)	.56	.36	12	42	error (invalid witness file)	8.7	4.8	160	520	-					-
eca-rers2012/Problem08_label55_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7100	2.3	0	error (invalid witness file)	.52	.34	6.6	40	error (invalid witness file)	9.4	5.1	150	530	-					-
eca-rers2012/Problem08_label59_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7100	2.3	0	error (invalid witness file)	.59	.37	4.5	40	error (invalid witness file)	8.7	4.8	140	520	-					-
eca-rers2012/Problem09_label02_false-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7200	2.3	0	error (invalid witness file)	.51	.33	12	41	error (invalid witness file)	7.9	4.4	160	520	-					-
eca-rers2012/Problem09_label03_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7200	2.3	0	error (invalid witness file)	.56	.39	13	44	error (invalid witness file)	9.3	5.1	160	550	-					-
eca-rers2012/Problem09_label06_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7300	2.3	0	error (invalid witness file)	.51	.33	9.7	41	error (invalid witness file)	8.4	4.7	160	530	-					-
eca-rers2012/Problem09_label08_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	error (invalid witness file)	.50	.33	13	43	error (invalid witness file)	8.7	4.8	190	530	-					-
eca-rers2012/Problem09_label10_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7200	2.3	0	error (invalid witness file)	.52	.33	12	40	error (invalid witness file)	8.5	4.7	170	520	-					-
eca-rers2012/Problem09_label11_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7200	2.3	0	error (invalid witness file)	.52	.33	12	39	error (invalid witness file)	8.2	4.6	140	520	-					-
eca-rers2012/Problem09_label15_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7300	2.3	0	error (invalid witness file)	.50	.33	3.6	41	error (invalid witness file)	8.9	4.9	190	530	-					-
eca-rers2012/Problem09_label19_false-unreach-call.c	timeout	0	wit	inspect	900	740	13000	7200	2.3	0	error (invalid witness file)	.59	.37	9.7	43	error (invalid witness file)	8.7	4.8	160	630	-					-
eca-rers2012/Problem09_label20_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7200	2.3	0	error (invalid witness file)	.58	.38	9.6	43	error (invalid witness file)	9.7	5.3	190	570	-					-
eca-rers2012/Problem09_label32_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7200	2.3	0	error (invalid witness file)	.61	.40	6.8	39	error (invalid witness file)	9.7	5.3	180	560	-					-
eca-rers2012/Problem09_label34_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7200	2.3	0	error (invalid witness file)	.58	.38	5.0	41	error (invalid witness file)	8.7	4.8	170	520	-					-
eca-rers2012/Problem09_label35_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	error (invalid witness file)	.51	.32	9.7	40	error (invalid witness file)	8.2	4.6	170	520	-					-
eca-rers2012/Problem09_label36_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7300	2.3	0	error (invalid witness file)	.58	.37	14	45	error (invalid witness file)	8.2	4.6	160	520	-					-
eca-rers2012/Problem09_label38_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	error (invalid witness file)	.48	.32	6.0	40	error (invalid witness file)	8.1	4.6	140	520	-					-
eca-rers2012/Problem09_label41_false-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7200	2.3	0	error (invalid witness file)	.53	.35	13	42	error (invalid witness file)	8.7	4.8	160	530	-					-
eca-rers2012/Problem09_label44_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	error (invalid witness file)	.48	.32	13	39	error (invalid witness file)	8.2	4.6	140	520	-					-
eca-rers2012/Problem09_label46_false-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	error (invalid witness file)	.51	.33	9.0	41	error (invalid witness file)	9.6	5.3	140	530	-					-
eca-rers2012/Problem09_label47_false-unreach-call.c	timeout	0	wit	inspect	900	740	11000	7200	2.3	0	error (invalid witness file)	.50	.32	8.8	40	error (invalid witness file)	8.9	4.8	180	530	-					-
eca-rers2012/Problem09_label51_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7000	2.3	0	error (invalid witness file)	.51	.32	10	40	error (invalid witness file)	8.6	4.8	190	530	-					-
eca-rers2012/Problem09_label53_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7200	2.3	0	error (invalid witness file)	.49	.31	8.2	39	error (invalid witness file)	8.7	4.8	150	530	-					-
eca-rers2012/Problem09_label54_false-unreach-call.c	timeout	0	wit	inspect	900	740	11000	7100	2.3	0	error (invalid witness file)	.60	.38	8.9	43	error (invalid witness file)	8.6	4.8	140	530	-					-
eca-rers2012/Problem09_label56_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7400	2.3	0	error (invalid witness file)	.52	.33	9.0	41	error (invalid witness file)	9.3	5.1	180	540	-					-
eca-rers2012/Problem09_label57_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7200	2.3	0	error (invalid witness file)	.61	.38	8.0	39	error (invalid witness file)	8.6	4.8	140	530	-					-
eca-rers2012/Problem09_label59_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7200	2.3	0	error (invalid witness file)	.61	.39	7.3	40	error (invalid witness file)	8.6	4.8	160	530	-					-
eca-rers2012/Problem10_label12_false-unreach-call.c	false(unreach-call)	1	wit	inspect	170	140	2100	1400	2.8	0	true	6.6	3.5	94	310	false(unreach-call)	17	8.9	260	550	-					-
eca-rers2012/Problem10_label15_false-unreach-call.c	false(unreach-call)	1	wit	inspect	190	160	1700	1400	2.8	0	true	7.1	3.8	140	290	false(unreach-call)	18	10	280	550	-					-
eca-rers2012/Problem10_label24_false-unreach-call.c	false(unreach-call)	1	wit	inspect	33	13	290	1200	2.8	0	true	12	6.5	120	320	false(unreach-call)	17	8.9	180	560	-					-
eca-rers2012/Problem10_label26_false-unreach-call.c	false(unreach-call)	1	wit	inspect	35	13	290	1300	2.8	0	true	12	6.1	99	330	false(unreach-call)	16	8.6	220	550	-					-
eca-rers2012/Problem10_label28_false-unreach-call.c	timeout	0	wit	inspect	900	790	11000	6400	2.5	0	error (invalid witness file)	.52	.34	7.8	39	error (invalid witness file)	6.3	3.3	140	300	-					-
eca-rers2012/Problem10_label29_false-unreach-call.c	false(unreach-call)	1	wit	inspect	31	12	270	1100	2.8	0	true	9.6	5.1	130	340	false(unreach-call)	16	8.4	130	560	-					-
eca-rers2012/Problem10_label41_false-unreach-call.c	false(unreach-call)	1	wit	inspect	21	7.6	170	750	2.7	0	true	11	5.6	110	330	false(unreach-call)	16	8.6	200	560	-					-
eca-rers2012/Problem10_label42_false-unreach-call.c	false(unreach-call)	1	wit	inspect	24	8.0	190	870	2.7	0	true	8.8	4.6	160	320	false(unreach-call)	16	8.3	240	540	-					-
eca-rers2012/Problem10_label46_false-unreach-call.c	false(unreach-call)	1	wit	inspect	19	6.7	170	840	2.6	0	true	9.2	4.8	110	320	false(unreach-call)	16	8.3	100	430	-					-
eca-rers2012/Problem10_label47_false-unreach-call.c	false(unreach-call)	1	wit	inspect	21	7.5	180	730	2.7	0	true	9.4	4.9	110	330	false(unreach-call)	15	8.1	210	530	-					-
eca-rers2012/Problem10_label48_false-unreach-call.c	false(unreach-call)	1	wit	inspect	37	14	330	1400	2.7	0	true	9.2	4.9	170	320	false(unreach-call)	16	8.4	230	560	-					-
eca-rers2012/Problem10_label50_false-unreach-call.c	false(unreach-call)	1	wit	inspect	36	15	330	1300	2.8	0	true	12	6.1	120	330	false(unreach-call)	16	8.6	220	550	-					-
eca-rers2012/Problem10_label55_false-unreach-call.c	false(unreach-call)	1	wit	inspect	22	7.9	190	720	2.7	0	true	9.4	4.9	140	330	false(unreach-call)	16	8.4	220	530	-					-
eca-rers2012/Problem10_label57_false-unreach-call.c	false(unreach-call)	1	wit	inspect	36	14	320	1200	2.7	0	true	9.6	5.0	120	330	false(unreach-call)	18	9.2	290	530	-					-
eca-rers2012/Problem10_label58_false-unreach-call.c	false(unreach-call)	1	wit	inspect	37	13	320	1400	2.8	0	true	9.6	5.0	130	320	false(unreach-call)	17	9.0	210	550	-					-
eca-rers2012/Problem11_label00_false-unreach-call.c	false(unreach-call)	1	wit	inspect	75	44	790	2500	2.8	0	true	12	6.4	130	430	false(unreach-call)	18	9.5	160	560	-					-
eca-rers2012/Problem11_label08_false-unreach-call.c	false(unreach-call)	1	wit	inspect	41	19	390	1500	2.8	0	true	13	6.7	180	450	false(unreach-call)	18	9.7	240	530	-					-
eca-rers2012/Problem11_label14_false-unreach-call.c	false(unreach-call)	1	wit	inspect	42	19	360	1600	2.8	0	true	12	6.2	140	430	false(unreach-call)	17	9.1	190	530	-					-
eca-rers2012/Problem11_label15_false-unreach-call.c	false(unreach-call)	1	wit	inspect	42	19	400	1600	2.7	0	true	12	6.2	150	420	false(unreach-call)	17	9.0	210	560	-					-
eca-rers2012/Problem11_label20_false-unreach-call.c	false(unreach-call)	1	wit	inspect	65	36	700	2400	2.8	0	true	14	7.2	270	460	false(unreach-call)	20	11	330	550	-					-
eca-rers2012/Problem11_label29_false-unreach-call.c	false(unreach-call)	1	wit	inspect	43	19	430	1500	2.8	0	true	14	7.1	190	440	false(unreach-call)	22	11	240	550	-					-
eca-rers2012/Problem11_label31_false-unreach-call.c	false(unreach-call)	1	wit	inspect	79	50	870	2700	2.8	0	true	12	6.5	160	440	false(unreach-call)	19	10	250	550	-					-
eca-rers2012/Problem11_label34_false-unreach-call.c	false(unreach-call)	1	wit	inspect	72	44	790	3200	2.8	0	true	15	7.7	250	450	false(unreach-call)	20	11	310	550	-					-
eca-rers2012/Problem11_label36_false-unreach-call.c	false(unreach-call)	1	wit	inspect	44	20	420	1400	2.7	0	true	12	6.1	120	430	false(unreach-call)	18	9.3	230	530	-					-
eca-rers2012/Problem11_label39_false-unreach-call.c	false(unreach-call)	1	wit	inspect	74	45	760	2700	2.8	0	true	12	6.3	110	430	false(unreach-call)	19	10	290	560	-					-
eca-rers2012/Problem11_label42_false-unreach-call.c	false(unreach-call)	1	wit	inspect	44	20	400	1500	2.8	0	true	14	7.1	170	440	false(unreach-call)	18	9.4	270	540	-					-
eca-rers2012/Problem11_label43_false-unreach-call.c	false(unreach-call)	1	wit	inspect	46	20	410	1600	2.7	0	true	12	6.5	150	440	false(unreach-call)	20	10	360	540	-					-
eca-rers2012/Problem11_label49_false-unreach-call.c	false(unreach-call)	1	wit	inspect	42	19	370	1500	2.7	0	true	13	6.6	130	450	false(unreach-call)	20	10	240	550	-					-
eca-rers2012/Problem11_label51_false-unreach-call.c	false(unreach-call)	1	wit	inspect	47	21	460	1500	2.8	0	true	12	6.3	140	440	false(unreach-call)	23	12	220	540	-					-
eca-rers2012/Problem11_label58_false-unreach-call.c	false(unreach-call)	1	wit	inspect	43	20	390	1500	2.7	0	true	12	6.4	190	450	false(unreach-call)	18	9.2	220	540	-					-
eca-rers2012/Problem12_label00_false-unreach-call.c	timeout	0	wit	inspect	900	690	9700	9300	2.3	0	error (invalid witness file)	.52	.34	5.6	41	error (invalid witness file)	6.8	3.6	120	310	-					-
eca-rers2012/Problem12_label03_false-unreach-call.c	timeout	0	wit	inspect	900	690	9900	9300	2.3	0	error (invalid witness file)	.51	.34	8.5	42	error (invalid witness file)	7.0	3.7	140	300	-					-
eca-rers2012/Problem12_label06_false-unreach-call.c	timeout	0	wit	inspect	900	700	9300	9400	2.3	0	error (invalid witness file)	.57	.36	12	42	error (invalid witness file)	6.4	3.4	130	290	-					-
eca-rers2012/Problem12_label07_false-unreach-call.c	timeout	0	wit	inspect	900	670	9600	9300	2.3	0	error (invalid witness file)	.62	.39	7.2	41	error (invalid witness file)	6.9	3.7	140	310	-					-
eca-rers2012/Problem12_label08_false-unreach-call.c	timeout	0	wit	inspect	900	700	10000	9300	2.3	0	error (invalid witness file)	.51	.33	12	39	error (invalid witness file)	7.2	3.8	140	310	-					-
eca-rers2012/Problem12_label10_false-unreach-call.c	timeout	0	wit	inspect	900	700	9500	9300	2.3	0	error (invalid witness file)	.47	.30	6.1	39	error (invalid witness file)	6.9	3.6	120	300	-					-
eca-rers2012/Problem12_label13_false-unreach-call.c	timeout	0	wit	inspect	900	700	9200	9300	2.3	0	error (invalid witness file)	.51	.33	11	43	error (invalid witness file)	6.9	3.6	130	300	-					-
eca-rers2012/Problem12_label19_false-unreach-call.c	timeout	0	wit	inspect	900	680	9700	9300	2.3	0	error (invalid witness file)	.60	.39	8.4	42	error (invalid witness file)	7.1	3.8	140	310	-					-
eca-rers2012/Problem12_label20_false-unreach-call.c	timeout	0	wit	inspect	900	690	9900	9200	2.3	0	error (invalid witness file)	.53	.35	10	43	error (invalid witness file)	6.8	3.6	120	300	-					-
eca-rers2012/Problem12_label21_false-unreach-call.c	timeout	0	wit	inspect	900	700	11000	9300	2.3	0	error (invalid witness file)	.65	.41	8.6	42	error (invalid witness file)	6.9	3.6	130	310	-					-
eca-rers2012/Problem12_label25_false-unreach-call.c	timeout	0	wit	inspect	900	690	9000	9300	2.3	0	error (invalid witness file)	.48	.32	7.9	40	error (invalid witness file)	6.7	3.5	110	300	-					-
eca-rers2012/Problem12_label28_false-unreach-call.c	timeout	0	wit	inspect	900	700	9700	9300	2.3	0	error (invalid witness file)	.54	.35	12	42	error (invalid witness file)	7.9	4.1	120	320	-					-
eca-rers2012/Problem12_label30_false-unreach-call.c	timeout	0	wit	inspect	900	640	10000	9300	2.3	0	error (invalid witness file)	.50	.32	12	39	error (invalid witness file)	7.3	3.8	130	310	-					-
eca-rers2012/Problem12_label34_false-unreach-call.c	timeout	0	wit	inspect	900	670	8700	9300	2.3	0	error (invalid witness file)	.52	.34	12	41	error (invalid witness file)	7.1	3.7	160	310	-					-
eca-rers2012/Problem12_label35_false-unreach-call.c	timeout	0	wit	inspect	900	700	9700	9100	2.3	0	error (invalid witness file)	.66	.43	8.0	39	error (invalid witness file)	6.2	3.3	96	300	-					-
eca-rers2012/Problem12_label37_false-unreach-call.c	timeout	0	wit	inspect	900	720	9500	9100	2.3	0	error (invalid witness file)	.52	.33	4.2	41	error (invalid witness file)	7.3	3.8	120	300	-					-
eca-rers2012/Problem12_label38_false-unreach-call.c	timeout	0	wit	inspect	900	700	10000	9300	2.3	0	error (invalid witness file)	.49	.31	9.4	39	error (invalid witness file)	7.1	3.7	140	300	-					-
eca-rers2012/Problem12_label39_false-unreach-call.c	timeout	0	wit	inspect	900	670	9100	9300	2.3	0	error (invalid witness file)	.47	.30	10	39	error (invalid witness file)	6.8	3.6	120	310	-					-
eca-rers2012/Problem12_label40_false-unreach-call.c	timeout	0	wit	inspect	900	700	9200	9300	2.3	0	error (invalid witness file)	.51	.33	11	40	error (invalid witness file)	6.3	3.3	79	300	-					-
eca-rers2012/Problem12_label42_false-unreach-call.c	timeout	0	wit	inspect	900	690	10000	9400	2.3	0	error (invalid witness file)	.51	.32	8.1	39	error (invalid witness file)	6.7	3.5	120	310	-					-
eca-rers2012/Problem12_label48_false-unreach-call.c	timeout	0	wit	inspect	900	680	9800	9300	2.3	0	error (invalid witness file)	.61	.38	7.2	40	error (invalid witness file)	7.4	3.8	150	320	-					-
eca-rers2012/Problem12_label50_false-unreach-call.c	timeout	0	wit	inspect	900	680	9300	9300	2.3	0	error (invalid witness file)	.57	.36	10	40	error (invalid witness file)	6.7	3.6	140	300	-					-
eca-rers2012/Problem12_label51_false-unreach-call.c	timeout	0	wit	inspect	900	680	9600	9300	2.3	0	error (invalid witness file)	.48	.32	11	40	error (invalid witness file)	6.2	3.3	59	300	-					-
eca-rers2012/Problem12_label52_false-unreach-call.c	timeout	0	wit	inspect	900	710	10000	9300	2.3	0	error (invalid witness file)	.51	.33	12	41	error (invalid witness file)	6.7	3.6	97	310	-					-
eca-rers2012/Problem12_label55_false-unreach-call.c	timeout	0	wit	inspect	900	710	11000	9300	2.3	0	error (invalid witness file)	.62	.40	7.7	40	error (invalid witness file)	6.8	3.5	96	300	-					-
eca-rers2012/Problem13_label04_false-unreach-call.c	timeout	0	wit	inspect	900	570	8900	11000	2.3	0	error (invalid witness file)	.48	.31	10	39	error (invalid witness file)	6.4	3.4	120	290	-					-
eca-rers2012/Problem13_label06_false-unreach-call.c	timeout	0	wit	inspect	900	630	9000	11000	2.3	0	error (invalid witness file)	.49	.33	12	40	error (invalid witness file)	7.0	3.7	130	310	-					-
eca-rers2012/Problem13_label07_false-unreach-call.c	timeout	0	wit	inspect	900	600	9600	11000	2.3	0	error (invalid witness file)	.55	.36	9.6	41	error (invalid witness file)	8.0	4.2	120	310	-					-
eca-rers2012/Problem13_label11_false-unreach-call.c	timeout	0	wit	inspect	900	590	8400	11000	2.3	0	error (invalid witness file)	.52	.33	8.4	40	error (invalid witness file)	6.8	3.6	130	310	-					-
eca-rers2012/Problem13_label12_false-unreach-call.c	timeout	0	wit	inspect	900	580	9500	11000	2.3	0	error (invalid witness file)	.49	.31	12	39	error (invalid witness file)	6.7	3.5	140	300	-					-
eca-rers2012/Problem13_label16_false-unreach-call.c	timeout	0	wit	inspect	900	640	8100	11000	2.4	0	error (invalid witness file)	.54	.35	13	41	error (invalid witness file)	7.1	3.7	150	310	-					-
eca-rers2012/Problem13_label19_false-unreach-call.c	timeout	0	wit	inspect	900	590	9000	11000	2.3	0	error (invalid witness file)	.51	.32	10	39	error (invalid witness file)	6.8	3.6	120	300	-					-
eca-rers2012/Problem13_label21_false-unreach-call.c	timeout	0	wit	inspect	900	560	7900	11000	2.3	0	error (invalid witness file)	.50	.33	12	40	error (invalid witness file)	7.0	3.7	130	300	-					-
eca-rers2012/Problem13_label23_false-unreach-call.c	timeout	0	wit	inspect	900	590	8200	11000	2.3	0	error (invalid witness file)	.51	.33	13	40	error (invalid witness file)	7.0	3.7	99	320	-					-
eca-rers2012/Problem13_label24_false-unreach-call.c	timeout	0	wit	inspect	900	610	8500	11000	2.3	0	error (invalid witness file)	.51	.32	11	40	error (invalid witness file)	6.7	3.6	120	300	-					-
eca-rers2012/Problem13_label25_false-unreach-call.c	timeout	0	wit	inspect	900	600	10000	11000	2.3	0	error (invalid witness file)	.55	.36	7.9	39	error (invalid witness file)	7.7	4.0	140	320	-					-
eca-rers2012/Problem13_label28_false-unreach-call.c	timeout	0	wit	inspect	900	600	7900	11000	2.3	0	error (invalid witness file)	.51	.33	10	39	error (invalid witness file)	7.0	3.6	120	310	-					-
eca-rers2012/Problem13_label29_false-unreach-call.c	timeout	0	wit	inspect	900	550	8100	11000	2.3	0	error (invalid witness file)	.57	.34	11	43	error (invalid witness file)	6.5	3.4	80	300	-					-
eca-rers2012/Problem13_label30_false-unreach-call.c	timeout	0	wit	inspect	900	610	9100	11000	2.3	0	error (invalid witness file)	.54	.36	9.4	41	error (invalid witness file)	8.8	4.6	120	320	-					-
eca-rers2012/Problem13_label32_false-unreach-call.c	timeout	0	wit	inspect	900	610	8500	11000	2.3	0	error (invalid witness file)	.55	.35	9.2	44	error (invalid witness file)	7.6	4.0	110	320	-					-
eca-rers2012/Problem13_label35_false-unreach-call.c	timeout	0	wit	inspect	900	610	8400	11000	2.3	0	error (invalid witness file)	.50	.34	9.1	40	error (invalid witness file)	6.7	3.5	89	310	-					-
eca-rers2012/Problem13_label36_false-unreach-call.c	timeout	0	wit	inspect	900	590	9300	11000	2.3	0	error (invalid witness file)	.51	.32	8.3	39	error (invalid witness file)	7.1	3.7	130	300	-					-
eca-rers2012/Problem13_label40_false-unreach-call.c	timeout	0	wit	inspect	900	630	10000	11000	2.3	0	error (invalid witness file)	.55	.35	7.2	43	error (invalid witness file)	6.6	3.5	72	310	-					-
eca-rers2012/Problem13_label43_false-unreach-call.c	timeout	0	wit	inspect	900	560	7400	11000	2.3	0	error (invalid witness file)	.51	.31	9.5	41	error (invalid witness file)	7.0	3.7	140	300	-					-
eca-rers2012/Problem13_label44_false-unreach-call.c	timeout	0	wit	inspect	900	640	10000	11000	2.3	0	error (invalid witness file)	.50	.33	13	39	error (invalid witness file)	6.8	3.6	120	310	-					-
eca-rers2012/Problem13_label45_false-unreach-call.c	timeout	0	wit	inspect	900	610	8700	11000	2.3	0	error (invalid witness file)	.53	.34	12	41	error (invalid witness file)	7.4	3.9	100	310	-					-
eca-rers2012/Problem13_label48_false-unreach-call.c	timeout	0	wit	inspect	900	610	9700	11000	2.3	0	error (invalid witness file)	.54	.35	8.2	39	error (invalid witness file)	6.5	3.5	120	290	-					-
eca-rers2012/Problem13_label51_false-unreach-call.c	timeout	0	wit	inspect	900	620	8700	11000	2.3	0	error (invalid witness file)	.55	.35	11	41	error (invalid witness file)	6.9	3.6	130	310	-					-
eca-rers2012/Problem13_label54_false-unreach-call.c	timeout	0	wit	inspect	900	600	8800	11000	2.3	0	error (invalid witness file)	.57	.37	4.5	40	error (invalid witness file)	6.8	3.6	130	310	-					-
eca-rers2012/Problem13_label58_false-unreach-call.c	timeout	0	wit	inspect	900	610	8700	11000	2.3	0	error (invalid witness file)	.50	.32	10	40	error (invalid witness file)	6.6	3.4	130	300	-					-
eca-rers2012/Problem14_label02_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	2700	2.3	0	error (invalid witness file)	.56	.36	12	40	error (invalid witness file)	6.1	3.2	130	300	-					-
eca-rers2012/Problem14_label08_false-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3000	2.3	0	error (invalid witness file)	.50	.32	12	40	error (invalid witness file)	6.0	3.2	63	300	-					-
eca-rers2012/Problem14_label10_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	2700	2.3	0	error (invalid witness file)	.49	.32	9.7	40	error (invalid witness file)	6.2	3.3	110	290	-					-
eca-rers2012/Problem14_label11_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	2900	2.3	0	error (invalid witness file)	.53	.33	11	41	error (invalid witness file)	6.7	3.6	94	320	-					-
eca-rers2012/Problem14_label12_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3600	2.3	0	error (invalid witness file)	.55	.36	11	43	error (invalid witness file)	6.0	3.2	97	300	-					-
eca-rers2012/Problem14_label13_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3600	2.3	0	error (invalid witness file)	.60	.39	8.9	39	error (invalid witness file)	6.2	3.3	120	300	-					-
eca-rers2012/Problem14_label14_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3200	2.3	0	error (invalid witness file)	.50	.33	9.3	39	error (invalid witness file)	6.2	3.3	96	300	-					-
eca-rers2012/Problem14_label18_false-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3900	2.3	0	error (invalid witness file)	.49	.32	9.1	42	error (invalid witness file)	6.2	3.3	95	300	-					-
eca-rers2012/Problem14_label22_false-unreach-call.c	timeout	0	wit	inspect	900	850	10000	4000	2.3	0	error (invalid witness file)	.63	.39	8.3	41	error (invalid witness file)	6.2	3.3	120	300	-					-
eca-rers2012/Problem14_label27_false-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3800	2.3	0	error (invalid witness file)	.51	.33	11	40	error (invalid witness file)	6.2	3.2	120	290	-					-
eca-rers2012/Problem14_label28_false-unreach-call.c	timeout	0	wit	inspect	900	860	12000	2600	2.3	0	error (invalid witness file)	.50	.32	11	40	error (invalid witness file)	6.1	3.3	120	300	-					-
eca-rers2012/Problem14_label29_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	2800	2.3	0	error (invalid witness file)	.50	.33	9.7	39	error (invalid witness file)	6.5	3.4	130	300	-					-
eca-rers2012/Problem14_label31_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	2800	2.3	0	error (invalid witness file)	.53	.34	10	41	error (invalid witness file)	6.5	3.4	130	300	-					-
eca-rers2012/Problem14_label34_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3900	2.3	0	error (invalid witness file)	.50	.32	10	39	error (invalid witness file)	6.1	3.2	120	290	-					-
eca-rers2012/Problem14_label37_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3500	2.3	0	error (invalid witness file)	.48	.33	7.6	40	error (invalid witness file)	6.0	3.2	110	300	-					-
eca-rers2012/Problem14_label39_false-unreach-call.c	timeout	0	wit	inspect	900	850	11000	2800	2.3	0	error (invalid witness file)	.55	.35	12	43	error (invalid witness file)	6.1	3.2	120	300	-					-
eca-rers2012/Problem14_label40_false-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3200	2.3	0	error (invalid witness file)	.50	.31	3.8	40	error (invalid witness file)	5.7	3.1	110	280	-					-
eca-rers2012/Problem14_label41_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	2700	2.3	0	error (invalid witness file)	.52	.34	9.7	41	error (invalid witness file)	6.4	3.4	120	300	-					-
eca-rers2012/Problem14_label43_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3600	2.3	0	error (invalid witness file)	.57	.36	14	42	error (invalid witness file)	6.9	3.6	140	320	-					-
eca-rers2012/Problem14_label44_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3900	2.3	0	error (invalid witness file)	.49	.32	9.7	40	error (invalid witness file)	6.2	3.3	120	300	-					-
eca-rers2012/Problem14_label52_false-unreach-call.c	timeout	0	wit	inspect	900	850	14000	3800	2.3	0	error (invalid witness file)	.50	.33	12	40	error (invalid witness file)	5.8	3.2	120	290	-					-
eca-rers2012/Problem14_label54_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3900	2.3	0	error (invalid witness file)	.52	.35	9.2	40	error (invalid witness file)	6.8	3.5	140	290	-					-
eca-rers2012/Problem14_label56_false-unreach-call.c	timeout	0	wit	inspect	900	850	11000	2700	2.3	0	error (invalid witness file)	.53	.35	12	41	error (invalid witness file)	6.1	3.3	100	300	-					-
eca-rers2012/Problem14_label57_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3700	2.3	0	error (invalid witness file)	.57	.37	10	40	error (invalid witness file)	6.6	3.5	130	310	-					-
eca-rers2012/Problem14_label58_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3100	2.3	0	error (invalid witness file)	.54	.35	11	39	error (invalid witness file)	6.0	3.2	120	300	-					-
eca-rers2012/Problem15_label00_false-unreach-call.c	false(unreach-call)	1	wit	inspect	630	570	7900	5000	3.0	0	true	17	8.9	190	510	false(unreach-call)	25	13	410	680	-					-
eca-rers2012/Problem15_label02_false-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4600	2.3	0	error (invalid witness file)	.52	.34	8.8	40	error (invalid witness file)	6.9	3.6	130	300	-					-
eca-rers2012/Problem15_label03_false-unreach-call.c	false(unreach-call)	1	wit	inspect	620	560	8300	4800	3.1	0	true	19	9.8	270	520	false(unreach-call)	25	13	430	670	-					-
eca-rers2012/Problem15_label07_false-unreach-call.c	timeout	0	wit	inspect	900	830	9200	4600	2.5	0	error (invalid witness file)	.54	.36	13	41	error (invalid witness file)	6.5	3.5	92	300	-					-
eca-rers2012/Problem15_label09_false-unreach-call.c	false(unreach-call)	1	wit	inspect	520	460	5800	4600	3.2	0	true	17	8.9	230	500	false(unreach-call)	27	15	380	680	-					-
eca-rers2012/Problem15_label14_false-unreach-call.c	timeout	0	wit	inspect	900	830	9500	4700	2.5	0	error (invalid witness file)	.53	.35	10	39	error (invalid witness file)	6.4	3.4	130	310	-					-
eca-rers2012/Problem15_label15_false-unreach-call.c	false(unreach-call)	1	wit	inspect	410	350	5500	4700	3.1	0	true	24	12	190	520	false(unreach-call)	25	13	380	710	-					-
eca-rers2012/Problem15_label18_false-unreach-call.c	false(unreach-call)	1	wit	inspect	640	580	7900	4700	3.1	0	true	21	11	200	510	false(unreach-call)	25	13	250	690	-					-
eca-rers2012/Problem15_label22_false-unreach-call.c	timeout	0	wit	inspect	900	830	9300	4800	2.5	0	error (invalid witness file)	.52	.33	13	40	error (invalid witness file)	6.1	3.2	63	300	-					-
eca-rers2012/Problem15_label23_false-unreach-call.c	timeout	0	wit	inspect	900	840	11000	4700	2.5	0	error (invalid witness file)	.53	.35	13	40	error (invalid witness file)	6.6	3.5	99	310	-					-
eca-rers2012/Problem15_label25_false-unreach-call.c	timeout	0	wit	inspect	900	830	8700	4600	2.5	0	error (invalid witness file)	.65	.42	8.0	39	error (invalid witness file)	6.8	3.6	140	300	-					-
eca-rers2012/Problem15_label29_false-unreach-call.c	timeout	0	wit	inspect	900	830	10000	4400	2.5	0	error (invalid witness file)	.68	.43	8.8	43	error (invalid witness file)	6.3	3.3	100	300	-					-
eca-rers2012/Problem15_label30_false-unreach-call.c	false(unreach-call)	1	wit	inspect	480	410	5800	4600	3.0	0	true	19	9.6	190	520	false(unreach-call)	25	13	370	670	-					-
eca-rers2012/Problem15_label33_false-unreach-call.c	timeout	0	wit	inspect	900	830	11000	4500	2.5	0	error (invalid witness file)	.52	.34	11	39	error (invalid witness file)	6.4	3.4	130	300	-					-
eca-rers2012/Problem15_label34_false-unreach-call.c	false(unreach-call)	1	wit	inspect	480	420	7000	4500	3.2	0	true	19	9.8	150	530	false(unreach-call)	26	14	280	700	-					-
eca-rers2012/Problem15_label37_false-unreach-call.c	timeout	0	wit	inspect	900	830	7700	4600	2.5	0	error (invalid witness file)	.49	.32	8.4	40	error (invalid witness file)	7.8	4.1	140	310	-					-
eca-rers2012/Problem15_label38_false-unreach-call.c	timeout	0	wit	inspect	900	830	8800	4500	2.5	0	error (invalid witness file)	.53	.33	12	40	error (invalid witness file)	6.2	3.3	73	310	-					-
eca-rers2012/Problem15_label39_false-unreach-call.c	false(unreach-call)	1	wit	inspect	810	740	11000	4700	3.2	0	true	18	9.3	200	520	false(unreach-call)	27	14	420	700	-					-
eca-rers2012/Problem15_label40_false-unreach-call.c	timeout	0	wit	inspect	900	830	9600	4500	2.5	0	error (invalid witness file)	.56	.36	8.4	44	error (invalid witness file)	6.5	3.4	120	300	-					-
eca-rers2012/Problem15_label41_false-unreach-call.c	timeout	0	wit	inspect	900	830	10000	4500	2.5	0	error (invalid witness file)	.52	.35	12	40	error (invalid witness file)	6.4	3.4	110	300	-					-
eca-rers2012/Problem15_label45_false-unreach-call.c	timeout	0	wit	inspect	900	840	10000	4600	2.5	0	error (invalid witness file)	.48	.31	9.4	40	error (invalid witness file)	6.2	3.3	120	300	-					-
eca-rers2012/Problem15_label47_false-unreach-call.c	false(unreach-call)	1	wit	inspect	640	580	8900	4500	3.2	0	true	20	10	180	520	false(unreach-call)	26	14	420	660	-					-
eca-rers2012/Problem15_label48_false-unreach-call.c	false(unreach-call)	1	wit	inspect	520	460	7200	4600	3.1	0	true	18	9.0	240	520	false(unreach-call)	26	14	370	660	-					-
eca-rers2012/Problem15_label50_false-unreach-call.c	false(unreach-call)	1	wit	inspect	690	630	8800	4600	3.1	0	true	18	9.3	150	510	false(unreach-call)	26	13	360	660	-					-
eca-rers2012/Problem15_label51_false-unreach-call.c	timeout	0	wit	inspect	900	830	10000	4600	2.5	0	error (invalid witness file)	.48	.32	7.3	39	error (invalid witness file)	6.6	3.4	89	300	-					-
eca-rers2012/Problem16_label00_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3900	2.3	0	error (invalid witness file)	.52	.34	11	44	error (invalid witness file)	6.3	3.3	88	300	-					-
eca-rers2012/Problem16_label01_false-unreach-call.c	timeout	0	wit	inspect	900	840	11000	3800	2.3	0	error (invalid witness file)	.52	.35	6.0	40	error (invalid witness file)	6.2	3.3	85	300	-					-
eca-rers2012/Problem16_label03_false-unreach-call.c	timeout	0	wit	inspect	900	840	13000	4400	2.3	0	error (invalid witness file)	.57	.36	6.5	39	error (invalid witness file)	7.8	4.1	77	300	-					-
eca-rers2012/Problem16_label04_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	4000	2.3	0	error (invalid witness file)	.48	.31	7.6	40	error (invalid witness file)	7.1	3.7	130	320	-					-
eca-rers2012/Problem16_label05_false-unreach-call.c	timeout	0	wit	inspect	900	840	11000	3900	2.3	0	error (invalid witness file)	.58	.37	10	41	error (invalid witness file)	6.7	3.6	120	300	-					-
eca-rers2012/Problem16_label06_false-unreach-call.c	timeout	0	wit	inspect	900	840	11000	3900	2.3	0	error (invalid witness file)	.51	.34	12	39	error (invalid witness file)	6.1	3.3	120	290	-					-
eca-rers2012/Problem16_label08_false-unreach-call.c	timeout	0	wit	inspect	900	850	13000	4500	2.3	0	error (invalid witness file)	.60	.39	7.6	39	error (invalid witness file)	6.3	3.4	110	300	-					-
eca-rers2012/Problem16_label14_false-unreach-call.c	timeout	0	wit	inspect	900	850	11000	4600	2.3	0	error (invalid witness file)	.52	.35	11	41	error (invalid witness file)	6.4	3.4	130	300	-					-
eca-rers2012/Problem16_label15_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3900	2.3	0	error (invalid witness file)	.50	.33	11	40	error (invalid witness file)	6.4	3.4	93	300	-					-
eca-rers2012/Problem16_label18_false-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4400	2.3	0	error (invalid witness file)	.50	.32	8.2	40	error (invalid witness file)	6.3	3.3	90	310	-					-
eca-rers2012/Problem16_label20_false-unreach-call.c	timeout	0	wit	inspect	900	840	11000	4500	2.3	0	error (invalid witness file)	.70	.43	9.0	42	error (invalid witness file)	6.7	3.6	130	300	-					-
eca-rers2012/Problem16_label22_false-unreach-call.c	timeout	0	wit	inspect	900	840	10000	4000	2.3	0	error (invalid witness file)	.49	.32	7.6	39	error (invalid witness file)	6.2	3.3	100	300	-					-
eca-rers2012/Problem16_label27_false-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4500	2.3	0	error (invalid witness file)	.51	.32	12	39	error (invalid witness file)	6.5	3.4	130	290	-					-
eca-rers2012/Problem16_label30_false-unreach-call.c	timeout	0	wit	inspect	900	840	12000	3800	2.3	0	error (invalid witness file)	.49	.32	9.9	40	error (invalid witness file)	6.6	3.5	130	290	-					-
eca-rers2012/Problem16_label31_false-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4100	2.3	0	error (invalid witness file)	.52	.34	12	40	error (invalid witness file)	6.2	3.3	100	290	-					-
eca-rers2012/Problem16_label33_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	4000	2.3	0	error (invalid witness file)	.50	.32	11	40	error (invalid witness file)	6.7	3.5	140	290	-					-
eca-rers2012/Problem16_label37_false-unreach-call.c	timeout	0	wit	inspect	900	840	12000	3800	2.3	0	error (invalid witness file)	.50	.34	4.4	39	error (invalid witness file)	6.2	3.3	120	300	-					-
eca-rers2012/Problem16_label38_false-unreach-call.c	timeout	0	wit	inspect	900	840	13000	3800	2.3	0	error (invalid witness file)	.51	.34	9.1	39	error (invalid witness file)	6.7	3.5	130	310	-					-
eca-rers2012/Problem16_label41_false-unreach-call.c	timeout	0	wit	inspect	900	840	13000	4200	2.3	0	error (invalid witness file)	.56	.37	9.0	44	error (invalid witness file)	6.9	3.7	120	300	-					-
eca-rers2012/Problem16_label43_false-unreach-call.c	timeout	0	wit	inspect	900	840	11000	4000	2.3	0	error (invalid witness file)	.62	.41	6.8	40	error (invalid witness file)	6.8	3.6	130	300	-					-
eca-rers2012/Problem16_label44_false-unreach-call.c	timeout	0	wit	inspect	900	840	14000	4000	2.3	0	error (invalid witness file)	.52	.33	4.8	41	error (invalid witness file)	6.6	3.5	110	290	-					-
eca-rers2012/Problem16_label46_false-unreach-call.c	timeout	0	wit	inspect	900	850	12000	4400	2.3	0	error (invalid witness file)	.49	.32	8.4	39	error (invalid witness file)	7.9	4.2	100	310	-					-
eca-rers2012/Problem16_label51_false-unreach-call.c	timeout	0	wit	inspect	900	850	14000	4600	2.3	0	error (invalid witness file)	.65	.42	8.5	39	error (invalid witness file)	7.0	3.7	130	310	-					-
eca-rers2012/Problem16_label52_false-unreach-call.c	timeout	0	wit	inspect	900	840	11000	4200	2.3	0	error (invalid witness file)	.53	.33	11	42	error (invalid witness file)	6.7	3.5	140	310	-					-
eca-rers2012/Problem16_label54_false-unreach-call.c	timeout	0	wit	inspect	900	840	13000	3900	2.3	0	error (invalid witness file)	.54	.34	15	42	error (invalid witness file)	6.8	3.6	130	300	-					-
eca-rers2012/Problem17_label04_false-unreach-call.c	timeout	0	wit	inspect	900	810	12000	6100	2.3	0	error (invalid witness file)	.54	.35	12	42	error (invalid witness file)	6.1	3.2	89	300	-					-
eca-rers2012/Problem17_label07_false-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6100	2.3	0	error (invalid witness file)	.64	.41	5.1	40	error (invalid witness file)	7.0	3.8	140	300	-					-
eca-rers2012/Problem17_label09_false-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6100	2.3	0	error (invalid witness file)	.60	.40	9.1	40	error (invalid witness file)	6.6	3.5	120	310	-					-
eca-rers2012/Problem17_label13_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6100	2.3	0	error (invalid witness file)	.49	.31	8.9	39	error (invalid witness file)	6.6	3.5	130	300	-					-
eca-rers2012/Problem17_label16_false-unreach-call.c	timeout	0	wit	inspect	900	790	10000	6100	2.3	0	error (invalid witness file)	.49	.31	8.0	41	error (invalid witness file)	6.5	3.4	130	300	-					-
eca-rers2012/Problem17_label20_false-unreach-call.c	timeout	0	wit	inspect	900	810	10000	6100	2.3	0	error (invalid witness file)	.52	.33	10	39	error (invalid witness file)	6.4	3.4	120	290	-					-
eca-rers2012/Problem17_label23_false-unreach-call.c	timeout	0	wit	inspect	900	790	10000	6100	2.3	0	error (invalid witness file)	.65	.41	5.2	40	error (invalid witness file)	7.1	3.7	120	310	-					-
eca-rers2012/Problem17_label25_false-unreach-call.c	timeout	0	wit	inspect	900	790	11000	6100	2.3	0	error (invalid witness file)	.58	.38	7.6	41	error (invalid witness file)	7.5	3.9	130	320	-					-
eca-rers2012/Problem17_label26_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6200	2.3	0	error (invalid witness file)	.50	.32	7.3	40	error (invalid witness file)	6.9	3.7	110	300	-					-
eca-rers2012/Problem17_label30_false-unreach-call.c	timeout	0	wit	inspect	900	790	12000	6100	2.3	0	error (invalid witness file)	.50	.32	8.8	40	error (invalid witness file)	6.4	3.4	120	300	-					-
eca-rers2012/Problem17_label31_false-unreach-call.c	timeout	0	wit	inspect	900	810	9800	6200	2.3	0	error (invalid witness file)	.52	.34	11	42	error (invalid witness file)	7.5	3.9	140	310	-					-
eca-rers2012/Problem17_label33_false-unreach-call.c	timeout	0	wit	inspect	900	810	11000	6100	2.3	0	error (invalid witness file)	.51	.34	11	41	error (invalid witness file)	7.1	3.8	140	310	-					-
eca-rers2012/Problem17_label34_false-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6100	2.3	0	error (invalid witness file)	.53	.35	9.9	42	error (invalid witness file)	6.8	3.5	130	310	-					-
eca-rers2012/Problem17_label35_false-unreach-call.c	timeout	0	wit	inspect	900	790	10000	6200	2.3	0	error (invalid witness file)	.55	.35	11	41	error (invalid witness file)	6.8	3.6	130	300	-					-
eca-rers2012/Problem17_label37_false-unreach-call.c	timeout	0	wit	inspect	900	810	12000	6200	2.3	0	error (invalid witness file)	.50	.33	12	39	error (invalid witness file)	6.9	3.6	120	300	-					-
eca-rers2012/Problem17_label40_false-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6100	2.3	0	error (invalid witness file)	.49	.32	11	40	error (invalid witness file)	6.5	3.4	130	300	-					-
eca-rers2012/Problem17_label46_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6200	2.3	0	error (invalid witness file)	.52	.34	12	40	error (invalid witness file)	7.0	3.6	78	310	-					-
eca-rers2012/Problem17_label49_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6300	2.3	0	error (invalid witness file)	.49	.32	9.7	40	error (invalid witness file)	6.7	3.5	130	310	-					-
eca-rers2012/Problem17_label50_false-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6200	2.3	0	error (invalid witness file)	.51	.34	9.8	40	error (invalid witness file)	6.4	3.4	130	290	-					-
eca-rers2012/Problem17_label52_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6100	2.3	0	error (invalid witness file)	.63	.42	7.9	40	error (invalid witness file)	6.6	3.5	120	300	-					-
eca-rers2012/Problem17_label53_false-unreach-call.c	timeout	0	wit	inspect	900	800	10000	6100	2.3	0	error (invalid witness file)	.56	.36	10	40	error (invalid witness file)	6.6	3.5	130	300	-					-
eca-rers2012/Problem17_label54_false-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6100	2.3	0	error (invalid witness file)	.59	.39	10	41	error (invalid witness file)	7.2	3.8	130	300	-					-
eca-rers2012/Problem17_label55_false-unreach-call.c	timeout	0	wit	inspect	900	800	10000	6200	2.3	0	error (invalid witness file)	.52	.34	9.9	39	error (invalid witness file)	8.2	4.3	92	300	-					-
eca-rers2012/Problem17_label57_false-unreach-call.c	timeout	0	wit	inspect	900	780	10000	6200	2.3	0	error (invalid witness file)	.51	.33	11	39	error (invalid witness file)	6.4	3.4	94	300	-					-
eca-rers2012/Problem18_label00_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7700	2.3	0	error (invalid witness file)	.47	.30	7.9	39	error (invalid witness file)	6.9	3.6	120	300	-					-
eca-rers2012/Problem18_label01_false-unreach-call.c	timeout	0	wit	inspect	900	750	13000	7600	2.3	0	error (invalid witness file)	.55	.35	11	40	error (invalid witness file)	7.2	3.8	95	300	-					-
eca-rers2012/Problem18_label03_false-unreach-call.c	timeout	0	wit	inspect	900	750	9700	7700	2.3	0	error (invalid witness file)	.52	.35	11	40	error (invalid witness file)	6.9	3.6	120	310	-					-
eca-rers2012/Problem18_label06_false-unreach-call.c	timeout	0	wit	inspect	900	730	11000	7700	2.3	0	error (invalid witness file)	.60	.39	8.2	40	error (invalid witness file)	6.7	3.5	120	310	-					-
eca-rers2012/Problem18_label08_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7600	2.3	0	error (invalid witness file)	.50	.33	8.8	40	error (invalid witness file)	6.5	3.4	97	300	-					-
eca-rers2012/Problem18_label09_false-unreach-call.c	timeout	0	wit	inspect	900	720	9900	7700	2.3	0	error (invalid witness file)	.56	.37	9.9	41	error (invalid witness file)	6.0	3.2	67	300	-					-
eca-rers2012/Problem18_label10_false-unreach-call.c	timeout	0	wit	inspect	900	760	9200	7700	2.3	0	error (invalid witness file)	.50	.33	6.2	40	error (invalid witness file)	7.6	4.0	130	320	-					-
eca-rers2012/Problem18_label12_false-unreach-call.c	timeout	0	wit	inspect	900	730	9800	7600	2.3	0	error (invalid witness file)	.57	.35	11	42	error (invalid witness file)	6.6	3.5	98	300	-					-
eca-rers2012/Problem18_label19_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7700	2.3	0	error (invalid witness file)	.48	.31	9.1	40	error (invalid witness file)	5.9	3.2	120	290	-					-
eca-rers2012/Problem18_label20_false-unreach-call.c	timeout	0	wit	inspect	900	730	11000	7700	2.3	0	error (invalid witness file)	.53	.34	11	39	error (invalid witness file)	6.8	3.6	120	310	-					-
eca-rers2012/Problem18_label25_false-unreach-call.c	timeout	0	wit	inspect	900	720	9900	7700	2.3	0	error (invalid witness file)	.55	.35	11	42	error (invalid witness file)	6.5	3.4	120	300	-					-
eca-rers2012/Problem18_label27_false-unreach-call.c	timeout	0	wit	inspect	900	740	12000	7700	2.3	0	error (invalid witness file)	.58	.35	11	40	error (invalid witness file)	6.6	3.5	130	300	-					-
eca-rers2012/Problem18_label31_false-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7700	2.3	0	error (invalid witness file)	.52	.35	8.0	40	error (invalid witness file)	7.2	3.8	130	300	-					-
eca-rers2012/Problem18_label32_false-unreach-call.c	timeout	0	wit	inspect	900	750	9300	7700	2.3	0	error (invalid witness file)	.51	.33	12	40	error (invalid witness file)	8.0	4.1	150	320	-					-
eca-rers2012/Problem18_label33_false-unreach-call.c	timeout	0	wit	inspect	900	720	10000	7700	2.3	0	error (invalid witness file)	.48	.32	10	40	error (invalid witness file)	7.1	3.7	140	300	-					-
eca-rers2012/Problem18_label34_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7700	2.3	0	error (invalid witness file)	.52	.33	9.8	39	error (invalid witness file)	6.6	3.5	130	300	-					-
eca-rers2012/Problem18_label35_false-unreach-call.c	timeout	0	wit	inspect	900	730	12000	7700	2.3	0	error (invalid witness file)	.52	.36	7.7	40	error (invalid witness file)	6.8	3.6	140	300	-					-
eca-rers2012/Problem18_label36_false-unreach-call.c	timeout	0	wit	inspect	900	740	9800	7700	2.3	0	error (invalid witness file)	.50	.33	7.7	40	error (invalid witness file)	8.2	4.3	100	300	-					-
eca-rers2012/Problem18_label38_false-unreach-call.c	timeout	0	wit	inspect	900	750	10000	7700	2.3	0	error (invalid witness file)	.51	.32	7.3	40	error (invalid witness file)	7.0	3.7	130	300	-					-
eca-rers2012/Problem18_label39_false-unreach-call.c	timeout	0	wit	inspect	900	750	10000	7700	2.3	0	error (invalid witness file)	.51	.33	11	39	error (invalid witness file)	7.0	3.6	130	300	-					-
eca-rers2012/Problem18_label45_false-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7800	2.3	0	error (invalid witness file)	.54	.35	11	43	error (invalid witness file)	6.4	3.4	130	290	-					-
eca-rers2012/Problem18_label49_false-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7700	2.3	0	error (invalid witness file)	.50	.33	12	40	error (invalid witness file)	6.8	3.6	150	310	-					-
eca-rers2012/Problem18_label52_false-unreach-call.c	timeout	0	wit	inspect	900	730	10000	7700	2.3	0	error (invalid witness file)	.50	.34	6.0	42	error (invalid witness file)	6.0	3.2	88	290	-					-
eca-rers2012/Problem18_label55_false-unreach-call.c	timeout	0	wit	inspect	900	740	11000	7700	2.3	0	error (invalid witness file)	.58	.37	9.6	40	error (invalid witness file)	7.4	3.9	120	310	-					-
eca-rers2012/Problem18_label57_false-unreach-call.c	timeout	0	wit	inspect	900	750	9900	7500	2.3	0	error (invalid witness file)	.60	.39	7.6	42	error (invalid witness file)	7.3	3.8	140	300	-					-
eca-rers2012/Problem19_label10_false-unreach-call.c	timeout	0	wit	inspect	900	580	8800	12000	2.3	0	error (invalid witness file)	.50	.33	11	40	error (invalid witness file)	6.7	3.5	120	300	-					-
eca-rers2012/Problem19_label11_false-unreach-call.c	timeout	0	wit	inspect	900	600	8700	12000	2.3	0	error (invalid witness file)	.47	.30	7.0	39	error (invalid witness file)	7.1	3.7	150	300	-					-
eca-rers2012/Problem19_label14_false-unreach-call.c	timeout	0	wit	inspect	900	620	9300	13000	2.3	0	error (invalid witness file)	.62	.39	8.0	41	error (invalid witness file)	7.9	4.2	120	340	-					-
eca-rers2012/Problem19_label17_false-unreach-call.c	timeout	0	wit	inspect	900	610	9800	12000	2.3	0	error (invalid witness file)	.49	.33	6.5	43	error (invalid witness file)	6.7	3.5	140	300	-					-
eca-rers2012/Problem19_label18_false-unreach-call.c	timeout	0	wit	inspect	900	620	9400	12000	2.3	0	error (invalid witness file)	.52	.33	8.1	39	error (invalid witness file)	6.6	3.5	120	290	-					-
eca-rers2012/Problem19_label19_false-unreach-call.c	timeout	0	wit	inspect	900	610	8300	12000	2.3	0	error (invalid witness file)	.48	.31	6.3	41	error (invalid witness file)	6.7	3.5	140	300	-					-
eca-rers2012/Problem19_label21_false-unreach-call.c	timeout	0	wit	inspect	900	550	7500	11000	2.3	0	error (invalid witness file)	.58	.36	10	41	error (invalid witness file)	7.0	3.7	130	300	-					-
eca-rers2012/Problem19_label22_false-unreach-call.c	timeout	0	wit	inspect	910	600	9600	12000	2.3	0	error (invalid witness file)	.49	.32	7.0	40	error (invalid witness file)	7.2	3.8	130	310	-					-
eca-rers2012/Problem19_label26_false-unreach-call.c	timeout	0	wit	inspect	910	600	8900	12000	2.3	0	error (invalid witness file)	.50	.32	8.8	41	error (invalid witness file)	7.8	4.1	120	320	-					-
eca-rers2012/Problem19_label27_false-unreach-call.c	timeout	0	wit	inspect	900	590	8100	11000	2.3	0	error (invalid witness file)	.49	.32	11	39	error (invalid witness file)	7.0	3.7	120	300	-					-
eca-rers2012/Problem19_label28_false-unreach-call.c	timeout	0	wit	inspect	900	610	8700	12000	2.3	0	error (invalid witness file)	.51	.33	12	40	error (invalid witness file)	7.3	3.8	120	310	-					-
eca-rers2012/Problem19_label29_false-unreach-call.c	timeout	0	wit	inspect	900	600	8200	12000	2.3	0	error (invalid witness file)	.54	.35	12	42	error (invalid witness file)	7.6	4.0	170	310	-					-
eca-rers2012/Problem19_label31_false-unreach-call.c	timeout	0	wit	inspect	900	580	8400	12000	2.3	0	error (invalid witness file)	.72	.45	10	45	error (invalid witness file)	7.2	3.8	110	310	-					-
eca-rers2012/Problem19_label32_false-unreach-call.c	timeout	0	wit	inspect	900	590	9900	12000	2.3	0	error (invalid witness file)	.49	.32	12	39	error (invalid witness file)	7.9	4.1	110	330	-					-
eca-rers2012/Problem19_label41_false-unreach-call.c	timeout	0	wit	inspect	900	560	7900	11000	2.3	0	error (invalid witness file)	.49	.32	8.0	40	error (invalid witness file)	7.4	3.9	150	310	-					-
eca-rers2012/Problem19_label42_false-unreach-call.c	timeout	0	wit	inspect	900	580	7900	12000	2.3	0	error (invalid witness file)	.53	.34	10	41	error (invalid witness file)	7.4	3.9	130	300	-					-
eca-rers2012/Problem19_label43_false-unreach-call.c	timeout	0	wit	inspect	900	620	8600	13000	2.3	0	error (invalid witness file)	.64	.40	8.7	41	error (invalid witness file)	7.1	3.8	140	310	-					-
eca-rers2012/Problem19_label47_false-unreach-call.c	timeout	0	wit	inspect	900	580	7300	12000	2.3	0	error (invalid witness file)	.56	.35	11	43	error (invalid witness file)	7.1	3.7	140	310	-					-
eca-rers2012/Problem19_label50_false-unreach-call.c	timeout	0	wit	inspect	900	600	8000	12000	2.3	0	error (invalid witness file)	.53	.34	13	41	error (invalid witness file)	7.5	4.0	150	310	-					-
eca-rers2012/Problem19_label51_false-unreach-call.c	timeout	0	wit	inspect	900	600	8300	12000	2.3	0	error (invalid witness file)	.51	.32	12	40	error (invalid witness file)	7.0	3.7	140	310	-					-
eca-rers2012/Problem19_label53_false-unreach-call.c	timeout	0	wit	inspect	900	610	9500	12000	2.3	0	error (invalid witness file)	.49	.32	11	39	error (invalid witness file)	7.1	3.8	130	310	-					-
eca-rers2012/Problem19_label55_false-unreach-call.c	timeout	0	wit	inspect	900	590	8600	12000	2.3	0	error (invalid witness file)	.51	.33	9.3	41	error (invalid witness file)	7.0	3.7	140	300	-					-
eca-rers2012/Problem19_label58_false-unreach-call.c	timeout	0	wit	inspect	900	610	8300	12000	2.3	0	error (invalid witness file)	.63	.40	4.8	43	error (invalid witness file)	6.8	3.7	140	300	-					-
eca-rers2012/Problem19_label59_false-unreach-call.c	timeout	0	wit	inspect	900	580	8000	12000	2.3	0	error (invalid witness file)	.52	.34	11	41	error (invalid witness file)	6.9	3.7	130	300	-					-
eca-rers2012/Problem01_label00_true-unreach-call.c	true	2	wit	inspect	36	15	350	1100	2.9	0	-					-					true	330	310	5300	2200	true	60	37	540	1000
eca-rers2012/Problem01_label01_true-unreach-call.c	true	2	wit	inspect	26	8.0	230	710	2.9	0	-					-					true	200	190	6000	2300	true	33	19	520	720
eca-rers2012/Problem01_label02_true-unreach-call.c	true	2	wit	inspect	27	7.7	210	710	2.9	0	-					-					true	240	230	4500	2000	true	43	26	410	850
eca-rers2012/Problem01_label03_true-unreach-call.c	true	2	wit	inspect	26	7.4	200	720	2.9	0	-					-					true	240	230	7000	2200	true	28	16	340	750
eca-rers2012/Problem01_label04_true-unreach-call.c	true	2	wit	inspect	25	7.4	200	730	2.9	0	-					-					true	240	230	5700	2400	true	24	13	330	640
eca-rers2012/Problem01_label05_true-unreach-call.c	true	2	wit	inspect	25	7.2	210	730	2.9	0	-					-					true	220	200	5200	2300	true	26	15	440	620
eca-rers2012/Problem01_label06_true-unreach-call.c	true	2	wit	inspect	24	7.2	230	700	2.9	0	-					-					true	210	190	6800	2400	true	49	29	600	950
eca-rers2012/Problem01_label07_true-unreach-call.c	true	2	wit	inspect	24	7.0	200	760	2.9	0	-					-					true	250	230	5300	2200	true	33	19	380	730
eca-rers2012/Problem01_label08_true-unreach-call.c	true	2	wit	inspect	24	7.2	200	730	2.9	0	-					-					true	250	240	5800	2300	true	44	26	630	880
eca-rers2012/Problem01_label09_true-unreach-call.c	true	2	wit	inspect	24	7.2	190	780	2.9	0	-					-					true	230	220	5100	2400	true	42	24	820	760
eca-rers2012/Problem01_label10_true-unreach-call.c	true	2	wit	inspect	25	7.3	210	770	2.9	0	-					-					true	230	210	7000	2400	true	44	25	480	860
eca-rers2012/Problem01_label11_true-unreach-call.c	true	2	wit	inspect	29	11	280	940	2.9	0	-					-					true	270	260	6500	2400	true	44	26	570	820
eca-rers2012/Problem01_label12_true-unreach-call.c	true	2	wit	inspect	39	15	350	1100	2.9	0	-					-					true	260	240	7800	2500	true	55	33	810	1000
eca-rers2012/Problem01_label13_true-unreach-call.c	true	2	wit	inspect	26	7.9	200	810	2.9	0	-					-					true	210	190	6500	2500	true	34	19	540	730
eca-rers2012/Problem01_label14_true-unreach-call.c	true	2	wit	inspect	26	7.4	200	750	2.9	0	-					-					true	270	250	5200	2100	true	52	31	800	1000
eca-rers2012/Problem01_label16_true-unreach-call.c	true	2	wit	inspect	25	7.3	210	750	2.9	0	-					-					true	210	200	5700	2300	true	35	20	410	740
eca-rers2012/Problem01_label17_true-unreach-call.c	true	2	wit	inspect	24	7.2	200	770	2.9	0	-					-					true	220	210	6200	2300	true	37	21	320	720
eca-rers2012/Problem01_label18_true-unreach-call.c	true	2	wit	inspect	24	7.2	180	750	2.9	0	-					-					true	220	210	4600	2100	true	42	24	430	810
eca-rers2012/Problem01_label19_true-unreach-call.c	true	2	wit	inspect	26	7.3	210	770	2.9	0	-					-					true	160	150	4500	2300	true	37	21	450	730
eca-rers2012/Problem01_label22_true-unreach-call.c	true	2	wit	inspect	24	7.2	190	710	2.9	0	-					-					true	290	270	4600	2000	true	45	26	410	870
eca-rers2012/Problem01_label23_true-unreach-call.c	true	2	wit	inspect	32	11	320	870	2.9	0	-					-					true	250	240	5300	2200	true	55	32	610	850
eca-rers2012/Problem01_label24_true-unreach-call.c	true	2	wit	inspect	48	22	500	1100	2.9	0	-					-					true	270	250	6400	2500	true	38	22	410	700
eca-rers2012/Problem01_label25_true-unreach-call.c	true	2	wit	inspect	25	7.8	220	780	2.9	0	-					-					true	260	240	5600	2400	true	49	29	470	930
eca-rers2012/Problem01_label26_true-unreach-call.c	true	2	wit	inspect	26	7.4	250	760	2.9	0	-					-					true	220	210	5500	2100	true	33	19	290	750
eca-rers2012/Problem01_label27_true-unreach-call.c	true	2	wit	inspect	24	7.4	180	690	2.9	0	-					-					true	210	190	6200	2200	true	40	23	690	810
eca-rers2012/Problem01_label28_true-unreach-call.c	true	2	wit	inspect	26	7.5	210	800	2.9	0	-					-					true	240	220	4700	2000	true	32	18	360	720
eca-rers2012/Problem01_label29_true-unreach-call.c	true	2	wit	inspect	24	7.2	210	730	2.9	0	-					-					true	270	250	4900	2100	true	37	21	430	720
eca-rers2012/Problem01_label30_true-unreach-call.c	true	2	wit	inspect	24	7.1	200	780	2.9	0	-					-					true	220	210	6900	2400	true	50	30	570	1000
eca-rers2012/Problem01_label31_true-unreach-call.c	true	2	wit	inspect	26	7.4	210	770	2.9	0	-					-					true	280	260	4200	2000	true	30	17	450	660
eca-rers2012/Problem01_label34_true-unreach-call.c	true	2	wit	inspect	25	7.0	180	770	2.9	0	-					-					true	210	190	6700	2600	true	22	12	380	600
eca-rers2012/Problem01_label36_true-unreach-call.c	true	2	wit	inspect	34	12	280	940	2.9	0	-					-					true	340	320	6200	2400	true	55	33	750	1100
eca-rers2012/Problem01_label39_true-unreach-call.c	true	2	wit	inspect	34	13	330	1000	2.9	0	-					-					true	310	300	9400	2600	true	48	28	520	840
eca-rers2012/Problem01_label40_true-unreach-call.c	true	2	wit	inspect	39	16	380	1100	2.9	0	-					-					true	310	290	6200	2400	true	48	28	670	860
eca-rers2012/Problem01_label41_true-unreach-call.c	true	2	wit	inspect	28	9.8	240	840	2.9	0	-					-					true	230	220	5300	2400	true	48	28	600	880
eca-rers2012/Problem01_label42_true-unreach-call.c	true	2	wit	inspect	23	6.5	180	620	2.9	0	-					-					true	250	240	9400	2500	true	46	27	460	890
eca-rers2012/Problem01_label43_true-unreach-call.c	true	2	wit	inspect	30	11	260	810	2.9	0	-					-					true	290	270	8400	2500	true	37	21	620	730
eca-rers2012/Problem01_label45_true-unreach-call.c	true	2	wit	inspect	26	7.9	220	750	2.9	0	-					-					true	240	220	6600	2200	true	59	34	740	1100
eca-rers2012/Problem01_label46_true-unreach-call.c	true	2	wit	inspect	29	9.2	260	850	2.9	0	-					-					true	300	280	6000	2000	true	36	21	500	700
eca-rers2012/Problem01_label48_true-unreach-call.c	true	2	wit	inspect	37	13	310	1000	2.9	0	-					-					true	330	320	6800	2300	true	52	31	680	1100
eca-rers2012/Problem01_label49_true-unreach-call.c	true	2	wit	inspect	56	26	590	1400	2.9	0	-					-					true	340	320	6900	2200	true	55	33	730	1000
eca-rers2012/Problem01_label51_true-unreach-call.c	true	2	wit	inspect	35	14	330	1100	2.9	0	-					-					true	290	280	7100	3400	true	48	28	670	840
eca-rers2012/Problem01_label52_true-unreach-call.c	true	2	wit	inspect	39	15	350	1000	2.9	0	-					-					true	330	310	6800	2400	true	53	32	710	950
eca-rers2012/Problem01_label53_true-unreach-call.c	true	2	wit	inspect	28	9.8	270	820	2.9	0	-					-					true	340	330	5300	2100	true	48	28	820	880
eca-rers2012/Problem01_label54_true-unreach-call.c	true	2	wit	inspect	23	6.6	160	740	2.9	0	-					-					true	300	290	5800	2000	true	53	31	610	1100
eca-rers2012/Problem01_label55_true-unreach-call.c	true	2	wit	inspect	34	11	260	800	2.9	0	-					-					true	310	290	6000	2200	true	40	23	470	760
eca-rers2012/Problem01_label58_true-unreach-call.c	true	2	wit	inspect	29	8.9	250	860	2.9	0	-					-					true	250	230	6600	2200	true	34	20	310	700
eca-rers2012/Problem01_label59_true-unreach-call.c	true	2	wit	inspect	49	22	510	1200	2.9	0	-					-					true	260	240	7000	2500	true	54	33	580	910
eca-rers2012/Problem02_label00_true-unreach-call.c	true	2	wit	inspect	42	17	340	1100	2.9	0	-					-					true	280	260	5000	2600	true	44	25	630	820
eca-rers2012/Problem02_label01_true-unreach-call.c	true	2	wit	inspect	35	12	300	970	2.9	0	-					-					true	240	220	6300	2600	true	40	23	620	860
eca-rers2012/Problem02_label02_true-unreach-call.c	true	2	wit	inspect	310	250	4000	1800	2.9	0	-					-					true	830	810	14000	2900	true	54	32	550	1000
eca-rers2012/Problem02_label03_true-unreach-call.c	true	2	wit	inspect	33	13	300	1100	2.9	0	-					-					true	200	190	6400	2700	true	49	29	390	910
eca-rers2012/Problem02_label04_true-unreach-call.c	true	2	wit	inspect	40	17	420	1200	2.9	0	-					-					true	260	240	5200	2600	true	44	24	500	700
eca-rers2012/Problem02_label05_true-unreach-call.c	true	2	wit	inspect	32	12	330	1000	2.9	0	-					-					true	260	250	5800	2300	true	51	31	960	990
eca-rers2012/Problem02_label06_true-unreach-call.c	true	2	wit	inspect	620	520	9000	2100	2.9	0	-					-					timeout (true)	900	880	24000	2800	true	49	28	720	800
eca-rers2012/Problem02_label07_true-unreach-call.c	true	2	wit	inspect	33	12	280	980	2.9	0	-					-					true	300	280	5500	2400	true	42	25	580	780
eca-rers2012/Problem02_label08_true-unreach-call.c	true	2	wit	inspect	180	140	2400	2100	2.9	0	-					-					true	600	580	14000	2700	true	49	28	450	810
eca-rers2012/Problem02_label09_true-unreach-call.c	true	2	wit	inspect	42	19	440	1100	2.9	0	-					-					true	250	240	5600	2500	true	39	22	410	760
eca-rers2012/Problem02_label10_true-unreach-call.c	true	2	wit	inspect	46	19	420	1400	2.9	0	-					-					true	310	290	5900	2700	true	41	24	520	720
eca-rers2012/Problem02_label11_true-unreach-call.c	true	2	wit	inspect	47	20	500	1200	2.9	0	-					-					true	190	180	6700	2900	true	49	28	640	760
eca-rers2012/Problem02_label12_true-unreach-call.c	true	2	wit	inspect	44	20	400	1200	2.9	0	-					-					true	250	230	7200	2600	true	41	23	430	730
eca-rers2012/Problem02_label14_true-unreach-call.c	true	2	wit	inspect	42	19	460	1300	2.9	0	-					-					true	280	260	5900	2500	true	40	23	520	750
eca-rers2012/Problem02_label15_true-unreach-call.c	true	2	wit	inspect	50	25	590	1400	2.9	0	-					-					true	220	210	5800	3200	true	41	24	510	800
eca-rers2012/Problem02_label17_true-unreach-call.c	true	2	wit	inspect	17	5.0	120	570	2.9	0	-					-					true	190	180	5200	1800	true	41	24	440	910
eca-rers2012/Problem02_label18_true-unreach-call.c	true	2	wit	inspect	18	5.1	140	570	2.9	0	-					-					true	210	190	4200	2000	true	43	25	610	830
eca-rers2012/Problem02_label19_true-unreach-call.c	true	2	wit	inspect	15	4.5	120	520	2.9	0	-					-					true	170	150	3700	2400	true	18	9.9	300	580
eca-rers2012/Problem02_label20_true-unreach-call.c	true	2	wit	inspect	17	4.7	120	730	2.9	0	-					-					true	200	190	4000	2000	true	19	10	280	570
eca-rers2012/Problem02_label21_true-unreach-call.c	true	2	wit	inspect	15	4.4	120	590	2.9	0	-					-					true	190	180	3400	1900	true	19	10	410	560
eca-rers2012/Problem02_label22_true-unreach-call.c	true	2	wit	inspect	17	5.1	140	590	2.9	0	-					-					true	410	390	7900	2100	true	18	10	310	540
eca-rers2012/Problem02_label23_true-unreach-call.c	true	2	wit	inspect	16	4.5	130	530	2.9	0	-					-					true	210	190	4600	2000	true	18	9.9	230	560
eca-rers2012/Problem02_label24_true-unreach-call.c	true	2	wit	inspect	17	4.9	130	540	2.9	0	-					-					true	180	170	6000	2200	true	18	10	240	580
eca-rers2012/Problem02_label25_true-unreach-call.c	true	2	wit	inspect	17	4.6	140	590	2.9	0	-					-					true	200	190	4000	1900	true	18	10	250	560
eca-rers2012/Problem02_label26_true-unreach-call.c	true	2	wit	inspect	15	4.6	120	700	2.9	0	-					-					true	200	190	5600	2300	true	18	10	280	520
eca-rers2012/Problem02_label27_true-unreach-call.c	true	2	wit	inspect	16	4.8	120	680	2.9	0	-					-					true	320	310	7000	2200	true	19	10	270	550
eca-rers2012/Problem02_label28_true-unreach-call.c	true	2	wit	inspect	17	4.9	140	540	2.9	0	-					-					true	170	160	5800	2200	true	18	9.8	250	550
eca-rers2012/Problem02_label29_true-unreach-call.c	true	2	wit	inspect	39	14	410	1100	2.9	0	-					-					true	200	180	6100	2500	true	42	24	550	750
eca-rers2012/Problem02_label30_true-unreach-call.c	true	2	wit	inspect	36	13	350	1100	2.9	0	-					-					true	290	270	5500	2200	true	43	25	760	670
eca-rers2012/Problem02_label31_true-unreach-call.c	true	2	wit	inspect	36	13	320	1000	2.9	0	-					-					true	260	240	4800	2200	true	47	27	480	760
eca-rers2012/Problem02_label32_true-unreach-call.c	true	2	wit	inspect	34	13	300	950	2.9	0	-					-					true	200	180	5400	2100	true	36	20	420	680
eca-rers2012/Problem02_label33_true-unreach-call.c	true	2	wit	inspect	37	13	360	960	2.9	0	-					-					true	230	220	6800	2700	true	45	27	530	890
eca-rers2012/Problem02_label34_true-unreach-call.c	true	2	wit	inspect	180	140	2700	1500	2.9	0	-					-					true	510	500	17000	3200	true	47	26	460	760
eca-rers2012/Problem02_label35_true-unreach-call.c	true	2	wit	inspect	35	13	330	1000	2.9	0	-					-					true	200	180	5400	2300	true	46	27	390	870
eca-rers2012/Problem02_label36_true-unreach-call.c	true	2	wit	inspect	34	13	300	1000	2.9	0	-					-					true	230	220	6300	2700	true	46	28	380	880
eca-rers2012/Problem02_label37_true-unreach-call.c	true	2	wit	inspect	38	13	330	1200	2.9	0	-					-					true	200	190	6900	2300	true	40	23	400	820
eca-rers2012/Problem02_label38_true-unreach-call.c	true	2	wit	inspect	31	12	290	1000	2.9	0	-					-					true	250	230	5600	2200	true	42	24	530	760
eca-rers2012/Problem02_label39_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	1900	2.3	0	-					-					error (invalid witness file)	.64	.42	9.1	40	error (invalid witness file)	6.9	3.6	130	310
eca-rers2012/Problem02_label40_true-unreach-call.c	true	2	wit	inspect	35	13	280	1000	2.9	0	-					-					true	270	250	6300	2500	true	47	27	540	810
eca-rers2012/Problem02_label41_true-unreach-call.c	true	2	wit	inspect	70	42	720	1600	2.8	0	-					-					true	530	510	12000	2700	true	41	24	420	870
eca-rers2012/Problem02_label42_true-unreach-call.c	true	2	wit	inspect	30	10	270	940	2.9	0	-					-					true	320	300	5900	2100	true	43	25	750	790
eca-rers2012/Problem02_label46_true-unreach-call.c	true	2	wit	inspect	31	10	270	940	2.9	0	-					-					true	250	230	6900	2600	true	46	27	410	860
eca-rers2012/Problem02_label47_true-unreach-call.c	true	2	wit	inspect	28	8.8	240	910	2.9	0	-					-					true	230	210	5400	2800	true	52	31	790	1000
eca-rers2012/Problem02_label48_true-unreach-call.c	true	2	wit	inspect	28	10	270	930	2.9	0	-					-					true	280	260	5500	2500	true	42	24	740	890
eca-rers2012/Problem02_label49_true-unreach-call.c	true	2	wit	inspect	36	14	380	1100	2.9	0	-					-					true	320	300	4800	2300	true	42	24	470	850
eca-rers2012/Problem02_label51_true-unreach-call.c	true	2	wit	inspect	36	14	340	970	2.9	0	-					-					true	270	260	5900	2600	true	39	23	610	760
eca-rers2012/Problem02_label52_true-unreach-call.c	true	2	wit	inspect	37	15	320	1200	2.9	0	-					-					true	220	200	6800	2600	true	43	25	450	750
eca-rers2012/Problem02_label53_true-unreach-call.c	true	2	wit	inspect	130	94	1700	1700	2.9	0	-					-					true	730	710	18000	2800	true	63	38	940	1000
eca-rers2012/Problem02_label54_true-unreach-call.c	true	2	wit	inspect	37	15	330	1100	2.9	0	-					-					true	270	250	5800	2600	true	46	27	640	870
eca-rers2012/Problem02_label55_true-unreach-call.c	true	2	wit	inspect	40	14	390	1100	2.9	0	-					-					true	280	260	6800	2500	true	37	22	440	770
eca-rers2012/Problem02_label56_true-unreach-call.c	true	2	wit	inspect	36	14	370	1100	2.9	0	-					-					true	240	230	8300	2400	true	38	22	400	760
eca-rers2012/Problem02_label57_true-unreach-call.c	true	2	wit	inspect	38	15	320	1100	2.9	0	-					-					true	250	230	4800	2300	true	36	20	410	750
eca-rers2012/Problem02_label58_true-unreach-call.c	true	2	wit	inspect	40	15	370	970	2.9	0	-					-					true	220	210	6800	3000	true	42	24	380	740
eca-rers2012/Problem03_label00_true-unreach-call.c	timeout	0	wit	inspect	900	780	12000	4800	2.3	0	-					-					error (invalid witness file)	.49	.32	8.6	39	error (invalid witness file)	6.4	3.4	130	290
eca-rers2012/Problem03_label01_true-unreach-call.c	timeout	0	wit	inspect	900	750	14000	5300	2.3	0	-					-					error (invalid witness file)	.63	.39	8.4	39	error (invalid witness file)	6.7	3.5	110	310
eca-rers2012/Problem03_label02_true-unreach-call.c	timeout	0	wit	inspect	900	760	15000	5200	2.3	0	-					-					error (invalid witness file)	.52	.34	9.6	39	error (invalid witness file)	7.0	3.7	120	300
eca-rers2012/Problem03_label03_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	2100	2.3	0	-					-					error (invalid witness file)	.63	.40	8.1	39	error (invalid witness file)	6.6	3.5	130	290
eca-rers2012/Problem03_label04_true-unreach-call.c	timeout	0	wit	inspect	900	780	12000	4800	2.3	0	-					-					error (invalid witness file)	.58	.38	10	40	error (invalid witness file)	6.3	3.4	120	300
eca-rers2012/Problem03_label05_true-unreach-call.c	timeout	0	wit	inspect	900	760	14000	2500	2.3	0	-					-					error (invalid witness file)	.66	.42	8.5	40	error (invalid witness file)	6.5	3.4	130	300
eca-rers2012/Problem03_label06_true-unreach-call.c	true	1	wit	inspect	900	770	12000	5000	3.5	0	-					-					timeout	910	880	23000	4200	out of memory	180	110	2700	7000
eca-rers2012/Problem03_label07_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	4900	2.3	0	-					-					error (invalid witness file)	.63	.40	8.1	39	error (invalid witness file)	6.7	3.5	100	300
eca-rers2012/Problem03_label08_true-unreach-call.c	timeout	0	wit	inspect	900	750	13000	5200	2.3	0	-					-					error (invalid witness file)	.54	.34	6.3	40	error (invalid witness file)	7.6	3.9	140	320
eca-rers2012/Problem03_label10_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	5200	2.3	0	-					-					error (invalid witness file)	.61	.39	9.5	40	error (invalid witness file)	6.3	3.4	120	300
eca-rers2012/Problem03_label11_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	2100	2.3	0	-					-					error (invalid witness file)	.62	.40	11	40	error (invalid witness file)	6.4	3.4	130	300
eca-rers2012/Problem03_label12_true-unreach-call.c	timeout	0	wit	inspect	900	790	15000	4700	2.3	0	-					-					error (invalid witness file)	.52	.33	12	40	error (invalid witness file)	6.2	3.2	130	290
eca-rers2012/Problem03_label14_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5000	2.3	0	-					-					error (invalid witness file)	.52	.32	9.6	39	error (invalid witness file)	6.6	3.5	130	300
eca-rers2012/Problem03_label15_true-unreach-call.c	timeout	0	wit	inspect	900	770	15000	5000	2.3	0	-					-					error (invalid witness file)	.59	.38	8.2	39	error (invalid witness file)	7.1	3.8	140	320
eca-rers2012/Problem03_label16_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5100	2.3	0	-					-					error (invalid witness file)	.55	.35	6.8	40	error (invalid witness file)	6.4	3.4	120	300
eca-rers2012/Problem03_label17_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5100	2.3	0	-					-					error (invalid witness file)	.60	.38	8.2	40	error (invalid witness file)	7.1	3.8	110	310
eca-rers2012/Problem03_label18_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	5100	2.3	0	-					-					error (invalid witness file)	.69	.44	7.8	42	error (invalid witness file)	6.3	3.3	120	300
eca-rers2012/Problem03_label19_true-unreach-call.c	timeout	0	wit	inspect	900	770	14000	5100	2.3	0	-					-					error (invalid witness file)	.64	.42	7.9	40	error (invalid witness file)	6.5	3.5	130	290
eca-rers2012/Problem03_label20_true-unreach-call.c	timeout	0	wit	inspect	900	770	16000	5100	2.3	0	-					-					error (invalid witness file)	.52	.34	11	42	error (invalid witness file)	6.5	3.5	120	300
eca-rers2012/Problem03_label21_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	5000	2.3	0	-					-					error (invalid witness file)	.55	.35	11	42	error (invalid witness file)	7.3	3.8	130	310
eca-rers2012/Problem03_label22_true-unreach-call.c	timeout	0	wit	inspect	900	760	14000	5100	2.3	0	-					-					error (invalid witness file)	.61	.39	8.5	41	error (invalid witness file)	6.5	3.5	130	300
eca-rers2012/Problem03_label23_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	5100	2.3	0	-					-					error (invalid witness file)	.49	.32	12	40	error (invalid witness file)	7.2	3.8	140	320
eca-rers2012/Problem03_label24_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	3700	2.3	0	-					-					error (invalid witness file)	.53	.33	13	42	error (invalid witness file)	6.4	3.3	130	290
eca-rers2012/Problem03_label25_true-unreach-call.c	timeout	0	wit	inspect	900	750	13000	5000	2.3	0	-					-					error (invalid witness file)	.61	.40	8.1	40	error (invalid witness file)	9.3	4.8	110	330
eca-rers2012/Problem03_label29_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	5200	2.3	0	-					-					error (invalid witness file)	.51	.33	9.8	40	error (invalid witness file)	6.7	3.6	140	310
eca-rers2012/Problem03_label30_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	5200	2.3	0	-					-					error (invalid witness file)	.48	.31	10	39	error (invalid witness file)	6.8	3.5	130	310
eca-rers2012/Problem03_label32_true-unreach-call.c	timeout	0	wit	inspect	900	770	15000	5100	2.3	0	-					-					error (invalid witness file)	.53	.32	12	41	error (invalid witness file)	6.5	3.4	120	300
eca-rers2012/Problem03_label33_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	5200	2.3	0	-					-					error (invalid witness file)	.49	.32	11	40	error (invalid witness file)	6.5	3.4	93	300
eca-rers2012/Problem03_label34_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	5200	2.3	0	-					-					error (invalid witness file)	.62	.40	9.0	41	error (invalid witness file)	6.4	3.4	140	300
eca-rers2012/Problem03_label36_true-unreach-call.c	true	1	wit	inspect	490	420	6500	2000	3.4	0	-					-					timeout	910	880	24000	3100	out of memory	170	110	1600	7000
eca-rers2012/Problem03_label38_true-unreach-call.c	true	1	wit	inspect	880	750	13000	5000	3.5	0	-					-					timeout	910	890	25000	4100	out of memory	160	110	2200	7000
eca-rers2012/Problem03_label40_true-unreach-call.c	timeout	0	wit	inspect	900	770	14000	5200	2.3	0	-					-					error (invalid witness file)	.50	.32	9.3	39	error (invalid witness file)	6.7	3.5	95	300
eca-rers2012/Problem03_label41_true-unreach-call.c	timeout	0	wit	inspect	900	760	15000	5200	2.3	0	-					-					error (invalid witness file)	.53	.36	14	41	error (invalid witness file)	6.0	3.2	110	300
eca-rers2012/Problem03_label42_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	5200	2.3	0	-					-					error (invalid witness file)	.52	.32	11	39	error (invalid witness file)	6.8	3.6	86	310
eca-rers2012/Problem03_label44_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	2300	2.3	0	-					-					error (invalid witness file)	.49	.32	11	39	error (invalid witness file)	6.8	3.5	130	300
eca-rers2012/Problem03_label46_true-unreach-call.c	true	1	wit	inspect	890	760	14000	5000	3.5	0	-					-					timeout	920	890	15000	3300	out of memory	190	120	1600	7000
eca-rers2012/Problem03_label47_true-unreach-call.c	timeout	0	wit	inspect	900	770	15000	2600	2.3	0	-					-					error (invalid witness file)	.53	.34	11	40	error (invalid witness file)	6.1	3.3	95	300
eca-rers2012/Problem03_label48_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	2100	2.3	0	-					-					error (invalid witness file)	.62	.39	8.2	39	error (invalid witness file)	6.1	3.3	130	290
eca-rers2012/Problem03_label49_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5100	2.3	0	-					-					error (invalid witness file)	.64	.41	8.9	40	error (invalid witness file)	6.1	3.2	94	300
eca-rers2012/Problem03_label51_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5100	2.3	0	-					-					error (invalid witness file)	.53	.34	13	41	error (invalid witness file)	6.3	3.3	110	300
eca-rers2012/Problem03_label53_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5000	2.3	0	-					-					error (invalid witness file)	.49	.32	10	41	error (invalid witness file)	6.8	3.6	140	300
eca-rers2012/Problem03_label54_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5100	2.3	0	-					-					error (invalid witness file)	.65	.41	8.4	39	error (invalid witness file)	7.5	3.9	140	320
eca-rers2012/Problem03_label55_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	2700	2.3	0	-					-					error (invalid witness file)	.52	.33	11	42	error (invalid witness file)	6.8	3.5	120	300
eca-rers2012/Problem03_label56_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5000	2.3	0	-					-					error (invalid witness file)	.49	.31	12	39	error (invalid witness file)	6.5	3.4	130	300
eca-rers2012/Problem03_label57_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	5200	2.3	0	-					-					error (invalid witness file)	.62	.39	8.4	41	error (invalid witness file)	7.3	3.8	130	310
eca-rers2012/Problem03_label58_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	2900	2.3	0	-					-					error (invalid witness file)	.57	.37	9.0	39	error (invalid witness file)	6.4	3.4	110	300
eca-rers2012/Problem03_label59_true-unreach-call.c	timeout	0	wit	inspect	900	770	15000	4500	2.3	0	-					-					error (invalid witness file)	.57	.35	10	40	error (invalid witness file)	6.7	3.5	120	300
eca-rers2012/Problem04_label00_true-unreach-call.c	timeout	0	wit	inspect	900	790	16000	4700	2.3	0	-					-					error (invalid witness file)	.57	.36	11	40	error (invalid witness file)	7.4	3.8	100	320
eca-rers2012/Problem04_label01_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	-					-					error (invalid witness file)	.63	.42	7.6	40	error (invalid witness file)	6.9	3.6	130	310
eca-rers2012/Problem04_label02_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	-					-					error (invalid witness file)	.56	.36	10	41	error (invalid witness file)	6.7	3.6	140	310
eca-rers2012/Problem04_label03_true-unreach-call.c	timeout	0	wit	inspect	900	790	15000	4700	2.3	0	-					-					error (invalid witness file)	.57	.35	8.6	39	error (invalid witness file)	6.7	3.6	120	300
eca-rers2012/Problem04_label05_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4800	2.3	0	-					-					error (invalid witness file)	.49	.32	8.4	40	error (invalid witness file)	6.3	3.4	120	300
eca-rers2012/Problem04_label07_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	-					-					error (invalid witness file)	.55	.35	7.4	41	error (invalid witness file)	6.9	3.6	140	300
eca-rers2012/Problem04_label08_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4800	2.3	0	-					-					error (invalid witness file)	.68	.43	7.2	39	error (invalid witness file)	8.9	4.6	70	320
eca-rers2012/Problem04_label10_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	-					-					error (invalid witness file)	.51	.33	11	40	error (invalid witness file)	6.4	3.4	77	300
eca-rers2012/Problem04_label16_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	-					-					error (invalid witness file)	.52	.33	11	39	error (invalid witness file)	7.0	3.6	120	300
eca-rers2012/Problem04_label20_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4700	2.3	0	-					-					error (invalid witness file)	.50	.32	12	39	error (invalid witness file)	7.3	3.8	87	310
eca-rers2012/Problem04_label21_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	-					-					error (invalid witness file)	.67	.42	8.4	41	error (invalid witness file)	6.5	3.5	140	300
eca-rers2012/Problem04_label22_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4700	2.3	0	-					-					error (invalid witness file)	.58	.37	9.1	39	error (invalid witness file)	7.0	3.7	85	300
eca-rers2012/Problem04_label23_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	-					-					error (invalid witness file)	.49	.30	11	39	error (invalid witness file)	6.5	3.5	140	290
eca-rers2012/Problem04_label24_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.9	0	-					-					error (invalid witness file)	.67	.42	7.7	42	error (invalid witness file)	7.1	3.7	120	300
eca-rers2012/Problem04_label25_true-unreach-call.c	timeout	0	wit	inspect	900	800	15000	4600	2.3	0	-					-					error (invalid witness file)	.58	.36	12	39	error (invalid witness file)	6.7	3.6	130	300
eca-rers2012/Problem04_label28_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	-					-					error (invalid witness file)	.63	.40	7.2	40	error (invalid witness file)	7.8	4.1	95	300
eca-rers2012/Problem04_label29_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	-					-					error (invalid witness file)	.69	.43	7.9	40	error (invalid witness file)	6.6	3.4	110	290
eca-rers2012/Problem04_label30_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	-					-					error (invalid witness file)	.62	.40	9.0	40	error (invalid witness file)	7.0	3.7	140	310
eca-rers2012/Problem04_label33_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	-					-					error (invalid witness file)	.51	.33	12	40	error (invalid witness file)	6.8	3.6	140	300
eca-rers2012/Problem04_label34_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4700	2.3	0	-					-					error (invalid witness file)	.50	.33	12	40	error (invalid witness file)	6.9	3.6	120	310
eca-rers2012/Problem04_label37_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	4700	2.3	0	-					-					error (invalid witness file)	.57	.35	10	40	error (invalid witness file)	6.7	3.5	91	300
eca-rers2012/Problem04_label41_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	-					-					error (invalid witness file)	.58	.38	10	40	error (invalid witness file)	6.3	3.4	120	300
eca-rers2012/Problem04_label42_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	-					-					error (invalid witness file)	.49	.30	9.2	40	error (invalid witness file)	6.5	3.4	98	300
eca-rers2012/Problem04_label43_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	-					-					error (invalid witness file)	.66	.42	8.5	43	error (invalid witness file)	8.1	4.2	120	310
eca-rers2012/Problem04_label44_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4700	2.3	0	-					-					error (invalid witness file)	.52	.34	11	40	error (invalid witness file)	6.9	3.6	100	310
eca-rers2012/Problem04_label46_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4800	2.3	0	-					-					error (invalid witness file)	.55	.33	12	40	error (invalid witness file)	7.0	3.7	110	310
eca-rers2012/Problem04_label47_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4700	2.3	0	-					-					error (invalid witness file)	.55	.35	13	42	error (invalid witness file)	6.8	3.6	130	300
eca-rers2012/Problem04_label48_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	-					-					error (invalid witness file)	.63	.41	5.9	40	error (invalid witness file)	6.8	3.6	140	300
eca-rers2012/Problem04_label49_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4700	2.3	0	-					-					error (invalid witness file)	.51	.33	10	41	error (invalid witness file)	7.5	3.9	120	310
eca-rers2012/Problem04_label50_true-unreach-call.c	timeout	0	wit	inspect	900	800	15000	4700	2.3	0	-					-					error (invalid witness file)	.53	.33	13	41	error (invalid witness file)	7.3	3.8	140	310
eca-rers2012/Problem04_label51_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4700	2.3	0	-					-					error (invalid witness file)	.61	.38	8.3	39	error (invalid witness file)	7.2	3.8	150	300
eca-rers2012/Problem04_label53_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	-					-					error (invalid witness file)	.52	.33	9.9	40	error (invalid witness file)	7.2	3.8	110	300
eca-rers2012/Problem04_label54_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4700	2.3	0	-					-					error (invalid witness file)	.48	.31	7.8	39	error (invalid witness file)	7.4	3.9	110	330
eca-rers2012/Problem04_label56_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4700	2.3	0	-					-					error (invalid witness file)	.63	.39	8.3	41	error (invalid witness file)	6.7	3.5	120	300
eca-rers2012/Problem04_label57_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4700	2.3	0	-					-					error (invalid witness file)	.48	.30	10	40	error (invalid witness file)	6.4	3.4	140	290
eca-rers2012/Problem04_label59_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4800	2.3	0	-					-					error (invalid witness file)	.63	.41	8.8	40	error (invalid witness file)	6.9	3.6	140	310
eca-rers2012/Problem05_label02_true-unreach-call.c	timeout	0	wit	inspect	900	790	15000	5000	2.3	0	-					-					error (invalid witness file)	.66	.42	8.4	41	error (invalid witness file)	7.0	3.7	74	310
eca-rers2012/Problem05_label03_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4900	2.3	0	-					-					error (invalid witness file)	.62	.39	11	43	error (invalid witness file)	7.1	3.7	100	310
eca-rers2012/Problem05_label04_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4800	2.3	0	-					-					error (invalid witness file)	.61	.38	12	44	error (invalid witness file)	6.9	3.6	100	300
eca-rers2012/Problem05_label05_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4800	2.3	0	-					-					error (invalid witness file)	.58	.37	12	42	error (invalid witness file)	7.2	3.7	150	300
eca-rers2012/Problem05_label06_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4900	2.3	0	-					-					error (invalid witness file)	.54	.34	11	40	error (invalid witness file)	7.0	3.7	110	300
eca-rers2012/Problem05_label07_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4800	2.3	.27	-					-					error (invalid witness file)	.54	.34	11	41	error (invalid witness file)	7.6	4.0	140	310
eca-rers2012/Problem05_label08_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5000	2.3	0	-					-					error (invalid witness file)	.61	.38	9.4	40	error (invalid witness file)	7.1	3.8	140	300
eca-rers2012/Problem05_label09_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4900	2.3	0	-					-					error (invalid witness file)	.65	.41	8.5	42	error (invalid witness file)	7.5	3.9	130	310
eca-rers2012/Problem05_label10_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	4900	2.3	0	-					-					error (invalid witness file)	.62	.40	10	43	error (invalid witness file)	7.8	4.1	130	320
eca-rers2012/Problem05_label12_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4800	2.4	0	-					-					error (invalid witness file)	.65	.41	9.9	44	error (invalid witness file)	6.9	3.7	130	310
eca-rers2012/Problem05_label14_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4900	2.3	0	-					-					error (invalid witness file)	.51	.33	11	40	error (invalid witness file)	6.7	3.5	130	290
eca-rers2012/Problem05_label16_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4900	2.3	0	-					-					error (invalid witness file)	.53	.32	12	41	error (invalid witness file)	6.9	3.6	140	300
eca-rers2012/Problem05_label17_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4900	2.3	0	-					-					error (invalid witness file)	.59	.39	8.8	40	error (invalid witness file)	7.1	3.8	140	310
eca-rers2012/Problem05_label19_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4900	2.3	0	-					-					error (invalid witness file)	.50	.32	11	39	error (invalid witness file)	6.5	3.5	100	300
eca-rers2012/Problem05_label20_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4900	2.3	0	-					-					error (invalid witness file)	.62	.42	6.2	40	error (invalid witness file)	7.1	3.7	110	310
eca-rers2012/Problem05_label21_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4900	2.3	0	-					-					error (invalid witness file)	.54	.35	12	43	error (invalid witness file)	6.5	3.4	79	300
eca-rers2012/Problem05_label22_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	4900	2.3	0	-					-					error (invalid witness file)	.66	.42	7.0	41	error (invalid witness file)	7.1	3.7	120	300
eca-rers2012/Problem05_label23_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4900	2.3	0	-					-					error (invalid witness file)	.63	.41	8.0	39	error (invalid witness file)	7.2	3.8	130	300
eca-rers2012/Problem05_label25_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4900	2.3	0	-					-					error (invalid witness file)	.57	.36	9.4	40	error (invalid witness file)	6.6	3.5	110	300
eca-rers2012/Problem05_label27_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4900	2.3	0	-					-					error (invalid witness file)	.62	.40	7.7	39	error (invalid witness file)	7.5	3.9	140	300
eca-rers2012/Problem05_label28_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5000	2.3	0	-					-					error (invalid witness file)	.68	.42	11	44	error (invalid witness file)	7.0	3.7	84	300
eca-rers2012/Problem05_label29_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4800	2.3	0	-					-					error (invalid witness file)	.51	.33	11	41	error (invalid witness file)	7.1	3.7	120	300
eca-rers2012/Problem05_label31_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4800	2.3	0	-					-					error (invalid witness file)	.49	.32	11	39	error (invalid witness file)	6.9	3.7	130	300
eca-rers2012/Problem05_label34_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4900	2.3	0	-					-					error (invalid witness file)	.49	.32	12	41	error (invalid witness file)	7.1	3.7	130	300
eca-rers2012/Problem05_label35_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4900	2.3	0	-					-					error (invalid witness file)	.58	.36	10	41	error (invalid witness file)	7.2	3.8	130	310
eca-rers2012/Problem05_label42_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	4800	2.3	0	-					-					error (invalid witness file)	.60	.38	9.7	43	error (invalid witness file)	7.2	3.8	130	300
eca-rers2012/Problem05_label43_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	4800	2.3	0	-					-					error (invalid witness file)	.48	.31	9.9	40	error (invalid witness file)	7.1	3.7	63	320
eca-rers2012/Problem05_label45_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	4800	2.3	0	-					-					error (invalid witness file)	.49	.31	11	40	error (invalid witness file)	7.4	3.9	140	310
eca-rers2012/Problem05_label46_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	4900	2.3	0	-					-					error (invalid witness file)	.51	.33	11	41	error (invalid witness file)	7.1	3.7	130	310
eca-rers2012/Problem05_label49_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4900	2.3	0	-					-					error (invalid witness file)	.56	.36	10	41	error (invalid witness file)	7.3	3.8	92	310
eca-rers2012/Problem05_label50_true-unreach-call.c	timeout	0	wit	inspect	900	800	16000	4900	2.3	0	-					-					error (invalid witness file)	.52	.33	11	39	error (invalid witness file)	7.3	3.8	94	310
eca-rers2012/Problem05_label52_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	4900	2.3	0	-					-					error (invalid witness file)	.49	.31	11	40	error (invalid witness file)	6.8	3.6	130	290
eca-rers2012/Problem05_label53_true-unreach-call.c	timeout	0	wit	inspect	900	800	14000	4900	2.3	0	-					-					error (invalid witness file)	.51	.33	13	40	error (invalid witness file)	7.2	3.8	110	310
eca-rers2012/Problem05_label54_true-unreach-call.c	timeout	0	wit	inspect	900	800	16000	4800	2.3	0	-					-					error (invalid witness file)	.58	.38	9.7	44	error (invalid witness file)	7.1	3.7	130	300
eca-rers2012/Problem05_label56_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	4800	2.3	0	-					-					error (invalid witness file)	.63	.40	7.3	39	error (invalid witness file)	8.1	4.2	140	330
eca-rers2012/Problem05_label59_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	4900	2.3	0	-					-					error (invalid witness file)	.69	.44	8.3	41	error (invalid witness file)	6.9	3.6	110	300
eca-rers2012/Problem06_label03_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5300	2.3	0	-					-					error (invalid witness file)	.49	.32	8.1	40	error (invalid witness file)	7.0	3.7	120	300
eca-rers2012/Problem06_label06_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5400	2.3	0	-					-					error (invalid witness file)	.48	.31	12	40	error (invalid witness file)	6.6	3.5	120	300
eca-rers2012/Problem06_label07_true-unreach-call.c	timeout	0	wit	inspect	910	770	16000	5400	2.3	0	-					-					error (invalid witness file)	.50	.33	10	39	error (invalid witness file)	7.2	3.8	140	300
eca-rers2012/Problem06_label08_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	5400	2.3	0	-					-					error (invalid witness file)	.53	.34	11	40	error (invalid witness file)	7.2	3.8	140	300
eca-rers2012/Problem06_label13_true-unreach-call.c	timeout	0	wit	inspect	900	770	15000	5400	2.3	0	-					-					error (invalid witness file)	.64	.41	8.3	40	error (invalid witness file)	6.4	3.4	140	290
eca-rers2012/Problem06_label14_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	5300	2.3	0	-					-					error (invalid witness file)	.54	.36	9.4	40	error (invalid witness file)	7.1	3.7	110	300
eca-rers2012/Problem06_label16_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5100	2.3	0	-					-					error (invalid witness file)	.55	.35	10	42	error (invalid witness file)	6.9	3.6	110	300
eca-rers2012/Problem06_label17_true-unreach-call.c	timeout	0	wit	inspect	900	780	14000	5300	2.3	0	-					-					error (invalid witness file)	.56	.34	9.2	45	error (invalid witness file)	6.3	3.4	140	290
eca-rers2012/Problem06_label18_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	5300	2.3	0	-					-					error (invalid witness file)	.51	.33	12	40	error (invalid witness file)	7.2	3.8	130	310
eca-rers2012/Problem06_label19_true-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5300	2.3	0	-					-					error (invalid witness file)	.70	.44	7.6	43	error (invalid witness file)	7.5	3.9	140	310
eca-rers2012/Problem06_label22_true-unreach-call.c	timeout	0	wit	inspect	900	780	14000	5300	2.3	0	-					-					error (invalid witness file)	.56	.35	13	42	error (invalid witness file)	7.2	3.8	150	310
eca-rers2012/Problem06_label23_true-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5300	2.3	0	-					-					error (invalid witness file)	.60	.39	9.8	39	error (invalid witness file)	7.0	3.7	130	310
eca-rers2012/Problem06_label25_true-unreach-call.c	timeout	0	wit	inspect	900	790	15000	5100	2.3	0	-					-					error (invalid witness file)	.77	.48	7.2	42	error (invalid witness file)	6.9	3.6	110	300
eca-rers2012/Problem06_label26_true-unreach-call.c	timeout	0	wit	inspect	900	780	14000	5300	2.3	0	-					-					error (invalid witness file)	.62	.39	8.7	39	error (invalid witness file)	7.7	4.0	150	320
eca-rers2012/Problem06_label28_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5300	2.3	0	-					-					error (invalid witness file)	.49	.33	12	40	error (invalid witness file)	6.7	3.5	130	300
eca-rers2012/Problem06_label30_true-unreach-call.c	timeout	0	wit	inspect	900	780	15000	5100	2.3	0	-					-					error (invalid witness file)	.57	.36	11	39	error (invalid witness file)	6.5	3.4	84	300
eca-rers2012/Problem06_label31_true-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5200	2.3	0	-					-					error (invalid witness file)	.68	.43	8.0	42	error (invalid witness file)	7.0	3.7	120	300
eca-rers2012/Problem06_label32_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5100	2.3	0	-					-					error (invalid witness file)	.51	.33	12	41	error (invalid witness file)	6.6	3.5	120	300
eca-rers2012/Problem06_label34_true-unreach-call.c	timeout	0	wit	inspect	900	780	14000	5100	2.3	0	-					-					error (invalid witness file)	.50	.32	7.8	40	error (invalid witness file)	7.4	3.8	100	320
eca-rers2012/Problem06_label35_true-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5100	2.3	0	-					-					error (invalid witness file)	.65	.41	7.3	39	error (invalid witness file)	6.6	3.5	100	300
eca-rers2012/Problem06_label39_true-unreach-call.c	timeout	0	wit	inspect	900	780	15000	5200	2.3	0	-					-					error (invalid witness file)	.56	.36	9.9	41	error (invalid witness file)	6.9	3.6	92	310
eca-rers2012/Problem06_label40_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5200	2.3	0	-					-					error (invalid witness file)	.50	.31	12	40	error (invalid witness file)	7.0	3.6	130	300
eca-rers2012/Problem06_label41_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5100	2.3	0	-					-					error (invalid witness file)	.53	.34	11	41	error (invalid witness file)	6.9	3.6	99	310
eca-rers2012/Problem06_label42_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	5200	2.3	0	-					-					error (invalid witness file)	.63	.41	8.6	39	error (invalid witness file)	8.5	4.5	96	300
eca-rers2012/Problem06_label43_true-unreach-call.c	timeout	0	wit	inspect	900	780	11000	5100	2.3	0	-					-					error (invalid witness file)	.64	.42	8.1	39	error (invalid witness file)	6.8	3.6	110	300
eca-rers2012/Problem06_label45_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5100	2.3	0	-					-					error (invalid witness file)	.50	.33	11	40	error (invalid witness file)	7.1	3.7	140	300
eca-rers2012/Problem06_label46_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5100	2.3	0	-					-					error (invalid witness file)	.66	.41	8.2	40	error (invalid witness file)	6.7	3.5	95	300
eca-rers2012/Problem06_label49_true-unreach-call.c	timeout	0	wit	inspect	900	790	15000	5000	2.3	0	-					-					error (invalid witness file)	.66	.43	7.7	40	error (invalid witness file)	7.1	3.7	140	310
eca-rers2012/Problem06_label50_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5100	2.3	0	-					-					error (invalid witness file)	.59	.37	8.9	40	error (invalid witness file)	7.3	3.8	150	300
eca-rers2012/Problem06_label51_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	5000	2.3	0	-					-					error (invalid witness file)	.63	.40	7.5	40	error (invalid witness file)	6.6	3.5	120	310
eca-rers2012/Problem06_label52_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5100	2.3	0	-					-					error (invalid witness file)	.57	.37	9.8	39	error (invalid witness file)	6.9	3.6	130	310
eca-rers2012/Problem06_label53_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5100	2.3	0	-					-					error (invalid witness file)	.54	.36	8.2	40	error (invalid witness file)	7.5	3.9	140	310
eca-rers2012/Problem06_label54_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5000	2.3	0	-					-					error (invalid witness file)	.56	.35	9.4	40	error (invalid witness file)	6.9	3.6	95	300
eca-rers2012/Problem06_label55_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5100	2.3	0	-					-					error (invalid witness file)	.52	.33	9.8	39	error (invalid witness file)	7.3	3.8	150	300
eca-rers2012/Problem06_label57_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5100	2.3	0	-					-					error (invalid witness file)	.64	.41	8.0	40	error (invalid witness file)	7.2	3.8	110	320
eca-rers2012/Problem07_label00_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	-					-					error (invalid witness file)	.65	.40	9.0	42	error (invalid witness file)	8.4	4.5	100	430
eca-rers2012/Problem07_label01_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.47	.31	13	39	error (invalid witness file)	8.0	4.2	140	430
eca-rers2012/Problem07_label02_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.73	.45	8.3	42	error (invalid witness file)	7.8	4.2	140	430
eca-rers2012/Problem07_label04_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	-					-					error (invalid witness file)	.47	.31	9.6	40	error (invalid witness file)	8.7	4.6	160	440
eca-rers2012/Problem07_label08_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	-					-					error (invalid witness file)	.67	.42	9.2	40	error (invalid witness file)	8.0	4.3	150	430
eca-rers2012/Problem07_label10_true-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5900	2.3	0	-					-					error (invalid witness file)	.59	.38	8.7	39	error (invalid witness file)	8.3	4.4	170	440
eca-rers2012/Problem07_label12_true-unreach-call.c	timeout	0	wit	inspect	900	790	14000	5900	2.3	0	-					-					error (invalid witness file)	.49	.32	11	39	error (invalid witness file)	8.7	4.6	140	440
eca-rers2012/Problem07_label13_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.63	.40	6.6	41	error (invalid witness file)	7.6	4.1	130	430
eca-rers2012/Problem07_label14_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	6000	2.3	0	-					-					error (invalid witness file)	.51	.31	12	39	error (invalid witness file)	7.9	4.2	98	440
eca-rers2012/Problem07_label16_true-unreach-call.c	timeout	0	wit	inspect	900	790	10000	5900	2.3	0	-					-					error (invalid witness file)	.48	.30	11	39	error (invalid witness file)	8.0	4.3	170	430
eca-rers2012/Problem07_label17_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	-					-					error (invalid witness file)	.74	.46	7.9	44	error (invalid witness file)	7.7	4.1	130	430
eca-rers2012/Problem07_label21_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	6000	2.3	0	-					-					error (invalid witness file)	.56	.36	9.2	42	error (invalid witness file)	7.3	4.0	110	420
eca-rers2012/Problem07_label22_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	6000	2.3	0	-					-					error (invalid witness file)	.67	.41	7.6	40	error (invalid witness file)	7.8	4.1	130	430
eca-rers2012/Problem07_label24_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.64	.42	8.0	40	error (invalid witness file)	7.6	4.2	140	420
eca-rers2012/Problem07_label25_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	-					-					error (invalid witness file)	.50	.32	11	40	error (invalid witness file)	7.7	4.2	140	430
eca-rers2012/Problem07_label26_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.66	.41	9.5	40	error (invalid witness file)	7.9	4.2	120	440
eca-rers2012/Problem07_label27_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	-					-					error (invalid witness file)	.63	.40	7.3	40	error (invalid witness file)	7.8	4.2	150	430
eca-rers2012/Problem07_label28_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	-					-					error (invalid witness file)	.51	.32	7.7	42	error (invalid witness file)	7.7	4.2	140	430
eca-rers2012/Problem07_label29_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	-					-					error (invalid witness file)	.56	.38	7.9	40	error (invalid witness file)	7.3	4.0	120	420
eca-rers2012/Problem07_label32_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.58	.37	12	41	error (invalid witness file)	7.6	4.1	140	420
eca-rers2012/Problem07_label33_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.53	.35	8.4	40	error (invalid witness file)	9.3	4.9	180	460
eca-rers2012/Problem07_label34_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	-					-					error (invalid witness file)	.60	.39	8.7	41	error (invalid witness file)	7.9	4.3	150	440
eca-rers2012/Problem07_label38_true-unreach-call.c	timeout	0	wit	inspect	900	780	12000	5900	2.3	0	-					-					error (invalid witness file)	.50	.31	9.9	39	error (invalid witness file)	8.1	4.4	110	440
eca-rers2012/Problem07_label41_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.58	.37	10	40	error (invalid witness file)	8.7	4.6	190	450
eca-rers2012/Problem07_label43_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	6000	2.3	0	-					-					error (invalid witness file)	.51	.32	10	40	error (invalid witness file)	9.9	5.2	190	460
eca-rers2012/Problem07_label45_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	-					-					error (invalid witness file)	.64	.41	8.2	40	error (invalid witness file)	8.4	4.5	150	440
eca-rers2012/Problem07_label49_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	5900	2.3	0	-					-					error (invalid witness file)	.66	.41	10	45	error (invalid witness file)	8.0	4.3	170	430
eca-rers2012/Problem07_label50_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	6000	2.3	0	-					-					error (invalid witness file)	.65	.40	8.2	40	error (invalid witness file)	7.1	3.9	120	420
eca-rers2012/Problem07_label51_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	-					-					error (invalid witness file)	.51	.31	12	40	error (invalid witness file)	7.9	4.2	170	430
eca-rers2012/Problem07_label52_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.3	0	-					-					error (invalid witness file)	.67	.43	7.6	40	error (invalid witness file)	7.1	3.9	95	420
eca-rers2012/Problem07_label53_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	6000	2.3	0	-					-					error (invalid witness file)	.55	.36	12	41	error (invalid witness file)	8.0	4.3	140	430
eca-rers2012/Problem07_label54_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	-					-					error (invalid witness file)	.50	.33	7.0	40	error (invalid witness file)	7.3	4.0	130	420
eca-rers2012/Problem07_label55_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	6000	2.3	0	-					-					error (invalid witness file)	.58	.37	10	40	error (invalid witness file)	7.7	4.1	130	430
eca-rers2012/Problem07_label56_true-unreach-call.c	timeout	0	wit	inspect	900	790	11000	5900	2.9	0	-					-					error (invalid witness file)	.68	.42	8.7	40	error (invalid witness file)	7.9	4.2	110	440
eca-rers2012/Problem07_label57_true-unreach-call.c	timeout	0	wit	inspect	900	780	11000	5900	2.3	0	-					-					error (invalid witness file)	.50	.32	10	39	error (invalid witness file)	7.5	4.1	87	430
eca-rers2012/Problem07_label59_true-unreach-call.c	timeout	0	wit	inspect	900	790	13000	5900	2.3	0	-					-					error (invalid witness file)	.63	.40	9.4	41	error (invalid witness file)	7.2	3.9	110	420
eca-rers2012/Problem08_label00_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	7000	2.3	0	-					-					error (invalid witness file)	.65	.41	8.6	40	error (invalid witness file)	8.7	4.8	160	520
eca-rers2012/Problem08_label03_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7100	2.3	0	-					-					error (invalid witness file)	.62	.39	7.5	39	error (invalid witness file)	8.4	4.7	140	520
eca-rers2012/Problem08_label08_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7300	2.3	0	-					-					error (invalid witness file)	.66	.44	7.4	40	error (invalid witness file)	8.6	4.7	120	530
eca-rers2012/Problem08_label09_true-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7200	2.3	0	-					-					error (invalid witness file)	.54	.35	14	42	error (invalid witness file)	8.9	4.9	120	520
eca-rers2012/Problem08_label11_true-unreach-call.c	timeout	0	wit	inspect	900	770	14000	7000	2.3	0	-					-					error (invalid witness file)	.63	.41	8.9	39	error (invalid witness file)	8.7	4.8	140	520
eca-rers2012/Problem08_label12_true-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7000	2.3	0	-					-					error (invalid witness file)	.66	.41	8.0	39	error (invalid witness file)	8.4	4.6	140	520
eca-rers2012/Problem08_label14_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7000	2.3	0	-					-					error (invalid witness file)	.50	.33	8.9	41	error (invalid witness file)	9.9	5.3	190	530
eca-rers2012/Problem08_label16_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	-					-					error (invalid witness file)	.51	.33	12	42	error (invalid witness file)	8.6	4.7	120	530
eca-rers2012/Problem08_label17_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	7200	2.3	0	-					-					error (invalid witness file)	.59	.38	11	40	error (invalid witness file)	9.6	5.2	160	530
eca-rers2012/Problem08_label18_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7100	2.3	0	-					-					error (invalid witness file)	.53	.34	10	39	error (invalid witness file)	8.6	4.7	150	520
eca-rers2012/Problem08_label19_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7100	2.3	0	-					-					error (invalid witness file)	.48	.32	11	39	error (invalid witness file)	8.9	4.9	170	520
eca-rers2012/Problem08_label20_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7100	2.3	0	-					-					error (invalid witness file)	.51	.34	12	41	error (invalid witness file)	9.5	5.1	210	540
eca-rers2012/Problem08_label21_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7100	2.3	0	-					-					error (invalid witness file)	.54	.34	12	41	error (invalid witness file)	8.6	4.7	180	520
eca-rers2012/Problem08_label22_true-unreach-call.c	timeout	0	wit	inspect	900	770	10000	7100	2.3	0	-					-					error (invalid witness file)	.62	.39	7.9	39	error (invalid witness file)	8.1	4.5	160	510
eca-rers2012/Problem08_label23_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	7100	2.3	0	-					-					error (invalid witness file)	.57	.36	9.4	39	error (invalid witness file)	8.8	4.8	140	520
eca-rers2012/Problem08_label27_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	7100	2.3	0	-					-					error (invalid witness file)	.58	.35	11	40	error (invalid witness file)	8.5	4.6	120	520
eca-rers2012/Problem08_label30_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	7000	2.3	0	-					-					error (invalid witness file)	.64	.40	6.8	39	error (invalid witness file)	8.4	4.6	170	510
eca-rers2012/Problem08_label31_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	7000	2.3	0	-					-					error (invalid witness file)	.48	.32	10	39	error (invalid witness file)	8.8	4.9	160	520
eca-rers2012/Problem08_label32_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	-					-					error (invalid witness file)	.64	.41	8.4	40	error (invalid witness file)	9.4	5.1	190	530
eca-rers2012/Problem08_label33_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7200	2.3	0	-					-					error (invalid witness file)	.58	.36	10	40	error (invalid witness file)	8.4	4.6	190	520
eca-rers2012/Problem08_label35_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7000	2.3	0	-					-					error (invalid witness file)	.58	.37	12	43	error (invalid witness file)	8.3	4.6	130	520
eca-rers2012/Problem08_label36_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7100	2.3	0	-					-					error (invalid witness file)	.48	.31	13	40	error (invalid witness file)	8.4	4.6	150	520
eca-rers2012/Problem08_label38_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7100	2.3	0	-					-					error (invalid witness file)	.50	.32	11	40	error (invalid witness file)	8.2	4.5	120	510
eca-rers2012/Problem08_label39_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7000	2.3	0	-					-					error (invalid witness file)	.51	.33	9.9	40	error (invalid witness file)	8.6	4.7	140	520
eca-rers2012/Problem08_label40_true-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7100	2.3	0	-					-					error (invalid witness file)	.57	.35	12	40	error (invalid witness file)	9.2	5.0	150	530
eca-rers2012/Problem08_label41_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	7200	2.3	0	-					-					error (invalid witness file)	.65	.41	8.0	41	error (invalid witness file)	8.5	4.7	180	510
eca-rers2012/Problem08_label42_true-unreach-call.c	timeout	0	wit	inspect	900	760	14000	7100	2.3	0	-					-					error (invalid witness file)	.50	.32	7.9	40	error (invalid witness file)	8.6	4.7	160	510
eca-rers2012/Problem08_label44_true-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7100	2.3	0	-					-					error (invalid witness file)	.65	.42	10	44	error (invalid witness file)	8.1	4.5	150	510
eca-rers2012/Problem08_label45_true-unreach-call.c	timeout	0	wit	inspect	900	780	13000	7000	2.3	0	-					-					error (invalid witness file)	.63	.41	6.2	39	error (invalid witness file)	8.4	4.6	150	520
eca-rers2012/Problem08_label47_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	7100	2.3	0	-					-					error (invalid witness file)	.59	.39	8.6	39	error (invalid witness file)	8.9	4.8	180	520
eca-rers2012/Problem08_label52_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7100	2.3	0	-					-					error (invalid witness file)	.65	.41	8.5	40	error (invalid witness file)	8.8	4.8	160	520
eca-rers2012/Problem08_label53_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	7000	2.3	0	-					-					error (invalid witness file)	.51	.33	12	40	error (invalid witness file)	8.3	4.5	170	510
eca-rers2012/Problem08_label54_true-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7100	2.3	0	-					-					error (invalid witness file)	.53	.34	9.0	40	error (invalid witness file)	8.5	4.7	160	520
eca-rers2012/Problem08_label56_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7000	2.3	0	-					-					error (invalid witness file)	.56	.35	9.3	40	error (invalid witness file)	9.3	5.1	190	520
eca-rers2012/Problem08_label57_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	6900	2.3	0	-					-					error (invalid witness file)	.58	.38	9.3	41	error (invalid witness file)	8.3	4.5	140	510
eca-rers2012/Problem08_label58_true-unreach-call.c	timeout	0	wit	inspect	900	770	11000	7100	2.3	0	-					-					error (invalid witness file)	.61	.39	8.4	39	error (invalid witness file)	9.9	5.4	110	540
eca-rers2012/Problem09_label00_true-unreach-call.c	timeout	0	wit	inspect	900	750	10000	7300	2.3	0	-					-					error (invalid witness file)	.54	.33	12	41	error (invalid witness file)	8.8	4.8	180	530
eca-rers2012/Problem09_label01_true-unreach-call.c	timeout	0	wit	inspect	900	750	10000	7300	2.3	0	-					-					error (invalid witness file)	.53	.34	13	40	error (invalid witness file)	8.5	4.7	130	530
eca-rers2012/Problem09_label04_true-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7200	2.3	0	-					-					error (invalid witness file)	.56	.36	7.7	42	error (invalid witness file)	8.6	4.7	200	520
eca-rers2012/Problem09_label05_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7200	2.3	0	-					-					error (invalid witness file)	.57	.37	8.6	40	error (invalid witness file)	9.0	5.0	150	540
eca-rers2012/Problem09_label07_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7300	2.3	0	-					-					error (invalid witness file)	.55	.35	11	41	error (invalid witness file)	8.2	4.6	160	530
eca-rers2012/Problem09_label09_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	-					-					error (invalid witness file)	.70	.44	8.1	40	error (invalid witness file)	8.3	4.7	180	520
eca-rers2012/Problem09_label12_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7200	2.3	0	-					-					error (invalid witness file)	.60	.39	8.6	40	error (invalid witness file)	8.8	4.8	190	630
eca-rers2012/Problem09_label13_true-unreach-call.c	timeout	0	wit	inspect	900	760	10000	7300	2.3	0	-					-					error (invalid witness file)	.48	.31	8.0	39	error (invalid witness file)	8.2	4.6	190	530
eca-rers2012/Problem09_label14_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7200	2.3	0	-					-					error (invalid witness file)	.55	.35	9.4	40	error (invalid witness file)	8.6	4.8	170	530
eca-rers2012/Problem09_label16_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	-					-					error (invalid witness file)	.67	.44	8.2	41	error (invalid witness file)	8.2	4.5	150	530
eca-rers2012/Problem09_label17_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7200	2.3	0	-					-					error (invalid witness file)	.64	.40	7.7	39	error (invalid witness file)	8.4	4.7	140	530
eca-rers2012/Problem09_label18_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	-					-					error (invalid witness file)	.56	.36	11	40	error (invalid witness file)	8.6	4.7	130	530
eca-rers2012/Problem09_label21_true-unreach-call.c	timeout	0	wit	inspect	900	750	13000	7200	2.3	0	-					-					error (invalid witness file)	.62	.40	8.5	40	error (invalid witness file)	8.3	4.6	110	530
eca-rers2012/Problem09_label22_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7100	2.3	0	-					-					error (invalid witness file)	.53	.34	9.5	40	error (invalid witness file)	8.9	4.9	130	540
eca-rers2012/Problem09_label23_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7100	2.3	0	-					-					error (invalid witness file)	.58	.37	7.6	40	error (invalid witness file)	8.4	4.7	170	530
eca-rers2012/Problem09_label24_true-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7300	2.3	0	-					-					error (invalid witness file)	.65	.41	10	42	error (invalid witness file)	8.6	4.8	170	540
eca-rers2012/Problem09_label25_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7200	2.3	0	-					-					error (invalid witness file)	.68	.43	8.0	39	error (invalid witness file)	8.8	4.9	180	530
eca-rers2012/Problem09_label26_true-unreach-call.c	timeout	0	wit	inspect	900	750	13000	7200	2.3	0	-					-					error (invalid witness file)	.69	.45	8.6	43	error (invalid witness file)	8.5	4.7	140	520
eca-rers2012/Problem09_label27_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	7200	2.3	0	-					-					error (invalid witness file)	.52	.33	12	40	error (invalid witness file)	8.4	4.7	110	520
eca-rers2012/Problem09_label28_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7200	2.3	0	-					-					error (invalid witness file)	.47	.31	11	40	error (invalid witness file)	7.9	4.5	180	520
eca-rers2012/Problem09_label29_true-unreach-call.c	timeout	0	wit	inspect	900	750	10000	7200	2.3	0	-					-					error (invalid witness file)	.77	.47	7.0	40	error (invalid witness file)	8.8	4.8	210	530
eca-rers2012/Problem09_label30_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7200	2.3	0	-					-					error (invalid witness file)	.63	.40	7.7	40	error (invalid witness file)	9.6	5.2	170	540
eca-rers2012/Problem09_label31_true-unreach-call.c	timeout	0	wit	inspect	900	750	13000	7200	2.3	0	-					-					error (invalid witness file)	.65	.42	8.5	42	error (invalid witness file)	9.0	4.9	180	540
eca-rers2012/Problem09_label33_true-unreach-call.c	timeout	0	wit	inspect	900	760	10000	7200	2.3	0	-					-					error (invalid witness file)	.52	.33	11	39	error (invalid witness file)	8.7	4.8	150	530
eca-rers2012/Problem09_label37_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7200	2.3	0	-					-					error (invalid witness file)	.55	.36	11	42	error (invalid witness file)	8.3	4.6	160	520
eca-rers2012/Problem09_label39_true-unreach-call.c	timeout	0	wit	inspect	900	770	13000	7000	2.3	0	-					-					error (invalid witness file)	.64	.42	8.5	40	error (invalid witness file)	8.5	4.7	120	530
eca-rers2012/Problem09_label40_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7300	2.3	0	-					-					error (invalid witness file)	.55	.35	5.4	40	error (invalid witness file)	8.8	4.9	170	530
eca-rers2012/Problem09_label42_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7200	2.3	0	-					-					error (invalid witness file)	.68	.43	8.0	40	error (invalid witness file)	8.6	4.7	170	530
eca-rers2012/Problem09_label43_true-unreach-call.c	timeout	0	wit	inspect	900	760	12000	7200	2.3	0	-					-					error (invalid witness file)	.52	.33	10	41	error (invalid witness file)	8.1	4.5	59	530
eca-rers2012/Problem09_label45_true-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7100	2.3	0	-					-					error (invalid witness file)	.58	.37	9.6	40	error (invalid witness file)	8.7	4.8	130	530
eca-rers2012/Problem09_label48_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7300	2.3	0	-					-					error (invalid witness file)	.49	.32	9.4	40	error (invalid witness file)	8.7	4.8	170	530
eca-rers2012/Problem09_label49_true-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7300	2.3	0	-					-					error (invalid witness file)	.63	.41	7.8	43	error (invalid witness file)	8.2	4.6	160	520
eca-rers2012/Problem09_label50_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7300	2.3	0	-					-					error (invalid witness file)	.51	.33	12	40	error (invalid witness file)	9.3	5.1	140	560
eca-rers2012/Problem09_label52_true-unreach-call.c	timeout	0	wit	inspect	900	750	11000	7300	2.3	0	-					-					error (invalid witness file)	.50	.33	8.8	39	error (invalid witness file)	8.7	4.8	160	530
eca-rers2012/Problem09_label55_true-unreach-call.c	timeout	0	wit	inspect	900	740	11000	7200	2.3	0	-					-					error (invalid witness file)	.49	.31	11	39	error (invalid witness file)	8.1	4.5	160	520
eca-rers2012/Problem09_label58_true-unreach-call.c	timeout	0	wit	inspect	900	760	13000	7200	2.3	0	-					-					error (invalid witness file)	.47	.30	12	39	error (invalid witness file)	8.8	4.9	170	530
eca-rers2012/Problem10_label00_true-unreach-call.c	true	2	wit	inspect	28	13	270	1300	2.9	0	-					-					out of memory	290	280	9900	7000	true	54	34	510	980
eca-rers2012/Problem10_label01_true-unreach-call.c	true	2	wit	inspect	26	11	250	1200	2.9	0	-					-					out of memory	310	300	6700	7000	true	28	16	510	620
eca-rers2012/Problem10_label02_true-unreach-call.c	true	2	wit	inspect	28	12	230	1200	2.9	0	-					-					out of memory	310	300	7000	7000	true	29	16	300	610
eca-rers2012/Problem10_label03_true-unreach-call.c	true	2	wit	inspect	30	14	300	1200	2.9	0	-					-					out of memory	290	280	5400	7000	true	34	19	510	730
eca-rers2012/Problem10_label04_true-unreach-call.c	true	2	wit	inspect	27	12	250	1400	2.9	0	-					-					out of memory	300	290	7900	7000	true	30	17	340	750
eca-rers2012/Problem10_label05_true-unreach-call.c	true	2	wit	inspect	28	12	270	1200	2.9	0	-					-					out of memory	310	300	6100	7000	true	29	16	390	660
eca-rers2012/Problem10_label06_true-unreach-call.c	true	2	wit	inspect	29	13	230	1300	2.9	0	-					-					out of memory	310	300	7400	7000	true	27	15	430	630
eca-rers2012/Problem10_label07_true-unreach-call.c	true	2	wit	inspect	28	10	230	1000	2.9	0	-					-					out of memory	330	320	6000	7000	true	32	18	350	750
eca-rers2012/Problem10_label08_true-unreach-call.c	true	2	wit	inspect	27	11	240	1100	2.9	0	-					-					out of memory	290	280	8800	7000	true	29	16	400	730
eca-rers2012/Problem10_label09_true-unreach-call.c	true	2	wit	inspect	26	11	220	1100	2.9	0	-					-					out of memory	430	420	5900	7000	true	25	14	270	610
eca-rers2012/Problem10_label10_true-unreach-call.c	true	2	wit	inspect	26	11	230	1000	2.9	0	-					-					out of memory	280	270	7900	7000	true	27	15	500	650
eca-rers2012/Problem10_label11_true-unreach-call.c	true	2	wit	inspect	28	12	290	1200	2.9	0	-					-					out of memory	320	310	5900	7000	true	63	39	590	1100
eca-rers2012/Problem10_label13_true-unreach-call.c	true	2	wit	inspect	29	11	270	1000	2.9	0	-					-					out of memory	310	300	6500	7000	true	62	40	620	1100
eca-rers2012/Problem10_label14_true-unreach-call.c	true	2	wit	inspect	27	11	240	1100	2.9	0	-					-					out of memory	280	270	6100	7000	true	60	39	610	970
eca-rers2012/Problem10_label16_true-unreach-call.c	true	2	wit	inspect	27	12	240	1200	2.9	0	-					-					true	25	15	310	780	true	37	22	580	830
eca-rers2012/Problem10_label17_true-unreach-call.c	true	2	wit	inspect	28	12	250	1100	2.9	0	-					-					out of memory	300	290	6700	7000	true	32	19	620	660
eca-rers2012/Problem10_label18_true-unreach-call.c	true	2	wit	inspect	28	12	240	1200	2.9	0	-					-					out of memory	300	290	7500	7000	true	29	17	300	620
eca-rers2012/Problem10_label19_true-unreach-call.c	true	2	wit	inspect	27	12	230	1100	2.9	0	-					-					out of memory	310	300	6900	7000	true	28	16	320	710
eca-rers2012/Problem10_label20_true-unreach-call.c	true	2	wit	inspect	27	12	260	1400	2.9	0	-					-					out of memory	310	300	7400	7000	true	31	18	500	720
eca-rers2012/Problem10_label21_true-unreach-call.c	true	2	wit	inspect	28	12	250	1200	2.9	0	-					-					out of memory	320	310	6900	7000	true	31	17	520	730
eca-rers2012/Problem10_label22_true-unreach-call.c	true	2	wit	inspect	29	12	280	1200	2.9	0	-					-					out of memory	300	290	5500	7000	true	29	16	350	690
eca-rers2012/Problem10_label23_true-unreach-call.c	true	2	wit	inspect	28	13	240	1200	2.9	0	-					-					true	28	16	290	790	true	53	32	570	1000
eca-rers2012/Problem10_label25_true-unreach-call.c	true	2	wit	inspect	30	13	280	1200	2.9	0	-					-					true	28	16	290	780	true	240	210	2900	1300
eca-rers2012/Problem10_label27_true-unreach-call.c	true	2	wit	inspect	30	12	270	1300	2.9	0	-					-					out of memory	310	300	6600	7000	true	48	28	1000	880
eca-rers2012/Problem10_label30_true-unreach-call.c	true	2	wit	inspect	28	12	250	1300	2.9	0	-					-					out of memory	280	270	8900	7000	true	38	22	410	850
eca-rers2012/Problem10_label31_true-unreach-call.c	true	2	wit	inspect	27	11	260	1300	2.9	0	-					-					out of memory	320	310	6600	7000	true	19	11	300	550
eca-rers2012/Problem10_label32_true-unreach-call.c	true	2	wit	inspect	27	11	250	1000	2.9	0	-					-					out of memory	290	280	7400	7000	true	24	13	220	540
eca-rers2012/Problem10_label33_true-unreach-call.c	true	2	wit	inspect	26	11	230	1200	2.9	0	-					-					out of memory	330	320	6200	7000	true	20	11	350	550
eca-rers2012/Problem10_label34_true-unreach-call.c	true	2	wit	inspect	26	11	260	1100	2.9	0	-					-					out of memory	290	280	5200	7000	true	21	12	350	540
eca-rers2012/Problem10_label35_true-unreach-call.c	true	2	wit	inspect	27	11	230	1100	2.9	0	-					-					out of memory	310	300	6500	7000	true	17	9.4	320	530
eca-rers2012/Problem10_label36_true-unreach-call.c	true	2	wit	inspect	27	11	230	1100	2.9	0	-					-					out of memory	300	290	6700	7000	true	16	9.0	230	530
eca-rers2012/Problem10_label37_true-unreach-call.c	true	2	wit	inspect	26	11	250	1100	2.9	0	-					-					out of memory	280	270	9100	7000	true	16	9.0	240	540
eca-rers2012/Problem10_label38_true-unreach-call.c	true	2	wit	inspect	26	11	230	1100	2.9	0	-					-					out of memory	290	280	7200	7000	true	16	8.9	220	520
eca-rers2012/Problem10_label39_true-unreach-call.c	true	2	wit	inspect	31	14	310	1200	2.9	0	-					-					out of memory	280	270	8100	7000	true	69	51	820	900
eca-rers2012/Problem10_label40_true-unreach-call.c	true	2	wit	inspect	50	26	530	2500	2.9	0	-					-					out of memory	340	330	6000	7000	true	840	820	12000	980
eca-rers2012/Problem10_label43_true-unreach-call.c	true	2	wit	inspect	22	8.3	170	800	2.9	0	-					-					out of memory	290	290	4300	7000	true	82	71	960	630
eca-rers2012/Problem10_label44_true-unreach-call.c	true	2	wit	inspect	21	8.1	180	830	3.4	0	-					-					out of memory	340	330	5900	7000	true	60	37	600	950
eca-rers2012/Problem10_label45_true-unreach-call.c	true	2	wit	inspect	28	12	260	1400	2.9	0	-					-					out of memory	350	340	6900	7000	true	83	63	1600	1100
eca-rers2012/Problem10_label49_true-unreach-call.c	true	2	wit	inspect	32	15	320	1400	2.9	0	-					-					out of memory	280	270	7900	7000	true	130	110	1600	1100
eca-rers2012/Problem10_label51_true-unreach-call.c	true	2	wit	inspect	27	11	240	1100	2.9	0	-					-					out of memory	300	290	7300	7000	true	44	25	390	830
eca-rers2012/Problem10_label52_true-unreach-call.c	true	2	wit	inspect	26	11	240	1100	2.9	0	-					-					out of memory	330	320	7300	7000	true	44	25	500	750
eca-rers2012/Problem10_label53_true-unreach-call.c	true	2	wit	inspect	28	11	250	1000	2.9	0	-					-					out of memory	300	290	7700	7000	true	46	26	480	840
eca-rers2012/Problem10_label54_true-unreach-call.c	true	2	wit	inspect	28	11	250	1100	2.9	0	-					-					out of memory	280	270	5500	7000	true	42	24	550	870
eca-rers2012/Problem10_label56_true-unreach-call.c	timeout	0	wit	inspect	900	830	10000	5600	2.3	0	-					-					error (invalid witness file)	.71	.43	6.0	43	error (invalid witness file)	6.1	3.2	130	300
eca-rers2012/Problem10_label59_true-unreach-call.c	true	2	wit	inspect	86	58	1000	2800	2.8	0	-					-					out of memory	300	290	9000	7000	true	550	520	8100	1200
eca-rers2012/Problem11_label01_true-unreach-call.c	true	2	wit	inspect	110	71	1200	3900	3.1	0	-					-					out of memory	370	360	8200	7000	true	62	37	610	1100
eca-rers2012/Problem11_label02_true-unreach-call.c	timeout	0	wit	inspect	900	850	13000	4000	2.3	0	-					-					error (invalid witness file)	.61	.38	8.9	40	error (invalid witness file)	6.4	3.3	120	310
eca-rers2012/Problem11_label03_true-unreach-call.c	timeout	0	wit	inspect	900	810	11000	7100	2.3	0	-					-					error (invalid witness file)	.49	.31	11	39	error (invalid witness file)	6.6	3.5	100	300
eca-rers2012/Problem11_label04_true-unreach-call.c	true	2	wit	inspect	100	75	1200	3000	3.1	0	-					-					out of memory	370	350	7400	7000	true	75	46	770	1300
eca-rers2012/Problem11_label05_true-unreach-call.c	timeout	0	wit	inspect	900	860	13000	3100	2.3	0	-					-					error (invalid witness file)	.66	.41	7.6	39	error (invalid witness file)	6.0	3.2	100	300
eca-rers2012/Problem11_label06_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3100	2.3	0	-					-					error (invalid witness file)	.52	.32	12	41	error (invalid witness file)	6.4	3.4	87	320
eca-rers2012/Problem11_label07_true-unreach-call.c	true	2	wit	inspect	87	60	1100	3000	3.1	0	-					-					out of memory	340	330	7100	7000	true	480	440	12000	1500
eca-rers2012/Problem11_label09_true-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3100	2.3	0	-					-					error (invalid witness file)	.50	.32	13	40	error (invalid witness file)	6.3	3.3	130	300
eca-rers2012/Problem11_label10_true-unreach-call.c	true	2	wit	inspect	530	480	6200	3300	3.1	0	-					-					out of memory	350	340	7300	7000	true	540	460	5600	6200
eca-rers2012/Problem11_label11_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	3000	2.3	0	-					-					error (invalid witness file)	.54	.35	12	44	error (invalid witness file)	6.6	3.5	92	300
eca-rers2012/Problem11_label12_true-unreach-call.c	true	1	wit	inspect	88	64	1100	3700	3.1	0	-					-					out of memory	340	320	8000	7000	timeout	960	930	16000	1500
eca-rers2012/Problem11_label13_true-unreach-call.c	true	2	wit	inspect	350	310	4300	3000	3.1	0	-					-					out of memory	390	380	7000	7000	true	43	25	580	780
eca-rers2012/Problem11_label16_true-unreach-call.c	true	2	wit	inspect	580	540	7900	3300	3.1	0	-					-					out of memory	360	340	7700	7000	true	200	150	2400	3600
eca-rers2012/Problem11_label17_true-unreach-call.c	true	1	wit	inspect	170	130	2300	3800	3.1	0	-					-					out of memory	310	300	9200	7000	timeout	960	930	25000	1500
eca-rers2012/Problem11_label18_true-unreach-call.c	true	2	wit	inspect	370	330	5300	4200	3.1	0	-					-					out of memory	390	380	7600	7000	true	38	22	520	770
eca-rers2012/Problem11_label19_true-unreach-call.c	timeout	0	wit	inspect	910	820	13000	12000	2.3	0	-					-					error (invalid witness file)	.49	.31	8.8	39	error (invalid witness file)	6.6	3.5	130	290
eca-rers2012/Problem11_label21_true-unreach-call.c	true	2	wit	inspect	110	82	1200	3500	3.1	0	-					-					out of memory	360	350	8600	7000	true	73	46	800	1500
eca-rers2012/Problem11_label22_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3500	2.3	0	-					-					error (invalid witness file)	.53	.33	11	39	error (invalid witness file)	6.3	3.3	84	300
eca-rers2012/Problem11_label23_true-unreach-call.c	true	2	wit	inspect	81	50	870	3000	3.1	0	-					-					out of memory	390	370	7300	7000	true	78	54	1400	1100
eca-rers2012/Problem11_label24_true-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3400	2.3	0	-					-					error (invalid witness file)	.58	.36	9.9	39	error (invalid witness file)	6.2	3.3	100	290
eca-rers2012/Problem11_label25_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3100	2.3	0	-					-					error (invalid witness file)	.49	.32	12	39	error (invalid witness file)	6.6	3.5	100	300
eca-rers2012/Problem11_label26_true-unreach-call.c	timeout	0	wit	inspect	900	850	11000	2900	2.3	0	-					-					error (invalid witness file)	.52	.33	12	40	error (invalid witness file)	6.9	3.6	110	320
eca-rers2012/Problem11_label27_true-unreach-call.c	true	2	wit	inspect	190	160	2100	3100	3.1	0	-					-					out of memory	360	340	7500	7000	true	420	390	13000	1200
eca-rers2012/Problem11_label28_true-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3800	2.3	0	-					-					error (invalid witness file)	.53	.34	10	40	error (invalid witness file)	5.7	3.0	45	300
eca-rers2012/Problem11_label30_true-unreach-call.c	timeout	0	wit	inspect	900	860	13000	3500	2.3	0	-					-					error (invalid witness file)	.50	.33	11	40	error (invalid witness file)	6.9	3.7	130	310
eca-rers2012/Problem11_label32_true-unreach-call.c	true	2	wit	inspect	480	440	6000	3100	3.2	0	-					-					out of memory	410	280	9400	7000	true	98	69	1300	1600
eca-rers2012/Problem11_label33_true-unreach-call.c	true	2	wit	inspect	95	67	1200	3100	3.1	0	-					-					out of memory	370	360	7100	7000	true	47	27	620	900
eca-rers2012/Problem11_label35_true-unreach-call.c	true	2	wit	inspect	520	480	7000	4500	3.1	0	-					-					out of memory	360	350	8200	7000	true	350	300	5900	3800
eca-rers2012/Problem11_label37_true-unreach-call.c	true	2	wit	inspect	270	240	3800	3100	3.1	0	-					-					out of memory	400	380	6800	7000	true	520	490	10000	1300
eca-rers2012/Problem11_label38_true-unreach-call.c	true	2	wit	inspect	350	310	5000	3100	3.1	0	-					-					out of memory	350	330	7100	7000	true	100	78	2100	1300
eca-rers2012/Problem11_label40_true-unreach-call.c	timeout	0	wit	inspect	900	850	10000	3200	2.3	0	-					-					error (invalid witness file)	.49	.32	12	40	error (invalid witness file)	6.6	3.5	110	310
eca-rers2012/Problem11_label41_true-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3900	2.3	0	-					-					error (invalid witness file)	.60	.38	8.4	39	error (invalid witness file)	5.7	3.1	100	290
eca-rers2012/Problem11_label44_true-unreach-call.c	true	1	wit	inspect	100	72	1200	3200	3.1	0	-					-					out of memory	340	330	10000	7000	timeout	960	920	13000	2900
eca-rers2012/Problem11_label45_true-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3300	2.3	0	-					-					error (invalid witness file)	.52	.34	12	41	error (invalid witness file)	6.2	3.3	98	300
eca-rers2012/Problem11_label46_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	4200	2.3	0	-					-					error (invalid witness file)	.63	.40	10	42	error (invalid witness file)	6.4	3.4	120	300
eca-rers2012/Problem11_label47_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	4200	2.3	0	-					-					error (invalid witness file)	.66	.41	7.9	39	error (invalid witness file)	7.5	3.9	120	310
eca-rers2012/Problem11_label48_true-unreach-call.c	timeout	0	wit	inspect	900	850	13000	4400	2.3	0	-					-					error (invalid witness file)	.49	.31	10	39	error (invalid witness file)	6.3	3.3	120	290
eca-rers2012/Problem11_label50_true-unreach-call.c	timeout	0	wit	inspect	900	840	13000	3000	2.3	0	-					-					error (invalid witness file)	.65	.43	7.2	40	error (invalid witness file)	8.0	4.1	93	320
eca-rers2012/Problem11_label52_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3200	2.3	0	-					-					error (invalid witness file)	.49	.32	11	42	error (invalid witness file)	6.9	3.6	120	310
eca-rers2012/Problem11_label53_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3900	2.3	0	-					-					error (invalid witness file)	.51	.32	14	40	error (invalid witness file)	6.4	3.4	130	300
eca-rers2012/Problem11_label54_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	3400	2.3	0	-					-					error (invalid witness file)	.60	.39	8.4	40	error (invalid witness file)	6.8	3.6	120	310
eca-rers2012/Problem11_label55_true-unreach-call.c	true	2	wit	inspect	640	590	8200	3000	3.1	0	-					-					out of memory	400	390	6400	7000	true	340	280	4400	4700
eca-rers2012/Problem11_label56_true-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3000	2.3	0	-					-					error (invalid witness file)	.62	.39	7.3	40	error (invalid witness file)	6.8	3.5	120	310
eca-rers2012/Problem11_label57_true-unreach-call.c	timeout	0	wit	inspect	900	850	13000	3100	2.3	0	-					-					error (invalid witness file)	.54	.35	11	40	error (invalid witness file)	6.0	3.2	89	300
eca-rers2012/Problem11_label59_true-unreach-call.c	true	2	wit	inspect	280	240	3300	3700	3.1	0	-					-					out of memory	400	380	7400	7000	true	170	130	1600	2200
eca-rers2012/Problem12_label01_true-unreach-call.c	timeout	0	wit	inspect	900	630	9200	9300	2.3	0	-					-					error (invalid witness file)	.62	.40	8.1	39	error (invalid witness file)	7.1	3.7	110	300
eca-rers2012/Problem12_label02_true-unreach-call.c	timeout	0	wit	inspect	900	700	9900	9300	2.3	0	-					-					error (invalid witness file)	.58	.36	9.4	40	error (invalid witness file)	7.5	4.0	140	310
eca-rers2012/Problem12_label04_true-unreach-call.c	timeout	0	wit	inspect	900	660	10000	9200	2.3	0	-					-					error (invalid witness file)	.58	.36	11	43	error (invalid witness file)	6.8	3.5	100	310
eca-rers2012/Problem12_label05_true-unreach-call.c	timeout	0	wit	inspect	900	660	11000	9300	2.3	0	-					-					error (invalid witness file)	.53	.34	11	41	error (invalid witness file)	8.0	4.2	100	310
eca-rers2012/Problem12_label09_true-unreach-call.c	timeout	0	wit	inspect	900	700	10000	9400	2.3	0	-					-					error (invalid witness file)	.51	.31	11	39	error (invalid witness file)	7.2	3.7	130	310
eca-rers2012/Problem12_label11_true-unreach-call.c	timeout	0	wit	inspect	900	690	11000	9400	2.3	0	-					-					error (invalid witness file)	.59	.38	10	40	error (invalid witness file)	7.0	3.7	130	310
eca-rers2012/Problem12_label12_true-unreach-call.c	true	2	wit	inspect	880	690	9000	9300	5.2	0	-					-					out of memory	190	170	4000	7000	true	200	150	2500	5500
eca-rers2012/Problem12_label14_true-unreach-call.c	timeout	0	wit	inspect	900	690	11000	9300	2.3	0	-					-					error (invalid witness file)	.53	.34	10	39	error (invalid witness file)	6.2	3.3	120	290
eca-rers2012/Problem12_label15_true-unreach-call.c	timeout	0	wit	inspect	900	680	9100	9200	2.3	0	-					-					error (invalid witness file)	.51	.33	11	39	error (invalid witness file)	6.7	3.5	110	300
eca-rers2012/Problem12_label16_true-unreach-call.c	timeout	0	wit	inspect	900	650	11000	9300	2.3	0	-					-					error (invalid witness file)	.48	.30	10	40	error (invalid witness file)	7.8	4.1	96	300
eca-rers2012/Problem12_label17_true-unreach-call.c	timeout	0	wit	inspect	900	690	11000	9300	2.3	0	-					-					error (invalid witness file)	.62	.39	8.9	41	error (invalid witness file)	6.7	3.5	110	310
eca-rers2012/Problem12_label18_true-unreach-call.c	timeout	0	wit	inspect	900	700	10000	9300	2.3	0	-					-					error (invalid witness file)	.70	.46	9.3	40	error (invalid witness file)	6.6	3.5	91	300
eca-rers2012/Problem12_label22_true-unreach-call.c	timeout	0	wit	inspect	900	710	10000	9300	2.3	0	-					-					error (invalid witness file)	.66	.42	7.3	40	error (invalid witness file)	6.5	3.4	140	300
eca-rers2012/Problem12_label23_true-unreach-call.c	timeout	0	wit	inspect	900	690	11000	9300	2.4	0	-					-					error (invalid witness file)	.54	.35	13	44	error (invalid witness file)	6.8	3.6	110	310
eca-rers2012/Problem12_label24_true-unreach-call.c	timeout	0	wit	inspect	900	710	9600	9300	2.3	0	-					-					error (invalid witness file)	.60	.37	9.0	40	error (invalid witness file)	7.3	3.8	130	310
eca-rers2012/Problem12_label26_true-unreach-call.c	timeout	0	wit	inspect	900	680	11000	9300	2.3	0	-					-					error (invalid witness file)	.62	.39	7.6	39	error (invalid witness file)	7.5	3.9	120	310
eca-rers2012/Problem12_label27_true-unreach-call.c	timeout	0	wit	inspect	900	700	10000	9300	2.3	0	-					-					error (invalid witness file)	.56	.36	9.9	40	error (invalid witness file)	7.1	3.7	150	310
eca-rers2012/Problem12_label29_true-unreach-call.c	timeout	0	wit	inspect	900	690	9200	9300	2.3	0	-					-					error (invalid witness file)	.53	.35	9.6	39	error (invalid witness file)	6.9	3.6	120	300
eca-rers2012/Problem12_label31_true-unreach-call.c	timeout	0	wit	inspect	900	700	10000	9300	2.3	0	-					-					error (invalid witness file)	.56	.36	12	43	error (invalid witness file)	7.0	3.7	130	300
eca-rers2012/Problem12_label32_true-unreach-call.c	timeout	0	wit	inspect	900	690	12000	9300	2.3	0	-					-					error (invalid witness file)	.61	.37	9.9	40	error (invalid witness file)	7.6	4.0	97	310
eca-rers2012/Problem12_label33_true-unreach-call.c	true	2	wit	inspect	850	600	9400	9300	5.2	0	-					-					true	79	59	1900	3500	true	220	170	4000	4900
eca-rers2012/Problem12_label36_true-unreach-call.c	timeout	0	wit	inspect	900	660	8700	9300	2.3	0	-					-					error (invalid witness file)	.48	.32	12	40	error (invalid witness file)	6.5	3.4	130	290
eca-rers2012/Problem12_label41_true-unreach-call.c	timeout	0	wit	inspect	900	680	10000	9300	2.3	0	-					-					error (invalid witness file)	.51	.32	10	39	error (invalid witness file)	7.0	3.7	120	300
eca-rers2012/Problem12_label43_true-unreach-call.c	timeout	0	wit	inspect	900	700	9800	9300	2.3	0	-					-					error (invalid witness file)	.50	.33	13	39	error (invalid witness file)	6.5	3.4	56	300
eca-rers2012/Problem12_label44_true-unreach-call.c	timeout	0	wit	inspect	900	680	9000	9300	2.3	0	-					-					error (invalid witness file)	.66	.43	7.9	39	error (invalid witness file)	6.4	3.4	65	320
eca-rers2012/Problem12_label45_true-unreach-call.c	timeout	0	wit	inspect	900	700	10000	9400	2.3	0	-					-					error (invalid witness file)	.52	.33	8.3	39	error (invalid witness file)	7.2	3.8	130	300
eca-rers2012/Problem12_label46_true-unreach-call.c	timeout	0	wit	inspect	900	700	11000	9400	2.3	0	-					-					error (invalid witness file)	.52	.35	11	39	error (invalid witness file)	6.4	3.4	120	300
eca-rers2012/Problem12_label47_true-unreach-call.c	timeout	0	wit	inspect	900	690	11000	9300	2.3	0	-					-					error (invalid witness file)	.62	.39	9.6	40	error (invalid witness file)	7.0	3.7	140	300
eca-rers2012/Problem12_label49_true-unreach-call.c	timeout	0	wit	inspect	900	700	8700	9300	2.3	0	-					-					error (invalid witness file)	.59	.35	12	41	error (invalid witness file)	7.6	4.0	150	320
eca-rers2012/Problem12_label53_true-unreach-call.c	timeout	0	wit	inspect	900	680	9500	9300	2.3	0	-					-					error (invalid witness file)	.57	.37	9.9	42	error (invalid witness file)	6.8	3.6	140	300
eca-rers2012/Problem12_label54_true-unreach-call.c	timeout	0	wit	inspect	900	660	9500	9200	2.3	0	-					-					error (invalid witness file)	.69	.43	7.8	41	error (invalid witness file)	7.2	3.8	120	290
eca-rers2012/Problem12_label56_true-unreach-call.c	true	2	wit	inspect	830	630	9300	9300	5.2	0	-					-					out of memory	210	190	3900	7000	true	170	120	2600	5200
eca-rers2012/Problem12_label57_true-unreach-call.c	timeout	0	wit	inspect	900	690	11000	9300	2.3	0	-					-					error (invalid witness file)	.60	.38	8.3	39	error (invalid witness file)	6.5	3.4	120	300
eca-rers2012/Problem12_label58_true-unreach-call.c	timeout	0	wit	inspect	900	660	9400	9300	2.3	0	-					-					error (invalid witness file)	.69	.44	8.1	40	error (invalid witness file)	7.3	3.8	120	310
eca-rers2012/Problem12_label59_true-unreach-call.c	timeout	0	wit	inspect	900	700	8900	9200	2.3	0	-					-					error (invalid witness file)	.62	.41	7.2	40	error (invalid witness file)	6.7	3.5	110	310
eca-rers2012/Problem13_label00_true-unreach-call.c	timeout	0	wit	inspect	900	610	7800	11000	2.3	0	-					-					error (invalid witness file)	.64	.40	7.2	39	error (invalid witness file)	6.7	3.6	130	300
eca-rers2012/Problem13_label01_true-unreach-call.c	timeout	0	wit	inspect	900	600	9300	11000	2.3	0	-					-					error (invalid witness file)	.54	.34	11	39	error (invalid witness file)	6.8	3.6	140	300
eca-rers2012/Problem13_label02_true-unreach-call.c	timeout	0	wit	inspect	900	610	8900	11000	2.3	0	-					-					error (invalid witness file)	.57	.36	8.6	40	error (invalid witness file)	6.7	3.6	130	310
eca-rers2012/Problem13_label03_true-unreach-call.c	timeout	0	wit	inspect	900	620	11000	11000	2.3	0	-					-					error (invalid witness file)	.68	.44	8.4	40	error (invalid witness file)	6.5	3.4	120	310
eca-rers2012/Problem13_label05_true-unreach-call.c	timeout	0	wit	inspect	900	590	8000	11000	2.3	0	-					-					error (invalid witness file)	.69	.44	7.6	43	error (invalid witness file)	6.7	3.5	130	300
eca-rers2012/Problem13_label08_true-unreach-call.c	timeout	0	wit	inspect	900	600	9000	11000	2.3	0	-					-					error (invalid witness file)	.52	.31	6.0	41	error (invalid witness file)	6.0	3.2	98	300
eca-rers2012/Problem13_label09_true-unreach-call.c	timeout	0	wit	inspect	900	620	8800	11000	2.3	0	-					-					error (invalid witness file)	.50	.32	11	40	error (invalid witness file)	6.7	3.5	150	300
eca-rers2012/Problem13_label10_true-unreach-call.c	timeout	0	wit	inspect	900	620	10000	11000	2.3	0	-					-					error (invalid witness file)	.50	.32	10	40	error (invalid witness file)	8.1	4.3	85	300
eca-rers2012/Problem13_label13_true-unreach-call.c	timeout	0	wit	inspect	900	630	7700	11000	2.3	0	-					-					error (invalid witness file)	.54	.35	11	43	error (invalid witness file)	7.0	3.7	120	310
eca-rers2012/Problem13_label14_true-unreach-call.c	timeout	0	wit	inspect	900	600	8500	11000	2.3	0	-					-					error (invalid witness file)	.56	.36	13	43	error (invalid witness file)	6.7	3.5	140	300
eca-rers2012/Problem13_label15_true-unreach-call.c	timeout	0	wit	inspect	900	570	7600	11000	2.3	0	-					-					error (invalid witness file)	.49	.31	11	41	error (invalid witness file)	6.8	3.6	130	290
eca-rers2012/Problem13_label17_true-unreach-call.c	timeout	0	wit	inspect	900	600	7700	11000	2.3	0	-					-					error (invalid witness file)	.62	.40	7.1	40	error (invalid witness file)	7.0	3.7	130	300
eca-rers2012/Problem13_label18_true-unreach-call.c	timeout	0	wit	inspect	900	620	9800	11000	2.3	0	-					-					error (invalid witness file)	.53	.34	11	39	error (invalid witness file)	6.6	3.5	120	300
eca-rers2012/Problem13_label20_true-unreach-call.c	timeout	0	wit	inspect	900	620	8700	11000	2.3	0	-					-					error (invalid witness file)	.62	.40	8.2	42	error (invalid witness file)	6.8	3.6	130	300
eca-rers2012/Problem13_label22_true-unreach-call.c	timeout	0	wit	inspect	900	610	8100	11000	2.3	0	-					-					error (invalid witness file)	.63	.40	8.7	39	error (invalid witness file)	6.9	3.6	130	300
eca-rers2012/Problem13_label26_true-unreach-call.c	timeout	0	wit	inspect	900	570	8500	11000	2.3	0	-					-					error (invalid witness file)	.57	.36	10	39	error (invalid witness file)	7.2	3.7	120	300
eca-rers2012/Problem13_label27_true-unreach-call.c	timeout	0	wit	inspect	900	570	9800	11000	2.3	0	-					-					error (invalid witness file)	.56	.36	9.7	39	error (invalid witness file)	6.4	3.4	130	290
eca-rers2012/Problem13_label31_true-unreach-call.c	timeout	0	wit	inspect	900	590	9200	11000	2.3	.0041	-					-					error (invalid witness file)	.52	.33	12	42	error (invalid witness file)	6.2	3.3	90	290
eca-rers2012/Problem13_label33_true-unreach-call.c	timeout	0	wit	inspect	900	600	8900	11000	2.3	0	-					-					error (invalid witness file)	.53	.34	12	42	error (invalid witness file)	6.8	3.6	130	300
eca-rers2012/Problem13_label34_true-unreach-call.c	timeout	0	wit	inspect	900	610	7600	11000	2.3	0	-					-					error (invalid witness file)	.69	.43	8.0	42	error (invalid witness file)	6.3	3.3	84	290
eca-rers2012/Problem13_label37_true-unreach-call.c	timeout	0	wit	inspect	900	600	8900	11000	2.3	0	-					-					error (invalid witness file)	.66	.42	8.2	40	error (invalid witness file)	6.4	3.4	130	300
eca-rers2012/Problem13_label38_true-unreach-call.c	timeout	0	wit	inspect	900	610	9000	11000	2.3	0	-					-					error (invalid witness file)	.52	.33	13	39	error (invalid witness file)	7.0	3.7	130	310
eca-rers2012/Problem13_label39_true-unreach-call.c	timeout	0	wit	inspect	900	590	9000	11000	2.3	0	-					-					error (invalid witness file)	.67	.42	8.2	39	error (invalid witness file)	6.8	3.6	100	310
eca-rers2012/Problem13_label41_true-unreach-call.c	timeout	0	wit	inspect	900	610	8600	11000	2.3	0	-					-					error (invalid witness file)	.55	.34	12	40	error (invalid witness file)	6.3	3.4	130	290
eca-rers2012/Problem13_label42_true-unreach-call.c	timeout	0	wit	inspect	900	600	9700	11000	2.3	0	-					-					error (invalid witness file)	.64	.41	7.1	39	error (invalid witness file)	7.2	3.7	130	310
eca-rers2012/Problem13_label46_true-unreach-call.c	timeout	0	wit	inspect	900	620	8300	11000	2.3	0	-					-					error (invalid witness file)	.68	.44	8.7	44	error (invalid witness file)	6.5	3.4	120	290
eca-rers2012/Problem13_label47_true-unreach-call.c	timeout	0	wit	inspect	900	600	8400	11000	2.3	0	-					-					error (invalid witness file)	.59	.38	11	40	error (invalid witness file)	7.6	4.0	150	310
eca-rers2012/Problem13_label49_true-unreach-call.c	timeout	0	wit	inspect	900	580	8100	11000	2.3	0	-					-					error (invalid witness file)	.56	.34	14	43	error (invalid witness file)	8.5	4.4	110	310
eca-rers2012/Problem13_label50_true-unreach-call.c	timeout	0	wit	inspect	900	590	9000	11000	2.3	0	-					-					error (invalid witness file)	.55	.35	11	41	error (invalid witness file)	6.8	3.6	130	300
eca-rers2012/Problem13_label52_true-unreach-call.c	timeout	0	wit	inspect	900	570	10000	11000	2.3	0	-					-					error (invalid witness file)	.49	.32	11	40	error (invalid witness file)	6.7	3.5	130	300
eca-rers2012/Problem13_label53_true-unreach-call.c	timeout	0	wit	inspect	900	600	9800	11000	2.3	0	-					-					error (invalid witness file)	.57	.37	11	40	error (invalid witness file)	7.1	3.7	120	320
eca-rers2012/Problem13_label55_true-unreach-call.c	timeout	0	wit	inspect	900	560	7900	11000	2.3	0	-					-					error (invalid witness file)	.62	.40	8.1	40	error (invalid witness file)	6.6	3.5	130	300
eca-rers2012/Problem13_label56_true-unreach-call.c	timeout	0	wit	inspect	900	610	9000	11000	2.3	0	-					-					error (invalid witness file)	.65	.41	9.4	45	error (invalid witness file)	6.7	3.5	100	300
eca-rers2012/Problem13_label57_true-unreach-call.c	timeout	0	wit	inspect	900	610	8800	11000	2.3	0	-					-					error (invalid witness file)	.52	.34	10	41	error (invalid witness file)	7.5	3.9	140	320
eca-rers2012/Problem13_label59_true-unreach-call.c	timeout	0	wit	inspect	900	580	10000	11000	2.3	0	-					-					error (invalid witness file)	.47	.31	8.7	39	error (invalid witness file)	7.3	3.8	120	300
eca-rers2012/Problem14_label00_true-unreach-call.c	true	2	wit	inspect	51	29	520	2100	3.0	0	-					-					true	23	13	330	780	true	39	22	710	780
eca-rers2012/Problem14_label01_true-unreach-call.c	true	2	wit	inspect	29	13	280	1300	3.0	0	-					-					out of memory	320	310	6100	7000	true	43	25	560	860
eca-rers2012/Problem14_label03_true-unreach-call.c	true	2	wit	inspect	330	290	4600	2800	3.0	0	-					-					true	59	46	860	790	true	100	68	1100	4100
eca-rers2012/Problem14_label04_true-unreach-call.c	true	2	wit	inspect	550	510	7200	2900	3.0	0	-					-					true	75	61	1200	1100	timeout	960	910	21000	3600
eca-rers2012/Problem14_label05_true-unreach-call.c	true	2	wit	inspect	48	29	500	2200	3.0	0	-					-					out of memory	310	290	6000	7000	true	42	25	420	810
eca-rers2012/Problem14_label06_true-unreach-call.c	true	2	wit	inspect	54	34	560	2700	3.0	0	-					-					out of memory	270	260	7200	7000	true	54	31	630	880
eca-rers2012/Problem14_label07_true-unreach-call.c	true	2	wit	inspect	470	430	6200	3500	3.0	0	-					-					out of memory	320	300	6900	7000	true	120	79	1700	4600
eca-rers2012/Problem14_label09_true-unreach-call.c	true	2	wit	inspect	98	72	1300	2800	3.0	0	-					-					true	84	72	2000	1100	timeout	960	920	14000	3100
eca-rers2012/Problem14_label15_true-unreach-call.c	true	2	wit	inspect	37	19	370	1500	3.0	0	-					-					out of memory	310	290	6700	7000	true	40	24	430	890
eca-rers2012/Problem14_label16_true-unreach-call.c	true	2	wit	inspect	61	38	710	2600	3.0	0	-					-					out of memory	290	280	6200	7000	true	44	26	620	860
eca-rers2012/Problem14_label17_true-unreach-call.c	true	2	wit	inspect	600	560	8000	3200	3.0	0	-					-					out of memory	340	320	5300	7000	true	120	82	1600	4500
eca-rers2012/Problem14_label19_true-unreach-call.c	true	2	wit	inspect	64	40	710	3100	3.0	0	-					-					out of memory	290	280	7500	7000	true	53	32	810	940
eca-rers2012/Problem14_label20_true-unreach-call.c	true	2	wit	inspect	34	16	350	1500	3.0	0	-					-					out of memory	310	290	6700	7000	true	32	18	370	680
eca-rers2012/Problem14_label21_true-unreach-call.c	true	2	wit	inspect	27	12	240	1100	3.0	0	-					-					out of memory	290	280	6600	7000	true	46	27	640	880
eca-rers2012/Problem14_label23_true-unreach-call.c	true	2	wit	inspect	41	21	400	1800	3.0	0	-					-					true	25	14	480	800	true	44	26	410	830
eca-rers2012/Problem14_label24_true-unreach-call.c	true	2	wit	inspect	38	17	320	1600	3.0	0	-					-					out of memory	270	260	6400	7000	true	60	36	540	970
eca-rers2012/Problem14_label25_true-unreach-call.c	true	2	wit	inspect	26	12	250	1100	3.0	0	-					-					out of memory	270	260	7000	7000	true	32	18	300	680
eca-rers2012/Problem14_label26_true-unreach-call.c	true	2	wit	inspect	60	36	680	2400	3.0	0	-					-					out of memory	290	280	6400	7000	true	46	27	490	880
eca-rers2012/Problem14_label30_true-unreach-call.c	true	2	wit	inspect	27	12	260	1200	3.0	0	-					-					out of memory	300	290	5800	7000	true	30	17	270	710
eca-rers2012/Problem14_label32_true-unreach-call.c	true	2	wit	inspect	54	33	620	2600	3.0	0	-					-					out of memory	290	280	5200	7000	true	47	29	660	1100
eca-rers2012/Problem14_label33_true-unreach-call.c	true	2	wit	inspect	35	18	300	1500	3.0	0	-					-					out of memory	250	240	6400	7000	true	68	43	660	1900
eca-rers2012/Problem14_label35_true-unreach-call.c	true	2	wit	inspect	39	19	350	1500	3.0	0	-					-					out of memory	270	260	6700	7000	true	30	16	290	560
eca-rers2012/Problem14_label36_true-unreach-call.c	true	2	wit	inspect	27	12	250	1100	3.0	0	-					-					out of memory	270	260	5700	7000	true	49	30	680	950
eca-rers2012/Problem14_label38_true-unreach-call.c	true	2	wit	inspect	41	21	400	1700	3.0	0	-					-					true	30	17	310	800	true	46	28	400	1000
eca-rers2012/Problem14_label42_true-unreach-call.c	true	2	wit	inspect	42	21	410	1800	3.0	0	-					-					out of memory	270	260	7400	7000	true	36	20	510	740
eca-rers2012/Problem14_label45_true-unreach-call.c	true	2	wit	inspect	67	43	740	3300	3.0	0	-					-					out of memory	280	270	5200	7000	true	180	130	2000	4500
eca-rers2012/Problem14_label46_true-unreach-call.c	timeout	0	wit	inspect	900	860	13000	2900	2.3	0	-					-					error (invalid witness file)	.59	.38	9.8	41	error (invalid witness file)	6.7	3.5	100	310
eca-rers2012/Problem14_label47_true-unreach-call.c	true	2	wit	inspect	72	49	810	2700	3.0	0	-					-					out of memory	280	270	6700	7000	true	80	51	850	1900
eca-rers2012/Problem14_label48_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	2800	2.3	0	-					-					error (invalid witness file)	.50	.33	12	40	error (invalid witness file)	5.5	3.0	85	290
eca-rers2012/Problem14_label49_true-unreach-call.c	true	2	wit	inspect	76	53	740	3000	3.0	0	-					-					out of memory	310	300	5200	7000	true	74	47	1100	1600
eca-rers2012/Problem14_label50_true-unreach-call.c	true	2	wit	inspect	40	21	390	1800	3.0	0	-					-					out of memory	250	240	6700	7000	true	190	140	2800	4600
eca-rers2012/Problem14_label51_true-unreach-call.c	timeout	0	wit	inspect	900	850	12000	2800	2.3	0	-					-					error (invalid witness file)	.53	.34	14	41	error (invalid witness file)	6.2	3.3	99	300
eca-rers2012/Problem14_label53_true-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3600	2.3	0	-					-					error (invalid witness file)	.66	.42	7.4	42	error (invalid witness file)	6.4	3.4	140	300
eca-rers2012/Problem14_label55_true-unreach-call.c	true	2	wit	inspect	140	110	1600	3600	3.0	0	-					-					out of memory	320	310	6300	7000	true	210	160	2100	4600
eca-rers2012/Problem14_label59_true-unreach-call.c	true	2	wit	inspect	26	12	220	1100	3.0	0	-					-					out of memory	250	240	9000	7000	true	43	24	580	800
eca-rers2012/Problem15_label01_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4500	2.3	0	-					-					error (invalid witness file)	.50	.32	11	40	error (invalid witness file)	6.0	3.2	120	290
eca-rers2012/Problem15_label04_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4600	2.3	0	-					-					error (invalid witness file)	.50	.32	12	40	error (invalid witness file)	6.8	3.6	140	310
eca-rers2012/Problem15_label05_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4600	2.3	0	-					-					error (invalid witness file)	.52	.33	8.7	40	error (invalid witness file)	6.6	3.5	140	300
eca-rers2012/Problem15_label06_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4700	2.3	0	-					-					error (invalid witness file)	.51	.33	12	40	error (invalid witness file)	6.7	3.5	130	310
eca-rers2012/Problem15_label08_true-unreach-call.c	timeout	0	wit	inspect	900	840	13000	4700	2.3	0	-					-					error (invalid witness file)	.59	.37	6.5	39	error (invalid witness file)	6.2	3.3	95	300
eca-rers2012/Problem15_label10_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4600	2.3	0	-					-					error (invalid witness file)	.53	.34	13	40	error (invalid witness file)	6.7	3.5	120	320
eca-rers2012/Problem15_label11_true-unreach-call.c	timeout	0	wit	inspect	900	840	14000	5300	2.3	0	-					-					error (invalid witness file)	.59	.38	8.5	42	error (invalid witness file)	6.6	3.5	130	300
eca-rers2012/Problem15_label12_true-unreach-call.c	timeout	0	wit	inspect	900	850	13000	5300	2.3	0	-					-					error (invalid witness file)	.61	.38	9.2	40	error (invalid witness file)	6.3	3.3	110	300
eca-rers2012/Problem15_label13_true-unreach-call.c	true	2	wit	inspect	560	500	7500	4600	3.5	0	-					-					out of memory	270	250	6200	7000	true	840	780	14000	5000
eca-rers2012/Problem15_label16_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4700	2.3	0	-					-					error (invalid witness file)	.61	.39	8.8	40	error (invalid witness file)	6.0	3.2	110	290
eca-rers2012/Problem15_label17_true-unreach-call.c	timeout	0	wit	inspect	900	840	11000	5300	2.3	0	-					-					error (invalid witness file)	.54	.34	11	43	error (invalid witness file)	6.4	3.4	98	300
eca-rers2012/Problem15_label19_true-unreach-call.c	timeout	0	wit	inspect	900	840	14000	4500	2.3	0	-					-					error (invalid witness file)	.56	.36	6.4	39	error (invalid witness file)	6.5	3.4	100	300
eca-rers2012/Problem15_label20_true-unreach-call.c	timeout	0	wit	inspect	900	840	13000	5000	2.3	0	-					-					error (invalid witness file)	.57	.37	6.3	39	error (invalid witness file)	6.1	3.3	79	300
eca-rers2012/Problem15_label21_true-unreach-call.c	timeout	0	wit	inspect	900	840	13000	4500	2.3	0	-					-					error (invalid witness file)	.49	.32	11	40	error (invalid witness file)	7.2	3.8	150	310
eca-rers2012/Problem15_label24_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	5000	2.3	0	-					-					error (invalid witness file)	.70	.44	7.9	43	error (invalid witness file)	6.5	3.4	110	300
eca-rers2012/Problem15_label26_true-unreach-call.c	timeout	0	wit	inspect	900	840	14000	4500	2.3	0	-					-					error (invalid witness file)	.62	.38	11	41	error (invalid witness file)	6.7	3.5	130	300
eca-rers2012/Problem15_label27_true-unreach-call.c	timeout	0	wit	inspect	900	840	13000	4700	2.3	0	-					-					error (invalid witness file)	.52	.33	13	44	error (invalid witness file)	7.2	3.8	140	310
eca-rers2012/Problem15_label28_true-unreach-call.c	timeout	0	wit	inspect	900	840	13000	4800	2.3	0	-					-					error (invalid witness file)	.53	.33	12	39	error (invalid witness file)	6.7	3.6	95	300
eca-rers2012/Problem15_label31_true-unreach-call.c	true	2	wit	inspect	170	120	1900	4700	3.5	0	-					-					out of memory	270	250	6100	7000	true	83	55	1100	1400
eca-rers2012/Problem15_label32_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4700	2.3	0	-					-					error (invalid witness file)	.50	.31	10	40	error (invalid witness file)	6.6	3.4	81	300
eca-rers2012/Problem15_label35_true-unreach-call.c	true	2	wit	inspect	670	610	8200	4600	3.5	0	-					-					out of memory	270	250	6700	7000	true	150	110	2600	3200
eca-rers2012/Problem15_label36_true-unreach-call.c	timeout	0	wit	inspect	900	840	13000	4700	2.3	0	-					-					error (invalid witness file)	.56	.37	9.7	40	error (invalid witness file)	7.0	3.7	140	300
eca-rers2012/Problem15_label42_true-unreach-call.c	true	1	wit	inspect	230	180	2700	4600	3.5	0	-					-					out of memory	250	230	7300	7000	timeout (true)	900	870	14000	2800
eca-rers2012/Problem15_label43_true-unreach-call.c	true	2	wit	inspect	240	190	2900	4500	3.5	0	-					-					out of memory	290	270	4300	7000	true	110	76	1100	2800
eca-rers2012/Problem15_label44_true-unreach-call.c	timeout	0	wit	inspect	900	840	11000	4600	2.3	0	-					-					error (invalid witness file)	.60	.39	11	41	error (invalid witness file)	6.6	3.5	140	300
eca-rers2012/Problem15_label46_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4800	2.3	0	-					-					error (invalid witness file)	.59	.39	7.3	39	error (invalid witness file)	6.2	3.3	100	290
eca-rers2012/Problem15_label49_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4900	2.3	0	-					-					error (invalid witness file)	.59	.38	7.2	39	error (invalid witness file)	6.5	3.5	110	290
eca-rers2012/Problem15_label52_true-unreach-call.c	timeout	0	wit	inspect	900	840	11000	4500	2.3	0	-					-					error (invalid witness file)	.52	.34	9.4	40	error (invalid witness file)	6.6	3.5	88	310
eca-rers2012/Problem15_label53_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4600	2.3	0	-					-					error (invalid witness file)	.56	.37	8.0	41	error (invalid witness file)	6.7	3.5	130	300
eca-rers2012/Problem15_label54_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	5200	2.3	0	-					-					error (invalid witness file)	.49	.31	12	40	error (invalid witness file)	6.6	3.5	100	310
eca-rers2012/Problem15_label55_true-unreach-call.c	true	2	wit	inspect	200	160	2100	4600	3.5	0	-					-					out of memory	260	240	4600	7000	true	69	45	770	1600
eca-rers2012/Problem15_label56_true-unreach-call.c	true	1	wit	inspect	640	580	8000	4600	3.5	0	-					-					out of memory	270	250	5800	7000	timeout	960	930	15000	2100
eca-rers2012/Problem15_label57_true-unreach-call.c	timeout	0	wit	inspect	900	840	11000	5000	2.3	0	-					-					error (invalid witness file)	.60	.39	8.8	40	error (invalid witness file)	6.6	3.5	140	300
eca-rers2012/Problem15_label58_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4600	2.3	0	-					-					error (invalid witness file)	.51	.33	12	39	error (invalid witness file)	6.6	3.5	120	300
eca-rers2012/Problem15_label59_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4600	2.3	0	-					-					error (invalid witness file)	.63	.41	7.8	41	error (invalid witness file)	6.5	3.4	100	300
eca-rers2012/Problem16_label02_true-unreach-call.c	timeout	0	wit	inspect	900	850	11000	3800	2.3	0	-					-					error (invalid witness file)	.54	.34	11	40	error (invalid witness file)	6.8	3.6	150	300
eca-rers2012/Problem16_label07_true-unreach-call.c	true	2	wit	inspect	130	90	1600	4400	3.5	0	-					-					out of memory	340	330	5300	7000	true	190	140	2900	4600
eca-rers2012/Problem16_label09_true-unreach-call.c	true	2	wit	inspect	180	140	2000	4600	3.5	0	-					-					out of memory	340	320	5900	7000	true	270	220	2600	4600
eca-rers2012/Problem16_label10_true-unreach-call.c	true	2	wit	inspect	95	61	1000	3100	3.5	0	-					-					out of memory	270	260	8300	7000	true	180	130	2000	4600
eca-rers2012/Problem16_label11_true-unreach-call.c	true	2	wit	inspect	150	110	1700	4400	3.5	0	-					-					out of memory	350	330	5900	7000	true	130	83	1100	3400
eca-rers2012/Problem16_label12_true-unreach-call.c	true	2	wit	inspect	120	86	1300	3900	3.5	0	-					-					true	36	21	670	1400	true	110	74	1600	4600
eca-rers2012/Problem16_label13_true-unreach-call.c	true	2	wit	inspect	120	81	1300	3300	3.5	0	-					-					out of memory	320	310	6800	7000	true	120	75	1700	4200
eca-rers2012/Problem16_label16_true-unreach-call.c	true	2	wit	inspect	140	100	1600	4000	3.5	0	-					-					out of memory	320	300	7700	7000	true	130	90	2300	4600
eca-rers2012/Problem16_label17_true-unreach-call.c	true	2	wit	inspect	200	150	2100	4200	3.5	0	-					-					out of memory	300	290	7800	7000	true	140	98	2000	4700
eca-rers2012/Problem16_label19_true-unreach-call.c	true	2	wit	inspect	130	93	1400	4500	3.6	0	-					-					out of memory	360	340	5700	7000	true	260	200	2700	4700
eca-rers2012/Problem16_label21_true-unreach-call.c	true	2	wit	inspect	140	99	1400	4600	3.5	0	-					-					out of memory	340	320	6100	7000	true	110	76	1800	4500
eca-rers2012/Problem16_label23_true-unreach-call.c	true	2	wit	inspect	130	89	1300	3800	3.5	0	-					-					out of memory	340	320	5700	7000	true	45	27	700	1000
eca-rers2012/Problem16_label24_true-unreach-call.c	true	2	wit	inspect	97	62	860	3200	3.5	0	-					-					out of memory	300	280	8700	7000	true	46	28	540	940
eca-rers2012/Problem16_label25_true-unreach-call.c	true	2	wit	inspect	130	87	1200	4100	3.5	0	-					-					out of memory	290	280	7000	7000	true	43	26	490	1000
eca-rers2012/Problem16_label26_true-unreach-call.c	true	2	wit	inspect	96	61	900	3000	3.5	0	-					-					out of memory	300	290	7100	7000	true	42	25	390	960
eca-rers2012/Problem16_label28_true-unreach-call.c	true	2	wit	inspect	120	83	1300	3900	3.5	0	-					-					out of memory	290	280	8600	7000	true	110	73	1100	4000
eca-rers2012/Problem16_label29_true-unreach-call.c	true	2	wit	inspect	150	100	1700	4400	3.5	0	-					-					out of memory	320	300	6600	7000	true	82	54	950	2200
eca-rers2012/Problem16_label32_true-unreach-call.c	true	2	wit	inspect	130	93	1400	3900	3.5	0	-					-					out of memory	330	320	6400	7000	true	100	68	1200	3200
eca-rers2012/Problem16_label34_true-unreach-call.c	true	2	wit	inspect	240	190	3300	3900	3.5	0	-					-					true	54	36	750	2200	true	100	69	1100	3200
eca-rers2012/Problem16_label35_true-unreach-call.c	true	2	wit	inspect	150	110	1700	4900	3.5	0	-					-					true	46	31	880	2200	true	100	65	1400	3700
eca-rers2012/Problem16_label36_true-unreach-call.c	true	2	wit	inspect	140	100	1500	3700	3.5	0	-					-					out of memory	340	320	6200	7000	true	99	65	1200	3300
eca-rers2012/Problem16_label39_true-unreach-call.c	true	2	wit	inspect	130	86	1300	3900	3.5	0	-					-					out of memory	340	320	6100	7000	true	55	34	910	1200
eca-rers2012/Problem16_label40_true-unreach-call.c	true	2	wit	inspect	200	160	2100	3700	3.5	0	-					-					out of memory	310	290	6200	7000	true	120	83	1200	4700
eca-rers2012/Problem16_label42_true-unreach-call.c	true	2	wit	inspect	140	99	1500	4100	3.5	0	-					-					out of memory	310	300	6700	7000	true	110	71	1100	4500
eca-rers2012/Problem16_label45_true-unreach-call.c	timeout	0	wit	inspect	900	840	12000	4500	2.3	0	-					-					error (invalid witness file)	.56	.37	9.9	40	error (invalid witness file)	6.5	3.4	110	300
eca-rers2012/Problem16_label47_true-unreach-call.c	true	2	wit	inspect	130	86	1600	3900	3.5	0	-					-					out of memory	290	280	7600	7000	true	33	19	490	780
eca-rers2012/Problem16_label48_true-unreach-call.c	true	2	wit	inspect	120	80	1400	3700	3.5	0	-					-					out of memory	320	310	7600	7000	true	34	19	650	750
eca-rers2012/Problem16_label49_true-unreach-call.c	true	2	wit	inspect	120	82	1200	3700	3.5	0	-					-					out of memory	280	270	6700	7000	true	34	19	430	750
eca-rers2012/Problem16_label50_true-unreach-call.c	true	2	wit	inspect	120	85	1300	4300	3.5	0	-					-					out of memory	310	300	6200	7000	true	38	21	720	740
eca-rers2012/Problem16_label53_true-unreach-call.c	true	2	wit	inspect	380	330	4400	3700	3.5	0	-					-					out of memory	290	280	7300	7000	true	750	680	11000	5100
eca-rers2012/Problem16_label55_true-unreach-call.c	true	2	wit	inspect	130	90	1600	4000	3.5	0	-					-					out of memory	330	310	6900	7000	true	38	23	410	760
eca-rers2012/Problem16_label56_true-unreach-call.c	true	2	wit	inspect	120	76	1200	3700	3.5	0	-					-					out of memory	280	270	8700	7000	true	42	25	600	770
eca-rers2012/Problem16_label57_true-unreach-call.c	true	2	wit	inspect	97	61	1100	2900	3.5	0	-					-					out of memory	320	300	6100	7000	true	43	25	660	780
eca-rers2012/Problem16_label58_true-unreach-call.c	true	2	wit	inspect	130	87	1200	3800	3.5	0	-					-					true	41	24	400	1600	true	42	25	520	790
eca-rers2012/Problem16_label59_true-unreach-call.c	true	2	wit	inspect	150	110	1800	4600	3.5	0	-					-					out of memory	340	330	8700	7000	true	60	37	700	1200
eca-rers2012/Problem17_label00_true-unreach-call.c	timeout	0	wit	inspect	900	810	12000	6100	2.3	0	-					-					error (invalid witness file)	.65	.40	8.1	40	error (invalid witness file)	6.1	3.3	120	290
eca-rers2012/Problem17_label01_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6100	2.3	0	-					-					error (invalid witness file)	.50	.33	12	41	error (invalid witness file)	6.6	3.5	110	320
eca-rers2012/Problem17_label02_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6100	2.3	0	-					-					error (invalid witness file)	.57	.37	11	43	error (invalid witness file)	6.8	3.6	150	300
eca-rers2012/Problem17_label03_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6200	2.3	0	-					-					error (invalid witness file)	.65	.41	9.9	43	error (invalid witness file)	6.2	3.3	78	300
eca-rers2012/Problem17_label05_true-unreach-call.c	timeout	0	wit	inspect	900	800	10000	6100	2.3	0	-					-					error (invalid witness file)	.49	.32	11	40	error (invalid witness file)	6.7	3.5	120	300
eca-rers2012/Problem17_label06_true-unreach-call.c	timeout	0	wit	inspect	900	810	11000	6100	2.3	0	-					-					error (invalid witness file)	.60	.39	9.0	42	error (invalid witness file)	6.8	3.6	130	300
eca-rers2012/Problem17_label08_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	6100	2.3	0	-					-					error (invalid witness file)	.50	.33	13	40	error (invalid witness file)	7.6	4.0	140	320
eca-rers2012/Problem17_label10_true-unreach-call.c	timeout	0	wit	inspect	900	820	11000	6100	2.3	0	-					-					error (invalid witness file)	.56	.36	9.7	41	error (invalid witness file)	6.6	3.5	120	300
eca-rers2012/Problem17_label11_true-unreach-call.c	timeout	0	wit	inspect	900	790	12000	6100	2.3	0	-					-					error (invalid witness file)	.64	.41	6.8	39	error (invalid witness file)	7.0	3.7	81	320
eca-rers2012/Problem17_label12_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	6100	2.3	0	-					-					error (invalid witness file)	.52	.33	9.4	40	error (invalid witness file)	6.3	3.4	110	300
eca-rers2012/Problem17_label14_true-unreach-call.c	timeout	0	wit	inspect	900	810	11000	6000	2.3	0	-					-					error (invalid witness file)	.56	.36	10	39	error (invalid witness file)	6.5	3.4	120	300
eca-rers2012/Problem17_label15_true-unreach-call.c	timeout	0	wit	inspect	900	820	10000	6200	2.3	0	-					-					error (invalid witness file)	.64	.42	8.7	40	error (invalid witness file)	7.0	3.7	120	300
eca-rers2012/Problem17_label17_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6100	2.3	0	-					-					error (invalid witness file)	.69	.44	10	45	error (invalid witness file)	6.0	3.2	110	300
eca-rers2012/Problem17_label18_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6200	2.3	0	-					-					error (invalid witness file)	.51	.33	8.5	41	error (invalid witness file)	6.8	3.6	120	300
eca-rers2012/Problem17_label19_true-unreach-call.c	timeout	0	wit	inspect	900	810	11000	6100	2.3	0	-					-					error (invalid witness file)	.55	.36	10	40	error (invalid witness file)	7.3	3.8	130	310
eca-rers2012/Problem17_label21_true-unreach-call.c	timeout	0	wit	inspect	900	780	10000	6100	2.3	0	-					-					error (invalid witness file)	.50	.32	6.3	41	error (invalid witness file)	7.8	4.1	83	310
eca-rers2012/Problem17_label22_true-unreach-call.c	timeout	0	wit	inspect	900	790	10000	6200	2.3	0	-					-					error (invalid witness file)	.61	.38	9.9	40	error (invalid witness file)	6.6	3.5	120	310
eca-rers2012/Problem17_label24_true-unreach-call.c	timeout	0	wit	inspect	900	790	10000	6100	2.3	0	-					-					error (invalid witness file)	.49	.31	8.8	40	error (invalid witness file)	7.7	4.0	130	310
eca-rers2012/Problem17_label27_true-unreach-call.c	timeout	0	wit	inspect	900	810	10000	6100	2.3	0	-					-					error (invalid witness file)	.67	.43	8.9	41	error (invalid witness file)	6.9	3.6	120	310
eca-rers2012/Problem17_label28_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6200	2.3	0	-					-					error (invalid witness file)	.50	.32	12	40	error (invalid witness file)	6.3	3.4	140	310
eca-rers2012/Problem17_label29_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6100	2.3	0	-					-					error (invalid witness file)	.47	.30	11	39	error (invalid witness file)	6.5	3.5	130	290
eca-rers2012/Problem17_label32_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6200	2.3	0	-					-					error (invalid witness file)	.52	.33	13	43	error (invalid witness file)	6.8	3.5	130	310
eca-rers2012/Problem17_label36_true-unreach-call.c	timeout	0	wit	inspect	900	810	13000	6100	2.3	0	-					-					error (invalid witness file)	.52	.35	12	41	error (invalid witness file)	6.6	3.5	120	300
eca-rers2012/Problem17_label38_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	6200	2.3	0	-					-					error (invalid witness file)	.66	.42	8.9	42	error (invalid witness file)	6.5	3.4	120	300
eca-rers2012/Problem17_label39_true-unreach-call.c	timeout	0	wit	inspect	900	800	13000	6200	2.3	0	-					-					error (invalid witness file)	.50	.32	12	40	error (invalid witness file)	6.6	3.5	100	300
eca-rers2012/Problem17_label41_true-unreach-call.c	timeout	0	wit	inspect	900	800	10000	6200	2.3	0	-					-					error (invalid witness file)	.50	.31	9.8	39	error (invalid witness file)	6.9	3.6	130	310
eca-rers2012/Problem17_label42_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6200	2.3	0	-					-					error (invalid witness file)	.69	.43	8.5	40	error (invalid witness file)	6.2	3.3	81	300
eca-rers2012/Problem17_label43_true-unreach-call.c	timeout	0	wit	inspect	900	810	12000	6100	2.3	0	-					-					error (invalid witness file)	.66	.42	7.9	40	error (invalid witness file)	6.7	3.5	130	300
eca-rers2012/Problem17_label44_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6200	2.3	0	-					-					error (invalid witness file)	.50	.33	12	39	error (invalid witness file)	6.6	3.5	120	300
eca-rers2012/Problem17_label45_true-unreach-call.c	timeout	0	wit	inspect	900	800	12000	6200	2.3	0	-					-					error (invalid witness file)	.51	.32	10	41	error (invalid witness file)	7.1	3.7	88	300
eca-rers2012/Problem17_label47_true-unreach-call.c	timeout	0	wit	inspect	900	810	12000	6200	2.3	0	-					-					error (invalid witness file)	.67	.43	9.5	42	error (invalid witness file)	6.7	3.6	120	310
eca-rers2012/Problem17_label48_true-unreach-call.c	timeout	0	wit	inspect	900	780	11000	5900	2.3	0	-					-					error (invalid witness file)	.50	.31	11	39	error (invalid witness file)	7.1	3.7	130	300
eca-rers2012/Problem17_label51_true-unreach-call.c	timeout	0	wit	inspect	900	800	11000	6200	2.3	0	-					-					error (invalid witness file)	.50	.32	11	42	error (invalid witness file)	6.8	3.6	140	300
eca-rers2012/Problem17_label56_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	5900	2.3	0	-					-					error (invalid witness file)	.70	.44	8.2	43	error (invalid witness file)	6.6	3.5	110	300
eca-rers2012/Problem17_label58_true-unreach-call.c	timeout	0	wit	inspect	900	780	11000	6200	2.0	0	-					-					error (invalid witness file)	.63	.40	9.9	42	error (invalid witness file)	6.6	3.5	100	300
eca-rers2012/Problem17_label59_true-unreach-call.c	timeout	0	wit	inspect	900	810	11000	6200	2.3	0	-					-					error (invalid witness file)	.59	.36	8.5	39	error (invalid witness file)	6.3	3.3	90	300
eca-rers2012/Problem18_label02_true-unreach-call.c	true	2	wit	inspect	400	250	4200	7500	4.7	0	-					-					out of memory	280	260	5900	7000	true	140	95	1400	3500
eca-rers2012/Problem18_label04_true-unreach-call.c	timeout	0	wit	inspect	900	730	10000	7600	2.3	0	-					-					error (invalid witness file)	.62	.40	9.9	41	error (invalid witness file)	6.5	3.5	100	310
eca-rers2012/Problem18_label05_true-unreach-call.c	timeout	0	wit	inspect	900	740	11000	7700	2.3	0	-					-					error (invalid witness file)	.63	.41	7.7	40	error (invalid witness file)	6.5	3.4	130	290
eca-rers2012/Problem18_label07_true-unreach-call.c	true	2	wit	inspect	410	260	4000	7400	4.7	0	-					-					out of memory	310	290	5600	7000	true	180	130	2400	5200
eca-rers2012/Problem18_label11_true-unreach-call.c	true	2	wit	inspect	490	350	5100	7500	4.7	0	-					-					out of memory	270	250	8100	7000	true	150	100	2700	4200
eca-rers2012/Problem18_label13_true-unreach-call.c	true	2	wit	inspect	550	400	5900	7600	4.7	0	-					-					true	69	46	1100	2200	true	120	85	1900	2600
eca-rers2012/Problem18_label14_true-unreach-call.c	timeout	0	wit	inspect	900	750	12000	7700	2.3	0	-					-					error (invalid witness file)	.62	.40	7.4	39	error (invalid witness file)	7.4	3.9	110	320
eca-rers2012/Problem18_label15_true-unreach-call.c	timeout	0	wit	inspect	900	770	12000	7700	2.3	0	-					-					error (invalid witness file)	.53	.34	9.6	39	error (invalid witness file)	6.9	3.6	130	300
eca-rers2012/Problem18_label16_true-unreach-call.c	true	2	wit	inspect	530	390	6400	7500	4.7	0	-					-					out of memory	280	260	6000	7000	true	130	90	1100	3700
eca-rers2012/Problem18_label17_true-unreach-call.c	true	2	wit	inspect	440	290	4300	7500	4.7	0	-					-					out of memory	250	230	7400	7000	true	140	94	1900	3900
eca-rers2012/Problem18_label18_true-unreach-call.c	true	2	wit	inspect	500	350	5200	7400	4.7	0	-					-					out of memory	280	260	6100	7000	true	120	83	2000	2700
eca-rers2012/Problem18_label21_true-unreach-call.c	true	2	wit	inspect	650	500	6700	7600	4.7	0	-					-					out of memory	250	230	7300	7000	true	62	39	850	1300
eca-rers2012/Problem18_label22_true-unreach-call.c	true	2	wit	inspect	500	360	5300	7500	4.7	0	-					-					out of memory	290	270	5800	7000	true	210	150	2700	5200
eca-rers2012/Problem18_label23_true-unreach-call.c	true	2	wit	inspect	620	470	7300	7600	4.7	0	-					-					out of memory	280	260	5900	7000	true	170	120	1700	5100
eca-rers2012/Problem18_label24_true-unreach-call.c	timeout	0	wit	inspect	900	710	12000	7700	2.3	0	-					-					error (invalid witness file)	.64	.40	6.8	39	error (invalid witness file)	6.4	3.4	120	300
eca-rers2012/Problem18_label26_true-unreach-call.c	true	2	wit	inspect	540	400	6100	7500	4.7	0	-					-					out of memory	280	260	6500	7000	true	850	780	12000	5500
eca-rers2012/Problem18_label28_true-unreach-call.c	true	2	wit	inspect	530	390	5600	7600	4.7	0	-					-					true	70	48	940	2200	true	110	79	1400	2200
eca-rers2012/Problem18_label29_true-unreach-call.c	timeout	0	wit	inspect	900	760	11000	7700	2.3	0	-					-					error (invalid witness file)	.62	.41	8.1	40	error (invalid witness file)	6.2	3.3	100	290
eca-rers2012/Problem18_label30_true-unreach-call.c	true	2	wit	inspect	540	370	5100	7500	4.7	0	-					-					out of memory	300	280	5800	7000	true	210	150	3300	5500
eca-rers2012/Problem18_label37_true-unreach-call.c	true	2	wit	inspect	820	660	9400	7700	4.7	0	-					-					true	74	50	1200	2100	timeout	960	910	18000	5000
eca-rers2012/Problem18_label40_true-unreach-call.c	true	2	wit	inspect	570	420	6000	7400	4.7	0	-					-					out of memory	270	250	6800	7000	true	260	190	3500	5500
eca-rers2012/Problem18_label41_true-unreach-call.c	true	2	wit	inspect	530	360	6100	7500	4.7	0	-					-					out of memory	270	250	6800	7000	true	84	53	1100	1700
eca-rers2012/Problem18_label42_true-unreach-call.c	timeout	0	wit	inspect	900	780	10000	7700	2.3	0	-					-					error (invalid witness file)	.63	.40	7.8	41	error (invalid witness file)	6.7	3.5	110	310
eca-rers2012/Problem18_label43_true-unreach-call.c	true	2	wit	inspect	380	240	3800	7500	4.7	0	-					-					out of memory	270	250	7300	7000	true	77	49	790	1500
eca-rers2012/Problem18_label44_true-unreach-call.c	true	2	wit	inspect	640	490	6600	7500	4.7	0	-					-					true	60	40	1400	2100	true	130	91	1400	5100
eca-rers2012/Problem18_label46_true-unreach-call.c	true	2	wit	inspect	400	260	4500	7500	4.7	0	-					-					out of memory	250	230	7800	7000	true	100	71	930	2500
eca-rers2012/Problem18_label47_true-unreach-call.c	timeout (true)	0	wit	inspect	900	710	11000	7700	4.7	0	-					-					true	67	45	1100	2100	true	120	81	1200	2700
eca-rers2012/Problem18_label48_true-unreach-call.c	true	2	wit	inspect	500	370	5000	7600	4.7	0	-					-					true	68	46	1000	2100	true	100	65	1000	2500
eca-rers2012/Problem18_label50_true-unreach-call.c	true	2	wit	inspect	390	260	3900	7500	4.7	0	-					-					out of memory	280	260	6900	7000	true	200	150	2900	5200
eca-rers2012/Problem18_label51_true-unreach-call.c	true	2	wit	inspect	400	280	4400	7700	4.7	0	-					-					out of memory	260	240	7800	7000	true	87	56	1200	1800
eca-rers2012/Problem18_label53_true-unreach-call.c	true	2	wit	inspect	390	260	3600	7600	4.7	0	-					-					out of memory	310	290	5700	7000	true	96	63	920	2400
eca-rers2012/Problem18_label54_true-unreach-call.c	true	2	wit	inspect	760	600	8700	7700	4.7	0	-					-					out of memory	290	270	6400	7000	true	120	83	1600	3700
eca-rers2012/Problem18_label56_true-unreach-call.c	true	2	wit	inspect	490	330	4500	7400	4.7	0	-					-					out of memory	260	240	7900	7000	true	94	61	1600	1900
eca-rers2012/Problem18_label58_true-unreach-call.c	true	2	wit	inspect	390	250	3500	7500	4.7	0	-					-					out of memory	290	270	5700	7000	true	98	66	900	2600
eca-rers2012/Problem18_label59_true-unreach-call.c	timeout	0	wit	inspect	900	720	10000	7800	2.3	0	-					-					error (invalid witness file)	.62	.39	9.3	40	error (invalid witness file)	7.0	3.7	150	300
eca-rers2012/Problem19_label00_true-unreach-call.c	timeout	0	wit	inspect	900	580	8400	11000	2.3	0	-					-					error (invalid witness file)	.55	.36	13	44	error (invalid witness file)	6.9	3.6	110	310
eca-rers2012/Problem19_label01_true-unreach-call.c	timeout	0	wit	inspect	900	620	9600	12000	2.3	0	-					-					error (invalid witness file)	.68	.43	8.4	42	error (invalid witness file)	6.5	3.5	95	310
eca-rers2012/Problem19_label02_true-unreach-call.c	timeout	0	wit	inspect	900	570	8700	11000	2.3	0	-					-					error (invalid witness file)	.64	.41	8.2	40	error (invalid witness file)	7.6	4.0	140	310
eca-rers2012/Problem19_label03_true-unreach-call.c	timeout	0	wit	inspect	900	590	8600	11000	2.3	0	-					-					error (invalid witness file)	.49	.30	11	39	error (invalid witness file)	8.0	4.2	89	300
eca-rers2012/Problem19_label04_true-unreach-call.c	timeout	0	wit	inspect	900	590	8600	12000	2.3	0	-					-					error (invalid witness file)	.50	.34	8.1	40	error (invalid witness file)	7.1	3.7	130	310
eca-rers2012/Problem19_label05_true-unreach-call.c	timeout	0	wit	inspect	900	590	8300	12000	2.3	0	-					-					error (invalid witness file)	.63	.41	7.9	41	error (invalid witness file)	6.8	3.6	120	300
eca-rers2012/Problem19_label06_true-unreach-call.c	timeout	0	wit	inspect	910	600	8600	12000	2.3	0	-					-					error (invalid witness file)	.68	.42	7.0	39	error (invalid witness file)	7.6	4.0	110	320
eca-rers2012/Problem19_label07_true-unreach-call.c	timeout	0	wit	inspect	900	580	8100	12000	2.3	0	-					-					error (invalid witness file)	.48	.30	10	39	error (invalid witness file)	7.2	3.8	150	300
eca-rers2012/Problem19_label08_true-unreach-call.c	timeout	0	wit	inspect	900	620	8700	13000	2.3	0	-					-					error (invalid witness file)	.57	.36	11	42	error (invalid witness file)	8.0	4.2	160	320
eca-rers2012/Problem19_label09_true-unreach-call.c	timeout	0	wit	inspect	900	590	8700	11000	2.3	0	-					-					error (invalid witness file)	.52	.32	9.6	40	error (invalid witness file)	8.3	4.4	140	320
eca-rers2012/Problem19_label12_true-unreach-call.c	timeout	0	wit	inspect	900	590	8500	12000	2.3	0	-					-					error (invalid witness file)	.51	.33	14	42	error (invalid witness file)	7.2	3.7	130	310
eca-rers2012/Problem19_label13_true-unreach-call.c	timeout	0	wit	inspect	900	610	9900	12000	2.3	0	-					-					error (invalid witness file)	.47	.32	12	40	error (invalid witness file)	6.3	3.4	110	300
eca-rers2012/Problem19_label15_true-unreach-call.c	timeout	0	wit	inspect	900	600	8300	12000	2.3	0	-					-					error (invalid witness file)	.53	.34	9.0	40	error (invalid witness file)	6.9	3.6	130	300
eca-rers2012/Problem19_label16_true-unreach-call.c	timeout	0	wit	inspect	900	620	8400	13000	2.3	0	-					-					error (invalid witness file)	.53	.34	13	41	error (invalid witness file)	7.4	3.9	130	310
eca-rers2012/Problem19_label20_true-unreach-call.c	timeout	0	wit	inspect	900	610	7900	13000	2.3	0	-					-					error (invalid witness file)	.69	.44	8.0	41	error (invalid witness file)	7.4	3.9	130	310
eca-rers2012/Problem19_label23_true-unreach-call.c	timeout	0	wit	inspect	900	620	7900	12000	2.3	0	-					-					error (invalid witness file)	.49	.32	11	40	error (invalid witness file)	7.2	3.8	81	320
eca-rers2012/Problem19_label24_true-unreach-call.c	timeout	0	wit	inspect	900	560	9100	11000	2.3	0	-					-					error (invalid witness file)	.61	.39	12	42	error (invalid witness file)	6.9	3.6	120	300
eca-rers2012/Problem19_label25_true-unreach-call.c	timeout	0	wit	inspect	900	590	8400	11000	2.3	0	-					-					error (invalid witness file)	.61	.40	8.7	39	error (invalid witness file)	6.8	3.5	120	300
eca-rers2012/Problem19_label30_true-unreach-call.c	timeout	0	wit	inspect	900	600	8500	12000	2.3	0	-					-					error (invalid witness file)	.55	.35	11	42	error (invalid witness file)	7.0	3.6	130	300
eca-rers2012/Problem19_label33_true-unreach-call.c	timeout	0	wit	inspect	900	620	8600	12000	2.3	0	-					-					error (invalid witness file)	.52	.33	12	40	error (invalid witness file)	7.6	4.0	120	320
eca-rers2012/Problem19_label34_true-unreach-call.c	timeout	0	wit	inspect	900	610	8700	12000	2.3	0	-					-					error (invalid witness file)	.53	.34	13	44	error (invalid witness file)	7.3	3.9	120	300
eca-rers2012/Problem19_label35_true-unreach-call.c	timeout	0	wit	inspect	900	620	7900	13000	2.3	0	-					-					error (invalid witness file)	.68	.43	7.1	40	error (invalid witness file)	6.8	3.6	140	300
eca-rers2012/Problem19_label36_true-unreach-call.c	timeout	0	wit	inspect	900	590	9000	12000	2.3	0	-					-					error (invalid witness file)	.55	.35	10	40	error (invalid witness file)	7.6	4.0	95	310
eca-rers2012/Problem19_label37_true-unreach-call.c	timeout	0	wit	inspect	900	600	7900	12000	2.3	0	-					-					error (invalid witness file)	.53	.33	9.7	41	error (invalid witness file)	6.7	3.5	57	300
eca-rers2012/Problem19_label38_true-unreach-call.c	timeout	0	wit	inspect	900	590	8300	12000	2.3	0	-					-					error (invalid witness file)	.53	.33	11	42	error (invalid witness file)	6.7	3.5	120	310
eca-rers2012/Problem19_label39_true-unreach-call.c	timeout	0	wit	inspect	900	620	7600	13000	2.3	0	-					-					error (invalid witness file)	.55	.35	9.9	41	error (invalid witness file)	6.5	3.4	99	300
eca-rers2012/Problem19_label40_true-unreach-call.c	timeout	0	wit	inspect	900	580	8000	12000	2.3	0	-					-					error (invalid witness file)	.65	.41	9.2	39	error (invalid witness file)	7.1	3.7	140	300
eca-rers2012/Problem19_label44_true-unreach-call.c	timeout	0	wit	inspect	900	620	10000	13000	2.3	0	-					-					error (invalid witness file)	.67	.42	7.7	40	error (invalid witness file)	6.5	3.4	120	300
eca-rers2012/Problem19_label45_true-unreach-call.c	timeout	0	wit	inspect	900	580	8000	11000	2.3	0	-					-					error (invalid witness file)	.66	.41	8.4	40	error (invalid witness file)	6.7	3.6	120	300
eca-rers2012/Problem19_label46_true-unreach-call.c	timeout	0	wit	inspect	900	590	8200	12000	2.3	0	-					-					error (invalid witness file)	.51	.34	6.8	40	error (invalid witness file)	7.2	3.8	140	310
eca-rers2012/Problem19_label48_true-unreach-call.c	timeout	0	wit	inspect	900	550	7800	11000	2.3	0	-					-					error (invalid witness file)	.56	.37	8.3	39	error (invalid witness file)	6.2	3.3	90	290
eca-rers2012/Problem19_label49_true-unreach-call.c	timeout	0	wit	inspect	900	600	8300	12000	2.3	0	-					-					error (invalid witness file)	.51	.32	12	41	error (invalid witness file)	6.8	3.6	120	310
eca-rers2012/Problem19_label52_true-unreach-call.c	timeout	0	wit	inspect	910	620	8400	13000	2.3	0	-					-					error (invalid witness file)	.68	.42	6.9	41	error (invalid witness file)	7.6	4.0	110	300
eca-rers2012/Problem19_label54_true-unreach-call.c	timeout	0	wit	inspect	900	580	7700	11000	2.3	0	-					-					error (invalid witness file)	.51	.33	11	40	error (invalid witness file)	6.9	3.7	150	300
eca-rers2012/Problem19_label56_true-unreach-call.c	timeout	0	wit	inspect	900	610	8600	12000	2.3	0	-					-					error (invalid witness file)	.62	.39	8.2	39	error (invalid witness file)	6.6	3.5	67	300
eca-rers2012/Problem19_label57_true-unreach-call.c	timeout	0	wit	inspect	910	590	9100	12000	2.3	0	-					-					error (invalid witness file)	.47	.31	8.2	40	error (invalid witness file)	7.0	3.7	110	300
psyco/psyco_abp_1_false-unreach-call.c	timeout	0	wit	inspect	900	780	16000	4600	2.3	0	error (invalid witness file)	.52	.33	10	40	error (invalid witness file)	5.3	2.8	60	290	-					-
psyco/psyco_cev_1_false-unreach-call.c	timeout	0	wit	inspect	900	660	12000	7200	2.3	0	error (invalid witness file)	.50	.32	13	40	error (invalid witness file)	19	11	300	1600	-					-
psyco/psyco_cev_2_false-unreach-call.c	timeout	0	wit	inspect	900	660	13000	8100	2.3	0	error (invalid witness file)	.65	.40	6.7	40	error (invalid witness file)	24	14	250	2200	-					-
psyco/psyco_cev_3_false-unreach-call.c	timeout	0	wit	inspect	900	600	12000	9100	2.3	0	error (invalid witness file)	.53	.34	9.6	41	error (invalid witness file)	52	28	390	2400	-					-
psyco/psyco_net_1_false-unreach-call.c	timeout	0	wit	inspect	900	770	12000	4800	2.3	0	error (invalid witness file)	.53	.34	10	39	error (invalid witness file)	7.1	3.7	120	300	-					-
psyco/psyco_accelerometer_1_true-unreach-call.c	true	2	wit	inspect	100	66	1000	2000	2.5	0	-					-					unknown	60	45	1500	3700	true	22	12	290	530
psyco/psyco_io_1_true-unreach-call.c	true	2	wit	inspect	18	5.2	150	570	2.5	0	-					-					unknown	7.6	4.0	100	290	true	10	5.4	180	350
psyco/psyco_math_1_true-unreach-call.c	true	2	wit	inspect	6.0	2.0	48	320	2.5	0	-					-					true	5.4	3.0	90	290	true	7.7	4.2	130	320
psyco/psyco_security_true-unreach-call.c	true	2	wit	inspect	18	5.1	160	620	2.5	0	-					-					unknown	6.9	3.6	110	290	true	10	5.6	200	360
../../sv-benchmarks/c/	verifier status	score	witness	inspect witness	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)
total	1149	593			790000	660000	10000000	6300000	3000	.66	1149	980	530	13000	40000	1149	3700	2000	61000	160000	1149	77000	73000	1800000	1300000	1149	34000	26000	520000	620000
correct results	322	584			46000	34000	520000	770000	1000	0	60	800	410	9600	26000	60	1200	610	15000	35000	118	72000	68000	1600000	1300000	259	26000	19000	370000	420000
correct true	262	524			37000	26000	410000	650000	830	0	60	0	0	0	0	0	0	0	0	0	118	72000	68000	1600000	1300000	259	26000	19000	370000	420000
correct false	60	60			9200	7300	110000	120000	170	0	0	800	410	9600	26000	60	1200	610	15000	35000	0	0	0	0	0	0	0	0	0	0
correct-unconfimed results	9	9			4400	3700	61000	37000	30	0	0	0	0	0	0	0	0	0	0	0	0	5100	5000	130000	50000	0	5400	5000	92000	39000
correct-unconfirmed true	9	9			4400	3700	61000	37000	30	0	0	0	0	0	0	0	0	0	0	0	0	5100	5000	130000	50000	0	5400	5000	92000	39000
correct-unconfirmed false	0
incorrect results	0
incorrect true	0
incorrect false	0
score (1149 tasks, max score: 1887)	593
Run set	sv-comp17.ReachSafety-ECA