Problem	Result	Method	Time (in ms)
#3.1	YES	Weak Orthogonality	45.81
#3.2	YES	Strongly Closedness	46.80
#3.4	NO	"two different NFs found"	197.90
#3.5	YES	Orthogonality	48.33
#3.5a	YES	Orthogonality	75.57
#3.5b	YES	Development Closedness	128.66
KN_2013_example12	YES	Orthogonality	37.87
KN_2013_example13	YES	Orthogonality	37.90
KN_2013_example13_explicit_guard	YES	Orthogonality	49.62
KN_2013_example14	NO	"two different NFs found"	95.18
KN_2013_example15	YES	Orthogonality	43.52
KN_2013_example2	NO	"two different NFs found"	1240.36
KN_2013_example3	YES	Parallel Closedness	79.03
KN_2013_example5	YES	Orthogonality	34.95
KN_2014_example7_left	YES	Almost Development Closedness	86.06
KN_2014_example7_right	YES	Weak Orthogonality	39.95
K_2016_example1	YES	Orthogonality	45.93
K_2016_example14	YES	Orthogonality	50.79
K_2016_example6	YES	Orthogonality	55.66
NM_2016_example1	YES	Strongly Closedness	3892.14
NM_2016_example4	YES	Almost Development Closedness	104.64
NM_2016_example7	YES	Parallel Closedness	79.73
WM_2018_example19	NO	"two different NFs found"	101.72
WM_2018_example23	Timeout	---	10026.29
WM_2018_example23_corrected	YES	NewmansLemma	325.37
WM_2018_example3	YES	Orthogonality	42.19
WM_2018_example37_corrected	NO	"two different NFs found"	96.32
WM_2021_example1	Timeout	---	10023.58
SM_2023_example1	YES	Almost Development Closedness	107.05
SM_2023_example11	YES	Parallel Closedness	86.74
SM_2023_example12	YES	Almost Parallel Closedness	286.99
SM_2023_example13	YES	Parallel Closedness	77.95
SM_2023_example14	YES	Development Closedness	68.17
SM_2023_example3	NO	"two different NFs found"	82.01
SM_2023_example6	YES	Weak Orthogonality	44.95
SM_2023_example7	NO	"two different NFs found"	72.56
SM_2023_example9	YES	Almost Development Closedness	81.81
SM_2024_example12	NO	"two different NFs found"	417.82
SM_2024_example16	MAYBE	---	8926.16
SM_2024_example19	YES	NewmansLemma	132.55
SM_2024_example9	YES	Almost Development Closedness	807.44
SMM_2024_example2	YES	Almost Development Closedness	78.97
SMM_2024_example3	YES	NewmansLemma	1368.11
SMM_2024_example4	YES	Weak Orthogonality	79.39
SMM_2024_example5	NO	"two different NFs found"	160.23
SMM_2024_example6	YES	Almost Development Closedness	437.67
SMM_2024_example7	YES	Strongly Closedness	63.44
SMM_2024_example8	YES	Toyama81	288.40
189	Timeout	---	10028.66
aac	Timeout	---	10023.18
ac	YES	Strongly Closedness	4005.50
almostdevelopment	YES	Almost Development Closedness	66.36
ari_example	YES	Almost Development Closedness	82.26
cr	YES	Development Closedness	71.81
ackermann_loop	YES	Orthogonality	49.31
cnf	Timeout	---	10027.28
sort	NO	"two different NFs found"	123.00
decompose	Timeout	---	10034.43
double_loop	YES	Weak Orthogonality	44.60
double_rec	YES	Orthogonality	41.61
eval	Timeout	---	10023.04
fact_iterative	YES	Weak Orthogonality	50.11
fib_loop	YES	Weak Orthogonality	71.25
fib_rec	YES	Orthogonality	64.16
frocosex18	NO	"two different NFs found"	207.62
llreve_faulty_limit2a_f1	YES	Orthogonality	43.46
llreve_faulty_limit2a_f2	YES	Weak Orthogonality	72.06
llreve_rec_ackermanna_f1	YES	Orthogonality	74.02
llreve_rec_ackermanna_f2	YES	Weak Orthogonality	82.38
llreve_rec_add-horna_f1	YES	Almost Parallel Closedness	69.60
llreve_rec_add-horna_f2	YES	Orthogonality	73.86
llreve_rec_cocome1a_tri1	YES	Orthogonality	72.91
llreve_rec_cocome1a_tri2	YES	Orthogonality	72.71
llreve_rec_inlininga_f1	YES	Orthogonality	72.93
llreve_rec_inlininga_f2	YES	Orthogonality	76.01
llreve_rec_limit1unrolleda_f1	YES	Orthogonality	52.00
llreve_rec_limit1unrolleda_f2	YES	Orthogonality	69.15
llreve_rec_mccarthy91a_f1	YES	Orthogonality	65.98
llreve_rec_mccarthy91a_f2	YES	Weak Orthogonality	62.35
nat_ackermann	YES	Orthogonality	37.61
nonterminate-simplify	YES	Orthogonality	56.86
notsn_f	YES	Weak Orthogonality	49.14
notsn_g	YES	Strongly Closedness	50.54
quad	YES	Weak Orthogonality	52.00
recurse	YES	Orthogonality	43.59
fib01_bad	YES	Orthogonality	41.47
fib01_fast	NO	"two different NFs found"	92.26
fib02_bad	YES	Weak Orthogonality	42.18
fib02_fast	NO	"two different NFs found"	96.50
fib03_bad	YES	Orthogonality	44.51
fib03_fast	NO	"two different NFs found"	100.84
fib04_fast	NO	"two different NFs found"	92.90
fib05_fast	NO	"two different NFs found"	91.99
fib06_fast	NO	"two different NFs found"	95.00
fib07_fast	NO	"two different NFs found"	102.20
fib08_fast	NO	"two different NFs found"	92.85
fib09_fast	NO	"two different NFs found"	106.67
fib10_fast	NO	"two different NFs found"	87.82
fib11_fast	NO	"two different NFs found"	98.76
fib12_fast	NO	"two different NFs found"	98.37
sum01	NO	"two different NFs found"	97.15
sum01_sum	YES	Orthogonality	45.00
sum02	YES	Development Closedness	75.24
sum03	NO	"two different NFs found"	126.65
sum04	YES	Orthogonality	35.82
sum05	NO	"two different NFs found"	96.07
sum06	YES	Weak Orthogonality	42.07
sum07	YES	Orthogonality	49.89
sum08	NO	"two different NFs found"	120.31
sum09	NO	"two different NFs found"	98.65
sum10	NO	"two different NFs found"	101.69
sum11	YES	Orthogonality	42.40
sum12	NO	"two different NFs found"	101.89
sumfrom01	YES	Weak Orthogonality	40.73
sumfrom01_sum2	NO	"two different NFs found"	106.22
sumfrom02_sum2	YES	Weak Orthogonality	41.29
sumfrom03_sum2	YES	Weak Orthogonality	43.70
sumfrom04_sum2	YES	Orthogonality	45.35
sumfrom05_sum	YES	Weak Orthogonality	49.74
sumfrom06_sum	YES	Weak Orthogonality	80.98
sum2	YES	Weak Orthogonality	75.53
sum_decl	YES	Almost Parallel Closedness	76.78
sum_loop	YES	Weak Orthogonality	68.56
sum_rec	YES	Orthogonality	66.17
sumfrom_loop	YES	Weak Orthogonality	64.17
sumfrom_rec	YES	Weak Orthogonality	44.00
sumreduce	YES	Weak Orthogonality	83.96
sumsimple_2	YES	Orthogonality	39.16
sumsum	YES	Weak Orthogonality	43.26
vidal1	NO	"two different NFs found"	552.66
vidal2	MAYBE	---	5532.85
development	YES	Almost Development Closedness	92.15
labelled	YES	Weak Orthogonality	9894.95
splitting_needed_cr_2CPs	YES	Almost Development Closedness	142.44
splitting_needed_cr_4CPs	YES	Almost Development Closedness	149.58
splitting_needed_ncr	Timeout	---	10024.57
Summary of the 136 problems:	#YES: 94		126739.57
	#NO: 32
	#MAYBE: 2
	#Timeout: 8
	#Error: 0