Problem	Result	Method	Time (in ms)
#3.1	YES	Orthogonality	65.32
#3.2	YES	Strong Closedness	68.86
#3.4	NO	"two different NFs found"	255.99
#3.5	YES	Orthogonality	77.49
#3.5a	YES	Weak Orthogonality	81.67
#3.5b	YES	Weak Orthogonality	117.65
KN_2013_example12	YES	Orthogonality	63.40
KN_2013_example13	YES	Orthogonality	67.63
KN_2013_example13_explicit_guard	YES	Orthogonality	51.75
KN_2013_example14	NO	"two different NFs found"	97.09
KN_2013_example15	YES	Orthogonality	54.27
KN_2013_example2	NO	"two different NFs found"	1723.62
KN_2013_example3	YES	Development Closedness	90.09
KN_2013_example5	YES	Orthogonality	50.77
KN_2014_example7_left	YES	Almost Development Closedness	130.21
KN_2014_example7_right	YES	Orthogonality	43.52
K_2016_example1	YES	Weak Orthogonality	62.55
K_2016_example14	YES	Weak Orthogonality	69.69
K_2016_example6	YES	Orthogonality	64.73
NM_2016_example1	YES	Strong Closedness	4284.99
NM_2016_example4	YES	Almost Parallel Closedness	125.30
NM_2016_example7	YES	Development Closedness	73.20
WM_2018_example19	NO	"two different NFs found"	139.25
WM_2018_example23	Timeout	---	10027.76
WM_2018_example23_corrected	YES	NewmansLemma	343.05
WM_2018_example3	YES	Orthogonality	52.66
WM_2018_example37_corrected	NO	"two different NFs found"	132.39
WM_2021_example1	Timeout	---	10028.54
SM_2023_example1	YES	Almost Development Closedness	132.27
SM_2023_example11	YES	Almost Parallel Closedness	108.32
SM_2023_example12	YES	Almost Parallel Closedness	298.69
SM_2023_example13	YES	Almost Development Closedness	99.92
SM_2023_example14	YES	Almost Development Closedness	102.71
SM_2023_example3	NO	"two different NFs found"	99.04
SM_2023_example6	YES	Orthogonality	60.38
SM_2023_example7	NO	"two different NFs found"	91.56
SM_2023_example9	YES	Almost Development Closedness	113.71
SM_2024_example12	NO	"two different NFs found"	628.48
SM_2024_example16	MAYBE	---	7790.84
SM_2024_example19	YES	NewmansLemma	155.25
SM_2024_example9	YES	Almost Development Closedness	510.71
SMM_2024_example2	YES	Almost Development Closedness	92.32
SMM_2024_example3	YES	NewmansLemma	1426.16
SMM_2024_example4	YES	Development Closedness	79.10
SMM_2024_example5	MAYBE	---	6943.93
SMM_2024_example6	YES	Almost Development Closedness	479.03
SMM_2024_example7	YES	NewmansLemma	80.01
SMM_2024_example8	YES	Toyama81	344.28
189	Timeout	---	10031.01
aac	Timeout	---	10029.08
ac	YES	Strong Closedness	4363.39
almostdevelopment	YES	Almost Development Closedness	81.06
ari_example	YES	Orthogonality	100.51
cr	YES	Development Closedness	90.23
ackermann_loop	YES	Weak Orthogonality	71.66
cnf	Timeout	---	10029.84
sort	NO	"two different NFs found"	139.49
decompose	Timeout	---	10045.89
double_loop	YES	Weak Orthogonality	47.57
double_rec	YES	Orthogonality	46.98
eval	Timeout	---	10030.93
fact_iterative	YES	Orthogonality	52.07
fib_loop	YES	Weak Orthogonality	54.28
fib_rec	YES	Weak Orthogonality	53.97
frocosex18	NO	"two different NFs found"	301.66
llreve_faulty_limit2a_f1	YES	Orthogonality	52.22
llreve_faulty_limit2a_f2	YES	Orthogonality	70.52
llreve_rec_ackermanna_f1	YES	Weak Orthogonality	49.72
llreve_rec_ackermanna_f2	YES	Orthogonality	59.59
llreve_rec_add-horna_f1	YES	Orthogonality	58.44
llreve_rec_add-horna_f2	YES	Weak Orthogonality	51.26
llreve_rec_cocome1a_tri1	YES	Orthogonality	52.62
llreve_rec_cocome1a_tri2	YES	Orthogonality	69.16
llreve_rec_inlininga_f1	YES	Orthogonality	74.37
llreve_rec_inlininga_f2	YES	Orthogonality	64.66
llreve_rec_limit1unrolleda_f1	YES	Orthogonality	73.08
llreve_rec_limit1unrolleda_f2	YES	Weak Orthogonality	73.50
llreve_rec_mccarthy91a_f1	YES	Orthogonality	69.01
llreve_rec_mccarthy91a_f2	YES	Orthogonality	62.57
nat_ackermann	YES	Orthogonality	35.16
nonterminate-simplify	YES	Weak Orthogonality	55.87
notsn_f	YES	Orthogonality	57.33
notsn_g	YES	Orthogonality	56.21
quad	YES	Orthogonality	56.22
recurse	YES	Orthogonality	68.93
fib01_bad	YES	Weak Orthogonality	76.29
fib01_fast	NO	"two different NFs found"	121.25
fib02_bad	YES	Orthogonality	59.47
fib02_fast	NO	"two different NFs found"	127.98
fib03_bad	YES	Orthogonality	45.45
fib03_fast	NO	"two different NFs found"	125.85
fib04_fast	NO	"two different NFs found"	111.54
fib05_fast	NO	"two different NFs found"	110.67
fib06_fast	NO	"two different NFs found"	116.59
fib07_fast	NO	"two different NFs found"	111.35
fib08_fast	NO	"two different NFs found"	111.46
fib09_fast	NO	"two different NFs found"	124.47
fib10_fast	NO	"two different NFs found"	105.09
fib11_fast	NO	"two different NFs found"	106.61
fib12_fast	NO	"two different NFs found"	104.18
sum01	NO	"two different NFs found"	111.02
sum01_sum	YES	Orthogonality	42.34
sum02	YES	Orthogonality	72.22
sum03	NO	"two different NFs found"	134.16
sum04	YES	Orthogonality	47.96
sum05	NO	"two different NFs found"	138.63
sum06	YES	Orthogonality	43.65
sum07	YES	Orthogonality	65.12
sum08	NO	"two different NFs found"	125.13
sum09	NO	"two different NFs found"	99.07
sum10	NO	"two different NFs found"	110.05
sum11	YES	Weak Orthogonality	54.44
sum12	NO	"two different NFs found"	118.85
sumfrom01	YES	Orthogonality	48.22
sumfrom01_sum2	NO	"two different NFs found"	136.67
sumfrom02_sum2	YES	Orthogonality	54.59
sumfrom03_sum2	YES	Orthogonality	76.54
sumfrom04_sum2	YES	Weak Orthogonality	77.60
sumfrom05_sum	YES	Orthogonality	69.87
sumfrom06_sum	YES	Almost Development Closedness	87.82
sum2	YES	Orthogonality	76.99
sum_decl	YES	Weak Orthogonality	74.31
sum_loop	YES	Orthogonality	79.71
sum_rec	YES	Orthogonality	72.69
sumfrom_loop	YES	Weak Orthogonality	73.41
sumfrom_rec	YES	Orthogonality	71.16
sumreduce	YES	Weak Orthogonality	121.30
sumsimple_2	YES	Orthogonality	57.40
sumsum	YES	Orthogonality	80.99
vidal1	NO	"two different NFs found"	1012.99
vidal2	Timeout	---	10040.91
development	YES	NewmansLemma	89.51
labelled	Timeout	---	10012.35
splitting_needed_cr_2CPs	YES	Almost Development Closedness	128.68
splitting_needed_cr_4CPs	YES	Almost Development Closedness	155.47
splitting_needed_ncr	Timeout	---	10028.75
Summary of the 136 problems:	#YES: 93		140309.02
	#NO: 31
	#MAYBE: 2
	#Timeout: 10
	#Error: 0