Comp |
CompAra |
CompAraParallel |
|
|---|---|---|---|
Success "MAYBE" |
635 | 546 | 560 |
Success "WORST_CASE(?,O(1))" |
47 | 47 | 47 |
Success "WORST_CASE(?,O(n^1))" |
222 | 221 | 222 |
Success "WORST_CASE(?,O(n^2))" |
81 | 80 | 78 |
Success "WORST_CASE(?,O(n^3))" |
22 | 16 | 15 |
Success "WORST_CASE(?,O(n^4))" |
3 | 2 | 2 |
Success "WORST_CASE(?,O(n^5))" |
1 | 1 | 1 |
Timeout |
0 | 98 | 86 |
Comp |
CompAra |
CompAraParallel |
|
|---|---|---|---|
Success "MAYBE" |
38.28 | 42.83 | 45.34 |
Success "WORST_CASE(?,O(1))" |
3.10 | 3.03 | 4.13 |
Success "WORST_CASE(?,O(n^1))" |
11.27 | 10.77 | 10.85 |
Success "WORST_CASE(?,O(n^2))" |
20.82 | 24.56 | 25.75 |
Success "WORST_CASE(?,O(n^3))" |
16.51 | 23.89 | 25.28 |
Success "WORST_CASE(?,O(n^4))" |
45.96 | 48.99 | 48.23 |
Success "WORST_CASE(?,O(n^5))" |
20.49 | 20.68 | 21.81 |
Timeout |
0.00 | 60.00 | 60.00 |
Overall |
28.84 | 33.88 | 35.27 |
Comp
|
CompAra
|
CompAraParallel
|
|||||||
|---|---|---|---|---|---|---|---|---|---|
Problem (all selected)
|
* | answer | * | answer | * | answer | |||
AG01/#3.1.typed
|
* | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
0.71 |
AG01/#3.10.typed
|
* | MAYBE
|
56.20 | * | MAYBE
|
59.42 | * | MAYBE
|
56.18 |
AG01/#3.12.typed
|
* | WORST_CASE(?,O(n^3))
|
10.99 | * | WORST_CASE(?,O(n^3))
|
12.77 | * | WORST_CASE(?,O(n^3))
|
13.24 |
AG01/#3.13.typed
|
* | MAYBE
|
56.18 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AG01/#3.15.typed
|
* | WORST_CASE(?,O(n^1))
|
7.12 | * | WORST_CASE(?,O(n^1))
|
7.07 | * | WORST_CASE(?,O(n^1))
|
7.09 |
AG01/#3.16.typed
|
* | WORST_CASE(?,O(n^3))
|
4.50 | * | WORST_CASE(?,O(n^3))
|
5.20 | * | WORST_CASE(?,O(n^3))
|
3.84 |
AG01/#3.17.typed
|
* | WORST_CASE(?,O(n^2))
|
56.16 | * | WORST_CASE(?,O(n^2))
|
32.40 | * | WORST_CASE(?,O(n^2))
|
56.51 |
AG01/#3.17a.typed
|
* | WORST_CASE(?,O(n^2))
|
56.28 | * | WORST_CASE(?,O(n^2))
|
35.59 | * | WORST_CASE(?,O(n^2))
|
56.21 |
AG01/#3.18.typed
|
* | MAYBE
|
7.20 | * | MAYBE
|
20.04 | * | MAYBE
|
19.15 |
AG01/#3.19.typed
|
* | MAYBE
|
7.68 | * | MAYBE
|
23.85 | * | MAYBE
|
23.77 |
AG01/#3.2.typed
|
* | WORST_CASE(?,O(n^2))
|
3.02 | * | WORST_CASE(?,O(n^2))
|
4.99 | * | WORST_CASE(?,O(n^2))
|
7.40 |
AG01/#3.22.typed
|
* | WORST_CASE(?,O(n^2))
|
1.87 | * | WORST_CASE(?,O(n^2))
|
1.39 | * | WORST_CASE(?,O(n^2))
|
1.07 |
AG01/#3.23.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.10 |
AG01/#3.24.typed
|
* | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.93 | * | WORST_CASE(?,O(n^1))
|
0.52 |
AG01/#3.26.typed
|
* | MAYBE
|
10.31 | * | MAYBE
|
32.85 | * | MAYBE
|
32.68 |
AG01/#3.29.typed
|
* | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.12 |
AG01/#3.31.typed
|
* | MAYBE
|
9.01 | * | MAYBE
|
11.43 | * | MAYBE
|
14.05 |
AG01/#3.33.typed
|
* | WORST_CASE(?,O(1))
|
0.22 | * | WORST_CASE(?,O(1))
|
0.40 | * | WORST_CASE(?,O(1))
|
0.27 |
AG01/#3.35.typed
|
* | WORST_CASE(?,O(n^1))
|
0.34 | * | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
0.30 |
AG01/#3.36.typed
|
* | MAYBE
|
17.53 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AG01/#3.37.typed
|
* | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
0.43 |
AG01/#3.38.typed
|
* | MAYBE
|
17.40 | * | MAYBE
|
58.18 | * | MAYBE
|
50.29 |
AG01/#3.39.typed
|
* | WORST_CASE(?,O(n^1))
|
4.30 | * | WORST_CASE(?,O(n^1))
|
5.53 | * | WORST_CASE(?,O(n^1))
|
6.05 |
AG01/#3.4.typed
|
* | MAYBE
|
7.45 | * | MAYBE
|
10.05 | * | MAYBE
|
14.95 |
AG01/#3.40.typed
|
* | WORST_CASE(?,O(n^2))
|
16.22 | * | WORST_CASE(?,O(n^2))
|
23.06 | * | WORST_CASE(?,O(n^2))
|
27.08 |
AG01/#3.41.typed
|
* | WORST_CASE(?,O(n^2))
|
0.85 | * | WORST_CASE(?,O(n^2))
|
0.92 | * | WORST_CASE(?,O(n^2))
|
1.89 |
AG01/#3.42.typed
|
* | WORST_CASE(?,O(n^2))
|
3.94 | * | WORST_CASE(?,O(n^1))
|
4.93 | * | WORST_CASE(?,O(n^1))
|
4.70 |
AG01/#3.47.typed
|
* | WORST_CASE(?,O(n^2))
|
1.52 | * | WORST_CASE(?,O(n^2))
|
1.03 | * | WORST_CASE(?,O(n^2))
|
1.98 |
AG01/#3.48.typed
|
* | WORST_CASE(?,O(n^2))
|
56.21 | * | WORST_CASE(?,O(n^2))
|
4.44 | * | WORST_CASE(?,O(n^2))
|
56.39 |
AG01/#3.49.typed
|
* | MAYBE
|
56.15 | * | MAYBE
|
56.12 | * | MAYBE
|
56.24 |
AG01/#3.5.typed
|
* | WORST_CASE(?,O(n^2))
|
5.33 | * | WORST_CASE(?,O(n^2))
|
3.04 | * | WORST_CASE(?,O(n^2))
|
3.84 |
AG01/#3.51.typed
|
* | WORST_CASE(?,O(n^1))
|
0.53 | * | WORST_CASE(?,O(n^1))
|
1.28 | * | WORST_CASE(?,O(n^1))
|
0.99 |
AG01/#3.52.typed
|
* | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
1.07 | * | WORST_CASE(?,O(n^1))
|
1.08 |
AG01/#3.53.typed
|
* | WORST_CASE(?,O(n^3))
|
13.44 | * | WORST_CASE(?,O(n^3))
|
27.09 | * | WORST_CASE(?,O(n^3))
|
32.32 |
AG01/#3.53a.typed
|
* | WORST_CASE(?,O(1))
|
0.12 | * | WORST_CASE(?,O(1))
|
0.10 | * | WORST_CASE(?,O(1))
|
0.09 |
AG01/#3.53b.typed
|
* | WORST_CASE(?,O(n^1))
|
0.62 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.34 |
AG01/#3.54.typed
|
* | MAYBE
|
51.36 | * | MAYBE
|
45.15 | * | MAYBE
|
49.73 |
AG01/#3.55.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
56.18 | * | MAYBE
|
56.38 |
AG01/#3.56.typed
|
* | WORST_CASE(?,O(n^1))
|
0.73 | * | WORST_CASE(?,O(n^1))
|
0.92 | * | WORST_CASE(?,O(n^1))
|
0.78 |
AG01/#3.57.typed
|
* | MAYBE
|
56.17 | * | MAYBE
|
42.67 | * | MAYBE
|
56.16 |
AG01/#3.5a.typed
|
* | WORST_CASE(?,O(n^2))
|
3.70 | * | WORST_CASE(?,O(n^2))
|
19.66 | * | WORST_CASE(?,O(n^2))
|
20.70 |
AG01/#3.5b.typed
|
* | WORST_CASE(?,O(n^3))
|
12.88 | * | WORST_CASE(?,O(n^3))
|
27.50 | * | WORST_CASE(?,O(n^3))
|
40.79 |
AG01/#3.6.typed
|
* | WORST_CASE(?,O(n^2))
|
11.00 | * | WORST_CASE(?,O(n^2))
|
36.78 | * | WORST_CASE(?,O(n^2))
|
45.39 |
AG01/#3.6a.typed
|
* | WORST_CASE(?,O(n^2))
|
14.82 | * | WORST_CASE(?,O(n^2))
|
13.74 | * | WORST_CASE(?,O(n^2))
|
14.16 |
AG01/#3.6b.typed
|
* | WORST_CASE(?,O(n^3))
|
14.07 | * | WORST_CASE(?,O(n^3))
|
34.77 | * | WORST_CASE(?,O(n^3))
|
40.50 |
AG01/#3.7.typed
|
* | WORST_CASE(?,O(n^1))
|
7.23 | * | WORST_CASE(?,O(n^1))
|
7.05 | * | WORST_CASE(?,O(n^1))
|
7.12 |
AG01/#3.8a.typed
|
* | WORST_CASE(?,O(n^2))
|
9.07 | * | WORST_CASE(?,O(n^2))
|
15.24 | * | WORST_CASE(?,O(n^2))
|
14.39 |
AG01/#3.8b.typed
|
* | WORST_CASE(?,O(n^4))
|
21.03 | * | WORST_CASE(?,O(n^4))
|
40.23 | * | WORST_CASE(?,O(n^4))
|
38.26 |
AG01/#4.30c.typed
|
* | MAYBE
|
43.96 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_04/AAECC-ring.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.60 | * | MAYBE
|
56.48 |
AProVE_04/AAECC.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
57.41 | * | TIMEOUT
|
60.00 |
AProVE_04/IJCAR_1.typed
|
* | WORST_CASE(?,O(n^1))
|
8.94 | * | WORST_CASE(?,O(n^1))
|
6.82 | * | WORST_CASE(?,O(n^1))
|
7.53 |
AProVE_04/IJCAR_12.typed
|
* | WORST_CASE(?,O(n^2))
|
3.30 | * | WORST_CASE(?,O(n^2))
|
15.47 | * | WORST_CASE(?,O(n^2))
|
16.89 |
AProVE_04/IJCAR_18.typed
|
* | MAYBE
|
56.27 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_04/IJCAR_26.typed
|
* | MAYBE
|
56.40 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.46 |
AProVE_04/IJCAR_26a.typed
|
* | MAYBE
|
56.68 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.30 |
AProVE_04/JFP_Ex31.typed
|
* | MAYBE
|
56.23 | * | MAYBE
|
56.09 | * | MAYBE
|
56.11 |
AProVE_04/JFP_Ex51.typed
|
* | WORST_CASE(?,O(n^2))
|
27.85 | * | WORST_CASE(?,O(n^2))
|
28.92 | * | WORST_CASE(?,O(n^2))
|
30.11 |
AProVE_04/LPAR_intlist.typed
|
* | MAYBE
|
56.17 | * | MAYBE
|
56.12 | * | MAYBE
|
59.02 |
AProVE_04/Liveness6.1.typed
|
* | MAYBE
|
56.12 | * | MAYBE
|
56.09 | * | MAYBE
|
56.26 |
AProVE_04/Liveness6.2.typed
|
* | WORST_CASE(?,O(n^2))
|
23.71 | * | WORST_CASE(?,O(n^2))
|
34.48 | * | WORST_CASE(?,O(n^2))
|
33.39 |
AProVE_04/Liveness6.3.typed
|
* | WORST_CASE(?,O(n^1))
|
4.10 | * | WORST_CASE(?,O(n^1))
|
3.86 | * | WORST_CASE(?,O(n^1))
|
2.60 |
AProVE_04/Liveness6.4.typed
|
* | MAYBE
|
56.27 | * | MAYBE
|
56.46 | * | MAYBE
|
57.21 |
AProVE_04/Liveness8.typed
|
* | WORST_CASE(?,O(n^1))
|
56.10 | * | WORST_CASE(?,O(n^1))
|
56.10 | * | WORST_CASE(?,O(n^1))
|
56.19 |
AProVE_04/Liveness_WRS.typed
|
* | WORST_CASE(?,O(n^1))
|
56.25 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^1))
|
56.28 |
AProVE_04/fac.typed
|
* | MAYBE
|
56.44 | * | MAYBE
|
47.73 | * | MAYBE
|
56.16 |
AProVE_04/rta1.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
51.38 | * | MAYBE
|
56.20 |
AProVE_04/rta2.typed
|
* | MAYBE
|
1.55 | * | MAYBE
|
16.91 | * | MAYBE
|
17.54 |
AProVE_04/rta3.typed
|
* | MAYBE
|
4.40 | * | MAYBE
|
32.75 | * | MAYBE
|
32.69 |
AProVE_06/div_notCeTermin.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.10 | * | MAYBE
|
56.21 |
AProVE_06/div_notTermin.typed
|
* | MAYBE
|
56.23 | * | MAYBE
|
56.56 | * | TIMEOUT
|
60.00 |
AProVE_06/factorial1.typed
|
* | MAYBE
|
56.29 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_06/factorial2.typed
|
* | MAYBE
|
10.85 | * | MAYBE
|
32.79 | * | MAYBE
|
34.12 |
AProVE_06/identity.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
56.13 | * | MAYBE
|
56.13 |
AProVE_06/logarithm.typed
|
* | MAYBE
|
46.48 | * | MAYBE
|
56.26 | * | MAYBE
|
56.38 |
AProVE_06/modulo.typed
|
* | MAYBE
|
10.31 | * | MAYBE
|
19.80 | * | MAYBE
|
20.22 |
AProVE_06/nonterm.typed
|
* | MAYBE
|
56.11 | * | MAYBE
|
56.48 | * | MAYBE
|
56.16 |
AProVE_06/quicksort.typed
|
* | MAYBE
|
56.29 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_06/quot.typed
|
* | MAYBE
|
10.97 | * | MAYBE
|
23.65 | * | MAYBE
|
21.14 |
AProVE_06/sizeChange.typed
|
* | MAYBE
|
15.94 | * | MAYBE
|
31.79 | * | MAYBE
|
35.38 |
AProVE_06/tower.typed
|
* | MAYBE
|
56.10 | * | MAYBE
|
56.22 | * | MAYBE
|
56.33 |
AProVE_06/tower_sizeChange.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
57.17 | * | MAYBE
|
56.36 |
AProVE_07/kabasci01.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.82 | * | TIMEOUT
|
60.00 |
AProVE_07/kabasci02.typed
|
* | MAYBE
|
56.38 | * | MAYBE
|
56.87 | * | MAYBE
|
56.24 |
AProVE_07/kabasci03.typed
|
* | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.10 |
AProVE_07/kabasci04.typed
|
* | MAYBE
|
56.13 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.09 |
AProVE_07/kabasci05.typed
|
* | MAYBE
|
56.52 | * | MAYBE
|
59.92 | * | MAYBE
|
56.44 |
AProVE_07/otto01.typed
|
* | MAYBE
|
56.51 | * | TIMEOUT
|
60.00 | * | MAYBE
|
59.16 |
AProVE_07/otto02.typed
|
* | MAYBE
|
56.27 | * | MAYBE
|
56.31 | * | MAYBE
|
56.48 |
AProVE_07/otto03.typed
|
* | MAYBE
|
6.06 | * | MAYBE
|
13.90 | * | MAYBE
|
8.65 |
AProVE_07/otto04.typed
|
* | MAYBE
|
32.05 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_07/otto05.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
58.35 | * | MAYBE
|
56.13 |
AProVE_07/otto06.typed
|
* | MAYBE
|
56.48 | * | MAYBE
|
56.36 | * | MAYBE
|
58.93 |
AProVE_07/otto07.typed
|
* | MAYBE
|
4.10 | * | MAYBE
|
10.98 | * | MAYBE
|
14.04 |
AProVE_07/otto08.typed
|
* | MAYBE
|
14.45 | * | MAYBE
|
51.91 | * | MAYBE
|
56.58 |
AProVE_07/otto09.typed
|
* | MAYBE
|
14.07 | * | MAYBE
|
45.44 | * | MAYBE
|
48.60 |
AProVE_07/otto10.typed
|
* | MAYBE
|
56.14 | * | MAYBE
|
57.96 | * | MAYBE
|
56.34 |
AProVE_07/otto11.typed
|
* | MAYBE
|
29.67 | * | MAYBE
|
44.94 | * | TIMEOUT
|
60.00 |
AProVE_07/otto12.typed
|
* | MAYBE
|
15.36 | * | MAYBE
|
58.34 | * | MAYBE
|
58.25 |
AProVE_07/otto13.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
57.56 | * | MAYBE
|
56.23 |
AProVE_07/thiemann01.typed
|
* | MAYBE
|
19.06 | * | MAYBE
|
47.90 | * | MAYBE
|
56.98 |
AProVE_07/thiemann02.typed
|
* | MAYBE
|
56.54 | * | MAYBE
|
56.31 | * | MAYBE
|
56.32 |
AProVE_07/thiemann03.typed
|
* | MAYBE
|
56.38 | * | MAYBE
|
56.21 | * | MAYBE
|
56.23 |
AProVE_07/thiemann04.typed
|
* | MAYBE
|
56.45 | * | TIMEOUT
|
60.00 | * | MAYBE
|
58.65 |
AProVE_07/thiemann05.typed
|
* | MAYBE
|
56.12 | * | MAYBE
|
42.29 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann06.typed
|
* | MAYBE
|
43.30 | * | MAYBE
|
49.41 | * | MAYBE
|
48.59 |
AProVE_07/thiemann07.typed
|
* | MAYBE
|
56.52 | * | MAYBE
|
57.03 | * | MAYBE
|
57.20 |
AProVE_07/thiemann08.typed
|
* | MAYBE
|
7.61 | * | MAYBE
|
35.95 | * | MAYBE
|
39.38 |
AProVE_07/thiemann09.typed
|
* | MAYBE
|
56.31 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.60 |
AProVE_07/thiemann10.typed
|
* | MAYBE
|
56.36 | * | MAYBE
|
56.21 | * | MAYBE
|
56.25 |
AProVE_07/thiemann11.typed
|
* | MAYBE
|
56.08 | * | MAYBE
|
56.19 | * | MAYBE
|
56.09 |
AProVE_07/thiemann12.typed
|
* | MAYBE
|
56.12 | * | MAYBE
|
56.20 | * | MAYBE
|
56.26 |
AProVE_07/thiemann13.typed
|
* | MAYBE
|
56.13 | * | MAYBE
|
56.15 | * | MAYBE
|
56.14 |
AProVE_07/thiemann14.typed
|
* | MAYBE
|
56.24 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann15.typed
|
* | MAYBE
|
56.11 | * | MAYBE
|
56.23 | * | MAYBE
|
56.08 |
AProVE_07/thiemann16.typed
|
* | MAYBE
|
56.15 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.37 |
AProVE_07/thiemann17.typed
|
* | MAYBE
|
56.19 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.64 |
AProVE_07/thiemann18.typed
|
* | MAYBE
|
56.29 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann19.typed
|
* | MAYBE
|
28.13 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann20.typed
|
* | MAYBE
|
36.25 | * | MAYBE
|
32.76 | * | MAYBE
|
59.56 |
AProVE_07/thiemann21.typed
|
* | MAYBE
|
56.61 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.27 |
AProVE_07/thiemann22.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.37 | * | MAYBE
|
56.36 |
AProVE_07/thiemann23.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.56 | * | MAYBE
|
56.53 |
AProVE_07/thiemann24.typed
|
* | MAYBE
|
7.45 | * | MAYBE
|
29.06 | * | MAYBE
|
30.14 |
AProVE_07/thiemann25.typed
|
* | MAYBE
|
7.37 | * | MAYBE
|
19.79 | * | MAYBE
|
25.10 |
AProVE_07/thiemann26.typed
|
* | MAYBE
|
22.61 | * | MAYBE
|
36.07 | * | MAYBE
|
39.32 |
AProVE_07/thiemann27.typed
|
* | MAYBE
|
4.76 | * | MAYBE
|
13.24 | * | MAYBE
|
11.03 |
AProVE_07/thiemann28.typed
|
* | MAYBE
|
56.18 | * | MAYBE
|
37.61 | * | MAYBE
|
56.10 |
AProVE_07/thiemann29.typed
|
* | MAYBE
|
56.14 | * | MAYBE
|
56.42 | * | MAYBE
|
56.53 |
AProVE_07/thiemann30.typed
|
* | MAYBE
|
56.19 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.30 |
AProVE_07/thiemann31.typed
|
* | MAYBE
|
55.42 | * | MAYBE
|
56.18 | * | MAYBE
|
56.62 |
AProVE_07/thiemann32.typed
|
* | MAYBE
|
56.32 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.23 |
AProVE_07/thiemann33.typed
|
* | MAYBE
|
27.14 | * | MAYBE
|
56.77 | * | MAYBE
|
56.29 |
AProVE_07/thiemann34.typed
|
* | MAYBE
|
35.78 | * | MAYBE
|
56.28 | * | MAYBE
|
56.33 |
AProVE_07/thiemann36.typed
|
* | MAYBE
|
56.11 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann37.typed
|
* | MAYBE
|
56.12 | * | TIMEOUT
|
60.00 | * | MAYBE
|
59.60 |
AProVE_07/thiemann38.typed
|
* | MAYBE
|
50.18 | * | MAYBE
|
43.96 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann40.typed
|
* | MAYBE
|
4.34 | * | MAYBE
|
5.95 | * | MAYBE
|
5.81 |
AProVE_07/thiemann41.typed
|
* | MAYBE
|
13.50 | * | MAYBE
|
41.66 | * | MAYBE
|
39.91 |
AProVE_07/wiehe01.typed
|
* | MAYBE
|
56.17 | * | MAYBE
|
56.19 | * | MAYBE
|
56.20 |
AProVE_07/wiehe02.typed
|
* | MAYBE
|
56.41 | * | MAYBE
|
56.24 | * | MAYBE
|
56.45 |
AProVE_07/wiehe03.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.28 | * | MAYBE
|
56.31 |
AProVE_07/wiehe05.typed
|
* | MAYBE
|
56.24 | * | MAYBE
|
56.42 | * | MAYBE
|
56.94 |
AProVE_07/wiehe06.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.28 | * | MAYBE
|
56.54 |
AProVE_07/wiehe07.typed
|
* | MAYBE
|
56.46 | * | MAYBE
|
56.46 | * | MAYBE
|
56.38 |
AProVE_07/wiehe08.typed
|
* | MAYBE
|
56.33 | * | MAYBE
|
56.61 | * | MAYBE
|
56.90 |
AProVE_07/wiehe09.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
56.27 | * | MAYBE
|
58.27 |
AProVE_07/wiehe11.typed
|
* | MAYBE
|
56.15 | * | MAYBE
|
58.18 | * | MAYBE
|
56.43 |
AProVE_07/wiehe12.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
57.21 | * | MAYBE
|
56.72 |
AProVE_08/id_inc.typed
|
* | MAYBE
|
11.82 | * | MAYBE
|
51.23 | * | MAYBE
|
55.13 |
AProVE_08/log.typed
|
* | MAYBE
|
56.39 | * | MAYBE
|
56.11 | * | MAYBE
|
56.44 |
AProVE_08/parting01_reverse.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
59.85 | * | MAYBE
|
56.24 |
AProVE_08/parting02_doublelist.typed
|
* | MAYBE
|
56.47 | * | MAYBE
|
56.44 | * | MAYBE
|
56.35 |
AProVE_08/parting03_minsort.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
59.21 | * | TIMEOUT
|
60.00 |
AProVE_08/parting04_maxsort_h.typed
|
* | MAYBE
|
56.24 | * | TIMEOUT
|
60.01 | * | MAYBE
|
56.43 |
AProVE_08/parting05_maxsort.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.54 | * | MAYBE
|
56.36 |
AProVE_08/round.typed
|
* | MAYBE
|
7.57 | * | TIMEOUT
|
60.03 | * | MAYBE
|
56.34 |
AProVE_08/round_nonterm.typed
|
* | MAYBE
|
56.09 | * | TIMEOUT
|
60.01 | * | MAYBE
|
56.37 |
AProVE_08/thiemann40_modified.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.10 | * | MAYBE
|
56.15 |
AProVE_09_Inductive/div.typed
|
* | MAYBE
|
20.91 | * | MAYBE
|
54.74 | * | TIMEOUT
|
60.00 |
AProVE_09_Inductive/divhard.typed
|
* | MAYBE
|
13.29 | * | MAYBE
|
41.30 | * | MAYBE
|
48.36 |
AProVE_09_Inductive/gcd.typed
|
* | MAYBE
|
26.70 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_09_Inductive/gcd2.typed
|
* | MAYBE
|
32.57 | * | MAYBE
|
57.81 | * | TIMEOUT
|
60.00 |
AProVE_09_Inductive/gcdhard.typed
|
* | MAYBE
|
32.05 | * | MAYBE
|
56.67 | * | MAYBE
|
56.34 |
AProVE_09_Inductive/log.typed
|
* | MAYBE
|
56.23 | * | MAYBE
|
56.21 | * | MAYBE
|
56.58 |
AProVE_09_Inductive/maxsort.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
56.28 | * | MAYBE
|
56.20 |
AProVE_09_Inductive/maxsortcondition.typed
|
* | MAYBE
|
30.41 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_09_Inductive/minsort.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
59.34 | * | MAYBE
|
56.59 |
AProVE_09_Inductive/mod.typed
|
* | MAYBE
|
56.19 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.40 |
AProVE_09_Inductive/qsort.typed
|
* | MAYBE
|
56.35 | * | MAYBE
|
56.25 | * | MAYBE
|
56.53 |
AProVE_09_Inductive/qsortlast.typed
|
* | MAYBE
|
56.65 | * | MAYBE
|
56.37 | * | MAYBE
|
56.22 |
AProVE_09_Inductive/qsortmiddle.typed
|
* | MAYBE
|
56.64 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
AProVE_09_Inductive/zerolist.typed
|
* | MAYBE
|
11.70 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Beerendonk_07/1.typed
|
* | MAYBE
|
4.94 | * | MAYBE
|
7.60 | * | MAYBE
|
15.00 |
Beerendonk_07/10.typed
|
* | MAYBE
|
35.36 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Beerendonk_07/11.typed
|
* | MAYBE
|
31.02 | * | MAYBE
|
31.81 | * | MAYBE
|
40.24 |
Beerendonk_07/12.typed
|
* | MAYBE
|
29.61 | * | MAYBE
|
34.87 | * | MAYBE
|
44.78 |
Beerendonk_07/13.typed
|
* | MAYBE
|
42.10 | * | MAYBE
|
45.21 | * | MAYBE
|
48.73 |
Beerendonk_07/14.typed
|
* | MAYBE
|
12.91 | * | MAYBE
|
41.53 | * | MAYBE
|
50.68 |
Beerendonk_07/15.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
56.24 | * | MAYBE
|
56.13 |
Beerendonk_07/16.typed
|
* | MAYBE
|
56.28 | * | MAYBE
|
56.10 | * | TIMEOUT
|
60.00 |
Beerendonk_07/17.typed
|
* | MAYBE
|
56.35 | * | MAYBE
|
56.10 | * | MAYBE
|
57.91 |
Beerendonk_07/18.typed
|
* | MAYBE
|
56.15 | * | MAYBE
|
45.42 | * | MAYBE
|
56.21 |
Beerendonk_07/19.typed
|
* | MAYBE
|
56.32 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.27 |
Beerendonk_07/2.typed
|
* | MAYBE
|
8.99 | * | MAYBE
|
13.88 | * | MAYBE
|
17.81 |
Beerendonk_07/20.typed
|
* | MAYBE
|
56.11 | * | MAYBE
|
56.55 | * | MAYBE
|
56.15 |
Beerendonk_07/21.typed
|
* | MAYBE
|
56.24 | * | MAYBE
|
56.20 | * | MAYBE
|
56.39 |
Beerendonk_07/22.typed
|
* | MAYBE
|
56.20 | * | MAYBE
|
56.12 | * | MAYBE
|
56.11 |
Beerendonk_07/23.typed
|
* | MAYBE
|
26.30 | * | MAYBE
|
50.33 | * | MAYBE
|
50.62 |
Beerendonk_07/24.typed
|
* | MAYBE
|
56.79 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.25 |
Beerendonk_07/3.typed
|
* | MAYBE
|
10.85 | * | MAYBE
|
20.26 | * | MAYBE
|
17.99 |
Beerendonk_07/4.typed
|
* | MAYBE
|
7.66 | * | MAYBE
|
6.15 | * | MAYBE
|
10.19 |
Beerendonk_07/5.typed
|
* | MAYBE
|
56.20 | * | MAYBE
|
13.27 | * | MAYBE
|
55.86 |
Beerendonk_07/6.typed
|
* | MAYBE
|
7.62 | * | MAYBE
|
8.25 | * | MAYBE
|
13.04 |
Beerendonk_07/7.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
7.63 | * | MAYBE
|
56.26 |
Beerendonk_07/8.typed
|
* | MAYBE
|
56.36 | * | MAYBE
|
6.60 | * | MAYBE
|
56.34 |
Beerendonk_07/9.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
20.14 | * | MAYBE
|
56.33 |
CiME_04/ack_prolog.typed
|
* | MAYBE
|
6.71 | * | MAYBE
|
38.64 | * | MAYBE
|
37.48 |
CiME_04/append-hard.typed
|
* | MAYBE
|
4.25 | * | MAYBE
|
4.91 | * | MAYBE
|
6.10 |
CiME_04/append-wrong.typed
|
* | MAYBE
|
56.29 | * | MAYBE
|
56.11 | * | MAYBE
|
56.26 |
CiME_04/append.typed
|
* | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
0.51 |
CiME_04/big.typed
|
* | MAYBE
|
56.53 | * | MAYBE
|
56.31 | * | MAYBE
|
56.41 |
CiME_04/dpqs.typed
|
* | WORST_CASE(?,O(1))
|
0.46 | * | WORST_CASE(?,O(1))
|
0.39 | * | WORST_CASE(?,O(1))
|
0.75 |
CiME_04/fact-hard.typed
|
* | MAYBE
|
56.09 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.11 |
CiME_04/filliatre.typed
|
* | MAYBE
|
34.58 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
CiME_04/filliatre2.typed
|
* | MAYBE
|
48.98 | * | MAYBE
|
56.42 | * | MAYBE
|
56.49 |
CiME_04/filliatre3.typed
|
* | MAYBE
|
26.23 | * | MAYBE
|
56.47 | * | MAYBE
|
56.46 |
CiME_04/intersect.typed
|
* | MAYBE
|
47.72 | * | MAYBE
|
56.44 | * | MAYBE
|
56.54 |
CiME_04/list-sum-prod-assoc-append.typed
|
* | MAYBE
|
26.94 | * | MAYBE
|
59.45 | * | TIMEOUT
|
60.00 |
CiME_04/list-sum-prod-assoc.typed
|
* | MAYBE
|
17.99 | * | MAYBE
|
39.03 | * | MAYBE
|
55.27 |
CiME_04/list-sum-prod-bin-assoc-distr-app.typed
|
* | MAYBE
|
56.51 | * | MAYBE
|
56.28 | * | MAYBE
|
56.22 |
CiME_04/list-sum-prod-bin-assoc.typed
|
* | MAYBE
|
56.35 | * | MAYBE
|
49.10 | * | TIMEOUT
|
60.00 |
CiME_04/list-sum-prod-bin.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.63 | * | MAYBE
|
57.08 |
CiME_04/list-sum-prod.typed
|
* | MAYBE
|
7.96 | * | MAYBE
|
32.25 | * | MAYBE
|
52.22 |
CiME_04/log2.typed
|
* | MAYBE
|
56.32 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.47 |
CiME_04/lse.typed
|
* | WORST_CASE(?,O(n^2))
|
56.56 | * | MAYBE
|
56.50 | * | WORST_CASE(?,O(n^2))
|
57.12 |
CiME_04/maude2.typed
|
* | MAYBE
|
56.36 | * | MAYBE
|
56.57 | * | TIMEOUT
|
60.00 |
CiME_04/mucrl1.typed
|
* | MAYBE
|
56.37 | * | MAYBE
|
56.40 | * | MAYBE
|
56.75 |
CiME_04/ternary-hard.typed
|
* | MAYBE
|
56.44 | * | MAYBE
|
57.94 | * | MAYBE
|
56.19 |
CiME_04/ternary.typed
|
* | MAYBE
|
56.33 | * | MAYBE
|
56.52 | * | MAYBE
|
59.64 |
CiME_04/tree.typed
|
* | WORST_CASE(?,O(n^4))
|
58.70 | * | MAYBE
|
56.20 | * | MAYBE
|
56.28 |
Der95/06.typed
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 |
Der95/07.typed
|
* | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
0.45 |
Der95/08.typed
|
* | WORST_CASE(?,O(n^1))
|
1.35 | * | WORST_CASE(?,O(n^1))
|
7.05 | * | WORST_CASE(?,O(n^1))
|
1.22 |
Der95/11.typed
|
* | WORST_CASE(?,O(n^1))
|
15.42 | * | WORST_CASE(?,O(n^1))
|
36.32 | * | WORST_CASE(?,O(n^1))
|
23.43 |
Der95/12.typed
|
* | MAYBE
|
6.47 | * | MAYBE
|
5.48 | * | MAYBE
|
6.62 |
Der95/18.typed
|
* | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.35 |
Der95/20.typed
|
* | MAYBE
|
22.25 | * | MAYBE
|
7.29 | * | MAYBE
|
28.39 |
Der95/21.typed
|
* | MAYBE
|
50.30 | * | MAYBE
|
16.75 | * | MAYBE
|
48.81 |
Der95/27.typed
|
* | WORST_CASE(?,O(n^1))
|
0.34 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.38 |
Der95/32.typed
|
* | WORST_CASE(?,O(n^2))
|
4.64 | * | WORST_CASE(?,O(n^2))
|
31.94 | * | WORST_CASE(?,O(n^2))
|
31.96 |
Der95/33.typed
|
* | MAYBE
|
56.31 | * | MAYBE
|
56.10 | * | MAYBE
|
56.17 |
Endrullis_06/direct.typed
|
* | WORST_CASE(?,O(n^1))
|
3.78 | * | WORST_CASE(?,O(n^1))
|
3.01 | * | WORST_CASE(?,O(n^1))
|
4.91 |
Frederiksen_Glenstrup/ack.typed
|
* | MAYBE
|
14.98 | * | MAYBE
|
11.50 | * | MAYBE
|
21.67 |
Frederiksen_Glenstrup/add.typed
|
* | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
0.61 |
Frederiksen_Glenstrup/addlists.typed
|
* | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.61 |
Frederiksen_Glenstrup/anchored.typed
|
* | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.50 |
Frederiksen_Glenstrup/append.typed
|
* | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.34 |
Frederiksen_Glenstrup/assrewrite.typed
|
* | MAYBE
|
18.94 | * | MAYBE
|
56.53 | * | MAYBE
|
56.57 |
Frederiksen_Glenstrup/badd.typed
|
* | MAYBE
|
7.16 | * | MAYBE
|
7.10 | * | MAYBE
|
7.11 |
Frederiksen_Glenstrup/binom.typed
|
* | MAYBE
|
29.31 | * | MAYBE
|
44.80 | * | MAYBE
|
48.94 |
Frederiksen_Glenstrup/decrease.typed
|
* | WORST_CASE(?,O(n^1))
|
56.55 | * | WORST_CASE(?,O(n^1))
|
1.48 | * | WORST_CASE(?,O(n^1))
|
1.94 |
Frederiksen_Glenstrup/disjconj.typed
|
* | MAYBE
|
6.61 | * | MAYBE
|
24.95 | * | MAYBE
|
21.57 |
Frederiksen_Glenstrup/duplicate.typed
|
* | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.31 |
Frederiksen_Glenstrup/equal.typed
|
* | MAYBE
|
56.13 | * | MAYBE
|
56.55 | * | MAYBE
|
56.20 |
Frederiksen_Glenstrup/evenodd.typed
|
* | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
0.50 |
Frederiksen_Glenstrup/fold.typed
|
* | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
0.78 | * | WORST_CASE(?,O(n^1))
|
0.94 |
Frederiksen_Glenstrup/game.typed
|
* | WORST_CASE(?,O(n^1))
|
0.95 | * | WORST_CASE(?,O(n^1))
|
1.14 | * | WORST_CASE(?,O(n^1))
|
0.99 |
Frederiksen_Glenstrup/gcd.typed
|
* | MAYBE
|
56.33 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/gcd2.typed
|
* | MAYBE
|
57.46 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.28 |
Frederiksen_Glenstrup/increase.typed
|
* | MAYBE
|
56.47 | * | MAYBE
|
56.32 | * | MAYBE
|
56.43 |
Frederiksen_Glenstrup/int.typed
|
* | MAYBE
|
56.74 | * | MAYBE
|
57.04 | * | MAYBE
|
55.61 |
Frederiksen_Glenstrup/intlookup.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
8.52 | * | MAYBE
|
12.24 |
Frederiksen_Glenstrup/letexp.typed
|
* | MAYBE
|
7.06 | * | MAYBE
|
7.10 | * | MAYBE
|
7.12 |
Frederiksen_Glenstrup/list.typed
|
* | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
0.53 |
Frederiksen_Glenstrup/lte.typed
|
* | WORST_CASE(?,O(n^1))
|
1.27 | * | WORST_CASE(?,O(n^1))
|
1.19 | * | WORST_CASE(?,O(n^1))
|
1.16 |
Frederiksen_Glenstrup/map0.typed
|
* | WORST_CASE(?,O(n^1))
|
1.17 | * | WORST_CASE(?,O(n^1))
|
1.10 | * | WORST_CASE(?,O(n^1))
|
0.97 |
Frederiksen_Glenstrup/member.typed
|
* | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
1.63 | * | WORST_CASE(?,O(n^1))
|
1.50 |
Frederiksen_Glenstrup/mergelists.typed
|
* | WORST_CASE(?,O(n^1))
|
1.49 | * | WORST_CASE(?,O(n^1))
|
1.45 | * | WORST_CASE(?,O(n^1))
|
1.07 |
Frederiksen_Glenstrup/mergesort.typed
|
* | MAYBE
|
35.83 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/minsort.typed
|
* | MAYBE
|
12.72 | * | MAYBE
|
58.84 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/mul.typed
|
* | WORST_CASE(?,O(n^3))
|
3.94 | * | WORST_CASE(?,O(n^2))
|
4.38 | * | WORST_CASE(?,O(n^2))
|
5.24 |
Frederiksen_Glenstrup/mul_better.typed
|
* | WORST_CASE(?,O(n^3))
|
4.46 | * | WORST_CASE(?,O(n^2))
|
6.86 | * | WORST_CASE(?,O(n^2))
|
5.96 |
Frederiksen_Glenstrup/naiverev.typed
|
* | WORST_CASE(?,O(n^2))
|
12.58 | * | WORST_CASE(?,O(n^2))
|
7.11 | * | WORST_CASE(?,O(n^2))
|
7.09 |
Frederiksen_Glenstrup/nestdec.typed
|
* | WORST_CASE(?,O(n^1))
|
56.26 | * | WORST_CASE(?,O(n^1))
|
7.43 | * | WORST_CASE(?,O(n^1))
|
7.56 |
Frederiksen_Glenstrup/nesteql.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.55 | * | MAYBE
|
56.36 |
Frederiksen_Glenstrup/nestimeql.typed
|
* | MAYBE
|
56.53 | * | MAYBE
|
56.50 | * | MAYBE
|
56.40 |
Frederiksen_Glenstrup/nestinc.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
56.16 | * | MAYBE
|
56.35 |
Frederiksen_Glenstrup/nolexicord.typed
|
* | WORST_CASE(?,O(n^1))
|
56.82 | * | WORST_CASE(?,O(n^1))
|
56.65 | * | WORST_CASE(?,O(n^1))
|
57.06 |
Frederiksen_Glenstrup/ordered.typed
|
* | WORST_CASE(?,O(n^1))
|
1.55 | * | WORST_CASE(?,O(n^1))
|
1.72 | * | WORST_CASE(?,O(n^1))
|
1.57 |
Frederiksen_Glenstrup/ordered_better.typed
|
* | WORST_CASE(?,O(n^1))
|
1.76 | * | WORST_CASE(?,O(n^1))
|
1.58 | * | WORST_CASE(?,O(n^1))
|
1.74 |
Frederiksen_Glenstrup/overlap.typed
|
* | WORST_CASE(?,O(n^2))
|
4.83 | * | WORST_CASE(?,O(n^2))
|
18.96 | * | WORST_CASE(?,O(n^2))
|
5.96 |
Frederiksen_Glenstrup/parsexp.typed
|
* | MAYBE
|
16.94 | * | MAYBE
|
55.84 | * | MAYBE
|
56.54 |
Frederiksen_Glenstrup/permute.typed
|
* | MAYBE
|
56.46 | * | MAYBE
|
56.30 | * | MAYBE
|
56.45 |
Frederiksen_Glenstrup/power.typed
|
* | MAYBE
|
13.09 | * | MAYBE
|
56.57 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/quicksort.typed
|
* | MAYBE
|
44.43 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/revapp.typed
|
* | WORST_CASE(?,O(n^1))
|
7.09 | * | WORST_CASE(?,O(n^1))
|
7.13 | * | WORST_CASE(?,O(n^1))
|
7.24 |
Frederiksen_Glenstrup/select.typed
|
* | WORST_CASE(?,O(n^2))
|
1.35 | * | WORST_CASE(?,O(n^2))
|
6.46 | * | WORST_CASE(?,O(n^2))
|
3.30 |
Frederiksen_Glenstrup/shuffle.typed
|
* | WORST_CASE(?,O(n^3))
|
9.92 | * | WORST_CASE(?,O(n^3))
|
11.41 | * | WORST_CASE(?,O(n^3))
|
13.85 |
Frederiksen_Glenstrup/sp1.typed
|
* | MAYBE
|
7.16 | * | MAYBE
|
12.75 | * | MAYBE
|
14.28 |
Frederiksen_Glenstrup/subsets.typed
|
* | MAYBE
|
6.47 | * | MAYBE
|
29.72 | * | MAYBE
|
28.69 |
Frederiksen_Glenstrup/thetrick.typed
|
* | MAYBE
|
56.87 | * | MAYBE
|
59.04 | * | MAYBE
|
58.89 |
Frederiksen_Others/add.typed
|
* | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.28 |
Frederiksen_Others/assrewriteSize.typed
|
* | MAYBE
|
6.89 | * | MAYBE
|
56.60 | * | MAYBE
|
56.40 |
Frederiksen_Others/boolprog.typed
|
* | WORST_CASE(?,O(n^1))
|
2.63 | * | WORST_CASE(?,O(n^1))
|
2.43 | * | WORST_CASE(?,O(n^1))
|
2.52 |
Frederiksen_Others/bubblesort.typed
|
* | WORST_CASE(?,O(n^2))
|
36.89 | * | WORST_CASE(?,O(n^2))
|
40.50 | * | WORST_CASE(?,O(n^2))
|
44.08 |
Frederiksen_Others/deadcodeSize.typed
|
* | MAYBE
|
7.07 | * | MAYBE
|
7.08 | * | MAYBE
|
7.05 |
Frederiksen_Others/div2.typed
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.37 |
Frederiksen_Others/eq.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.13 |
Frederiksen_Others/ex6.typed
|
* | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
0.91 | * | WORST_CASE(?,O(n^1))
|
0.50 |
Frederiksen_Others/fgh.typed
|
* | MAYBE
|
6.93 | * | MAYBE
|
42.38 | * | MAYBE
|
39.72 |
Frederiksen_Others/fghSize.typed
|
* | MAYBE
|
5.96 | * | MAYBE
|
38.39 | * | MAYBE
|
43.50 |
Frederiksen_Others/gexgcd.typed
|
* | WORST_CASE(?,O(n^1))
|
48.47 | * | WORST_CASE(?,O(n^1))
|
48.40 | * | WORST_CASE(?,O(n^1))
|
44.58 |
Frederiksen_Others/gexgcd2.typed
|
* | MAYBE
|
13.14 | * | MAYBE
|
17.45 | * | MAYBE
|
20.24 |
Frederiksen_Others/inssort.typed
|
* | WORST_CASE(?,O(n^2))
|
35.98 | * | WORST_CASE(?,O(n^2))
|
34.70 | * | WORST_CASE(?,O(n^2))
|
36.67 |
Frederiksen_Others/inssort_better.typed
|
* | WORST_CASE(?,O(n^2))
|
7.01 | * | WORST_CASE(?,O(n^2))
|
23.71 | * | WORST_CASE(?,O(n^2))
|
26.23 |
Frederiksen_Others/match.typed
|
* | WORST_CASE(?,O(n^2))
|
2.60 | * | WORST_CASE(?,O(n^2))
|
2.82 | * | WORST_CASE(?,O(n^2))
|
2.76 |
Frederiksen_Others/minsortSize.typed
|
* | MAYBE
|
11.95 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/ocall-safe.typed
|
* | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.34 |
Frederiksen_Others/ocall-unsafe.typed
|
* | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.36 |
Frederiksen_Others/oddeven.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.36 |
Frederiksen_Others/permut.typed
|
* | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.22 |
Frederiksen_Others/power.typed
|
* | MAYBE
|
13.93 | * | MAYBE
|
48.49 | * | MAYBE
|
56.16 |
Frederiksen_Others/quicksortPtime.typed
|
* | WORST_CASE(?,O(n^2))
|
10.58 | * | WORST_CASE(?,O(n^2))
|
57.04 | * | WORST_CASE(?,O(n^2))
|
49.66 |
Frederiksen_Others/quicksortSize.typed
|
* | MAYBE
|
56.38 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.64 |
Frederiksen_Others/reach.typed
|
* | MAYBE
|
56.82 | * | MAYBE
|
57.13 | * | MAYBE
|
57.75 |
Frederiksen_Others/rematch.typed
|
* | MAYBE
|
58.49 | * | MAYBE
|
57.81 | * | MAYBE
|
56.55 |
Frederiksen_Others/strmatch.typed
|
* | WORST_CASE(?,O(n^2))
|
8.37 | * | WORST_CASE(?,O(n^2))
|
11.89 | * | WORST_CASE(?,O(n^2))
|
10.11 |
Frederiksen_Others/thetrickSize.typed
|
* | WORST_CASE(?,O(n^1))
|
3.31 | * | WORST_CASE(?,O(n^1))
|
5.41 | * | WORST_CASE(?,O(n^1))
|
4.72 |
GTSSK07/cade01.typed
|
* | MAYBE
|
4.17 | * | MAYBE
|
11.03 | * | MAYBE
|
11.56 |
GTSSK07/cade03.typed
|
* | MAYBE
|
4.23 | * | MAYBE
|
21.10 | * | MAYBE
|
26.41 |
GTSSK07/cade04t.typed
|
* | MAYBE
|
4.71 | * | MAYBE
|
22.39 | * | MAYBE
|
26.19 |
GTSSK07/cade05t.typed
|
* | MAYBE
|
56.20 | * | MAYBE
|
36.92 | * | MAYBE
|
56.27 |
GTSSK07/cade06.typed
|
* | MAYBE
|
56.24 | * | MAYBE
|
28.95 | * | MAYBE
|
56.17 |
GTSSK07/cade07.typed
|
* | MAYBE
|
24.83 | * | MAYBE
|
35.27 | * | MAYBE
|
38.75 |
GTSSK07/cade08.typed
|
* | MAYBE
|
56.18 | * | MAYBE
|
28.62 | * | MAYBE
|
56.16 |
GTSSK07/cade09.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.07 | * | MAYBE
|
56.08 |
GTSSK07/cade10.typed
|
* | MAYBE
|
56.06 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
GTSSK07/cade11.typed
|
* | MAYBE
|
14.23 | * | MAYBE
|
14.34 | * | MAYBE
|
16.28 |
GTSSK07/cade12t.typed
|
* | MAYBE
|
56.24 | * | MAYBE
|
56.23 | * | MAYBE
|
56.34 |
GTSSK07/cade13t.typed
|
* | MAYBE
|
6.73 | * | MAYBE
|
34.71 | * | MAYBE
|
34.95 |
GTSSK07/cade14.typed
|
* | MAYBE
|
16.35 | * | MAYBE
|
47.32 | * | MAYBE
|
44.72 |
GTSSK07/cade15.typed
|
* | MAYBE
|
56.17 | * | TIMEOUT
|
60.00 | * | MAYBE
|
57.08 |
GTSSK07/cade16.typed
|
* | MAYBE
|
26.72 | * | MAYBE
|
23.32 | * | MAYBE
|
36.02 |
GTSSK07/cade17.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.44 | * | TIMEOUT
|
60.00 |
HirokawaMiddeldorp_04/n002.typed
|
* | MAYBE
|
7.17 | * | MAYBE
|
7.03 | * | MAYBE
|
7.08 |
HirokawaMiddeldorp_04/n003.typed
|
* | MAYBE
|
7.05 | * | MAYBE
|
7.03 | * | MAYBE
|
7.12 |
HirokawaMiddeldorp_04/n004.typed
|
* | MAYBE
|
7.09 | * | MAYBE
|
7.07 | * | MAYBE
|
7.11 |
HirokawaMiddeldorp_04/n005.typed
|
* | MAYBE
|
7.05 | * | MAYBE
|
7.10 | * | MAYBE
|
7.06 |
HirokawaMiddeldorp_04/n006.typed
|
* | MAYBE
|
7.08 | * | MAYBE
|
7.13 | * | MAYBE
|
7.14 |
HirokawaMiddeldorp_04/n007.typed
|
* | MAYBE
|
1.10 | * | MAYBE
|
2.15 | * | MAYBE
|
2.84 |
HirokawaMiddeldorp_04/t001.typed
|
* | MAYBE
|
56.45 | * | MAYBE
|
55.36 | * | MAYBE
|
59.10 |
HirokawaMiddeldorp_04/t002.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
52.00 | * | TIMEOUT
|
60.00 |
HirokawaMiddeldorp_04/t003.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
30.81 | * | MAYBE
|
56.59 |
HirokawaMiddeldorp_04/t004.typed
|
* | MAYBE
|
38.39 | * | MAYBE
|
25.34 | * | MAYBE
|
50.35 |
HirokawaMiddeldorp_04/t009.typed
|
* | MAYBE
|
55.22 | * | MAYBE
|
56.47 | * | MAYBE
|
56.76 |
HirokawaMiddeldorp_04/t011.typed
|
* | WORST_CASE(?,O(n^1))
|
7.11 | * | WORST_CASE(?,O(n^1))
|
7.09 | * | WORST_CASE(?,O(n^1))
|
7.08 |
HirokawaMiddeldorp_04/t012.typed
|
* | MAYBE
|
56.13 | * | MAYBE
|
7.11 | * | MAYBE
|
56.23 |
HirokawaMiddeldorp_04/t013.typed
|
* | MAYBE
|
28.61 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.34 |
HirokawaMiddeldorp_04/t014.typed
|
* | WORST_CASE(?,O(n^2))
|
3.63 | * | WORST_CASE(?,O(n^2))
|
4.71 | * | WORST_CASE(?,O(n^2))
|
5.35 |
Mixed_TRS/Ex1_Luc04b_GM.typed
|
* | MAYBE
|
13.94 | * | MAYBE
|
56.30 | * | MAYBE
|
56.82 |
Mixed_TRS/fossacs.typed
|
* | MAYBE
|
47.71 | * | MAYBE
|
36.58 | * | TIMEOUT
|
60.00 |
Mixed_TRS/gcd.typed
|
* | MAYBE
|
56.33 | * | MAYBE
|
56.22 | * | MAYBE
|
56.24 |
Mixed_TRS/gcdMinMax.typed
|
* | MAYBE
|
56.33 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.51 |
Mixed_TRS/gcd_triple.typed
|
* | MAYBE
|
56.40 | * | MAYBE
|
56.19 | * | MAYBE
|
56.26 |
Mixed_TRS/hydra-Zantema06.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
56.25 | * | MAYBE
|
56.47 |
Mixed_TRS/hydra.typed
|
* | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
1.33 |
Mixed_TRS/jones1.typed
|
* | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
0.51 |
Mixed_TRS/jones2.typed
|
* | WORST_CASE(?,O(n^1))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
1.11 |
Mixed_TRS/jones4.typed
|
* | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.54 |
Mixed_TRS/jones5.typed
|
* | MAYBE
|
2.14 | * | MAYBE
|
10.95 | * | MAYBE
|
13.57 |
Mixed_TRS/jones6.typed
|
* | WORST_CASE(?,O(n^1))
|
0.73 | * | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^1))
|
0.96 |
Mixed_TRS/minsort.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
56.49 | * | MAYBE
|
56.22 |
Mixed_TRS/perfect.typed
|
* | WORST_CASE(?,O(n^1))
|
1.02 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
1.13 |
Mixed_TRS/perfect2.typed
|
* | MAYBE
|
56.20 | * | MAYBE
|
47.86 | * | MAYBE
|
56.36 |
Mixed_TRS/test1.typed
|
* | MAYBE
|
1.74 | * | MAYBE
|
22.59 | * | MAYBE
|
23.92 |
Mixed_TRS/while.typed
|
* | MAYBE
|
6.08 | * | MAYBE
|
10.11 | * | MAYBE
|
10.50 |
Rubio_04/bintrees.typed
|
* | WORST_CASE(?,O(n^1))
|
8.58 | * | WORST_CASE(?,O(n^1))
|
2.30 | * | WORST_CASE(?,O(n^1))
|
2.29 |
Rubio_04/bn122.typed
|
* | WORST_CASE(?,O(n^1))
|
0.70 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.23 |
Rubio_04/division.typed
|
* | WORST_CASE(?,O(n^3))
|
14.89 | * | WORST_CASE(?,O(n^3))
|
14.93 | * | WORST_CASE(?,O(n^3))
|
16.66 |
Rubio_04/elimdupl.typed
|
* | WORST_CASE(?,O(n^2))
|
23.70 | * | WORST_CASE(?,O(n^2))
|
23.53 | * | WORST_CASE(?,O(n^2))
|
25.06 |
Rubio_04/enno.typed
|
* | WORST_CASE(?,O(n^2))
|
56.53 | * | WORST_CASE(?,O(n^2))
|
31.77 | * | WORST_CASE(?,O(n^2))
|
25.93 |
Rubio_04/gcd.typed
|
* | WORST_CASE(?,O(n^2))
|
13.67 | * | WORST_CASE(?,O(n^2))
|
29.59 | * | WORST_CASE(?,O(n^2))
|
37.74 |
Rubio_04/gm.typed
|
* | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
0.86 | * | WORST_CASE(?,O(n^1))
|
1.14 |
Rubio_04/gmnp.typed
|
* | WORST_CASE(?,O(n^1))
|
1.04 | * | WORST_CASE(?,O(n^1))
|
1.07 | * | WORST_CASE(?,O(n^1))
|
0.78 |
Rubio_04/koen.typed
|
* | WORST_CASE(?,O(1))
|
0.28 | * | WORST_CASE(?,O(1))
|
0.21 | * | WORST_CASE(?,O(1))
|
0.18 |
Rubio_04/logarquot.typed
|
* | WORST_CASE(?,O(n^2))
|
5.43 | * | WORST_CASE(?,O(n^2))
|
2.78 | * | WORST_CASE(?,O(n^2))
|
2.58 |
Rubio_04/ma96.typed
|
* | MAYBE
|
56.15 | * | MAYBE
|
56.31 | * | MAYBE
|
58.23 |
Rubio_04/mfp95.typed
|
* | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.06 |
Rubio_04/nestrec.typed
|
* | MAYBE
|
42.74 | * | MAYBE
|
47.34 | * | MAYBE
|
52.85 |
Rubio_04/p266.typed
|
* | WORST_CASE(?,O(1))
|
0.20 | * | WORST_CASE(?,O(1))
|
0.51 | * | WORST_CASE(?,O(1))
|
0.26 |
Rubio_04/polo2.typed
|
* | WORST_CASE(?,O(n^1))
|
3.89 | * | WORST_CASE(?,O(n^1))
|
18.26 | * | WORST_CASE(?,O(n^1))
|
7.51 |
Rubio_04/prov.typed
|
* | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
0.29 |
Rubio_04/quick.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.24 | * | MAYBE
|
56.16 |
Rubio_04/quotminus.typed
|
* | MAYBE
|
10.39 | * | MAYBE
|
19.37 | * | MAYBE
|
21.42 |
Rubio_04/revlist.typed
|
* | MAYBE
|
56.16 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.13 |
Rubio_04/selsort.typed
|
* | WORST_CASE(?,O(n^2))
|
57.27 | * | WORST_CASE(?,O(n^2))
|
57.27 | * | WORST_CASE(?,O(n^2))
|
57.57 |
Rubio_04/test4.typed
|
* | WORST_CASE(?,O(n^1))
|
1.85 | * | WORST_CASE(?,O(n^1))
|
2.14 | * | WORST_CASE(?,O(n^1))
|
1.75 |
Rubio_04/test829.typed
|
* | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
0.49 |
Rubio_04/wst99.typed
|
* | WORST_CASE(?,O(n^2))
|
7.03 | * | WORST_CASE(?,O(n^2))
|
58.09 | * | WORST_CASE(?,O(n^2))
|
43.08 |
SK90/2.02.typed
|
* | WORST_CASE(?,O(n^1))
|
6.18 | * | WORST_CASE(?,O(n^1))
|
5.36 | * | WORST_CASE(?,O(n^1))
|
4.43 |
SK90/2.03.typed
|
* | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.32 |
SK90/2.07.typed
|
* | WORST_CASE(?,O(n^1))
|
1.36 | * | WORST_CASE(?,O(n^1))
|
2.74 | * | WORST_CASE(?,O(n^1))
|
1.37 |
SK90/2.09.typed
|
* | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
0.18 |
SK90/2.11.typed
|
* | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.19 |
SK90/2.12.typed
|
* | WORST_CASE(?,O(n^3))
|
7.13 | * | WORST_CASE(?,O(n^3))
|
5.84 | * | WORST_CASE(?,O(n^3))
|
6.76 |
SK90/2.13.typed
|
* | WORST_CASE(?,O(n^1))
|
0.81 | * | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^1))
|
0.72 |
SK90/2.14.typed
|
* | WORST_CASE(?,O(n^1))
|
1.14 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
0.41 |
SK90/2.15.typed
|
* | MAYBE
|
2.25 | * | MAYBE
|
4.04 | * | MAYBE
|
2.15 |
SK90/2.16.typed
|
* | WORST_CASE(?,O(n^2))
|
1.67 | * | WORST_CASE(?,O(n^2))
|
1.97 | * | WORST_CASE(?,O(n^2))
|
2.36 |
SK90/2.17.typed
|
* | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.54 |
SK90/2.18.typed
|
* | WORST_CASE(?,O(n^2))
|
1.25 | * | WORST_CASE(?,O(n^2))
|
10.75 | * | WORST_CASE(?,O(n^2))
|
1.68 |
SK90/2.19.typed
|
* | WORST_CASE(?,O(n^2))
|
2.87 | * | WORST_CASE(?,O(n^2))
|
2.65 | * | WORST_CASE(?,O(n^2))
|
3.53 |
SK90/2.20.typed
|
* | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.45 |
SK90/2.21.typed
|
* | MAYBE
|
2.26 | * | MAYBE
|
3.64 | * | MAYBE
|
5.00 |
SK90/2.22.typed
|
* | WORST_CASE(?,O(n^2))
|
1.58 | * | WORST_CASE(?,O(n^2))
|
2.29 | * | WORST_CASE(?,O(n^2))
|
1.79 |
SK90/2.23.typed
|
* | MAYBE
|
10.17 | * | MAYBE
|
24.82 | * | MAYBE
|
32.94 |
SK90/2.24.typed
|
* | MAYBE
|
1.97 | * | MAYBE
|
16.52 | * | MAYBE
|
17.33 |
SK90/2.25.typed
|
* | MAYBE
|
7.31 | * | MAYBE
|
46.73 | * | MAYBE
|
39.09 |
SK90/2.26.typed
|
* | MAYBE
|
39.67 | * | MAYBE
|
56.14 | * | MAYBE
|
56.28 |
SK90/2.27.typed
|
* | MAYBE
|
24.06 | * | MAYBE
|
33.21 | * | MAYBE
|
33.97 |
SK90/2.28.typed
|
* | MAYBE
|
2.50 | * | MAYBE
|
5.49 | * | MAYBE
|
6.00 |
SK90/2.29.typed
|
* | WORST_CASE(?,O(n^1))
|
0.62 | * | WORST_CASE(?,O(n^1))
|
0.70 | * | WORST_CASE(?,O(n^1))
|
1.13 |
SK90/2.30.typed
|
* | WORST_CASE(?,O(1))
|
0.24 | * | WORST_CASE(?,O(1))
|
0.33 | * | WORST_CASE(?,O(1))
|
0.12 |
SK90/2.31.typed
|
* | WORST_CASE(?,O(n^1))
|
0.53 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.18 |
SK90/2.36.typed
|
* | WORST_CASE(?,O(n^1))
|
7.13 | * | WORST_CASE(?,O(n^1))
|
7.10 | * | WORST_CASE(?,O(n^1))
|
7.08 |
SK90/2.37.typed
|
* | WORST_CASE(?,O(1))
|
0.30 | * | WORST_CASE(?,O(1))
|
0.20 | * | WORST_CASE(?,O(1))
|
0.40 |
SK90/2.38.typed
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.37 |
SK90/2.39.typed
|
* | WORST_CASE(?,O(n^2))
|
7.19 | * | WORST_CASE(?,O(n^2))
|
7.20 | * | WORST_CASE(?,O(n^2))
|
7.18 |
SK90/2.40.typed
|
* | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
0.21 |
SK90/2.41.typed
|
* | WORST_CASE(?,O(n^1))
|
0.82 | * | WORST_CASE(?,O(n^1))
|
0.74 | * | WORST_CASE(?,O(n^1))
|
0.42 |
SK90/2.42.typed
|
* | WORST_CASE(?,O(n^1))
|
4.03 | * | WORST_CASE(?,O(n^1))
|
4.25 | * | WORST_CASE(?,O(n^1))
|
2.63 |
SK90/2.43.typed
|
* | MAYBE
|
26.90 | * | MAYBE
|
6.16 | * | MAYBE
|
29.80 |
SK90/2.44.typed
|
* | WORST_CASE(?,O(n^1))
|
2.37 | * | WORST_CASE(?,O(n^1))
|
1.73 | * | WORST_CASE(?,O(n^1))
|
1.12 |
SK90/2.45.typed
|
* | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
0.91 |
SK90/2.47.typed
|
* | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.15 |
SK90/2.48.typed
|
* | WORST_CASE(?,O(1))
|
0.29 | * | WORST_CASE(?,O(1))
|
0.25 | * | WORST_CASE(?,O(1))
|
0.24 |
SK90/2.49.typed
|
* | WORST_CASE(?,O(1))
|
0.45 | * | WORST_CASE(?,O(1))
|
0.49 | * | WORST_CASE(?,O(1))
|
0.88 |
SK90/2.50.typed
|
* | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.08 |
SK90/2.51.typed
|
* | MAYBE
|
15.16 | * | MAYBE
|
16.82 | * | MAYBE
|
18.79 |
SK90/2.52.typed
|
* | MAYBE
|
56.23 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
SK90/2.53.typed
|
* | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.40 |
SK90/2.54.typed
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.15 |
SK90/2.55.typed
|
* | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.33 |
SK90/2.59.typed
|
* | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.24 |
SK90/2.61.typed
|
* | WORST_CASE(?,O(n^1))
|
1.05 | * | WORST_CASE(?,O(n^1))
|
1.16 | * | WORST_CASE(?,O(n^1))
|
0.91 |
SK90/4.05.typed
|
* | WORST_CASE(?,O(n^2))
|
1.08 | * | WORST_CASE(?,O(n^2))
|
1.74 | * | WORST_CASE(?,O(n^2))
|
1.17 |
SK90/4.06.typed
|
* | MAYBE
|
7.88 | * | MAYBE
|
8.20 | * | MAYBE
|
7.52 |
SK90/4.07.typed
|
* | WORST_CASE(?,O(1))
|
0.14 | * | WORST_CASE(?,O(1))
|
0.10 | * | WORST_CASE(?,O(1))
|
0.10 |
SK90/4.09.typed
|
* | WORST_CASE(?,O(1))
|
1.31 | * | WORST_CASE(?,O(1))
|
56.24 | * | WORST_CASE(?,O(1))
|
1.66 |
SK90/4.10.typed
|
* | WORST_CASE(?,O(n^2))
|
1.22 | * | WORST_CASE(?,O(n^2))
|
1.51 | * | WORST_CASE(?,O(n^2))
|
2.30 |
SK90/4.12.typed
|
* | WORST_CASE(?,O(n^1))
|
7.10 | * | WORST_CASE(?,O(n^1))
|
7.16 | * | WORST_CASE(?,O(n^1))
|
7.12 |
SK90/4.13.typed
|
* | WORST_CASE(?,O(n^2))
|
2.63 | * | WORST_CASE(?,O(n^2))
|
1.47 | * | WORST_CASE(?,O(n^2))
|
2.15 |
SK90/4.16.typed
|
* | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.38 |
SK90/4.17.typed
|
* | WORST_CASE(?,O(n^2))
|
15.22 | * | WORST_CASE(?,O(n^2))
|
15.02 | * | WORST_CASE(?,O(n^2))
|
15.51 |
SK90/4.18.typed
|
* | WORST_CASE(?,O(1))
|
0.16 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.14 |
SK90/4.22.typed
|
* | MAYBE
|
8.92 | * | MAYBE
|
34.42 | * | MAYBE
|
37.85 |
SK90/4.24.typed
|
* | MAYBE
|
56.12 | * | MAYBE
|
59.94 | * | MAYBE
|
56.25 |
SK90/4.25.typed
|
* | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.54 |
SK90/4.26.typed
|
* | WORST_CASE(?,O(n^1))
|
2.94 | * | WORST_CASE(?,O(n^1))
|
1.73 | * | WORST_CASE(?,O(n^1))
|
3.56 |
SK90/4.27.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
56.14 | * | MAYBE
|
56.10 |
SK90/4.28.typed
|
* | WORST_CASE(?,O(n^1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
1.22 | * | WORST_CASE(?,O(n^1))
|
0.87 |
SK90/4.29.typed
|
* | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.43 |
SK90/4.30.typed
|
* | WORST_CASE(?,O(n^1))
|
3.70 | * | WORST_CASE(?,O(n^1))
|
4.59 | * | WORST_CASE(?,O(n^1))
|
5.35 |
SK90/4.31.typed
|
* | MAYBE
|
5.96 | * | MAYBE
|
8.04 | * | MAYBE
|
8.90 |
SK90/4.34.typed
|
* | MAYBE
|
14.35 | * | MAYBE
|
18.50 | * | MAYBE
|
19.08 |
SK90/4.35.typed
|
* | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.09 |
SK90/4.38.typed
|
* | WORST_CASE(?,O(n^1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
0.32 |
SK90/4.42.typed
|
* | MAYBE
|
6.61 | * | MAYBE
|
19.00 | * | MAYBE
|
33.87 |
SK90/4.43.typed
|
* | WORST_CASE(?,O(n^3))
|
8.10 | * | WORST_CASE(?,O(n^3))
|
10.96 | * | WORST_CASE(?,O(n^3))
|
13.86 |
SK90/4.45.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.22 |
SK90/4.47.typed
|
* | WORST_CASE(?,O(1))
|
0.23 | * | WORST_CASE(?,O(1))
|
0.16 | * | WORST_CASE(?,O(1))
|
0.28 |
SK90/4.48.typed
|
* | WORST_CASE(?,O(1))
|
0.21 | * | WORST_CASE(?,O(1))
|
0.19 | * | WORST_CASE(?,O(1))
|
0.14 |
SK90/4.51.typed
|
* | WORST_CASE(?,O(n^1))
|
0.81 | * | WORST_CASE(?,O(n^1))
|
0.90 | * | WORST_CASE(?,O(n^1))
|
0.57 |
SK90/4.53.typed
|
* | WORST_CASE(?,O(n^1))
|
1.26 | * | WORST_CASE(?,O(n^1))
|
13.69 | * | WORST_CASE(?,O(n^1))
|
1.93 |
SK90/4.54.typed
|
* | MAYBE
|
5.15 | * | MAYBE
|
25.63 | * | MAYBE
|
20.03 |
SK90/4.57.typed
|
* | WORST_CASE(?,O(1))
|
56.29 | * | WORST_CASE(?,O(1))
|
7.01 | * | WORST_CASE(?,O(1))
|
56.10 |
SK90/4.59.typed
|
* | MAYBE
|
10.07 | * | MAYBE
|
28.06 | * | MAYBE
|
37.12 |
SK90/4.60.typed
|
* | MAYBE
|
56.28 | * | MAYBE
|
12.33 | * | MAYBE
|
56.21 |
SK90/4.61.typed
|
* | MAYBE
|
56.37 | * | MAYBE
|
55.39 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/aprove2.typed
|
* | MAYBE
|
34.77 | * | MAYBE
|
55.00 | * | MAYBE
|
58.20 |
Secret_05_TRS/aprove3.typed
|
* | MAYBE
|
15.24 | * | MAYBE
|
27.24 | * | MAYBE
|
34.63 |
Secret_05_TRS/aprove4.typed
|
* | MAYBE
|
7.90 | * | MAYBE
|
30.46 | * | MAYBE
|
28.82 |
Secret_05_TRS/aprove5.typed
|
* | MAYBE
|
25.57 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/cime2.typed
|
* | WORST_CASE(?,O(n^1))
|
5.14 | * | WORST_CASE(?,O(n^1))
|
5.15 | * | WORST_CASE(?,O(n^1))
|
6.28 |
Secret_05_TRS/cime3.typed
|
* | MAYBE
|
10.43 | * | MAYBE
|
57.07 | * | MAYBE
|
56.80 |
Secret_05_TRS/cime4.typed
|
* | WORST_CASE(?,O(1))
|
2.20 | * | WORST_CASE(?,O(1))
|
2.53 | * | WORST_CASE(?,O(1))
|
2.75 |
Secret_05_TRS/cime5.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
56.33 | * | MAYBE
|
56.49 |
Secret_05_TRS/tpa1.typed
|
* | MAYBE
|
56.23 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.30 |
Secret_05_TRS/tpa2.typed
|
* | MAYBE
|
56.39 | * | WORST_CASE(?,O(n^2))
|
18.62 | * | MAYBE
|
56.21 |
Secret_05_TRS/tpa3.typed
|
* | MAYBE
|
56.18 | * | MAYBE
|
54.21 | * | MAYBE
|
56.31 |
Secret_05_TRS/tpa4.typed
|
* | MAYBE
|
56.30 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.24 |
Secret_05_TRS/tpa5.typed
|
* | MAYBE
|
56.25 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.30 |
Secret_05_TRS/ttt1.typed
|
* | WORST_CASE(?,O(1))
|
5.43 | * | WORST_CASE(?,O(1))
|
1.71 | * | WORST_CASE(?,O(1))
|
4.26 |
Secret_05_TRS/ttt2.typed
|
* | MAYBE
|
13.16 | * | MAYBE
|
13.21 | * | MAYBE
|
14.14 |
Secret_06_TRS/10.typed
|
* | WORST_CASE(?,O(1))
|
0.25 | * | WORST_CASE(?,O(1))
|
0.32 | * | WORST_CASE(?,O(1))
|
0.28 |
Secret_06_TRS/4.typed
|
* | WORST_CASE(?,O(n^1))
|
14.98 | * | WORST_CASE(?,O(n^1))
|
30.70 | * | WORST_CASE(?,O(n^1))
|
33.40 |
Secret_06_TRS/6.typed
|
* | WORST_CASE(?,O(1))
|
0.25 | * | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
0.31 |
Secret_06_TRS/addList.typed
|
* | MAYBE
|
56.68 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/divExp.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
54.26 | * | MAYBE
|
56.14 |
Secret_06_TRS/division.typed
|
* | MAYBE
|
19.00 | * | MAYBE
|
49.17 | * | MAYBE
|
52.16 |
Secret_06_TRS/double.typed
|
* | MAYBE
|
38.84 | * | MAYBE
|
56.29 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/gen-1.typed
|
* | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
0.12 |
Secret_06_TRS/gen-17.typed
|
* | WORST_CASE(?,O(1))
|
12.31 | * | WORST_CASE(?,O(1))
|
4.21 | * | WORST_CASE(?,O(1))
|
56.28 |
Secret_06_TRS/gen-28.typed
|
* | MAYBE
|
9.86 | * | MAYBE
|
19.05 | * | MAYBE
|
26.14 |
Secret_06_TRS/logarithm.typed
|
* | MAYBE
|
56.19 | * | MAYBE
|
56.11 | * | MAYBE
|
56.50 |
Secret_06_TRS/nrOfNodes.typed
|
* | MAYBE
|
56.18 | * | MAYBE
|
47.37 | * | MAYBE
|
56.30 |
Secret_06_TRS/reverse.typed
|
* | MAYBE
|
56.24 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/sumList.typed
|
* | MAYBE
|
43.66 | * | MAYBE
|
49.75 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/times.typed
|
* | MAYBE
|
17.56 | * | MAYBE
|
51.21 | * | MAYBE
|
57.35 |
Secret_06_TRS/toList.typed
|
* | MAYBE
|
56.24 | * | MAYBE
|
59.61 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/tpa04.typed
|
* | MAYBE
|
56.28 | * | MAYBE
|
56.12 | * | MAYBE
|
56.22 |
Secret_06_TRS/tpa05.typed
|
* | MAYBE
|
56.11 | * | MAYBE
|
56.06 | * | MAYBE
|
56.18 |
Secret_06_TRS/tpa06.typed
|
* | MAYBE
|
56.15 | * | MAYBE
|
56.25 | * | MAYBE
|
56.29 |
Secret_06_TRS/tpa07.typed
|
* | MAYBE
|
56.36 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.29 |
Secret_06_TRS/tpa08.typed
|
* | MAYBE
|
56.11 | * | MAYBE
|
56.10 | * | MAYBE
|
58.17 |
Secret_06_TRS/tpa09.typed
|
* | MAYBE
|
56.36 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.32 |
Secret_06_TRS/tpa10.typed
|
* | MAYBE
|
56.46 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.08 |
Secret_07_TRS/3.typed
|
* | WORST_CASE(?,O(n^1))
|
56.39 | * | WORST_CASE(?,O(n^1))
|
23.02 | * | WORST_CASE(?,O(n^1))
|
56.65 |
Secret_07_TRS/aprove01.typed
|
* | MAYBE
|
38.93 | * | MAYBE
|
56.32 | * | MAYBE
|
56.26 |
Secret_07_TRS/aprove02.typed
|
* | MAYBE
|
25.20 | * | MAYBE
|
56.47 | * | MAYBE
|
59.44 |
Secret_07_TRS/aprove03.typed
|
* | MAYBE
|
56.35 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.18 |
Secret_07_TRS/aprove04.typed
|
* | MAYBE
|
56.34 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.62 |
Secret_07_TRS/aprove05.typed
|
* | MAYBE
|
56.33 | * | MAYBE
|
58.29 | * | MAYBE
|
56.58 |
Secret_07_TRS/aprove06.typed
|
* | MAYBE
|
56.44 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.56 |
Secret_07_TRS/aprove07.typed
|
* | MAYBE
|
39.89 | * | MAYBE
|
40.74 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/aprove08.typed
|
* | MAYBE
|
41.58 | * | MAYBE
|
58.13 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/aprove09.typed
|
* | MAYBE
|
23.22 | * | MAYBE
|
58.70 | * | MAYBE
|
56.40 |
Secret_07_TRS/aprove10.typed
|
* | MAYBE
|
56.20 | * | MAYBE
|
56.11 | * | MAYBE
|
56.74 |
Secret_07_TRS/secret1.typed
|
* | MAYBE
|
41.83 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.78 |
Secret_07_TRS/secret3.typed
|
* | MAYBE
|
16.92 | * | MAYBE
|
31.56 | * | MAYBE
|
36.64 |
Secret_07_TRS/secret4.typed
|
* | MAYBE
|
56.17 | * | MAYBE
|
30.92 | * | MAYBE
|
56.32 |
Secret_07_TRS/secret5.typed
|
* | WORST_CASE(?,O(n^1))
|
1.50 | * | WORST_CASE(?,O(n^1))
|
1.67 | * | WORST_CASE(?,O(n^1))
|
1.38 |
Strategy_removed_AG01/#4.14.typed
|
* | WORST_CASE(?,O(n^1))
|
21.54 | * | WORST_CASE(?,O(n^1))
|
23.57 | * | WORST_CASE(?,O(n^1))
|
25.59 |
Strategy_removed_AG01/#4.16.typed
|
* | WORST_CASE(?,O(n^1))
|
2.02 | * | WORST_CASE(?,O(n^1))
|
2.74 | * | WORST_CASE(?,O(n^1))
|
2.14 |
Strategy_removed_AG01/#4.17.typed
|
* | WORST_CASE(?,O(n^1))
|
56.07 | * | WORST_CASE(?,O(n^1))
|
56.07 | * | WORST_CASE(?,O(n^1))
|
56.04 |
Strategy_removed_AG01/#4.19.typed
|
* | MAYBE
|
4.08 | * | MAYBE
|
59.62 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/#4.2.typed
|
* | WORST_CASE(?,O(n^1))
|
56.24 | * | WORST_CASE(?,O(n^1))
|
56.07 | * | WORST_CASE(?,O(n^1))
|
0.34 |
Strategy_removed_AG01/#4.20a.typed
|
* | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
1.09 |
Strategy_removed_AG01/#4.22.typed
|
* | WORST_CASE(?,O(n^1))
|
1.49 | * | WORST_CASE(?,O(n^1))
|
4.06 | * | WORST_CASE(?,O(n^1))
|
4.34 |
Strategy_removed_AG01/#4.23.typed
|
* | MAYBE
|
8.22 | * | MAYBE
|
36.99 | * | MAYBE
|
36.20 |
Strategy_removed_AG01/#4.25.typed
|
* | MAYBE
|
1.29 | * | MAYBE
|
0.87 | * | MAYBE
|
1.86 |
Strategy_removed_AG01/#4.26.typed
|
* | MAYBE
|
6.27 | * | MAYBE
|
14.22 | * | MAYBE
|
21.32 |
Strategy_removed_AG01/#4.27.typed
|
* | WORST_CASE(?,O(n^3))
|
3.51 | * | WORST_CASE(?,O(n^2))
|
2.73 | * | WORST_CASE(?,O(n^2))
|
5.27 |
Strategy_removed_AG01/#4.28.typed
|
* | WORST_CASE(?,O(n^1))
|
7.07 | * | WORST_CASE(?,O(n^1))
|
7.05 | * | WORST_CASE(?,O(n^1))
|
7.07 |
Strategy_removed_AG01/#4.29.typed
|
* | MAYBE
|
56.10 | * | MAYBE
|
58.88 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/#4.30.typed
|
* | MAYBE
|
25.51 | * | MAYBE
|
41.43 | * | MAYBE
|
50.62 |
Strategy_removed_AG01/#4.30a.typed
|
* | MAYBE
|
2.99 | * | MAYBE
|
17.57 | * | MAYBE
|
19.77 |
Strategy_removed_AG01/#4.30b.typed
|
* | MAYBE
|
56.12 | * | MAYBE
|
56.22 | * | MAYBE
|
56.43 |
Strategy_removed_AG01/#4.30c.typed
|
* | MAYBE
|
56.09 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.24 |
Strategy_removed_AG01/#4.32.typed
|
* | WORST_CASE(?,O(n^2))
|
1.23 | * | WORST_CASE(?,O(n^2))
|
1.07 | * | WORST_CASE(?,O(n^2))
|
1.18 |
Strategy_removed_AG01/#4.33.typed
|
* | WORST_CASE(?,O(n^3))
|
17.75 | * | WORST_CASE(?,O(n^3))
|
29.11 | * | WORST_CASE(?,O(n^3))
|
40.81 |
Strategy_removed_AG01/#4.34.typed
|
* | WORST_CASE(?,O(n^1))
|
2.96 | * | WORST_CASE(?,O(n^1))
|
1.59 | * | WORST_CASE(?,O(n^1))
|
4.10 |
Strategy_removed_AG01/#4.35.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.56 | * | MAYBE
|
56.92 |
Strategy_removed_AG01/#4.36.typed
|
* | WORST_CASE(?,O(n^2))
|
57.32 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/#4.37.typed
|
* | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.45 |
Strategy_removed_AG01/#4.37a.typed
|
* | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^1))
|
0.81 |
Strategy_removed_AG01/#4.7.typed
|
* | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.10 | * | WORST_CASE(?,O(1))
|
0.08 |
Strategy_removed_CSR_05/Ex14_AEGL02.typed
|
* | MAYBE
|
1.08 | * | MAYBE
|
1.19 | * | MAYBE
|
1.39 |
Strategy_removed_CSR_05/Ex15_Luc98.typed
|
* | MAYBE
|
3.16 | * | MAYBE
|
3.98 | * | MAYBE
|
3.68 |
Strategy_removed_CSR_05/Ex1_2_AEL03.typed
|
* | MAYBE
|
3.35 | * | MAYBE
|
7.84 | * | MAYBE
|
5.77 |
Strategy_removed_CSR_05/Ex1_2_Luc02c.typed
|
* | MAYBE
|
0.97 | * | MAYBE
|
2.16 | * | MAYBE
|
2.17 |
Strategy_removed_CSR_05/Ex1_GL02a.typed
|
* | MAYBE
|
2.54 | * | MAYBE
|
2.24 | * | MAYBE
|
3.98 |
Strategy_removed_CSR_05/Ex1_GM03.typed
|
* | MAYBE
|
15.07 | * | MAYBE
|
3.41 | * | MAYBE
|
16.33 |
Strategy_removed_CSR_05/Ex1_Luc02b.typed
|
* | MAYBE
|
3.09 | * | MAYBE
|
4.51 | * | MAYBE
|
4.03 |
Strategy_removed_CSR_05/Ex1_Zan97.typed
|
* | MAYBE
|
16.16 | * | MAYBE
|
16.78 | * | MAYBE
|
16.38 |
Strategy_removed_CSR_05/Ex26_Luc03b.typed
|
* | MAYBE
|
10.99 | * | MAYBE
|
23.17 | * | MAYBE
|
24.64 |
Strategy_removed_CSR_05/Ex2_Luc03b.typed
|
* | MAYBE
|
2.26 | * | MAYBE
|
3.92 | * | MAYBE
|
3.57 |
Strategy_removed_CSR_05/Ex3_12_Luc96a.typed
|
* | MAYBE
|
2.21 | * | MAYBE
|
3.43 | * | MAYBE
|
2.58 |
Strategy_removed_CSR_05/Ex3_2_Luc97.typed
|
* | MAYBE
|
3.17 | * | MAYBE
|
4.59 | * | MAYBE
|
8.13 |
Strategy_removed_CSR_05/Ex3_3_25_Bor03.typed
|
* | MAYBE
|
7.43 | * | MAYBE
|
55.87 | * | MAYBE
|
55.85 |
Strategy_removed_CSR_05/Ex49_GM04.typed
|
* | WORST_CASE(?,O(n^1))
|
0.93 | * | WORST_CASE(?,O(n^1))
|
0.82 | * | WORST_CASE(?,O(n^1))
|
0.61 |
Strategy_removed_CSR_05/Ex4_4_Luc96b.typed
|
* | MAYBE
|
3.99 | * | MAYBE
|
4.91 | * | MAYBE
|
5.79 |
Strategy_removed_CSR_05/Ex4_7_15_Bor03.typed
|
* | MAYBE
|
7.14 | * | MAYBE
|
7.36 | * | MAYBE
|
7.65 |
Strategy_removed_CSR_05/Ex4_7_37_Bor03.typed
|
* | MAYBE
|
3.93 | * | MAYBE
|
6.82 | * | MAYBE
|
4.53 |
Strategy_removed_CSR_05/Ex4_7_56_Bor03.typed
|
* | MAYBE
|
1.62 | * | MAYBE
|
2.47 | * | MAYBE
|
1.19 |
Strategy_removed_CSR_05/Ex4_7_77_Bor03.typed
|
* | MAYBE
|
7.15 | * | MAYBE
|
7.08 | * | MAYBE
|
7.06 |
Strategy_removed_CSR_05/Ex4_Zan97.typed
|
* | MAYBE
|
8.00 | * | MAYBE
|
17.27 | * | MAYBE
|
22.25 |
Strategy_removed_CSR_05/Ex5_7_Luc97.typed
|
* | MAYBE
|
5.69 | * | MAYBE
|
7.88 | * | MAYBE
|
9.25 |
Strategy_removed_CSR_05/Ex5_Zan97.typed
|
* | MAYBE
|
7.13 | * | MAYBE
|
7.09 | * | MAYBE
|
7.16 |
Strategy_removed_CSR_05/Ex6_15_AEL02.typed
|
* | MAYBE
|
5.85 | * | MAYBE
|
11.76 | * | MAYBE
|
10.87 |
Strategy_removed_CSR_05/Ex6_9_Luc02c.typed
|
* | MAYBE
|
1.17 | * | MAYBE
|
3.28 | * | MAYBE
|
2.27 |
Strategy_removed_CSR_05/Ex6_GM04.typed
|
* | MAYBE
|
7.15 | * | MAYBE
|
7.07 | * | MAYBE
|
7.07 |
Strategy_removed_CSR_05/Ex6_Luc98.typed
|
* | MAYBE
|
2.31 | * | MAYBE
|
3.50 | * | MAYBE
|
3.42 |
Strategy_removed_CSR_05/Ex7_BLR02.typed
|
* | MAYBE
|
1.48 | * | MAYBE
|
1.79 | * | MAYBE
|
2.05 |
Strategy_removed_CSR_05/Ex8_BLR02.typed
|
* | MAYBE
|
4.47 | * | MAYBE
|
4.82 | * | MAYBE
|
4.74 |
Strategy_removed_CSR_05/Ex9_BLR02.typed
|
* | MAYBE
|
14.59 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Strategy_removed_CSR_05/ExAppendixB_AEL03.typed
|
* | MAYBE
|
6.72 | * | MAYBE
|
16.56 | * | MAYBE
|
15.19 |
Strategy_removed_CSR_05/ExConc_Zan97.typed
|
* | MAYBE
|
7.08 | * | MAYBE
|
7.05 | * | MAYBE
|
7.11 |
Strategy_removed_CSR_05/ExIntrod_GM01.typed
|
* | MAYBE
|
7.56 | * | MAYBE
|
27.71 | * | MAYBE
|
30.17 |
Strategy_removed_CSR_05/ExIntrod_GM04.typed
|
* | MAYBE
|
8.55 | * | MAYBE
|
21.30 | * | MAYBE
|
22.11 |
Strategy_removed_CSR_05/ExIntrod_GM99.typed
|
* | MAYBE
|
24.53 | * | MAYBE
|
39.72 | * | MAYBE
|
41.43 |
Strategy_removed_CSR_05/ExIntrod_Zan97.typed
|
* | MAYBE
|
56.39 | * | MAYBE
|
25.94 | * | MAYBE
|
56.38 |
Strategy_removed_mixed_05/ExSec11_1_Luc02a.typed
|
* | MAYBE
|
8.73 | * | MAYBE
|
27.48 | * | MAYBE
|
32.83 |
Strategy_removed_mixed_05/ex1.typed
|
* | MAYBE
|
7.09 | * | MAYBE
|
7.12 | * | MAYBE
|
7.20 |
Strategy_removed_mixed_05/ex2.typed
|
* | MAYBE
|
0.72 | * | MAYBE
|
0.81 | * | MAYBE
|
1.92 |
Strategy_removed_mixed_05/ex3.typed
|
* | MAYBE
|
7.08 | * | MAYBE
|
7.09 | * | MAYBE
|
7.11 |
Strategy_removed_mixed_05/ex4.typed
|
* | MAYBE
|
7.08 | * | MAYBE
|
21.81 | * | MAYBE
|
21.89 |
Strategy_removed_mixed_05/ex5.typed
|
* | MAYBE
|
7.13 | * | MAYBE
|
7.07 | * | MAYBE
|
7.13 |
Strategy_removed_mixed_05/ex6.typed
|
* | MAYBE
|
2.40 | * | MAYBE
|
56.59 | * | MAYBE
|
55.55 |
Strategy_removed_mixed_05/muladd.typed
|
* | MAYBE
|
13.61 | * | MAYBE
|
16.19 | * | MAYBE
|
14.25 |
Strategy_removed_mixed_05/test10.typed
|
* | WORST_CASE(?,O(n^1))
|
2.04 | * | WORST_CASE(?,O(n^1))
|
56.13 | * | WORST_CASE(?,O(n^1))
|
56.14 |
Strategy_removed_mixed_05/test76.typed
|
* | MAYBE
|
3.90 | * | MAYBE
|
8.99 | * | MAYBE
|
8.98 |
Strategy_removed_mixed_05/test77.typed
|
* | MAYBE
|
4.16 | * | MAYBE
|
9.92 | * | MAYBE
|
9.54 |
Strategy_removed_mixed_05/test830.typed
|
* | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.45 |
Strategy_removed_mixed_05/tricky1.typed
|
* | WORST_CASE(?,O(1))
|
1.34 | * | WORST_CASE(?,O(1))
|
0.87 | * | WORST_CASE(?,O(1))
|
1.10 |
TCT_12/polycounter-10.typed
|
* | MAYBE
|
25.94 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
TCT_12/polycounter-5.typed
|
* | MAYBE
|
6.97 | * | MAYBE
|
17.51 | * | MAYBE
|
14.32 |
TCT_12/recursion-10.typed
|
* | MAYBE
|
56.96 | * | MAYBE
|
56.91 | * | MAYBE
|
57.81 |
TCT_12/recursion-5.typed
|
* | WORST_CASE(?,O(n^5))
|
20.49 | * | WORST_CASE(?,O(n^5))
|
20.68 | * | WORST_CASE(?,O(n^5))
|
21.81 |
TCT_12/sat.typed
|
* | WORST_CASE(?,O(n^2))
|
6.36 | * | WORST_CASE(?,O(n^2))
|
15.09 | * | WORST_CASE(?,O(n^2))
|
14.19 |
Transformed_CSR_04/Ex14_AEGL02_C.typed
|
* | MAYBE
|
56.31 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex14_AEGL02_FR.typed
|
* | MAYBE
|
16.39 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex14_AEGL02_GM.typed
|
* | WORST_CASE(?,O(n^3))
|
16.18 | * | WORST_CASE(?,O(n^3))
|
56.98 | * | WORST_CASE(?,O(n^3))
|
56.94 |
Transformed_CSR_04/Ex14_AEGL02_L.typed
|
* | MAYBE
|
7.13 | * | MAYBE
|
7.15 | * | MAYBE
|
7.11 |
Transformed_CSR_04/Ex14_AEGL02_Z.typed
|
* | MAYBE
|
3.36 | * | MAYBE
|
24.01 | * | MAYBE
|
21.76 |
Transformed_CSR_04/Ex14_Luc06_C.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.13 | * | MAYBE
|
56.17 |
Transformed_CSR_04/Ex14_Luc06_GM.typed
|
* | MAYBE
|
18.18 | * | MAYBE
|
56.68 | * | MAYBE
|
58.40 |
Transformed_CSR_04/Ex15_Luc06_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.38 | * | WORST_CASE(?,O(n^1))
|
56.18 | * | WORST_CASE(?,O(n^1))
|
56.15 |
Transformed_CSR_04/Ex15_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.08 | * | WORST_CASE(?,O(n^1))
|
0.82 | * | WORST_CASE(?,O(n^1))
|
1.24 |
Transformed_CSR_04/Ex15_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
1.01 | * | WORST_CASE(?,O(n^1))
|
0.81 |
Transformed_CSR_04/Ex15_Luc06_L.typed
|
* | MAYBE
|
7.06 | * | MAYBE
|
7.07 | * | MAYBE
|
7.08 |
Transformed_CSR_04/Ex15_Luc06_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.56 | * | WORST_CASE(?,O(1))
|
1.17 | * | WORST_CASE(?,O(1))
|
0.85 |
Transformed_CSR_04/Ex15_Luc98_C.typed
|
* | MAYBE
|
56.37 | * | MAYBE
|
56.29 | * | MAYBE
|
56.24 |
Transformed_CSR_04/Ex15_Luc98_FR.typed
|
* | MAYBE
|
5.05 | * | MAYBE
|
45.64 | * | MAYBE
|
51.66 |
Transformed_CSR_04/Ex15_Luc98_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
9.21 | * | WORST_CASE(?,O(n^1))
|
8.96 | * | WORST_CASE(?,O(n^1))
|
9.95 |
Transformed_CSR_04/Ex15_Luc98_Z.typed
|
* | MAYBE
|
4.71 | * | MAYBE
|
19.94 | * | MAYBE
|
27.74 |
Transformed_CSR_04/Ex16_Luc06_C.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.14 | * | MAYBE
|
56.45 |
Transformed_CSR_04/Ex16_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
7.16 | * | WORST_CASE(?,O(n^1))
|
7.11 | * | WORST_CASE(?,O(n^1))
|
7.16 |
Transformed_CSR_04/Ex16_Luc06_L.typed
|
* | MAYBE
|
7.07 | * | MAYBE
|
7.09 | * | MAYBE
|
7.09 |
Transformed_CSR_04/Ex18_Luc06_C.typed
|
* | WORST_CASE(?,O(n^1))
|
54.56 | * | WORST_CASE(?,O(n^1))
|
50.83 | * | WORST_CASE(?,O(n^1))
|
52.85 |
Transformed_CSR_04/Ex18_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.38 |
Transformed_CSR_04/Ex18_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
0.46 |
Transformed_CSR_04/Ex18_Luc06_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.12 | * | WORST_CASE(?,O(1))
|
0.18 | * | WORST_CASE(?,O(1))
|
0.18 |
Transformed_CSR_04/Ex1_2_AEL03_C.typed
|
* | MAYBE
|
56.39 | * | MAYBE
|
56.49 | * | MAYBE
|
55.40 |
Transformed_CSR_04/Ex1_2_AEL03_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.75 | * | WORST_CASE(?,O(n^1))
|
1.97 | * | WORST_CASE(?,O(n^1))
|
1.98 |
Transformed_CSR_04/Ex1_2_AEL03_GM.typed
|
* | MAYBE
|
56.58 | * | MAYBE
|
56.42 | * | MAYBE
|
56.61 |
Transformed_CSR_04/Ex1_2_AEL03_Z.typed
|
* | WORST_CASE(?,O(n^2))
|
3.09 | * | WORST_CASE(?,O(n^2))
|
2.20 | * | WORST_CASE(?,O(n^2))
|
1.56 |
Transformed_CSR_04/Ex1_2_Luc02c_C.typed
|
* | MAYBE
|
56.58 | * | MAYBE
|
56.57 | * | MAYBE
|
56.73 |
Transformed_CSR_04/Ex1_2_Luc02c_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.00 | * | WORST_CASE(?,O(n^1))
|
1.06 | * | WORST_CASE(?,O(n^1))
|
0.89 |
Transformed_CSR_04/Ex1_2_Luc02c_GM.typed
|
* | MAYBE
|
4.35 | * | MAYBE
|
35.42 | * | MAYBE
|
35.41 |
Transformed_CSR_04/Ex1_2_Luc02c_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.51 | * | WORST_CASE(?,O(1))
|
0.49 | * | WORST_CASE(?,O(1))
|
0.29 |
Transformed_CSR_04/Ex1_GL02a_C.typed
|
* | MAYBE
|
56.48 | * | MAYBE
|
56.15 | * | MAYBE
|
56.25 |
Transformed_CSR_04/Ex1_GL02a_FR.typed
|
* | MAYBE
|
56.28 | * | MAYBE
|
56.57 | * | MAYBE
|
56.21 |
Transformed_CSR_04/Ex1_GL02a_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
1.29 | * | WORST_CASE(?,O(n^1))
|
2.04 | * | WORST_CASE(?,O(n^1))
|
3.53 |
Transformed_CSR_04/Ex1_GL02a_L.typed
|
* | MAYBE
|
7.15 | * | MAYBE
|
7.08 | * | MAYBE
|
7.24 |
Transformed_CSR_04/Ex1_GL02a_Z.typed
|
* | MAYBE
|
56.67 | * | MAYBE
|
56.19 | * | MAYBE
|
56.37 |
Transformed_CSR_04/Ex1_GM03_C.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.40 | * | MAYBE
|
56.65 |
Transformed_CSR_04/Ex1_GM03_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
2.97 | * | WORST_CASE(?,O(n^1))
|
38.11 | * | WORST_CASE(?,O(n^1))
|
4.57 |
Transformed_CSR_04/Ex1_GM03_GM.typed
|
* | MAYBE
|
56.43 | * | MAYBE
|
56.60 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_GM03_Z.typed
|
* | MAYBE
|
18.94 | * | MAYBE
|
4.22 | * | MAYBE
|
23.73 |
Transformed_CSR_04/Ex1_GM99_C.typed
|
* | MAYBE
|
56.15 | * | MAYBE
|
56.17 | * | MAYBE
|
56.11 |
Transformed_CSR_04/Ex1_GM99_GM.typed
|
* | MAYBE
|
28.56 | * | MAYBE
|
31.18 | * | MAYBE
|
29.82 |
Transformed_CSR_04/Ex1_GM99_L.typed
|
* | MAYBE
|
7.10 | * | MAYBE
|
7.07 | * | MAYBE
|
7.11 |
Transformed_CSR_04/Ex1_Luc02b_C.typed
|
* | MAYBE
|
56.31 | * | MAYBE
|
56.37 | * | MAYBE
|
56.30 |
Transformed_CSR_04/Ex1_Luc02b_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.11 | * | WORST_CASE(?,O(n^1))
|
1.09 | * | WORST_CASE(?,O(n^1))
|
1.36 |
Transformed_CSR_04/Ex1_Luc02b_GM.typed
|
* | MAYBE
|
22.12 | * | MAYBE
|
56.42 | * | MAYBE
|
56.84 |
Transformed_CSR_04/Ex1_Luc02b_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
56.17 | * | WORST_CASE(?,O(n^1))
|
4.62 | * | WORST_CASE(?,O(n^1))
|
4.45 |
Transformed_CSR_04/Ex1_Luc04b_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.40 | * | WORST_CASE(?,O(n^1))
|
56.20 | * | MAYBE
|
56.29 |
Transformed_CSR_04/Ex1_Luc04b_FR.typed
|
* | MAYBE
|
16.39 | * | MAYBE
|
54.18 | * | MAYBE
|
50.15 |
Transformed_CSR_04/Ex1_Luc04b_GM.typed
|
* | MAYBE
|
22.96 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc04b_Z.typed
|
* | MAYBE
|
8.69 | * | MAYBE
|
48.50 | * | MAYBE
|
50.52 |
Transformed_CSR_04/Ex1_Zan97_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.17 | * | WORST_CASE(?,O(n^1))
|
56.20 | * | WORST_CASE(?,O(n^1))
|
56.18 |
Transformed_CSR_04/Ex1_Zan97_FR.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.18 | * | MAYBE
|
56.38 |
Transformed_CSR_04/Ex1_Zan97_GM.typed
|
* | WORST_CASE(?,O(1))
|
0.75 | * | WORST_CASE(?,O(1))
|
0.39 | * | WORST_CASE(?,O(1))
|
1.05 |
Transformed_CSR_04/Ex1_Zan97_L.typed
|
* | MAYBE
|
7.05 | * | MAYBE
|
7.11 | * | MAYBE
|
7.07 |
Transformed_CSR_04/Ex23_Luc06_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.29 | * | WORST_CASE(?,O(n^1))
|
56.24 | * | WORST_CASE(?,O(n^1))
|
56.18 |
Transformed_CSR_04/Ex23_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.69 |
Transformed_CSR_04/Ex23_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
0.61 |
Transformed_CSR_04/Ex23_Luc06_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.23 | * | WORST_CASE(?,O(1))
|
0.17 | * | WORST_CASE(?,O(1))
|
0.10 |
Transformed_CSR_04/Ex24_GM04_C.typed
|
* | MAYBE
|
56.23 | * | MAYBE
|
56.08 | * | MAYBE
|
56.17 |
Transformed_CSR_04/Ex24_GM04_FR.typed
|
* | MAYBE
|
4.20 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.29 |
Transformed_CSR_04/Ex24_GM04_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
1.64 | * | WORST_CASE(?,O(n^1))
|
56.29 | * | WORST_CASE(?,O(n^1))
|
56.32 |
Transformed_CSR_04/Ex24_GM04_L.typed
|
* | MAYBE
|
7.14 | * | MAYBE
|
7.10 | * | MAYBE
|
7.11 |
Transformed_CSR_04/Ex24_GM04_Z.typed
|
* | MAYBE
|
1.93 | * | MAYBE
|
56.57 | * | MAYBE
|
56.49 |
Transformed_CSR_04/Ex24_Luc06_C.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.22 | * | MAYBE
|
56.19 |
Transformed_CSR_04/Ex24_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
27.93 | * | WORST_CASE(?,O(n^1))
|
0.81 | * | WORST_CASE(?,O(n^1))
|
28.50 |
Transformed_CSR_04/Ex24_Luc06_L.typed
|
* | MAYBE
|
7.09 | * | MAYBE
|
7.29 | * | MAYBE
|
7.15 |
Transformed_CSR_04/Ex25_Luc06_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.22 | * | WORST_CASE(?,O(n^1))
|
50.79 | * | WORST_CASE(?,O(n^1))
|
56.48 |
Transformed_CSR_04/Ex25_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.99 | * | WORST_CASE(?,O(n^1))
|
0.88 | * | WORST_CASE(?,O(n^1))
|
0.73 |
Transformed_CSR_04/Ex25_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
1.64 | * | WORST_CASE(?,O(n^1))
|
1.42 | * | WORST_CASE(?,O(n^1))
|
1.41 |
Transformed_CSR_04/Ex25_Luc06_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.59 | * | WORST_CASE(?,O(1))
|
0.65 | * | WORST_CASE(?,O(1))
|
0.64 |
Transformed_CSR_04/Ex26_Luc03b_C.typed
|
* | MAYBE
|
56.35 | * | MAYBE
|
56.37 | * | MAYBE
|
56.36 |
Transformed_CSR_04/Ex26_Luc03b_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.79 | * | WORST_CASE(?,O(n^1))
|
2.14 | * | WORST_CASE(?,O(n^1))
|
2.83 |
Transformed_CSR_04/Ex26_Luc03b_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
56.80 | * | WORST_CASE(?,O(n^2))
|
56.92 | * | WORST_CASE(?,O(n^2))
|
56.91 |
Transformed_CSR_04/Ex26_Luc03b_L.typed
|
* | WORST_CASE(?,O(1))
|
0.41 | * | WORST_CASE(?,O(1))
|
0.23 | * | WORST_CASE(?,O(1))
|
0.37 |
Transformed_CSR_04/Ex26_Luc03b_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.33 | * | WORST_CASE(?,O(1))
|
0.27 | * | WORST_CASE(?,O(1))
|
1.21 |
Transformed_CSR_04/Ex2_Luc02a_C.typed
|
* | MAYBE
|
56.19 | * | MAYBE
|
56.32 | * | MAYBE
|
56.46 |
Transformed_CSR_04/Ex2_Luc02a_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.82 | * | WORST_CASE(?,O(n^1))
|
1.27 | * | WORST_CASE(?,O(n^1))
|
1.79 |
Transformed_CSR_04/Ex2_Luc02a_GM.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.40 | * | MAYBE
|
56.43 |
Transformed_CSR_04/Ex2_Luc02a_L.typed
|
* | WORST_CASE(?,O(n^3))
|
5.62 | * | WORST_CASE(?,O(n^3))
|
9.55 | * | WORST_CASE(?,O(n^3))
|
9.09 |
Transformed_CSR_04/Ex2_Luc02a_Z.typed
|
* | WORST_CASE(?,O(n^3))
|
7.72 | * | WORST_CASE(?,O(n^3))
|
31.62 | * | WORST_CASE(?,O(n^3))
|
29.02 |
Transformed_CSR_04/Ex2_Luc03b_C.typed
|
* | MAYBE
|
56.19 | * | MAYBE
|
56.43 | * | MAYBE
|
56.30 |
Transformed_CSR_04/Ex2_Luc03b_FR.typed
|
* | WORST_CASE(?,O(n^2))
|
4.85 | * | WORST_CASE(?,O(n^2))
|
48.21 | * | WORST_CASE(?,O(n^2))
|
41.74 |
Transformed_CSR_04/Ex2_Luc03b_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
12.45 | * | WORST_CASE(?,O(n^2))
|
56.53 | * | WORST_CASE(?,O(n^2))
|
57.31 |
Transformed_CSR_04/Ex2_Luc03b_L.typed
|
* | WORST_CASE(?,O(1))
|
0.41 | * | WORST_CASE(?,O(1))
|
0.28 | * | WORST_CASE(?,O(1))
|
0.28 |
Transformed_CSR_04/Ex2_Luc03b_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
2.98 | * | WORST_CASE(?,O(n^1))
|
2.40 | * | WORST_CASE(?,O(n^1))
|
3.01 |
Transformed_CSR_04/Ex3_12_Luc96a_C.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.47 | * | MAYBE
|
56.40 |
Transformed_CSR_04/Ex3_12_Luc96a_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.80 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.84 |
Transformed_CSR_04/Ex3_12_Luc96a_GM.typed
|
* | MAYBE
|
10.45 | * | MAYBE
|
56.51 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_12_Luc96a_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
56.19 | * | WORST_CASE(?,O(n^1))
|
0.93 | * | WORST_CASE(?,O(n^1))
|
1.47 |
Transformed_CSR_04/Ex3_2_Luc97_C.typed
|
* | MAYBE
|
56.42 | * | MAYBE
|
56.41 | * | MAYBE
|
56.35 |
Transformed_CSR_04/Ex3_2_Luc97_FR.typed
|
* | MAYBE
|
13.93 | * | MAYBE
|
56.84 | * | MAYBE
|
57.13 |
Transformed_CSR_04/Ex3_2_Luc97_GM.typed
|
* | MAYBE
|
9.12 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_2_Luc97_Z.typed
|
* | MAYBE
|
5.52 | * | TIMEOUT
|
60.00 | * | MAYBE
|
57.50 |
Transformed_CSR_04/Ex3_3_25_Bor03_C.typed
|
* | MAYBE
|
56.15 | * | MAYBE
|
56.25 | * | MAYBE
|
56.62 |
Transformed_CSR_04/Ex3_3_25_Bor03_FR.typed
|
* | MAYBE
|
11.11 | * | MAYBE
|
56.55 | * | MAYBE
|
58.38 |
Transformed_CSR_04/Ex3_3_25_Bor03_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
46.79 | * | WORST_CASE(?,O(n^2))
|
56.95 | * | WORST_CASE(?,O(n^2))
|
56.43 |
Transformed_CSR_04/Ex3_3_25_Bor03_L.typed
|
* | WORST_CASE(?,O(1))
|
0.37 | * | WORST_CASE(?,O(1))
|
0.25 | * | WORST_CASE(?,O(1))
|
0.18 |
Transformed_CSR_04/Ex3_3_25_Bor03_Z.typed
|
* | MAYBE
|
4.90 | * | MAYBE
|
39.99 | * | MAYBE
|
40.75 |
Transformed_CSR_04/Ex49_GM04_C.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.28 | * | MAYBE
|
56.18 |
Transformed_CSR_04/Ex49_GM04_FR.typed
|
* | WORST_CASE(?,O(n^2))
|
9.79 | * | WORST_CASE(?,O(n^2))
|
48.81 | * | WORST_CASE(?,O(n^2))
|
55.08 |
Transformed_CSR_04/Ex49_GM04_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
23.14 | * | WORST_CASE(?,O(n^2))
|
27.13 | * | WORST_CASE(?,O(n^2))
|
29.70 |
Transformed_CSR_04/Ex49_GM04_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
1.18 | * | WORST_CASE(?,O(n^1))
|
1.28 | * | WORST_CASE(?,O(n^1))
|
1.61 |
Transformed_CSR_04/Ex4_4_Luc96b_C.typed
|
* | WORST_CASE(?,O(n^2))
|
35.57 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_4_Luc96b_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
0.57 |
Transformed_CSR_04/Ex4_4_Luc96b_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
8.71 | * | WORST_CASE(?,O(n^2))
|
24.53 | * | WORST_CASE(?,O(n^2))
|
24.50 |
Transformed_CSR_04/Ex4_4_Luc96b_L.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.12 |
Transformed_CSR_04/Ex4_4_Luc96b_Z.typed
|
* | MAYBE
|
4.03 | * | MAYBE
|
26.28 | * | MAYBE
|
25.06 |
Transformed_CSR_04/Ex4_7_15_Bor03_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.28 | * | WORST_CASE(?,O(n^1))
|
56.30 | * | WORST_CASE(?,O(n^1))
|
56.34 |
Transformed_CSR_04/Ex4_7_15_Bor03_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
0.59 |
Transformed_CSR_04/Ex4_7_15_Bor03_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
2.61 | * | WORST_CASE(?,O(n^1))
|
2.95 | * | WORST_CASE(?,O(n^1))
|
3.16 |
Transformed_CSR_04/Ex4_7_15_Bor03_L.typed
|
* | WORST_CASE(?,O(1))
|
0.50 | * | WORST_CASE(?,O(1))
|
0.56 | * | WORST_CASE(?,O(1))
|
0.46 |
Transformed_CSR_04/Ex4_7_15_Bor03_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.58 | * | WORST_CASE(?,O(1))
|
0.71 | * | WORST_CASE(?,O(1))
|
0.48 |
Transformed_CSR_04/Ex4_7_37_Bor03_C.typed
|
* | MAYBE
|
56.46 | * | MAYBE
|
56.66 | * | MAYBE
|
56.46 |
Transformed_CSR_04/Ex4_7_37_Bor03_FR.typed
|
* | MAYBE
|
5.21 | * | MAYBE
|
48.44 | * | MAYBE
|
53.93 |
Transformed_CSR_04/Ex4_7_37_Bor03_GM.typed
|
* | MAYBE
|
56.54 | * | MAYBE
|
56.41 | * | MAYBE
|
56.43 |
Transformed_CSR_04/Ex4_7_37_Bor03_Z.typed
|
* | MAYBE
|
56.22 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_C.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.96 | * | MAYBE
|
56.49 |
Transformed_CSR_04/Ex4_7_56_Bor03_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.40 |
Transformed_CSR_04/Ex4_7_56_Bor03_GM.typed
|
* | MAYBE
|
7.63 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.64 | * | WORST_CASE(?,O(n^1))
|
0.83 | * | WORST_CASE(?,O(n^1))
|
0.68 |
Transformed_CSR_04/Ex4_7_77_Bor03_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.22 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_77_Bor03_FR.typed
|
* | WORST_CASE(?,O(1))
|
0.17 | * | WORST_CASE(?,O(1))
|
0.19 | * | WORST_CASE(?,O(1))
|
0.21 |
Transformed_CSR_04/Ex4_7_77_Bor03_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
9.42 | * | WORST_CASE(?,O(n^1))
|
23.95 | * | WORST_CASE(?,O(n^1))
|
23.92 |
Transformed_CSR_04/Ex4_DLMMU04_C.typed
|
* | MAYBE
|
56.49 | * | MAYBE
|
56.59 | * | MAYBE
|
56.51 |
Transformed_CSR_04/Ex4_DLMMU04_FR.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.38 | * | MAYBE
|
56.51 |
Transformed_CSR_04/Ex4_DLMMU04_GM.typed
|
* | MAYBE
|
56.52 | * | MAYBE
|
56.38 | * | MAYBE
|
56.42 |
Transformed_CSR_04/Ex4_DLMMU04_Z.typed
|
* | MAYBE
|
41.39 | * | MAYBE
|
56.42 | * | MAYBE
|
56.35 |
Transformed_CSR_04/Ex4_Zan97_C.typed
|
* | MAYBE
|
56.42 | * | MAYBE
|
56.26 | * | MAYBE
|
56.25 |
Transformed_CSR_04/Ex4_Zan97_FR.typed
|
* | MAYBE
|
32.29 | * | MAYBE
|
54.07 | * | MAYBE
|
55.06 |
Transformed_CSR_04/Ex4_Zan97_GM.typed
|
* | MAYBE
|
15.87 | * | MAYBE
|
56.62 | * | MAYBE
|
56.64 |
Transformed_CSR_04/Ex4_Zan97_Z.typed
|
* | MAYBE
|
9.51 | * | MAYBE
|
29.93 | * | MAYBE
|
29.49 |
Transformed_CSR_04/Ex5_7_Luc97_C.typed
|
* | MAYBE
|
56.49 | * | MAYBE
|
56.37 | * | MAYBE
|
56.40 |
Transformed_CSR_04/Ex5_7_Luc97_FR.typed
|
* | MAYBE
|
15.04 | * | MAYBE
|
56.86 | * | MAYBE
|
56.55 |
Transformed_CSR_04/Ex5_7_Luc97_GM.typed
|
* | MAYBE
|
56.36 | * | MAYBE
|
56.34 | * | MAYBE
|
56.49 |
Transformed_CSR_04/Ex5_7_Luc97_Z.typed
|
* | MAYBE
|
3.77 | * | MAYBE
|
50.60 | * | MAYBE
|
56.31 |
Transformed_CSR_04/Ex5_DLMMU04_C.typed
|
* | MAYBE
|
56.29 | * | MAYBE
|
56.38 | * | MAYBE
|
56.23 |
Transformed_CSR_04/Ex5_DLMMU04_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.19 | * | WORST_CASE(?,O(n^1))
|
1.70 | * | WORST_CASE(?,O(n^1))
|
1.70 |
Transformed_CSR_04/Ex5_DLMMU04_GM.typed
|
* | MAYBE
|
56.26 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.53 |
Transformed_CSR_04/Ex5_DLMMU04_Z.typed
|
* | MAYBE
|
7.29 | * | MAYBE
|
7.08 | * | MAYBE
|
7.29 |
Transformed_CSR_04/Ex5_Zan97_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.17 | * | WORST_CASE(?,O(n^1))
|
56.55 | * | WORST_CASE(?,O(n^1))
|
56.28 |
Transformed_CSR_04/Ex5_Zan97_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
3.05 | * | WORST_CASE(?,O(n^1))
|
24.80 | * | WORST_CASE(?,O(n^1))
|
8.91 |
Transformed_CSR_04/Ex5_Zan97_GM.typed
|
* | MAYBE
|
9.19 | * | MAYBE
|
56.48 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex5_Zan97_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.79 | * | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
0.73 |
Transformed_CSR_04/Ex6_15_AEL02_C.typed
|
* | MAYBE
|
56.50 | * | MAYBE
|
56.37 | * | MAYBE
|
56.80 |
Transformed_CSR_04/Ex6_15_AEL02_FR.typed
|
* | MAYBE
|
56.25 | * | TIMEOUT
|
60.00 | * | MAYBE
|
57.45 |
Transformed_CSR_04/Ex6_15_AEL02_GM.typed
|
* | MAYBE
|
56.63 | * | MAYBE
|
56.68 | * | MAYBE
|
56.75 |
Transformed_CSR_04/Ex6_15_AEL02_Z.typed
|
* | MAYBE
|
56.34 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_9_Luc02c_C.typed
|
* | MAYBE
|
56.44 | * | MAYBE
|
56.59 | * | MAYBE
|
56.40 |
Transformed_CSR_04/Ex6_9_Luc02c_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.27 | * | WORST_CASE(?,O(n^1))
|
5.88 | * | WORST_CASE(?,O(n^1))
|
5.74 |
Transformed_CSR_04/Ex6_9_Luc02c_GM.typed
|
* | MAYBE
|
9.40 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_9_Luc02c_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.78 | * | WORST_CASE(?,O(1))
|
0.95 | * | WORST_CASE(?,O(1))
|
1.33 |
Transformed_CSR_04/Ex6_GM04_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.19 | * | WORST_CASE(?,O(n^1))
|
56.17 | * | WORST_CASE(?,O(n^1))
|
56.08 |
Transformed_CSR_04/Ex6_GM04_FR.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
55.72 | * | MAYBE
|
56.12 |
Transformed_CSR_04/Ex6_GM04_GM.typed
|
* | WORST_CASE(?,O(1))
|
0.30 | * | WORST_CASE(?,O(1))
|
0.20 | * | WORST_CASE(?,O(1))
|
0.36 |
Transformed_CSR_04/Ex6_Luc98_C.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
56.34 | * | MAYBE
|
56.48 |
Transformed_CSR_04/Ex6_Luc98_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
0.65 | * | WORST_CASE(?,O(n^1))
|
0.81 |
Transformed_CSR_04/Ex6_Luc98_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
8.00 | * | WORST_CASE(?,O(n^2))
|
57.26 | * | WORST_CASE(?,O(n^2))
|
56.28 |
Transformed_CSR_04/Ex6_Luc98_L.typed
|
* | WORST_CASE(?,O(1))
|
0.15 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.19 |
Transformed_CSR_04/Ex6_Luc98_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.79 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.46 |
Transformed_CSR_04/Ex7_BLR02_C.typed
|
* | MAYBE
|
56.28 | * | MAYBE
|
56.31 | * | MAYBE
|
56.42 |
Transformed_CSR_04/Ex7_BLR02_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
2.60 | * | WORST_CASE(?,O(n^1))
|
4.36 | * | WORST_CASE(?,O(n^1))
|
4.88 |
Transformed_CSR_04/Ex7_BLR02_GM.typed
|
* | MAYBE
|
56.51 | * | MAYBE
|
56.32 | * | MAYBE
|
56.37 |
Transformed_CSR_04/Ex7_BLR02_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
56.21 | * | WORST_CASE(?,O(n^1))
|
6.65 | * | WORST_CASE(?,O(n^1))
|
8.42 |
Transformed_CSR_04/Ex8_BLR02_C.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
56.35 | * | MAYBE
|
56.23 |
Transformed_CSR_04/Ex8_BLR02_FR.typed
|
* | MAYBE
|
9.87 | * | MAYBE
|
59.33 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex8_BLR02_GM.typed
|
* | MAYBE
|
56.33 | * | MAYBE
|
59.78 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex8_BLR02_Z.typed
|
* | MAYBE
|
5.94 | * | MAYBE
|
39.01 | * | MAYBE
|
43.83 |
Transformed_CSR_04/Ex9_BLR02_C.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
56.51 | * | MAYBE
|
56.46 |
Transformed_CSR_04/Ex9_BLR02_FR.typed
|
* | MAYBE
|
7.50 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex9_BLR02_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
35.67 | * | WORST_CASE(?,O(n^2))
|
57.25 | * | WORST_CASE(?,O(n^2))
|
56.68 |
Transformed_CSR_04/Ex9_BLR02_L.typed
|
* | WORST_CASE(?,O(1))
|
0.26 | * | WORST_CASE(?,O(1))
|
0.18 | * | WORST_CASE(?,O(1))
|
0.40 |
Transformed_CSR_04/Ex9_BLR02_Z.typed
|
* | MAYBE
|
25.04 | * | MAYBE
|
56.65 | * | MAYBE
|
57.00 |
Transformed_CSR_04/Ex9_Luc04_C.typed
|
* | MAYBE
|
56.19 | * | MAYBE
|
56.23 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex9_Luc04_GM.typed
|
* | MAYBE
|
4.59 | * | MAYBE
|
40.10 | * | MAYBE
|
40.22 |
Transformed_CSR_04/Ex9_Luc04_L.typed
|
* | MAYBE
|
0.75 | * | MAYBE
|
1.16 | * | MAYBE
|
1.14 |
Transformed_CSR_04/Ex9_Luc06_C.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.32 | * | MAYBE
|
56.07 |
Transformed_CSR_04/Ex9_Luc06_FR.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.24 | * | MAYBE
|
56.26 |
Transformed_CSR_04/Ex9_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
7.09 | * | WORST_CASE(?,O(n^1))
|
7.26 | * | WORST_CASE(?,O(n^1))
|
7.23 |
Transformed_CSR_04/ExAppendixB_AEL03_C.typed
|
* | MAYBE
|
56.45 | * | MAYBE
|
56.24 | * | MAYBE
|
56.53 |
Transformed_CSR_04/ExAppendixB_AEL03_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.02 | * | WORST_CASE(?,O(n^1))
|
1.41 | * | WORST_CASE(?,O(n^1))
|
1.27 |
Transformed_CSR_04/ExAppendixB_AEL03_GM.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.27 | * | MAYBE
|
56.55 |
Transformed_CSR_04/ExAppendixB_AEL03_Z.typed
|
* | WORST_CASE(?,O(n^2))
|
5.63 | * | WORST_CASE(?,O(n^2))
|
45.85 | * | WORST_CASE(?,O(n^2))
|
47.49 |
Transformed_CSR_04/ExConc_Zan97_C.typed
|
* | WORST_CASE(?,O(n^1))
|
24.14 | * | WORST_CASE(?,O(n^1))
|
22.29 | * | WORST_CASE(?,O(n^1))
|
26.95 |
Transformed_CSR_04/ExConc_Zan97_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
0.71 |
Transformed_CSR_04/ExConc_Zan97_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.78 | * | WORST_CASE(?,O(n^1))
|
0.86 | * | WORST_CASE(?,O(n^1))
|
0.92 |
Transformed_CSR_04/ExConc_Zan97_Z.typed
|
* | MAYBE
|
7.11 | * | MAYBE
|
7.13 | * | MAYBE
|
7.06 |
Transformed_CSR_04/ExIntrod_GM01_C.typed
|
* | MAYBE
|
56.35 | * | MAYBE
|
56.29 | * | MAYBE
|
56.43 |
Transformed_CSR_04/ExIntrod_GM01_FR.typed
|
* | MAYBE
|
7.10 | * | MAYBE
|
48.45 | * | MAYBE
|
50.64 |
Transformed_CSR_04/ExIntrod_GM01_GM.typed
|
* | MAYBE
|
56.49 | * | MAYBE
|
56.36 | * | MAYBE
|
58.17 |
Transformed_CSR_04/ExIntrod_GM01_Z.typed
|
* | MAYBE
|
20.51 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM04_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.33 | * | WORST_CASE(?,O(n^1))
|
56.27 | * | WORST_CASE(?,O(n^1))
|
56.26 |
Transformed_CSR_04/ExIntrod_GM04_FR.typed
|
* | MAYBE
|
8.08 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM04_GM.typed
|
* | WORST_CASE(?,O(n^3))
|
15.03 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM04_Z.typed
|
* | MAYBE
|
13.76 | * | MAYBE
|
59.21 | * | MAYBE
|
57.10 |
Transformed_CSR_04/ExIntrod_GM99_C.typed
|
* | MAYBE
|
56.37 | * | MAYBE
|
56.31 | * | MAYBE
|
56.47 |
Transformed_CSR_04/ExIntrod_GM99_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
2.68 | * | WORST_CASE(?,O(n^1))
|
2.43 | * | WORST_CASE(?,O(n^1))
|
2.10 |
Transformed_CSR_04/ExIntrod_GM99_GM.typed
|
* | MAYBE
|
56.81 | * | MAYBE
|
56.28 | * | MAYBE
|
56.25 |
Transformed_CSR_04/ExIntrod_GM99_Z.typed
|
* | WORST_CASE(?,O(1))
|
0.92 | * | WORST_CASE(?,O(1))
|
1.02 | * | WORST_CASE(?,O(1))
|
0.84 |
Transformed_CSR_04/ExIntrod_Zan97_C.typed
|
* | MAYBE
|
56.28 | * | MAYBE
|
55.37 | * | MAYBE
|
56.46 |
Transformed_CSR_04/ExIntrod_Zan97_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
3.27 | * | WORST_CASE(?,O(n^1))
|
25.27 | * | WORST_CASE(?,O(n^1))
|
4.98 |
Transformed_CSR_04/ExIntrod_Zan97_GM.typed
|
* | MAYBE
|
56.23 | * | MAYBE
|
56.28 | * | MAYBE
|
56.32 |
Transformed_CSR_04/ExIntrod_Zan97_Z.typed
|
* | MAYBE
|
6.19 | * | MAYBE
|
5.77 | * | MAYBE
|
6.96 |
Transformed_CSR_04/ExProp7_Luc06_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.30 | * | WORST_CASE(?,O(n^1))
|
56.18 | * | WORST_CASE(?,O(n^1))
|
56.13 |
Transformed_CSR_04/ExProp7_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
0.78 |
Transformed_CSR_04/ExProp7_Luc06_GM.typed
|
* | MAYBE
|
56.37 | * | MAYBE
|
56.32 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExProp7_Luc06_L.typed
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.87 | * | WORST_CASE(?,O(n^1))
|
2.19 |
Transformed_CSR_04/ExProp7_Luc06_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.82 | * | WORST_CASE(?,O(n^1))
|
0.97 | * | WORST_CASE(?,O(n^1))
|
1.11 |
Transformed_CSR_04/ExSec11_1_Luc02a_C.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
56.30 | * | MAYBE
|
56.40 |
Transformed_CSR_04/ExSec11_1_Luc02a_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
1.03 | * | WORST_CASE(?,O(n^1))
|
1.12 | * | WORST_CASE(?,O(n^1))
|
1.56 |
Transformed_CSR_04/ExSec11_1_Luc02a_GM.typed
|
* | MAYBE
|
56.46 | * | MAYBE
|
56.32 | * | MAYBE
|
56.32 |
Transformed_CSR_04/ExSec11_1_Luc02a_L.typed
|
* | WORST_CASE(?,O(n^3))
|
6.48 | * | WORST_CASE(?,O(n^3))
|
16.55 | * | WORST_CASE(?,O(n^3))
|
16.79 |
Transformed_CSR_04/ExSec11_1_Luc02a_Z.typed
|
* | WORST_CASE(?,O(n^3))
|
10.72 | * | WORST_CASE(?,O(n^3))
|
42.71 | * | WORST_CASE(?,O(n^3))
|
44.75 |
Transformed_CSR_04/ExSec4_2_DLMMU04_C.typed
|
* | MAYBE
|
56.82 | * | MAYBE
|
55.62 | * | MAYBE
|
56.29 |
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
4.27 | * | WORST_CASE(?,O(n^1))
|
8.19 | * | WORST_CASE(?,O(n^1))
|
8.62 |
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.37 | * | MAYBE
|
56.18 |
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
21.01 | * | WORST_CASE(?,O(n^1))
|
2.53 | * | WORST_CASE(?,O(n^1))
|
11.12 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.23 | * | MAYBE
|
56.80 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.typed
|
* | MAYBE
|
56.73 | * | MAYBE
|
57.01 | * | MAYBE
|
56.44 |
Transformed_CSR_04/LISTUTILITIES_complete_C.typed
|
* | MAYBE
|
56.98 | * | MAYBE
|
57.15 | * | MAYBE
|
56.66 |
Transformed_CSR_04/LISTUTILITIES_complete_FR.typed
|
* | MAYBE
|
56.73 | * | MAYBE
|
56.53 | * | MAYBE
|
56.72 |
Transformed_CSR_04/LISTUTILITIES_complete_GM.typed
|
* | MAYBE
|
56.35 | * | MAYBE
|
56.26 | * | MAYBE
|
55.67 |
Transformed_CSR_04/LISTUTILITIES_complete_Z.typed
|
* | MAYBE
|
56.88 | * | MAYBE
|
56.77 | * | MAYBE
|
57.43 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.55 | * | MAYBE
|
56.33 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.19 | * | MAYBE
|
57.33 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.typed
|
* | MAYBE
|
56.64 | * | MAYBE
|
56.48 | * | MAYBE
|
56.32 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
56.32 | * | MAYBE
|
56.27 |
Transformed_CSR_04/LISTUTILITIES_nokinds_C.typed
|
* | MAYBE
|
56.23 | * | MAYBE
|
56.23 | * | MAYBE
|
56.50 |
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.typed
|
* | MAYBE
|
56.35 | * | MAYBE
|
56.40 | * | MAYBE
|
56.27 |
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.typed
|
* | MAYBE
|
56.66 | * | MAYBE
|
56.43 | * | MAYBE
|
56.48 |
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.typed
|
* | MAYBE
|
56.50 | * | MAYBE
|
56.37 | * | MAYBE
|
56.40 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.typed
|
* | MAYBE
|
55.92 | * | MAYBE
|
56.22 | * | MAYBE
|
56.80 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.53 | * | MAYBE
|
55.48 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.typed
|
* | MAYBE
|
56.25 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
56.75 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^1))
|
56.90 |
Transformed_CSR_04/LISTUTILITIES_nosorts_C.typed
|
* | MAYBE
|
56.56 | * | MAYBE
|
56.28 | * | MAYBE
|
56.33 |
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
56.39 | * | WORST_CASE(?,O(n^1))
|
40.36 | * | WORST_CASE(?,O(n^1))
|
56.49 |
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.typed
|
* | MAYBE
|
56.66 | * | MAYBE
|
56.49 | * | MAYBE
|
56.26 |
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
56.32 | * | WORST_CASE(?,O(n^1))
|
43.29 | * | WORST_CASE(?,O(n^1))
|
56.23 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.typed
|
* | MAYBE
|
56.90 | * | MAYBE
|
55.50 | * | MAYBE
|
57.10 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
56.29 | * | MAYBE
|
56.35 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.typed
|
* | MAYBE
|
56.42 | * | MAYBE
|
56.17 | * | MAYBE
|
56.56 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.typed
|
* | MAYBE
|
56.10 | * | MAYBE
|
56.40 | * | MAYBE
|
56.49 |
Transformed_CSR_04/LengthOfFiniteLists_complete_C.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.38 | * | MAYBE
|
56.42 |
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
56.54 | * | MAYBE
|
56.38 |
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.typed
|
* | MAYBE
|
56.39 | * | MAYBE
|
56.32 | * | MAYBE
|
56.25 |
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
56.37 | * | MAYBE
|
56.32 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.typed
|
* | MAYBE
|
56.77 | * | MAYBE
|
56.90 | * | MAYBE
|
55.81 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.33 | * | MAYBE
|
56.45 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.typed
|
* | MAYBE
|
56.64 | * | MAYBE
|
56.25 | * | MAYBE
|
56.13 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.typed
|
* | MAYBE
|
56.66 | * | MAYBE
|
56.64 | * | MAYBE
|
56.61 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.51 | * | MAYBE
|
56.61 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.typed
|
* | MAYBE
|
56.20 | * | MAYBE
|
56.44 | * | MAYBE
|
56.29 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.typed
|
* | WORST_CASE(?,O(n^4))
|
58.15 | * | WORST_CASE(?,O(n^4))
|
57.75 | * | WORST_CASE(?,O(n^4))
|
58.20 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.typed
|
* | MAYBE
|
29.80 | * | MAYBE
|
56.40 | * | MAYBE
|
56.36 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.typed
|
* | MAYBE
|
56.56 | * | MAYBE
|
56.32 | * | MAYBE
|
56.42 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.typed
|
* | WORST_CASE(?,O(n^3))
|
59.99 | * | TIMEOUT
|
60.04 | * | TIMEOUT
|
60.04 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.typed
|
* | MAYBE
|
53.39 | * | MAYBE
|
52.18 | * | MAYBE
|
52.68 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.37 | * | WORST_CASE(?,O(n^1))
|
56.37 | * | WORST_CASE(?,O(n^1))
|
56.43 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.typed
|
* | MAYBE
|
56.27 | * | MAYBE
|
56.25 | * | MAYBE
|
56.21 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.typed
|
* | MAYBE
|
23.58 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.41 | * | WORST_CASE(?,O(n^1))
|
56.30 | * | WORST_CASE(?,O(n^1))
|
56.37 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.typed
|
* | MAYBE
|
46.23 | * | MAYBE
|
56.92 | * | MAYBE
|
58.63 |
Transformed_CSR_04/MYNAT_complete-noand_FR.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
55.52 | * | MAYBE
|
56.87 |
Transformed_CSR_04/MYNAT_complete-noand_Z.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.62 | * | MAYBE
|
56.39 |
Transformed_CSR_04/MYNAT_complete_C.typed
|
* | MAYBE
|
56.79 | * | MAYBE
|
56.51 | * | MAYBE
|
56.47 |
Transformed_CSR_04/MYNAT_complete_FR.typed
|
* | MAYBE
|
55.37 | * | MAYBE
|
56.42 | * | MAYBE
|
56.36 |
Transformed_CSR_04/MYNAT_complete_GM.typed
|
* | MAYBE
|
56.33 | * | MAYBE
|
56.25 | * | MAYBE
|
56.49 |
Transformed_CSR_04/MYNAT_complete_Z.typed
|
* | MAYBE
|
57.01 | * | MAYBE
|
57.78 | * | MAYBE
|
56.50 |
Transformed_CSR_04/MYNAT_complete_noand_C.typed
|
* | MAYBE
|
56.18 | * | MAYBE
|
56.28 | * | MAYBE
|
57.07 |
Transformed_CSR_04/MYNAT_complete_noand_GM.typed
|
* | MAYBE
|
56.10 | * | MAYBE
|
56.28 | * | MAYBE
|
56.42 |
Transformed_CSR_04/MYNAT_nokinds-noand_FR.typed
|
* | WORST_CASE(?,O(n^2))
|
57.53 | * | WORST_CASE(?,O(n^2))
|
56.90 | * | WORST_CASE(?,O(n^2))
|
57.48 |
Transformed_CSR_04/MYNAT_nokinds-noand_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
9.47 | * | WORST_CASE(?,O(n^1))
|
10.10 | * | WORST_CASE(?,O(n^1))
|
9.31 |
Transformed_CSR_04/MYNAT_nokinds_C.typed
|
* | MAYBE
|
56.18 | * | MAYBE
|
56.41 | * | MAYBE
|
56.47 |
Transformed_CSR_04/MYNAT_nokinds_FR.typed
|
* | MAYBE
|
56.71 | * | WORST_CASE(?,O(n^2))
|
57.76 | * | MAYBE
|
57.80 |
Transformed_CSR_04/MYNAT_nokinds_GM.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
56.20 | * | MAYBE
|
56.49 |
Transformed_CSR_04/MYNAT_nokinds_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
8.20 | * | WORST_CASE(?,O(n^1))
|
8.54 | * | WORST_CASE(?,O(n^1))
|
10.75 |
Transformed_CSR_04/MYNAT_nokinds_noand_C.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.32 | * | MAYBE
|
56.25 |
Transformed_CSR_04/MYNAT_nokinds_noand_GM.typed
|
* | MAYBE
|
56.71 | * | MAYBE
|
57.19 | * | MAYBE
|
56.42 |
Transformed_CSR_04/MYNAT_nosorts-noand_FR.typed
|
* | WORST_CASE(?,O(n^2))
|
56.25 | * | WORST_CASE(?,O(n^2))
|
14.86 | * | WORST_CASE(?,O(n^2))
|
56.52 |
Transformed_CSR_04/MYNAT_nosorts_C.typed
|
* | MAYBE
|
56.70 | * | MAYBE
|
56.34 | * | MAYBE
|
56.50 |
Transformed_CSR_04/MYNAT_nosorts_FR.typed
|
* | WORST_CASE(?,O(n^2))
|
1.85 | * | WORST_CASE(?,O(n^2))
|
3.21 | * | WORST_CASE(?,O(n^2))
|
2.45 |
Transformed_CSR_04/MYNAT_nosorts_GM.typed
|
* | MAYBE
|
56.28 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/MYNAT_nosorts_noand_C.typed
|
* | MAYBE
|
56.36 | * | MAYBE
|
56.32 | * | MAYBE
|
56.29 |
Transformed_CSR_04/MYNAT_nosorts_noand_GM.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
56.67 | * | MAYBE
|
56.46 |
Transformed_CSR_04/OvConsOS_complete-noand_FR.typed
|
* | MAYBE
|
56.33 | * | MAYBE
|
56.55 | * | MAYBE
|
56.63 |
Transformed_CSR_04/OvConsOS_complete-noand_Z.typed
|
* | MAYBE
|
56.58 | * | MAYBE
|
56.49 | * | MAYBE
|
56.63 |
Transformed_CSR_04/OvConsOS_complete_C.typed
|
* | MAYBE
|
56.27 | * | MAYBE
|
55.74 | * | MAYBE
|
56.87 |
Transformed_CSR_04/OvConsOS_complete_FR.typed
|
* | MAYBE
|
56.31 | * | MAYBE
|
56.63 | * | MAYBE
|
56.28 |
Transformed_CSR_04/OvConsOS_complete_GM.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.59 | * | MAYBE
|
56.65 |
Transformed_CSR_04/OvConsOS_complete_Z.typed
|
* | MAYBE
|
56.36 | * | MAYBE
|
56.45 | * | MAYBE
|
56.59 |
Transformed_CSR_04/OvConsOS_complete_noand_C.typed
|
* | MAYBE
|
56.59 | * | MAYBE
|
56.47 | * | MAYBE
|
57.46 |
Transformed_CSR_04/OvConsOS_complete_noand_GM.typed
|
* | MAYBE
|
56.41 | * | MAYBE
|
56.66 | * | MAYBE
|
56.74 |
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.typed
|
* | MAYBE
|
56.42 | * | MAYBE
|
56.44 | * | MAYBE
|
56.31 |
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.typed
|
* | MAYBE
|
56.44 | * | MAYBE
|
56.33 | * | MAYBE
|
56.36 |
Transformed_CSR_04/OvConsOS_nokinds_C.typed
|
* | MAYBE
|
56.44 | * | MAYBE
|
56.46 | * | MAYBE
|
56.61 |
Transformed_CSR_04/OvConsOS_nokinds_FR.typed
|
* | MAYBE
|
56.41 | * | MAYBE
|
56.53 | * | MAYBE
|
56.38 |
Transformed_CSR_04/OvConsOS_nokinds_GM.typed
|
* | MAYBE
|
56.84 | * | MAYBE
|
56.68 | * | MAYBE
|
56.85 |
Transformed_CSR_04/OvConsOS_nokinds_Z.typed
|
* | MAYBE
|
31.40 | * | MAYBE
|
56.29 | * | MAYBE
|
56.44 |
Transformed_CSR_04/OvConsOS_nokinds_noand_C.typed
|
* | MAYBE
|
56.51 | * | MAYBE
|
56.29 | * | MAYBE
|
56.74 |
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.typed
|
* | MAYBE
|
56.20 | * | MAYBE
|
56.45 | * | MAYBE
|
56.28 |
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.typed
|
* | MAYBE
|
18.72 | * | TIMEOUT
|
60.00 | * | MAYBE
|
59.02 |
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.typed
|
* | MAYBE
|
22.44 | * | TIMEOUT
|
60.00 | * | MAYBE
|
57.99 |
Transformed_CSR_04/OvConsOS_nosorts_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.24 | * | WORST_CASE(?,O(n^1))
|
56.32 | * | WORST_CASE(?,O(n^1))
|
56.34 |
Transformed_CSR_04/OvConsOS_nosorts_FR.typed
|
* | MAYBE
|
43.77 | * | MAYBE
|
57.76 | * | MAYBE
|
56.26 |
Transformed_CSR_04/OvConsOS_nosorts_GM.typed
|
* | MAYBE
|
18.71 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.34 |
Transformed_CSR_04/OvConsOS_nosorts_Z.typed
|
* | MAYBE
|
23.28 | * | MAYBE
|
33.95 | * | MAYBE
|
34.32 |
Transformed_CSR_04/OvConsOS_nosorts_noand_C.typed
|
* | MAYBE
|
56.36 | * | MAYBE
|
56.19 | * | MAYBE
|
56.20 |
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.typed
|
* | MAYBE
|
56.44 | * | MAYBE
|
58.14 | * | MAYBE
|
57.15 |
Transformed_CSR_04/PALINDROME_complete-noand_FR.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.42 | * | MAYBE
|
56.56 |
Transformed_CSR_04/PALINDROME_complete-noand_L.typed
|
* | MAYBE
|
56.21 | * | MAYBE
|
56.21 | * | MAYBE
|
56.49 |
Transformed_CSR_04/PALINDROME_complete-noand_Z.typed
|
* | MAYBE
|
56.28 | * | MAYBE
|
56.26 | * | MAYBE
|
56.43 |
Transformed_CSR_04/PALINDROME_complete_C.typed
|
* | MAYBE
|
56.67 | * | MAYBE
|
56.13 | * | MAYBE
|
56.78 |
Transformed_CSR_04/PALINDROME_complete_FR.typed
|
* | MAYBE
|
55.45 | * | MAYBE
|
56.18 | * | MAYBE
|
56.30 |
Transformed_CSR_04/PALINDROME_complete_GM.typed
|
* | MAYBE
|
56.45 | * | MAYBE
|
56.35 | * | MAYBE
|
56.27 |
Transformed_CSR_04/PALINDROME_complete_Z.typed
|
* | MAYBE
|
56.19 | * | MAYBE
|
56.63 | * | MAYBE
|
56.42 |
Transformed_CSR_04/PALINDROME_complete_noand_C.typed
|
* | MAYBE
|
57.28 | * | MAYBE
|
56.54 | * | MAYBE
|
56.45 |
Transformed_CSR_04/PALINDROME_complete_noand_GM.typed
|
* | MAYBE
|
56.62 | * | MAYBE
|
56.31 | * | MAYBE
|
56.60 |
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.typed
|
* | WORST_CASE(?,O(n^2))
|
10.07 | * | WORST_CASE(?,O(n^2))
|
13.13 | * | WORST_CASE(?,O(n^2))
|
18.74 |
Transformed_CSR_04/PALINDROME_nokinds-noand_L.typed
|
* | MAYBE
|
16.71 | * | MAYBE
|
56.24 | * | MAYBE
|
57.09 |
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
41.26 | * | WORST_CASE(?,O(n^1))
|
30.56 | * | WORST_CASE(?,O(n^1))
|
37.85 |
Transformed_CSR_04/PALINDROME_nokinds_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.41 | * | WORST_CASE(?,O(n^1))
|
56.47 | * | WORST_CASE(?,O(n^1))
|
56.80 |
Transformed_CSR_04/PALINDROME_nokinds_FR.typed
|
* | WORST_CASE(?,O(n^2))
|
57.11 | * | WORST_CASE(?,O(n^2))
|
56.54 | * | WORST_CASE(?,O(n^2))
|
56.97 |
Transformed_CSR_04/PALINDROME_nokinds_GM.typed
|
* | MAYBE
|
56.50 | * | MAYBE
|
31.96 | * | MAYBE
|
56.90 |
Transformed_CSR_04/PALINDROME_nokinds_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
37.51 | * | WORST_CASE(?,O(n^1))
|
57.81 | * | WORST_CASE(?,O(n^1))
|
58.24 |
Transformed_CSR_04/PALINDROME_nokinds_noand_C.typed
|
* | MAYBE
|
56.15 | * | WORST_CASE(?,O(n^1))
|
56.65 | * | WORST_CASE(?,O(n^1))
|
56.42 |
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.typed
|
* | MAYBE
|
56.84 | * | MAYBE
|
56.17 | * | MAYBE
|
56.19 |
Transformed_CSR_04/PALINDROME_nosorts_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.27 | * | WORST_CASE(?,O(n^1))
|
56.19 | * | WORST_CASE(?,O(n^1))
|
56.19 |
Transformed_CSR_04/PALINDROME_nosorts_GM.typed
|
* | MAYBE
|
56.26 | * | MAYBE
|
9.16 | * | MAYBE
|
56.51 |
Transformed_CSR_04/PALINDROME_nosorts_noand_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.38 | * | WORST_CASE(?,O(n^1))
|
56.60 | * | WORST_CASE(?,O(n^1))
|
56.41 |
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.typed
|
* | MAYBE
|
56.25 | * | MAYBE
|
7.45 | * | MAYBE
|
56.37 |
Transformed_CSR_04/PEANO_complete-noand_FR.typed
|
* | WORST_CASE(?,O(n^3))
|
58.45 | * | MAYBE
|
56.32 | * | MAYBE
|
56.33 |
Transformed_CSR_04/PEANO_complete-noand_Z.typed
|
* | WORST_CASE(?,O(n^2))
|
57.14 | * | WORST_CASE(?,O(n^2))
|
57.60 | * | WORST_CASE(?,O(n^2))
|
57.81 |
Transformed_CSR_04/PEANO_complete_C.typed
|
* | MAYBE
|
56.47 | * | MAYBE
|
56.15 | * | MAYBE
|
56.39 |
Transformed_CSR_04/PEANO_complete_FR.typed
|
* | MAYBE
|
56.24 | * | MAYBE
|
56.47 | * | MAYBE
|
56.40 |
Transformed_CSR_04/PEANO_complete_GM.typed
|
* | MAYBE
|
56.34 | * | MAYBE
|
56.40 | * | MAYBE
|
56.30 |
Transformed_CSR_04/PEANO_complete_Z.typed
|
* | MAYBE
|
56.19 | * | MAYBE
|
56.60 | * | MAYBE
|
56.37 |
Transformed_CSR_04/PEANO_complete_noand_C.typed
|
* | MAYBE
|
56.55 | * | MAYBE
|
56.40 | * | MAYBE
|
55.78 |
Transformed_CSR_04/PEANO_complete_noand_GM.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
56.43 | * | MAYBE
|
56.49 |
Transformed_CSR_04/PEANO_nokinds-noand_FR.typed
|
* | WORST_CASE(?,O(n^2))
|
23.21 | * | WORST_CASE(?,O(n^2))
|
14.22 | * | WORST_CASE(?,O(n^2))
|
34.21 |
Transformed_CSR_04/PEANO_nokinds-noand_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
2.57 | * | WORST_CASE(?,O(n^1))
|
2.83 | * | WORST_CASE(?,O(n^1))
|
2.68 |
Transformed_CSR_04/PEANO_nokinds_C.typed
|
* | MAYBE
|
56.27 | * | MAYBE
|
56.14 | * | MAYBE
|
56.37 |
Transformed_CSR_04/PEANO_nokinds_FR.typed
|
* | MAYBE
|
56.33 | * | WORST_CASE(?,O(n^2))
|
56.80 | * | MAYBE
|
56.57 |
Transformed_CSR_04/PEANO_nokinds_GM.typed
|
* | MAYBE
|
56.74 | * | MAYBE
|
56.41 | * | MAYBE
|
56.81 |
Transformed_CSR_04/PEANO_nokinds_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
3.34 | * | WORST_CASE(?,O(n^1))
|
5.23 | * | WORST_CASE(?,O(n^1))
|
3.63 |
Transformed_CSR_04/PEANO_nokinds_noand_C.typed
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.39 | * | MAYBE
|
56.27 |
Transformed_CSR_04/PEANO_nokinds_noand_GM.typed
|
* | MAYBE
|
56.39 | * | MAYBE
|
56.31 | * | MAYBE
|
56.28 |
Transformed_CSR_04/PEANO_nosorts-noand_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
7.21 | * | WORST_CASE(?,O(n^1))
|
7.14 | * | WORST_CASE(?,O(n^1))
|
7.09 |
Transformed_CSR_04/PEANO_nosorts_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.18 | * | WORST_CASE(?,O(n^1))
|
56.35 | * | WORST_CASE(?,O(n^1))
|
56.22 |
Transformed_CSR_04/PEANO_nosorts_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.24 |
Transformed_CSR_04/PEANO_nosorts_GM.typed
|
* | MAYBE
|
9.02 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nosorts_noand_C.typed
|
* | WORST_CASE(?,O(n^1))
|
56.54 | * | WORST_CASE(?,O(n^1))
|
56.22 | * | WORST_CASE(?,O(n^1))
|
56.39 |
Transformed_CSR_04/PEANO_nosorts_noand_GM.typed
|
* | MAYBE
|
9.37 | * | MAYBE
|
56.63 | * | MAYBE
|
56.47 |
Various_04/04.typed
|
* | WORST_CASE(?,O(1))
|
1.24 | * | WORST_CASE(?,O(1))
|
1.25 | * | WORST_CASE(?,O(1))
|
1.03 |
Various_04/08.typed
|
* | WORST_CASE(?,O(1))
|
53.22 | * | WORST_CASE(?,O(1))
|
56.30 | * | WORST_CASE(?,O(1))
|
56.38 |
Various_04/10.typed
|
* | WORST_CASE(?,O(n^3))
|
57.54 | * | WORST_CASE(?,O(n^3))
|
45.20 | * | MAYBE
|
56.76 |
Various_04/11.typed
|
* | MAYBE
|
2.29 | * | MAYBE
|
1.55 | * | MAYBE
|
3.10 |
Various_04/12.typed
|
* | MAYBE
|
56.18 | * | MAYBE
|
51.92 | * | MAYBE
|
59.54 |
Various_04/13.typed
|
* | MAYBE
|
56.24 | * | MAYBE
|
49.66 | * | MAYBE
|
56.39 |
Various_04/14.typed
|
* | WORST_CASE(?,O(n^2))
|
57.98 | * | MAYBE
|
56.38 | * | MAYBE
|
56.21 |
Various_04/15.typed
|
* | WORST_CASE(?,O(n^1))
|
3.27 | * | WORST_CASE(?,O(n^1))
|
2.77 | * | WORST_CASE(?,O(n^1))
|
2.42 |
Various_04/18.typed
|
* | WORST_CASE(?,O(n^1))
|
10.66 | * | WORST_CASE(?,O(n^1))
|
56.31 | * | WORST_CASE(?,O(n^1))
|
56.32 |
Various_04/22.typed
|
* | WORST_CASE(?,O(n^1))
|
2.56 | * | WORST_CASE(?,O(n^1))
|
3.05 | * | WORST_CASE(?,O(n^1))
|
3.61 |
Various_04/23.typed
|
* | WORST_CASE(?,O(n^1))
|
0.64 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.69 |
Various_04/24.typed
|
* | WORST_CASE(?,O(n^2))
|
10.23 | * | WORST_CASE(?,O(n^2))
|
11.08 | * | WORST_CASE(?,O(n^2))
|
9.87 |
Waldmann_06/jwmatchb1.typed
|
* | WORST_CASE(?,O(n^1))
|
6.30 | * | WORST_CASE(?,O(n^1))
|
16.91 | * | WORST_CASE(?,O(n^1))
|
19.10 |
Waldmann_06/jwmatchb2.typed
|
* | WORST_CASE(?,O(n^1))
|
5.77 | * | WORST_CASE(?,O(n^1))
|
22.05 | * | WORST_CASE(?,O(n^1))
|
21.05 |
Waldmann_06/jwno1.typed
|
* | MAYBE
|
7.10 | * | MAYBE
|
19.47 | * | MAYBE
|
17.92 |
Waldmann_06/jwno4.typed
|
* | MAYBE
|
7.14 | * | MAYBE
|
7.50 | * | MAYBE
|
7.74 |
Waldmann_06/jwno6.typed
|
* | MAYBE
|
7.12 | * | MAYBE
|
18.10 | * | MAYBE
|
20.60 |
Zantema_05/z10.typed
|
* | MAYBE
|
3.06 | * | MAYBE
|
7.57 | * | MAYBE
|
3.59 |
Zantema_05/z12.typed
|
* | MAYBE
|
29.02 | * | MAYBE
|
33.04 | * | MAYBE
|
33.43 |
Zantema_05/z13.typed
|
* | MAYBE
|
32.81 | * | MAYBE
|
35.37 | * | MAYBE
|
38.53 |
Zantema_05/z14.typed
|
* | MAYBE
|
25.99 | * | MAYBE
|
38.54 | * | MAYBE
|
33.45 |
Zantema_05/z15.typed
|
* | MAYBE
|
56.09 | * | MAYBE
|
56.07 | * | MAYBE
|
56.37 |
Zantema_05/z16.typed
|
* | MAYBE
|
33.06 | * | MAYBE
|
36.69 | * | MAYBE
|
39.24 |
Zantema_05/z17.typed
|
* | MAYBE
|
56.04 | * | MAYBE
|
56.07 | * | MAYBE
|
56.04 |
Zantema_05/z18.typed
|
* | MAYBE
|
55.67 | * | MAYBE
|
56.17 | * | MAYBE
|
56.17 |
Zantema_05/z23.typed
|
* | MAYBE
|
56.07 | * | MAYBE
|
56.08 | * | MAYBE
|
56.06 |
Zantema_05/z24.typed
|
* | MAYBE
|
56.17 | * | MAYBE
|
56.24 | * | MAYBE
|
56.19 |
Zantema_05/z26.typed
|
* | WORST_CASE(?,O(n^1))
|
0.95 | * | WORST_CASE(?,O(n^1))
|
1.20 | * | WORST_CASE(?,O(n^1))
|
2.25 |
Zantema_05/z27.typed
|
* | MAYBE
|
1.54 | * | MAYBE
|
3.57 | * | MAYBE
|
3.74 |
Zantema_05/z28.typed
|
* | MAYBE
|
2.08 | * | MAYBE
|
3.59 | * | MAYBE
|
2.46 |
hoca/dfs-flatten.typed
|
* | WORST_CASE(?,O(n^1))
|
0.97 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
1.24 |
hoca/fib_llist.typed
|
* | MAYBE
|
56.39 | * | TIMEOUT
|
60.00 | * | MAYBE
|
56.87 |
hoca/flatten.typed
|
* | WORST_CASE(?,O(n^1))
|
1.33 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
1.19 |
hoca/foldsum.typed
|
* | WORST_CASE(?,O(n^1))
|
3.01 | * | WORST_CASE(?,O(n^1))
|
3.27 | * | WORST_CASE(?,O(n^1))
|
2.85 |
hoca/id.typed
|
* | WORST_CASE(?,O(n^1))
|
0.90 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.41 |
hoca/isort-fold.typed
|
* | WORST_CASE(?,O(n^2))
|
9.49 | * | WORST_CASE(?,O(n^2))
|
16.81 | * | WORST_CASE(?,O(n^2))
|
17.53 |
hoca/isort.typed
|
* | WORST_CASE(?,O(n^2))
|
7.70 | * | WORST_CASE(?,O(n^2))
|
9.91 | * | WORST_CASE(?,O(n^2))
|
10.12 |
hoca/mappplus.typed
|
* | WORST_CASE(?,O(n^2))
|
1.65 | * | WORST_CASE(?,O(n^2))
|
4.14 | * | WORST_CASE(?,O(n^2))
|
2.40 |
hoca/mergesort-dc.typed
|
* | MAYBE
|
56.60 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
hoca/mss.typed
|
* | MAYBE
|
13.05 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
hoca/rev-dl.typed
|
* | WORST_CASE(?,O(n^1))
|
1.22 | * | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
1.49 |
hoca/rev-fletf.typed
|
* | WORST_CASE(?,O(n^1))
|
2.04 | * | WORST_CASE(?,O(n^1))
|
1.28 | * | WORST_CASE(?,O(n^1))
|
0.74 |
hoca/rev-foldl.typed
|
* | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.40 |
hoca/rpm-lazy.typed
|
* | MAYBE
|
56.71 | * | MAYBE
|
56.50 | * | MAYBE
|
56.78 |
hoca/sum.typed
|
* | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
0.68 |
hoca/sum_sqs3.typed
|
* | MAYBE
|
34.49 | * | MAYBE
|
18.14 | * | MAYBE
|
32.18 |
raML/appendAll.raml.typed
|
* | WORST_CASE(?,O(n^1))
|
4.55 | * | WORST_CASE(?,O(n^1))
|
3.51 | * | WORST_CASE(?,O(n^1))
|
4.20 |
raML/bfs.raml.typed
|
* | MAYBE
|
56.76 | * | MAYBE
|
56.52 | * | MAYBE
|
56.86 |
raML/bft_mmult.raml.typed
|
* | MAYBE
|
57.34 | * | MAYBE
|
56.22 | * | MAYBE
|
56.96 |
raML/bitvectors.raml.typed
|
* | MAYBE
|
56.22 | * | MAYBE
|
56.46 | * | MAYBE
|
56.69 |
raML/clevermmult.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
26.42 | * | WORST_CASE(?,O(n^2))
|
57.23 | * | WORST_CASE(?,O(n^2))
|
57.10 |
raML/duplicates.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
4.91 | * | WORST_CASE(?,O(n^2))
|
19.48 | * | WORST_CASE(?,O(n^2))
|
15.45 |
raML/dyade.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
4.28 | * | WORST_CASE(?,O(n^2))
|
56.32 | * | WORST_CASE(?,O(n^2))
|
4.18 |
raML/eratosthenes.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
57.00 | * | MAYBE
|
56.33 | * | MAYBE
|
56.37 |
raML/flatten.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
56.92 | * | WORST_CASE(?,O(n^2))
|
57.29 | * | TIMEOUT
|
60.00 |
raML/flatten2.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
56.31 | * | WORST_CASE(?,O(n^2))
|
33.75 | * | WORST_CASE(?,O(n^2))
|
56.23 |
raML/insertionsort.raml.typed
|
* | MAYBE
|
56.15 | * | MAYBE
|
56.36 | * | TIMEOUT
|
60.00 |
raML/listsort.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
56.97 | * | WORST_CASE(?,O(n^2))
|
56.97 | * | WORST_CASE(?,O(n^2))
|
57.51 |
raML/longestCommonSubsequence.raml.typed
|
* | MAYBE
|
56.30 | * | MAYBE
|
56.38 | * | MAYBE
|
56.39 |
raML/matrix.raml.typed
|
* | MAYBE
|
56.64 | * | MAYBE
|
56.67 | * | MAYBE
|
56.28 |
raML/mergesort.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
57.66 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^2))
|
58.19 |
raML/minsort.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
14.66 | * | WORST_CASE(?,O(n^2))
|
15.68 | * | WORST_CASE(?,O(n^2))
|
16.28 |
raML/queue.raml.typed
|
* | MAYBE
|
56.16 | * | MAYBE
|
56.37 | * | TIMEOUT
|
60.00 |
raML/quicksort.raml.typed
|
* | MAYBE
|
56.44 | * | MAYBE
|
56.18 | * | MAYBE
|
56.47 |
raML/rationalPotential.raml.typed
|
* | WORST_CASE(?,O(n^1))
|
1.89 | * | WORST_CASE(?,O(n^1))
|
1.57 | * | WORST_CASE(?,O(n^1))
|
1.86 |
raML/splitandsort.raml.typed
|
* | MAYBE
|
56.51 | * | MAYBE
|
56.25 | * | MAYBE
|
56.39 |
raML/subtrees.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
7.22 | * | WORST_CASE(?,O(n^2))
|
6.42 | * | WORST_CASE(?,O(n^2))
|
6.92 |