cpa-kind.2017-01-10_2204.results.sv-comp17.ReachSafety-ECA.xml.bz2.merged.xml.bz2

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