ProblemResultMethodTime (in ms)
KN_2013_example12MAYBE--- 4.80
KN_2013_example13MAYBE--- 6.91
KN_2013_example13_explicit_guardMAYBE--- 2.62
KN_2013_example14MAYBE--- 2.46
KN_2013_example15YESStrongly Closedness 14.30
KN_2013_example2MAYBE--- 3.38
KN_2013_example3MAYBE--- 4.80
KN_2013_example5MAYBE--- 4.66
KN_2014_example7_leftMAYBE--- 2.49
KN_2014_example7_rightMAYBE--- 3.46
K_2016_example1MAYBE--- 4.56
K_2016_example14MAYBE--- 2.84
K_2016_example2MAYBE--- 5.14
K_2016_example6YESStrongly Closedness 12.07
NM_2016_example1YESStrongly Closedness3149.66
NM_2016_example4Timeout---5006.93
NM_2016_example7MAYBE--- 4.46
WM_2018_example19MAYBE--- 5.83
WM_2018_example23MAYBE---131.98
WM_2018_example23_correctedYESStrongly Closedness 55.17
WM_2018_example3MAYBE--- 6.25
WM_2018_example37_correctedMAYBE--- 64.97
WM_2021_example1MAYBE--- 6.61
example1YESStrongly Closedness 67.98
example11MAYBE--- 6.26
example12MAYBE--- 5.75
example13YESStrongly Closedness 17.86
example14YESStrongly Closedness 26.17
example3MAYBE--- 12.14
example6MAYBE--- 5.67
example7MAYBE--- 22.62
example9YESStrongly Closedness 19.44
189MAYBE--- 30.70
crYESStrongly Closedness 13.82
criticalpair_exampleMAYBE--- 6.26
ackermann_loopMAYBE--- 7.31
cnfMAYBE--- 19.33
sortMAYBE--- 34.45
decomposeMAYBE---143.72
double_loopYESStrongly Closedness 11.02
double_recYESStrongly Closedness 7.70
evalMAYBE---186.75
ex_graphYESStrongly Closedness 12.45
fact_iterativeMAYBE--- 4.89
fact_recursiveMAYBE--- 5.69
fib_loopMAYBE--- 5.28
fib_recMAYBE--- 6.11
frocosex18MAYBE--- 5.40
llreve_faulty_ackermanna_f1MAYBE--- 7.09
llreve_faulty_ackermanna_f2MAYBE--- 6.12
llreve_faulty_limit2a_f1MAYBE--- 4.06
llreve_faulty_limit2a_f2MAYBE--- 3.98
llreve_rec_ackermanna_f1MAYBE--- 4.49
llreve_rec_ackermanna_f2MAYBE--- 4.00
llreve_rec_add-horna_f1YESStrongly Closedness 9.11
llreve_rec_add-horna_f2YESStrongly Closedness 11.75
llreve_rec_cocome1a_tri1MAYBE--- 4.39
llreve_rec_cocome1a_tri2MAYBE--- 6.25
llreve_rec_inlininga_f1YESStrongly Closedness 9.91
llreve_rec_inlininga_f2YESStrongly Closedness 10.48
llreve_rec_limit1unrolleda_f1MAYBE--- 3.43
llreve_rec_limit1unrolleda_f2MAYBE--- 4.22
llreve_rec_limit3a_f1MAYBE--- 4.45
llreve_rec_limit3a_f2MAYBE--- 3.25
llreve_rec_mccarthy91a_f1YESStrongly Closedness 7.69
llreve_rec_mccarthy91a_f2YESStrongly Closedness 7.88
llreve_rec_triangulara_tri1MAYBE--- 5.24
llreve_rec_triangulara_tri2MAYBE--- 4.51
nat_ackermannMAYBE--- 5.31
nonterminate-simplifyMAYBE--- 4.71
notsn_fYESStrongly Closedness 45.19
notsn_gYESStrongly Closedness 41.22
quadMAYBE--- 6.57
quad1MAYBE--- 5.91
recurse_FMAYBE--- 4.83
recurse_GMAYBE--- 5.97
fib01_badMAYBE--- 5.90
fib01_fastMAYBE--- 4.87
fib02_badMAYBE--- 6.49
fib02_fastMAYBE--- 8.66
fib03_badMAYBE--- 6.25
fib03_fastMAYBE--- 4.94
fib04_badMAYBE--- 4.77
fib04_fastMAYBE--- 7.48
fib05_fastMAYBE--- 6.00
fib06_fastMAYBE--- 6.63
fib07_fastMAYBE--- 6.20
fib08_badMAYBE--- 5.52
fib08_fastMAYBE--- 5.92
fib09_badMAYBE--- 5.48
fib09_fastMAYBE--- 6.14
fib10_fastMAYBE--- 5.74
fib11_fastMAYBE--- 6.72
fib12_fastMAYBE--- 5.79
sum01MAYBE--- 6.36
sum01_sumMAYBE--- 5.61
sum02MAYBE--- 6.05
sum03MAYBE--- 5.77
sum04MAYBE--- 5.39
sum05MAYBE--- 6.56
sum06MAYBE--- 5.87
sum07MAYBE--- 4.87
sum08MAYBE--- 6.06
sum09MAYBE--- 4.79
sum10MAYBE--- 5.87
sum11MAYBE--- 5.16
sum12MAYBE--- 4.88
sumfrom01MAYBE--- 6.29
sumfrom01_sum2MAYBE--- 6.22
sumfrom02_sum2MAYBE--- 5.97
sumfrom03_sum2MAYBE--- 5.33
sumfrom04_sum2MAYBE--- 8.22
sumfrom05_sumMAYBE--- 5.76
sumfrom06_sumMAYBE--- 4.38
sum2MAYBE--- 6.06
sum_declMAYBE--- 6.34
sum_loopMAYBE--- 5.12
sum_recMAYBE--- 3.00
sumfrom_loopMAYBE--- 4.04
sumfrom_recMAYBE--- 5.52
sumreduceMAYBE--- 4.04
sumsimple_1MAYBE--- 3.51
sumsimple_2MAYBE--- 3.14
sumsumMAYBE--- 6.37
vidal1MAYBE--- 56.85
vidal2MAYBE--- 29.54
fibMAYBE--- 5.95
Summary of the 127 problems: #YES: 209797.58
#NO: 0
#MAYBE: 106
#Timeout: 1
#Error: 0