Problem	Result	Method	Time (in ms)
#3.1	YES	Orthogonality	49.11
#3.2	YES	Weak Orthogonality	45.49
#3.4	NO	"two different NFs found"	210.52
#3.5	YES	Weak Orthogonality	55.65
#3.5a	YES	Orthogonality	58.00
#3.5b	YES	Almost Development Closedness	104.26
KN_2013_example12	YES	Orthogonality	37.89
KN_2013_example13	YES	Almost Parallel Closedness	33.70
KN_2013_example13_explicit_guard	YES	Orthogonality	43.77
KN_2013_example14	NO	"two different NFs found"	87.24
KN_2013_example15	YES	Orthogonality	50.07
KN_2013_example2	NO	"two different NFs found"	1501.88
KN_2013_example3	YES	Weak Orthogonality	94.01
KN_2013_example5	YES	Orthogonality	39.83
KN_2014_example7_left	YES	Almost Development Closedness	126.51
KN_2014_example7_right	YES	Orthogonality	41.22
K_2016_example1	YES	Weak Orthogonality	48.00
K_2016_example14	YES	Orthogonality	50.41
K_2016_example6	YES	Orthogonality	69.48
NM_2016_example1	YES	Strong Closedness	3887.25
NM_2016_example4	YES	Almost Development Closedness	104.97
NM_2016_example7	YES	Almost Development Closedness	65.72
WM_2018_example19	NO	"two different NFs found"	106.26
WM_2018_example23	Timeout	---	10027.81
WM_2018_example23_corrected	YES	NewmansLemma	313.01
WM_2018_example3	YES	Orthogonality	43.77
WM_2018_example37_corrected	NO	"two different NFs found"	86.23
WM_2021_example1	Timeout	---	10025.79
SM_2023_example1	YES	Almost Development Closedness	103.84
SM_2023_example11	YES	Almost Parallel Closedness	106.92
SM_2023_example12	YES	Almost Parallel Closedness	285.10
SM_2023_example13	YES	Almost Development Closedness	83.45
SM_2023_example14	YES	Parallel Closedness	89.34
SM_2023_example3	NO	"two different NFs found"	82.55
SM_2023_example6	YES	Weak Orthogonality	48.09
SM_2023_example7	NO	"two different NFs found"	76.64
SM_2023_example9	YES	Almost Development Closedness	92.89
SM_2024_example12	NO	"two different NFs found"	589.43
SM_2024_example16	MAYBE	---	8098.98
SM_2024_example19	YES	NewmansLemma	134.52
SM_2024_example9	YES	Almost Development Closedness	460.52
SMM_2024_example2	YES	NewmansLemma	72.65
SMM_2024_example3	YES	NewmansLemma	1330.39
SMM_2024_example4	YES	Development Closedness	85.74
SMM_2024_example5	MAYBE	---	4179.92
SMM_2024_example6	YES	Almost Development Closedness	446.46
SMM_2024_example7	YES	NewmansLemma	78.72
SMM_2024_example8	YES	Toyama81	310.15
189	Timeout	---	10022.19
aac	Timeout	---	10025.45
ac	YES	Strong Closedness	3951.94
almostdevelopment	YES	Almost Development Closedness	82.77
ari_example	YES	Almost Parallel Closedness	94.08
cr	YES	Almost Development Closedness	82.01
ackermann_loop	YES	Weak Orthogonality	45.42
cnf	Timeout	---	10022.21
sort	NO	"two different NFs found"	94.35
decompose	Timeout	---	10040.52
double_loop	YES	Weak Orthogonality	42.16
double_rec	YES	Orthogonality	44.31
eval	Timeout	---	10024.68
fact_iterative	YES	Weak Orthogonality	46.28
fib_loop	YES	Orthogonality	54.43
fib_rec	YES	Orthogonality	71.62
frocosex18	NO	"two different NFs found"	286.19
llreve_faulty_limit2a_f1	YES	Orthogonality	50.57
llreve_faulty_limit2a_f2	YES	Orthogonality	53.42
llreve_rec_ackermanna_f1	YES	Orthogonality	51.80
llreve_rec_ackermanna_f2	YES	Parallel Closedness	63.44
llreve_rec_add-horna_f1	YES	Orthogonality	62.07
llreve_rec_add-horna_f2	YES	Weak Orthogonality	71.04
llreve_rec_cocome1a_tri1	YES	Orthogonality	60.49
llreve_rec_cocome1a_tri2	YES	Orthogonality	51.83
llreve_rec_inlininga_f1	YES	Orthogonality	62.46
llreve_rec_inlininga_f2	YES	Orthogonality	41.56
llreve_rec_limit1unrolleda_f1	YES	Orthogonality	46.07
llreve_rec_limit1unrolleda_f2	YES	Orthogonality	68.27
llreve_rec_mccarthy91a_f1	YES	Weak Orthogonality	62.38
llreve_rec_mccarthy91a_f2	YES	Orthogonality	60.04
nat_ackermann	YES	Orthogonality	58.09
nonterminate-simplify	YES	Orthogonality	79.91
notsn_f	YES	Weak Orthogonality	61.35
notsn_g	YES	Orthogonality	71.63
quad	YES	Orthogonality	72.88
recurse	YES	Weak Orthogonality	71.10
fib01_bad	YES	Orthogonality	74.35
fib01_fast	NO	"two different NFs found"	120.39
fib02_bad	YES	Orthogonality	47.55
fib02_fast	NO	"two different NFs found"	98.53
fib03_bad	YES	Orthogonality	42.45
fib03_fast	NO	"two different NFs found"	98.22
fib04_fast	NO	"two different NFs found"	107.69
fib05_fast	NO	"two different NFs found"	96.67
fib06_fast	NO	"two different NFs found"	107.13
fib07_fast	NO	"two different NFs found"	105.29
fib08_fast	NO	"two different NFs found"	102.92
fib09_fast	NO	"two different NFs found"	107.27
fib10_fast	NO	"two different NFs found"	100.76
fib11_fast	NO	"two different NFs found"	106.47
fib12_fast	NO	"two different NFs found"	100.32
sum01	NO	"two different NFs found"	95.38
sum01_sum	YES	Weak Orthogonality	43.97
sum02	YES	Weak Orthogonality	42.65
sum03	NO	"two different NFs found"	101.27
sum04	YES	Weak Orthogonality	43.88
sum05	NO	"two different NFs found"	99.94
sum06	YES	Orthogonality	41.01
sum07	YES	Orthogonality	50.08
sum08	NO	"two different NFs found"	114.89
sum09	NO	"two different NFs found"	95.59
sum10	NO	"two different NFs found"	108.83
sum11	YES	Weak Orthogonality	48.11
sum12	NO	"two different NFs found"	108.22
sumfrom01	YES	Orthogonality	42.51
sumfrom01_sum2	NO	"two different NFs found"	108.22
sumfrom02_sum2	YES	Almost Parallel Closedness	50.61
sumfrom03_sum2	YES	Orthogonality	44.62
sumfrom04_sum2	YES	Weak Orthogonality	57.34
sumfrom05_sum	YES	Orthogonality	42.69
sumfrom06_sum	YES	Orthogonality	52.12
sum2	YES	Orthogonality	57.84
sum_decl	YES	Orthogonality	50.07
sum_loop	YES	Weak Orthogonality	55.68
sum_rec	YES	Orthogonality	63.69
sumfrom_loop	YES	Parallel Closedness	46.09
sumfrom_rec	YES	Orthogonality	61.24
sumreduce	YES	Weak Orthogonality	119.18
sumsimple_2	YES	Weak Orthogonality	35.56
sumsum	YES	Almost Parallel Closedness	42.61
vidal1	NO	"two different NFs found"	926.97
vidal2	MAYBE	---	8847.78
development	YES	Almost Development Closedness	105.69
labelled	Timeout	---	10241.98
splitting_needed_cr_2CPs	YES	Almost Development Closedness	145.09
splitting_needed_cr_4CPs	YES	Almost Development Closedness	148.68
splitting_needed_ncr	Timeout	---	10033.05
Summary of the 136 problems:	#YES: 93		134204.30
	#NO: 31
	#MAYBE: 3
	#Timeout: 9
	#Error: 0