0: MAYBE ( 66.56 ms) examples-sn/TPDB/TRS_Standard/AG01/#3.1.ari 1: MAYBE ( 51.22 ms) examples-sn/TPDB/TRS_Standard/AG01/#3.2.ari 2: MAYBE ( 77.37 ms) examples-sn/TPDB/TRS_Standard/AG01/#3.4.ari 3: MAYBE ( 104.46 ms) examples-sn/TPDB/TRS_Standard/AG01/#3.5.ari 4: MAYBE ( 103.27 ms) examples-sn/TPDB/TRS_Standard/AG01/#3.5a.ari 5: MAYBE ( 76.22 ms) examples-sn/TPDB/TRS_Standard/AG01/#3.5b.ari 6: YES ( 36.73 ms) examples-sn/confluence/2013_KopNishida/KN_2013_example12.ari 7: MAYBE ( 36.92 ms) examples-sn/confluence/2013_KopNishida/KN_2013_example13.ari 8: MAYBE ( 55.53 ms) examples-sn/confluence/2013_KopNishida/KN_2013_example13_explicit_guard.ari 9: MAYBE ( 35.15 ms) examples-sn/confluence/2013_KopNishida/KN_2013_example14.ari 10: YES ( 41.92 ms) examples-sn/confluence/2013_KopNishida/KN_2013_example15.ari 11: MAYBE ( 87.70 ms) examples-sn/confluence/2013_KopNishida/KN_2013_example2.ari 12: MAYBE ( 38.38 ms) examples-sn/confluence/2013_KopNishida/KN_2013_example3.ari 13: YES ( 32.20 ms) examples-sn/confluence/2013_KopNishida/KN_2013_example5.ari 14: MAYBE ( 44.20 ms) examples-sn/confluence/2014_KopNishida/KN_2014_example7_left.ari 15: MAYBE ( 43.38 ms) examples-sn/confluence/2014_KopNishida/KN_2014_example7_right.ari 16: MAYBE ( 57.67 ms) examples-sn/confluence/2016_Kop/K_2016_example1.ari 17: MAYBE ( 39.94 ms) examples-sn/confluence/2016_Kop/K_2016_example14.ari 18: YES ( 27.84 ms) examples-sn/confluence/2016_Kop/K_2016_example6.ari 19: MAYBE ( 38.15 ms) examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example1.ari 20: MAYBE ( 32.29 ms) examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example4.ari 21: MAYBE ( 36.85 ms) examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example7.ari 22: YES ( 32.50 ms) examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example19.ari 23: YES ( 48.48 ms) examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example23.ari 24: YES ( 45.85 ms) examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example23_corrected.ari 25: YES ( 37.34 ms) examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example3.ari 26: MAYBE ( 89.93 ms) examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example37_corrected.ari 27: MAYBE ( 214.41 ms) examples-sn/confluence/2021_WinklerMoser/WM_2021_example1.ari 28: MAYBE ( 48.43 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example1.ari 29: MAYBE ( 64.11 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example11.ari 30: MAYBE ( 35.49 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example12.ari 31: YES ( 12.56 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example13.ari 32: YES ( 9.87 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example14.ari 33: YES ( 12.32 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example3.ari 34: YES ( 55.42 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example6.ari 35: YES ( 11.62 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example7.ari 36: YES ( 13.34 ms) examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example9.ari 37: YES ( 11.42 ms) examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example12.ari 38: YES ( 41.35 ms) examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example16.ari 39: YES ( 29.25 ms) examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example19.ari 40: YES ( 14.13 ms) examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example9.ari 41: YES ( 13.35 ms) examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example2.ari 42: YES ( 39.50 ms) examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example3.ari 43: YES ( 14.91 ms) examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example4.ari 44: YES ( 15.49 ms) examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example5.ari 45: MAYBE ( 41.94 ms) examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example6.ari 46: YES ( 11.98 ms) examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example7.ari 47: MAYBE ( 38.03 ms) examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example8.ari 48: MAYBE ( 34.61 ms) examples-sn/confluence/COPS/189.ari 49: MAYBE ( 34.33 ms) examples-sn/confluence/aac.ari 50: MAYBE ( 42.17 ms) examples-sn/confluence/ac.ari 51: MAYBE ( 32.67 ms) examples-sn/confluence/almostdevelopment.ari 52: MAYBE ( 54.14 ms) examples-sn/confluence/ari_example.ari 53: MAYBE ( 38.33 ms) examples-sn/confluence/cr.ari 54: MAYBE ( 288.04 ms) examples-sn/confluence/ctrl-examples/ackermann_loop.ari 55: YES ( 19.13 ms) examples-sn/confluence/ctrl-examples/cnf.ari 56: MAYBE ( 108.95 ms) examples-sn/confluence/ctrl-examples/completion/sort.ari 57: YES ( 40.49 ms) examples-sn/confluence/ctrl-examples/decompose.ari 58: MAYBE ( 37.42 ms) examples-sn/confluence/ctrl-examples/double_loop.ari 59: YES ( 36.51 ms) examples-sn/confluence/ctrl-examples/double_rec.ari 60: MAYBE ( 153.52 ms) examples-sn/confluence/ctrl-examples/eval.ari 61: MAYBE ( 48.33 ms) examples-sn/confluence/ctrl-examples/fact_iterative.ari 62: MAYBE ( 63.63 ms) examples-sn/confluence/ctrl-examples/fib_loop.ari 63: YES ( 38.47 ms) examples-sn/confluence/ctrl-examples/fib_rec.ari 64: YES ( 16.86 ms) examples-sn/confluence/ctrl-examples/frocosex18.ari 65: YES ( 42.36 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_faulty_limit2a_f1.ari 66: YES ( 31.47 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_faulty_limit2a_f2.ari 67: MAYBE ( 80.18 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_ackermanna_f1.ari 68: MAYBE ( 85.74 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_ackermanna_f2.ari 69: MAYBE ( 33.13 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_add-horna_f1.ari 70: MAYBE ( 33.88 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_add-horna_f2.ari 71: YES ( 32.45 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_cocome1a_tri1.ari 72: YES ( 34.10 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_cocome1a_tri2.ari 73: YES ( 36.62 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_inlininga_f1.ari 74: YES ( 32.47 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_inlininga_f2.ari 75: YES ( 37.12 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_limit1unrolleda_f1.ari 76: YES ( 33.26 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_limit1unrolleda_f2.ari 77: MAYBE ( 41.26 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_mccarthy91a_f1.ari 78: MAYBE ( 43.90 ms) examples-sn/confluence/ctrl-examples/llreve/llreve_rec_mccarthy91a_f2.ari 79: MAYBE ( 31.95 ms) examples-sn/confluence/ctrl-examples/nat_ackermann.ari 80: MAYBE ( 56.79 ms) examples-sn/confluence/ctrl-examples/nonterminate-simplify.ari 81: YES ( 43.34 ms) examples-sn/confluence/ctrl-examples/notsn_f.ari 82: YES ( 36.90 ms) examples-sn/confluence/ctrl-examples/notsn_g.ari 83: MAYBE ( 39.44 ms) examples-sn/confluence/ctrl-examples/quad.ari 84: YES ( 31.34 ms) examples-sn/confluence/ctrl-examples/recurse.ari 85: YES ( 33.43 ms) examples-sn/confluence/ctrl-examples/student/fib01_bad.ari 86: YES ( 32.97 ms) examples-sn/confluence/ctrl-examples/student/fib01_fast.ari 87: YES ( 35.39 ms) examples-sn/confluence/ctrl-examples/student/fib02_bad.ari 88: MAYBE ( 53.94 ms) examples-sn/confluence/ctrl-examples/student/fib02_fast.ari 89: YES ( 38.07 ms) examples-sn/confluence/ctrl-examples/student/fib03_bad.ari 90: MAYBE ( 47.31 ms) examples-sn/confluence/ctrl-examples/student/fib03_fast.ari 91: MAYBE ( 66.56 ms) examples-sn/confluence/ctrl-examples/student/fib04_fast.ari 92: MAYBE ( 45.53 ms) examples-sn/confluence/ctrl-examples/student/fib05_fast.ari 93: MAYBE ( 43.26 ms) examples-sn/confluence/ctrl-examples/student/fib06_fast.ari 94: MAYBE ( 54.60 ms) examples-sn/confluence/ctrl-examples/student/fib07_fast.ari 95: MAYBE ( 42.59 ms) examples-sn/confluence/ctrl-examples/student/fib08_fast.ari 96: MAYBE ( 46.35 ms) examples-sn/confluence/ctrl-examples/student/fib09_fast.ari 97: MAYBE ( 41.90 ms) examples-sn/confluence/ctrl-examples/student/fib10_fast.ari 98: MAYBE ( 48.09 ms) examples-sn/confluence/ctrl-examples/student/fib11_fast.ari 99: MAYBE ( 44.88 ms) examples-sn/confluence/ctrl-examples/student/fib12_fast.ari 100: MAYBE ( 47.23 ms) examples-sn/confluence/ctrl-examples/student/sum01.ari 101: YES ( 33.49 ms) examples-sn/confluence/ctrl-examples/student/sum01_sum.ari 102: MAYBE ( 45.15 ms) examples-sn/confluence/ctrl-examples/student/sum02.ari 103: MAYBE ( 45.24 ms) examples-sn/confluence/ctrl-examples/student/sum03.ari 104: MAYBE ( 38.14 ms) examples-sn/confluence/ctrl-examples/student/sum04.ari 105: MAYBE ( 42.17 ms) examples-sn/confluence/ctrl-examples/student/sum05.ari 106: YES ( 12.73 ms) examples-sn/confluence/ctrl-examples/student/sum06.ari 107: MAYBE ( 41.65 ms) examples-sn/confluence/ctrl-examples/student/sum07.ari 108: MAYBE ( 41.08 ms) examples-sn/confluence/ctrl-examples/student/sum08.ari 109: YES ( 33.84 ms) examples-sn/confluence/ctrl-examples/student/sum09.ari 110: MAYBE ( 54.62 ms) examples-sn/confluence/ctrl-examples/student/sum10.ari 111: MAYBE ( 40.17 ms) examples-sn/confluence/ctrl-examples/student/sum11.ari 112: MAYBE ( 43.31 ms) examples-sn/confluence/ctrl-examples/student/sum12.ari 113: MAYBE ( 36.07 ms) examples-sn/confluence/ctrl-examples/student/sumfrom01.ari 114: MAYBE ( 62.28 ms) examples-sn/confluence/ctrl-examples/student/sumfrom01_sum2.ari 115: MAYBE ( 48.49 ms) examples-sn/confluence/ctrl-examples/student/sumfrom02_sum2.ari 116: MAYBE ( 45.29 ms) examples-sn/confluence/ctrl-examples/student/sumfrom03_sum2.ari 117: MAYBE ( 54.72 ms) examples-sn/confluence/ctrl-examples/student/sumfrom04_sum2.ari 118: MAYBE ( 40.49 ms) examples-sn/confluence/ctrl-examples/student/sumfrom05_sum.ari 119: MAYBE ( 46.75 ms) examples-sn/confluence/ctrl-examples/student/sumfrom06_sum.ari 120: MAYBE ( 80.73 ms) examples-sn/confluence/ctrl-examples/sum2.ari 121: MAYBE ( 72.47 ms) examples-sn/confluence/ctrl-examples/sum_decl.ari 122: MAYBE ( 44.31 ms) examples-sn/confluence/ctrl-examples/sum_loop.ari 123: YES ( 33.21 ms) examples-sn/confluence/ctrl-examples/sum_rec.ari 124: MAYBE ( 44.11 ms) examples-sn/confluence/ctrl-examples/sumfrom_loop.ari 125: MAYBE ( 34.10 ms) examples-sn/confluence/ctrl-examples/sumfrom_rec.ari 126: YES ( 34.86 ms) examples-sn/confluence/ctrl-examples/sumreduce.ari 127: MAYBE ( 37.66 ms) examples-sn/confluence/ctrl-examples/sumsimple_2.ari 128: MAYBE ( 104.28 ms) examples-sn/confluence/ctrl-examples/sumsum.ari 129: MAYBE ( 50.95 ms) examples-sn/confluence/ctrl-examples/vidal1.ari 130: MAYBE ( 49.37 ms) examples-sn/confluence/ctrl-examples/vidal2.ari 131: YES ( 22.06 ms) examples-sn/confluence/development.ari 132: Timeout ( 10033.18 ms) examples-sn/confluence/labelled.ari 133: YES ( 28.46 ms) examples-sn/confluence/splitting_needed_cr_2CPs.ari 134: YES ( 30.72 ms) examples-sn/confluence/splitting_needed_cr_4CPs.ari 135: YES ( 14.55 ms) examples-sn/confluence/splitting_needed_ncr.ari Benchmark Files in "examples-sn": Files: 136 Yes: 52 No: 0 Maybe: 83 Timeout: 1 Error: 0 AVG Time: 0.12 s Total Time: 16.34 s Total Time (Yes): 1.54 s Total Time (No): 0.00 s Total Time (Maybe): 4.77 s