Mat |
Poly |
Ints |
TctAraMinismt |
TctAraZ3 |
|
|---|---|---|---|---|---|
Success "MAYBE" |
815 | 858 | 795 | 817 | 638 |
Success "WORST_CASE(?,O(1))" |
5 | 1 | 4 | 0 | 0 |
Success "WORST_CASE(?,O(n^1))" |
156 | 128 | 157 | 119 | 122 |
Success "WORST_CASE(?,O(n^2))" |
25 | 24 | 44 | 34 | 45 |
Success "WORST_CASE(?,O(n^3))" |
10 | 0 | 10 | 7 | 5 |
Timeout |
0 | 0 | 1 | 34 | 201 |
Mat |
Poly |
Ints |
TctAraMinismt |
TctAraZ3 |
|
|---|---|---|---|---|---|
Success "MAYBE" |
7.78 | 23.03 | 28.38 | 18.70 | 20.36 |
Success "WORST_CASE(?,O(1))" |
0.09 | 0.08 | 0.09 | 0.00 | 0.00 |
Success "WORST_CASE(?,O(n^1))" |
0.16 | 0.12 | 0.18 | 0.74 | 0.29 |
Success "WORST_CASE(?,O(n^2))" |
2.15 | 1.34 | 1.88 | 2.86 | 2.26 |
Success "WORST_CASE(?,O(n^3))" |
13.55 | 0.00 | 13.54 | 9.99 | 19.75 |
Timeout |
0.00 | 0.00 | 60.00 | 60.01 | 60.00 |
Overall |
6.48 | 19.60 | 22.62 | 17.39 | 25.01 |
Mat
|
Poly
|
Ints
|
TctAraMinismt
|
TctAraZ3
|
|||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Problem (all selected)
|
* | answer |
* | answer |
* | answer |
* | answer |
* | answer |
|||||
AG01/%233.1.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.12 |
AG01/%233.10.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
59.18 | * | MAYBE
|
59.20 | * | MAYBE
|
17.79 | * | TIMEOUT
|
60.00 |
AG01/%233.12.typed
|
* | MAYBE
|
4.38 | * | MAYBE
|
2.28 | * | MAYBE
|
4.64 | * | MAYBE
|
4.94 | * | MAYBE
|
6.83 |
AG01/%233.13.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
59.13 | * | MAYBE
|
59.14 | * | MAYBE
|
13.85 | * | MAYBE
|
19.03 |
AG01/%233.15.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
0.13 |
AG01/%233.16.typed
|
* | MAYBE
|
2.38 | * | MAYBE
|
2.21 | * | MAYBE
|
2.42 | * | MAYBE
|
2.49 | * | MAYBE
|
0.70 |
AG01/%233.17.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
59.09 | * | MAYBE
|
59.16 | * | MAYBE
|
6.77 | * | TIMEOUT
|
60.00 |
AG01/%233.17a.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
59.17 | * | MAYBE
|
59.20 | * | MAYBE
|
9.80 | * | TIMEOUT
|
60.00 |
AG01/%233.18.typed
|
* | MAYBE
|
2.58 | * | MAYBE
|
2.43 | * | MAYBE
|
2.69 | * | MAYBE
|
6.51 | * | MAYBE
|
7.27 |
AG01/%233.19.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
2.66 | * | MAYBE
|
2.79 | * | MAYBE
|
2.29 | * | MAYBE
|
3.16 |
AG01/%233.2.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
2.36 | * | MAYBE
|
2.64 | * | MAYBE
|
2.19 | * | MAYBE
|
1.40 |
AG01/%233.22.typed
|
* | MAYBE
|
2.48 | * | MAYBE
|
59.17 | * | MAYBE
|
59.08 | * | MAYBE
|
5.45 | * | MAYBE
|
3.48 |
AG01/%233.23.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.07 |
AG01/%233.24.typed
|
* | WORST_CASE(?,O(n^1))
|
0.24 | * | MAYBE
|
2.22 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^2))
|
0.93 | * | WORST_CASE(?,O(n^2))
|
1.43 |
AG01/%233.26.typed
|
* | MAYBE
|
7.74 | * | MAYBE
|
2.16 | * | MAYBE
|
7.70 | * | MAYBE
|
1.76 | * | MAYBE
|
18.65 |
AG01/%233.29.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.08 |
AG01/%233.31.typed
|
* | MAYBE
|
2.38 | * | MAYBE
|
2.19 | * | MAYBE
|
2.49 | * | MAYBE
|
1.76 | * | MAYBE
|
0.82 |
AG01/%233.33.typed
|
* | WORST_CASE(?,O(n^1))
|
0.56 | * | MAYBE
|
2.36 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^2))
|
8.33 | * | WORST_CASE(?,O(n^2))
|
1.94 |
AG01/%233.35.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.08 |
AG01/%233.36.typed
|
* | MAYBE
|
2.89 | * | MAYBE
|
4.11 | * | MAYBE
|
4.35 | * | MAYBE
|
4.16 | * | MAYBE
|
15.76 |
AG01/%233.37.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | MAYBE
|
2.20 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | MAYBE
|
2.47 | * | MAYBE
|
0.88 |
AG01/%233.38.typed
|
* | MAYBE
|
3.24 | * | MAYBE
|
2.37 | * | MAYBE
|
3.34 | * | MAYBE
|
4.11 | * | TIMEOUT
|
60.00 |
AG01/%233.39.typed
|
* | MAYBE
|
2.97 | * | MAYBE
|
3.59 | * | MAYBE
|
4.11 | * | MAYBE
|
4.76 | * | TIMEOUT
|
60.00 |
AG01/%233.4.typed
|
* | MAYBE
|
2.74 | * | MAYBE
|
2.45 | * | MAYBE
|
2.80 | * | MAYBE
|
2.59 | * | MAYBE
|
5.74 |
AG01/%233.40.typed
|
* | MAYBE
|
4.57 | * | MAYBE
|
4.83 | * | MAYBE
|
5.71 | * | MAYBE
|
3.07 | * | MAYBE
|
6.16 |
AG01/%233.41.typed
|
* | WORST_CASE(?,O(n^3))
|
2.35 | * | MAYBE
|
2.16 | * | WORST_CASE(?,O(n^3))
|
2.35 | * | WORST_CASE(?,O(n^2))
|
0.75 | * | WORST_CASE(?,O(n^2))
|
0.48 |
AG01/%233.42.typed
|
* | MAYBE
|
3.65 | * | MAYBE
|
2.18 | * | MAYBE
|
3.69 | * | MAYBE
|
6.63 | * | WORST_CASE(?,O(n^1))
|
0.34 |
AG01/%233.47.typed
|
* | WORST_CASE(?,O(n^2))
|
1.29 | * | MAYBE
|
2.21 | * | WORST_CASE(?,O(n^2))
|
1.28 | * | WORST_CASE(?,O(n^2))
|
1.07 | * | WORST_CASE(?,O(n^2))
|
0.45 |
AG01/%233.48.typed
|
* | MAYBE
|
2.50 | * | MAYBE
|
59.10 | * | MAYBE
|
59.05 | * | MAYBE
|
4.82 | * | MAYBE
|
2.55 |
AG01/%233.49.typed
|
* | MAYBE
|
16.94 | * | MAYBE
|
2.24 | * | MAYBE
|
17.15 | * | MAYBE
|
14.40 | * | TIMEOUT
|
60.00 |
AG01/%233.5.typed
|
* | WORST_CASE(?,O(n^2))
|
1.38 | * | WORST_CASE(?,O(n^2))
|
1.35 | * | WORST_CASE(?,O(n^2))
|
1.39 | * | WORST_CASE(?,O(n^2))
|
4.41 | * | WORST_CASE(?,O(n^2))
|
1.28 |
AG01/%233.51.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | MAYBE
|
2.26 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | MAYBE
|
3.68 | * | MAYBE
|
1.29 |
AG01/%233.52.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | MAYBE
|
2.26 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | MAYBE
|
1.33 | * | MAYBE
|
0.67 |
AG01/%233.53.typed
|
* | MAYBE
|
2.76 | * | MAYBE
|
2.85 | * | MAYBE
|
3.04 | * | MAYBE
|
6.87 | * | MAYBE
|
23.86 |
AG01/%233.53a.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.11 |
AG01/%233.53b.typed
|
* | WORST_CASE(?,O(n^1))
|
0.14 | * | MAYBE
|
2.31 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | MAYBE
|
1.06 | * | MAYBE
|
0.50 |
AG01/%233.54.typed
|
* | MAYBE
|
9.83 | * | MAYBE
|
2.29 | * | MAYBE
|
9.78 | * | MAYBE
|
3.56 | * | TIMEOUT
|
60.00 |
AG01/%233.55.typed
|
* | MAYBE
|
3.45 | * | MAYBE
|
59.19 | * | MAYBE
|
59.16 | * | MAYBE
|
13.32 | * | TIMEOUT
|
60.00 |
AG01/%233.56.typed
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | MAYBE
|
2.28 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | MAYBE
|
1.54 | * | MAYBE
|
0.64 |
AG01/%233.57.typed
|
* | MAYBE
|
2.45 | * | MAYBE
|
59.19 | * | MAYBE
|
59.16 | * | MAYBE
|
10.05 | * | TIMEOUT
|
60.00 |
AG01/%233.5a.typed
|
* | MAYBE
|
3.58 | * | MAYBE
|
2.51 | * | MAYBE
|
3.47 | * | MAYBE
|
6.00 | * | TIMEOUT
|
60.00 |
AG01/%233.5b.typed
|
* | MAYBE
|
3.27 | * | MAYBE
|
2.84 | * | MAYBE
|
3.28 | * | MAYBE
|
8.55 | * | TIMEOUT
|
60.00 |
AG01/%233.6.typed
|
* | MAYBE
|
3.10 | * | MAYBE
|
2.97 | * | MAYBE
|
3.48 | * | MAYBE
|
6.97 | * | MAYBE
|
34.01 |
AG01/%233.6a.typed
|
* | WORST_CASE(?,O(n^2))
|
1.41 | * | WORST_CASE(?,O(n^2))
|
1.38 | * | WORST_CASE(?,O(n^2))
|
1.33 | * | MAYBE
|
8.53 | * | WORST_CASE(?,O(n^2))
|
2.32 |
AG01/%233.6b.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
2.91 | * | MAYBE
|
3.11 | * | MAYBE
|
7.03 | * | TIMEOUT
|
60.00 |
AG01/%233.7.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.10 |
AG01/%233.8a.typed
|
* | MAYBE
|
3.58 | * | MAYBE
|
2.37 | * | MAYBE
|
3.58 | * | MAYBE
|
8.37 | * | MAYBE
|
3.37 |
AG01/%233.8b.typed
|
* | MAYBE
|
3.36 | * | MAYBE
|
2.67 | * | MAYBE
|
3.46 | * | MAYBE
|
9.94 | * | TIMEOUT
|
60.00 |
AG01/%234.30c.typed
|
* | MAYBE
|
3.05 | * | MAYBE
|
2.61 | * | MAYBE
|
3.01 | * | MAYBE
|
6.19 | * | MAYBE
|
15.23 |
AProVE_04/AAECC-ring.typed
|
* | MAYBE
|
5.23 | * | MAYBE
|
59.16 | * | MAYBE
|
59.19 | * | MAYBE
|
59.43 | * | MAYBE
|
59.27 |
AProVE_04/AAECC.typed
|
* | MAYBE
|
2.58 | * | MAYBE
|
59.17 | * | MAYBE
|
59.26 | * | MAYBE
|
17.85 | * | MAYBE
|
23.55 |
AProVE_04/IJCAR_1.typed
|
* | MAYBE
|
3.68 | * | MAYBE
|
2.42 | * | MAYBE
|
3.85 | * | MAYBE
|
3.36 | * | MAYBE
|
11.03 |
AProVE_04/IJCAR_12.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
2.44 | * | MAYBE
|
2.98 | * | MAYBE
|
3.95 | * | MAYBE
|
1.77 |
AProVE_04/IJCAR_18.typed
|
* | MAYBE
|
2.85 | * | MAYBE
|
59.12 | * | MAYBE
|
59.20 | * | MAYBE
|
8.42 | * | MAYBE
|
11.44 |
AProVE_04/IJCAR_26.typed
|
* | MAYBE
|
2.86 | * | MAYBE
|
59.14 | * | MAYBE
|
59.10 | * | MAYBE
|
10.32 | * | MAYBE
|
13.09 |
AProVE_04/IJCAR_26a.typed
|
* | MAYBE
|
2.91 | * | MAYBE
|
59.17 | * | MAYBE
|
59.17 | * | MAYBE
|
15.31 | * | MAYBE
|
12.24 |
AProVE_04/JFP_Ex31.typed
|
* | MAYBE
|
59.09 | * | MAYBE
|
3.31 | * | MAYBE
|
59.08 | * | MAYBE
|
7.09 | * | MAYBE
|
9.28 |
AProVE_04/JFP_Ex51.typed
|
* | WORST_CASE(?,O(n^2))
|
2.20 | * | MAYBE
|
2.47 | * | WORST_CASE(?,O(n^2))
|
2.25 | * | MAYBE
|
13.49 | * | WORST_CASE(?,O(n^2))
|
11.01 |
AProVE_04/LPAR_intlist.typed
|
* | MAYBE
|
59.09 | * | MAYBE
|
2.22 | * | MAYBE
|
59.12 | * | MAYBE
|
4.95 | * | TIMEOUT
|
60.00 |
AProVE_04/Liveness6.1.typed
|
* | MAYBE
|
59.03 | * | MAYBE
|
3.02 | * | MAYBE
|
59.11 | * | MAYBE
|
6.48 | * | MAYBE
|
4.60 |
AProVE_04/Liveness6.2.typed
|
* | MAYBE
|
59.07 | * | MAYBE
|
2.94 | * | MAYBE
|
59.07 | * | MAYBE
|
6.66 | * | MAYBE
|
5.81 |
AProVE_04/Liveness6.3.typed
|
* | MAYBE
|
59.10 | * | MAYBE
|
4.80 | * | MAYBE
|
59.11 | * | MAYBE
|
33.62 | * | MAYBE
|
52.46 |
AProVE_04/Liveness6.4.typed
|
* | MAYBE
|
5.60 | * | MAYBE
|
5.49 | * | MAYBE
|
13.70 | * | MAYBE
|
59.22 | * | MAYBE
|
59.23 |
AProVE_04/Liveness8.typed
|
* | MAYBE
|
59.10 | * | MAYBE
|
2.64 | * | MAYBE
|
59.07 | * | MAYBE
|
13.53 | * | MAYBE
|
18.74 |
AProVE_04/Liveness_WRS.typed
|
* | MAYBE
|
59.12 | * | MAYBE
|
59.17 | * | MAYBE
|
59.13 | * | MAYBE
|
17.36 | * | MAYBE
|
19.09 |
AProVE_04/fac.typed
|
* | MAYBE
|
3.20 | * | MAYBE
|
7.91 | * | MAYBE
|
7.97 | * | MAYBE
|
5.50 | * | MAYBE
|
1.64 |
AProVE_04/rta1.typed
|
* | MAYBE
|
2.49 | * | MAYBE
|
59.15 | * | MAYBE
|
59.11 | * | MAYBE
|
7.01 | * | TIMEOUT
|
60.00 |
AProVE_04/rta2.typed
|
* | MAYBE
|
2.27 | * | MAYBE
|
2.17 | * | MAYBE
|
2.26 | * | MAYBE
|
0.94 | * | MAYBE
|
23.75 |
AProVE_04/rta3.typed
|
* | MAYBE
|
2.45 | * | MAYBE
|
2.52 | * | MAYBE
|
2.52 | * | MAYBE
|
5.97 | * | MAYBE
|
3.72 |
AProVE_06/div_notCeTermin.typed
|
* | MAYBE
|
3.27 | * | MAYBE
|
2.54 | * | MAYBE
|
3.72 | * | MAYBE
|
8.56 | * | MAYBE
|
9.77 |
AProVE_06/div_notTermin.typed
|
* | MAYBE
|
2.58 | * | MAYBE
|
3.65 | * | MAYBE
|
3.94 | * | MAYBE
|
11.52 | * | MAYBE
|
15.46 |
AProVE_06/factorial1.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
30.73 | * | MAYBE
|
30.20 | * | MAYBE
|
6.42 | * | MAYBE
|
3.76 |
AProVE_06/factorial2.typed
|
* | MAYBE
|
2.82 | * | MAYBE
|
2.85 | * | MAYBE
|
3.00 | * | MAYBE
|
4.15 | * | MAYBE
|
1.57 |
AProVE_06/identity.typed
|
* | MAYBE
|
16.14 | * | MAYBE
|
2.22 | * | MAYBE
|
16.15 | * | MAYBE
|
4.10 | * | MAYBE
|
18.12 |
AProVE_06/logarithm.typed
|
* | MAYBE
|
3.18 | * | MAYBE
|
2.88 | * | MAYBE
|
3.47 | * | MAYBE
|
7.74 | * | MAYBE
|
6.11 |
AProVE_06/modulo.typed
|
* | MAYBE
|
2.61 | * | MAYBE
|
3.21 | * | MAYBE
|
3.00 | * | MAYBE
|
3.90 | * | MAYBE
|
1.33 |
AProVE_06/nonterm.typed
|
* | MAYBE
|
33.38 | * | MAYBE
|
2.57 | * | MAYBE
|
36.78 | * | MAYBE
|
4.79 | * | TIMEOUT
|
60.00 |
AProVE_06/quicksort.typed
|
* | MAYBE
|
3.04 | * | MAYBE
|
18.33 | * | MAYBE
|
18.19 | * | MAYBE
|
11.50 | * | MAYBE
|
17.65 |
AProVE_06/quot.typed
|
* | MAYBE
|
2.62 | * | MAYBE
|
2.85 | * | MAYBE
|
3.27 | * | MAYBE
|
4.26 | * | MAYBE
|
1.93 |
AProVE_06/sizeChange.typed
|
* | MAYBE
|
2.60 | * | MAYBE
|
2.28 | * | MAYBE
|
2.76 | * | MAYBE
|
8.17 | * | MAYBE
|
16.43 |
AProVE_06/tower.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
59.10 | * | MAYBE
|
59.06 | * | MAYBE
|
8.05 | * | MAYBE
|
5.58 |
AProVE_06/tower_sizeChange.typed
|
* | MAYBE
|
3.27 | * | MAYBE
|
2.20 | * | MAYBE
|
3.45 | * | MAYBE
|
5.59 | * | MAYBE
|
3.74 |
AProVE_07/kabasci01.typed
|
* | MAYBE
|
3.05 | * | MAYBE
|
59.17 | * | MAYBE
|
59.14 | * | MAYBE
|
42.38 | * | TIMEOUT
|
60.00 |
AProVE_07/kabasci02.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
59.21 | * | MAYBE
|
59.23 | * | MAYBE
|
59.21 | * | MAYBE
|
59.13 |
AProVE_07/kabasci03.typed
|
* | MAYBE
|
3.84 | * | MAYBE
|
59.10 | * | MAYBE
|
59.18 | * | MAYBE
|
59.18 | * | MAYBE
|
59.15 |
AProVE_07/kabasci04.typed
|
* | MAYBE
|
2.62 | * | MAYBE
|
59.12 | * | MAYBE
|
59.05 | * | MAYBE
|
4.02 | * | TIMEOUT
|
60.00 |
AProVE_07/kabasci05.typed
|
* | MAYBE
|
3.59 | * | MAYBE
|
59.14 | * | MAYBE
|
59.16 | * | MAYBE
|
7.49 | * | MAYBE
|
5.39 |
AProVE_07/otto01.typed
|
* | MAYBE
|
2.37 | * | MAYBE
|
59.14 | * | MAYBE
|
59.18 | * | MAYBE
|
8.96 | * | MAYBE
|
6.61 |
AProVE_07/otto02.typed
|
* | MAYBE
|
2.63 | * | MAYBE
|
59.03 | * | MAYBE
|
59.20 | * | MAYBE
|
7.90 | * | MAYBE
|
5.32 |
AProVE_07/otto03.typed
|
* | MAYBE
|
2.56 | * | MAYBE
|
2.28 | * | MAYBE
|
2.63 | * | MAYBE
|
3.67 | * | MAYBE
|
1.08 |
AProVE_07/otto04.typed
|
* | MAYBE
|
2.68 | * | MAYBE
|
3.34 | * | MAYBE
|
3.66 | * | MAYBE
|
16.11 | * | TIMEOUT
|
60.00 |
AProVE_07/otto05.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
2.45 | * | MAYBE
|
2.99 | * | MAYBE
|
8.14 | * | MAYBE
|
1.76 |
AProVE_07/otto06.typed
|
* | MAYBE
|
3.07 | * | MAYBE
|
59.12 | * | MAYBE
|
59.09 | * | MAYBE
|
6.79 | * | MAYBE
|
13.97 |
AProVE_07/otto07.typed
|
* | MAYBE
|
2.46 | * | MAYBE
|
2.24 | * | MAYBE
|
2.50 | * | MAYBE
|
3.54 | * | MAYBE
|
0.82 |
AProVE_07/otto08.typed
|
* | MAYBE
|
3.80 | * | MAYBE
|
3.56 | * | MAYBE
|
3.55 | * | MAYBE
|
7.24 | * | MAYBE
|
4.75 |
AProVE_07/otto09.typed
|
* | MAYBE
|
2.50 | * | MAYBE
|
2.78 | * | MAYBE
|
3.14 | * | MAYBE
|
3.90 | * | MAYBE
|
2.51 |
AProVE_07/otto10.typed
|
* | MAYBE
|
3.50 | * | MAYBE
|
3.88 | * | MAYBE
|
4.52 | * | MAYBE
|
5.02 | * | MAYBE
|
6.84 |
AProVE_07/otto11.typed
|
* | MAYBE
|
2.70 | * | MAYBE
|
3.86 | * | MAYBE
|
4.13 | * | MAYBE
|
4.15 | * | MAYBE
|
2.17 |
AProVE_07/otto12.typed
|
* | MAYBE
|
2.83 | * | MAYBE
|
2.88 | * | MAYBE
|
2.87 | * | MAYBE
|
4.63 | * | MAYBE
|
2.55 |
AProVE_07/otto13.typed
|
* | MAYBE
|
3.07 | * | MAYBE
|
11.55 | * | MAYBE
|
10.23 | * | MAYBE
|
7.63 | * | MAYBE
|
6.48 |
AProVE_07/thiemann01.typed
|
* | MAYBE
|
2.91 | * | MAYBE
|
2.58 | * | MAYBE
|
2.99 | * | MAYBE
|
6.64 | * | MAYBE
|
32.65 |
AProVE_07/thiemann02.typed
|
* | MAYBE
|
2.47 | * | MAYBE
|
59.17 | * | MAYBE
|
59.22 | * | MAYBE
|
19.74 | * | MAYBE
|
29.97 |
AProVE_07/thiemann03.typed
|
* | MAYBE
|
3.39 | * | MAYBE
|
12.83 | * | MAYBE
|
13.37 | * | MAYBE
|
4.53 | * | MAYBE
|
3.14 |
AProVE_07/thiemann04.typed
|
* | MAYBE
|
2.98 | * | MAYBE
|
59.16 | * | MAYBE
|
59.24 | * | MAYBE
|
36.61 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann05.typed
|
* | MAYBE
|
2.76 | * | MAYBE
|
14.27 | * | MAYBE
|
13.87 | * | MAYBE
|
6.44 | * | MAYBE
|
5.20 |
AProVE_07/thiemann06.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
3.77 | * | MAYBE
|
3.89 | * | MAYBE
|
7.95 | * | MAYBE
|
13.99 |
AProVE_07/thiemann07.typed
|
* | MAYBE
|
2.79 | * | MAYBE
|
10.23 | * | MAYBE
|
10.08 | * | MAYBE
|
8.96 | * | MAYBE
|
10.63 |
AProVE_07/thiemann08.typed
|
* | MAYBE
|
3.26 | * | MAYBE
|
2.45 | * | MAYBE
|
3.30 | * | MAYBE
|
3.61 | * | MAYBE
|
2.24 |
AProVE_07/thiemann09.typed
|
* | MAYBE
|
2.66 | * | MAYBE
|
59.18 | * | MAYBE
|
59.16 | * | MAYBE
|
8.40 | * | MAYBE
|
9.51 |
AProVE_07/thiemann10.typed
|
* | MAYBE
|
2.73 | * | MAYBE
|
2.25 | * | MAYBE
|
2.72 | * | MAYBE
|
4.44 | * | MAYBE
|
2.29 |
AProVE_07/thiemann11.typed
|
* | MAYBE
|
2.92 | * | MAYBE
|
3.05 | * | MAYBE
|
3.11 | * | MAYBE
|
6.65 | * | MAYBE
|
6.67 |
AProVE_07/thiemann12.typed
|
* | MAYBE
|
2.70 | * | MAYBE
|
2.29 | * | MAYBE
|
2.75 | * | MAYBE
|
4.31 | * | MAYBE
|
2.67 |
AProVE_07/thiemann13.typed
|
* | MAYBE
|
3.80 | * | MAYBE
|
2.73 | * | MAYBE
|
3.69 | * | MAYBE
|
8.64 | * | MAYBE
|
6.86 |
AProVE_07/thiemann14.typed
|
* | MAYBE
|
2.92 | * | MAYBE
|
59.16 | * | MAYBE
|
59.13 | * | MAYBE
|
9.66 | * | MAYBE
|
12.85 |
AProVE_07/thiemann15.typed
|
* | MAYBE
|
9.12 | * | MAYBE
|
2.26 | * | MAYBE
|
9.38 | * | MAYBE
|
4.86 | * | MAYBE
|
1.85 |
AProVE_07/thiemann16.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
59.09 | * | MAYBE
|
59.16 | * | MAYBE
|
11.34 | * | MAYBE
|
15.15 |
AProVE_07/thiemann17.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
59.12 | * | MAYBE
|
59.20 | * | MAYBE
|
11.09 | * | MAYBE
|
6.89 |
AProVE_07/thiemann18.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
9.95 | * | MAYBE
|
10.10 | * | MAYBE
|
11.56 | * | MAYBE
|
17.73 |
AProVE_07/thiemann19.typed
|
* | MAYBE
|
2.65 | * | MAYBE
|
2.23 | * | MAYBE
|
2.79 | * | MAYBE
|
4.11 | * | MAYBE
|
3.09 |
AProVE_07/thiemann20.typed
|
* | MAYBE
|
2.87 | * | MAYBE
|
7.44 | * | MAYBE
|
7.34 | * | MAYBE
|
5.26 | * | MAYBE
|
1.60 |
AProVE_07/thiemann21.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
12.51 | * | MAYBE
|
13.17 | * | MAYBE
|
10.08 | * | MAYBE
|
15.41 |
AProVE_07/thiemann22.typed
|
* | MAYBE
|
3.63 | * | MAYBE
|
2.57 | * | MAYBE
|
3.81 | * | MAYBE
|
6.35 | * | MAYBE
|
3.12 |
AProVE_07/thiemann23.typed
|
* | MAYBE
|
16.76 | * | MAYBE
|
2.49 | * | MAYBE
|
17.94 | * | MAYBE
|
6.82 | * | MAYBE
|
1.94 |
AProVE_07/thiemann24.typed
|
* | MAYBE
|
2.92 | * | MAYBE
|
2.83 | * | MAYBE
|
3.20 | * | MAYBE
|
6.15 | * | MAYBE
|
1.97 |
AProVE_07/thiemann25.typed
|
* | MAYBE
|
2.65 | * | MAYBE
|
2.51 | * | MAYBE
|
2.67 | * | MAYBE
|
4.65 | * | MAYBE
|
1.23 |
AProVE_07/thiemann26.typed
|
* | MAYBE
|
2.60 | * | MAYBE
|
2.72 | * | MAYBE
|
2.85 | * | MAYBE
|
4.76 | * | MAYBE
|
1.87 |
AProVE_07/thiemann27.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
2.26 | * | MAYBE
|
2.70 | * | MAYBE
|
3.63 | * | MAYBE
|
1.02 |
AProVE_07/thiemann28.typed
|
* | MAYBE
|
3.04 | * | MAYBE
|
59.12 | * | MAYBE
|
59.14 | * | MAYBE
|
5.15 | * | MAYBE
|
2.11 |
AProVE_07/thiemann29.typed
|
* | MAYBE
|
2.56 | * | MAYBE
|
3.11 | * | MAYBE
|
3.04 | * | MAYBE
|
6.29 | * | MAYBE
|
4.96 |
AProVE_07/thiemann30.typed
|
* | MAYBE
|
2.52 | * | MAYBE
|
59.08 | * | MAYBE
|
59.08 | * | MAYBE
|
11.74 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann31.typed
|
* | MAYBE
|
2.70 | * | MAYBE
|
2.86 | * | MAYBE
|
3.00 | * | MAYBE
|
10.79 | * | MAYBE
|
8.92 |
AProVE_07/thiemann32.typed
|
* | MAYBE
|
6.64 | * | MAYBE
|
2.40 | * | MAYBE
|
8.65 | * | MAYBE
|
10.45 | * | MAYBE
|
11.71 |
AProVE_07/thiemann33.typed
|
* | MAYBE
|
2.96 | * | MAYBE
|
2.94 | * | MAYBE
|
3.24 | * | MAYBE
|
7.40 | * | MAYBE
|
5.94 |
AProVE_07/thiemann34.typed
|
* | MAYBE
|
2.74 | * | MAYBE
|
2.45 | * | MAYBE
|
2.78 | * | MAYBE
|
8.46 | * | MAYBE
|
4.79 |
AProVE_07/thiemann36.typed
|
* | MAYBE
|
2.88 | * | MAYBE
|
3.24 | * | MAYBE
|
3.14 | * | MAYBE
|
7.17 | * | MAYBE
|
57.18 |
AProVE_07/thiemann37.typed
|
* | MAYBE
|
3.44 | * | MAYBE
|
59.13 | * | MAYBE
|
59.18 | * | MAYBE
|
9.54 | * | MAYBE
|
11.23 |
AProVE_07/thiemann38.typed
|
* | MAYBE
|
2.99 | * | MAYBE
|
7.99 | * | MAYBE
|
7.67 | * | MAYBE
|
4.48 | * | MAYBE
|
2.75 |
AProVE_07/thiemann40.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
2.46 | * | MAYBE
|
2.71 | * | MAYBE
|
2.11 | * | MAYBE
|
0.70 |
AProVE_07/thiemann41.typed
|
* | MAYBE
|
2.91 | * | MAYBE
|
2.40 | * | MAYBE
|
3.03 | * | MAYBE
|
9.36 | * | MAYBE
|
1.81 |
AProVE_07/wiehe01.typed
|
* | MAYBE
|
2.98 | * | MAYBE
|
59.16 | * | MAYBE
|
59.16 | * | MAYBE
|
59.13 | * | MAYBE
|
59.12 |
AProVE_07/wiehe02.typed
|
* | MAYBE
|
4.02 | * | MAYBE
|
59.15 | * | MAYBE
|
59.26 | * | MAYBE
|
59.18 | * | MAYBE
|
59.15 |
AProVE_07/wiehe03.typed
|
* | MAYBE
|
4.63 | * | MAYBE
|
59.16 | * | MAYBE
|
59.21 | * | MAYBE
|
59.18 | * | MAYBE
|
59.16 |
AProVE_07/wiehe05.typed
|
* | MAYBE
|
2.98 | * | MAYBE
|
59.20 | * | MAYBE
|
59.40 | * | MAYBE
|
59.20 | * | MAYBE
|
59.20 |
AProVE_07/wiehe06.typed
|
* | MAYBE
|
2.98 | * | MAYBE
|
59.17 | * | MAYBE
|
59.19 | * | MAYBE
|
59.19 | * | MAYBE
|
59.10 |
AProVE_07/wiehe07.typed
|
* | MAYBE
|
2.83 | * | MAYBE
|
59.17 | * | MAYBE
|
59.19 | * | MAYBE
|
59.16 | * | MAYBE
|
59.14 |
AProVE_07/wiehe08.typed
|
* | MAYBE
|
3.00 | * | MAYBE
|
59.22 | * | MAYBE
|
59.24 | * | MAYBE
|
59.19 | * | MAYBE
|
59.54 |
AProVE_07/wiehe09.typed
|
* | MAYBE
|
3.01 | * | MAYBE
|
59.13 | * | MAYBE
|
59.24 | * | MAYBE
|
59.43 | * | MAYBE
|
59.09 |
AProVE_07/wiehe11.typed
|
* | MAYBE
|
5.65 | * | MAYBE
|
59.10 | * | MAYBE
|
59.24 | * | MAYBE
|
59.16 | * | MAYBE
|
59.18 |
AProVE_07/wiehe12.typed
|
* | MAYBE
|
5.76 | * | MAYBE
|
59.23 | * | MAYBE
|
59.22 | * | MAYBE
|
59.13 | * | MAYBE
|
59.19 |
AProVE_08/id_inc.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
2.24 | * | MAYBE
|
2.76 | * | MAYBE
|
4.97 | * | TIMEOUT
|
60.00 |
AProVE_08/log.typed
|
* | MAYBE
|
2.46 | * | MAYBE
|
59.10 | * | MAYBE
|
59.10 | * | MAYBE
|
7.01 | * | TIMEOUT
|
60.00 |
AProVE_08/parting01_reverse.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
59.23 | * | MAYBE
|
59.12 | * | MAYBE
|
8.49 | * | TIMEOUT
|
60.00 |
AProVE_08/parting02_doublelist.typed
|
* | MAYBE
|
3.01 | * | MAYBE
|
59.12 | * | MAYBE
|
59.11 | * | MAYBE
|
8.38 | * | MAYBE
|
29.56 |
AProVE_08/parting03_minsort.typed
|
* | MAYBE
|
2.60 | * | MAYBE
|
59.06 | * | MAYBE
|
59.17 | * | MAYBE
|
11.16 | * | MAYBE
|
32.64 |
AProVE_08/parting04_maxsort_h.typed
|
* | MAYBE
|
2.76 | * | MAYBE
|
59.25 | * | MAYBE
|
59.30 | * | MAYBE
|
10.99 | * | MAYBE
|
28.17 |
AProVE_08/parting05_maxsort.typed
|
* | MAYBE
|
2.63 | * | MAYBE
|
59.19 | * | MAYBE
|
59.19 | * | MAYBE
|
10.37 | * | MAYBE
|
24.20 |
AProVE_08/round.typed
|
* | MAYBE
|
2.46 | * | MAYBE
|
2.15 | * | MAYBE
|
2.50 | * | MAYBE
|
59.18 | * | MAYBE
|
59.18 |
AProVE_08/round_nonterm.typed
|
* | MAYBE
|
4.54 | * | MAYBE
|
2.34 | * | MAYBE
|
4.47 | * | TIMEOUT
|
60.06 | * | MAYBE
|
59.11 |
AProVE_08/thiemann40_modified.typed
|
* | MAYBE
|
6.72 | * | MAYBE
|
2.42 | * | MAYBE
|
5.76 | * | MAYBE
|
5.09 | * | MAYBE
|
1.16 |
AProVE_09_Inductive/div.typed
|
* | MAYBE
|
3.06 | * | MAYBE
|
2.71 | * | MAYBE
|
3.37 | * | MAYBE
|
8.00 | * | MAYBE
|
5.22 |
AProVE_09_Inductive/divhard.typed
|
* | MAYBE
|
3.01 | * | MAYBE
|
2.80 | * | MAYBE
|
3.47 | * | MAYBE
|
6.87 | * | MAYBE
|
5.20 |
AProVE_09_Inductive/gcd.typed
|
* | MAYBE
|
3.21 | * | MAYBE
|
2.88 | * | MAYBE
|
3.22 | * | MAYBE
|
6.30 | * | MAYBE
|
6.32 |
AProVE_09_Inductive/gcd2.typed
|
* | MAYBE
|
2.85 | * | MAYBE
|
2.92 | * | MAYBE
|
3.44 | * | MAYBE
|
9.92 | * | MAYBE
|
12.14 |
AProVE_09_Inductive/gcdhard.typed
|
* | MAYBE
|
2.86 | * | MAYBE
|
4.74 | * | MAYBE
|
4.81 | * | MAYBE
|
10.59 | * | MAYBE
|
15.02 |
AProVE_09_Inductive/log.typed
|
* | MAYBE
|
2.76 | * | MAYBE
|
2.95 | * | MAYBE
|
3.55 | * | MAYBE
|
4.40 | * | MAYBE
|
2.67 |
AProVE_09_Inductive/maxsort.typed
|
* | MAYBE
|
2.61 | * | MAYBE
|
59.12 | * | MAYBE
|
59.14 | * | MAYBE
|
9.33 | * | MAYBE
|
59.96 |
AProVE_09_Inductive/maxsortcondition.typed
|
* | MAYBE
|
2.54 | * | MAYBE
|
3.58 | * | MAYBE
|
3.65 | * | MAYBE
|
6.09 | * | MAYBE
|
7.40 |
AProVE_09_Inductive/minsort.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
59.13 | * | MAYBE
|
59.09 | * | MAYBE
|
7.66 | * | MAYBE
|
39.64 |
AProVE_09_Inductive/mod.typed
|
* | MAYBE
|
2.88 | * | MAYBE
|
2.93 | * | MAYBE
|
3.10 | * | MAYBE
|
7.74 | * | MAYBE
|
34.89 |
AProVE_09_Inductive/qsort.typed
|
* | MAYBE
|
2.49 | * | MAYBE
|
59.11 | * | MAYBE
|
59.08 | * | MAYBE
|
9.28 | * | MAYBE
|
6.59 |
AProVE_09_Inductive/qsortlast.typed
|
* | MAYBE
|
3.02 | * | MAYBE
|
59.13 | * | MAYBE
|
59.22 | * | MAYBE
|
10.32 | * | MAYBE
|
12.11 |
AProVE_09_Inductive/qsortmiddle.typed
|
* | MAYBE
|
3.02 | * | MAYBE
|
59.16 | * | MAYBE
|
59.28 | * | MAYBE
|
12.51 | * | MAYBE
|
14.97 |
AProVE_09_Inductive/zerolist.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
2.26 | * | MAYBE
|
2.70 | * | MAYBE
|
7.99 | * | TIMEOUT
|
60.00 |
Beerendonk_07/1.typed
|
* | MAYBE
|
2.45 | * | MAYBE
|
2.38 | * | MAYBE
|
2.55 | * | MAYBE
|
2.22 | * | MAYBE
|
1.07 |
Beerendonk_07/10.typed
|
* | MAYBE
|
2.84 | * | MAYBE
|
2.34 | * | MAYBE
|
2.75 | * | MAYBE
|
4.89 | * | MAYBE
|
5.83 |
Beerendonk_07/11.typed
|
* | MAYBE
|
2.56 | * | MAYBE
|
2.46 | * | MAYBE
|
2.68 | * | MAYBE
|
6.22 | * | MAYBE
|
3.71 |
Beerendonk_07/12.typed
|
* | MAYBE
|
2.52 | * | MAYBE
|
2.34 | * | MAYBE
|
2.58 | * | MAYBE
|
4.72 | * | MAYBE
|
1.75 |
Beerendonk_07/13.typed
|
* | MAYBE
|
2.47 | * | MAYBE
|
2.35 | * | MAYBE
|
2.58 | * | MAYBE
|
6.07 | * | MAYBE
|
2.75 |
Beerendonk_07/14.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
2.45 | * | MAYBE
|
2.64 | * | MAYBE
|
5.12 | * | MAYBE
|
25.34 |
Beerendonk_07/15.typed
|
* | MAYBE
|
2.74 | * | MAYBE
|
59.13 | * | MAYBE
|
59.09 | * | MAYBE
|
11.91 | * | MAYBE
|
14.92 |
Beerendonk_07/16.typed
|
* | MAYBE
|
2.62 | * | MAYBE
|
59.08 | * | MAYBE
|
59.09 | * | MAYBE
|
11.94 | * | MAYBE
|
16.19 |
Beerendonk_07/17.typed
|
* | MAYBE
|
2.46 | * | MAYBE
|
59.09 | * | MAYBE
|
59.05 | * | MAYBE
|
10.10 | * | MAYBE
|
16.35 |
Beerendonk_07/18.typed
|
* | MAYBE
|
2.89 | * | MAYBE
|
59.12 | * | MAYBE
|
59.17 | * | MAYBE
|
11.19 | * | MAYBE
|
18.39 |
Beerendonk_07/19.typed
|
* | MAYBE
|
2.49 | * | MAYBE
|
59.16 | * | MAYBE
|
59.17 | * | MAYBE
|
10.79 | * | MAYBE
|
15.44 |
Beerendonk_07/2.typed
|
* | MAYBE
|
2.41 | * | MAYBE
|
2.40 | * | MAYBE
|
2.50 | * | MAYBE
|
2.31 | * | MAYBE
|
0.58 |
Beerendonk_07/20.typed
|
* | MAYBE
|
2.95 | * | MAYBE
|
59.11 | * | MAYBE
|
59.11 | * | MAYBE
|
6.85 | * | MAYBE
|
8.02 |
Beerendonk_07/21.typed
|
* | MAYBE
|
2.96 | * | MAYBE
|
59.09 | * | MAYBE
|
59.18 | * | MAYBE
|
7.12 | * | MAYBE
|
4.70 |
Beerendonk_07/22.typed
|
* | MAYBE
|
3.17 | * | MAYBE
|
2.30 | * | MAYBE
|
3.29 | * | MAYBE
|
6.20 | * | MAYBE
|
2.89 |
Beerendonk_07/23.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
3.30 | * | MAYBE
|
3.34 | * | MAYBE
|
7.17 | * | MAYBE
|
2.96 |
Beerendonk_07/24.typed
|
* | MAYBE
|
2.42 | * | MAYBE
|
59.13 | * | MAYBE
|
59.10 | * | MAYBE
|
15.65 | * | MAYBE
|
25.08 |
Beerendonk_07/3.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
2.54 | * | MAYBE
|
2.57 | * | MAYBE
|
2.63 | * | MAYBE
|
0.69 |
Beerendonk_07/4.typed
|
* | MAYBE
|
2.41 | * | MAYBE
|
2.35 | * | MAYBE
|
2.66 | * | MAYBE
|
1.99 | * | MAYBE
|
0.63 |
Beerendonk_07/5.typed
|
* | MAYBE
|
2.60 | * | MAYBE
|
10.20 | * | MAYBE
|
10.19 | * | MAYBE
|
5.08 | * | MAYBE
|
1.11 |
Beerendonk_07/6.typed
|
* | MAYBE
|
2.42 | * | MAYBE
|
2.23 | * | MAYBE
|
2.50 | * | MAYBE
|
2.10 | * | MAYBE
|
0.57 |
Beerendonk_07/7.typed
|
* | MAYBE
|
2.45 | * | MAYBE
|
59.15 | * | MAYBE
|
59.11 | * | MAYBE
|
2.67 | * | MAYBE
|
0.70 |
Beerendonk_07/8.typed
|
* | MAYBE
|
2.63 | * | MAYBE
|
59.14 | * | MAYBE
|
59.12 | * | MAYBE
|
4.78 | * | MAYBE
|
1.25 |
Beerendonk_07/9.typed
|
* | MAYBE
|
2.69 | * | MAYBE
|
59.18 | * | MAYBE
|
59.17 | * | MAYBE
|
4.79 | * | MAYBE
|
1.17 |
CiME_04/ack_prolog.typed
|
* | MAYBE
|
2.60 | * | MAYBE
|
2.55 | * | MAYBE
|
2.84 | * | MAYBE
|
5.74 | * | TIMEOUT
|
60.00 |
CiME_04/append-hard.typed
|
* | MAYBE
|
2.50 | * | MAYBE
|
2.29 | * | MAYBE
|
2.58 | * | MAYBE
|
3.09 | * | MAYBE
|
1.13 |
CiME_04/append-wrong.typed
|
* | MAYBE
|
2.51 | * | MAYBE
|
2.31 | * | MAYBE
|
2.50 | * | MAYBE
|
3.61 | * | MAYBE
|
1.05 |
CiME_04/append.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
0.16 |
CiME_04/big.typed
|
* | MAYBE
|
2.89 | * | MAYBE
|
59.13 | * | MAYBE
|
59.29 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
CiME_04/dpqs.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | MAYBE
|
2.26 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | MAYBE
|
2.45 | * | MAYBE
|
0.77 |
CiME_04/fact-hard.typed
|
* | MAYBE
|
3.22 | * | MAYBE
|
14.60 | * | MAYBE
|
14.85 | * | MAYBE
|
5.66 | * | MAYBE
|
2.59 |
CiME_04/filliatre.typed
|
* | MAYBE
|
26.12 | * | MAYBE
|
22.05 | * | MAYBE
|
36.41 | * | MAYBE
|
13.87 | * | MAYBE
|
23.82 |
CiME_04/filliatre2.typed
|
* | MAYBE
|
11.96 | * | MAYBE
|
6.02 | * | MAYBE
|
14.85 | * | MAYBE
|
19.78 | * | MAYBE
|
26.34 |
CiME_04/filliatre3.typed
|
* | MAYBE
|
5.39 | * | MAYBE
|
6.57 | * | MAYBE
|
11.44 | * | MAYBE
|
10.42 | * | MAYBE
|
39.15 |
CiME_04/intersect.typed
|
* | MAYBE
|
2.70 | * | MAYBE
|
3.78 | * | MAYBE
|
4.14 | * | MAYBE
|
19.45 | * | MAYBE
|
30.60 |
CiME_04/list-sum-prod-assoc-append.typed
|
* | MAYBE
|
3.11 | * | MAYBE
|
3.32 | * | MAYBE
|
3.41 | * | MAYBE
|
6.72 | * | MAYBE
|
9.28 |
CiME_04/list-sum-prod-assoc.typed
|
* | MAYBE
|
2.85 | * | MAYBE
|
2.98 | * | MAYBE
|
3.33 | * | MAYBE
|
5.34 | * | MAYBE
|
1.56 |
CiME_04/list-sum-prod-bin-assoc-distr-app.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
59.19 | * | MAYBE
|
59.17 | * | MAYBE
|
25.58 | * | MAYBE
|
33.84 |
CiME_04/list-sum-prod-bin-assoc.typed
|
* | MAYBE
|
2.66 | * | MAYBE
|
59.11 | * | MAYBE
|
59.15 | * | MAYBE
|
4.14 | * | MAYBE
|
1.87 |
CiME_04/list-sum-prod-bin.typed
|
* | MAYBE
|
2.74 | * | MAYBE
|
59.15 | * | MAYBE
|
59.09 | * | MAYBE
|
6.28 | * | MAYBE
|
6.46 |
CiME_04/list-sum-prod.typed
|
* | MAYBE
|
3.69 | * | MAYBE
|
2.62 | * | MAYBE
|
4.11 | * | MAYBE
|
4.44 | * | MAYBE
|
7.76 |
CiME_04/log2.typed
|
* | MAYBE
|
3.53 | * | MAYBE
|
59.17 | * | MAYBE
|
59.10 | * | MAYBE
|
10.21 | * | MAYBE
|
10.17 |
CiME_04/lse.typed
|
* | MAYBE
|
3.23 | * | WORST_CASE(?,O(n^2))
|
1.74 | * | WORST_CASE(?,O(n^2))
|
1.83 | * | MAYBE
|
12.38 | * | MAYBE
|
17.03 |
CiME_04/maude2.typed
|
* | MAYBE
|
3.26 | * | MAYBE
|
59.17 | * | MAYBE
|
59.10 | * | MAYBE
|
8.84 | * | MAYBE
|
8.95 |
CiME_04/mucrl1.typed
|
* | MAYBE
|
5.22 | * | MAYBE
|
59.33 | * | MAYBE
|
59.32 | * | MAYBE
|
59.72 | * | MAYBE
|
59.93 |
CiME_04/ternary-hard.typed
|
* | MAYBE
|
2.44 | * | MAYBE
|
59.11 | * | MAYBE
|
59.06 | * | MAYBE
|
6.33 | * | MAYBE
|
1.37 |
CiME_04/ternary.typed
|
* | MAYBE
|
2.40 | * | MAYBE
|
59.13 | * | MAYBE
|
59.10 | * | MAYBE
|
4.99 | * | MAYBE
|
1.29 |
CiME_04/tree.typed
|
* | MAYBE
|
2.86 | * | MAYBE
|
59.22 | * | MAYBE
|
59.11 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Der95/06.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.09 |
Der95/07.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | MAYBE
|
1.66 | * | MAYBE
|
0.70 |
Der95/08.typed
|
* | MAYBE
|
3.24 | * | WORST_CASE(?,O(n^2))
|
1.18 | * | WORST_CASE(?,O(n^2))
|
1.25 | * | MAYBE
|
12.67 | * | MAYBE
|
3.83 |
Der95/11.typed
|
* | MAYBE
|
2.53 | * | WORST_CASE(?,O(n^2))
|
1.39 | * | WORST_CASE(?,O(n^2))
|
1.44 | * | MAYBE
|
21.40 | * | TIMEOUT
|
60.00 |
Der95/12.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
2.28 | * | MAYBE
|
2.75 | * | MAYBE
|
1.09 | * | MAYBE
|
0.63 |
Der95/18.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.07 |
Der95/20.typed
|
* | MAYBE
|
2.40 | * | MAYBE
|
4.76 | * | MAYBE
|
4.90 | * | MAYBE
|
1.27 | * | MAYBE
|
22.59 |
Der95/21.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
7.51 | * | MAYBE
|
7.50 | * | MAYBE
|
2.74 | * | MAYBE
|
0.98 |
Der95/27.typed
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.11 |
Der95/32.typed
|
* | MAYBE
|
3.57 | * | MAYBE
|
2.26 | * | MAYBE
|
3.67 | * | WORST_CASE(?,O(n^3))
|
19.76 | * | TIMEOUT
|
60.00 |
Der95/33.typed
|
* | MAYBE
|
2.60 | * | MAYBE
|
59.14 | * | MAYBE
|
59.13 | * | MAYBE
|
7.25 | * | MAYBE
|
7.16 |
Endrullis_06/direct.typed
|
* | WORST_CASE(?,O(n^2))
|
1.24 | * | MAYBE
|
2.21 | * | WORST_CASE(?,O(n^2))
|
1.28 | * | MAYBE
|
7.23 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/ack.typed
|
* | MAYBE
|
2.55 | * | MAYBE
|
4.79 | * | MAYBE
|
6.86 | * | MAYBE
|
7.60 | * | MAYBE
|
3.21 |
Frederiksen_Glenstrup/add.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.33 |
Frederiksen_Glenstrup/addlists.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.64 | * | WORST_CASE(?,O(n^1))
|
0.44 |
Frederiksen_Glenstrup/anchored.typed
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.10 |
Frederiksen_Glenstrup/append.typed
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.14 |
Frederiksen_Glenstrup/assrewrite.typed
|
* | MAYBE
|
2.92 | * | MAYBE
|
2.45 | * | MAYBE
|
3.11 | * | MAYBE
|
13.50 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/badd.typed
|
* | MAYBE
|
2.40 | * | MAYBE
|
2.25 | * | MAYBE
|
2.29 | * | MAYBE
|
1.32 | * | MAYBE
|
0.58 |
Frederiksen_Glenstrup/binom.typed
|
* | MAYBE
|
2.72 | * | MAYBE
|
5.91 | * | MAYBE
|
6.06 | * | MAYBE
|
4.63 | * | MAYBE
|
1.92 |
Frederiksen_Glenstrup/decrease.typed
|
* | MAYBE
|
59.12 | * | MAYBE
|
2.27 | * | MAYBE
|
59.15 | * | WORST_CASE(?,O(n^1))
|
2.21 | * | WORST_CASE(?,O(n^1))
|
1.40 |
Frederiksen_Glenstrup/disjconj.typed
|
* | MAYBE
|
3.48 | * | MAYBE
|
2.43 | * | MAYBE
|
3.60 | * | MAYBE
|
7.50 | * | MAYBE
|
6.61 |
Frederiksen_Glenstrup/duplicate.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.10 |
Frederiksen_Glenstrup/equal.typed
|
* | MAYBE
|
59.23 | * | MAYBE
|
2.32 | * | MAYBE
|
59.20 | * | MAYBE
|
13.20 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/evenodd.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
0.11 |
Frederiksen_Glenstrup/fold.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
0.29 |
Frederiksen_Glenstrup/game.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
0.51 |
Frederiksen_Glenstrup/gcd.typed
|
* | MAYBE
|
3.22 | * | MAYBE
|
41.38 | * | MAYBE
|
43.93 | * | MAYBE
|
21.70 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/gcd2.typed
|
* | MAYBE
|
3.96 | * | MAYBE
|
25.27 | * | MAYBE
|
25.86 | * | MAYBE
|
21.66 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/increase.typed
|
* | MAYBE
|
59.19 | * | MAYBE
|
2.39 | * | MAYBE
|
59.13 | * | MAYBE
|
11.43 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/int.typed
|
* | MAYBE
|
5.56 | * | MAYBE
|
59.56 | * | MAYBE
|
59.66 | * | MAYBE
|
59.81 | * | TIMEOUT
|
60.01 |
Frederiksen_Glenstrup/intlookup.typed
|
* | MAYBE
|
2.37 | * | MAYBE
|
2.23 | * | MAYBE
|
2.46 | * | MAYBE
|
1.67 | * | MAYBE
|
0.65 |
Frederiksen_Glenstrup/letexp.typed
|
* | MAYBE
|
2.19 | * | MAYBE
|
2.10 | * | MAYBE
|
2.23 | * | MAYBE
|
0.90 | * | MAYBE
|
0.33 |
Frederiksen_Glenstrup/list.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.34 | * | WORST_CASE(?,O(n^1))
|
0.12 |
Frederiksen_Glenstrup/lte.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
0.28 |
Frederiksen_Glenstrup/map0.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.77 | * | WORST_CASE(?,O(n^1))
|
0.38 |
Frederiksen_Glenstrup/member.typed
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
0.38 |
Frederiksen_Glenstrup/mergelists.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
1.59 | * | WORST_CASE(?,O(n^1))
|
0.60 |
Frederiksen_Glenstrup/mergesort.typed
|
* | MAYBE
|
2.71 | * | MAYBE
|
2.70 | * | MAYBE
|
2.95 | * | MAYBE
|
11.54 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/minsort.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
2.68 | * | MAYBE
|
2.98 | * | MAYBE
|
8.49 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/mul.typed
|
* | MAYBE
|
2.35 | * | MAYBE
|
2.26 | * | MAYBE
|
2.33 | * | WORST_CASE(?,O(n^2))
|
0.97 | * | WORST_CASE(?,O(n^2))
|
0.41 |
Frederiksen_Glenstrup/mul_better.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
2.29 | * | MAYBE
|
2.38 | * | WORST_CASE(?,O(n^2))
|
1.17 | * | WORST_CASE(?,O(n^2))
|
0.38 |
Frederiksen_Glenstrup/naiverev.typed
|
* | MAYBE
|
3.80 | * | MAYBE
|
2.24 | * | MAYBE
|
4.12 | * | WORST_CASE(?,O(n^2))
|
1.12 | * | WORST_CASE(?,O(n^2))
|
0.46 |
Frederiksen_Glenstrup/nestdec.typed
|
* | MAYBE
|
59.16 | * | MAYBE
|
3.64 | * | MAYBE
|
59.35 | * | WORST_CASE(?,O(n^1))
|
6.17 | * | WORST_CASE(?,O(n^1))
|
1.50 |
Frederiksen_Glenstrup/nesteql.typed
|
* | MAYBE
|
59.18 | * | MAYBE
|
3.60 | * | MAYBE
|
59.18 | * | MAYBE
|
11.51 | * | MAYBE
|
16.93 |
Frederiksen_Glenstrup/nestimeql.typed
|
* | MAYBE
|
59.11 | * | MAYBE
|
3.21 | * | MAYBE
|
59.31 | * | MAYBE
|
8.41 | * | MAYBE
|
18.62 |
Frederiksen_Glenstrup/nestinc.typed
|
* | MAYBE
|
59.15 | * | MAYBE
|
3.58 | * | MAYBE
|
59.15 | * | MAYBE
|
8.39 | * | MAYBE
|
4.30 |
Frederiksen_Glenstrup/nolexicord.typed
|
* | MAYBE
|
59.16 | * | MAYBE
|
12.15 | * | MAYBE
|
59.16 | * | MAYBE
|
59.32 | * | MAYBE
|
59.24 |
Frederiksen_Glenstrup/ordered.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
1.10 | * | WORST_CASE(?,O(n^1))
|
0.17 |
Frederiksen_Glenstrup/ordered_better.typed
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.91 | * | WORST_CASE(?,O(n^1))
|
0.19 |
Frederiksen_Glenstrup/overlap.typed
|
* | MAYBE
|
3.00 | * | WORST_CASE(?,O(n^2))
|
1.78 | * | WORST_CASE(?,O(n^2))
|
1.85 | * | MAYBE
|
9.46 | * | MAYBE
|
8.62 |
Frederiksen_Glenstrup/parsexp.typed
|
* | MAYBE
|
3.26 | * | MAYBE
|
3.29 | * | MAYBE
|
3.65 | * | MAYBE
|
59.56 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/permute.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
59.10 | * | MAYBE
|
59.16 | * | MAYBE
|
11.94 | * | MAYBE
|
21.01 |
Frederiksen_Glenstrup/power.typed
|
* | MAYBE
|
2.77 | * | MAYBE
|
2.44 | * | MAYBE
|
2.82 | * | MAYBE
|
5.53 | * | MAYBE
|
26.82 |
Frederiksen_Glenstrup/quicksort.typed
|
* | MAYBE
|
5.09 | * | MAYBE
|
2.55 | * | MAYBE
|
5.06 | * | MAYBE
|
11.79 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/revapp.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.06 |
Frederiksen_Glenstrup/select.typed
|
* | MAYBE
|
2.53 | * | WORST_CASE(?,O(n^2))
|
1.33 | * | WORST_CASE(?,O(n^2))
|
1.35 | * | MAYBE
|
3.72 | * | MAYBE
|
2.64 |
Frederiksen_Glenstrup/shuffle.typed
|
* | MAYBE
|
6.91 | * | MAYBE
|
2.29 | * | MAYBE
|
7.23 | * | MAYBE
|
4.73 | * | MAYBE
|
7.31 |
Frederiksen_Glenstrup/sp1.typed
|
* | MAYBE
|
2.42 | * | MAYBE
|
2.25 | * | MAYBE
|
2.45 | * | MAYBE
|
4.69 | * | MAYBE
|
2.55 |
Frederiksen_Glenstrup/subsets.typed
|
* | MAYBE
|
3.06 | * | MAYBE
|
2.42 | * | MAYBE
|
2.91 | * | MAYBE
|
6.22 | * | MAYBE
|
6.34 |
Frederiksen_Glenstrup/thetrick.typed
|
* | MAYBE
|
59.25 | * | MAYBE
|
59.32 | * | MAYBE
|
59.29 | * | MAYBE
|
32.53 | * | MAYBE
|
39.94 |
Frederiksen_Others/add.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
0.10 |
Frederiksen_Others/assrewriteSize.typed
|
* | MAYBE
|
3.01 | * | MAYBE
|
2.33 | * | MAYBE
|
3.01 | * | MAYBE
|
9.20 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/boolprog.typed
|
* | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | MAYBE
|
18.78 | * | WORST_CASE(?,O(n^1))
|
1.08 |
Frederiksen_Others/bubblesort.typed
|
* | MAYBE
|
19.07 | * | MAYBE
|
2.53 | * | MAYBE
|
18.46 | * | MAYBE
|
14.90 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/deadcodeSize.typed
|
* | MAYBE
|
2.22 | * | MAYBE
|
2.13 | * | MAYBE
|
2.20 | * | MAYBE
|
0.41 | * | MAYBE
|
0.10 |
Frederiksen_Others/div2.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.11 |
Frederiksen_Others/eq.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.13 |
Frederiksen_Others/ex6.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.11 |
Frederiksen_Others/fgh.typed
|
* | MAYBE
|
2.46 | * | MAYBE
|
5.45 | * | MAYBE
|
6.16 | * | MAYBE
|
7.18 | * | MAYBE
|
19.08 |
Frederiksen_Others/fghSize.typed
|
* | MAYBE
|
2.51 | * | MAYBE
|
5.19 | * | MAYBE
|
5.39 | * | MAYBE
|
7.37 | * | MAYBE
|
22.70 |
Frederiksen_Others/gexgcd.typed
|
* | MAYBE
|
3.67 | * | MAYBE
|
4.60 | * | MAYBE
|
5.01 | * | MAYBE
|
43.20 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/gexgcd2.typed
|
* | MAYBE
|
2.83 | * | MAYBE
|
2.97 | * | MAYBE
|
3.04 | * | MAYBE
|
6.33 | * | MAYBE
|
6.21 |
Frederiksen_Others/inssort.typed
|
* | MAYBE
|
16.00 | * | MAYBE
|
2.38 | * | MAYBE
|
16.37 | * | MAYBE
|
5.43 | * | MAYBE
|
38.16 |
Frederiksen_Others/inssort_better.typed
|
* | MAYBE
|
3.40 | * | MAYBE
|
2.50 | * | MAYBE
|
3.57 | * | MAYBE
|
6.26 | * | MAYBE
|
15.28 |
Frederiksen_Others/match.typed
|
* | WORST_CASE(?,O(n^2))
|
1.53 | * | WORST_CASE(?,O(n^2))
|
1.38 | * | WORST_CASE(?,O(n^2))
|
1.38 | * | MAYBE
|
8.64 | * | MAYBE
|
42.20 |
Frederiksen_Others/minsortSize.typed
|
* | MAYBE
|
2.72 | * | MAYBE
|
2.73 | * | MAYBE
|
2.99 | * | MAYBE
|
13.35 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/ocall-safe.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.12 |
Frederiksen_Others/ocall-unsafe.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.12 |
Frederiksen_Others/oddeven.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.12 |
Frederiksen_Others/permut.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.15 |
Frederiksen_Others/power.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
2.48 | * | MAYBE
|
2.83 | * | MAYBE
|
5.07 | * | MAYBE
|
1.24 |
Frederiksen_Others/quicksortPtime.typed
|
* | MAYBE
|
3.03 | * | MAYBE
|
6.62 | * | MAYBE
|
7.22 | * | MAYBE
|
12.26 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/quicksortSize.typed
|
* | MAYBE
|
3.48 | * | MAYBE
|
59.19 | * | MAYBE
|
59.16 | * | MAYBE
|
14.02 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/reach.typed
|
* | MAYBE
|
2.52 | * | MAYBE
|
59.21 | * | MAYBE
|
59.27 | * | MAYBE
|
35.56 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/rematch.typed
|
* | MAYBE
|
54.37 | * | MAYBE
|
59.72 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.05 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/strmatch.typed
|
* | WORST_CASE(?,O(n^2))
|
2.42 | * | WORST_CASE(?,O(n^2))
|
1.51 | * | WORST_CASE(?,O(n^2))
|
1.52 | * | MAYBE
|
12.42 | * | WORST_CASE(?,O(n^2))
|
4.80 |
Frederiksen_Others/thetrickSize.typed
|
* | WORST_CASE(?,O(n^1))
|
0.36 | * | MAYBE
|
2.42 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | MAYBE
|
11.18 | * | WORST_CASE(?,O(n^1))
|
0.77 |
GTSSK07/cade01.typed
|
* | MAYBE
|
2.45 | * | MAYBE
|
2.28 | * | MAYBE
|
2.55 | * | MAYBE
|
3.36 | * | MAYBE
|
0.94 |
GTSSK07/cade03.typed
|
* | MAYBE
|
3.11 | * | MAYBE
|
3.09 | * | MAYBE
|
3.55 | * | MAYBE
|
5.43 | * | MAYBE
|
1.82 |
GTSSK07/cade04t.typed
|
* | MAYBE
|
2.45 | * | MAYBE
|
2.25 | * | MAYBE
|
2.50 | * | MAYBE
|
2.31 | * | MAYBE
|
0.89 |
GTSSK07/cade05t.typed
|
* | MAYBE
|
2.61 | * | MAYBE
|
59.05 | * | MAYBE
|
59.08 | * | MAYBE
|
4.82 | * | MAYBE
|
3.60 |
GTSSK07/cade06.typed
|
* | MAYBE
|
2.59 | * | MAYBE
|
59.10 | * | MAYBE
|
59.08 | * | MAYBE
|
6.93 | * | MAYBE
|
1.85 |
GTSSK07/cade07.typed
|
* | MAYBE
|
2.73 | * | MAYBE
|
3.09 | * | MAYBE
|
3.37 | * | MAYBE
|
8.60 | * | MAYBE
|
3.97 |
GTSSK07/cade08.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
59.14 | * | MAYBE
|
59.10 | * | MAYBE
|
5.69 | * | MAYBE
|
2.42 |
GTSSK07/cade09.typed
|
* | MAYBE
|
3.33 | * | MAYBE
|
2.44 | * | MAYBE
|
3.40 | * | MAYBE
|
3.54 | * | MAYBE
|
1.27 |
GTSSK07/cade10.typed
|
* | MAYBE
|
3.26 | * | MAYBE
|
2.34 | * | MAYBE
|
3.35 | * | MAYBE
|
4.09 | * | MAYBE
|
1.02 |
GTSSK07/cade11.typed
|
* | MAYBE
|
2.45 | * | MAYBE
|
2.32 | * | MAYBE
|
2.48 | * | MAYBE
|
1.95 | * | MAYBE
|
0.64 |
GTSSK07/cade12t.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
59.16 | * | MAYBE
|
59.14 | * | MAYBE
|
5.47 | * | MAYBE
|
2.27 |
GTSSK07/cade13t.typed
|
* | MAYBE
|
2.79 | * | MAYBE
|
2.71 | * | MAYBE
|
2.91 | * | MAYBE
|
5.43 | * | MAYBE
|
7.22 |
GTSSK07/cade14.typed
|
* | MAYBE
|
2.77 | * | MAYBE
|
2.56 | * | MAYBE
|
3.24 | * | MAYBE
|
7.52 | * | MAYBE
|
5.30 |
GTSSK07/cade15.typed
|
* | MAYBE
|
2.69 | * | MAYBE
|
13.00 | * | MAYBE
|
12.86 | * | MAYBE
|
8.16 | * | MAYBE
|
8.94 |
GTSSK07/cade16.typed
|
* | MAYBE
|
2.61 | * | MAYBE
|
7.86 | * | MAYBE
|
8.07 | * | MAYBE
|
5.74 | * | MAYBE
|
1.55 |
GTSSK07/cade17.typed
|
* | MAYBE
|
2.54 | * | MAYBE
|
59.15 | * | MAYBE
|
59.14 | * | MAYBE
|
6.81 | * | TIMEOUT
|
60.00 |
HirokawaMiddeldorp_04/n002.typed
|
* | MAYBE
|
2.06 | * | MAYBE
|
2.04 | * | MAYBE
|
2.09 | * | MAYBE
|
0.12 | * | MAYBE
|
0.09 |
HirokawaMiddeldorp_04/n003.typed
|
* | MAYBE
|
2.12 | * | MAYBE
|
2.05 | * | MAYBE
|
2.19 | * | MAYBE
|
0.21 | * | MAYBE
|
0.10 |
HirokawaMiddeldorp_04/n004.typed
|
* | MAYBE
|
2.17 | * | MAYBE
|
2.09 | * | MAYBE
|
2.11 | * | MAYBE
|
0.35 | * | MAYBE
|
0.19 |
HirokawaMiddeldorp_04/n005.typed
|
* | MAYBE
|
2.17 | * | MAYBE
|
2.15 | * | MAYBE
|
2.12 | * | MAYBE
|
0.16 | * | MAYBE
|
0.09 |
HirokawaMiddeldorp_04/n006.typed
|
* | MAYBE
|
2.19 | * | MAYBE
|
2.07 | * | MAYBE
|
2.18 | * | MAYBE
|
0.21 | * | MAYBE
|
0.14 |
HirokawaMiddeldorp_04/n007.typed
|
* | MAYBE
|
2.20 | * | MAYBE
|
2.09 | * | MAYBE
|
2.19 | * | MAYBE
|
0.58 | * | MAYBE
|
0.18 |
HirokawaMiddeldorp_04/t001.typed
|
* | MAYBE
|
2.77 | * | MAYBE
|
59.12 | * | MAYBE
|
59.09 | * | MAYBE
|
6.40 | * | MAYBE
|
4.17 |
HirokawaMiddeldorp_04/t002.typed
|
* | MAYBE
|
2.38 | * | MAYBE
|
59.12 | * | MAYBE
|
59.14 | * | MAYBE
|
4.62 | * | MAYBE
|
5.74 |
HirokawaMiddeldorp_04/t003.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
59.14 | * | MAYBE
|
59.10 | * | MAYBE
|
7.40 | * | MAYBE
|
4.32 |
HirokawaMiddeldorp_04/t004.typed
|
* | MAYBE
|
2.73 | * | MAYBE
|
6.87 | * | MAYBE
|
6.89 | * | MAYBE
|
2.61 | * | MAYBE
|
39.95 |
HirokawaMiddeldorp_04/t009.typed
|
* | MAYBE
|
3.21 | * | MAYBE
|
6.62 | * | MAYBE
|
6.08 | * | MAYBE
|
59.22 | * | MAYBE
|
59.50 |
HirokawaMiddeldorp_04/t011.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.13 |
HirokawaMiddeldorp_04/t012.typed
|
* | MAYBE
|
2.58 | * | MAYBE
|
59.10 | * | MAYBE
|
59.08 | * | MAYBE
|
3.72 | * | MAYBE
|
1.82 |
HirokawaMiddeldorp_04/t013.typed
|
* | MAYBE
|
2.86 | * | MAYBE
|
3.94 | * | MAYBE
|
4.20 | * | MAYBE
|
5.08 | * | MAYBE
|
11.09 |
HirokawaMiddeldorp_04/t014.typed
|
* | WORST_CASE(?,O(n^2))
|
1.49 | * | MAYBE
|
59.09 | * | WORST_CASE(?,O(n^2))
|
2.01 | * | WORST_CASE(?,O(n^2))
|
2.68 | * | WORST_CASE(?,O(n^2))
|
1.14 |
Mixed_TRS/Ex1_Luc04b_GM.typed
|
* | MAYBE
|
59.14 | * | MAYBE
|
2.33 | * | MAYBE
|
59.08 | * | MAYBE
|
12.26 | * | TIMEOUT
|
60.00 |
Mixed_TRS/fossacs.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
10.58 | * | MAYBE
|
10.58 | * | MAYBE
|
3.66 | * | TIMEOUT
|
60.00 |
Mixed_TRS/gcd.typed
|
* | MAYBE
|
3.07 | * | MAYBE
|
59.13 | * | MAYBE
|
59.11 | * | MAYBE
|
6.06 | * | TIMEOUT
|
60.00 |
Mixed_TRS/gcdMinMax.typed
|
* | MAYBE
|
2.68 | * | MAYBE
|
59.10 | * | MAYBE
|
59.09 | * | MAYBE
|
4.49 | * | TIMEOUT
|
60.00 |
Mixed_TRS/gcd_triple.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
59.14 | * | MAYBE
|
59.21 | * | MAYBE
|
12.60 | * | TIMEOUT
|
60.00 |
Mixed_TRS/hydra-Zantema06.typed
|
* | MAYBE
|
2.52 | * | MAYBE
|
59.23 | * | MAYBE
|
59.19 | * | MAYBE
|
7.03 | * | MAYBE
|
7.25 |
Mixed_TRS/hydra.typed
|
* | MAYBE
|
2.69 | * | WORST_CASE(?,O(n^2))
|
1.35 | * | WORST_CASE(?,O(n^2))
|
1.39 | * | WORST_CASE(?,O(n^1))
|
0.70 | * | WORST_CASE(?,O(n^1))
|
0.15 |
Mixed_TRS/jones1.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.19 |
Mixed_TRS/jones2.typed
|
* | MAYBE
|
2.42 | * | WORST_CASE(?,O(n^2))
|
1.15 | * | WORST_CASE(?,O(n^2))
|
1.15 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.09 |
Mixed_TRS/jones4.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.09 |
Mixed_TRS/jones5.typed
|
* | MAYBE
|
2.32 | * | MAYBE
|
2.22 | * | MAYBE
|
2.30 | * | MAYBE
|
1.54 | * | MAYBE
|
10.68 |
Mixed_TRS/jones6.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.12 |
Mixed_TRS/minsort.typed
|
* | MAYBE
|
2.80 | * | MAYBE
|
59.10 | * | MAYBE
|
59.11 | * | MAYBE
|
7.64 | * | MAYBE
|
3.31 |
Mixed_TRS/perfect.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | MAYBE
|
7.94 | * | MAYBE
|
2.97 |
Mixed_TRS/perfect2.typed
|
* | MAYBE
|
2.58 | * | MAYBE
|
59.11 | * | MAYBE
|
59.21 | * | MAYBE
|
9.11 | * | MAYBE
|
11.83 |
Mixed_TRS/test1.typed
|
* | MAYBE
|
2.30 | * | MAYBE
|
2.14 | * | MAYBE
|
2.33 | * | MAYBE
|
1.65 | * | MAYBE
|
15.01 |
Mixed_TRS/while.typed
|
* | MAYBE
|
2.33 | * | MAYBE
|
2.27 | * | MAYBE
|
2.37 | * | MAYBE
|
1.35 | * | MAYBE
|
0.45 |
Rubio_04/bintrees.typed
|
* | WORST_CASE(?,O(n^1))
|
1.30 | * | MAYBE
|
2.59 | * | WORST_CASE(?,O(n^1))
|
1.28 | * | WORST_CASE(?,O(n^2))
|
1.48 | * | WORST_CASE(?,O(n^2))
|
0.49 |
Rubio_04/bn122.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^2))
|
1.24 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | MAYBE
|
0.61 | * | MAYBE
|
0.19 |
Rubio_04/division.typed
|
* | WORST_CASE(?,O(n^3))
|
4.47 | * | MAYBE
|
2.65 | * | WORST_CASE(?,O(n^3))
|
4.18 | * | MAYBE
|
8.09 | * | TIMEOUT
|
60.00 |
Rubio_04/elimdupl.typed
|
* | WORST_CASE(?,O(n^3))
|
2.89 | * | MAYBE
|
2.46 | * | WORST_CASE(?,O(n^3))
|
3.04 | * | MAYBE
|
10.59 | * | TIMEOUT
|
60.00 |
Rubio_04/enno.typed
|
* | MAYBE
|
3.07 | * | MAYBE
|
2.73 | * | MAYBE
|
3.37 | * | MAYBE
|
6.75 | * | TIMEOUT
|
60.00 |
Rubio_04/gcd.typed
|
* | MAYBE
|
3.83 | * | MAYBE
|
2.85 | * | MAYBE
|
3.99 | * | MAYBE
|
7.01 | * | MAYBE
|
37.31 |
Rubio_04/gm.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
0.14 |
Rubio_04/gmnp.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | MAYBE
|
2.22 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | MAYBE
|
3.73 | * | MAYBE
|
1.97 |
Rubio_04/koen.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | MAYBE
|
59.24 | * | MAYBE
|
59.14 |
Rubio_04/logarquot.typed
|
* | WORST_CASE(?,O(n^2))
|
2.29 | * | MAYBE
|
2.34 | * | WORST_CASE(?,O(n^2))
|
2.63 | * | MAYBE
|
13.20 | * | WORST_CASE(?,O(n^2))
|
1.02 |
Rubio_04/ma96.typed
|
* | MAYBE
|
4.96 | * | MAYBE
|
59.13 | * | MAYBE
|
59.13 | * | MAYBE
|
29.83 | * | TIMEOUT
|
60.00 |
Rubio_04/mfp95.typed
|
* | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.07 |
Rubio_04/nestrec.typed
|
* | MAYBE
|
9.13 | * | MAYBE
|
2.18 | * | MAYBE
|
9.11 | * | MAYBE
|
3.79 | * | TIMEOUT
|
60.00 |
Rubio_04/p266.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | MAYBE
|
2.86 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | MAYBE
|
0.55 | * | MAYBE
|
0.29 |
Rubio_04/polo2.typed
|
* | MAYBE
|
2.61 | * | WORST_CASE(?,O(n^2))
|
1.41 | * | WORST_CASE(?,O(n^2))
|
1.48 | * | WORST_CASE(?,O(n^1))
|
9.29 | * | WORST_CASE(?,O(n^1))
|
0.95 |
Rubio_04/prov.typed
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.21 |
Rubio_04/quick.typed
|
* | MAYBE
|
3.10 | * | MAYBE
|
59.15 | * | MAYBE
|
59.11 | * | MAYBE
|
7.98 | * | TIMEOUT
|
60.00 |
Rubio_04/quotminus.typed
|
* | MAYBE
|
2.89 | * | MAYBE
|
2.37 | * | MAYBE
|
2.93 | * | MAYBE
|
4.12 | * | MAYBE
|
2.61 |
Rubio_04/revlist.typed
|
* | MAYBE
|
6.54 | * | MAYBE
|
59.14 | * | MAYBE
|
59.07 | * | MAYBE
|
9.08 | * | TIMEOUT
|
60.00 |
Rubio_04/selsort.typed
|
* | MAYBE
|
2.66 | * | MAYBE
|
59.12 | * | MAYBE
|
59.23 | * | MAYBE
|
22.17 | * | TIMEOUT
|
60.00 |
Rubio_04/test4.typed
|
* | WORST_CASE(?,O(n^1))
|
0.16 | * | MAYBE
|
3.46 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | MAYBE
|
3.54 | * | MAYBE
|
0.85 |
Rubio_04/test829.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.10 |
Rubio_04/wst99.typed
|
* | MAYBE
|
3.37 | * | MAYBE
|
2.49 | * | MAYBE
|
3.56 | * | MAYBE
|
12.41 | * | TIMEOUT
|
60.00 |
SK90/2.02.typed
|
* | MAYBE
|
10.15 | * | MAYBE
|
2.80 | * | MAYBE
|
10.12 | * | MAYBE
|
0.79 | * | MAYBE
|
0.34 |
SK90/2.03.typed
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | MAYBE
|
0.94 | * | MAYBE
|
55.74 |
SK90/2.07.typed
|
* | MAYBE
|
2.79 | * | WORST_CASE(?,O(n^2))
|
1.26 | * | WORST_CASE(?,O(n^2))
|
1.28 | * | MAYBE
|
1.33 | * | MAYBE
|
0.51 |
SK90/2.09.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.07 |
SK90/2.11.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
0.15 |
SK90/2.12.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
2.52 | * | MAYBE
|
2.75 | * | MAYBE
|
4.16 | * | MAYBE
|
2.62 |
SK90/2.13.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
0.43 |
SK90/2.14.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
0.27 |
SK90/2.15.typed
|
* | MAYBE
|
2.47 | * | MAYBE
|
2.20 | * | MAYBE
|
2.74 | * | MAYBE
|
2.74 | * | MAYBE
|
0.89 |
SK90/2.16.typed
|
* | MAYBE
|
2.74 | * | WORST_CASE(?,O(n^2))
|
1.30 | * | WORST_CASE(?,O(n^2))
|
1.31 | * | WORST_CASE(?,O(n^2))
|
1.61 | * | WORST_CASE(?,O(n^2))
|
0.51 |
SK90/2.17.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^1))
|
0.20 |
SK90/2.18.typed
|
* | MAYBE
|
2.41 | * | WORST_CASE(?,O(n^2))
|
1.10 | * | WORST_CASE(?,O(n^2))
|
1.19 | * | WORST_CASE(?,O(n^2))
|
0.59 | * | WORST_CASE(?,O(n^2))
|
0.23 |
SK90/2.19.typed
|
* | MAYBE
|
2.73 | * | WORST_CASE(?,O(n^2))
|
1.26 | * | WORST_CASE(?,O(n^2))
|
1.31 | * | WORST_CASE(?,O(n^2))
|
2.37 | * | WORST_CASE(?,O(n^2))
|
0.76 |
SK90/2.20.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.24 |
SK90/2.21.typed
|
* | MAYBE
|
2.40 | * | MAYBE
|
2.18 | * | MAYBE
|
2.41 | * | MAYBE
|
2.30 | * | MAYBE
|
2.15 |
SK90/2.22.typed
|
* | MAYBE
|
2.45 | * | WORST_CASE(?,O(n^2))
|
1.21 | * | WORST_CASE(?,O(n^2))
|
1.25 | * | MAYBE
|
2.53 | * | MAYBE
|
0.78 |
SK90/2.23.typed
|
* | MAYBE
|
2.65 | * | MAYBE
|
2.69 | * | MAYBE
|
2.93 | * | MAYBE
|
4.07 | * | MAYBE
|
1.25 |
SK90/2.24.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
2.14 | * | MAYBE
|
2.43 | * | MAYBE
|
2.07 | * | MAYBE
|
7.85 |
SK90/2.25.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
2.30 | * | MAYBE
|
3.25 | * | MAYBE
|
4.07 | * | MAYBE
|
9.68 |
SK90/2.26.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
8.44 | * | MAYBE
|
8.66 | * | MAYBE
|
7.47 | * | MAYBE
|
6.61 |
SK90/2.27.typed
|
* | MAYBE
|
9.66 | * | MAYBE
|
2.26 | * | MAYBE
|
9.81 | * | MAYBE
|
8.63 | * | TIMEOUT
|
60.00 |
SK90/2.28.typed
|
* | MAYBE
|
2.56 | * | MAYBE
|
2.49 | * | MAYBE
|
2.63 | * | MAYBE
|
1.88 | * | MAYBE
|
2.15 |
SK90/2.29.typed
|
* | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | MAYBE
|
6.33 | * | MAYBE
|
1.11 |
SK90/2.30.typed
|
* | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.21 |
SK90/2.31.typed
|
* | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.26 |
SK90/2.36.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.84 | * | WORST_CASE(?,O(n^1))
|
0.31 |
SK90/2.37.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.10 |
SK90/2.38.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | MAYBE
|
0.84 | * | MAYBE
|
0.20 |
SK90/2.39.typed
|
* | MAYBE
|
3.37 | * | MAYBE
|
2.43 | * | MAYBE
|
3.55 | * | MAYBE
|
3.69 | * | MAYBE
|
0.74 |
SK90/2.40.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | MAYBE
|
2.94 | * | MAYBE
|
0.62 |
SK90/2.41.typed
|
* | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.80 | * | WORST_CASE(?,O(n^1))
|
0.47 |
SK90/2.42.typed
|
* | MAYBE
|
3.11 | * | MAYBE
|
2.75 | * | MAYBE
|
3.12 | * | MAYBE
|
0.91 | * | MAYBE
|
0.34 |
SK90/2.43.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
15.15 | * | MAYBE
|
15.21 | * | MAYBE
|
5.65 | * | MAYBE
|
2.95 |
SK90/2.44.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | MAYBE
|
13.38 | * | MAYBE
|
6.99 |
SK90/2.45.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | MAYBE
|
5.92 | * | MAYBE
|
1.06 |
SK90/2.47.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.08 |
SK90/2.48.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.06 |
SK90/2.49.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.65 | * | WORST_CASE(?,O(n^1))
|
0.22 |
SK90/2.50.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.05 |
SK90/2.51.typed
|
* | MAYBE
|
2.48 | * | MAYBE
|
2.35 | * | MAYBE
|
2.56 | * | MAYBE
|
3.02 | * | MAYBE
|
1.37 |
SK90/2.52.typed
|
* | MAYBE
|
2.49 | * | MAYBE
|
6.00 | * | MAYBE
|
6.23 | * | MAYBE
|
13.44 | * | TIMEOUT
|
60.00 |
SK90/2.53.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.07 |
SK90/2.54.typed
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.22 |
SK90/2.55.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | MAYBE
|
59.10 | * | MAYBE
|
59.13 |
SK90/2.59.typed
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.10 |
SK90/2.61.typed
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | MAYBE
|
59.11 | * | MAYBE
|
59.16 |
SK90/4.05.typed
|
* | MAYBE
|
2.36 | * | WORST_CASE(?,O(n^2))
|
1.19 | * | WORST_CASE(?,O(n^2))
|
1.17 | * | MAYBE
|
2.70 | * | MAYBE
|
1.11 |
SK90/4.06.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
2.30 | * | MAYBE
|
2.73 | * | MAYBE
|
0.92 | * | MAYBE
|
0.34 |
SK90/4.07.typed
|
* | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.08 | * | MAYBE
|
59.20 | * | MAYBE
|
59.13 |
SK90/4.09.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
3.21 | * | MAYBE
|
4.30 | * | MAYBE
|
59.13 | * | MAYBE
|
59.14 |
SK90/4.10.typed
|
* | MAYBE
|
2.53 | * | WORST_CASE(?,O(n^2))
|
1.25 | * | WORST_CASE(?,O(n^2))
|
1.27 | * | MAYBE
|
1.07 | * | MAYBE
|
0.34 |
SK90/4.12.typed
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^2))
|
1.29 | * | WORST_CASE(?,O(n^2))
|
0.43 |
SK90/4.13.typed
|
* | MAYBE
|
2.46 | * | MAYBE
|
2.17 | * | MAYBE
|
2.55 | * | WORST_CASE(?,O(n^2))
|
1.05 | * | WORST_CASE(?,O(n^2))
|
0.29 |
SK90/4.16.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
1.13 | * | WORST_CASE(?,O(n^1))
|
0.24 |
SK90/4.17.typed
|
* | WORST_CASE(?,O(n^2))
|
2.31 | * | MAYBE
|
2.21 | * | WORST_CASE(?,O(n^2))
|
2.41 | * | WORST_CASE(?,O(n^3))
|
6.13 | * | WORST_CASE(?,O(n^3))
|
50.57 |
SK90/4.18.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | MAYBE
|
4.83 | * | MAYBE
|
1.93 |
SK90/4.22.typed
|
* | MAYBE
|
2.52 | * | MAYBE
|
2.23 | * | MAYBE
|
2.58 | * | MAYBE
|
3.94 | * | MAYBE
|
1.84 |
SK90/4.24.typed
|
* | MAYBE
|
2.40 | * | MAYBE
|
59.09 | * | MAYBE
|
59.16 | * | MAYBE
|
6.28 | * | TIMEOUT
|
60.00 |
SK90/4.25.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | MAYBE
|
2.16 | * | MAYBE
|
29.64 |
SK90/4.26.typed
|
* | MAYBE
|
2.62 | * | MAYBE
|
2.41 | * | MAYBE
|
3.00 | * | MAYBE
|
0.95 | * | MAYBE
|
0.35 |
SK90/4.27.typed
|
* | MAYBE
|
59.10 | * | MAYBE
|
2.21 | * | MAYBE
|
59.09 | * | MAYBE
|
6.18 | * | TIMEOUT
|
60.00 |
SK90/4.28.typed
|
* | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.35 | * | MAYBE
|
59.13 | * | MAYBE
|
59.13 |
SK90/4.29.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
0.52 |
SK90/4.30.typed
|
* | WORST_CASE(?,O(n^3))
|
2.78 | * | MAYBE
|
2.29 | * | WORST_CASE(?,O(n^3))
|
2.87 | * | MAYBE
|
5.23 | * | TIMEOUT
|
60.00 |
SK90/4.31.typed
|
* | MAYBE
|
2.97 | * | MAYBE
|
2.23 | * | MAYBE
|
2.97 | * | MAYBE
|
2.73 | * | MAYBE
|
1.13 |
SK90/4.34.typed
|
* | MAYBE
|
10.97 | * | MAYBE
|
2.16 | * | MAYBE
|
10.88 | * | MAYBE
|
1.11 | * | TIMEOUT
|
60.00 |
SK90/4.35.typed
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.07 |
SK90/4.38.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.83 | * | WORST_CASE(?,O(n^1))
|
0.48 |
SK90/4.42.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
2.97 | * | MAYBE
|
3.04 | * | MAYBE
|
6.54 | * | MAYBE
|
1.88 |
SK90/4.43.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
2.55 | * | MAYBE
|
3.03 | * | MAYBE
|
1.85 | * | MAYBE
|
0.98 |
SK90/4.45.typed
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.07 |
SK90/4.47.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.15 | * | MAYBE
|
26.96 | * | MAYBE
|
3.72 |
SK90/4.48.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | MAYBE
|
59.09 | * | MAYBE
|
59.15 |
SK90/4.51.typed
|
* | WORST_CASE(?,O(n^1))
|
0.52 | * | MAYBE
|
2.25 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | MAYBE
|
59.09 | * | MAYBE
|
59.15 |
SK90/4.53.typed
|
* | MAYBE
|
4.64 | * | WORST_CASE(?,O(n^2))
|
1.28 | * | WORST_CASE(?,O(n^2))
|
1.30 | * | MAYBE
|
4.90 | * | MAYBE
|
2.01 |
SK90/4.54.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
2.14 | * | MAYBE
|
2.47 | * | MAYBE
|
4.07 | * | MAYBE
|
2.01 |
SK90/4.57.typed
|
* | MAYBE
|
2.65 | * | MAYBE
|
59.11 | * | MAYBE
|
59.09 | * | MAYBE
|
10.01 | * | MAYBE
|
1.80 |
SK90/4.59.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
2.36 | * | MAYBE
|
2.86 | * | MAYBE
|
4.65 | * | MAYBE
|
3.13 |
SK90/4.60.typed
|
* | MAYBE
|
2.72 | * | MAYBE
|
59.14 | * | MAYBE
|
59.14 | * | MAYBE
|
9.84 | * | MAYBE
|
2.84 |
SK90/4.61.typed
|
* | MAYBE
|
2.72 | * | MAYBE
|
59.18 | * | MAYBE
|
59.18 | * | MAYBE
|
10.57 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/aprove2.typed
|
* | MAYBE
|
3.06 | * | MAYBE
|
2.45 | * | MAYBE
|
2.90 | * | MAYBE
|
6.08 | * | MAYBE
|
2.51 |
Secret_05_TRS/aprove3.typed
|
* | MAYBE
|
2.65 | * | MAYBE
|
3.67 | * | MAYBE
|
3.77 | * | MAYBE
|
7.09 | * | MAYBE
|
3.27 |
Secret_05_TRS/aprove4.typed
|
* | MAYBE
|
2.62 | * | MAYBE
|
2.34 | * | MAYBE
|
2.80 | * | MAYBE
|
59.21 | * | MAYBE
|
59.08 |
Secret_05_TRS/aprove5.typed
|
* | MAYBE
|
2.72 | * | MAYBE
|
3.38 | * | MAYBE
|
3.43 | * | MAYBE
|
9.48 | * | MAYBE
|
13.78 |
Secret_05_TRS/cime2.typed
|
* | MAYBE
|
3.02 | * | MAYBE
|
4.75 | * | MAYBE
|
3.28 | * | MAYBE
|
2.53 | * | MAYBE
|
0.65 |
Secret_05_TRS/cime3.typed
|
* | MAYBE
|
3.11 | * | MAYBE
|
2.42 | * | MAYBE
|
3.58 | * | MAYBE
|
59.27 | * | MAYBE
|
59.29 |
Secret_05_TRS/cime4.typed
|
* | MAYBE
|
2.47 | * | MAYBE
|
2.25 | * | MAYBE
|
2.62 | * | MAYBE
|
1.04 | * | MAYBE
|
0.33 |
Secret_05_TRS/cime5.typed
|
* | MAYBE
|
8.31 | * | MAYBE
|
59.20 | * | MAYBE
|
59.50 | * | MAYBE
|
59.23 | * | MAYBE
|
59.28 |
Secret_05_TRS/tpa1.typed
|
* | MAYBE
|
3.08 | * | MAYBE
|
59.10 | * | MAYBE
|
59.13 | * | MAYBE
|
6.24 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/tpa2.typed
|
* | MAYBE
|
2.52 | * | MAYBE
|
59.13 | * | MAYBE
|
59.13 | * | WORST_CASE(?,O(n^2))
|
3.53 | * | WORST_CASE(?,O(n^2))
|
1.30 |
Secret_05_TRS/tpa3.typed
|
* | MAYBE
|
2.48 | * | MAYBE
|
31.57 | * | MAYBE
|
29.59 | * | MAYBE
|
3.75 | * | MAYBE
|
1.22 |
Secret_05_TRS/tpa4.typed
|
* | MAYBE
|
2.28 | * | MAYBE
|
59.09 | * | MAYBE
|
59.12 | * | MAYBE
|
4.47 | * | MAYBE
|
1.34 |
Secret_05_TRS/tpa5.typed
|
* | MAYBE
|
2.86 | * | MAYBE
|
59.10 | * | MAYBE
|
59.19 | * | MAYBE
|
10.21 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/ttt1.typed
|
* | MAYBE
|
2.47 | * | MAYBE
|
5.72 | * | MAYBE
|
5.40 | * | MAYBE
|
1.58 | * | MAYBE
|
0.37 |
Secret_05_TRS/ttt2.typed
|
* | MAYBE
|
4.59 | * | MAYBE
|
2.13 | * | MAYBE
|
4.59 | * | MAYBE
|
0.67 | * | MAYBE
|
0.17 |
Secret_06_TRS/10.typed
|
* | MAYBE
|
38.16 | * | MAYBE
|
2.97 | * | MAYBE
|
37.76 | * | MAYBE
|
1.08 | * | MAYBE
|
22.04 |
Secret_06_TRS/4.typed
|
* | MAYBE
|
23.11 | * | MAYBE
|
4.95 | * | MAYBE
|
24.71 | * | MAYBE
|
1.45 | * | MAYBE
|
0.71 |
Secret_06_TRS/6.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | MAYBE
|
21.43 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | MAYBE
|
1.05 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/addList.typed
|
* | MAYBE
|
2.92 | * | MAYBE
|
59.11 | * | MAYBE
|
59.11 | * | MAYBE
|
18.16 | * | MAYBE
|
13.04 |
Secret_06_TRS/divExp.typed
|
* | MAYBE
|
2.47 | * | MAYBE
|
59.15 | * | MAYBE
|
59.13 | * | MAYBE
|
6.05 | * | MAYBE
|
17.37 |
Secret_06_TRS/division.typed
|
* | MAYBE
|
2.91 | * | MAYBE
|
2.75 | * | MAYBE
|
3.04 | * | MAYBE
|
3.97 | * | MAYBE
|
9.49 |
Secret_06_TRS/double.typed
|
* | MAYBE
|
2.56 | * | MAYBE
|
2.71 | * | MAYBE
|
3.33 | * | MAYBE
|
8.35 | * | MAYBE
|
8.88 |
Secret_06_TRS/gen-1.typed
|
* | WORST_CASE(?,O(n^1))
|
0.25 | * | MAYBE
|
59.08 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | MAYBE
|
3.50 | * | MAYBE
|
2.56 |
Secret_06_TRS/gen-17.typed
|
* | MAYBE
|
3.58 | * | MAYBE
|
59.08 | * | MAYBE
|
59.10 | * | MAYBE
|
3.19 | * | MAYBE
|
2.35 |
Secret_06_TRS/gen-28.typed
|
* | MAYBE
|
2.83 | * | MAYBE
|
3.60 | * | MAYBE
|
3.68 | * | MAYBE
|
0.99 | * | MAYBE
|
0.46 |
Secret_06_TRS/logarithm.typed
|
* | MAYBE
|
3.04 | * | MAYBE
|
2.52 | * | MAYBE
|
3.19 | * | MAYBE
|
6.02 | * | MAYBE
|
4.53 |
Secret_06_TRS/nrOfNodes.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
13.84 | * | MAYBE
|
13.45 | * | MAYBE
|
4.80 | * | MAYBE
|
11.36 |
Secret_06_TRS/reverse.typed
|
* | MAYBE
|
3.05 | * | MAYBE
|
9.69 | * | MAYBE
|
15.64 | * | MAYBE
|
8.22 | * | MAYBE
|
5.74 |
Secret_06_TRS/sumList.typed
|
* | MAYBE
|
3.10 | * | MAYBE
|
14.38 | * | MAYBE
|
8.77 | * | MAYBE
|
5.22 | * | MAYBE
|
6.12 |
Secret_06_TRS/times.typed
|
* | MAYBE
|
3.08 | * | MAYBE
|
3.11 | * | MAYBE
|
3.26 | * | MAYBE
|
5.01 | * | MAYBE
|
6.43 |
Secret_06_TRS/toList.typed
|
* | MAYBE
|
2.68 | * | MAYBE
|
24.26 | * | MAYBE
|
18.14 | * | MAYBE
|
8.35 | * | MAYBE
|
14.42 |
Secret_06_TRS/tpa04.typed
|
* | MAYBE
|
3.40 | * | MAYBE
|
59.21 | * | MAYBE
|
59.19 | * | MAYBE
|
5.49 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/tpa05.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
59.13 | * | MAYBE
|
59.16 | * | MAYBE
|
6.82 | * | MAYBE
|
2.80 |
Secret_06_TRS/tpa06.typed
|
* | MAYBE
|
2.50 | * | MAYBE
|
59.21 | * | MAYBE
|
59.23 | * | MAYBE
|
13.69 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/tpa07.typed
|
* | MAYBE
|
2.48 | * | MAYBE
|
59.12 | * | MAYBE
|
59.12 | * | MAYBE
|
4.49 | * | MAYBE
|
1.67 |
Secret_06_TRS/tpa08.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
59.11 | * | MAYBE
|
59.18 | * | MAYBE
|
6.86 | * | MAYBE
|
2.38 |
Secret_06_TRS/tpa09.typed
|
* | MAYBE
|
3.24 | * | MAYBE
|
59.15 | * | MAYBE
|
59.18 | * | MAYBE
|
6.05 | * | MAYBE
|
4.16 |
Secret_06_TRS/tpa10.typed
|
* | MAYBE
|
2.71 | * | MAYBE
|
59.09 | * | MAYBE
|
59.10 | * | MAYBE
|
4.69 | * | MAYBE
|
2.67 |
Secret_07_TRS/3.typed
|
* | MAYBE
|
2.62 | * | MAYBE
|
59.18 | * | MAYBE
|
59.12 | * | MAYBE
|
0.12 | * | MAYBE
|
0.04 |
Secret_07_TRS/aprove01.typed
|
* | MAYBE
|
2.85 | * | MAYBE
|
4.93 | * | MAYBE
|
4.96 | * | MAYBE
|
11.74 | * | MAYBE
|
14.16 |
Secret_07_TRS/aprove02.typed
|
* | MAYBE
|
2.78 | * | MAYBE
|
2.76 | * | MAYBE
|
3.08 | * | MAYBE
|
6.06 | * | MAYBE
|
9.81 |
Secret_07_TRS/aprove03.typed
|
* | MAYBE
|
3.16 | * | MAYBE
|
59.15 | * | MAYBE
|
59.14 | * | MAYBE
|
24.26 | * | MAYBE
|
36.21 |
Secret_07_TRS/aprove04.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
59.12 | * | MAYBE
|
59.14 | * | MAYBE
|
7.42 | * | MAYBE
|
9.54 |
Secret_07_TRS/aprove05.typed
|
* | MAYBE
|
3.33 | * | MAYBE
|
7.84 | * | MAYBE
|
8.45 | * | MAYBE
|
8.13 | * | MAYBE
|
3.26 |
Secret_07_TRS/aprove06.typed
|
* | MAYBE
|
2.91 | * | MAYBE
|
4.03 | * | MAYBE
|
4.23 | * | MAYBE
|
6.18 | * | MAYBE
|
7.99 |
Secret_07_TRS/aprove07.typed
|
* | MAYBE
|
2.89 | * | MAYBE
|
8.75 | * | MAYBE
|
8.68 | * | MAYBE
|
6.73 | * | MAYBE
|
2.64 |
Secret_07_TRS/aprove08.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
6.70 | * | MAYBE
|
6.87 | * | MAYBE
|
19.76 | * | MAYBE
|
26.52 |
Secret_07_TRS/aprove09.typed
|
* | MAYBE
|
3.46 | * | MAYBE
|
3.53 | * | MAYBE
|
3.81 | * | MAYBE
|
7.47 | * | MAYBE
|
8.58 |
Secret_07_TRS/aprove10.typed
|
* | MAYBE
|
2.59 | * | MAYBE
|
59.12 | * | MAYBE
|
59.21 | * | MAYBE
|
11.60 | * | MAYBE
|
5.51 |
Secret_07_TRS/secret1.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
2.72 | * | MAYBE
|
3.80 | * | MAYBE
|
25.07 | * | MAYBE
|
58.17 |
Secret_07_TRS/secret3.typed
|
* | MAYBE
|
2.54 | * | MAYBE
|
4.42 | * | MAYBE
|
4.30 | * | MAYBE
|
6.78 | * | MAYBE
|
2.46 |
Secret_07_TRS/secret4.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
59.10 | * | MAYBE
|
59.11 | * | MAYBE
|
7.96 | * | MAYBE
|
2.88 |
Secret_07_TRS/secret5.typed
|
* | MAYBE
|
5.78 | * | MAYBE
|
59.10 | * | MAYBE
|
59.16 | * | MAYBE
|
11.09 | * | MAYBE
|
11.96 |
Strategy_removed_AG01/%234.14.typed
|
* | MAYBE
|
4.32 | * | MAYBE
|
2.21 | * | MAYBE
|
4.39 | * | MAYBE
|
1.56 | * | MAYBE
|
0.49 |
Strategy_removed_AG01/%234.16.typed
|
* | MAYBE
|
2.38 | * | MAYBE
|
2.22 | * | MAYBE
|
2.37 | * | MAYBE
|
0.88 | * | MAYBE
|
0.28 |
Strategy_removed_AG01/%234.17.typed
|
* | MAYBE
|
59.03 | * | MAYBE
|
2.25 | * | MAYBE
|
59.09 | * | MAYBE
|
1.98 | * | MAYBE
|
18.68 |
Strategy_removed_AG01/%234.19.typed
|
* | MAYBE
|
2.39 | * | MAYBE
|
2.33 | * | MAYBE
|
2.96 | * | MAYBE
|
59.14 | * | MAYBE
|
59.08 |
Strategy_removed_AG01/%234.2.typed
|
* | MAYBE
|
59.08 | * | MAYBE
|
2.48 | * | MAYBE
|
59.06 | * | MAYBE
|
1.13 | * | MAYBE
|
0.50 |
Strategy_removed_AG01/%234.20a.typed
|
* | WORST_CASE(?,O(n^1))
|
0.17 | * | MAYBE
|
2.17 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | MAYBE
|
1.51 | * | MAYBE
|
3.41 |
Strategy_removed_AG01/%234.22.typed
|
* | MAYBE
|
2.60 | * | MAYBE
|
2.48 | * | MAYBE
|
2.58 | * | MAYBE
|
3.08 | * | MAYBE
|
6.90 |
Strategy_removed_AG01/%234.23.typed
|
* | MAYBE
|
3.07 | * | MAYBE
|
2.20 | * | MAYBE
|
2.85 | * | MAYBE
|
4.38 | * | MAYBE
|
2.59 |
Strategy_removed_AG01/%234.25.typed
|
* | MAYBE
|
2.22 | * | MAYBE
|
2.16 | * | MAYBE
|
2.25 | * | MAYBE
|
0.38 | * | MAYBE
|
0.14 |
Strategy_removed_AG01/%234.26.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
2.26 | * | MAYBE
|
2.54 | * | MAYBE
|
3.35 | * | MAYBE
|
0.98 |
Strategy_removed_AG01/%234.27.typed
|
* | MAYBE
|
2.64 | * | MAYBE
|
59.17 | * | MAYBE
|
59.09 | * | WORST_CASE(?,O(n^3))
|
5.50 | * | WORST_CASE(?,O(n^2))
|
0.90 |
Strategy_removed_AG01/%234.28.typed
|
* | WORST_CASE(?,O(n^2))
|
1.44 | * | MAYBE
|
2.18 | * | WORST_CASE(?,O(n^2))
|
1.38 | * | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.12 |
Strategy_removed_AG01/%234.29.typed
|
* | MAYBE
|
2.80 | * | MAYBE
|
59.14 | * | MAYBE
|
59.16 | * | MAYBE
|
6.15 | * | MAYBE
|
13.27 |
Strategy_removed_AG01/%234.30.typed
|
* | MAYBE
|
2.65 | * | MAYBE
|
2.64 | * | MAYBE
|
3.03 | * | MAYBE
|
5.11 | * | MAYBE
|
3.24 |
Strategy_removed_AG01/%234.30a.typed
|
* | MAYBE
|
2.38 | * | MAYBE
|
2.78 | * | MAYBE
|
3.07 | * | MAYBE
|
4.01 | * | MAYBE
|
4.08 |
Strategy_removed_AG01/%234.30b.typed
|
* | MAYBE
|
2.89 | * | MAYBE
|
2.58 | * | MAYBE
|
2.81 | * | MAYBE
|
4.80 | * | MAYBE
|
7.80 |
Strategy_removed_AG01/%234.30c.typed
|
* | MAYBE
|
2.80 | * | MAYBE
|
2.60 | * | MAYBE
|
2.99 | * | MAYBE
|
7.26 | * | MAYBE
|
12.60 |
Strategy_removed_AG01/%234.32.typed
|
* | WORST_CASE(?,O(n^2))
|
1.31 | * | MAYBE
|
2.23 | * | WORST_CASE(?,O(n^2))
|
1.26 | * | WORST_CASE(?,O(n^2))
|
1.91 | * | WORST_CASE(?,O(n^2))
|
0.79 |
Strategy_removed_AG01/%234.33.typed
|
* | MAYBE
|
10.10 | * | MAYBE
|
9.84 | * | MAYBE
|
12.57 | * | MAYBE
|
5.88 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/%234.34.typed
|
* | WORST_CASE(?,O(n^2))
|
1.31 | * | MAYBE
|
2.33 | * | WORST_CASE(?,O(n^2))
|
1.34 | * | WORST_CASE(?,O(n^2))
|
2.40 | * | WORST_CASE(?,O(n^2))
|
0.62 |
Strategy_removed_AG01/%234.35.typed
|
* | MAYBE
|
5.49 | * | MAYBE
|
59.17 | * | MAYBE
|
59.23 | * | MAYBE
|
59.17 | * | MAYBE
|
59.11 |
Strategy_removed_AG01/%234.36.typed
|
* | MAYBE
|
2.47 | * | MAYBE
|
59.16 | * | MAYBE
|
59.13 | * | MAYBE
|
17.14 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/%234.37.typed
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | MAYBE
|
2.28 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^2))
|
1.18 | * | WORST_CASE(?,O(n^2))
|
0.39 |
Strategy_removed_AG01/%234.37a.typed
|
* | WORST_CASE(?,O(n^1))
|
0.24 | * | MAYBE
|
2.27 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^2))
|
2.85 | * | WORST_CASE(?,O(n^2))
|
0.71 |
Strategy_removed_AG01/%234.7.typed
|
* | MAYBE
|
59.08 | * | MAYBE
|
2.30 | * | MAYBE
|
59.09 | * | MAYBE
|
0.92 | * | MAYBE
|
11.34 |
Strategy_removed_CSR_05/Ex14_AEGL02.typed
|
* | MAYBE
|
2.35 | * | MAYBE
|
2.13 | * | MAYBE
|
2.46 | * | MAYBE
|
1.99 | * | MAYBE
|
1.10 |
Strategy_removed_CSR_05/Ex15_Luc98.typed
|
* | MAYBE
|
2.50 | * | MAYBE
|
2.37 | * | MAYBE
|
2.87 | * | MAYBE
|
1.91 | * | MAYBE
|
1.02 |
Strategy_removed_CSR_05/Ex1_2_AEL03.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
2.29 | * | MAYBE
|
2.66 | * | MAYBE
|
4.65 | * | MAYBE
|
2.16 |
Strategy_removed_CSR_05/Ex1_2_Luc02c.typed
|
* | MAYBE
|
2.33 | * | MAYBE
|
2.19 | * | MAYBE
|
2.34 | * | MAYBE
|
0.74 | * | MAYBE
|
0.25 |
Strategy_removed_CSR_05/Ex1_GL02a.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
2.38 | * | MAYBE
|
2.62 | * | MAYBE
|
3.11 | * | MAYBE
|
0.95 |
Strategy_removed_CSR_05/Ex1_GM03.typed
|
* | MAYBE
|
2.65 | * | MAYBE
|
9.98 | * | MAYBE
|
10.14 | * | MAYBE
|
2.51 | * | MAYBE
|
0.87 |
Strategy_removed_CSR_05/Ex1_Luc02b.typed
|
* | MAYBE
|
2.56 | * | MAYBE
|
2.34 | * | MAYBE
|
2.57 | * | MAYBE
|
2.12 | * | MAYBE
|
0.73 |
Strategy_removed_CSR_05/Ex1_Zan97.typed
|
* | MAYBE
|
2.92 | * | MAYBE
|
2.10 | * | MAYBE
|
2.93 | * | MAYBE
|
0.46 | * | MAYBE
|
0.17 |
Strategy_removed_CSR_05/Ex26_Luc03b.typed
|
* | MAYBE
|
2.96 | * | MAYBE
|
2.33 | * | MAYBE
|
3.13 | * | MAYBE
|
4.83 | * | MAYBE
|
1.48 |
Strategy_removed_CSR_05/Ex2_Luc03b.typed
|
* | MAYBE
|
2.63 | * | MAYBE
|
2.36 | * | MAYBE
|
2.70 | * | MAYBE
|
2.81 | * | MAYBE
|
0.97 |
Strategy_removed_CSR_05/Ex3_12_Luc96a.typed
|
* | MAYBE
|
2.31 | * | MAYBE
|
2.28 | * | MAYBE
|
2.31 | * | MAYBE
|
1.20 | * | MAYBE
|
0.52 |
Strategy_removed_CSR_05/Ex3_2_Luc97.typed
|
* | MAYBE
|
3.17 | * | MAYBE
|
2.24 | * | MAYBE
|
3.20 | * | MAYBE
|
4.72 | * | MAYBE
|
1.30 |
Strategy_removed_CSR_05/Ex3_3_25_Bor03.typed
|
* | MAYBE
|
2.86 | * | MAYBE
|
2.29 | * | MAYBE
|
2.89 | * | MAYBE
|
4.96 | * | MAYBE
|
1.71 |
Strategy_removed_CSR_05/Ex49_GM04.typed
|
* | WORST_CASE(?,O(n^2))
|
1.56 | * | MAYBE
|
59.10 | * | WORST_CASE(?,O(n^2))
|
1.72 | * | WORST_CASE(?,O(n^1))
|
0.74 | * | WORST_CASE(?,O(n^1))
|
0.87 |
Strategy_removed_CSR_05/Ex4_4_Luc96b.typed
|
* | MAYBE
|
2.23 | * | MAYBE
|
2.38 | * | MAYBE
|
2.56 | * | MAYBE
|
1.09 | * | TIMEOUT
|
60.00 |
Strategy_removed_CSR_05/Ex4_7_15_Bor03.typed
|
* | MAYBE
|
2.39 | * | MAYBE
|
2.11 | * | MAYBE
|
2.42 | * | MAYBE
|
4.29 | * | MAYBE
|
1.59 |
Strategy_removed_CSR_05/Ex4_7_37_Bor03.typed
|
* | MAYBE
|
3.23 | * | MAYBE
|
2.38 | * | MAYBE
|
3.41 | * | MAYBE
|
3.99 | * | MAYBE
|
1.80 |
Strategy_removed_CSR_05/Ex4_7_56_Bor03.typed
|
* | MAYBE
|
2.33 | * | MAYBE
|
2.17 | * | MAYBE
|
2.31 | * | MAYBE
|
1.10 | * | MAYBE
|
0.32 |
Strategy_removed_CSR_05/Ex4_7_77_Bor03.typed
|
* | MAYBE
|
2.23 | * | MAYBE
|
2.12 | * | MAYBE
|
2.28 | * | MAYBE
|
0.59 | * | MAYBE
|
0.32 |
Strategy_removed_CSR_05/Ex4_Zan97.typed
|
* | MAYBE
|
2.69 | * | MAYBE
|
2.39 | * | MAYBE
|
2.85 | * | MAYBE
|
2.04 | * | MAYBE
|
0.99 |
Strategy_removed_CSR_05/Ex5_7_Luc97.typed
|
* | MAYBE
|
2.59 | * | MAYBE
|
2.26 | * | MAYBE
|
2.75 | * | MAYBE
|
4.86 | * | MAYBE
|
2.65 |
Strategy_removed_CSR_05/Ex5_Zan97.typed
|
* | MAYBE
|
2.20 | * | MAYBE
|
2.11 | * | MAYBE
|
2.20 | * | MAYBE
|
0.61 | * | MAYBE
|
0.19 |
Strategy_removed_CSR_05/Ex6_15_AEL02.typed
|
* | MAYBE
|
2.89 | * | MAYBE
|
2.44 | * | MAYBE
|
2.78 | * | MAYBE
|
6.01 | * | MAYBE
|
6.72 |
Strategy_removed_CSR_05/Ex6_9_Luc02c.typed
|
* | MAYBE
|
2.42 | * | MAYBE
|
2.33 | * | MAYBE
|
2.55 | * | MAYBE
|
1.71 | * | MAYBE
|
0.71 |
Strategy_removed_CSR_05/Ex6_GM04.typed
|
* | MAYBE
|
2.22 | * | MAYBE
|
2.11 | * | MAYBE
|
2.21 | * | MAYBE
|
0.77 | * | MAYBE
|
0.23 |
Strategy_removed_CSR_05/Ex6_Luc98.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
2.24 | * | MAYBE
|
2.42 | * | MAYBE
|
1.35 | * | MAYBE
|
0.48 |
Strategy_removed_CSR_05/Ex7_BLR02.typed
|
* | MAYBE
|
3.05 | * | MAYBE
|
2.28 | * | MAYBE
|
3.17 | * | MAYBE
|
4.16 | * | MAYBE
|
1.31 |
Strategy_removed_CSR_05/Ex8_BLR02.typed
|
* | MAYBE
|
2.61 | * | MAYBE
|
2.28 | * | MAYBE
|
2.87 | * | MAYBE
|
1.78 | * | MAYBE
|
1.13 |
Strategy_removed_CSR_05/Ex9_BLR02.typed
|
* | MAYBE
|
2.69 | * | MAYBE
|
2.33 | * | MAYBE
|
2.81 | * | MAYBE
|
5.35 | * | MAYBE
|
2.83 |
Strategy_removed_CSR_05/ExAppendixB_AEL03.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
2.43 | * | MAYBE
|
2.82 | * | MAYBE
|
9.64 | * | MAYBE
|
7.04 |
Strategy_removed_CSR_05/ExConc_Zan97.typed
|
* | MAYBE
|
2.21 | * | MAYBE
|
2.09 | * | MAYBE
|
2.24 | * | MAYBE
|
0.42 | * | MAYBE
|
0.19 |
Strategy_removed_CSR_05/ExIntrod_GM01.typed
|
* | MAYBE
|
2.70 | * | MAYBE
|
2.25 | * | MAYBE
|
2.81 | * | MAYBE
|
2.87 | * | MAYBE
|
0.96 |
Strategy_removed_CSR_05/ExIntrod_GM04.typed
|
* | MAYBE
|
2.82 | * | MAYBE
|
2.34 | * | MAYBE
|
3.03 | * | MAYBE
|
3.95 | * | MAYBE
|
1.45 |
Strategy_removed_CSR_05/ExIntrod_GM99.typed
|
* | MAYBE
|
3.27 | * | MAYBE
|
14.52 | * | MAYBE
|
14.35 | * | MAYBE
|
5.51 | * | MAYBE
|
4.40 |
Strategy_removed_CSR_05/ExIntrod_Zan97.typed
|
* | MAYBE
|
2.89 | * | MAYBE
|
59.13 | * | MAYBE
|
59.12 | * | MAYBE
|
3.62 | * | MAYBE
|
0.97 |
Strategy_removed_mixed_05/ExSec11_1_Luc02a.typed
|
* | MAYBE
|
2.62 | * | MAYBE
|
2.35 | * | MAYBE
|
2.73 | * | MAYBE
|
4.13 | * | MAYBE
|
2.19 |
Strategy_removed_mixed_05/ex1.typed
|
* | MAYBE
|
2.37 | * | MAYBE
|
2.22 | * | MAYBE
|
2.26 | * | MAYBE
|
0.32 | * | MAYBE
|
0.12 |
Strategy_removed_mixed_05/ex2.typed
|
* | MAYBE
|
2.21 | * | MAYBE
|
2.21 | * | MAYBE
|
2.30 | * | MAYBE
|
0.50 | * | MAYBE
|
0.20 |
Strategy_removed_mixed_05/ex3.typed
|
* | MAYBE
|
2.23 | * | MAYBE
|
2.16 | * | MAYBE
|
2.30 | * | MAYBE
|
0.56 | * | MAYBE
|
0.39 |
Strategy_removed_mixed_05/ex4.typed
|
* | MAYBE
|
3.67 | * | MAYBE
|
2.18 | * | MAYBE
|
3.63 | * | MAYBE
|
0.87 | * | MAYBE
|
4.67 |
Strategy_removed_mixed_05/ex5.typed
|
* | MAYBE
|
2.21 | * | MAYBE
|
2.18 | * | MAYBE
|
2.18 | * | MAYBE
|
0.22 | * | MAYBE
|
0.20 |
Strategy_removed_mixed_05/ex6.typed
|
* | MAYBE
|
2.39 | * | MAYBE
|
3.02 | * | MAYBE
|
4.35 | * | MAYBE
|
59.11 | * | TIMEOUT
|
60.00 |
Strategy_removed_mixed_05/muladd.typed
|
* | MAYBE
|
2.34 | * | MAYBE
|
2.18 | * | MAYBE
|
2.30 | * | MAYBE
|
2.08 | * | MAYBE
|
1.29 |
Strategy_removed_mixed_05/test10.typed
|
* | MAYBE
|
2.48 | * | MAYBE
|
2.36 | * | MAYBE
|
2.81 | * | MAYBE
|
59.16 | * | MAYBE
|
59.07 |
Strategy_removed_mixed_05/test76.typed
|
* | MAYBE
|
2.29 | * | MAYBE
|
2.24 | * | MAYBE
|
2.36 | * | MAYBE
|
1.44 | * | MAYBE
|
0.57 |
Strategy_removed_mixed_05/test77.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
2.39 | * | MAYBE
|
2.32 | * | MAYBE
|
1.24 | * | MAYBE
|
0.45 |
Strategy_removed_mixed_05/test830.typed
|
* | WORST_CASE(?,O(n^1))
|
0.21 | * | MAYBE
|
2.64 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^2))
|
1.07 | * | WORST_CASE(?,O(n^2))
|
0.47 |
Strategy_removed_mixed_05/tricky1.typed
|
* | WORST_CASE(?,O(n^1))
|
0.33 | * | MAYBE
|
59.10 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | MAYBE
|
4.40 | * | MAYBE
|
2.24 |
TCT_12/polycounter-10.typed
|
* | MAYBE
|
2.44 | * | MAYBE
|
3.54 | * | MAYBE
|
3.82 | * | MAYBE
|
15.55 | * | MAYBE
|
13.52 |
TCT_12/polycounter-5.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
2.46 | * | MAYBE
|
2.55 | * | MAYBE
|
6.12 | * | MAYBE
|
1.98 |
TCT_12/recursion-10.typed
|
* | MAYBE
|
2.86 | * | MAYBE
|
2.42 | * | MAYBE
|
3.02 | * | MAYBE
|
11.92 | * | MAYBE
|
8.43 |
TCT_12/recursion-5.typed
|
* | MAYBE
|
2.87 | * | MAYBE
|
2.42 | * | MAYBE
|
2.97 | * | MAYBE
|
6.22 | * | MAYBE
|
1.90 |
TCT_12/sat.typed
|
* | WORST_CASE(?,O(n^2))
|
2.55 | * | MAYBE
|
8.68 | * | WORST_CASE(?,O(n^2))
|
2.06 | * | WORST_CASE(?,O(n^2))
|
6.88 | * | WORST_CASE(?,O(n^2))
|
1.45 |
Transformed_CSR_04/Ex14_AEGL02_C.typed
|
* | MAYBE
|
16.87 | * | MAYBE
|
59.14 | * | MAYBE
|
59.18 | * | MAYBE
|
32.67 | * | MAYBE
|
34.29 |
Transformed_CSR_04/Ex14_AEGL02_FR.typed
|
* | MAYBE
|
2.99 | * | MAYBE
|
3.06 | * | MAYBE
|
3.39 | * | MAYBE
|
7.18 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex14_AEGL02_GM.typed
|
* | WORST_CASE(?,O(n^3))
|
2.57 | * | MAYBE
|
2.37 | * | WORST_CASE(?,O(n^3))
|
2.59 | * | MAYBE
|
8.84 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex14_AEGL02_L.typed
|
* | MAYBE
|
2.13 | * | MAYBE
|
2.03 | * | MAYBE
|
2.15 | * | MAYBE
|
0.58 | * | MAYBE
|
0.18 |
Transformed_CSR_04/Ex14_AEGL02_Z.typed
|
* | MAYBE
|
3.43 | * | MAYBE
|
2.30 | * | MAYBE
|
3.56 | * | MAYBE
|
6.82 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex14_Luc06_C.typed
|
* | MAYBE
|
17.68 | * | MAYBE
|
2.66 | * | MAYBE
|
15.17 | * | MAYBE
|
18.09 | * | MAYBE
|
26.11 |
Transformed_CSR_04/Ex14_Luc06_GM.typed
|
* | MAYBE
|
4.04 | * | MAYBE
|
2.33 | * | MAYBE
|
3.89 | * | MAYBE
|
8.22 | * | MAYBE
|
9.86 |
Transformed_CSR_04/Ex15_Luc06_C.typed
|
* | MAYBE
|
59.09 | * | MAYBE
|
2.25 | * | MAYBE
|
59.09 | * | MAYBE
|
7.47 | * | MAYBE
|
6.98 |
Transformed_CSR_04/Ex15_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | MAYBE
|
2.27 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^2))
|
2.02 | * | WORST_CASE(?,O(n^2))
|
0.63 |
Transformed_CSR_04/Ex15_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | MAYBE
|
2.17 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^2))
|
1.13 | * | WORST_CASE(?,O(n^2))
|
0.24 |
Transformed_CSR_04/Ex15_Luc06_L.typed
|
* | MAYBE
|
2.25 | * | MAYBE
|
2.05 | * | MAYBE
|
2.07 | * | MAYBE
|
0.09 | * | MAYBE
|
0.08 |
Transformed_CSR_04/Ex15_Luc06_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.17 | * | MAYBE
|
2.13 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
0.41 |
Transformed_CSR_04/Ex15_Luc98_C.typed
|
* | MAYBE
|
3.37 | * | MAYBE
|
59.23 | * | MAYBE
|
59.10 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex15_Luc98_FR.typed
|
* | MAYBE
|
2.91 | * | MAYBE
|
2.33 | * | MAYBE
|
2.89 | * | MAYBE
|
13.79 | * | MAYBE
|
21.61 |
Transformed_CSR_04/Ex15_Luc98_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
5.74 | * | WORST_CASE(?,O(n^1))
|
2.19 |
Transformed_CSR_04/Ex15_Luc98_Z.typed
|
* | MAYBE
|
2.73 | * | MAYBE
|
2.30 | * | MAYBE
|
2.79 | * | MAYBE
|
12.88 | * | MAYBE
|
15.88 |
Transformed_CSR_04/Ex16_Luc06_C.typed
|
* | MAYBE
|
59.19 | * | MAYBE
|
2.39 | * | MAYBE
|
59.08 | * | MAYBE
|
7.16 | * | MAYBE
|
6.77 |
Transformed_CSR_04/Ex16_Luc06_GM.typed
|
* | MAYBE
|
2.34 | * | MAYBE
|
2.28 | * | MAYBE
|
2.27 | * | MAYBE
|
1.16 | * | MAYBE
|
0.59 |
Transformed_CSR_04/Ex16_Luc06_L.typed
|
* | MAYBE
|
2.14 | * | MAYBE
|
2.06 | * | MAYBE
|
2.26 | * | MAYBE
|
0.22 | * | MAYBE
|
0.20 |
Transformed_CSR_04/Ex18_Luc06_C.typed
|
* | WORST_CASE(?,O(n^3))
|
52.31 | * | MAYBE
|
2.25 | * | WORST_CASE(?,O(n^3))
|
50.55 | * | MAYBE
|
7.95 | * | MAYBE
|
7.17 |
Transformed_CSR_04/Ex18_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | WORST_CASE(?,O(n^1))
|
0.45 |
Transformed_CSR_04/Ex18_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
0.27 |
Transformed_CSR_04/Ex18_Luc06_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.16 |
Transformed_CSR_04/Ex1_2_AEL03_C.typed
|
* | MAYBE
|
3.74 | * | MAYBE
|
59.24 | * | MAYBE
|
59.49 | * | MAYBE
|
59.49 | * | MAYBE
|
59.37 |
Transformed_CSR_04/Ex1_2_AEL03_FR.typed
|
* | MAYBE
|
3.48 | * | MAYBE
|
20.32 | * | MAYBE
|
15.82 | * | MAYBE
|
8.65 | * | MAYBE
|
9.86 |
Transformed_CSR_04/Ex1_2_AEL03_GM.typed
|
* | MAYBE
|
2.85 | * | MAYBE
|
59.13 | * | MAYBE
|
59.11 | * | MAYBE
|
59.70 | * | MAYBE
|
59.49 |
Transformed_CSR_04/Ex1_2_AEL03_Z.typed
|
* | MAYBE
|
3.14 | * | MAYBE
|
6.36 | * | MAYBE
|
6.31 | * | MAYBE
|
12.50 | * | MAYBE
|
7.43 |
Transformed_CSR_04/Ex1_2_Luc02c_C.typed
|
* | MAYBE
|
24.46 | * | MAYBE
|
59.24 | * | MAYBE
|
59.18 | * | MAYBE
|
35.61 | * | MAYBE
|
33.11 |
Transformed_CSR_04/Ex1_2_Luc02c_FR.typed
|
* | MAYBE
|
2.76 | * | MAYBE
|
4.16 | * | MAYBE
|
4.29 | * | MAYBE
|
4.04 | * | MAYBE
|
32.06 |
Transformed_CSR_04/Ex1_2_Luc02c_GM.typed
|
* | MAYBE
|
2.74 | * | MAYBE
|
2.24 | * | MAYBE
|
2.73 | * | MAYBE
|
10.08 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_2_Luc02c_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.18 |
Transformed_CSR_04/Ex1_GL02a_C.typed
|
* | MAYBE
|
3.30 | * | MAYBE
|
59.20 | * | MAYBE
|
59.15 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_GL02a_FR.typed
|
* | MAYBE
|
3.25 | * | MAYBE
|
2.40 | * | MAYBE
|
3.23 | * | MAYBE
|
23.57 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_GL02a_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
2.59 | * | WORST_CASE(?,O(n^1))
|
0.38 |
Transformed_CSR_04/Ex1_GL02a_L.typed
|
* | MAYBE
|
2.19 | * | MAYBE
|
2.16 | * | MAYBE
|
2.28 | * | MAYBE
|
0.63 | * | MAYBE
|
0.16 |
Transformed_CSR_04/Ex1_GL02a_Z.typed
|
* | MAYBE
|
59.07 | * | MAYBE
|
2.22 | * | MAYBE
|
59.09 | * | MAYBE
|
8.48 | * | MAYBE
|
24.65 |
Transformed_CSR_04/Ex1_GM03_C.typed
|
* | MAYBE
|
2.93 | * | MAYBE
|
59.14 | * | MAYBE
|
59.21 | * | MAYBE
|
48.34 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_GM03_FR.typed
|
* | MAYBE
|
4.89 | * | MAYBE
|
2.42 | * | MAYBE
|
5.06 | * | MAYBE
|
6.97 | * | MAYBE
|
25.58 |
Transformed_CSR_04/Ex1_GM03_GM.typed
|
* | MAYBE
|
2.78 | * | MAYBE
|
59.07 | * | MAYBE
|
59.11 | * | MAYBE
|
47.30 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_GM03_Z.typed
|
* | MAYBE
|
2.66 | * | MAYBE
|
10.24 | * | MAYBE
|
10.26 | * | MAYBE
|
2.84 | * | MAYBE
|
1.28 |
Transformed_CSR_04/Ex1_GM99_C.typed
|
* | MAYBE
|
59.12 | * | MAYBE
|
3.34 | * | MAYBE
|
59.08 | * | MAYBE
|
7.16 | * | MAYBE
|
8.89 |
Transformed_CSR_04/Ex1_GM99_GM.typed
|
* | MAYBE
|
8.67 | * | MAYBE
|
2.21 | * | MAYBE
|
8.49 | * | MAYBE
|
5.90 | * | MAYBE
|
2.29 |
Transformed_CSR_04/Ex1_GM99_L.typed
|
* | MAYBE
|
2.08 | * | MAYBE
|
2.06 | * | MAYBE
|
2.09 | * | MAYBE
|
0.18 | * | MAYBE
|
0.11 |
Transformed_CSR_04/Ex1_Luc02b_C.typed
|
* | MAYBE
|
3.71 | * | MAYBE
|
59.14 | * | MAYBE
|
59.37 | * | MAYBE
|
59.15 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc02b_FR.typed
|
* | MAYBE
|
3.00 | * | MAYBE
|
2.26 | * | MAYBE
|
3.05 | * | MAYBE
|
9.90 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc02b_GM.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
2.34 | * | MAYBE
|
2.82 | * | MAYBE
|
19.32 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc02b_Z.typed
|
* | MAYBE
|
22.58 | * | MAYBE
|
2.35 | * | MAYBE
|
22.63 | * | WORST_CASE(?,O(n^1))
|
0.74 | * | WORST_CASE(?,O(n^1))
|
0.37 |
Transformed_CSR_04/Ex1_Luc04b_C.typed
|
* | MAYBE
|
39.59 | * | MAYBE
|
59.22 | * | MAYBE
|
59.13 | * | MAYBE
|
57.42 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc04b_FR.typed
|
* | MAYBE
|
7.86 | * | MAYBE
|
2.33 | * | MAYBE
|
7.48 | * | MAYBE
|
7.55 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc04b_GM.typed
|
* | MAYBE
|
52.99 | * | MAYBE
|
2.36 | * | MAYBE
|
52.26 | * | MAYBE
|
12.51 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc04b_Z.typed
|
* | MAYBE
|
2.70 | * | MAYBE
|
2.21 | * | MAYBE
|
2.69 | * | MAYBE
|
5.43 | * | MAYBE
|
1.57 |
Transformed_CSR_04/Ex1_Zan97_C.typed
|
* | WORST_CASE(?,O(n^3))
|
47.86 | * | MAYBE
|
2.23 | * | WORST_CASE(?,O(n^3))
|
49.49 | * | MAYBE
|
6.75 | * | MAYBE
|
3.70 |
Transformed_CSR_04/Ex1_Zan97_FR.typed
|
* | MAYBE
|
59.12 | * | MAYBE
|
2.28 | * | MAYBE
|
59.09 | * | MAYBE
|
1.49 | * | MAYBE
|
0.71 |
Transformed_CSR_04/Ex1_Zan97_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | MAYBE
|
1.18 | * | MAYBE
|
0.54 |
Transformed_CSR_04/Ex1_Zan97_L.typed
|
* | MAYBE
|
2.13 | * | MAYBE
|
2.04 | * | MAYBE
|
2.09 | * | MAYBE
|
0.15 | * | MAYBE
|
0.17 |
Transformed_CSR_04/Ex23_Luc06_C.typed
|
* | MAYBE
|
59.07 | * | MAYBE
|
2.31 | * | MAYBE
|
59.10 | * | MAYBE
|
11.13 | * | MAYBE
|
13.31 |
Transformed_CSR_04/Ex23_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
0.12 |
Transformed_CSR_04/Ex23_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
0.30 |
Transformed_CSR_04/Ex23_Luc06_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.09 |
Transformed_CSR_04/Ex24_GM04_C.typed
|
* | MAYBE
|
59.10 | * | MAYBE
|
8.22 | * | MAYBE
|
59.10 | * | MAYBE
|
0.03 | * | MAYBE
|
0.05 |
Transformed_CSR_04/Ex24_GM04_FR.typed
|
* | MAYBE
|
2.31 | * | MAYBE
|
2.15 | * | MAYBE
|
2.34 | * | MAYBE
|
59.28 | * | MAYBE
|
59.14 |
Transformed_CSR_04/Ex24_GM04_GM.typed
|
* | MAYBE
|
2.40 | * | MAYBE
|
2.44 | * | MAYBE
|
2.46 | * | MAYBE
|
59.16 | * | MAYBE
|
59.15 |
Transformed_CSR_04/Ex24_GM04_L.typed
|
* | MAYBE
|
2.17 | * | MAYBE
|
2.05 | * | MAYBE
|
2.13 | * | MAYBE
|
0.24 | * | MAYBE
|
0.06 |
Transformed_CSR_04/Ex24_GM04_Z.typed
|
* | MAYBE
|
2.31 | * | MAYBE
|
2.16 | * | MAYBE
|
2.32 | * | MAYBE
|
59.15 | * | MAYBE
|
59.11 |
Transformed_CSR_04/Ex24_Luc06_C.typed
|
* | MAYBE
|
59.11 | * | MAYBE
|
3.35 | * | MAYBE
|
59.08 | * | MAYBE
|
6.60 | * | MAYBE
|
8.57 |
Transformed_CSR_04/Ex24_Luc06_GM.typed
|
* | MAYBE
|
8.66 | * | MAYBE
|
2.70 | * | MAYBE
|
8.42 | * | MAYBE
|
2.31 | * | MAYBE
|
1.37 |
Transformed_CSR_04/Ex24_Luc06_L.typed
|
* | MAYBE
|
2.15 | * | MAYBE
|
2.08 | * | MAYBE
|
2.10 | * | MAYBE
|
0.15 | * | MAYBE
|
0.10 |
Transformed_CSR_04/Ex25_Luc06_C.typed
|
* | WORST_CASE(?,O(n^2))
|
7.00 | * | MAYBE
|
59.13 | * | WORST_CASE(?,O(n^2))
|
9.42 | * | MAYBE
|
19.06 | * | MAYBE
|
19.93 |
Transformed_CSR_04/Ex25_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
1.79 | * | WORST_CASE(?,O(n^1))
|
0.95 |
Transformed_CSR_04/Ex25_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.91 | * | WORST_CASE(?,O(n^1))
|
0.23 |
Transformed_CSR_04/Ex25_Luc06_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
0.21 |
Transformed_CSR_04/Ex26_Luc03b_C.typed
|
* | MAYBE
|
3.17 | * | MAYBE
|
59.18 | * | MAYBE
|
59.16 | * | MAYBE
|
59.29 | * | MAYBE
|
59.34 |
Transformed_CSR_04/Ex26_Luc03b_FR.typed
|
* | MAYBE
|
3.66 | * | MAYBE
|
2.37 | * | MAYBE
|
3.69 | * | MAYBE
|
38.84 | * | MAYBE
|
51.00 |
Transformed_CSR_04/Ex26_Luc03b_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
2.55 | * | MAYBE
|
2.35 | * | WORST_CASE(?,O(n^2))
|
2.04 | * | MAYBE
|
27.34 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex26_Luc03b_L.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.10 |
Transformed_CSR_04/Ex26_Luc03b_Z.typed
|
* | MAYBE
|
5.19 | * | MAYBE
|
4.00 | * | MAYBE
|
7.63 | * | MAYBE
|
29.80 | * | MAYBE
|
43.17 |
Transformed_CSR_04/Ex2_Luc02a_C.typed
|
* | MAYBE
|
4.61 | * | MAYBE
|
59.21 | * | MAYBE
|
59.15 | * | MAYBE
|
59.42 | * | MAYBE
|
59.26 |
Transformed_CSR_04/Ex2_Luc02a_FR.typed
|
* | MAYBE
|
3.46 | * | MAYBE
|
6.34 | * | MAYBE
|
5.86 | * | MAYBE
|
6.13 | * | MAYBE
|
9.31 |
Transformed_CSR_04/Ex2_Luc02a_GM.typed
|
* | MAYBE
|
3.24 | * | MAYBE
|
6.31 | * | MAYBE
|
6.37 | * | MAYBE
|
40.84 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex2_Luc02a_L.typed
|
* | MAYBE
|
3.14 | * | MAYBE
|
2.35 | * | MAYBE
|
3.56 | * | WORST_CASE(?,O(n^3))
|
6.21 | * | WORST_CASE(?,O(n^3))
|
1.50 |
Transformed_CSR_04/Ex2_Luc02a_Z.typed
|
* | MAYBE
|
2.79 | * | MAYBE
|
2.41 | * | MAYBE
|
2.98 | * | WORST_CASE(?,O(n^3))
|
9.23 | * | WORST_CASE(?,O(n^3))
|
15.88 |
Transformed_CSR_04/Ex2_Luc03b_C.typed
|
* | MAYBE
|
2.87 | * | MAYBE
|
59.16 | * | MAYBE
|
59.28 | * | MAYBE
|
59.20 | * | MAYBE
|
59.13 |
Transformed_CSR_04/Ex2_Luc03b_FR.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
2.31 | * | MAYBE
|
2.86 | * | MAYBE
|
12.70 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex2_Luc03b_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
2.16 | * | MAYBE
|
2.33 | * | WORST_CASE(?,O(n^2))
|
2.23 | * | MAYBE
|
15.03 | * | WORST_CASE(?,O(n^2))
|
9.61 |
Transformed_CSR_04/Ex2_Luc03b_L.typed
|
* | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.22 |
Transformed_CSR_04/Ex2_Luc03b_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
4.15 | * | WORST_CASE(?,O(n^1))
|
1.10 |
Transformed_CSR_04/Ex3_12_Luc96a_C.typed
|
* | MAYBE
|
2.72 | * | MAYBE
|
59.17 | * | MAYBE
|
59.13 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_12_Luc96a_FR.typed
|
* | MAYBE
|
2.72 | * | MAYBE
|
2.31 | * | MAYBE
|
2.73 | * | MAYBE
|
4.94 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_12_Luc96a_GM.typed
|
* | MAYBE
|
3.28 | * | MAYBE
|
2.30 | * | MAYBE
|
3.46 | * | MAYBE
|
23.88 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_12_Luc96a_Z.typed
|
* | MAYBE
|
59.07 | * | MAYBE
|
2.22 | * | MAYBE
|
59.10 | * | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
0.16 |
Transformed_CSR_04/Ex3_2_Luc97_C.typed
|
* | MAYBE
|
2.98 | * | MAYBE
|
59.13 | * | MAYBE
|
59.11 | * | MAYBE
|
55.58 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_2_Luc97_FR.typed
|
* | MAYBE
|
3.47 | * | MAYBE
|
2.37 | * | MAYBE
|
3.63 | * | MAYBE
|
51.30 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_2_Luc97_GM.typed
|
* | MAYBE
|
3.79 | * | MAYBE
|
2.47 | * | MAYBE
|
3.85 | * | MAYBE
|
30.39 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_2_Luc97_Z.typed
|
* | MAYBE
|
3.80 | * | MAYBE
|
2.43 | * | MAYBE
|
3.71 | * | MAYBE
|
48.56 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_C.typed
|
* | MAYBE
|
4.01 | * | MAYBE
|
59.24 | * | MAYBE
|
59.36 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_FR.typed
|
* | MAYBE
|
2.97 | * | MAYBE
|
2.31 | * | MAYBE
|
2.99 | * | MAYBE
|
17.14 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
2.29 | * | MAYBE
|
2.48 | * | WORST_CASE(?,O(n^2))
|
2.39 | * | MAYBE
|
34.18 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_L.typed
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.19 |
Transformed_CSR_04/Ex3_3_25_Bor03_Z.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
2.32 | * | MAYBE
|
2.82 | * | MAYBE
|
7.10 | * | MAYBE
|
17.88 |
Transformed_CSR_04/Ex49_GM04_C.typed
|
* | MAYBE
|
2.87 | * | MAYBE
|
59.21 | * | MAYBE
|
59.17 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex49_GM04_FR.typed
|
* | MAYBE
|
3.16 | * | MAYBE
|
17.17 | * | MAYBE
|
17.00 | * | MAYBE
|
24.75 | * | MAYBE
|
46.49 |
Transformed_CSR_04/Ex49_GM04_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
3.38 | * | MAYBE
|
2.77 | * | WORST_CASE(?,O(n^2))
|
3.68 | * | MAYBE
|
16.61 | * | WORST_CASE(?,O(n^2))
|
12.34 |
Transformed_CSR_04/Ex49_GM04_Z.typed
|
* | MAYBE
|
2.39 | * | MAYBE
|
59.07 | * | MAYBE
|
59.11 | * | MAYBE
|
5.37 | * | MAYBE
|
5.82 |
Transformed_CSR_04/Ex4_4_Luc96b_C.typed
|
* | MAYBE
|
18.49 | * | MAYBE
|
11.41 | * | MAYBE
|
19.27 | * | MAYBE
|
10.73 | * | MAYBE
|
13.35 |
Transformed_CSR_04/Ex4_4_Luc96b_FR.typed
|
* | MAYBE
|
3.03 | * | MAYBE
|
2.20 | * | MAYBE
|
3.29 | * | MAYBE
|
8.03 | * | MAYBE
|
5.42 |
Transformed_CSR_04/Ex4_4_Luc96b_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
1.22 | * | MAYBE
|
2.31 | * | WORST_CASE(?,O(n^2))
|
1.22 | * | WORST_CASE(?,O(n^2))
|
3.25 | * | WORST_CASE(?,O(n^2))
|
1.14 |
Transformed_CSR_04/Ex4_4_Luc96b_L.typed
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.18 |
Transformed_CSR_04/Ex4_4_Luc96b_Z.typed
|
* | MAYBE
|
2.53 | * | MAYBE
|
2.24 | * | MAYBE
|
2.55 | * | MAYBE
|
2.92 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_15_Bor03_C.typed
|
* | MAYBE
|
20.17 | * | MAYBE
|
2.57 | * | MAYBE
|
15.74 | * | MAYBE
|
31.15 | * | MAYBE
|
40.54 |
Transformed_CSR_04/Ex4_7_15_Bor03_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | MAYBE
|
8.02 | * | MAYBE
|
2.81 |
Transformed_CSR_04/Ex4_7_15_Bor03_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.39 | * | MAYBE
|
2.37 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^2))
|
10.46 | * | WORST_CASE(?,O(n^2))
|
1.54 |
Transformed_CSR_04/Ex4_7_15_Bor03_L.typed
|
* | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.09 |
Transformed_CSR_04/Ex4_7_15_Bor03_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.73 | * | WORST_CASE(?,O(n^1))
|
0.53 |
Transformed_CSR_04/Ex4_7_37_Bor03_C.typed
|
* | MAYBE
|
3.11 | * | MAYBE
|
59.13 | * | MAYBE
|
59.39 | * | MAYBE
|
59.36 | * | MAYBE
|
59.33 |
Transformed_CSR_04/Ex4_7_37_Bor03_FR.typed
|
* | MAYBE
|
3.08 | * | MAYBE
|
59.13 | * | MAYBE
|
59.11 | * | MAYBE
|
15.54 | * | MAYBE
|
20.49 |
Transformed_CSR_04/Ex4_7_37_Bor03_GM.typed
|
* | MAYBE
|
2.58 | * | MAYBE
|
59.11 | * | MAYBE
|
59.14 | * | MAYBE
|
41.73 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_37_Bor03_Z.typed
|
* | MAYBE
|
2.88 | * | MAYBE
|
2.38 | * | MAYBE
|
2.91 | * | MAYBE
|
7.19 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_C.typed
|
* | MAYBE
|
21.48 | * | MAYBE
|
59.13 | * | MAYBE
|
59.14 | * | MAYBE
|
49.38 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_FR.typed
|
* | MAYBE
|
3.08 | * | MAYBE
|
2.31 | * | MAYBE
|
3.16 | * | MAYBE
|
4.11 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_GM.typed
|
* | MAYBE
|
2.95 | * | MAYBE
|
2.21 | * | MAYBE
|
2.91 | * | MAYBE
|
9.35 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.79 | * | WORST_CASE(?,O(n^1))
|
0.45 |
Transformed_CSR_04/Ex4_7_77_Bor03_C.typed
|
* | MAYBE
|
59.11 | * | MAYBE
|
59.14 | * | MAYBE
|
59.20 | * | MAYBE
|
20.87 | * | MAYBE
|
16.33 |
Transformed_CSR_04/Ex4_7_77_Bor03_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.21 |
Transformed_CSR_04/Ex4_7_77_Bor03_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
1.33 | * | MAYBE
|
2.27 | * | WORST_CASE(?,O(n^1))
|
1.26 | * | WORST_CASE(?,O(n^2))
|
3.07 | * | WORST_CASE(?,O(n^2))
|
0.76 |
Transformed_CSR_04/Ex4_DLMMU04_C.typed
|
* | MAYBE
|
5.07 | * | MAYBE
|
59.37 | * | MAYBE
|
59.46 | * | MAYBE
|
59.43 | * | MAYBE
|
59.38 |
Transformed_CSR_04/Ex4_DLMMU04_FR.typed
|
* | MAYBE
|
2.73 | * | MAYBE
|
59.10 | * | MAYBE
|
59.20 | * | MAYBE
|
59.30 | * | MAYBE
|
59.38 |
Transformed_CSR_04/Ex4_DLMMU04_GM.typed
|
* | MAYBE
|
3.70 | * | MAYBE
|
59.19 | * | MAYBE
|
59.21 | * | MAYBE
|
59.25 | * | MAYBE
|
59.25 |
Transformed_CSR_04/Ex4_DLMMU04_Z.typed
|
* | MAYBE
|
3.15 | * | MAYBE
|
59.27 | * | MAYBE
|
59.26 | * | MAYBE
|
59.25 | * | MAYBE
|
59.52 |
Transformed_CSR_04/Ex4_Zan97_C.typed
|
* | MAYBE
|
4.10 | * | MAYBE
|
59.12 | * | MAYBE
|
59.12 | * | MAYBE
|
41.92 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_Zan97_FR.typed
|
* | MAYBE
|
2.81 | * | MAYBE
|
2.26 | * | MAYBE
|
2.81 | * | MAYBE
|
9.52 | * | MAYBE
|
13.86 |
Transformed_CSR_04/Ex4_Zan97_GM.typed
|
* | MAYBE
|
2.93 | * | MAYBE
|
2.40 | * | MAYBE
|
2.99 | * | MAYBE
|
31.23 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_Zan97_Z.typed
|
* | MAYBE
|
4.52 | * | MAYBE
|
2.23 | * | MAYBE
|
4.84 | * | MAYBE
|
4.34 | * | MAYBE
|
24.46 |
Transformed_CSR_04/Ex5_7_Luc97_C.typed
|
* | MAYBE
|
4.21 | * | MAYBE
|
59.20 | * | MAYBE
|
59.15 | * | MAYBE
|
59.21 | * | MAYBE
|
59.15 |
Transformed_CSR_04/Ex5_7_Luc97_FR.typed
|
* | MAYBE
|
3.32 | * | MAYBE
|
2.96 | * | MAYBE
|
3.41 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex5_7_Luc97_GM.typed
|
* | MAYBE
|
2.50 | * | MAYBE
|
2.42 | * | MAYBE
|
2.75 | * | MAYBE
|
46.23 | * | MAYBE
|
59.17 |
Transformed_CSR_04/Ex5_7_Luc97_Z.typed
|
* | MAYBE
|
2.52 | * | MAYBE
|
2.49 | * | MAYBE
|
2.69 | * | MAYBE
|
58.26 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex5_DLMMU04_C.typed
|
* | MAYBE
|
4.18 | * | MAYBE
|
59.13 | * | MAYBE
|
59.36 | * | MAYBE
|
59.35 | * | MAYBE
|
59.27 |
Transformed_CSR_04/Ex5_DLMMU04_FR.typed
|
* | MAYBE
|
3.62 | * | MAYBE
|
3.16 | * | MAYBE
|
3.98 | * | MAYBE
|
32.86 | * | MAYBE
|
55.96 |
Transformed_CSR_04/Ex5_DLMMU04_GM.typed
|
* | MAYBE
|
4.61 | * | MAYBE
|
2.65 | * | MAYBE
|
4.72 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex5_DLMMU04_Z.typed
|
* | MAYBE
|
3.55 | * | MAYBE
|
3.04 | * | MAYBE
|
3.69 | * | MAYBE
|
14.73 | * | MAYBE
|
22.66 |
Transformed_CSR_04/Ex5_Zan97_C.typed
|
* | MAYBE
|
27.74 | * | MAYBE
|
4.06 | * | MAYBE
|
26.28 | * | MAYBE
|
19.28 | * | MAYBE
|
27.20 |
Transformed_CSR_04/Ex5_Zan97_FR.typed
|
* | MAYBE
|
2.40 | * | MAYBE
|
2.28 | * | MAYBE
|
2.45 | * | MAYBE
|
2.60 | * | MAYBE
|
7.18 |
Transformed_CSR_04/Ex5_Zan97_GM.typed
|
* | MAYBE
|
3.16 | * | MAYBE
|
2.20 | * | MAYBE
|
3.14 | * | MAYBE
|
4.84 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex5_Zan97_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | MAYBE
|
2.23 | * | MAYBE
|
12.24 |
Transformed_CSR_04/Ex6_15_AEL02_C.typed
|
* | MAYBE
|
3.76 | * | MAYBE
|
59.16 | * | MAYBE
|
59.33 | * | MAYBE
|
59.30 | * | MAYBE
|
59.48 |
Transformed_CSR_04/Ex6_15_AEL02_FR.typed
|
* | MAYBE
|
3.57 | * | MAYBE
|
3.23 | * | MAYBE
|
4.94 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_15_AEL02_GM.typed
|
* | MAYBE
|
3.40 | * | MAYBE
|
6.43 | * | MAYBE
|
7.28 | * | MAYBE
|
59.65 | * | MAYBE
|
59.36 |
Transformed_CSR_04/Ex6_15_AEL02_Z.typed
|
* | MAYBE
|
6.49 | * | MAYBE
|
4.84 | * | MAYBE
|
7.62 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_9_Luc02c_C.typed
|
* | MAYBE
|
4.46 | * | MAYBE
|
59.19 | * | MAYBE
|
59.13 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_9_Luc02c_FR.typed
|
* | MAYBE
|
2.75 | * | MAYBE
|
2.37 | * | MAYBE
|
2.93 | * | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
0.22 |
Transformed_CSR_04/Ex6_9_Luc02c_GM.typed
|
* | MAYBE
|
3.71 | * | MAYBE
|
2.52 | * | MAYBE
|
3.75 | * | MAYBE
|
21.77 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_9_Luc02c_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.21 | * | MAYBE
|
2.23 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.13 |
Transformed_CSR_04/Ex6_GM04_C.typed
|
* | MAYBE
|
59.09 | * | MAYBE
|
3.37 | * | MAYBE
|
59.14 | * | MAYBE
|
4.84 | * | MAYBE
|
3.38 |
Transformed_CSR_04/Ex6_GM04_FR.typed
|
* | MAYBE
|
7.47 | * | MAYBE
|
2.28 | * | MAYBE
|
7.07 | * | MAYBE
|
3.76 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_GM04_GM.typed
|
* | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
0.22 |
Transformed_CSR_04/Ex6_Luc98_C.typed
|
* | MAYBE
|
3.94 | * | MAYBE
|
59.17 | * | MAYBE
|
59.21 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_Luc98_FR.typed
|
* | MAYBE
|
3.18 | * | MAYBE
|
2.22 | * | MAYBE
|
3.08 | * | MAYBE
|
7.61 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_Luc98_GM.typed
|
* | WORST_CASE(?,O(n^2))
|
1.39 | * | MAYBE
|
2.18 | * | WORST_CASE(?,O(n^2))
|
1.46 | * | MAYBE
|
6.71 | * | WORST_CASE(?,O(n^2))
|
4.66 |
Transformed_CSR_04/Ex6_Luc98_L.typed
|
* | WORST_CASE(?,O(1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.14 |
Transformed_CSR_04/Ex6_Luc98_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
1.10 | * | WORST_CASE(?,O(n^1))
|
0.39 |
Transformed_CSR_04/Ex7_BLR02_C.typed
|
* | MAYBE
|
3.75 | * | MAYBE
|
59.31 | * | MAYBE
|
59.19 | * | MAYBE
|
59.19 | * | MAYBE
|
59.36 |
Transformed_CSR_04/Ex7_BLR02_FR.typed
|
* | MAYBE
|
3.85 | * | MAYBE
|
2.26 | * | MAYBE
|
3.87 | * | MAYBE
|
14.21 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex7_BLR02_GM.typed
|
* | MAYBE
|
3.32 | * | MAYBE
|
2.50 | * | MAYBE
|
3.44 | * | MAYBE
|
58.12 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex7_BLR02_Z.typed
|
* | MAYBE
|
5.29 | * | MAYBE
|
2.33 | * | MAYBE
|
5.44 | * | WORST_CASE(?,O(n^1))
|
0.84 | * | WORST_CASE(?,O(n^1))
|
0.22 |
Transformed_CSR_04/Ex8_BLR02_C.typed
|
* | MAYBE
|
3.15 | * | MAYBE
|
59.19 | * | MAYBE
|
59.08 | * | MAYBE
|
59.28 | * | MAYBE
|
59.14 |
Transformed_CSR_04/Ex8_BLR02_FR.typed
|
* | MAYBE
|
3.20 | * | MAYBE
|
2.24 | * | MAYBE
|
3.27 | * | MAYBE
|
6.66 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex8_BLR02_GM.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
2.34 | * | MAYBE
|
2.78 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex8_BLR02_Z.typed
|
* | MAYBE
|
3.81 | * | MAYBE
|
2.35 | * | MAYBE
|
3.89 | * | MAYBE
|
5.76 | * | MAYBE
|
49.04 |
Transformed_CSR_04/Ex9_BLR02_C.typed
|
* | MAYBE
|
3.43 | * | MAYBE
|
59.15 | * | MAYBE
|
59.22 | * | MAYBE
|
59.29 | * | MAYBE
|
59.19 |
Transformed_CSR_04/Ex9_BLR02_FR.typed
|
* | MAYBE
|
2.93 | * | MAYBE
|
2.36 | * | MAYBE
|
2.91 | * | MAYBE
|
14.69 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex9_BLR02_GM.typed
|
* | MAYBE
|
3.65 | * | MAYBE
|
2.55 | * | MAYBE
|
3.84 | * | MAYBE
|
40.03 | * | MAYBE
|
57.09 |
Transformed_CSR_04/Ex9_BLR02_L.typed
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.18 |
Transformed_CSR_04/Ex9_BLR02_Z.typed
|
* | MAYBE
|
3.08 | * | MAYBE
|
2.40 | * | MAYBE
|
3.13 | * | MAYBE
|
11.28 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex9_Luc04_C.typed
|
* | MAYBE
|
9.77 | * | MAYBE
|
3.59 | * | MAYBE
|
9.79 | * | MAYBE
|
11.08 | * | MAYBE
|
14.59 |
Transformed_CSR_04/Ex9_Luc04_GM.typed
|
* | MAYBE
|
2.56 | * | MAYBE
|
2.19 | * | MAYBE
|
2.61 | * | MAYBE
|
5.00 | * | MAYBE
|
2.75 |
Transformed_CSR_04/Ex9_Luc04_L.typed
|
* | MAYBE
|
2.14 | * | MAYBE
|
2.12 | * | MAYBE
|
2.13 | * | MAYBE
|
0.33 | * | MAYBE
|
0.07 |
Transformed_CSR_04/Ex9_Luc06_C.typed
|
* | MAYBE
|
59.11 | * | MAYBE
|
3.32 | * | MAYBE
|
59.10 | * | MAYBE
|
6.42 | * | MAYBE
|
8.36 |
Transformed_CSR_04/Ex9_Luc06_FR.typed
|
* | MAYBE
|
59.08 | * | MAYBE
|
2.28 | * | MAYBE
|
59.10 | * | MAYBE
|
0.90 | * | MAYBE
|
0.35 |
Transformed_CSR_04/Ex9_Luc06_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | MAYBE
|
1.97 | * | MAYBE
|
0.81 |
Transformed_CSR_04/ExAppendixB_AEL03_C.typed
|
* | MAYBE
|
3.50 | * | MAYBE
|
59.17 | * | MAYBE
|
59.30 | * | MAYBE
|
59.42 | * | MAYBE
|
59.37 |
Transformed_CSR_04/ExAppendixB_AEL03_FR.typed
|
* | MAYBE
|
3.40 | * | MAYBE
|
2.95 | * | MAYBE
|
3.35 | * | MAYBE
|
11.66 | * | MAYBE
|
15.85 |
Transformed_CSR_04/ExAppendixB_AEL03_GM.typed
|
* | MAYBE
|
3.70 | * | MAYBE
|
59.18 | * | MAYBE
|
59.22 | * | MAYBE
|
59.22 | * | MAYBE
|
59.50 |
Transformed_CSR_04/ExAppendixB_AEL03_Z.typed
|
* | MAYBE
|
3.78 | * | MAYBE
|
2.42 | * | MAYBE
|
3.91 | * | MAYBE
|
7.82 | * | MAYBE
|
20.94 |
Transformed_CSR_04/ExConc_Zan97_C.typed
|
* | WORST_CASE(?,O(n^2))
|
2.99 | * | MAYBE
|
3.00 | * | WORST_CASE(?,O(n^2))
|
3.38 | * | MAYBE
|
8.79 | * | MAYBE
|
10.34 |
Transformed_CSR_04/ExConc_Zan97_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
0.24 |
Transformed_CSR_04/ExConc_Zan97_GM.typed
|
* | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.73 | * | WORST_CASE(?,O(n^1))
|
0.53 |
Transformed_CSR_04/ExConc_Zan97_Z.typed
|
* | MAYBE
|
2.27 | * | MAYBE
|
2.12 | * | MAYBE
|
2.26 | * | MAYBE
|
0.72 | * | MAYBE
|
0.20 |
Transformed_CSR_04/ExIntrod_GM01_C.typed
|
* | MAYBE
|
18.74 | * | MAYBE
|
59.16 | * | MAYBE
|
59.14 | * | MAYBE
|
48.85 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM01_FR.typed
|
* | MAYBE
|
9.29 | * | MAYBE
|
2.20 | * | MAYBE
|
9.65 | * | MAYBE
|
5.18 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM01_GM.typed
|
* | MAYBE
|
6.04 | * | MAYBE
|
2.29 | * | MAYBE
|
6.17 | * | MAYBE
|
31.51 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM01_Z.typed
|
* | MAYBE
|
18.94 | * | MAYBE
|
2.36 | * | MAYBE
|
15.16 | * | MAYBE
|
17.22 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM04_C.typed
|
* | MAYBE
|
34.09 | * | MAYBE
|
59.11 | * | MAYBE
|
59.18 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM04_FR.typed
|
* | MAYBE
|
3.88 | * | MAYBE
|
2.25 | * | MAYBE
|
3.88 | * | MAYBE
|
9.09 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM04_GM.typed
|
* | WORST_CASE(?,O(n^3))
|
14.48 | * | MAYBE
|
2.18 | * | WORST_CASE(?,O(n^3))
|
14.54 | * | MAYBE
|
11.31 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM04_Z.typed
|
* | MAYBE
|
4.01 | * | MAYBE
|
2.36 | * | MAYBE
|
4.35 | * | MAYBE
|
15.44 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM99_C.typed
|
* | MAYBE
|
3.88 | * | MAYBE
|
59.20 | * | MAYBE
|
59.31 | * | MAYBE
|
59.27 | * | MAYBE
|
59.30 |
Transformed_CSR_04/ExIntrod_GM99_FR.typed
|
* | MAYBE
|
3.22 | * | MAYBE
|
15.60 | * | MAYBE
|
15.32 | * | MAYBE
|
27.31 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM99_GM.typed
|
* | MAYBE
|
2.90 | * | MAYBE
|
2.78 | * | MAYBE
|
2.85 | * | MAYBE
|
53.67 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM99_Z.typed
|
* | MAYBE
|
2.93 | * | MAYBE
|
6.93 | * | MAYBE
|
4.20 | * | MAYBE
|
11.35 | * | MAYBE
|
18.70 |
Transformed_CSR_04/ExIntrod_Zan97_C.typed
|
* | MAYBE
|
2.95 | * | MAYBE
|
59.20 | * | MAYBE
|
59.17 | * | MAYBE
|
59.24 | * | MAYBE
|
59.31 |
Transformed_CSR_04/ExIntrod_Zan97_FR.typed
|
* | MAYBE
|
2.69 | * | MAYBE
|
2.52 | * | MAYBE
|
2.83 | * | MAYBE
|
9.75 | * | MAYBE
|
11.70 |
Transformed_CSR_04/ExIntrod_Zan97_GM.typed
|
* | MAYBE
|
2.82 | * | MAYBE
|
59.06 | * | MAYBE
|
59.05 | * | MAYBE
|
54.17 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_Zan97_Z.typed
|
* | MAYBE
|
3.69 | * | MAYBE
|
4.50 | * | MAYBE
|
6.50 | * | MAYBE
|
7.81 | * | MAYBE
|
4.34 |
Transformed_CSR_04/ExProp7_Luc06_C.typed
|
* | MAYBE
|
22.58 | * | MAYBE
|
5.53 | * | MAYBE
|
22.13 | * | MAYBE
|
27.93 | * | MAYBE
|
39.30 |
Transformed_CSR_04/ExProp7_Luc06_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | MAYBE
|
2.25 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | MAYBE
|
5.13 | * | MAYBE
|
2.03 |
Transformed_CSR_04/ExProp7_Luc06_GM.typed
|
* | MAYBE
|
59.11 | * | MAYBE
|
2.25 | * | MAYBE
|
59.07 | * | MAYBE
|
7.48 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExProp7_Luc06_L.typed
|
* | WORST_CASE(?,O(n^1))
|
0.16 | * | MAYBE
|
2.12 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^2))
|
0.92 | * | WORST_CASE(?,O(n^2))
|
1.05 |
Transformed_CSR_04/ExProp7_Luc06_Z.typed
|
* | WORST_CASE(?,O(n^1))
|
0.31 | * | MAYBE
|
2.20 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^2))
|
1.55 | * | WORST_CASE(?,O(n^2))
|
1.02 |
Transformed_CSR_04/ExSec11_1_Luc02a_C.typed
|
* | MAYBE
|
3.70 | * | MAYBE
|
59.13 | * | MAYBE
|
59.25 | * | MAYBE
|
59.30 | * | MAYBE
|
59.35 |
Transformed_CSR_04/ExSec11_1_Luc02a_FR.typed
|
* | MAYBE
|
2.78 | * | MAYBE
|
6.84 | * | MAYBE
|
6.87 | * | MAYBE
|
7.88 | * | MAYBE
|
12.26 |
Transformed_CSR_04/ExSec11_1_Luc02a_GM.typed
|
* | MAYBE
|
3.02 | * | MAYBE
|
11.66 | * | MAYBE
|
12.61 | * | MAYBE
|
59.19 | * | MAYBE
|
59.19 |
Transformed_CSR_04/ExSec11_1_Luc02a_L.typed
|
* | MAYBE
|
3.79 | * | MAYBE
|
2.33 | * | MAYBE
|
3.86 | * | WORST_CASE(?,O(n^3))
|
9.07 | * | WORST_CASE(?,O(n^3))
|
7.31 |
Transformed_CSR_04/ExSec11_1_Luc02a_Z.typed
|
* | MAYBE
|
3.15 | * | MAYBE
|
2.22 | * | MAYBE
|
3.43 | * | WORST_CASE(?,O(n^3))
|
14.06 | * | WORST_CASE(?,O(n^3))
|
23.51 |
Transformed_CSR_04/ExSec4_2_DLMMU04_C.typed
|
* | MAYBE
|
3.61 | * | MAYBE
|
59.21 | * | MAYBE
|
59.17 | * | MAYBE
|
59.21 | * | MAYBE
|
59.41 |
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.typed
|
* | MAYBE
|
3.13 | * | MAYBE
|
8.08 | * | MAYBE
|
8.00 | * | MAYBE
|
6.02 | * | MAYBE
|
3.53 |
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.typed
|
* | MAYBE
|
3.58 | * | MAYBE
|
59.22 | * | MAYBE
|
59.21 | * | MAYBE
|
59.32 | * | MAYBE
|
59.27 |
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.typed
|
* | MAYBE
|
7.72 | * | MAYBE
|
8.04 | * | MAYBE
|
9.21 | * | WORST_CASE(?,O(n^1))
|
1.18 | * | WORST_CASE(?,O(n^1))
|
0.19 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.typed
|
* | MAYBE
|
6.89 | * | MAYBE
|
59.52 | * | MAYBE
|
59.54 | * | MAYBE
|
59.53 | * | MAYBE
|
59.51 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.typed
|
* | MAYBE
|
6.43 | * | MAYBE
|
59.13 | * | MAYBE
|
59.82 | * | MAYBE
|
59.67 | * | MAYBE
|
59.70 |
Transformed_CSR_04/LISTUTILITIES_complete_C.typed
|
* | MAYBE
|
13.50 | * | MAYBE
|
59.23 | * | MAYBE
|
59.59 | * | MAYBE
|
59.94 | * | MAYBE
|
59.54 |
Transformed_CSR_04/LISTUTILITIES_complete_FR.typed
|
* | MAYBE
|
9.76 | * | MAYBE
|
59.50 | * | MAYBE
|
59.45 | * | MAYBE
|
59.38 | * | MAYBE
|
59.43 |
Transformed_CSR_04/LISTUTILITIES_complete_GM.typed
|
* | MAYBE
|
5.29 | * | MAYBE
|
59.22 | * | MAYBE
|
59.50 | * | MAYBE
|
59.30 | * | MAYBE
|
59.51 |
Transformed_CSR_04/LISTUTILITIES_complete_Z.typed
|
* | MAYBE
|
9.38 | * | MAYBE
|
59.44 | * | MAYBE
|
59.37 | * | MAYBE
|
59.26 | * | MAYBE
|
59.76 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.typed
|
* | MAYBE
|
54.35 | * | MAYBE
|
59.76 | * | MAYBE
|
59.62 | * | MAYBE
|
59.33 | * | MAYBE
|
59.83 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.typed
|
* | MAYBE
|
8.97 | * | MAYBE
|
59.22 | * | MAYBE
|
59.69 | * | MAYBE
|
59.81 | * | MAYBE
|
59.75 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.typed
|
* | MAYBE
|
5.61 | * | MAYBE
|
59.27 | * | MAYBE
|
59.36 | * | MAYBE
|
59.51 | * | MAYBE
|
59.42 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.typed
|
* | MAYBE
|
3.94 | * | MAYBE
|
59.12 | * | MAYBE
|
59.39 | * | TIMEOUT
|
60.06 | * | MAYBE
|
59.23 |
Transformed_CSR_04/LISTUTILITIES_nokinds_C.typed
|
* | MAYBE
|
9.60 | * | MAYBE
|
59.12 | * | MAYBE
|
59.55 | * | MAYBE
|
59.37 | * | MAYBE
|
59.33 |
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.typed
|
* | MAYBE
|
3.27 | * | MAYBE
|
59.27 | * | MAYBE
|
59.42 | * | MAYBE
|
59.69 | * | MAYBE
|
59.16 |
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.typed
|
* | MAYBE
|
5.35 | * | MAYBE
|
59.29 | * | MAYBE
|
59.36 | * | MAYBE
|
59.46 | * | MAYBE
|
59.23 |
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.typed
|
* | MAYBE
|
4.54 | * | MAYBE
|
59.13 | * | MAYBE
|
59.33 | * | MAYBE
|
59.25 | * | MAYBE
|
59.39 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.typed
|
* | MAYBE
|
17.87 | * | MAYBE
|
59.77 | * | MAYBE
|
59.91 | * | MAYBE
|
59.42 | * | MAYBE
|
59.52 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.typed
|
* | MAYBE
|
7.68 | * | MAYBE
|
59.16 | * | MAYBE
|
59.31 | * | MAYBE
|
59.59 | * | MAYBE
|
59.78 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.typed
|
* | MAYBE
|
2.85 | * | MAYBE
|
59.17 | * | MAYBE
|
59.25 | * | MAYBE
|
17.72 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.typed
|
* | MAYBE
|
3.54 | * | MAYBE
|
59.13 | * | MAYBE
|
59.27 | * | MAYBE
|
11.83 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_C.typed
|
* | MAYBE
|
3.84 | * | MAYBE
|
59.18 | * | MAYBE
|
59.34 | * | MAYBE
|
59.37 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.typed
|
* | MAYBE
|
2.79 | * | MAYBE
|
59.13 | * | MAYBE
|
59.12 | * | MAYBE
|
8.26 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.typed
|
* | MAYBE
|
3.85 | * | MAYBE
|
59.24 | * | MAYBE
|
59.23 | * | MAYBE
|
59.24 | * | MAYBE
|
59.53 |
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.typed
|
* | MAYBE
|
3.44 | * | MAYBE
|
59.09 | * | MAYBE
|
59.06 | * | MAYBE
|
9.58 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.typed
|
* | MAYBE
|
6.36 | * | MAYBE
|
59.12 | * | MAYBE
|
59.27 | * | MAYBE
|
59.61 | * | MAYBE
|
59.67 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.typed
|
* | MAYBE
|
3.37 | * | MAYBE
|
59.13 | * | MAYBE
|
59.45 | * | MAYBE
|
59.34 | * | MAYBE
|
59.44 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.typed
|
* | MAYBE
|
3.96 | * | MAYBE
|
59.17 | * | MAYBE
|
49.35 | * | TIMEOUT
|
60.00 | * | MAYBE
|
59.51 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.typed
|
* | MAYBE
|
3.63 | * | MAYBE
|
59.16 | * | MAYBE
|
59.18 | * | MAYBE
|
59.22 | * | MAYBE
|
59.33 |
Transformed_CSR_04/LengthOfFiniteLists_complete_C.typed
|
* | MAYBE
|
8.26 | * | MAYBE
|
59.45 | * | MAYBE
|
59.27 | * | MAYBE
|
59.48 | * | MAYBE
|
59.50 |
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.typed
|
* | MAYBE
|
4.10 | * | MAYBE
|
59.36 | * | MAYBE
|
59.35 | * | MAYBE
|
59.23 | * | MAYBE
|
59.28 |
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.typed
|
* | MAYBE
|
4.69 | * | MAYBE
|
59.29 | * | MAYBE
|
59.33 | * | MAYBE
|
59.26 | * | MAYBE
|
59.41 |
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.typed
|
* | MAYBE
|
4.12 | * | MAYBE
|
59.40 | * | MAYBE
|
59.34 | * | MAYBE
|
59.30 | * | MAYBE
|
59.34 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.typed
|
* | MAYBE
|
5.97 | * | MAYBE
|
59.18 | * | MAYBE
|
59.69 | * | MAYBE
|
59.57 | * | MAYBE
|
59.79 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.typed
|
* | MAYBE
|
3.37 | * | MAYBE
|
3.48 | * | MAYBE
|
4.36 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.typed
|
* | MAYBE
|
3.05 | * | MAYBE
|
11.41 | * | MAYBE
|
13.58 | * | TIMEOUT
|
60.00 | * | MAYBE
|
59.27 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.typed
|
* | MAYBE
|
3.13 | * | MAYBE
|
14.08 | * | MAYBE
|
13.67 | * | MAYBE
|
59.19 | * | MAYBE
|
59.22 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.typed
|
* | MAYBE
|
3.25 | * | MAYBE
|
59.19 | * | MAYBE
|
59.26 | * | MAYBE
|
59.40 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.typed
|
* | MAYBE
|
3.32 | * | MAYBE
|
59.09 | * | MAYBE
|
59.15 | * | MAYBE
|
59.29 | * | MAYBE
|
59.23 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.typed
|
* | MAYBE
|
4.32 | * | MAYBE
|
20.20 | * | MAYBE
|
18.86 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.typed
|
* | MAYBE
|
3.92 | * | MAYBE
|
59.16 | * | MAYBE
|
59.13 | * | MAYBE
|
59.22 | * | MAYBE
|
59.28 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.typed
|
* | MAYBE
|
4.82 | * | MAYBE
|
59.24 | * | MAYBE
|
59.21 | * | MAYBE
|
59.39 | * | MAYBE
|
59.41 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.typed
|
* | MAYBE
|
5.25 | * | MAYBE
|
2.53 | * | MAYBE
|
6.68 | * | MAYBE
|
59.42 | * | MAYBE
|
59.35 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.typed
|
* | MAYBE
|
13.31 | * | MAYBE
|
2.28 | * | MAYBE
|
12.77 | * | MAYBE
|
4.77 | * | MAYBE
|
2.07 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.typed
|
* | MAYBE
|
28.37 | * | MAYBE
|
59.20 | * | MAYBE
|
59.28 | * | MAYBE
|
42.86 | * | MAYBE
|
46.94 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.typed
|
* | MAYBE
|
59.08 | * | MAYBE
|
2.34 | * | MAYBE
|
59.06 | * | MAYBE
|
1.28 | * | MAYBE
|
0.97 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.typed
|
* | MAYBE
|
59.13 | * | MAYBE
|
2.26 | * | MAYBE
|
59.09 | * | MAYBE
|
6.87 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.typed
|
* | MAYBE
|
21.58 | * | MAYBE
|
59.15 | * | MAYBE
|
59.23 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.typed
|
* | MAYBE
|
59.18 | * | MAYBE
|
2.34 | * | MAYBE
|
59.14 | * | MAYBE
|
13.86 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/MYNAT_complete-noand_FR.typed
|
* | MAYBE
|
3.27 | * | MAYBE
|
59.10 | * | MAYBE
|
59.15 | * | MAYBE
|
59.40 | * | MAYBE
|
59.42 |
Transformed_CSR_04/MYNAT_complete-noand_Z.typed
|
* | MAYBE
|
3.82 | * | MAYBE
|
59.16 | * | MAYBE
|
59.29 | * | MAYBE
|
59.40 | * | MAYBE
|
59.22 |
Transformed_CSR_04/MYNAT_complete_C.typed
|
* | MAYBE
|
5.23 | * | MAYBE
|
59.25 | * | MAYBE
|
59.51 | * | MAYBE
|
59.25 | * | MAYBE
|
59.44 |
Transformed_CSR_04/MYNAT_complete_FR.typed
|
* | MAYBE
|
3.38 | * | MAYBE
|
59.32 | * | MAYBE
|
59.28 | * | MAYBE
|
59.21 | * | MAYBE
|
59.29 |
Transformed_CSR_04/MYNAT_complete_GM.typed
|
* | MAYBE
|
4.12 | * | MAYBE
|
59.34 | * | MAYBE
|
59.30 | * | MAYBE
|
59.32 | * | MAYBE
|
59.25 |
Transformed_CSR_04/MYNAT_complete_Z.typed
|
* | MAYBE
|
2.80 | * | MAYBE
|
59.10 | * | MAYBE
|
59.23 | * | MAYBE
|
59.26 | * | MAYBE
|
59.73 |
Transformed_CSR_04/MYNAT_complete_noand_C.typed
|
* | MAYBE
|
14.60 | * | MAYBE
|
59.27 | * | MAYBE
|
59.35 | * | MAYBE
|
59.57 | * | MAYBE
|
59.63 |
Transformed_CSR_04/MYNAT_complete_noand_GM.typed
|
* | MAYBE
|
3.99 | * | MAYBE
|
59.28 | * | MAYBE
|
59.23 | * | MAYBE
|
59.81 | * | MAYBE
|
59.88 |
Transformed_CSR_04/MYNAT_nokinds-noand_FR.typed
|
* | MAYBE
|
3.39 | * | MAYBE
|
59.10 | * | MAYBE
|
59.19 | * | MAYBE
|
59.29 | * | MAYBE
|
59.32 |
Transformed_CSR_04/MYNAT_nokinds-noand_Z.typed
|
* | MAYBE
|
3.16 | * | MAYBE
|
59.13 | * | MAYBE
|
59.17 | * | MAYBE
|
59.27 | * | MAYBE
|
59.30 |
Transformed_CSR_04/MYNAT_nokinds_C.typed
|
* | MAYBE
|
4.96 | * | MAYBE
|
59.22 | * | MAYBE
|
59.30 | * | MAYBE
|
59.27 | * | MAYBE
|
59.29 |
Transformed_CSR_04/MYNAT_nokinds_FR.typed
|
* | MAYBE
|
4.01 | * | MAYBE
|
59.18 | * | MAYBE
|
59.22 | * | MAYBE
|
59.33 | * | MAYBE
|
59.46 |
Transformed_CSR_04/MYNAT_nokinds_GM.typed
|
* | MAYBE
|
3.70 | * | MAYBE
|
59.14 | * | MAYBE
|
59.28 | * | MAYBE
|
59.22 | * | MAYBE
|
59.33 |
Transformed_CSR_04/MYNAT_nokinds_Z.typed
|
* | MAYBE
|
3.10 | * | MAYBE
|
59.07 | * | MAYBE
|
59.18 | * | MAYBE
|
59.33 | * | MAYBE
|
59.40 |
Transformed_CSR_04/MYNAT_nokinds_noand_C.typed
|
* | MAYBE
|
3.69 | * | MAYBE
|
59.24 | * | MAYBE
|
59.34 | * | MAYBE
|
59.28 | * | MAYBE
|
59.62 |
Transformed_CSR_04/MYNAT_nokinds_noand_GM.typed
|
* | MAYBE
|
2.82 | * | MAYBE
|
59.07 | * | MAYBE
|
59.20 | * | MAYBE
|
59.77 | * | MAYBE
|
59.33 |
Transformed_CSR_04/MYNAT_nosorts-noand_FR.typed
|
* | MAYBE
|
2.84 | * | MAYBE
|
59.04 | * | MAYBE
|
59.09 | * | MAYBE
|
8.09 | * | MAYBE
|
1.59 |
Transformed_CSR_04/MYNAT_nosorts_C.typed
|
* | MAYBE
|
3.19 | * | MAYBE
|
13.03 | * | MAYBE
|
13.61 | * | MAYBE
|
41.90 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/MYNAT_nosorts_FR.typed
|
* | MAYBE
|
2.62 | * | WORST_CASE(?,O(n^2))
|
1.36 | * | WORST_CASE(?,O(n^2))
|
1.46 | * | MAYBE
|
2.24 | * | MAYBE
|
0.82 |
Transformed_CSR_04/MYNAT_nosorts_GM.typed
|
* | MAYBE
|
2.71 | * | MAYBE
|
59.07 | * | MAYBE
|
59.05 | * | MAYBE
|
22.42 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/MYNAT_nosorts_noand_C.typed
|
* | MAYBE
|
4.06 | * | MAYBE
|
28.52 | * | MAYBE
|
25.26 | * | MAYBE
|
59.20 | * | MAYBE
|
59.29 |
Transformed_CSR_04/MYNAT_nosorts_noand_GM.typed
|
* | MAYBE
|
2.77 | * | MAYBE
|
59.14 | * | MAYBE
|
59.13 | * | MAYBE
|
59.28 | * | MAYBE
|
59.25 |
Transformed_CSR_04/OvConsOS_complete-noand_FR.typed
|
* | MAYBE
|
3.62 | * | MAYBE
|
59.15 | * | MAYBE
|
59.16 | * | MAYBE
|
59.47 | * | MAYBE
|
59.38 |
Transformed_CSR_04/OvConsOS_complete-noand_Z.typed
|
* | MAYBE
|
3.76 | * | MAYBE
|
59.14 | * | MAYBE
|
59.19 | * | MAYBE
|
59.78 | * | MAYBE
|
59.38 |
Transformed_CSR_04/OvConsOS_complete_C.typed
|
* | MAYBE
|
9.35 | * | MAYBE
|
59.56 | * | MAYBE
|
59.50 | * | MAYBE
|
59.28 | * | MAYBE
|
59.68 |
Transformed_CSR_04/OvConsOS_complete_FR.typed
|
* | MAYBE
|
3.47 | * | MAYBE
|
59.15 | * | MAYBE
|
59.31 | * | MAYBE
|
59.51 | * | MAYBE
|
59.43 |
Transformed_CSR_04/OvConsOS_complete_GM.typed
|
* | MAYBE
|
5.64 | * | MAYBE
|
59.44 | * | MAYBE
|
59.19 | * | MAYBE
|
59.41 | * | MAYBE
|
59.28 |
Transformed_CSR_04/OvConsOS_complete_Z.typed
|
* | MAYBE
|
5.74 | * | MAYBE
|
59.29 | * | MAYBE
|
59.41 | * | MAYBE
|
59.71 | * | MAYBE
|
59.35 |
Transformed_CSR_04/OvConsOS_complete_noand_C.typed
|
* | MAYBE
|
18.37 | * | MAYBE
|
59.76 | * | MAYBE
|
59.65 | * | MAYBE
|
59.89 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_complete_noand_GM.typed
|
* | MAYBE
|
4.30 | * | MAYBE
|
4.66 | * | MAYBE
|
7.25 | * | MAYBE
|
59.89 | * | MAYBE
|
59.64 |
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.typed
|
* | MAYBE
|
2.94 | * | MAYBE
|
20.38 | * | MAYBE
|
23.65 | * | MAYBE
|
59.65 | * | MAYBE
|
59.33 |
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.typed
|
* | MAYBE
|
3.38 | * | MAYBE
|
34.46 | * | MAYBE
|
28.12 | * | MAYBE
|
59.27 | * | MAYBE
|
59.29 |
Transformed_CSR_04/OvConsOS_nokinds_C.typed
|
* | MAYBE
|
3.93 | * | MAYBE
|
59.15 | * | MAYBE
|
59.27 | * | MAYBE
|
59.25 | * | MAYBE
|
59.14 |
Transformed_CSR_04/OvConsOS_nokinds_FR.typed
|
* | MAYBE
|
3.46 | * | MAYBE
|
59.24 | * | MAYBE
|
59.33 | * | MAYBE
|
59.29 | * | MAYBE
|
59.34 |
Transformed_CSR_04/OvConsOS_nokinds_GM.typed
|
* | MAYBE
|
2.63 | * | MAYBE
|
59.12 | * | MAYBE
|
59.09 | * | MAYBE
|
59.37 | * | MAYBE
|
59.25 |
Transformed_CSR_04/OvConsOS_nokinds_Z.typed
|
* | MAYBE
|
2.78 | * | MAYBE
|
59.12 | * | MAYBE
|
59.12 | * | MAYBE
|
59.25 | * | MAYBE
|
59.25 |
Transformed_CSR_04/OvConsOS_nokinds_noand_C.typed
|
* | MAYBE
|
7.32 | * | MAYBE
|
59.38 | * | MAYBE
|
59.26 | * | MAYBE
|
59.68 | * | MAYBE
|
59.54 |
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.typed
|
* | MAYBE
|
4.18 | * | MAYBE
|
2.96 | * | MAYBE
|
3.26 | * | MAYBE
|
59.21 | * | MAYBE
|
59.17 |
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.typed
|
* | MAYBE
|
3.45 | * | MAYBE
|
3.03 | * | MAYBE
|
3.11 | * | MAYBE
|
22.23 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.typed
|
* | MAYBE
|
12.71 | * | MAYBE
|
3.07 | * | MAYBE
|
10.79 | * | MAYBE
|
21.92 | * | MAYBE
|
59.70 |
Transformed_CSR_04/OvConsOS_nosorts_C.typed
|
* | MAYBE
|
4.75 | * | MAYBE
|
59.12 | * | MAYBE
|
59.23 | * | MAYBE
|
56.88 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nosorts_FR.typed
|
* | MAYBE
|
11.75 | * | MAYBE
|
2.34 | * | MAYBE
|
11.84 | * | MAYBE
|
5.25 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nosorts_GM.typed
|
* | MAYBE
|
59.11 | * | MAYBE
|
2.25 | * | MAYBE
|
59.14 | * | MAYBE
|
11.94 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nosorts_Z.typed
|
* | MAYBE
|
59.10 | * | MAYBE
|
2.25 | * | MAYBE
|
59.12 | * | MAYBE
|
6.47 | * | MAYBE
|
16.41 |
Transformed_CSR_04/OvConsOS_nosorts_noand_C.typed
|
* | MAYBE
|
4.50 | * | MAYBE
|
59.11 | * | MAYBE
|
59.18 | * | MAYBE
|
59.37 | * | MAYBE
|
59.40 |
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.typed
|
* | MAYBE
|
23.38 | * | MAYBE
|
2.61 | * | MAYBE
|
24.78 | * | MAYBE
|
58.60 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PALINDROME_complete-noand_FR.typed
|
* | MAYBE
|
3.31 | * | MAYBE
|
51.27 | * | MAYBE
|
55.16 | * | MAYBE
|
59.74 | * | MAYBE
|
59.41 |
Transformed_CSR_04/PALINDROME_complete-noand_L.typed
|
* | MAYBE
|
5.41 | * | MAYBE
|
2.40 | * | MAYBE
|
5.00 | * | MAYBE
|
59.25 | * | MAYBE
|
59.24 |
Transformed_CSR_04/PALINDROME_complete-noand_Z.typed
|
* | MAYBE
|
4.00 | * | MAYBE
|
59.24 | * | MAYBE
|
59.19 | * | MAYBE
|
59.39 | * | MAYBE
|
59.28 |
Transformed_CSR_04/PALINDROME_complete_C.typed
|
* | MAYBE
|
8.70 | * | MAYBE
|
59.61 | * | MAYBE
|
59.23 | * | MAYBE
|
1.75 | * | MAYBE
|
1.55 |
Transformed_CSR_04/PALINDROME_complete_FR.typed
|
* | MAYBE
|
3.96 | * | MAYBE
|
59.36 | * | MAYBE
|
59.22 | * | MAYBE
|
0.32 | * | MAYBE
|
0.16 |
Transformed_CSR_04/PALINDROME_complete_GM.typed
|
* | MAYBE
|
4.93 | * | MAYBE
|
59.27 | * | MAYBE
|
59.18 | * | MAYBE
|
0.72 | * | MAYBE
|
0.64 |
Transformed_CSR_04/PALINDROME_complete_Z.typed
|
* | MAYBE
|
2.83 | * | MAYBE
|
59.18 | * | MAYBE
|
59.26 | * | MAYBE
|
59.52 | * | MAYBE
|
59.42 |
Transformed_CSR_04/PALINDROME_complete_noand_C.typed
|
* | MAYBE
|
7.39 | * | MAYBE
|
59.33 | * | MAYBE
|
59.46 | * | MAYBE
|
1.21 | * | MAYBE
|
2.65 |
Transformed_CSR_04/PALINDROME_complete_noand_GM.typed
|
* | MAYBE
|
7.08 | * | MAYBE
|
59.71 | * | MAYBE
|
59.30 | * | MAYBE
|
59.50 | * | MAYBE
|
58.40 |
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.typed
|
* | MAYBE
|
3.10 | * | MAYBE
|
12.39 | * | MAYBE
|
12.58 | * | MAYBE
|
0.82 | * | MAYBE
|
0.30 |
Transformed_CSR_04/PALINDROME_nokinds-noand_L.typed
|
* | MAYBE
|
2.87 | * | MAYBE
|
2.62 | * | MAYBE
|
2.97 | * | MAYBE
|
10.31 | * | MAYBE
|
6.41 |
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.typed
|
* | MAYBE
|
3.66 | * | MAYBE
|
13.36 | * | MAYBE
|
13.65 | * | MAYBE
|
0.46 | * | MAYBE
|
0.38 |
Transformed_CSR_04/PALINDROME_nokinds_C.typed
|
* | MAYBE
|
4.02 | * | MAYBE
|
59.14 | * | MAYBE
|
59.26 | * | MAYBE
|
0.48 | * | MAYBE
|
0.38 |
Transformed_CSR_04/PALINDROME_nokinds_FR.typed
|
* | MAYBE
|
3.78 | * | MAYBE
|
11.26 | * | MAYBE
|
7.22 | * | MAYBE
|
0.05 | * | MAYBE
|
0.12 |
Transformed_CSR_04/PALINDROME_nokinds_GM.typed
|
* | MAYBE
|
3.31 | * | MAYBE
|
59.09 | * | MAYBE
|
59.11 | * | MAYBE
|
0.18 | * | MAYBE
|
0.11 |
Transformed_CSR_04/PALINDROME_nokinds_Z.typed
|
* | MAYBE
|
3.78 | * | MAYBE
|
6.98 | * | MAYBE
|
7.45 | * | MAYBE
|
0.09 | * | MAYBE
|
0.07 |
Transformed_CSR_04/PALINDROME_nokinds_noand_C.typed
|
* | MAYBE
|
4.03 | * | MAYBE
|
59.18 | * | MAYBE
|
59.33 | * | MAYBE
|
1.45 | * | MAYBE
|
0.72 |
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.typed
|
* | MAYBE
|
3.70 | * | MAYBE
|
59.13 | * | MAYBE
|
59.14 | * | MAYBE
|
0.11 | * | MAYBE
|
0.09 |
Transformed_CSR_04/PALINDROME_nosorts_C.typed
|
* | MAYBE
|
26.29 | * | MAYBE
|
59.15 | * | MAYBE
|
59.15 | * | MAYBE
|
0.20 | * | MAYBE
|
0.14 |
Transformed_CSR_04/PALINDROME_nosorts_GM.typed
|
* | MAYBE
|
5.18 | * | MAYBE
|
59.09 | * | MAYBE
|
59.12 | * | MAYBE
|
0.12 | * | MAYBE
|
0.15 |
Transformed_CSR_04/PALINDROME_nosorts_noand_C.typed
|
* | MAYBE
|
21.85 | * | MAYBE
|
59.15 | * | MAYBE
|
59.27 | * | MAYBE
|
0.18 | * | MAYBE
|
0.19 |
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.typed
|
* | MAYBE
|
4.72 | * | MAYBE
|
59.07 | * | MAYBE
|
59.09 | * | MAYBE
|
0.07 | * | MAYBE
|
0.09 |
Transformed_CSR_04/PEANO_complete-noand_FR.typed
|
* | MAYBE
|
2.88 | * | MAYBE
|
59.07 | * | MAYBE
|
59.12 | * | MAYBE
|
59.64 | * | MAYBE
|
59.18 |
Transformed_CSR_04/PEANO_complete-noand_Z.typed
|
* | MAYBE
|
3.27 | * | MAYBE
|
59.14 | * | MAYBE
|
59.18 | * | MAYBE
|
59.36 | * | MAYBE
|
59.71 |
Transformed_CSR_04/PEANO_complete_C.typed
|
* | MAYBE
|
4.17 | * | MAYBE
|
59.13 | * | MAYBE
|
59.35 | * | MAYBE
|
59.29 | * | MAYBE
|
59.36 |
Transformed_CSR_04/PEANO_complete_FR.typed
|
* | MAYBE
|
2.57 | * | MAYBE
|
59.16 | * | MAYBE
|
59.22 | * | MAYBE
|
59.22 | * | MAYBE
|
59.65 |
Transformed_CSR_04/PEANO_complete_GM.typed
|
* | MAYBE
|
3.50 | * | MAYBE
|
59.26 | * | MAYBE
|
59.26 | * | MAYBE
|
59.23 | * | MAYBE
|
59.28 |
Transformed_CSR_04/PEANO_complete_Z.typed
|
* | MAYBE
|
2.48 | * | MAYBE
|
59.17 | * | MAYBE
|
59.24 | * | MAYBE
|
59.33 | * | MAYBE
|
59.84 |
Transformed_CSR_04/PEANO_complete_noand_C.typed
|
* | MAYBE
|
8.99 | * | MAYBE
|
59.46 | * | MAYBE
|
59.19 | * | MAYBE
|
59.40 | * | MAYBE
|
59.51 |
Transformed_CSR_04/PEANO_complete_noand_GM.typed
|
* | MAYBE
|
3.54 | * | MAYBE
|
3.27 | * | MAYBE
|
5.99 | * | MAYBE
|
59.39 | * | MAYBE
|
59.45 |
Transformed_CSR_04/PEANO_nokinds-noand_FR.typed
|
* | MAYBE
|
2.74 | * | MAYBE
|
59.09 | * | MAYBE
|
59.05 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds-noand_Z.typed
|
* | MAYBE
|
2.67 | * | MAYBE
|
59.09 | * | MAYBE
|
59.15 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds_C.typed
|
* | MAYBE
|
4.08 | * | MAYBE
|
59.19 | * | MAYBE
|
59.28 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds_FR.typed
|
* | MAYBE
|
3.08 | * | MAYBE
|
59.14 | * | MAYBE
|
59.19 | * | MAYBE
|
56.38 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds_GM.typed
|
* | MAYBE
|
2.65 | * | MAYBE
|
13.25 | * | MAYBE
|
16.07 | * | MAYBE
|
52.41 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds_Z.typed
|
* | MAYBE
|
2.68 | * | MAYBE
|
59.09 | * | MAYBE
|
59.19 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds_noand_C.typed
|
* | MAYBE
|
3.31 | * | MAYBE
|
59.05 | * | MAYBE
|
59.20 | * | MAYBE
|
59.37 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds_noand_GM.typed
|
* | MAYBE
|
3.19 | * | MAYBE
|
2.53 | * | MAYBE
|
3.34 | * | MAYBE
|
57.97 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nosorts-noand_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
0.34 |
Transformed_CSR_04/PEANO_nosorts_C.typed
|
* | MAYBE
|
24.76 | * | MAYBE
|
17.80 | * | MAYBE
|
22.11 | * | MAYBE
|
34.11 | * | MAYBE
|
38.45 |
Transformed_CSR_04/PEANO_nosorts_FR.typed
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.08 |
Transformed_CSR_04/PEANO_nosorts_GM.typed
|
* | MAYBE
|
10.30 | * | MAYBE
|
2.25 | * | MAYBE
|
10.22 | * | MAYBE
|
6.28 | * | MAYBE
|
13.83 |
Transformed_CSR_04/PEANO_nosorts_noand_C.typed
|
* | MAYBE
|
4.73 | * | MAYBE
|
10.28 | * | MAYBE
|
10.51 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nosorts_noand_GM.typed
|
* | MAYBE
|
16.68 | * | MAYBE
|
2.44 | * | MAYBE
|
17.44 | * | MAYBE
|
22.79 | * | TIMEOUT
|
60.00 |
Various_04/04.typed
|
* | MAYBE
|
2.87 | * | MAYBE
|
14.66 | * | MAYBE
|
14.32 | * | WORST_CASE(?,O(n^1))
|
3.05 | * | WORST_CASE(?,O(n^1))
|
0.85 |
Various_04/08.typed
|
* | MAYBE
|
2.50 | * | MAYBE
|
34.29 | * | MAYBE
|
33.58 | * | MAYBE
|
59.12 | * | MAYBE
|
59.17 |
Various_04/10.typed
|
* | MAYBE
|
3.03 | * | MAYBE
|
59.16 | * | MAYBE
|
59.14 | * | MAYBE
|
7.02 | * | TIMEOUT
|
60.00 |
Various_04/11.typed
|
* | MAYBE
|
2.37 | * | MAYBE
|
2.31 | * | MAYBE
|
2.60 | * | MAYBE
|
2.42 | * | MAYBE
|
0.75 |
Various_04/12.typed
|
* | MAYBE
|
2.60 | * | MAYBE
|
59.14 | * | MAYBE
|
59.11 | * | MAYBE
|
6.93 | * | MAYBE
|
4.74 |
Various_04/13.typed
|
* | MAYBE
|
2.79 | * | MAYBE
|
59.11 | * | MAYBE
|
59.17 | * | MAYBE
|
9.62 | * | MAYBE
|
8.29 |
Various_04/14.typed
|
* | MAYBE
|
2.82 | * | MAYBE
|
59.12 | * | MAYBE
|
59.16 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
Various_04/15.typed
|
* | MAYBE
|
3.25 | * | MAYBE
|
2.18 | * | MAYBE
|
3.27 | * | WORST_CASE(?,O(n^2))
|
0.76 | * | WORST_CASE(?,O(n^2))
|
0.42 |
Various_04/18.typed
|
* | MAYBE
|
10.56 | * | MAYBE
|
3.20 | * | MAYBE
|
10.93 | * | MAYBE
|
59.23 | * | MAYBE
|
59.19 |
Various_04/22.typed
|
* | MAYBE
|
2.38 | * | MAYBE
|
2.18 | * | MAYBE
|
2.52 | * | MAYBE
|
2.86 | * | MAYBE
|
1.24 |
Various_04/23.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | MAYBE
|
6.27 | * | TIMEOUT
|
60.00 |
Various_04/24.typed
|
* | MAYBE
|
4.29 | * | MAYBE
|
3.49 | * | MAYBE
|
4.09 | * | WORST_CASE(?,O(n^2))
|
6.31 | * | WORST_CASE(?,O(n^2))
|
1.98 |
Waldmann_06/jwmatchb1.typed
|
* | WORST_CASE(?,O(n^3))
|
2.92 | * | MAYBE
|
2.18 | * | WORST_CASE(?,O(n^3))
|
2.82 | * | MAYBE
|
3.00 | * | MAYBE
|
10.10 |
Waldmann_06/jwmatchb2.typed
|
* | WORST_CASE(?,O(n^3))
|
2.87 | * | MAYBE
|
2.19 | * | WORST_CASE(?,O(n^3))
|
2.97 | * | MAYBE
|
2.74 | * | MAYBE
|
12.98 |
Waldmann_06/jwno1.typed
|
* | MAYBE
|
2.26 | * | MAYBE
|
2.32 | * | MAYBE
|
2.32 | * | MAYBE
|
1.79 | * | MAYBE
|
1.83 |
Waldmann_06/jwno4.typed
|
* | MAYBE
|
2.52 | * | MAYBE
|
2.19 | * | MAYBE
|
2.57 | * | MAYBE
|
1.75 | * | MAYBE
|
2.64 |
Waldmann_06/jwno6.typed
|
* | MAYBE
|
2.47 | * | MAYBE
|
2.21 | * | MAYBE
|
2.50 | * | MAYBE
|
1.57 | * | TIMEOUT
|
60.00 |
Zantema_05/z10.typed
|
* | MAYBE
|
2.82 | * | MAYBE
|
2.33 | * | MAYBE
|
2.87 | * | MAYBE
|
1.58 | * | MAYBE
|
0.57 |
Zantema_05/z12.typed
|
* | MAYBE
|
2.82 | * | MAYBE
|
2.31 | * | MAYBE
|
2.98 | * | MAYBE
|
11.91 | * | TIMEOUT
|
60.00 |
Zantema_05/z13.typed
|
* | MAYBE
|
59.07 | * | MAYBE
|
2.44 | * | MAYBE
|
59.07 | * | MAYBE
|
10.76 | * | TIMEOUT
|
60.00 |
Zantema_05/z14.typed
|
* | MAYBE
|
59.08 | * | MAYBE
|
2.27 | * | MAYBE
|
59.09 | * | MAYBE
|
5.75 | * | MAYBE
|
21.59 |
Zantema_05/z15.typed
|
* | MAYBE
|
59.11 | * | MAYBE
|
2.41 | * | MAYBE
|
59.07 | * | MAYBE
|
7.60 | * | TIMEOUT
|
60.00 |
Zantema_05/z16.typed
|
* | MAYBE
|
59.09 | * | MAYBE
|
2.34 | * | MAYBE
|
59.09 | * | MAYBE
|
7.68 | * | TIMEOUT
|
60.00 |
Zantema_05/z17.typed
|
* | MAYBE
|
59.06 | * | MAYBE
|
2.55 | * | MAYBE
|
59.03 | * | MAYBE
|
5.96 | * | TIMEOUT
|
60.00 |
Zantema_05/z18.typed
|
* | MAYBE
|
59.09 | * | MAYBE
|
2.37 | * | MAYBE
|
59.10 | * | MAYBE
|
6.43 | * | MAYBE
|
38.04 |
Zantema_05/z23.typed
|
* | MAYBE
|
7.60 | * | MAYBE
|
2.35 | * | MAYBE
|
7.85 | * | MAYBE
|
20.34 | * | TIMEOUT
|
60.00 |
Zantema_05/z24.typed
|
* | MAYBE
|
59.09 | * | MAYBE
|
2.29 | * | MAYBE
|
59.09 | * | MAYBE
|
14.59 | * | TIMEOUT
|
60.00 |
Zantema_05/z26.typed
|
* | WORST_CASE(?,O(n^1))
|
0.49 | * | MAYBE
|
59.09 | * | WORST_CASE(?,O(n^1))
|
0.77 | * | MAYBE
|
1.81 | * | MAYBE
|
0.76 |
Zantema_05/z27.typed
|
* | MAYBE
|
2.38 | * | MAYBE
|
2.30 | * | MAYBE
|
2.41 | * | MAYBE
|
3.78 | * | MAYBE
|
1.50 |
Zantema_05/z28.typed
|
* | MAYBE
|
3.38 | * | MAYBE
|
2.23 | * | MAYBE
|
3.83 | * | MAYBE
|
1.01 | * | MAYBE
|
0.41 |
hoca/dfs-flatten.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
0.11 |
hoca/fib_llist.typed
|
* | MAYBE
|
5.37 | * | MAYBE
|
11.42 | * | MAYBE
|
16.40 | * | MAYBE
|
33.70 | * | TIMEOUT
|
60.00 |
hoca/flatten.typed
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
1.65 | * | WORST_CASE(?,O(n^1))
|
0.75 |
hoca/foldsum.typed
|
* | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.76 | * | WORST_CASE(?,O(n^1))
|
0.37 |
hoca/id.typed
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^1))
|
0.13 |
hoca/isort-fold.typed
|
* | MAYBE
|
2.93 | * | MAYBE
|
2.64 | * | MAYBE
|
2.99 | * | WORST_CASE(?,O(n^2))
|
6.41 | * | WORST_CASE(?,O(n^2))
|
1.11 |
hoca/isort.typed
|
* | MAYBE
|
3.12 | * | MAYBE
|
2.31 | * | MAYBE
|
3.26 | * | WORST_CASE(?,O(n^2))
|
3.96 | * | WORST_CASE(?,O(n^2))
|
0.94 |
hoca/mappplus.typed
|
* | MAYBE
|
2.47 | * | WORST_CASE(?,O(n^2))
|
1.23 | * | WORST_CASE(?,O(n^2))
|
1.28 | * | MAYBE
|
2.04 | * | MAYBE
|
14.71 |
hoca/mergesort-dc.typed
|
* | MAYBE
|
3.15 | * | MAYBE
|
59.19 | * | MAYBE
|
59.39 | * | MAYBE
|
17.93 | * | TIMEOUT
|
60.00 |
hoca/mss.typed
|
* | MAYBE
|
2.43 | * | MAYBE
|
2.45 | * | MAYBE
|
2.57 | * | MAYBE
|
6.72 | * | TIMEOUT
|
60.03 |
hoca/rev-dl.typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
0.19 |
hoca/rev-fletf.typed
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
0.32 |
hoca/rev-foldl.typed
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.05 |
hoca/rpm-lazy.typed
|
* | MAYBE
|
2.74 | * | MAYBE
|
25.14 | * | MAYBE
|
24.53 | * | MAYBE
|
59.11 | * | MAYBE
|
59.21 |
hoca/sum.typed
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.13 |
hoca/sum_sqs3.typed
|
* | MAYBE
|
2.72 | * | MAYBE
|
7.61 | * | MAYBE
|
7.75 | * | MAYBE
|
4.11 | * | MAYBE
|
1.26 |
raML/appendAll.raml.typed
|
* | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^2))
|
7.75 | * | WORST_CASE(?,O(n^2))
|
2.27 |
raML/bfs.raml.typed
|
* | MAYBE
|
2.56 | * | MAYBE
|
59.20 | * | MAYBE
|
59.29 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
raML/bft_mmult.raml.typed
|
* | MAYBE
|
3.68 | * | MAYBE
|
59.33 | * | MAYBE
|
59.24 | * | MAYBE
|
59.36 | * | MAYBE
|
59.25 |
raML/bitvectors.raml.typed
|
* | MAYBE
|
3.92 | * | MAYBE
|
59.40 | * | MAYBE
|
59.48 | * | MAYBE
|
59.57 | * | MAYBE
|
59.29 |
raML/clevermmult.raml.typed
|
* | MAYBE
|
2.66 | * | MAYBE
|
4.19 | * | MAYBE
|
4.67 | * | MAYBE
|
59.50 | * | MAYBE
|
59.27 |
raML/duplicates.raml.typed
|
* | MAYBE
|
3.70 | * | MAYBE
|
3.68 | * | MAYBE
|
3.92 | * | MAYBE
|
31.77 | * | TIMEOUT
|
60.00 |
raML/dyade.raml.typed
|
* | MAYBE
|
2.82 | * | WORST_CASE(?,O(n^2))
|
1.59 | * | WORST_CASE(?,O(n^2))
|
1.68 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
raML/eratosthenes.raml.typed
|
* | MAYBE
|
3.79 | * | MAYBE
|
59.14 | * | MAYBE
|
59.18 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
raML/flatten.raml.typed
|
* | MAYBE
|
3.53 | * | MAYBE
|
59.19 | * | MAYBE
|
59.11 | * | MAYBE
|
13.32 | * | TIMEOUT
|
60.00 |
raML/flatten2.raml.typed
|
* | MAYBE
|
3.49 | * | MAYBE
|
59.09 | * | MAYBE
|
59.10 | * | MAYBE
|
15.23 | * | TIMEOUT
|
60.00 |
raML/insertionsort.raml.typed
|
* | MAYBE
|
59.15 | * | MAYBE
|
3.52 | * | MAYBE
|
59.32 | * | MAYBE
|
41.76 | * | TIMEOUT
|
60.00 |
raML/listsort.raml.typed
|
* | MAYBE
|
3.30 | * | MAYBE
|
59.16 | * | MAYBE
|
59.14 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^2))
|
16.82 |
raML/longestCommonSubsequence.raml.typed
|
* | MAYBE
|
3.03 | * | MAYBE
|
59.16 | * | MAYBE
|
59.27 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.00 |
raML/matrix.raml.typed
|
* | MAYBE
|
59.45 | * | MAYBE
|
10.14 | * | MAYBE
|
59.32 | * | MAYBE
|
59.42 | * | MAYBE
|
59.33 |
raML/mergesort.raml.typed
|
* | MAYBE
|
2.71 | * | MAYBE
|
7.06 | * | MAYBE
|
7.26 | * | MAYBE
|
29.77 | * | TIMEOUT
|
60.00 |
raML/minsort.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
3.69 | * | MAYBE
|
3.06 | * | WORST_CASE(?,O(n^2))
|
4.04 | * | MAYBE
|
14.67 | * | WORST_CASE(?,O(n^2))
|
7.47 |
raML/queue.raml.typed
|
* | MAYBE
|
3.63 | * | MAYBE
|
4.93 | * | MAYBE
|
4.72 | * | MAYBE
|
19.34 | * | TIMEOUT
|
60.00 |
raML/quicksort.raml.typed
|
* | MAYBE
|
59.14 | * | MAYBE
|
6.24 | * | MAYBE
|
59.40 | * | MAYBE
|
51.92 | * | TIMEOUT
|
60.00 |
raML/rationalPotential.raml.typed
|
* | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
1.96 | * | WORST_CASE(?,O(n^1))
|
0.35 |
raML/splitandsort.raml.typed
|
* | MAYBE
|
2.79 | * | MAYBE
|
4.14 | * | MAYBE
|
4.49 | * | MAYBE
|
34.07 | * | TIMEOUT
|
60.00 |
raML/subtrees.raml.typed
|
* | WORST_CASE(?,O(n^2))
|
1.38 | * | MAYBE
|
2.36 | * | WORST_CASE(?,O(n^2))
|
1.41 | * | MAYBE
|
10.47 | * | WORST_CASE(?,O(n^2))
|
1.03 |