0:   MAYBE (    90.60 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.1.ari
1:   MAYBE (    67.37 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.2.ari
2:   MAYBE (   112.94 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.4.ari
3:   MAYBE (   153.86 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.5.ari
4:   MAYBE (   111.99 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.5a.ari
5:   MAYBE (    73.37 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.5b.ari
6:   MAYBE (    22.20 ms)   examples-sn/confluence/2013_KopNishida/KN_2013_example12.ari
7:   MAYBE (    21.86 ms)   examples-sn/confluence/2013_KopNishida/KN_2013_example13.ari
8:   MAYBE (    62.22 ms)   examples-sn/confluence/2013_KopNishida/KN_2013_example13_explicit_guard.ari
9:   MAYBE (    30.63 ms)   examples-sn/confluence/2013_KopNishida/KN_2013_example14.ari
10:     YES (    36.75 ms)    examples-sn/confluence/2013_KopNishida/KN_2013_example15.ari
11:     YES (    84.56 ms)    examples-sn/confluence/2013_KopNishida/KN_2013_example2.ari
12:   MAYBE (    34.39 ms)    examples-sn/confluence/2013_KopNishida/KN_2013_example3.ari
13:     YES (    22.87 ms)    examples-sn/confluence/2013_KopNishida/KN_2013_example5.ari
14:     YES (    62.23 ms)    examples-sn/confluence/2014_KopNishida/KN_2014_example7_left.ari
15:     YES (    59.28 ms)    examples-sn/confluence/2014_KopNishida/KN_2014_example7_right.ari
16:   MAYBE (    73.81 ms)    examples-sn/confluence/2016_Kop/K_2016_example1.ari
17:     YES (    38.75 ms)    examples-sn/confluence/2016_Kop/K_2016_example14.ari
18:     YES (    14.63 ms)    examples-sn/confluence/2016_Kop/K_2016_example6.ari
19:   MAYBE (    24.49 ms)    examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example1.ari
20:   MAYBE (    24.01 ms)    examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example4.ari
21:   MAYBE (    36.21 ms)    examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example7.ari
22:     YES (    22.93 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example19.ari
23:     YES (    62.46 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example23.ari
24:     YES (    62.91 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example23_corrected.ari
25:     YES (    22.00 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example3.ari
26:   MAYBE (    65.10 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example37_corrected.ari
27:   MAYBE (   154.78 ms)    examples-sn/confluence/2021_WinklerMoser/WM_2021_example1.ari
28:   MAYBE (    31.26 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example1.ari
29:   MAYBE (    69.46 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example11.ari
30:   MAYBE (    29.43 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example12.ari
31:     YES (     5.56 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example13.ari
32:     YES (     5.57 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example14.ari
33:     YES (     5.08 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example3.ari
34:     YES (    57.44 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example6.ari
35:     YES (     6.07 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example7.ari
36:     YES (     5.31 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example9.ari
37:     YES (     6.32 ms)    examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example12.ari
38:     YES (   107.35 ms)    examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example16.ari
39:     YES (    18.72 ms)    examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example19.ari
40:     YES (     6.58 ms)    examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example9.ari
41:     YES (     5.52 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example2.ari
42:     YES (    55.77 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example3.ari
43:     YES (     5.65 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example4.ari
44:     YES (     6.12 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example5.ari
45:   MAYBE (    41.60 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example6.ari
46:     YES (     5.51 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example7.ari
47:   MAYBE (    46.59 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example8.ari
48:     YES (    28.86 ms)    examples-sn/confluence/COPS/189.ari
49:   MAYBE (    29.85 ms)    examples-sn/confluence/aac.ari
50:   MAYBE (    23.88 ms)    examples-sn/confluence/ac.ari
51:   MAYBE (    21.47 ms)    examples-sn/confluence/almostdevelopment.ari
52:   MAYBE (    63.71 ms)    examples-sn/confluence/ari_example.ari
53:   MAYBE (    20.60 ms)    examples-sn/confluence/cr.ari
54:     YES (    78.21 ms)    examples-sn/confluence/ctrl-examples/ackermann_loop.ari
55:     YES (     6.08 ms)    examples-sn/confluence/ctrl-examples/cnf.ari
56:   MAYBE (    59.81 ms)    examples-sn/confluence/ctrl-examples/completion/sort.ari
57:     YES (    66.89 ms)    examples-sn/confluence/ctrl-examples/decompose.ari
58:     YES (    53.87 ms)    examples-sn/confluence/ctrl-examples/double_loop.ari
59:     YES (    22.52 ms)    examples-sn/confluence/ctrl-examples/double_rec.ari
60:   MAYBE (   119.94 ms)    examples-sn/confluence/ctrl-examples/eval.ari
61:     YES (    58.05 ms)    examples-sn/confluence/ctrl-examples/fact_iterative.ari
62:     YES (    54.12 ms)    examples-sn/confluence/ctrl-examples/fib_loop.ari
63:     YES (    15.70 ms)    examples-sn/confluence/ctrl-examples/fib_rec.ari
64:     YES (     6.31 ms)    examples-sn/confluence/ctrl-examples/frocosex18.ari
65:     YES (    24.02 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_faulty_limit2a_f1.ari
66:     YES (    21.99 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_faulty_limit2a_f2.ari
67:   MAYBE (   134.33 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_ackermanna_f1.ari
68:   MAYBE (   136.14 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_ackermanna_f2.ari
69:   MAYBE (    44.97 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_add-horna_f1.ari
70:   MAYBE (    46.02 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_add-horna_f2.ari
71:     YES (    24.62 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_cocome1a_tri1.ari
72:     YES (    24.72 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_cocome1a_tri2.ari
73:     YES (    25.08 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_inlininga_f1.ari
74:     YES (    27.69 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_inlininga_f2.ari
75:     YES (    22.29 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_limit1unrolleda_f1.ari
76:     YES (    24.56 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_limit1unrolleda_f2.ari
77:   MAYBE (    46.03 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_mccarthy91a_f1.ari
78:   MAYBE (    50.10 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_mccarthy91a_f2.ari
79:     YES (    28.89 ms)    examples-sn/confluence/ctrl-examples/nat_ackermann.ari
80:   MAYBE (    62.33 ms)    examples-sn/confluence/ctrl-examples/nonterminate-simplify.ari
81:     YES (    17.76 ms)    examples-sn/confluence/ctrl-examples/notsn_f.ari
82:     YES (    30.05 ms)    examples-sn/confluence/ctrl-examples/notsn_g.ari
83:     YES (    52.99 ms)    examples-sn/confluence/ctrl-examples/quad.ari
84:     YES (    22.47 ms)    examples-sn/confluence/ctrl-examples/recurse.ari
85:     YES (    28.38 ms)    examples-sn/confluence/ctrl-examples/student/fib01_bad.ari
86:     YES (    22.89 ms)    examples-sn/confluence/ctrl-examples/student/fib01_fast.ari
87:     YES (    26.15 ms)    examples-sn/confluence/ctrl-examples/student/fib02_bad.ari
88:     YES (    51.94 ms)    examples-sn/confluence/ctrl-examples/student/fib02_fast.ari
89:     YES (    30.81 ms)    examples-sn/confluence/ctrl-examples/student/fib03_bad.ari
90:     YES (    53.05 ms)    examples-sn/confluence/ctrl-examples/student/fib03_fast.ari
91:   MAYBE (   115.34 ms)    examples-sn/confluence/ctrl-examples/student/fib04_fast.ari
92:     YES (    71.96 ms)    examples-sn/confluence/ctrl-examples/student/fib05_fast.ari
93:     YES (    69.64 ms)    examples-sn/confluence/ctrl-examples/student/fib06_fast.ari
94:     YES (    52.88 ms)    examples-sn/confluence/ctrl-examples/student/fib07_fast.ari
95:     YES (    48.45 ms)    examples-sn/confluence/ctrl-examples/student/fib08_fast.ari
96:     YES (    58.63 ms)    examples-sn/confluence/ctrl-examples/student/fib09_fast.ari
97:     YES (    45.31 ms)    examples-sn/confluence/ctrl-examples/student/fib10_fast.ari
98:     YES (    49.33 ms)    examples-sn/confluence/ctrl-examples/student/fib11_fast.ari
99:     YES (    35.10 ms)    examples-sn/confluence/ctrl-examples/student/fib12_fast.ari
100:     YES (    49.09 ms)     examples-sn/confluence/ctrl-examples/student/sum01.ari
101:     YES (    20.20 ms)     examples-sn/confluence/ctrl-examples/student/sum01_sum.ari
102:     YES (    52.98 ms)     examples-sn/confluence/ctrl-examples/student/sum02.ari
103:     YES (    61.05 ms)     examples-sn/confluence/ctrl-examples/student/sum03.ari
104:     YES (    45.57 ms)     examples-sn/confluence/ctrl-examples/student/sum04.ari
105:     YES (    48.37 ms)     examples-sn/confluence/ctrl-examples/student/sum05.ari
106:     YES (     6.13 ms)     examples-sn/confluence/ctrl-examples/student/sum06.ari
107:     YES (    38.74 ms)     examples-sn/confluence/ctrl-examples/student/sum07.ari
108:     YES (    51.94 ms)     examples-sn/confluence/ctrl-examples/student/sum08.ari
109:     YES (    24.17 ms)     examples-sn/confluence/ctrl-examples/student/sum09.ari
110:     YES (    67.76 ms)     examples-sn/confluence/ctrl-examples/student/sum10.ari
111:     YES (    36.96 ms)     examples-sn/confluence/ctrl-examples/student/sum11.ari
112:     YES (    45.71 ms)     examples-sn/confluence/ctrl-examples/student/sum12.ari
113:     YES (    36.96 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom01.ari
114:   MAYBE (    98.08 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom01_sum2.ari
115:     YES (    55.67 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom02_sum2.ari
116:   MAYBE (    49.08 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom03_sum2.ari
117:     YES (    63.85 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom04_sum2.ari
118:     YES (    55.41 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom05_sum.ari
119:     YES (    53.73 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom06_sum.ari
120:   MAYBE (   137.03 ms)     examples-sn/confluence/ctrl-examples/sum2.ari
121:     YES (    59.92 ms)     examples-sn/confluence/ctrl-examples/sum_decl.ari
122:     YES (    41.36 ms)     examples-sn/confluence/ctrl-examples/sum_loop.ari
123:     YES (    20.68 ms)     examples-sn/confluence/ctrl-examples/sum_rec.ari
124:     YES (    42.17 ms)     examples-sn/confluence/ctrl-examples/sumfrom_loop.ari
125:     YES (    40.15 ms)     examples-sn/confluence/ctrl-examples/sumfrom_rec.ari
126:     YES (    37.90 ms)     examples-sn/confluence/ctrl-examples/sumreduce.ari
127:     YES (    52.95 ms)     examples-sn/confluence/ctrl-examples/sumsimple_2.ari
128:   MAYBE (   537.23 ms)     examples-sn/confluence/ctrl-examples/sumsum.ari
129:   MAYBE (    81.39 ms)     examples-sn/confluence/ctrl-examples/vidal1.ari
130:   MAYBE (    48.81 ms)     examples-sn/confluence/ctrl-examples/vidal2.ari
131:     YES (     5.85 ms)     examples-sn/confluence/development.ari
132: Timeout ( 10014.54 ms)     examples-sn/confluence/labelled.ari
133:     YES (    15.31 ms)     examples-sn/confluence/splitting_needed_cr_2CPs.ari
134:     YES (     5.63 ms)     examples-sn/confluence/splitting_needed_cr_4CPs.ari
135:     YES (     8.02 ms)     examples-sn/confluence/splitting_needed_ncr.ari
Benchmark Files in "examples-sn":
  Files: 136
  Yes: 92
  No: 0
  Maybe: 43
  Timeout: 1
  Error:  0
  AVG Time:   0.12 s
  Total Time:  16.64 s
  Total Time (Yes):   3.32 s
  Total Time (No):   0.00 s
  Total Time (Maybe):   3.30 s