0: YES ( 40.86 ms) examples-cr/TPDB/TRS_Standard/AG01/#3.1.ari 1: YES ( 36.49 ms) examples-cr/TPDB/TRS_Standard/AG01/#3.2.ari 2: NO ( 210.45 ms) examples-cr/TPDB/TRS_Standard/AG01/#3.4.ari 3: YES ( 35.33 ms) examples-cr/TPDB/TRS_Standard/AG01/#3.5.ari 4: YES ( 64.93 ms) examples-cr/TPDB/TRS_Standard/AG01/#3.5a.ari 5: YES ( 89.15 ms) examples-cr/TPDB/TRS_Standard/AG01/#3.5b.ari 6: YES ( 36.38 ms) examples-cr/confluence/2013_KopNishida/KN_2013_example12.ari 7: YES ( 31.54 ms) examples-cr/confluence/2013_KopNishida/KN_2013_example13.ari 8: YES ( 56.39 ms) examples-cr/confluence/2013_KopNishida/KN_2013_example13_explicit_guard.ari 9: NO ( 87.36 ms) examples-cr/confluence/2013_KopNishida/KN_2013_example14.ari 10: YES ( 41.77 ms) examples-cr/confluence/2013_KopNishida/KN_2013_example15.ari 11: NO ( 1779.51 ms) examples-cr/confluence/2013_KopNishida/KN_2013_example2.ari 12: YES ( 78.20 ms) examples-cr/confluence/2013_KopNishida/KN_2013_example3.ari 13: YES ( 50.66 ms) examples-cr/confluence/2013_KopNishida/KN_2013_example5.ari 14: YES ( 82.39 ms) examples-cr/confluence/2014_KopNishida/KN_2014_example7_left.ari 15: YES ( 33.78 ms) examples-cr/confluence/2014_KopNishida/KN_2014_example7_right.ari 16: YES ( 43.40 ms) examples-cr/confluence/2016_Kop/K_2016_example1.ari 17: YES ( 53.09 ms) examples-cr/confluence/2016_Kop/K_2016_example14.ari 18: YES ( 52.39 ms) examples-cr/confluence/2016_Kop/K_2016_example6.ari 19: YES ( 4379.90 ms) examples-cr/confluence/2016_NageleMiddeldorp/NM_2016_example1.ari 20: YES ( 85.83 ms) examples-cr/confluence/2016_NageleMiddeldorp/NM_2016_example4.ari 21: YES ( 55.81 ms) examples-cr/confluence/2016_NageleMiddeldorp/NM_2016_example7.ari 22: NO ( 103.62 ms) examples-cr/confluence/2018_WinklerMiddeldorp/WM_2018_example19.ari 23: Timeout ( 10034.61 ms) examples-cr/confluence/2018_WinklerMiddeldorp/WM_2018_example23.ari 24: YES ( 275.97 ms) examples-cr/confluence/2018_WinklerMiddeldorp/WM_2018_example23_corrected.ari 25: YES ( 30.08 ms) examples-cr/confluence/2018_WinklerMiddeldorp/WM_2018_example3.ari 26: NO ( 98.94 ms) examples-cr/confluence/2018_WinklerMiddeldorp/WM_2018_example37_corrected.ari 27: Timeout ( 10025.60 ms) examples-cr/confluence/2021_WinklerMoser/WM_2021_example1.ari 28: YES ( 93.13 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example1.ari 29: YES ( 81.92 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example11.ari 30: YES ( 318.24 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example12.ari 31: YES ( 60.02 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example13.ari 32: YES ( 74.60 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example14.ari 33: NO ( 57.29 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example3.ari 34: YES ( 57.30 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example6.ari 35: NO ( 67.70 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example7.ari 36: YES ( 60.92 ms) examples-cr/confluence/2023_SchoepfMiddeldorp/SM_2023_example9.ari 37: NO ( 659.70 ms) examples-cr/confluence/2024_SchoepfMiddeldorp/SM_2024_example12.ari 38: MAYBE ( 8128.50 ms) examples-cr/confluence/2024_SchoepfMiddeldorp/SM_2024_example16.ari 39: YES ( 98.40 ms) examples-cr/confluence/2024_SchoepfMiddeldorp/SM_2024_example19.ari 40: YES ( 476.99 ms) examples-cr/confluence/2024_SchoepfMiddeldorp/SM_2024_example9.ari 41: YES ( 51.79 ms) examples-cr/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example2.ari 42: YES ( 1228.79 ms) examples-cr/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example3.ari 43: YES ( 59.35 ms) examples-cr/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example4.ari 44: MAYBE ( 8149.54 ms) examples-cr/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example5.ari 45: YES ( 423.49 ms) examples-cr/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example6.ari 46: YES ( 49.71 ms) examples-cr/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example7.ari 47: YES ( 291.96 ms) examples-cr/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example8.ari 48: YES ( 58.44 ms) examples-cr/confluence/2025_SchoepfMiddeldorp/SM_2025_example1.ari 49: YES ( 82.61 ms) examples-cr/confluence/2025_SchoepfMiddeldorp/SM_2025_example2.ari 50: YES ( 461.49 ms) examples-cr/confluence/2025_SchoepfMiddeldorp/SM_2025_example3.ari 51: MAYBE ( 7984.60 ms) examples-cr/confluence/2025_SchoepfMiddeldorp/SM_2025_example6.ari 52: NO ( 582.64 ms) examples-cr/confluence/2025_SchoepfMiddeldorp/SM_2025_example7.ari 53: YES ( 96.11 ms) examples-cr/confluence/2025_SchoepfMiddeldorp/SM_2025_example8.ari 54: Timeout ( 10031.06 ms) examples-cr/confluence/COPS/189.ari 55: Timeout ( 10023.74 ms) examples-cr/confluence/aac.ari 56: YES ( 4547.63 ms) examples-cr/confluence/ac.ari 57: YES ( 58.67 ms) examples-cr/confluence/almostdevelopment.ari 58: YES ( 58.08 ms) examples-cr/confluence/ari_example.ari 59: YES ( 64.14 ms) examples-cr/confluence/cr.ari 60: YES ( 43.00 ms) examples-cr/confluence/ctrl-examples/ackermann_loop.ari 61: Timeout ( 10027.37 ms) examples-cr/confluence/ctrl-examples/cnf.ari 62: NO ( 92.84 ms) examples-cr/confluence/ctrl-examples/completion/sort.ari 63: Timeout ( 10032.90 ms) examples-cr/confluence/ctrl-examples/decompose.ari 64: YES ( 30.83 ms) examples-cr/confluence/ctrl-examples/double_loop.ari 65: YES ( 29.96 ms) examples-cr/confluence/ctrl-examples/double_rec.ari 66: Timeout ( 10023.09 ms) examples-cr/confluence/ctrl-examples/eval.ari 67: YES ( 38.33 ms) examples-cr/confluence/ctrl-examples/fact_iterative.ari 68: YES ( 65.70 ms) examples-cr/confluence/ctrl-examples/fib_loop.ari 69: YES ( 40.10 ms) examples-cr/confluence/ctrl-examples/fib_rec.ari 70: NO ( 259.52 ms) examples-cr/confluence/ctrl-examples/frocosex18.ari 71: YES ( 43.03 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_faulty_limit2a_f1.ari 72: YES ( 43.53 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_faulty_limit2a_f2.ari 73: YES ( 42.70 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_ackermanna_f1.ari 74: YES ( 45.79 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_ackermanna_f2.ari 75: YES ( 34.56 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_add-horna_f1.ari 76: YES ( 35.81 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_add-horna_f2.ari 77: YES ( 33.74 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_cocome1a_tri1.ari 78: YES ( 32.87 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_cocome1a_tri2.ari 79: YES ( 36.02 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_inlininga_f1.ari 80: YES ( 38.65 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_inlininga_f2.ari 81: YES ( 47.32 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_limit1unrolleda_f1.ari 82: YES ( 36.71 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_limit1unrolleda_f2.ari 83: YES ( 33.68 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_mccarthy91a_f1.ari 84: YES ( 51.66 ms) examples-cr/confluence/ctrl-examples/llreve/llreve_rec_mccarthy91a_f2.ari 85: YES ( 31.26 ms) examples-cr/confluence/ctrl-examples/nat_ackermann.ari 86: YES ( 45.19 ms) examples-cr/confluence/ctrl-examples/nonterminate-simplify.ari 87: YES ( 61.76 ms) examples-cr/confluence/ctrl-examples/notsn_f.ari 88: YES ( 57.92 ms) examples-cr/confluence/ctrl-examples/notsn_g.ari 89: YES ( 37.46 ms) examples-cr/confluence/ctrl-examples/quad.ari 90: YES ( 27.42 ms) examples-cr/confluence/ctrl-examples/recurse.ari 91: YES ( 31.75 ms) examples-cr/confluence/ctrl-examples/student/fib01_bad.ari 92: NO ( 61.99 ms) examples-cr/confluence/ctrl-examples/student/fib01_fast.ari 93: YES ( 46.96 ms) examples-cr/confluence/ctrl-examples/student/fib02_bad.ari 94: NO ( 94.09 ms) examples-cr/confluence/ctrl-examples/student/fib02_fast.ari 95: YES ( 31.57 ms) examples-cr/confluence/ctrl-examples/student/fib03_bad.ari 96: NO ( 82.52 ms) examples-cr/confluence/ctrl-examples/student/fib03_fast.ari 97: NO ( 89.89 ms) examples-cr/confluence/ctrl-examples/student/fib04_fast.ari 98: NO ( 70.36 ms) examples-cr/confluence/ctrl-examples/student/fib05_fast.ari 99: NO ( 75.94 ms) examples-cr/confluence/ctrl-examples/student/fib06_fast.ari 100: NO ( 81.25 ms) examples-cr/confluence/ctrl-examples/student/fib07_fast.ari 101: NO ( 66.72 ms) examples-cr/confluence/ctrl-examples/student/fib08_fast.ari 102: NO ( 80.52 ms) examples-cr/confluence/ctrl-examples/student/fib09_fast.ari 103: NO ( 70.35 ms) examples-cr/confluence/ctrl-examples/student/fib10_fast.ari 104: NO ( 80.93 ms) examples-cr/confluence/ctrl-examples/student/fib11_fast.ari 105: NO ( 73.63 ms) examples-cr/confluence/ctrl-examples/student/fib12_fast.ari 106: NO ( 73.25 ms) examples-cr/confluence/ctrl-examples/student/sum01.ari 107: YES ( 48.75 ms) examples-cr/confluence/ctrl-examples/student/sum01_sum.ari 108: YES ( 41.52 ms) examples-cr/confluence/ctrl-examples/student/sum02.ari 109: NO ( 70.15 ms) examples-cr/confluence/ctrl-examples/student/sum03.ari 110: YES ( 32.75 ms) examples-cr/confluence/ctrl-examples/student/sum04.ari 111: NO ( 90.59 ms) examples-cr/confluence/ctrl-examples/student/sum05.ari 112: YES ( 36.43 ms) examples-cr/confluence/ctrl-examples/student/sum06.ari 113: YES ( 55.53 ms) examples-cr/confluence/ctrl-examples/student/sum07.ari 114: NO ( 91.18 ms) examples-cr/confluence/ctrl-examples/student/sum08.ari 115: NO ( 75.22 ms) examples-cr/confluence/ctrl-examples/student/sum09.ari 116: NO ( 77.10 ms) examples-cr/confluence/ctrl-examples/student/sum10.ari 117: YES ( 34.14 ms) examples-cr/confluence/ctrl-examples/student/sum11.ari 118: NO ( 69.50 ms) examples-cr/confluence/ctrl-examples/student/sum12.ari 119: YES ( 34.80 ms) examples-cr/confluence/ctrl-examples/student/sumfrom01.ari 120: NO ( 76.99 ms) examples-cr/confluence/ctrl-examples/student/sumfrom01_sum2.ari 121: YES ( 33.45 ms) examples-cr/confluence/ctrl-examples/student/sumfrom02_sum2.ari 122: YES ( 48.14 ms) examples-cr/confluence/ctrl-examples/student/sumfrom03_sum2.ari 123: YES ( 46.83 ms) examples-cr/confluence/ctrl-examples/student/sumfrom04_sum2.ari 124: YES ( 51.82 ms) examples-cr/confluence/ctrl-examples/student/sumfrom05_sum.ari 125: YES ( 55.41 ms) examples-cr/confluence/ctrl-examples/student/sumfrom06_sum.ari 126: YES ( 43.84 ms) examples-cr/confluence/ctrl-examples/sum2.ari 127: YES ( 68.64 ms) examples-cr/confluence/ctrl-examples/sum_decl.ari 128: YES ( 45.94 ms) examples-cr/confluence/ctrl-examples/sum_loop.ari 129: YES ( 54.21 ms) examples-cr/confluence/ctrl-examples/sum_rec.ari 130: YES ( 42.71 ms) examples-cr/confluence/ctrl-examples/sumfrom_loop.ari 131: YES ( 44.90 ms) examples-cr/confluence/ctrl-examples/sumfrom_rec.ari 132: YES ( 93.80 ms) examples-cr/confluence/ctrl-examples/sumreduce.ari 133: YES ( 39.03 ms) examples-cr/confluence/ctrl-examples/sumsimple_2.ari 134: YES ( 39.64 ms) examples-cr/confluence/ctrl-examples/sumsum.ari 135: NO ( 1423.56 ms) examples-cr/confluence/ctrl-examples/vidal1.ari 136: Timeout ( 10026.23 ms) examples-cr/confluence/ctrl-examples/vidal2.ari 137: YES ( 58.41 ms) examples-cr/confluence/development.ari 138: Timeout ( 10012.51 ms) examples-cr/confluence/labelled.ari 139: YES ( 107.39 ms) examples-cr/confluence/splitting_needed_cr_2CPs.ari 140: YES ( 114.20 ms) examples-cr/confluence/splitting_needed_cr_4CPs.ari 141: Timeout ( 10030.90 ms) examples-cr/confluence/splitting_needed_ncr.ari Benchmark Files in "examples-cr": Files: 142 Yes: 97 No: 32 Maybe: 3 Timeout: 10 Error: 0 AVG Time: 1.05 s Total Time: 148.46 s Total Time (Yes): 16.96 s Total Time (No): 6.98 s Total Time (Maybe): 24.26 s Orthogonal: 0 Weakly Orthogonal: 0 Strongly Closed: 41 Parallel Closed: 0 Almost Parallel Closed: 0 Development Closed: 0 Almost Development Closed: 51 Two Different Normal Forms Found: 32 Newman's Lemma: 5 Toyama 81: 0