Problem	Result	Time (in ms)
#3.1	MAYBE	73.36
#3.2	MAYBE	62.45
#3.4	MAYBE	104.91
#3.5	MAYBE	114.14
#3.5a	MAYBE	199.94
#3.5b	MAYBE	170.79
KN_2013_example12	MAYBE	36.40
KN_2013_example13	MAYBE	26.13
KN_2013_example13_explicit_guard	MAYBE	52.88
KN_2013_example14	MAYBE	26.50
KN_2013_example15	YES	38.07
KN_2013_example2	YES	80.72
KN_2013_example3	MAYBE	35.12
KN_2013_example5	YES	22.31
KN_2014_example7_left	YES	60.92
KN_2014_example7_right	YES	50.04
K_2016_example1	MAYBE	68.34
K_2016_example14	YES	53.08
K_2016_example6	YES	21.32
NM_2016_example1	MAYBE	24.34
NM_2016_example4	MAYBE	30.56
NM_2016_example7	MAYBE	31.49
WM_2018_example19	YES	30.73
WM_2018_example23	YES	57.32
WM_2018_example23_corrected	YES	59.56
WM_2018_example3	YES	32.03
WM_2018_example37_corrected	MAYBE	63.98
WM_2021_example1	MAYBE	115.43
SM_2023_example1	MAYBE	41.15
SM_2023_example11	MAYBE	110.30
SM_2023_example12	MAYBE	46.46
SM_2023_example13	YES	2.77
SM_2023_example14	YES	2.30
SM_2023_example3	YES	2.42
SM_2023_example6	YES	61.87
SM_2023_example7	YES	5.72
SM_2023_example9	YES	5.33
SM_2024_example12	YES	6.62
SM_2024_example16	YES	76.23
SM_2024_example19	YES	13.67
SM_2024_example9	YES	6.48
SMM_2024_example2	YES	4.99
SMM_2024_example3	YES	54.86
SMM_2024_example4	YES	2.44
SMM_2024_example5	YES	2.81
SMM_2024_example6	MAYBE	39.25
SMM_2024_example7	YES	5.35
SMM_2024_example8	MAYBE	44.38
189	YES	24.26
aac	MAYBE	34.19
ac	MAYBE	31.12
almostdevelopment	MAYBE	17.50
ari_example	MAYBE	51.30
cr	MAYBE	17.17
ackermann_loop	YES	72.32
cnf	YES	3.23
sort	MAYBE	56.81
decompose	YES	61.72
double_loop	YES	48.77
double_rec	YES	23.13
eval	MAYBE	126.07
fact_iterative	YES	53.16
fib_loop	YES	56.95
fib_rec	YES	23.28
frocosex18	YES	6.25
llreve_faulty_limit2a_f1	YES	31.34
llreve_faulty_limit2a_f2	YES	18.04
llreve_rec_ackermanna_f1	MAYBE	115.52
llreve_rec_ackermanna_f2	MAYBE	164.96
llreve_rec_add-horna_f1	MAYBE	44.53
llreve_rec_add-horna_f2	MAYBE	35.10
llreve_rec_cocome1a_tri1	YES	16.10
llreve_rec_cocome1a_tri2	YES	16.68
llreve_rec_inlininga_f1	YES	18.06
llreve_rec_inlininga_f2	YES	17.96
llreve_rec_limit1unrolleda_f1	YES	18.92
llreve_rec_limit1unrolleda_f2	YES	15.32
llreve_rec_mccarthy91a_f1	MAYBE	38.43
llreve_rec_mccarthy91a_f2	MAYBE	42.96
nat_ackermann	YES	36.20
nonterminate-simplify	MAYBE	72.03
notsn_f	YES	29.48
notsn_g	YES	22.30
quad	YES	82.23
recurse	YES	29.53
fib01_bad	YES	32.59
fib01_fast	YES	16.43
fib02_bad	YES	22.09
fib02_fast	YES	62.94
fib03_bad	YES	35.64
fib03_fast	YES	59.35
fib04_fast	MAYBE	148.74
fib05_fast	YES	67.88
fib06_fast	YES	52.82
fib07_fast	YES	56.24
fib08_fast	YES	76.22
fib09_fast	YES	65.99
fib10_fast	YES	45.01
fib11_fast	YES	86.84
fib12_fast	YES	61.69
sum01	YES	49.72
sum01_sum	YES	27.63
sum02	YES	45.42
sum03	YES	53.10
sum04	YES	44.40
sum05	YES	52.47
sum06	YES	2.58
sum07	YES	35.87
sum08	YES	50.86
sum09	YES	24.33
sum10	YES	55.52
sum11	YES	45.99
sum12	YES	51.09
sumfrom01	YES	46.01
sumfrom01_sum2	MAYBE	105.08
sumfrom02_sum2	YES	49.91
sumfrom03_sum2	MAYBE	59.56
sumfrom04_sum2	YES	52.80
sumfrom05_sum	YES	54.14
sumfrom06_sum	YES	62.25
sum2	MAYBE	239.37
sum_decl	YES	57.14
sum_loop	YES	45.86
sum_rec	YES	31.04
sumfrom_loop	YES	46.71
sumfrom_rec	YES	37.00
sumreduce	YES	39.94
sumsimple_2	YES	45.94
sumsum	MAYBE	308.77
vidal1	MAYBE	82.05
vidal2	MAYBE	61.16
development	YES	3.26
labelled	Timeout	10011.05
splitting_needed_cr_2CPs	YES	40.89
splitting_needed_cr_4CPs	YES	8.49
splitting_needed_ncr	YES	8.86
Summary of the 136 problems:	#YES: 92	16777.96
	#NO: 0
	#MAYBE: 43
	#Timeout: 1
	#Error: 0