Problem	Result	Method	Time (in ms)
#3.1	YES	Almost Parallel Closedness	61.09
#3.2	YES	Almost Development Closedness	47.88
#3.4	NO	"two different NFs found"	177.87
#3.5	YES	Almost Development Closedness	27.63
#3.5a	YES	Strong Closedness	49.90
#3.5b	YES	Almost Development Closedness	64.29
KN_2013_example12	YES	Strong Closedness	26.28
KN_2013_example13	YES	Almost Parallel Closedness	40.18
KN_2013_example13_explicit_guard	YES	Almost Parallel Closedness	40.50
KN_2013_example14	NO	"two different NFs found"	63.13
KN_2013_example15	YES	Almost Parallel Closedness	35.03
KN_2013_example2	NO	"two different NFs found"	1521.82
KN_2013_example3	YES	Almost Development Closedness	46.40
KN_2013_example5	YES	Strong Closedness	40.25
KN_2014_example7_left	YES	Almost Development Closedness	81.03
KN_2014_example7_right	YES	Almost Parallel Closedness	41.43
K_2016_example1	YES	Almost Development Closedness	42.05
K_2016_example14	YES	Almost Development Closedness	41.25
K_2016_example6	YES	Strong Closedness	39.99
NM_2016_example1	YES	Strong Closedness	3783.71
NM_2016_example4	YES	Almost Development Closedness	78.24
NM_2016_example7	YES	Almost Development Closedness	51.47
WM_2018_example19	NO	"two different NFs found"	85.94
WM_2018_example23	Timeout	---	10024.63
WM_2018_example23_corrected	YES	NewmansLemma	217.47
WM_2018_example3	YES	Strong Closedness	28.53
WM_2018_example37_corrected	NO	"two different NFs found"	84.14
WM_2021_example1	Timeout	---	10017.90
SM_2023_example1	YES	Almost Development Closedness	69.85
SM_2023_example11	YES	Almost Parallel Closedness	58.42
SM_2023_example12	YES	Almost Parallel Closedness	207.88
SM_2023_example13	YES	Almost Development Closedness	48.51
SM_2023_example14	YES	Almost Development Closedness	62.78
SM_2023_example3	NO	"two different NFs found"	64.48
SM_2023_example6	YES	Almost Parallel Closedness	46.21
SM_2023_example7	NO	"two different NFs found"	63.69
SM_2023_example9	YES	Almost Development Closedness	46.89
SM_2024_example12	NO	"two different NFs found"	475.19
SM_2024_example16	MAYBE	---	5636.24
SM_2024_example19	YES	NewmansLemma	76.34
SM_2024_example9	YES	Almost Development Closedness	374.14
SMM_2024_example2	YES	Almost Development Closedness	38.08
SMM_2024_example3	YES	NewmansLemma	1045.49
SMM_2024_example4	YES	Almost Development Closedness	48.33
SMM_2024_example5	MAYBE	---	8712.21
SMM_2024_example6	YES	Almost Development Closedness	354.11
SMM_2024_example7	YES	Strong Closedness	38.10
SMM_2024_example8	YES	Toyama81	248.72
189	Timeout	---	10024.25
aac	Timeout	---	10017.16
ac	YES	Strong Closedness	3909.84
almostdevelopment	YES	Almost Development Closedness	38.16
ari_example	YES	Almost Parallel Closedness	47.82
cr	YES	Almost Development Closedness	62.48
ackermann_loop	YES	Almost Parallel Closedness	35.67
cnf	Timeout	---	10023.00
sort	NO	"two different NFs found"	63.03
decompose	Timeout	---	10024.48
double_loop	YES	Strong Closedness	49.65
double_rec	YES	Strong Closedness	25.86
eval	Timeout	---	10017.14
fact_iterative	YES	Almost Development Closedness	21.79
fib_loop	YES	Almost Parallel Closedness	37.76
fib_rec	YES	Strong Closedness	41.61
frocosex18	NO	"two different NFs found"	213.12
llreve_faulty_limit2a_f1	YES	Strong Closedness	32.87
llreve_faulty_limit2a_f2	YES	Almost Parallel Closedness	41.96
llreve_rec_ackermanna_f1	YES	Strong Closedness	46.75
llreve_rec_ackermanna_f2	YES	Almost Development Closedness	44.91
llreve_rec_add-horna_f1	YES	Strong Closedness	39.31
llreve_rec_add-horna_f2	YES	Almost Development Closedness	39.66
llreve_rec_cocome1a_tri1	YES	Strong Closedness	41.10
llreve_rec_cocome1a_tri2	YES	Strong Closedness	40.63
llreve_rec_inlininga_f1	YES	Almost Development Closedness	42.84
llreve_rec_inlininga_f2	YES	Strong Closedness	43.66
llreve_rec_limit1unrolleda_f1	YES	Strong Closedness	43.44
llreve_rec_limit1unrolleda_f2	YES	Almost Parallel Closedness	42.02
llreve_rec_mccarthy91a_f1	YES	Almost Parallel Closedness	41.66
llreve_rec_mccarthy91a_f2	YES	Strong Closedness	40.83
nat_ackermann	YES	Almost Parallel Closedness	34.84
nonterminate-simplify	YES	Almost Development Closedness	44.76
notsn_f	YES	Strong Closedness	42.63
notsn_g	YES	Almost Parallel Closedness	44.26
quad	YES	Almost Parallel Closedness	37.95
recurse	YES	Almost Parallel Closedness	41.17
fib01_bad	YES	Almost Parallel Closedness	40.17
fib01_fast	NO	"two different NFs found"	63.60
fib02_bad	YES	Strong Closedness	42.66
fib02_fast	NO	"two different NFs found"	69.77
fib03_bad	YES	Strong Closedness	40.93
fib03_fast	NO	"two different NFs found"	70.24
fib04_fast	NO	"two different NFs found"	77.65
fib05_fast	NO	"two different NFs found"	62.10
fib06_fast	NO	"two different NFs found"	69.93
fib07_fast	NO	"two different NFs found"	57.07
fib08_fast	NO	"two different NFs found"	62.51
fib09_fast	NO	"two different NFs found"	61.12
fib10_fast	NO	"two different NFs found"	50.90
fib11_fast	NO	"two different NFs found"	53.41
fib12_fast	NO	"two different NFs found"	53.67
sum01	NO	"two different NFs found"	54.57
sum01_sum	YES	Almost Parallel Closedness	26.32
sum02	YES	Almost Parallel Closedness	29.66
sum03	NO	"two different NFs found"	65.80
sum04	YES	Almost Parallel Closedness	34.37
sum05	NO	"two different NFs found"	67.71
sum06	YES	Strong Closedness	26.50
sum07	YES	Strong Closedness	41.03
sum08	NO	"two different NFs found"	68.48
sum09	NO	"two different NFs found"	51.25
sum10	NO	"two different NFs found"	58.66
sum11	YES	Almost Parallel Closedness	28.20
sum12	NO	"two different NFs found"	56.67
sumfrom01	YES	Almost Parallel Closedness	26.32
sumfrom01_sum2	NO	"two different NFs found"	71.58
sumfrom02_sum2	YES	Almost Parallel Closedness	26.53
sumfrom03_sum2	YES	Almost Parallel Closedness	28.25
sumfrom04_sum2	YES	Almost Parallel Closedness	35.15
sumfrom05_sum	YES	Almost Parallel Closedness	27.27
sumfrom06_sum	YES	Almost Parallel Closedness	24.22
sum2	YES	Strong Closedness	44.92
sum_decl	YES	Almost Parallel Closedness	42.13
sum_loop	YES	Almost Parallel Closedness	39.08
sum_rec	YES	Strong Closedness	40.96
sumfrom_loop	YES	Strong Closedness	41.83
sumfrom_rec	YES	Strong Closedness	40.34
sumreduce	YES	Almost Development Closedness	70.66
sumsimple_2	YES	Strong Closedness	28.00
sumsum	YES	Strong Closedness	32.26
vidal1	NO	"two different NFs found"	1004.22
vidal2	Timeout	---	10023.46
development	YES	Almost Development Closedness	56.21
labelled	Timeout	---	10011.20
splitting_needed_cr_2CPs	YES	Almost Development Closedness	79.00
splitting_needed_cr_4CPs	YES	Almost Development Closedness	87.72
splitting_needed_ncr	Timeout	---	10023.02
Summary of the 136 problems:	#YES: 93		133445.04
	#NO: 31
	#MAYBE: 2
	#Timeout: 10
	#Error: 0