Problem	Result	Time (in ms)
#3.1	MAYBE	34.67
#3.2	MAYBE	28.52
#3.4	MAYBE	44.19
#3.5	MAYBE	61.26
#3.5a	MAYBE	69.62
#3.5b	MAYBE	50.05
KN_2013_example12	MAYBE	14.18
KN_2013_example13	MAYBE	13.52
KN_2013_example13_explicit_guard	MAYBE	22.91
KN_2013_example14	MAYBE	15.45
KN_2013_example15	YES	16.75
KN_2013_example2	YES	25.38
KN_2013_example3	MAYBE	13.99
KN_2013_example5	YES	11.16
KN_2014_example7_left	YES	22.32
KN_2014_example7_right	YES	19.95
K_2016_example1	MAYBE	29.67
K_2016_example14	YES	16.53
K_2016_example6	YES	10.11
NM_2016_example1	MAYBE	11.94
NM_2016_example4	MAYBE	11.01
NM_2016_example7	MAYBE	14.76
WM_2018_example19	YES	10.60
WM_2018_example23	YES	24.03
WM_2018_example23_corrected	YES	23.96
WM_2018_example3	YES	12.54
WM_2018_example37_corrected	MAYBE	27.98
WM_2021_example1	MAYBE	60.31
SM_2023_example1	MAYBE	14.39
SM_2023_example11	MAYBE	35.38
SM_2023_example12	MAYBE	16.31
SM_2023_example13	YES	2.30
SM_2023_example14	YES	1.94
SM_2023_example3	YES	1.97
SM_2023_example6	YES	23.92
SM_2023_example7	YES	2.48
SM_2023_example9	YES	1.99
SM_2024_example12	YES	2.25
SM_2024_example16	YES	44.60
SM_2024_example19	YES	10.72
SM_2024_example9	YES	2.56
SMM_2024_example2	YES	2.03
SMM_2024_example3	YES	23.17
SMM_2024_example4	YES	2.15
SMM_2024_example5	YES	2.11
SMM_2024_example6	MAYBE	18.78
SMM_2024_example7	YES	2.42
SMM_2024_example8	MAYBE	18.82
SM_2025_example1	YES	2.52
SM_2025_example2	MAYBE	14.03
SM_2025_example3	YES	2.73
SM_2025_example6	YES	41.56
SM_2025_example7	YES	2.51
SM_2025_example8	YES	10.62
189	YES	17.21
aac	MAYBE	14.04
ac	MAYBE	13.78
almostdevelopment	MAYBE	11.18
ari_example	MAYBE	28.92
cr	MAYBE	10.67
ackermann_loop	YES	29.39
cnf	YES	2.27
sort	MAYBE	23.94
decompose	YES	37.31
double_loop	YES	21.72
double_rec	YES	12.17
eval	MAYBE	45.39
fact_iterative	YES	19.13
fib_loop	YES	31.41
fib_rec	YES	14.10
frocosex18	YES	2.45
llreve_faulty_limit2a_f1	YES	12.79
llreve_faulty_limit2a_f2	YES	12.09
llreve_rec_ackermanna_f1	MAYBE	47.91
llreve_rec_ackermanna_f2	MAYBE	46.59
llreve_rec_add-horna_f1	MAYBE	15.59
llreve_rec_add-horna_f2	MAYBE	18.27
llreve_rec_cocome1a_tri1	YES	12.86
llreve_rec_cocome1a_tri2	YES	12.98
llreve_rec_inlininga_f1	YES	13.45
llreve_rec_inlininga_f2	YES	12.66
llreve_rec_limit1unrolleda_f1	YES	12.91
llreve_rec_limit1unrolleda_f2	YES	12.63
llreve_rec_mccarthy91a_f1	MAYBE	22.96
llreve_rec_mccarthy91a_f2	MAYBE	21.04
nat_ackermann	YES	14.65
nonterminate-simplify	MAYBE	29.59
notsn_f	YES	13.74
notsn_g	YES	14.82
quad	YES	51.93
recurse	YES	12.06
fib01_bad	YES	15.76
fib01_fast	YES	12.52
fib02_bad	YES	16.97
fib02_fast	YES	29.47
fib03_bad	YES	14.92
fib03_fast	YES	27.75
fib04_fast	MAYBE	42.98
fib05_fast	YES	26.30
fib06_fast	YES	25.89
fib07_fast	YES	25.27
fib08_fast	YES	22.83
fib09_fast	YES	26.84
fib10_fast	YES	26.84
fib11_fast	YES	27.43
fib12_fast	YES	26.03
sum01	YES	22.77
sum01_sum	YES	12.72
sum02	YES	24.42
sum03	YES	22.23
sum04	YES	22.13
sum05	YES	23.13
sum06	YES	2.55
sum07	YES	18.98
sum08	YES	22.84
sum09	YES	13.59
sum10	YES	22.56
sum11	YES	18.64
sum12	YES	23.89
sumfrom01	YES	18.72
sumfrom01_sum2	MAYBE	36.77
sumfrom02_sum2	YES	19.28
sumfrom03_sum2	MAYBE	20.88
sumfrom04_sum2	YES	25.92
sumfrom05_sum	YES	23.20
sumfrom06_sum	YES	24.78
sum2	MAYBE	145.07
sum_decl	YES	21.40
sum_loop	YES	18.75
sum_rec	YES	11.88
sumfrom_loop	YES	19.85
sumfrom_rec	YES	18.02
sumreduce	YES	17.24
sumsimple_2	YES	19.74
sumsum	MAYBE	222.83
vidal1	MAYBE	28.38
vidal2	MAYBE	19.00
development	YES	2.46
labelled	Timeout	10001.36
splitting_needed_cr_2CPs	YES	2.91
splitting_needed_cr_4CPs	YES	2.77
splitting_needed_ncr	YES	3.01
Summary of the 142 problems:	#YES: 97	13110.65
	#NO: 0
	#MAYBE: 44
	#Timeout: 1
	#Error: 0