Problem | Result | Time (in ms) |
---|
#3.1 | MAYBE | 90.60 |
#3.2 | MAYBE | 67.37 |
#3.4 | MAYBE | 112.94 |
#3.5 | MAYBE | 153.86 |
#3.5a | MAYBE | 111.99 |
#3.5b | MAYBE | 73.37 |
KN_2013_example12 | MAYBE | 22.20 |
KN_2013_example13 | MAYBE | 21.86 |
KN_2013_example13_explicit_guard | MAYBE | 62.22 |
KN_2013_example14 | MAYBE | 30.63 |
KN_2013_example15 | YES | 36.75 |
KN_2013_example2 | YES | 84.56 |
KN_2013_example3 | MAYBE | 34.39 |
KN_2013_example5 | YES | 22.87 |
KN_2014_example7_left | YES | 62.23 |
KN_2014_example7_right | YES | 59.28 |
K_2016_example1 | MAYBE | 73.81 |
K_2016_example14 | YES | 38.75 |
K_2016_example6 | YES | 14.63 |
NM_2016_example1 | MAYBE | 24.49 |
NM_2016_example4 | MAYBE | 24.01 |
NM_2016_example7 | MAYBE | 36.21 |
WM_2018_example19 | YES | 22.93 |
WM_2018_example23 | YES | 62.46 |
WM_2018_example23_corrected | YES | 62.91 |
WM_2018_example3 | YES | 22.00 |
WM_2018_example37_corrected | MAYBE | 65.10 |
WM_2021_example1 | MAYBE | 154.78 |
SM_2023_example1 | MAYBE | 31.26 |
SM_2023_example11 | MAYBE | 69.46 |
SM_2023_example12 | MAYBE | 29.43 |
SM_2023_example13 | YES | 5.56 |
SM_2023_example14 | YES | 5.57 |
SM_2023_example3 | YES | 5.08 |
SM_2023_example6 | YES | 57.44 |
SM_2023_example7 | YES | 6.07 |
SM_2023_example9 | YES | 5.31 |
SM_2024_example12 | YES | 6.32 |
SM_2024_example16 | YES | 107.35 |
SM_2024_example19 | YES | 18.72 |
SM_2024_example9 | YES | 6.58 |
SMM_2024_example2 | YES | 5.52 |
SMM_2024_example3 | YES | 55.77 |
SMM_2024_example4 | YES | 5.65 |
SMM_2024_example5 | YES | 6.12 |
SMM_2024_example6 | MAYBE | 41.60 |
SMM_2024_example7 | YES | 5.51 |
SMM_2024_example8 | MAYBE | 46.59 |
189 | YES | 28.86 |
aac | MAYBE | 29.85 |
ac | MAYBE | 23.88 |
almostdevelopment | MAYBE | 21.47 |
ari_example | MAYBE | 63.71 |
cr | MAYBE | 20.60 |
ackermann_loop | YES | 78.21 |
cnf | YES | 6.08 |
sort | MAYBE | 59.81 |
decompose | YES | 66.89 |
double_loop | YES | 53.87 |
double_rec | YES | 22.52 |
eval | MAYBE | 119.94 |
fact_iterative | YES | 58.05 |
fib_loop | YES | 54.12 |
fib_rec | YES | 15.70 |
frocosex18 | YES | 6.31 |
llreve_faulty_limit2a_f1 | YES | 24.02 |
llreve_faulty_limit2a_f2 | YES | 21.99 |
llreve_rec_ackermanna_f1 | MAYBE | 134.33 |
llreve_rec_ackermanna_f2 | MAYBE | 136.14 |
llreve_rec_add-horna_f1 | MAYBE | 44.97 |
llreve_rec_add-horna_f2 | MAYBE | 46.02 |
llreve_rec_cocome1a_tri1 | YES | 24.62 |
llreve_rec_cocome1a_tri2 | YES | 24.72 |
llreve_rec_inlininga_f1 | YES | 25.08 |
llreve_rec_inlininga_f2 | YES | 27.69 |
llreve_rec_limit1unrolleda_f1 | YES | 22.29 |
llreve_rec_limit1unrolleda_f2 | YES | 24.56 |
llreve_rec_mccarthy91a_f1 | MAYBE | 46.03 |
llreve_rec_mccarthy91a_f2 | MAYBE | 50.10 |
nat_ackermann | YES | 28.89 |
nonterminate-simplify | MAYBE | 62.33 |
notsn_f | YES | 17.76 |
notsn_g | YES | 30.05 |
quad | YES | 52.99 |
recurse | YES | 22.47 |
fib01_bad | YES | 28.38 |
fib01_fast | YES | 22.89 |
fib02_bad | YES | 26.15 |
fib02_fast | YES | 51.94 |
fib03_bad | YES | 30.81 |
fib03_fast | YES | 53.05 |
fib04_fast | MAYBE | 115.34 |
fib05_fast | YES | 71.96 |
fib06_fast | YES | 69.64 |
fib07_fast | YES | 52.88 |
fib08_fast | YES | 48.45 |
fib09_fast | YES | 58.63 |
fib10_fast | YES | 45.31 |
fib11_fast | YES | 49.33 |
fib12_fast | YES | 35.10 |
sum01 | YES | 49.09 |
sum01_sum | YES | 20.20 |
sum02 | YES | 52.98 |
sum03 | YES | 61.05 |
sum04 | YES | 45.57 |
sum05 | YES | 48.37 |
sum06 | YES | 6.13 |
sum07 | YES | 38.74 |
sum08 | YES | 51.94 |
sum09 | YES | 24.17 |
sum10 | YES | 67.76 |
sum11 | YES | 36.96 |
sum12 | YES | 45.71 |
sumfrom01 | YES | 36.96 |
sumfrom01_sum2 | MAYBE | 98.08 |
sumfrom02_sum2 | YES | 55.67 |
sumfrom03_sum2 | MAYBE | 49.08 |
sumfrom04_sum2 | YES | 63.85 |
sumfrom05_sum | YES | 55.41 |
sumfrom06_sum | YES | 53.73 |
sum2 | MAYBE | 137.03 |
sum_decl | YES | 59.92 |
sum_loop | YES | 41.36 |
sum_rec | YES | 20.68 |
sumfrom_loop | YES | 42.17 |
sumfrom_rec | YES | 40.15 |
sumreduce | YES | 37.90 |
sumsimple_2 | YES | 52.95 |
sumsum | MAYBE | 537.23 |
vidal1 | MAYBE | 81.39 |
vidal2 | MAYBE | 48.81 |
development | YES | 5.85 |
labelled | Timeout | 10014.54 |
splitting_needed_cr_2CPs | YES | 15.31 |
splitting_needed_cr_4CPs | YES | 5.63 |
splitting_needed_ncr | YES | 8.02 |
Summary of the 136 problems: | #YES: 92 | 16637.27 |
---|
| #NO: 0 | |
---|
| #MAYBE: 43 | |
---|
| #Timeout: 1 | |
---|
| #Error: 0 | |
---|