Problem	Result	Time (in ms)
#3.1	MAYBE	53.84
#3.2	MAYBE	48.91
#3.4	MAYBE	87.37
#3.5	MAYBE	196.37
#3.5a	MAYBE	179.03
#3.5b	MAYBE	91.30
KN_2013_example12	MAYBE	16.95
KN_2013_example13	MAYBE	26.31
KN_2013_example13_explicit_guard	MAYBE	36.79
KN_2013_example14	MAYBE	19.53
KN_2013_example15	YES	25.48
KN_2013_example2	YES	53.38
KN_2013_example3	MAYBE	33.57
KN_2013_example5	YES	24.94
KN_2014_example7_left	YES	43.81
KN_2014_example7_right	YES	38.53
K_2016_example1	MAYBE	55.41
K_2016_example14	YES	34.55
K_2016_example6	YES	11.47
NM_2016_example1	MAYBE	18.87
NM_2016_example4	MAYBE	23.98
NM_2016_example7	MAYBE	21.84
WM_2018_example19	YES	16.67
WM_2018_example23	YES	46.51
WM_2018_example23_corrected	YES	53.77
WM_2018_example3	YES	25.68
WM_2018_example37_corrected	MAYBE	44.24
WM_2021_example1	MAYBE	100.48
SM_2023_example1	MAYBE	15.28
SM_2023_example11	MAYBE	45.91
SM_2023_example12	MAYBE	19.80
SM_2023_example13	YES	2.44
SM_2023_example14	YES	2.47
SM_2023_example3	YES	2.18
SM_2023_example6	YES	32.06
SM_2023_example7	YES	3.73
SM_2023_example9	YES	4.34
SM_2024_example12	YES	3.86
SM_2024_example16	YES	55.27
SM_2024_example19	YES	12.32
SM_2024_example9	YES	6.23
SMM_2024_example2	YES	2.40
SMM_2024_example3	YES	37.05
SMM_2024_example4	YES	4.97
SMM_2024_example5	YES	4.81
SMM_2024_example6	MAYBE	41.69
SMM_2024_example7	YES	2.49
SMM_2024_example8	MAYBE	30.25
189	YES	26.70
aac	MAYBE	23.78
ac	MAYBE	25.14
almostdevelopment	MAYBE	23.20
ari_example	MAYBE	43.72
cr	MAYBE	25.13
ackermann_loop	YES	58.27
cnf	YES	3.36
sort	MAYBE	58.12
decompose	YES	58.35
double_loop	YES	48.98
double_rec	YES	18.62
eval	MAYBE	75.65
fact_iterative	YES	43.77
fib_loop	YES	60.24
fib_rec	YES	20.70
frocosex18	YES	5.36
llreve_faulty_limit2a_f1	YES	26.14
llreve_faulty_limit2a_f2	YES	15.39
llreve_rec_ackermanna_f1	MAYBE	113.80
llreve_rec_ackermanna_f2	MAYBE	90.09
llreve_rec_add-horna_f1	MAYBE	31.71
llreve_rec_add-horna_f2	MAYBE	38.68
llreve_rec_cocome1a_tri1	YES	28.51
llreve_rec_cocome1a_tri2	YES	16.25
llreve_rec_inlininga_f1	YES	15.06
llreve_rec_inlininga_f2	YES	18.11
llreve_rec_limit1unrolleda_f1	YES	18.28
llreve_rec_limit1unrolleda_f2	YES	25.24
llreve_rec_mccarthy91a_f1	MAYBE	38.67
llreve_rec_mccarthy91a_f2	MAYBE	40.64
nat_ackermann	YES	22.07
nonterminate-simplify	MAYBE	67.02
notsn_f	YES	28.59
notsn_g	YES	26.55
quad	YES	65.21
recurse	YES	27.88
fib01_bad	YES	19.63
fib01_fast	YES	28.45
fib02_bad	YES	32.70
fib02_fast	YES	56.34
fib03_bad	YES	20.15
fib03_fast	YES	75.42
fib04_fast	MAYBE	131.66
fib05_fast	YES	73.06
fib06_fast	YES	53.84
fib07_fast	YES	58.94
fib08_fast	YES	66.72
fib09_fast	YES	71.63
fib10_fast	YES	75.54
fib11_fast	YES	76.61
fib12_fast	YES	71.84
sum01	YES	57.70
sum01_sum	YES	16.05
sum02	YES	47.95
sum03	YES	43.99
sum04	YES	50.25
sum05	YES	52.77
sum06	YES	3.41
sum07	YES	42.56
sum08	YES	41.42
sum09	YES	27.39
sum10	YES	52.28
sum11	YES	67.42
sum12	YES	74.94
sumfrom01	YES	53.48
sumfrom01_sum2	MAYBE	134.69
sumfrom02_sum2	YES	47.10
sumfrom03_sum2	MAYBE	54.49
sumfrom04_sum2	YES	71.66
sumfrom05_sum	YES	42.08
sumfrom06_sum	YES	40.17
sum2	MAYBE	243.13
sum_decl	YES	45.08
sum_loop	YES	41.08
sum_rec	YES	20.80
sumfrom_loop	YES	42.72
sumfrom_rec	YES	37.06
sumreduce	YES	27.07
sumsimple_2	YES	44.54
sumsum	MAYBE	342.31
vidal1	MAYBE	74.05
vidal2	MAYBE	41.21
development	YES	2.39
labelled	Timeout	10013.04
splitting_needed_cr_2CPs	YES	6.80
splitting_needed_cr_4CPs	YES	6.41
splitting_needed_ncr	YES	16.55
Summary of the 136 problems:	#YES: 92	16070.67
	#NO: 0
	#MAYBE: 43
	#Timeout: 1
	#Error: 0