Problem	Result	Time (in ms)
#3.1	MAYBE	66.56
#3.2	MAYBE	51.22
#3.4	MAYBE	77.37
#3.5	MAYBE	104.46
#3.5a	MAYBE	103.27
#3.5b	MAYBE	76.22
KN_2013_example12	YES	36.73
KN_2013_example13	MAYBE	36.92
KN_2013_example13_explicit_guard	MAYBE	55.53
KN_2013_example14	MAYBE	35.15
KN_2013_example15	YES	41.92
KN_2013_example2	MAYBE	87.70
KN_2013_example3	MAYBE	38.38
KN_2013_example5	YES	32.20
KN_2014_example7_left	MAYBE	44.20
KN_2014_example7_right	MAYBE	43.38
K_2016_example1	MAYBE	57.67
K_2016_example14	MAYBE	39.94
K_2016_example6	YES	27.84
NM_2016_example1	MAYBE	38.15
NM_2016_example4	MAYBE	32.29
NM_2016_example7	MAYBE	36.85
WM_2018_example19	YES	32.50
WM_2018_example23	YES	48.48
WM_2018_example23_corrected	YES	45.85
WM_2018_example3	YES	37.34
WM_2018_example37_corrected	MAYBE	89.93
WM_2021_example1	MAYBE	214.41
SM_2023_example1	MAYBE	48.43
SM_2023_example11	MAYBE	64.11
SM_2023_example12	MAYBE	35.49
SM_2023_example13	YES	12.56
SM_2023_example14	YES	9.87
SM_2023_example3	YES	12.32
SM_2023_example6	YES	55.42
SM_2023_example7	YES	11.62
SM_2023_example9	YES	13.34
SM_2024_example12	YES	11.42
SM_2024_example16	YES	41.35
SM_2024_example19	YES	29.25
SM_2024_example9	YES	14.13
SMM_2024_example2	YES	13.35
SMM_2024_example3	YES	39.50
SMM_2024_example4	YES	14.91
SMM_2024_example5	YES	15.49
SMM_2024_example6	MAYBE	41.94
SMM_2024_example7	YES	11.98
SMM_2024_example8	MAYBE	38.03
189	MAYBE	34.61
aac	MAYBE	34.33
ac	MAYBE	42.17
almostdevelopment	MAYBE	32.67
ari_example	MAYBE	54.14
cr	MAYBE	38.33
ackermann_loop	MAYBE	288.04
cnf	YES	19.13
sort	MAYBE	108.95
decompose	YES	40.49
double_loop	MAYBE	37.42
double_rec	YES	36.51
eval	MAYBE	153.52
fact_iterative	MAYBE	48.33
fib_loop	MAYBE	63.63
fib_rec	YES	38.47
frocosex18	YES	16.86
llreve_faulty_limit2a_f1	YES	42.36
llreve_faulty_limit2a_f2	YES	31.47
llreve_rec_ackermanna_f1	MAYBE	80.18
llreve_rec_ackermanna_f2	MAYBE	85.74
llreve_rec_add-horna_f1	MAYBE	33.13
llreve_rec_add-horna_f2	MAYBE	33.88
llreve_rec_cocome1a_tri1	YES	32.45
llreve_rec_cocome1a_tri2	YES	34.10
llreve_rec_inlininga_f1	YES	36.62
llreve_rec_inlininga_f2	YES	32.47
llreve_rec_limit1unrolleda_f1	YES	37.12
llreve_rec_limit1unrolleda_f2	YES	33.26
llreve_rec_mccarthy91a_f1	MAYBE	41.26
llreve_rec_mccarthy91a_f2	MAYBE	43.90
nat_ackermann	MAYBE	31.95
nonterminate-simplify	MAYBE	56.79
notsn_f	YES	43.34
notsn_g	YES	36.90
quad	MAYBE	39.44
recurse	YES	31.34
fib01_bad	YES	33.43
fib01_fast	YES	32.97
fib02_bad	YES	35.39
fib02_fast	MAYBE	53.94
fib03_bad	YES	38.07
fib03_fast	MAYBE	47.31
fib04_fast	MAYBE	66.56
fib05_fast	MAYBE	45.53
fib06_fast	MAYBE	43.26
fib07_fast	MAYBE	54.60
fib08_fast	MAYBE	42.59
fib09_fast	MAYBE	46.35
fib10_fast	MAYBE	41.90
fib11_fast	MAYBE	48.09
fib12_fast	MAYBE	44.88
sum01	MAYBE	47.23
sum01_sum	YES	33.49
sum02	MAYBE	45.15
sum03	MAYBE	45.24
sum04	MAYBE	38.14
sum05	MAYBE	42.17
sum06	YES	12.73
sum07	MAYBE	41.65
sum08	MAYBE	41.08
sum09	YES	33.84
sum10	MAYBE	54.62
sum11	MAYBE	40.17
sum12	MAYBE	43.31
sumfrom01	MAYBE	36.07
sumfrom01_sum2	MAYBE	62.28
sumfrom02_sum2	MAYBE	48.49
sumfrom03_sum2	MAYBE	45.29
sumfrom04_sum2	MAYBE	54.72
sumfrom05_sum	MAYBE	40.49
sumfrom06_sum	MAYBE	46.75
sum2	MAYBE	80.73
sum_decl	MAYBE	72.47
sum_loop	MAYBE	44.31
sum_rec	YES	33.21
sumfrom_loop	MAYBE	44.11
sumfrom_rec	MAYBE	34.10
sumreduce	YES	34.86
sumsimple_2	MAYBE	37.66
sumsum	MAYBE	104.28
vidal1	MAYBE	50.95
vidal2	MAYBE	49.37
development	YES	22.06
labelled	Timeout	10033.18
splitting_needed_cr_2CPs	YES	28.46
splitting_needed_cr_4CPs	YES	30.72
splitting_needed_ncr	YES	14.55
Summary of the 136 problems:	#YES: 52	16335.08
	#NO: 0
	#MAYBE: 83
	#Timeout: 1
	#Error: 0