Problem	Result	Method	Time (in ms)
KN_2013_example12	YES	Almost Parallel Closedness	35.30
KN_2013_example13	YES	Weak Orthogonality	35.35
KN_2013_example13_explicit_guard	YES	Weak Orthogonality	33.32
KN_2013_example14	MAYBE	---	48.20
KN_2013_example15	YES	Almost Parallel Closedness	40.13
KN_2013_example2	MAYBE	---	139.96
KN_2013_example3	YES	Weak Orthogonality	36.43
KN_2013_example5	YES	Weak Orthogonality	29.71
KN_2014_example7_left	YES	Almost Parallel Closedness	45.62
KN_2014_example7_right	YES	Almost Parallel Closedness	27.10
K_2016_example1	YES	Almost Parallel Closedness	23.93
K_2016_example14	YES	Weak Orthogonality	28.21
K_2016_example2	YES	Orthogonality	22.98
K_2016_example6	YES	Orthogonality	21.60
NM_2016_example1	YES	Strongly Closedness	2316.52
NM_2016_example4	YES	Almost Parallel Closedness	84.84
NM_2016_example7	YES	Parallel Closedness	44.21
WM_2018_example19	MAYBE	---	12.06
WM_2018_example23	Timeout	---	5013.51
WM_2018_example23_corrected	YES	Strongly Closedness	95.15
WM_2018_example3	YES	Almost Parallel Closedness	24.85
WM_2018_example37_corrected	MAYBE	---	61.05
WM_2021_example1	Timeout	---	5012.13
example1	YES	Almost Parallel Closedness	74.33
example11	YES	Parallel Closedness	35.85
example12	YES	Almost Parallel Closedness	94.64
example13	YES	Parallel Closedness	47.38
example14	YES	Almost Parallel Closedness	47.75
example3	MAYBE	---	34.49
example6	YES	Orthogonality	42.10
example7	Timeout	---	5013.20
example9	YES	Almost Parallel Closedness	39.94
189	Timeout	---	5011.81
cr	YES	Parallel Closedness	45.35
criticalpair_example	MAYBE	---	19.22
ackermann_loop	YES	Almost Parallel Closedness	45.71
cnf	MAYBE	---	3650.65
sort	MAYBE	---	91.75
decompose	Timeout	---	5014.11
double_loop	YES	Almost Parallel Closedness	38.89
double_rec	YES	Weak Orthogonality	35.26
eval	Timeout	---	5013.10
ex_graph	YES	Orthogonality	34.70
fact_iterative	YES	Parallel Closedness	37.58
fact_recursive	YES	Almost Parallel Closedness	27.56
fib_loop	YES	Weak Orthogonality	37.93
fib_rec	YES	Almost Parallel Closedness	30.05
frocosex18	MAYBE	---	14.25
llreve_faulty_ackermanna_f1	YES	Almost Parallel Closedness	34.47
llreve_faulty_ackermanna_f2	YES	Parallel Closedness	34.49
llreve_faulty_limit2a_f1	YES	Almost Parallel Closedness	30.84
llreve_faulty_limit2a_f2	YES	Almost Parallel Closedness	30.23
llreve_rec_ackermanna_f1	YES	Almost Parallel Closedness	33.90
llreve_rec_ackermanna_f2	YES	Almost Parallel Closedness	33.37
llreve_rec_add-horna_f1	YES	Weak Orthogonality	26.72
llreve_rec_add-horna_f2	YES	Orthogonality	33.80
llreve_rec_cocome1a_tri1	YES	Parallel Closedness	29.06
llreve_rec_cocome1a_tri2	YES	Weak Orthogonality	33.02
llreve_rec_inlininga_f1	YES	Orthogonality	34.07
llreve_rec_inlininga_f2	YES	Weak Orthogonality	30.31
llreve_rec_limit1unrolleda_f1	YES	Orthogonality	33.44
llreve_rec_limit1unrolleda_f2	YES	Almost Parallel Closedness	25.81
llreve_rec_limit3a_f1	YES	Orthogonality	31.54
llreve_rec_limit3a_f2	YES	Parallel Closedness	32.32
llreve_rec_mccarthy91a_f1	YES	Orthogonality	34.76
llreve_rec_mccarthy91a_f2	YES	Weak Orthogonality	39.35
llreve_rec_triangulara_tri1	YES	Parallel Closedness	32.15
llreve_rec_triangulara_tri2	YES	Almost Parallel Closedness	32.09
nat_ackermann	YES	Almost Parallel Closedness	31.57
nonterminate-simplify	YES	Almost Parallel Closedness	39.89
notsn_f	YES	Weak Orthogonality	51.66
notsn_g	YES	Weak Orthogonality	48.28
quad	YES	Parallel Closedness	31.35
quad1	YES	Weak Orthogonality	27.29
recurse_F	YES	Parallel Closedness	30.87
recurse_G	YES	Parallel Closedness	30.64
fib01_bad	YES	Weak Orthogonality	33.84
fib01_fast	Timeout	---	5012.33
fib02_bad	YES	Orthogonality	41.02
fib02_fast	Timeout	---	5010.74
fib03_bad	YES	Orthogonality	36.82
fib03_fast	Timeout	---	5012.61
fib04_bad	YES	Orthogonality	40.66
fib04_fast	Timeout	---	5012.78
fib05_fast	Timeout	---	5012.23
fib06_fast	Timeout	---	5012.83
fib07_fast	Timeout	---	5030.56
fib08_bad	YES	Weak Orthogonality	43.45
fib08_fast	Timeout	---	5011.20
fib09_bad	YES	Almost Parallel Closedness	27.75
fib09_fast	Timeout	---	5011.05
fib10_fast	Timeout	---	5009.97
fib11_fast	Timeout	---	5010.26
fib12_fast	Timeout	---	5012.89
sum01	Timeout	---	5008.49
sum01_sum	YES	Weak Orthogonality	31.09
sum02	YES	Orthogonality	40.61
sum03	Timeout	---	5013.62
sum04	YES	Orthogonality	39.35
sum05	Timeout	---	5011.68
sum06	YES	Weak Orthogonality	36.43
sum07	YES	Weak Orthogonality	32.14
sum08	Timeout	---	5013.72
sum09	MAYBE	---	570.24
sum10	Timeout	---	5010.16
sum11	YES	Orthogonality	29.24
sum12	Timeout	---	5013.38
sumfrom01	YES	Almost Parallel Closedness	38.47
sumfrom01_sum2	Timeout	---	5012.60
sumfrom02_sum2	YES	Almost Parallel Closedness	40.80
sumfrom03_sum2	YES	Almost Parallel Closedness	36.61
sumfrom04_sum2	YES	Almost Parallel Closedness	32.76
sumfrom05_sum	YES	Parallel Closedness	32.81
sumfrom06_sum	YES	Almost Parallel Closedness	33.75
sum2	YES	Almost Parallel Closedness	31.60
sum_decl	YES	Orthogonality	32.70
sum_loop	YES	Orthogonality	29.12
sum_rec	YES	Parallel Closedness	29.47
sumfrom_loop	YES	Almost Parallel Closedness	32.68
sumfrom_rec	YES	Weak Orthogonality	34.09
sumreduce	YES	Weak Orthogonality	37.05
sumsimple_1	YES	Orthogonality	27.85
sumsimple_2	YES	Almost Parallel Closedness	29.21
sumsum	YES	Orthogonality	31.84
vidal1	Timeout	---	5011.91
vidal2	MAYBE	---	512.20
fib	YES	Orthogonality	46.97
Summary of the 127 problems:	#YES: 90		141094.64
	#NO: 0
	#MAYBE: 11
	#Timeout: 26
	#Error: 0