0:   MAYBE (    73.36 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.1.ari
1:   MAYBE (    62.45 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.2.ari
2:   MAYBE (   104.91 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.4.ari
3:   MAYBE (   114.14 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.5.ari
4:   MAYBE (   199.94 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.5a.ari
5:   MAYBE (   170.79 ms)   examples-sn/TPDB/TRS_Standard/AG01/#3.5b.ari
6:   MAYBE (    36.40 ms)   examples-sn/confluence/2013_KopNishida/KN_2013_example12.ari
7:   MAYBE (    26.13 ms)   examples-sn/confluence/2013_KopNishida/KN_2013_example13.ari
8:   MAYBE (    52.88 ms)   examples-sn/confluence/2013_KopNishida/KN_2013_example13_explicit_guard.ari
9:   MAYBE (    26.50 ms)   examples-sn/confluence/2013_KopNishida/KN_2013_example14.ari
10:     YES (    38.07 ms)    examples-sn/confluence/2013_KopNishida/KN_2013_example15.ari
11:     YES (    80.72 ms)    examples-sn/confluence/2013_KopNishida/KN_2013_example2.ari
12:   MAYBE (    35.12 ms)    examples-sn/confluence/2013_KopNishida/KN_2013_example3.ari
13:     YES (    22.31 ms)    examples-sn/confluence/2013_KopNishida/KN_2013_example5.ari
14:     YES (    60.92 ms)    examples-sn/confluence/2014_KopNishida/KN_2014_example7_left.ari
15:     YES (    50.04 ms)    examples-sn/confluence/2014_KopNishida/KN_2014_example7_right.ari
16:   MAYBE (    68.34 ms)    examples-sn/confluence/2016_Kop/K_2016_example1.ari
17:     YES (    53.08 ms)    examples-sn/confluence/2016_Kop/K_2016_example14.ari
18:     YES (    21.32 ms)    examples-sn/confluence/2016_Kop/K_2016_example6.ari
19:   MAYBE (    24.34 ms)    examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example1.ari
20:   MAYBE (    30.56 ms)    examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example4.ari
21:   MAYBE (    31.49 ms)    examples-sn/confluence/2016_NageleMiddeldorp/NM_2016_example7.ari
22:     YES (    30.73 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example19.ari
23:     YES (    57.32 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example23.ari
24:     YES (    59.56 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example23_corrected.ari
25:     YES (    32.03 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example3.ari
26:   MAYBE (    63.98 ms)    examples-sn/confluence/2018_WinklerMiddeldorp/WM_2018_example37_corrected.ari
27:   MAYBE (   115.43 ms)    examples-sn/confluence/2021_WinklerMoser/WM_2021_example1.ari
28:   MAYBE (    41.15 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example1.ari
29:   MAYBE (   110.30 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example11.ari
30:   MAYBE (    46.46 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example12.ari
31:     YES (     2.77 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example13.ari
32:     YES (     2.30 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example14.ari
33:     YES (     2.42 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example3.ari
34:     YES (    61.87 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example6.ari
35:     YES (     5.72 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example7.ari
36:     YES (     5.33 ms)    examples-sn/confluence/2023_SchoepfMiddeldorp/SM_2023_example9.ari
37:     YES (     6.62 ms)    examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example12.ari
38:     YES (    76.23 ms)    examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example16.ari
39:     YES (    13.67 ms)    examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example19.ari
40:     YES (     6.48 ms)    examples-sn/confluence/2024_SchoepfMiddeldorp/SM_2024_example9.ari
41:     YES (     4.99 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example2.ari
42:     YES (    54.86 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example3.ari
43:     YES (     2.44 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example4.ari
44:     YES (     2.81 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example5.ari
45:   MAYBE (    39.25 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example6.ari
46:     YES (     5.35 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example7.ari
47:   MAYBE (    44.38 ms)    examples-sn/confluence/2024_SchoepfMitterwallnerMiddeldorp/SMM_2024_example8.ari
48:     YES (    24.26 ms)    examples-sn/confluence/COPS/189.ari
49:   MAYBE (    34.19 ms)    examples-sn/confluence/aac.ari
50:   MAYBE (    31.12 ms)    examples-sn/confluence/ac.ari
51:   MAYBE (    17.50 ms)    examples-sn/confluence/almostdevelopment.ari
52:   MAYBE (    51.30 ms)    examples-sn/confluence/ari_example.ari
53:   MAYBE (    17.17 ms)    examples-sn/confluence/cr.ari
54:     YES (    72.32 ms)    examples-sn/confluence/ctrl-examples/ackermann_loop.ari
55:     YES (     3.23 ms)    examples-sn/confluence/ctrl-examples/cnf.ari
56:   MAYBE (    56.81 ms)    examples-sn/confluence/ctrl-examples/completion/sort.ari
57:     YES (    61.72 ms)    examples-sn/confluence/ctrl-examples/decompose.ari
58:     YES (    48.77 ms)    examples-sn/confluence/ctrl-examples/double_loop.ari
59:     YES (    23.13 ms)    examples-sn/confluence/ctrl-examples/double_rec.ari
60:   MAYBE (   126.07 ms)    examples-sn/confluence/ctrl-examples/eval.ari
61:     YES (    53.16 ms)    examples-sn/confluence/ctrl-examples/fact_iterative.ari
62:     YES (    56.95 ms)    examples-sn/confluence/ctrl-examples/fib_loop.ari
63:     YES (    23.28 ms)    examples-sn/confluence/ctrl-examples/fib_rec.ari
64:     YES (     6.25 ms)    examples-sn/confluence/ctrl-examples/frocosex18.ari
65:     YES (    31.34 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_faulty_limit2a_f1.ari
66:     YES (    18.04 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_faulty_limit2a_f2.ari
67:   MAYBE (   115.52 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_ackermanna_f1.ari
68:   MAYBE (   164.96 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_ackermanna_f2.ari
69:   MAYBE (    44.53 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_add-horna_f1.ari
70:   MAYBE (    35.10 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_add-horna_f2.ari
71:     YES (    16.10 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_cocome1a_tri1.ari
72:     YES (    16.68 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_cocome1a_tri2.ari
73:     YES (    18.06 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_inlininga_f1.ari
74:     YES (    17.96 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_inlininga_f2.ari
75:     YES (    18.92 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_limit1unrolleda_f1.ari
76:     YES (    15.32 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_limit1unrolleda_f2.ari
77:   MAYBE (    38.43 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_mccarthy91a_f1.ari
78:   MAYBE (    42.96 ms)    examples-sn/confluence/ctrl-examples/llreve/llreve_rec_mccarthy91a_f2.ari
79:     YES (    36.20 ms)    examples-sn/confluence/ctrl-examples/nat_ackermann.ari
80:   MAYBE (    72.03 ms)    examples-sn/confluence/ctrl-examples/nonterminate-simplify.ari
81:     YES (    29.48 ms)    examples-sn/confluence/ctrl-examples/notsn_f.ari
82:     YES (    22.30 ms)    examples-sn/confluence/ctrl-examples/notsn_g.ari
83:     YES (    82.23 ms)    examples-sn/confluence/ctrl-examples/quad.ari
84:     YES (    29.53 ms)    examples-sn/confluence/ctrl-examples/recurse.ari
85:     YES (    32.59 ms)    examples-sn/confluence/ctrl-examples/student/fib01_bad.ari
86:     YES (    16.43 ms)    examples-sn/confluence/ctrl-examples/student/fib01_fast.ari
87:     YES (    22.09 ms)    examples-sn/confluence/ctrl-examples/student/fib02_bad.ari
88:     YES (    62.94 ms)    examples-sn/confluence/ctrl-examples/student/fib02_fast.ari
89:     YES (    35.64 ms)    examples-sn/confluence/ctrl-examples/student/fib03_bad.ari
90:     YES (    59.35 ms)    examples-sn/confluence/ctrl-examples/student/fib03_fast.ari
91:   MAYBE (   148.74 ms)    examples-sn/confluence/ctrl-examples/student/fib04_fast.ari
92:     YES (    67.88 ms)    examples-sn/confluence/ctrl-examples/student/fib05_fast.ari
93:     YES (    52.82 ms)    examples-sn/confluence/ctrl-examples/student/fib06_fast.ari
94:     YES (    56.24 ms)    examples-sn/confluence/ctrl-examples/student/fib07_fast.ari
95:     YES (    76.22 ms)    examples-sn/confluence/ctrl-examples/student/fib08_fast.ari
96:     YES (    65.99 ms)    examples-sn/confluence/ctrl-examples/student/fib09_fast.ari
97:     YES (    45.01 ms)    examples-sn/confluence/ctrl-examples/student/fib10_fast.ari
98:     YES (    86.84 ms)    examples-sn/confluence/ctrl-examples/student/fib11_fast.ari
99:     YES (    61.69 ms)    examples-sn/confluence/ctrl-examples/student/fib12_fast.ari
100:     YES (    49.72 ms)     examples-sn/confluence/ctrl-examples/student/sum01.ari
101:     YES (    27.63 ms)     examples-sn/confluence/ctrl-examples/student/sum01_sum.ari
102:     YES (    45.42 ms)     examples-sn/confluence/ctrl-examples/student/sum02.ari
103:     YES (    53.10 ms)     examples-sn/confluence/ctrl-examples/student/sum03.ari
104:     YES (    44.40 ms)     examples-sn/confluence/ctrl-examples/student/sum04.ari
105:     YES (    52.47 ms)     examples-sn/confluence/ctrl-examples/student/sum05.ari
106:     YES (     2.58 ms)     examples-sn/confluence/ctrl-examples/student/sum06.ari
107:     YES (    35.87 ms)     examples-sn/confluence/ctrl-examples/student/sum07.ari
108:     YES (    50.86 ms)     examples-sn/confluence/ctrl-examples/student/sum08.ari
109:     YES (    24.33 ms)     examples-sn/confluence/ctrl-examples/student/sum09.ari
110:     YES (    55.52 ms)     examples-sn/confluence/ctrl-examples/student/sum10.ari
111:     YES (    45.99 ms)     examples-sn/confluence/ctrl-examples/student/sum11.ari
112:     YES (    51.09 ms)     examples-sn/confluence/ctrl-examples/student/sum12.ari
113:     YES (    46.01 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom01.ari
114:   MAYBE (   105.08 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom01_sum2.ari
115:     YES (    49.91 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom02_sum2.ari
116:   MAYBE (    59.56 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom03_sum2.ari
117:     YES (    52.80 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom04_sum2.ari
118:     YES (    54.14 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom05_sum.ari
119:     YES (    62.25 ms)     examples-sn/confluence/ctrl-examples/student/sumfrom06_sum.ari
120:   MAYBE (   239.37 ms)     examples-sn/confluence/ctrl-examples/sum2.ari
121:     YES (    57.14 ms)     examples-sn/confluence/ctrl-examples/sum_decl.ari
122:     YES (    45.86 ms)     examples-sn/confluence/ctrl-examples/sum_loop.ari
123:     YES (    31.04 ms)     examples-sn/confluence/ctrl-examples/sum_rec.ari
124:     YES (    46.71 ms)     examples-sn/confluence/ctrl-examples/sumfrom_loop.ari
125:     YES (    37.00 ms)     examples-sn/confluence/ctrl-examples/sumfrom_rec.ari
126:     YES (    39.94 ms)     examples-sn/confluence/ctrl-examples/sumreduce.ari
127:     YES (    45.94 ms)     examples-sn/confluence/ctrl-examples/sumsimple_2.ari
128:   MAYBE (   308.77 ms)     examples-sn/confluence/ctrl-examples/sumsum.ari
129:   MAYBE (    82.05 ms)     examples-sn/confluence/ctrl-examples/vidal1.ari
130:   MAYBE (    61.16 ms)     examples-sn/confluence/ctrl-examples/vidal2.ari
131:     YES (     3.26 ms)     examples-sn/confluence/development.ari
132: Timeout ( 10011.05 ms)     examples-sn/confluence/labelled.ari
133:     YES (    40.89 ms)     examples-sn/confluence/splitting_needed_cr_2CPs.ari
134:     YES (     8.49 ms)     examples-sn/confluence/splitting_needed_cr_4CPs.ari
135:     YES (     8.86 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.78 s
  Total Time (Yes):   3.40 s
  Total Time (No):   0.00 s
  Total Time (Maybe):   3.37 s