Problem	Result	Method	Time (in ms)
KN_2013_example12	YES	Orthogonality	13.11
KN_2013_example13	YES	Orthogonality	12.31
KN_2013_example13_explicit_guard	YES	Orthogonality	12.80
KN_2013_example14	MAYBE	---	8.75
KN_2013_example15	YES	Orthogonality	9.58
KN_2013_example2	MAYBE	---	13.30
KN_2013_example3	MAYBE	---	16.77
KN_2013_example5	YES	Orthogonality	14.36
KN_2014_example7_left	MAYBE	---	15.60
KN_2014_example7_right	YES	Orthogonality	14.38
K_2016_example1	YES	Orthogonality	16.12
K_2016_example14	YES	Orthogonality	15.18
K_2016_example2	YES	Orthogonality	16.21
K_2016_example6	YES	Orthogonality	12.53
NM_2016_example1	MAYBE	---	20.85
NM_2016_example4	MAYBE	---	22.05
NM_2016_example7	MAYBE	---	21.71
WM_2018_example19	MAYBE	---	4.62
WM_2018_example23	MAYBE	---	18.32
WM_2018_example23_corrected	MAYBE	---	18.81
WM_2018_example3	YES	Orthogonality	15.38
WM_2018_example37_corrected	MAYBE	---	16.97
WM_2021_example1	MAYBE	---	17.70
example1	MAYBE	---	16.91
example11	MAYBE	---	14.35
example12	MAYBE	---	14.77
example13	MAYBE	---	15.48
example14	MAYBE	---	15.16
example3	MAYBE	---	12.87
example6	YES	Orthogonality	19.19
example7	MAYBE	---	13.15
example9	MAYBE	---	12.63
189	MAYBE	---	16.41
cr	MAYBE	---	14.26
criticalpair_example	MAYBE	---	3.99
ackermann_loop	YES	Orthogonality	22.65
cnf	MAYBE	---	14.70
sort	MAYBE	---	18.88
decompose	MAYBE	---	17.62
double_loop	YES	Orthogonality	14.38
double_rec	YES	Orthogonality	13.75
eval	MAYBE	---	17.66
ex_graph	YES	Orthogonality	13.79
fact_iterative	YES	Orthogonality	16.30
fact_recursive	YES	Orthogonality	13.27
fib_loop	YES	Orthogonality	18.31
fib_rec	YES	Orthogonality	15.97
frocosex18	MAYBE	---	4.63
llreve_faulty_ackermanna_f1	YES	Orthogonality	19.22
llreve_faulty_ackermanna_f2	YES	Orthogonality	15.91
llreve_faulty_limit2a_f1	YES	Orthogonality	12.47
llreve_faulty_limit2a_f2	YES	Orthogonality	14.25
llreve_rec_ackermanna_f1	YES	Orthogonality	16.37
llreve_rec_ackermanna_f2	YES	Orthogonality	17.69
llreve_rec_add-horna_f1	YES	Orthogonality	13.94
llreve_rec_add-horna_f2	YES	Orthogonality	16.41
llreve_rec_cocome1a_tri1	YES	Orthogonality	14.65
llreve_rec_cocome1a_tri2	YES	Orthogonality	15.04
llreve_rec_inlininga_f1	YES	Orthogonality	15.56
llreve_rec_inlininga_f2	YES	Orthogonality	14.83
llreve_rec_limit1unrolleda_f1	YES	Orthogonality	16.57
llreve_rec_limit1unrolleda_f2	YES	Orthogonality	15.89
llreve_rec_limit3a_f1	YES	Orthogonality	14.40
llreve_rec_limit3a_f2	YES	Orthogonality	16.14
llreve_rec_mccarthy91a_f1	YES	Orthogonality	15.65
llreve_rec_mccarthy91a_f2	YES	Orthogonality	14.95
llreve_rec_triangulara_tri1	YES	Orthogonality	13.73
llreve_rec_triangulara_tri2	YES	Orthogonality	13.28
nat_ackermann	YES	Orthogonality	13.50
nonterminate-simplify	YES	Orthogonality	10.82
notsn_f	MAYBE	---	18.68
notsn_g	MAYBE	---	20.92
quad	YES	Orthogonality	12.46
quad1	YES	Orthogonality	13.93
recurse_F	YES	Orthogonality	13.57
recurse_G	YES	Orthogonality	15.17
fib01_bad	YES	Orthogonality	16.31
fib01_fast	MAYBE	---	15.64
fib02_bad	YES	Orthogonality	17.17
fib02_fast	MAYBE	---	17.42
fib03_bad	YES	Orthogonality	16.09
fib03_fast	MAYBE	---	21.27
fib04_bad	YES	Orthogonality	16.83
fib04_fast	MAYBE	---	21.49
fib05_fast	MAYBE	---	13.88
fib06_fast	MAYBE	---	16.33
fib07_fast	MAYBE	---	14.98
fib08_bad	YES	Orthogonality	10.20
fib08_fast	MAYBE	---	10.37
fib09_bad	YES	Orthogonality	14.40
fib09_fast	MAYBE	---	12.10
fib10_fast	MAYBE	---	9.95
fib11_fast	MAYBE	---	14.40
fib12_fast	MAYBE	---	12.76
sum01	MAYBE	---	9.15
sum01_sum	YES	Orthogonality	15.35
sum02	YES	Orthogonality	12.98
sum03	MAYBE	---	15.71
sum04	YES	Orthogonality	14.01
sum05	MAYBE	---	9.97
sum06	YES	Orthogonality	14.17
sum07	YES	Orthogonality	15.64
sum08	MAYBE	---	18.39
sum09	MAYBE	---	14.36
sum10	MAYBE	---	10.58
sum11	YES	Orthogonality	14.71
sum12	MAYBE	---	14.85
sumfrom01	YES	Orthogonality	12.59
sumfrom01_sum2	MAYBE	---	17.21
sumfrom02_sum2	YES	Orthogonality	11.52
sumfrom03_sum2	YES	Orthogonality	14.63
sumfrom04_sum2	YES	Orthogonality	11.24
sumfrom05_sum	YES	Orthogonality	8.17
sumfrom06_sum	YES	Orthogonality	10.72
sum2	YES	Orthogonality	9.51
sum_decl	YES	Orthogonality	9.96
sum_loop	YES	Orthogonality	8.58
sum_rec	YES	Orthogonality	7.98
sumfrom_loop	YES	Orthogonality	9.55
sumfrom_rec	YES	Orthogonality	7.80
sumreduce	MAYBE	---	9.99
sumsimple_1	YES	Orthogonality	12.74
sumsimple_2	YES	Orthogonality	14.83
sumsum	YES	Orthogonality	15.14
vidal1	MAYBE	---	15.94
vidal2	MAYBE	---	15.30
fib	YES	Orthogonality	14.72
Summary of the 127 problems:	#YES: 74		1834.10
	#NO: 0
	#MAYBE: 53
	#Timeout: 0
	#Error: 0