| Problem | Result | Method | Time (in ms) |
|---|---|---|---|
| KN_2013_example12 | YES | Parallel Closedness | 11.35 |
| KN_2013_example13 | YES | Parallel Closedness | 11.63 |
| KN_2013_example13_explicit_guard | YES | Parallel Closedness | 12.06 |
| KN_2013_example14 | MAYBE | --- | 10.22 |
| KN_2013_example15 | YES | Parallel Closedness | 15.23 |
| KN_2013_example2 | MAYBE | --- | 171.58 |
| KN_2013_example3 | YES | Parallel Closedness | 19.24 |
| KN_2013_example5 | YES | Parallel Closedness | 9.65 |
| KN_2014_example7_left | MAYBE | --- | 21.20 |
| KN_2014_example7_right | YES | Parallel Closedness | 8.80 |
| K_2016_example1 | YES | Parallel Closedness | 13.74 |
| K_2016_example14 | YES | Parallel Closedness | 8.64 |
| K_2016_example2 | YES | Parallel Closedness | 14.76 |
| K_2016_example6 | YES | Parallel Closedness | 8.22 |
| NM_2016_example1 | MAYBE | --- | 25.95 |
| NM_2016_example4 | MAYBE | --- | 62.13 |
| NM_2016_example7 | YES | Parallel Closedness | 20.36 |
| WM_2018_example19 | MAYBE | --- | 4.22 |
| WM_2018_example23 | MAYBE | --- | 40.31 |
| WM_2018_example23_corrected | MAYBE | --- | 42.28 |
| WM_2018_example3 | YES | Parallel Closedness | 9.95 |
| WM_2018_example37_corrected | MAYBE | --- | 15.67 |
| WM_2021_example1 | MAYBE | --- | 89.74 |
| example1 | MAYBE | --- | 16.69 |
| example11 | YES | Parallel Closedness | 15.70 |
| example12 | MAYBE | --- | 17.36 |
| example13 | YES | Parallel Closedness | 10.93 |
| example14 | YES | Parallel Closedness | 11.83 |
| example3 | MAYBE | --- | 10.79 |
| example6 | YES | Parallel Closedness | 17.85 |
| example7 | MAYBE | --- | 16.91 |
| example9 | MAYBE | --- | 13.89 |
| 189 | MAYBE | --- | 25.95 |
| cr | YES | Parallel Closedness | 15.40 |
| criticalpair_example | MAYBE | --- | 4.43 |
| ackermann_loop | YES | Parallel Closedness | 23.19 |
| cnf | MAYBE | --- | 19.52 |
| sort | MAYBE | --- | 18.90 |
| decompose | MAYBE | --- | 258.25 |
| double_loop | YES | Parallel Closedness | 13.71 |
| double_rec | YES | Parallel Closedness | 13.83 |
| eval | MAYBE | --- | 22.93 |
| ex_graph | YES | Parallel Closedness | 6.89 |
| fact_iterative | YES | Parallel Closedness | 8.12 |
| fact_recursive | YES | Parallel Closedness | 7.35 |
| fib_loop | YES | Parallel Closedness | 8.55 |
| fib_rec | YES | Parallel Closedness | 7.73 |
| frocosex18 | MAYBE | --- | 2.62 |
| llreve_faulty_ackermanna_f1 | YES | Parallel Closedness | 13.79 |
| llreve_faulty_ackermanna_f2 | YES | Parallel Closedness | 12.84 |
| llreve_faulty_limit2a_f1 | YES | Parallel Closedness | 11.55 |
| llreve_faulty_limit2a_f2 | YES | Parallel Closedness | 13.16 |
| llreve_rec_ackermanna_f1 | YES | Parallel Closedness | 13.78 |
| llreve_rec_ackermanna_f2 | YES | Parallel Closedness | 12.38 |
| llreve_rec_add-horna_f1 | YES | Parallel Closedness | 13.78 |
| llreve_rec_add-horna_f2 | YES | Parallel Closedness | 15.19 |
| llreve_rec_cocome1a_tri1 | YES | Parallel Closedness | 14.46 |
| llreve_rec_cocome1a_tri2 | YES | Parallel Closedness | 13.41 |
| llreve_rec_inlininga_f1 | YES | Parallel Closedness | 10.07 |
| llreve_rec_inlininga_f2 | YES | Parallel Closedness | 15.40 |
| llreve_rec_limit1unrolleda_f1 | YES | Parallel Closedness | 16.04 |
| llreve_rec_limit1unrolleda_f2 | YES | Parallel Closedness | 13.15 |
| llreve_rec_limit3a_f1 | YES | Parallel Closedness | 13.21 |
| llreve_rec_limit3a_f2 | YES | Parallel Closedness | 12.79 |
| llreve_rec_mccarthy91a_f1 | YES | Parallel Closedness | 12.14 |
| llreve_rec_mccarthy91a_f2 | YES | Parallel Closedness | 13.95 |
| llreve_rec_triangulara_tri1 | YES | Parallel Closedness | 12.64 |
| llreve_rec_triangulara_tri2 | YES | Parallel Closedness | 14.55 |
| nat_ackermann | YES | Parallel Closedness | 12.92 |
| nonterminate-simplify | YES | Parallel Closedness | 14.38 |
| notsn_f | YES | Parallel Closedness | 19.58 |
| notsn_g | YES | Parallel Closedness | 30.47 |
| quad | YES | Parallel Closedness | 10.84 |
| quad1 | YES | Parallel Closedness | 13.95 |
| recurse_F | YES | Parallel Closedness | 10.17 |
| recurse_G | YES | Parallel Closedness | 14.14 |
| fib01_bad | YES | Parallel Closedness | 15.67 |
| fib01_fast | MAYBE | --- | 14.67 |
| fib02_bad | YES | Parallel Closedness | 16.04 |
| fib02_fast | MAYBE | --- | 22.52 |
| fib03_bad | YES | Parallel Closedness | 14.40 |
| fib03_fast | MAYBE | --- | 17.69 |
| fib04_bad | YES | Parallel Closedness | 14.51 |
| fib04_fast | MAYBE | --- | 30.15 |
| fib05_fast | MAYBE | --- | 23.70 |
| fib06_fast | MAYBE | --- | 22.84 |
| fib07_fast | MAYBE | --- | 32.74 |
| fib08_bad | YES | Parallel Closedness | 14.49 |
| fib08_fast | MAYBE | --- | 26.62 |
| fib09_bad | YES | Parallel Closedness | 17.07 |
| fib09_fast | MAYBE | --- | 23.32 |
| fib10_fast | MAYBE | --- | 23.57 |
| fib11_fast | MAYBE | --- | 27.10 |
| fib12_fast | MAYBE | --- | 20.34 |
| sum01 | MAYBE | --- | 16.07 |
| sum01_sum | YES | Parallel Closedness | 11.13 |
| sum02 | YES | Parallel Closedness | 12.47 |
| sum03 | MAYBE | --- | 21.49 |
| sum04 | YES | Parallel Closedness | 15.44 |
| sum05 | MAYBE | --- | 19.73 |
| sum06 | YES | Parallel Closedness | 9.65 |
| sum07 | YES | Parallel Closedness | 12.92 |
| sum08 | MAYBE | --- | 13.79 |
| sum09 | MAYBE | --- | 19.61 |
| sum10 | MAYBE | --- | 25.37 |
| sum11 | YES | Parallel Closedness | 9.27 |
| sum12 | MAYBE | --- | 21.20 |
| sumfrom01 | YES | Parallel Closedness | 12.97 |
| sumfrom01_sum2 | MAYBE | --- | 30.89 |
| sumfrom02_sum2 | YES | Parallel Closedness | 9.97 |
| sumfrom03_sum2 | YES | Parallel Closedness | 15.04 |
| sumfrom04_sum2 | YES | Parallel Closedness | 15.87 |
| sumfrom05_sum | YES | Parallel Closedness | 9.61 |
| sumfrom06_sum | YES | Parallel Closedness | 14.62 |
| sum2 | YES | Parallel Closedness | 11.84 |
| sum_decl | YES | Parallel Closedness | 15.85 |
| sum_loop | YES | Parallel Closedness | 12.71 |
| sum_rec | YES | Parallel Closedness | 12.70 |
| sumfrom_loop | YES | Parallel Closedness | 10.91 |
| sumfrom_rec | YES | Parallel Closedness | 12.59 |
| sumreduce | YES | Parallel Closedness | 19.59 |
| sumsimple_1 | YES | Parallel Closedness | 11.58 |
| sumsimple_2 | YES | Parallel Closedness | 12.31 |
| sumsum | YES | Parallel Closedness | 13.87 |
| vidal1 | MAYBE | --- | 36.69 |
| vidal2 | MAYBE | --- | 18.42 |
| fib | YES | Parallel Closedness | 11.35 |
| Summary of the 127 problems: | #YES: 83 | 2525.97 | |
| #NO: 0 | |||
| #MAYBE: 44 | |||
| #Timeout: 0 | |||
| #Error: 0 |