| Problem | Result | Method | Time (in ms) |
|---|---|---|---|
| #3.1 | YES | Almost Development Closedness | 40.86 |
| #3.2 | YES | Almost Development Closedness | 36.49 |
| #3.4 | NO | "two different NFs found" | 210.45 |
| #3.5 | YES | Strong Closedness | 35.33 |
| #3.5a | YES | Almost Development Closedness | 64.93 |
| #3.5b | YES | Almost Development Closedness | 89.15 |
| KN_2013_example12 | YES | Strong Closedness | 36.38 |
| KN_2013_example13 | YES | Almost Development Closedness | 31.54 |
| KN_2013_example13_explicit_guard | YES | Almost Development Closedness | 56.39 |
| KN_2013_example14 | NO | "two different NFs found" | 87.36 |
| KN_2013_example15 | YES | Strong Closedness | 41.77 |
| KN_2013_example2 | NO | "two different NFs found" | 1779.51 |
| KN_2013_example3 | YES | Almost Development Closedness | 78.20 |
| KN_2013_example5 | YES | Strong Closedness | 50.66 |
| KN_2014_example7_left | YES | Almost Development Closedness | 82.39 |
| KN_2014_example7_right | YES | Almost Development Closedness | 33.78 |
| K_2016_example1 | YES | Strong Closedness | 43.40 |
| K_2016_example14 | YES | Strong Closedness | 53.09 |
| K_2016_example6 | YES | Strong Closedness | 52.39 |
| NM_2016_example1 | YES | Strong Closedness | 4379.90 |
| NM_2016_example4 | YES | Almost Development Closedness | 85.83 |
| NM_2016_example7 | YES | Almost Development Closedness | 55.81 |
| WM_2018_example19 | NO | "two different NFs found" | 103.62 |
| WM_2018_example23 | Timeout | --- | 10034.61 |
| WM_2018_example23_corrected | YES | NewmansLemma | 275.97 |
| WM_2018_example3 | YES | Strong Closedness | 30.08 |
| WM_2018_example37_corrected | NO | "two different NFs found" | 98.94 |
| WM_2021_example1 | Timeout | --- | 10025.60 |
| SM_2023_example1 | YES | Almost Development Closedness | 93.13 |
| SM_2023_example11 | YES | Almost Development Closedness | 81.92 |
| SM_2023_example12 | YES | Almost Development Closedness | 318.24 |
| SM_2023_example13 | YES | Almost Development Closedness | 60.02 |
| SM_2023_example14 | YES | Almost Development Closedness | 74.60 |
| SM_2023_example3 | NO | "two different NFs found" | 57.29 |
| SM_2023_example6 | YES | Almost Development Closedness | 57.30 |
| SM_2023_example7 | NO | "two different NFs found" | 67.70 |
| SM_2023_example9 | YES | NewmansLemma | 60.92 |
| SM_2024_example12 | NO | "two different NFs found" | 659.70 |
| SM_2024_example16 | MAYBE | --- | 8128.50 |
| SM_2024_example19 | YES | NewmansLemma | 98.40 |
| SM_2024_example9 | YES | Almost Development Closedness | 476.99 |
| SMM_2024_example2 | YES | Almost Development Closedness | 51.79 |
| SMM_2024_example3 | YES | NewmansLemma | 1228.79 |
| SMM_2024_example4 | YES | Almost Development Closedness | 59.35 |
| SMM_2024_example5 | MAYBE | --- | 8149.54 |
| SMM_2024_example6 | YES | Almost Development Closedness | 423.49 |
| SMM_2024_example7 | YES | Strong Closedness | 49.71 |
| SMM_2024_example8 | YES | Almost Development Closedness | 291.96 |
| SM_2025_example1 | YES | Almost Development Closedness | 58.44 |
| SM_2025_example2 | YES | Almost Development Closedness | 82.61 |
| SM_2025_example3 | YES | Almost Development Closedness | 461.49 |
| SM_2025_example6 | MAYBE | --- | 7984.60 |
| SM_2025_example7 | NO | "two different NFs found" | 582.64 |
| SM_2025_example8 | YES | NewmansLemma | 96.11 |
| 189 | Timeout | --- | 10031.06 |
| aac | Timeout | --- | 10023.74 |
| ac | YES | Strong Closedness | 4547.63 |
| almostdevelopment | YES | Almost Development Closedness | 58.67 |
| ari_example | YES | Strong Closedness | 58.08 |
| cr | YES | Almost Development Closedness | 64.14 |
| ackermann_loop | YES | Almost Development Closedness | 43.00 |
| cnf | Timeout | --- | 10027.37 |
| sort | NO | "two different NFs found" | 92.84 |
| decompose | Timeout | --- | 10032.90 |
| double_loop | YES | Almost Development Closedness | 30.83 |
| double_rec | YES | Strong Closedness | 29.96 |
| eval | Timeout | --- | 10023.09 |
| fact_iterative | YES | Strong Closedness | 38.33 |
| fib_loop | YES | Almost Development Closedness | 65.70 |
| fib_rec | YES | Strong Closedness | 40.10 |
| frocosex18 | NO | "two different NFs found" | 259.52 |
| llreve_faulty_limit2a_f1 | YES | Strong Closedness | 43.03 |
| llreve_faulty_limit2a_f2 | YES | Strong Closedness | 43.53 |
| llreve_rec_ackermanna_f1 | YES | Strong Closedness | 42.70 |
| llreve_rec_ackermanna_f2 | YES | Strong Closedness | 45.79 |
| llreve_rec_add-horna_f1 | YES | Strong Closedness | 34.56 |
| llreve_rec_add-horna_f2 | YES | Almost Development Closedness | 35.81 |
| llreve_rec_cocome1a_tri1 | YES | Strong Closedness | 33.74 |
| llreve_rec_cocome1a_tri2 | YES | Strong Closedness | 32.87 |
| llreve_rec_inlininga_f1 | YES | Strong Closedness | 36.02 |
| llreve_rec_inlininga_f2 | YES | Almost Development Closedness | 38.65 |
| llreve_rec_limit1unrolleda_f1 | YES | Strong Closedness | 47.32 |
| llreve_rec_limit1unrolleda_f2 | YES | Almost Development Closedness | 36.71 |
| llreve_rec_mccarthy91a_f1 | YES | Strong Closedness | 33.68 |
| llreve_rec_mccarthy91a_f2 | YES | Strong Closedness | 51.66 |
| nat_ackermann | YES | Almost Development Closedness | 31.26 |
| nonterminate-simplify | YES | Almost Development Closedness | 45.19 |
| notsn_f | YES | Almost Development Closedness | 61.76 |
| notsn_g | YES | Almost Development Closedness | 57.92 |
| quad | YES | Almost Development Closedness | 37.46 |
| recurse | YES | Strong Closedness | 27.42 |
| fib01_bad | YES | Strong Closedness | 31.75 |
| fib01_fast | NO | "two different NFs found" | 61.99 |
| fib02_bad | YES | Strong Closedness | 46.96 |
| fib02_fast | NO | "two different NFs found" | 94.09 |
| fib03_bad | YES | Almost Development Closedness | 31.57 |
| fib03_fast | NO | "two different NFs found" | 82.52 |
| fib04_fast | NO | "two different NFs found" | 89.89 |
| fib05_fast | NO | "two different NFs found" | 70.36 |
| fib06_fast | NO | "two different NFs found" | 75.94 |
| fib07_fast | NO | "two different NFs found" | 81.25 |
| fib08_fast | NO | "two different NFs found" | 66.72 |
| fib09_fast | NO | "two different NFs found" | 80.52 |
| fib10_fast | NO | "two different NFs found" | 70.35 |
| fib11_fast | NO | "two different NFs found" | 80.93 |
| fib12_fast | NO | "two different NFs found" | 73.63 |
| sum01 | NO | "two different NFs found" | 73.25 |
| sum01_sum | YES | Strong Closedness | 48.75 |
| sum02 | YES | Almost Development Closedness | 41.52 |
| sum03 | NO | "two different NFs found" | 70.15 |
| sum04 | YES | Strong Closedness | 32.75 |
| sum05 | NO | "two different NFs found" | 90.59 |
| sum06 | YES | Strong Closedness | 36.43 |
| sum07 | YES | Strong Closedness | 55.53 |
| sum08 | NO | "two different NFs found" | 91.18 |
| sum09 | NO | "two different NFs found" | 75.22 |
| sum10 | NO | "two different NFs found" | 77.10 |
| sum11 | YES | Strong Closedness | 34.14 |
| sum12 | NO | "two different NFs found" | 69.50 |
| sumfrom01 | YES | Strong Closedness | 34.80 |
| sumfrom01_sum2 | NO | "two different NFs found" | 76.99 |
| sumfrom02_sum2 | YES | Almost Development Closedness | 33.45 |
| sumfrom03_sum2 | YES | Almost Development Closedness | 48.14 |
| sumfrom04_sum2 | YES | Almost Development Closedness | 46.83 |
| sumfrom05_sum | YES | Strong Closedness | 51.82 |
| sumfrom06_sum | YES | Strong Closedness | 55.41 |
| sum2 | YES | Strong Closedness | 43.84 |
| sum_decl | YES | Strong Closedness | 68.64 |
| sum_loop | YES | Almost Development Closedness | 45.94 |
| sum_rec | YES | Strong Closedness | 54.21 |
| sumfrom_loop | YES | Almost Development Closedness | 42.71 |
| sumfrom_rec | YES | Almost Development Closedness | 44.90 |
| sumreduce | YES | Almost Development Closedness | 93.80 |
| sumsimple_2 | YES | Almost Development Closedness | 39.03 |
| sumsum | YES | Strong Closedness | 39.64 |
| vidal1 | NO | "two different NFs found" | 1423.56 |
| vidal2 | Timeout | --- | 10026.23 |
| development | YES | Almost Development Closedness | 58.41 |
| labelled | Timeout | --- | 10012.51 |
| splitting_needed_cr_2CPs | YES | Almost Development Closedness | 107.39 |
| splitting_needed_cr_4CPs | YES | Almost Development Closedness | 114.20 |
| splitting_needed_ncr | Timeout | --- | 10030.90 |
| Summary of the 142 problems: | #YES: 97 | 148461.68 | |
| #NO: 32 | |||
| #MAYBE: 3 | |||
| #Timeout: 10 | |||
| #Error: 0 |