Problem	Result	Method	Time (in ms)
KN_2013_example12	YES	Weak Orthogonality	14.27
KN_2013_example13	YES	Weak Orthogonality	8.23
KN_2013_example13_explicit_guard	YES	Weak Orthogonality	12.33
KN_2013_example14	MAYBE	---	13.59
KN_2013_example15	YES	Weak Orthogonality	16.73
KN_2013_example2	MAYBE	---	17.85
KN_2013_example3	YES	Weak Orthogonality	14.88
KN_2013_example5	YES	Weak Orthogonality	13.29
KN_2014_example7_left	MAYBE	---	13.79
KN_2014_example7_right	YES	Weak Orthogonality	13.99
K_2016_example1	YES	Weak Orthogonality	15.02
K_2016_example14	YES	Weak Orthogonality	12.25
K_2016_example2	YES	Weak Orthogonality	14.18
K_2016_example6	YES	Weak Orthogonality	12.41
NM_2016_example1	MAYBE	---	18.50
NM_2016_example4	MAYBE	---	20.76
NM_2016_example7	MAYBE	---	19.27
WM_2018_example19	MAYBE	---	5.15
WM_2018_example23	MAYBE	---	19.98
WM_2018_example23_corrected	MAYBE	---	19.05
WM_2018_example3	YES	Weak Orthogonality	14.32
WM_2018_example37_corrected	MAYBE	---	14.59
WM_2021_example1	MAYBE	---	13.15
example1	MAYBE	---	10.08
example11	MAYBE	---	8.18
example12	MAYBE	---	14.71
example13	MAYBE	---	9.89
example14	MAYBE	---	8.84
example3	MAYBE	---	11.39
example6	YES	Weak Orthogonality	17.08
example7	MAYBE	---	12.11
example9	MAYBE	---	9.11
189	MAYBE	---	14.73
cr	MAYBE	---	8.31
criticalpair_example	MAYBE	---	4.91
ackermann_loop	YES	Weak Orthogonality	18.69
cnf	MAYBE	---	14.85
sort	MAYBE	---	15.96
decompose	MAYBE	---	33.92
double_loop	YES	Weak Orthogonality	14.46
double_rec	YES	Weak Orthogonality	13.34
eval	MAYBE	---	17.97
ex_graph	YES	Weak Orthogonality	12.45
fact_iterative	YES	Weak Orthogonality	13.93
fact_recursive	YES	Weak Orthogonality	12.68
fib_loop	YES	Weak Orthogonality	17.49
fib_rec	YES	Weak Orthogonality	13.81
frocosex18	MAYBE	---	4.91
llreve_faulty_ackermanna_f1	YES	Weak Orthogonality	14.81
llreve_faulty_ackermanna_f2	YES	Weak Orthogonality	15.04
llreve_faulty_limit2a_f1	YES	Weak Orthogonality	13.28
llreve_faulty_limit2a_f2	YES	Weak Orthogonality	14.17
llreve_rec_ackermanna_f1	YES	Weak Orthogonality	14.64
llreve_rec_ackermanna_f2	YES	Weak Orthogonality	14.51
llreve_rec_add-horna_f1	YES	Weak Orthogonality	13.70
llreve_rec_add-horna_f2	YES	Weak Orthogonality	14.66
llreve_rec_cocome1a_tri1	YES	Weak Orthogonality	15.10
llreve_rec_cocome1a_tri2	YES	Weak Orthogonality	14.42
llreve_rec_inlininga_f1	YES	Weak Orthogonality	14.62
llreve_rec_inlininga_f2	YES	Weak Orthogonality	13.95
llreve_rec_limit1unrolleda_f1	YES	Weak Orthogonality	13.68
llreve_rec_limit1unrolleda_f2	YES	Weak Orthogonality	12.15
llreve_rec_limit3a_f1	YES	Weak Orthogonality	12.21
llreve_rec_limit3a_f2	YES	Weak Orthogonality	12.65
llreve_rec_mccarthy91a_f1	YES	Weak Orthogonality	12.33
llreve_rec_mccarthy91a_f2	YES	Weak Orthogonality	9.66
llreve_rec_triangulara_tri1	YES	Weak Orthogonality	12.51
llreve_rec_triangulara_tri2	YES	Weak Orthogonality	12.34
nat_ackermann	YES	Weak Orthogonality	12.08
nonterminate-simplify	YES	Weak Orthogonality	17.16
notsn_f	YES	Weak Orthogonality	18.01
notsn_g	YES	Weak Orthogonality	20.10
quad	YES	Weak Orthogonality	14.80
quad1	YES	Weak Orthogonality	13.58
recurse_F	YES	Weak Orthogonality	11.98
recurse_G	YES	Weak Orthogonality	13.59
fib01_bad	YES	Weak Orthogonality	13.87
fib01_fast	MAYBE	---	14.17
fib02_bad	YES	Weak Orthogonality	10.10
fib02_fast	MAYBE	---	17.36
fib03_bad	YES	Weak Orthogonality	14.50
fib03_fast	MAYBE	---	19.01
fib04_bad	YES	Weak Orthogonality	15.34
fib04_fast	MAYBE	---	19.49
fib05_fast	MAYBE	---	15.88
fib06_fast	MAYBE	---	15.70
fib07_fast	MAYBE	---	17.40
fib08_bad	YES	Weak Orthogonality	15.49
fib08_fast	MAYBE	---	18.77
fib09_bad	YES	Weak Orthogonality	14.05
fib09_fast	MAYBE	---	18.39
fib10_fast	MAYBE	---	14.34
fib11_fast	MAYBE	---	18.68
fib12_fast	MAYBE	---	13.90
sum01	MAYBE	---	15.12
sum01_sum	YES	Weak Orthogonality	10.00
sum02	YES	Weak Orthogonality	9.88
sum03	MAYBE	---	15.31
sum04	YES	Weak Orthogonality	10.41
sum05	MAYBE	---	14.79
sum06	YES	Weak Orthogonality	9.61
sum07	YES	Weak Orthogonality	10.10
sum08	MAYBE	---	15.56
sum09	MAYBE	---	13.06
sum10	MAYBE	---	18.08
sum11	YES	Weak Orthogonality	10.59
sum12	MAYBE	---	14.82
sumfrom01	YES	Weak Orthogonality	14.03
sumfrom01_sum2	MAYBE	---	16.17
sumfrom02_sum2	YES	Weak Orthogonality	10.86
sumfrom03_sum2	YES	Weak Orthogonality	15.82
sumfrom04_sum2	YES	Weak Orthogonality	11.11
sumfrom05_sum	YES	Weak Orthogonality	14.63
sumfrom06_sum	YES	Weak Orthogonality	10.31
sum2	YES	Weak Orthogonality	16.45
sum_decl	YES	Weak Orthogonality	15.66
sum_loop	YES	Weak Orthogonality	11.05
sum_rec	YES	Weak Orthogonality	12.89
sumfrom_loop	YES	Weak Orthogonality	10.56
sumfrom_rec	YES	Weak Orthogonality	13.64
sumreduce	YES	Weak Orthogonality	11.46
sumsimple_1	YES	Weak Orthogonality	14.82
sumsimple_2	YES	Weak Orthogonality	9.88
sumsum	YES	Weak Orthogonality	17.19
vidal1	MAYBE	---	13.03
vidal2	MAYBE	---	14.90
fib	YES	Weak Orthogonality	12.36
Summary of the 127 problems:	#YES: 78		1783.73
	#NO: 0
	#MAYBE: 49
	#Timeout: 0
	#Error: 0