Problem	Result	Time (in ms)
#3.1	MAYBE	89.91
#3.2	MAYBE	42.59
#3.4	MAYBE	86.54
#3.5	MAYBE	122.50
#3.5a	MAYBE	173.18
#3.5b	MAYBE	86.93
KN_2013_example12	MAYBE	22.43
KN_2013_example13	MAYBE	21.57
KN_2013_example13_explicit_guard	MAYBE	34.92
KN_2013_example14	MAYBE	20.59
KN_2013_example15	YES	23.38
KN_2013_example2	YES	84.30
KN_2013_example3	MAYBE	28.20
KN_2013_example5	YES	18.03
KN_2014_example7_left	YES	61.58
KN_2014_example7_right	YES	54.37
K_2016_example1	MAYBE	66.86
K_2016_example14	YES	32.65
K_2016_example6	YES	10.98
NM_2016_example1	MAYBE	20.56
NM_2016_example4	MAYBE	19.85
NM_2016_example7	MAYBE	34.13
WM_2018_example19	YES	18.87
WM_2018_example23	YES	62.24
WM_2018_example23_corrected	YES	52.02
WM_2018_example3	YES	19.89
WM_2018_example37_corrected	MAYBE	56.70
WM_2021_example1	MAYBE	160.99
SM_2023_example1	MAYBE	20.53
SM_2023_example11	MAYBE	80.97
SM_2023_example12	MAYBE	32.73
SM_2023_example13	YES	5.37
SM_2023_example14	YES	4.89
SM_2023_example3	YES	5.00
SM_2023_example6	YES	41.39
SM_2023_example7	YES	3.23
SM_2023_example9	YES	2.82
SM_2024_example12	YES	3.66
SM_2024_example16	YES	91.28
SM_2024_example19	YES	15.80
SM_2024_example9	YES	6.79
SMM_2024_example2	YES	4.71
SMM_2024_example3	YES	63.05
SMM_2024_example4	YES	5.76
SMM_2024_example5	YES	5.96
SMM_2024_example6	MAYBE	39.21
SMM_2024_example7	YES	5.81
SMM_2024_example8	MAYBE	39.81
SM_2025_example1	YES	5.38
SM_2025_example2	MAYBE	24.49
SM_2025_example3	YES	6.50
SM_2025_example6	YES	97.16
SM_2025_example7	YES	5.44
SM_2025_example8	YES	13.28
189	YES	25.16
aac	MAYBE	31.12
ac	MAYBE	16.67
almostdevelopment	MAYBE	14.84
ari_example	MAYBE	57.12
cr	MAYBE	18.61
ackermann_loop	YES	72.24
cnf	YES	2.96
sort	MAYBE	53.49
decompose	YES	69.50
double_loop	YES	34.81
double_rec	YES	20.81
eval	MAYBE	98.03
fact_iterative	YES	39.28
fib_loop	YES	66.50
fib_rec	YES	25.65
frocosex18	YES	6.14
llreve_faulty_limit2a_f1	YES	20.36
llreve_faulty_limit2a_f2	YES	20.89
llreve_rec_ackermanna_f1	MAYBE	99.80
llreve_rec_ackermanna_f2	MAYBE	144.29
llreve_rec_add-horna_f1	MAYBE	28.89
llreve_rec_add-horna_f2	MAYBE	35.51
llreve_rec_cocome1a_tri1	YES	25.17
llreve_rec_cocome1a_tri2	YES	21.35
llreve_rec_inlininga_f1	YES	26.05
llreve_rec_inlininga_f2	YES	25.45
llreve_rec_limit1unrolleda_f1	YES	21.78
llreve_rec_limit1unrolleda_f2	YES	23.68
llreve_rec_mccarthy91a_f1	MAYBE	32.87
llreve_rec_mccarthy91a_f2	MAYBE	32.17
nat_ackermann	YES	27.84
nonterminate-simplify	MAYBE	54.73
notsn_f	YES	26.13
notsn_g	YES	24.25
quad	YES	42.12
recurse	YES	21.98
fib01_bad	YES	18.36
fib01_fast	YES	20.42
fib02_bad	YES	24.70
fib02_fast	YES	56.60
fib03_bad	YES	24.11
fib03_fast	YES	36.36
fib04_fast	MAYBE	102.31
fib05_fast	YES	37.06
fib06_fast	YES	52.50
fib07_fast	YES	68.93
fib08_fast	YES	44.94
fib09_fast	YES	52.95
fib10_fast	YES	60.25
fib11_fast	YES	53.90
fib12_fast	YES	59.84
sum01	YES	51.76
sum01_sum	YES	21.66
sum02	YES	57.51
sum03	YES	44.96
sum04	YES	48.88
sum05	YES	37.99
sum06	YES	5.23
sum07	YES	39.45
sum08	YES	58.87
sum09	YES	22.95
sum10	YES	42.63
sum11	YES	46.02
sum12	YES	47.63
sumfrom01	YES	36.02
sumfrom01_sum2	MAYBE	79.47
sumfrom02_sum2	YES	34.30
sumfrom03_sum2	MAYBE	37.00
sumfrom04_sum2	YES	38.00
sumfrom05_sum	YES	38.79
sumfrom06_sum	YES	57.20
sum2	MAYBE	102.71
sum_decl	YES	48.58
sum_loop	YES	34.66
sum_rec	YES	13.45
sumfrom_loop	YES	37.22
sumfrom_rec	YES	37.40
sumreduce	YES	28.34
sumsimple_2	YES	44.93
sumsum	MAYBE	517.07
vidal1	MAYBE	82.57
vidal2	MAYBE	45.38
development	YES	5.62
labelled	Timeout	10008.98
splitting_needed_cr_2CPs	YES	12.85
splitting_needed_cr_4CPs	YES	6.77
splitting_needed_ncr	YES	6.10
Summary of the 142 problems:	#YES: 97	16158.15
	#NO: 0
	#MAYBE: 44
	#Timeout: 1
	#Error: 0