ProblemResultTime (in ms)
#3.1MAYBE 90.60
#3.2MAYBE 67.37
#3.4MAYBE112.94
#3.5MAYBE153.86
#3.5aMAYBE111.99
#3.5bMAYBE 73.37
KN_2013_example12MAYBE 22.20
KN_2013_example13MAYBE 21.86
KN_2013_example13_explicit_guardMAYBE 62.22
KN_2013_example14MAYBE 30.63
KN_2013_example15YES 36.75
KN_2013_example2YES 84.56
KN_2013_example3MAYBE 34.39
KN_2013_example5YES 22.87
KN_2014_example7_leftYES 62.23
KN_2014_example7_rightYES 59.28
K_2016_example1MAYBE 73.81
K_2016_example14YES 38.75
K_2016_example6YES 14.63
NM_2016_example1MAYBE 24.49
NM_2016_example4MAYBE 24.01
NM_2016_example7MAYBE 36.21
WM_2018_example19YES 22.93
WM_2018_example23YES 62.46
WM_2018_example23_correctedYES 62.91
WM_2018_example3YES 22.00
WM_2018_example37_correctedMAYBE 65.10
WM_2021_example1MAYBE154.78
SM_2023_example1MAYBE 31.26
SM_2023_example11MAYBE 69.46
SM_2023_example12MAYBE 29.43
SM_2023_example13YES 5.56
SM_2023_example14YES 5.57
SM_2023_example3YES 5.08
SM_2023_example6YES 57.44
SM_2023_example7YES 6.07
SM_2023_example9YES 5.31
SM_2024_example12YES 6.32
SM_2024_example16YES107.35
SM_2024_example19YES 18.72
SM_2024_example9YES 6.58
SMM_2024_example2YES 5.52
SMM_2024_example3YES 55.77
SMM_2024_example4YES 5.65
SMM_2024_example5YES 6.12
SMM_2024_example6MAYBE 41.60
SMM_2024_example7YES 5.51
SMM_2024_example8MAYBE 46.59
189YES 28.86
aacMAYBE 29.85
acMAYBE 23.88
almostdevelopmentMAYBE 21.47
ari_exampleMAYBE 63.71
crMAYBE 20.60
ackermann_loopYES 78.21
cnfYES 6.08
sortMAYBE 59.81
decomposeYES 66.89
double_loopYES 53.87
double_recYES 22.52
evalMAYBE119.94
fact_iterativeYES 58.05
fib_loopYES 54.12
fib_recYES 15.70
frocosex18YES 6.31
llreve_faulty_limit2a_f1YES 24.02
llreve_faulty_limit2a_f2YES 21.99
llreve_rec_ackermanna_f1MAYBE134.33
llreve_rec_ackermanna_f2MAYBE136.14
llreve_rec_add-horna_f1MAYBE 44.97
llreve_rec_add-horna_f2MAYBE 46.02
llreve_rec_cocome1a_tri1YES 24.62
llreve_rec_cocome1a_tri2YES 24.72
llreve_rec_inlininga_f1YES 25.08
llreve_rec_inlininga_f2YES 27.69
llreve_rec_limit1unrolleda_f1YES 22.29
llreve_rec_limit1unrolleda_f2YES 24.56
llreve_rec_mccarthy91a_f1MAYBE 46.03
llreve_rec_mccarthy91a_f2MAYBE 50.10
nat_ackermannYES 28.89
nonterminate-simplifyMAYBE 62.33
notsn_fYES 17.76
notsn_gYES 30.05
quadYES 52.99
recurseYES 22.47
fib01_badYES 28.38
fib01_fastYES 22.89
fib02_badYES 26.15
fib02_fastYES 51.94
fib03_badYES 30.81
fib03_fastYES 53.05
fib04_fastMAYBE115.34
fib05_fastYES 71.96
fib06_fastYES 69.64
fib07_fastYES 52.88
fib08_fastYES 48.45
fib09_fastYES 58.63
fib10_fastYES 45.31
fib11_fastYES 49.33
fib12_fastYES 35.10
sum01YES 49.09
sum01_sumYES 20.20
sum02YES 52.98
sum03YES 61.05
sum04YES 45.57
sum05YES 48.37
sum06YES 6.13
sum07YES 38.74
sum08YES 51.94
sum09YES 24.17
sum10YES 67.76
sum11YES 36.96
sum12YES 45.71
sumfrom01YES 36.96
sumfrom01_sum2MAYBE 98.08
sumfrom02_sum2YES 55.67
sumfrom03_sum2MAYBE 49.08
sumfrom04_sum2YES 63.85
sumfrom05_sumYES 55.41
sumfrom06_sumYES 53.73
sum2MAYBE137.03
sum_declYES 59.92
sum_loopYES 41.36
sum_recYES 20.68
sumfrom_loopYES 42.17
sumfrom_recYES 40.15
sumreduceYES 37.90
sumsimple_2YES 52.95
sumsumMAYBE537.23
vidal1MAYBE 81.39
vidal2MAYBE 48.81
developmentYES 5.85
labelledTimeout10014.54
splitting_needed_cr_2CPsYES 15.31
splitting_needed_cr_4CPsYES 5.63
splitting_needed_ncrYES 8.02
Summary of the 136 problems: #YES: 9216637.27
#NO: 0
#MAYBE: 43
#Timeout: 1
#Error: 0