Problem	Result	Method	Time (in ms)
KN_2013_example12	YES	Almost Parallel Closedness	17.47
KN_2013_example13	YES	Almost Parallel Closedness	18.41
KN_2013_example13_explicit_guard	YES	Almost Parallel Closedness	18.13
KN_2013_example14	MAYBE	---	30.12
KN_2013_example15	YES	Almost Parallel Closedness	18.26
KN_2013_example2	MAYBE	---	129.02
KN_2013_example3	YES	Almost Parallel Closedness	21.24
KN_2013_example5	YES	Almost Parallel Closedness	15.81
KN_2014_example7_left	YES	Almost Parallel Closedness	39.91
KN_2014_example7_right	YES	Almost Parallel Closedness	10.71
K_2016_example1	YES	Almost Parallel Closedness	12.53
K_2016_example14	YES	Almost Parallel Closedness	14.42
K_2016_example2	YES	Almost Parallel Closedness	13.38
K_2016_example6	YES	Almost Parallel Closedness	14.33
NM_2016_example1	Timeout	---	5007.96
NM_2016_example4	YES	Almost Parallel Closedness	79.32
NM_2016_example7	YES	Almost Parallel Closedness	68.96
WM_2018_example19	MAYBE	---	5.87
WM_2018_example23	Timeout	---	5005.78
WM_2018_example23_corrected	YES	Almost Parallel Closedness	635.86
WM_2018_example3	YES	Almost Parallel Closedness	15.75
WM_2018_example37_corrected	MAYBE	---	23.14
WM_2021_example1	Timeout	---	5006.54
example1	YES	Almost Parallel Closedness	40.18
example11	YES	Almost Parallel Closedness	20.64
example12	YES	Almost Parallel Closedness	78.56
example13	YES	Almost Parallel Closedness	17.71
example14	YES	Almost Parallel Closedness	13.81
example3	MAYBE	---	23.73
example6	YES	Almost Parallel Closedness	16.03
example7	Timeout	---	5005.09
example9	YES	Almost Parallel Closedness	21.40
189	Timeout	---	5008.17
cr	YES	Almost Parallel Closedness	17.72
criticalpair_example	MAYBE	---	9.62
ackermann_loop	YES	Almost Parallel Closedness	21.31
cnf	MAYBE	---	3396.02
sort	MAYBE	---	27.13
decompose	Timeout	---	5006.96
double_loop	YES	Almost Parallel Closedness	16.13
double_rec	YES	Almost Parallel Closedness	14.75
eval	Timeout	---	5005.83
ex_graph	YES	Almost Parallel Closedness	13.61
fact_iterative	YES	Almost Parallel Closedness	13.93
fact_recursive	YES	Almost Parallel Closedness	11.20
fib_loop	YES	Almost Parallel Closedness	15.65
fib_rec	YES	Almost Parallel Closedness	14.54
frocosex18	MAYBE	---	8.94
llreve_faulty_ackermanna_f1	YES	Almost Parallel Closedness	15.57
llreve_faulty_ackermanna_f2	YES	Almost Parallel Closedness	15.06
llreve_faulty_limit2a_f1	YES	Almost Parallel Closedness	15.62
llreve_faulty_limit2a_f2	YES	Almost Parallel Closedness	17.25
llreve_rec_ackermanna_f1	YES	Almost Parallel Closedness	15.10
llreve_rec_ackermanna_f2	YES	Almost Parallel Closedness	16.08
llreve_rec_add-horna_f1	YES	Almost Parallel Closedness	15.89
llreve_rec_add-horna_f2	YES	Almost Parallel Closedness	14.71
llreve_rec_cocome1a_tri1	YES	Almost Parallel Closedness	14.87
llreve_rec_cocome1a_tri2	YES	Almost Parallel Closedness	15.85
llreve_rec_inlininga_f1	YES	Almost Parallel Closedness	13.77
llreve_rec_inlininga_f2	YES	Almost Parallel Closedness	18.07
llreve_rec_limit1unrolleda_f1	YES	Almost Parallel Closedness	15.15
llreve_rec_limit1unrolleda_f2	YES	Almost Parallel Closedness	17.03
llreve_rec_limit3a_f1	YES	Almost Parallel Closedness	12.26
llreve_rec_limit3a_f2	YES	Almost Parallel Closedness	14.43
llreve_rec_mccarthy91a_f1	YES	Almost Parallel Closedness	13.72
llreve_rec_mccarthy91a_f2	YES	Almost Parallel Closedness	14.72
llreve_rec_triangulara_tri1	YES	Almost Parallel Closedness	13.22
llreve_rec_triangulara_tri2	YES	Almost Parallel Closedness	13.81
nat_ackermann	YES	Almost Parallel Closedness	13.75
nonterminate-simplify	YES	Almost Parallel Closedness	15.82
notsn_f	YES	Almost Parallel Closedness	45.27
notsn_g	YES	Almost Parallel Closedness	60.29
quad	YES	Almost Parallel Closedness	15.42
quad1	YES	Almost Parallel Closedness	14.24
recurse_F	YES	Almost Parallel Closedness	12.71
recurse_G	YES	Almost Parallel Closedness	12.66
fib01_bad	YES	Almost Parallel Closedness	13.62
fib01_fast	Timeout	---	5008.60
fib02_bad	YES	Almost Parallel Closedness	18.86
fib02_fast	Timeout	---	5009.42
fib03_bad	YES	Almost Parallel Closedness	19.46
fib03_fast	Timeout	---	5008.02
fib04_bad	YES	Almost Parallel Closedness	19.39
fib04_fast	Timeout	---	5009.07
fib05_fast	Timeout	---	5004.75
fib06_fast	Timeout	---	5007.07
fib07_fast	Timeout	---	5009.07
fib08_bad	YES	Almost Parallel Closedness	19.20
fib08_fast	Timeout	---	5007.13
fib09_bad	YES	Almost Parallel Closedness	20.33
fib09_fast	Timeout	---	5006.95
fib10_fast	Timeout	---	5005.18
fib11_fast	Timeout	---	5025.39
fib12_fast	Timeout	---	5008.96
sum01	Timeout	---	5008.84
sum01_sum	YES	Almost Parallel Closedness	17.71
sum02	YES	Almost Parallel Closedness	16.22
sum03	Timeout	---	5008.32
sum04	YES	Almost Parallel Closedness	16.83
sum05	Timeout	---	5008.82
sum06	YES	Almost Parallel Closedness	16.01
sum07	YES	Almost Parallel Closedness	14.93
sum08	Timeout	---	5008.48
sum09	MAYBE	---	501.57
sum10	Timeout	---	5008.98
sum11	YES	Almost Parallel Closedness	18.42
sum12	Timeout	---	5009.01
sumfrom01	YES	Almost Parallel Closedness	19.36
sumfrom01_sum2	Timeout	---	5009.04
sumfrom02_sum2	YES	Almost Parallel Closedness	16.52
sumfrom03_sum2	YES	Almost Parallel Closedness	17.65
sumfrom04_sum2	YES	Almost Parallel Closedness	17.07
sumfrom05_sum	YES	Almost Parallel Closedness	16.20
sumfrom06_sum	YES	Almost Parallel Closedness	17.46
sum2	YES	Almost Parallel Closedness	16.60
sum_decl	YES	Almost Parallel Closedness	17.78
sum_loop	YES	Almost Parallel Closedness	15.83
sum_rec	YES	Almost Parallel Closedness	15.37
sumfrom_loop	YES	Almost Parallel Closedness	15.24
sumfrom_rec	YES	Almost Parallel Closedness	15.14
sumreduce	YES	Almost Parallel Closedness	24.79
sumsimple_1	YES	Almost Parallel Closedness	13.86
sumsimple_2	YES	Almost Parallel Closedness	15.01
sumsum	YES	Almost Parallel Closedness	17.00
vidal1	Timeout	---	5005.52
vidal2	MAYBE	---	552.96
fib	YES	Almost Parallel Closedness	18.46
Summary of the 127 problems:	#YES: 89		142285.44
	#NO: 0
	#MAYBE: 11
	#Timeout: 27
	#Error: 0