TcTAra
|
TcTNoAra
|
AraTRS
|
AraTRS CF
|
Aprove
|
|||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Problem (all selected)
|
* | answer |
* | answer |
* | answer |
* | answer |
* | answer |
|||||
AG01/#3.1
|
* | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | TIMEOUT
|
60.06 |
AG01/#3.10
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
16.36 | * | MAYBE
|
49.29 | * | TIMEOUT
|
60.02 |
AG01/#3.12
|
* | WORST_CASE(?,O(n^3))
|
24.98 | * | WORST_CASE(?,O(n^3))
|
25.03 | * | MAYBE
|
0.74 | * | MAYBE
|
1.79 | * | WORST_CASE(?,O(n^3))
|
7.16 |
AG01/#3.13
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.15 | * | MAYBE
|
18.34 | * | TIMEOUT
|
60.06 |
AG01/#3.15
|
* | WORST_CASE(?,O(n^1))
|
7.03 | * | WORST_CASE(?,O(n^1))
|
7.03 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
7.07 |
AG01/#3.16
|
* | WORST_CASE(?,O(n^3))
|
2.92 | * | WORST_CASE(?,O(n^3))
|
2.03 | * | MAYBE
|
0.15 | * | MAYBE
|
0.49 | * | TIMEOUT
|
60.06 |
AG01/#3.17
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.16 | * | MAYBE
|
16.44 | * | TIMEOUT
|
60.06 |
AG01/#3.17a
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.86 | * | MAYBE
|
19.56 | * | TIMEOUT
|
60.06 |
AG01/#3.18
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.11 | * | MAYBE
|
0.52 | * | MAYBE
|
1.23 | * | TIMEOUT
|
60.06 |
AG01/#3.19
|
* | MAYBE
|
26.39 | * | MAYBE
|
24.27 | * | MAYBE
|
0.47 | * | MAYBE
|
0.53 | * | TIMEOUT
|
60.06 |
AG01/#3.2
|
* | WORST_CASE(?,O(n^2))
|
2.20 | * | WORST_CASE(?,O(n^2))
|
1.43 | * | MAYBE
|
0.48 | * | MAYBE
|
0.56 | * | TIMEOUT
|
60.05 |
AG01/#3.22
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.20 | * | MAYBE
|
1.20 | * | WORST_CASE(?,O(n^2))
|
12.96 |
AG01/#3.23
|
* | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
11.27 |
AG01/#3.24
|
* | WORST_CASE(?,O(n^1))
|
1.11 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^2))
|
0.15 | * | WORST_CASE(?,O(n^2))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
1.87 |
AG01/#3.26
|
* | MAYBE
|
38.41 | * | MAYBE
|
38.15 | * | MAYBE
|
0.27 | * | MAYBE
|
1.32 | * | TIMEOUT
|
60.03 |
AG01/#3.29
|
* | WORST_CASE(?,O(1))
|
0.03 | * | WORST_CASE(?,O(1))
|
0.02 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
3.36 |
AG01/#3.31
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.02 | * | MAYBE
|
0.29 | * | MAYBE
|
0.32 | * | MAYBE
|
1.64 |
AG01/#3.33
|
* | WORST_CASE(?,O(1))
|
0.70 | * | WORST_CASE(?,O(1))
|
0.14 | * | WORST_CASE(?,O(n^2))
|
0.24 | * | WORST_CASE(?,O(n^2))
|
3.61 | * | WORST_CASE(?,O(1))
|
1.99 |
AG01/#3.35
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
14.53 |
AG01/#3.36
|
* | MAYBE
|
47.17 | * | MAYBE
|
46.35 | * | MAYBE
|
0.19 | * | MAYBE
|
1.19 | * | TIMEOUT
|
60.00 |
AG01/#3.37
|
* | WORST_CASE(?,O(n^1))
|
1.51 | * | WORST_CASE(?,O(n^1))
|
0.90 | * | MAYBE
|
0.23 | * | MAYBE
|
0.36 | * | WORST_CASE(?,O(n^1))
|
2.85 |
AG01/#3.38
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.08 | * | MAYBE
|
1.82 | * | MAYBE
|
48.25 | * | MAYBE
|
3.12 |
AG01/#3.39
|
* | WORST_CASE(?,O(n^1))
|
3.12 | * | WORST_CASE(?,O(n^1))
|
1.22 | * | MAYBE
|
0.59 | * | MAYBE
|
8.63 | * | TIMEOUT
|
60.06 |
AG01/#3.4
|
* | MAYBE
|
24.82 | * | MAYBE
|
23.84 | * | MAYBE
|
0.24 | * | MAYBE
|
0.52 | * | TIMEOUT
|
60.02 |
AG01/#3.40
|
* | WORST_CASE(?,O(n^2))
|
12.43 | * | WORST_CASE(?,O(n^2))
|
9.37 | * | MAYBE
|
0.70 | * | MAYBE
|
0.75 | * | TIMEOUT
|
60.06 |
AG01/#3.41
|
* | WORST_CASE(?,O(n^2))
|
1.27 | * | WORST_CASE(?,O(n^2))
|
1.55 | * | WORST_CASE(?,O(n^2))
|
0.20 | * | WORST_CASE(?,O(n^2))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
8.20 |
AG01/#3.42
|
* | WORST_CASE(?,O(n^1))
|
2.61 | * | WORST_CASE(?,O(n^2))
|
21.45 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | TIMEOUT
|
60.06 |
AG01/#3.47
|
* | WORST_CASE(?,O(n^2))
|
0.93 | * | WORST_CASE(?,O(n^2))
|
0.56 | * | WORST_CASE(?,O(n^2))
|
0.18 | * | WORST_CASE(?,O(n^2))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
4.87 |
AG01/#3.48
|
* | WORST_CASE(?,O(n^2))
|
41.83 | * | WORST_CASE(?,O(n^2))
|
40.99 | * | MAYBE
|
0.33 | * | MAYBE
|
1.08 | * | TIMEOUT
|
60.06 |
AG01/#3.49
|
* | MAYBE
|
58.47 | * | MAYBE
|
55.04 | * | MAYBE
|
57.65 | * | MAYBE
|
48.50 | * | TIMEOUT
|
60.06 |
AG01/#3.5
|
* | WORST_CASE(?,O(n^2))
|
3.66 | * | WORST_CASE(?,O(n^2))
|
2.28 | * | WORST_CASE(?,O(n^2))
|
0.26 | * | WORST_CASE(?,O(n^2))
|
0.95 | * | TIMEOUT
|
60.06 |
AG01/#3.51
|
* | WORST_CASE(?,O(n^1))
|
2.07 | * | WORST_CASE(?,O(n^1))
|
1.17 | * | MAYBE
|
0.20 | * | MAYBE
|
0.69 | * | WORST_CASE(?,O(n^1))
|
8.35 |
AG01/#3.52
|
* | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | MAYBE
|
0.10 | * | MAYBE
|
0.22 | * | WORST_CASE(?,O(n^1))
|
7.33 |
AG01/#3.53
|
* | WORST_CASE(?,O(n^3))
|
14.17 | * | WORST_CASE(?,O(n^3))
|
10.44 | * | MAYBE
|
1.21 | * | MAYBE
|
3.82 | * | WORST_CASE(?,O(n^3))
|
7.98 |
AG01/#3.53a
|
* | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.07 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
2.08 |
AG01/#3.53b
|
* | WORST_CASE(?,O(n^1))
|
0.93 | * | WORST_CASE(?,O(n^1))
|
0.34 | * | MAYBE
|
0.18 | * | MAYBE
|
0.19 | * | WORST_CASE(?,O(n^1))
|
11.40 |
AG01/#3.54
|
* | MAYBE
|
55.01 | * | MAYBE
|
55.01 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.04 |
AG01/#3.55
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.02 | * | MAYBE
|
48.96 | * | TIMEOUT
|
60.00 |
AG01/#3.56
|
* | WORST_CASE(?,O(n^1))
|
1.37 | * | WORST_CASE(?,O(n^1))
|
0.68 | * | MAYBE
|
0.24 | * | MAYBE
|
0.34 | * | WORST_CASE(?,O(n^1))
|
7.89 |
AG01/#3.57
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.84 | * | MAYBE
|
11.94 | * | TIMEOUT
|
60.02 |
AG01/#3.5a
|
* | WORST_CASE(?,O(n^2))
|
6.11 | * | WORST_CASE(?,O(n^2))
|
4.06 | * | MAYBE
|
1.01 | * | MAYBE
|
3.45 | * | TIMEOUT
|
60.05 |
AG01/#3.5b
|
* | WORST_CASE(?,O(n^3))
|
12.84 | * | WORST_CASE(?,O(n^3))
|
8.23 | * | MAYBE
|
1.07 | * | MAYBE
|
9.58 | * | TIMEOUT
|
60.06 |
AG01/#3.6
|
* | WORST_CASE(?,O(n^2))
|
8.85 | * | WORST_CASE(?,O(n^2))
|
6.86 | * | MAYBE
|
2.16 | * | MAYBE
|
5.82 | * | TIMEOUT
|
60.05 |
AG01/#3.6a
|
* | WORST_CASE(?,O(n^2))
|
10.03 | * | WORST_CASE(?,O(n^2))
|
8.01 | * | WORST_CASE(?,O(n^2))
|
0.43 | * | WORST_CASE(?,O(n^2))
|
2.00 | * | TIMEOUT
|
60.06 |
AG01/#3.6b
|
* | WORST_CASE(?,O(n^3))
|
11.71 | * | WORST_CASE(?,O(n^3))
|
7.55 | * | MAYBE
|
2.17 | * | MAYBE
|
14.47 | * | TIMEOUT
|
60.06 |
AG01/#3.7
|
* | WORST_CASE(?,O(n^1))
|
7.02 | * | WORST_CASE(?,O(n^1))
|
7.02 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | TIMEOUT
|
60.06 |
AG01/#3.8a
|
* | WORST_CASE(?,O(n^2))
|
3.96 | * | WORST_CASE(?,O(n^2))
|
2.13 | * | MAYBE
|
2.70 | * | MAYBE
|
1.09 | * | TIMEOUT
|
60.05 |
AG01/#3.8b
|
* | WORST_CASE(?,O(n^4))
|
25.05 | * | WORST_CASE(?,O(n^4))
|
24.95 | * | MAYBE
|
1.05 | * | MAYBE
|
48.43 | * | TIMEOUT
|
60.06 |
AG01/#4.30c
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.03 | * | MAYBE
|
1.11 | * | MAYBE
|
3.26 | * | TIMEOUT
|
60.00 |
AProVE_04/AAECC
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.54 | * | MAYBE
|
24.08 | * | TIMEOUT
|
60.01 |
AProVE_04/AAECC-ring
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.43 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
AProVE_04/IJCAR_1
|
* | WORST_CASE(?,O(n^1))
|
55.07 | * | WORST_CASE(?,O(n^1))
|
55.11 | * | MAYBE
|
0.35 | * | MAYBE
|
0.93 | * | WORST_CASE(?,O(n^1))
|
13.27 |
AProVE_04/IJCAR_12
|
* | WORST_CASE(?,O(n^2))
|
55.10 | * | WORST_CASE(?,O(n^2))
|
55.17 | * | MAYBE
|
0.31 | * | MAYBE
|
1.87 | * | WORST_CASE(?,O(n^2))
|
9.93 |
AProVE_04/IJCAR_18
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.17 | * | MAYBE
|
1.16 | * | MAYBE
|
5.88 | * | TIMEOUT
|
60.01 |
AProVE_04/IJCAR_26
|
* | MAYBE
|
55.25 | * | MAYBE
|
55.16 | * | MAYBE
|
1.68 | * | MAYBE
|
7.62 | * | TIMEOUT
|
60.00 |
AProVE_04/IJCAR_26a
|
* | MAYBE
|
55.22 | * | MAYBE
|
59.99 | * | MAYBE
|
2.59 | * | MAYBE
|
9.81 | * | TIMEOUT
|
60.00 |
AProVE_04/JFP_Ex31
|
* | MAYBE
|
55.51 | * | MAYBE
|
55.04 | * | MAYBE
|
0.91 | * | MAYBE
|
3.88 | * | WORST_CASE(?,O(n^1))
|
9.55 |
AProVE_04/JFP_Ex51
|
* | WORST_CASE(?,O(n^2))
|
18.35 | * | WORST_CASE(?,O(n^2))
|
11.42 | * | MAYBE
|
39.05 | * | WORST_CASE(?,O(n^2))
|
49.28 | * | TIMEOUT
|
60.01 |
AProVE_04/LPAR_intlist
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.09 | * | TRS is not left-linear
|
0.09 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_04/Liveness6.1
|
* | MAYBE
|
55.23 | * | MAYBE
|
55.05 | * | MAYBE
|
0.49 | * | MAYBE
|
1.96 | * | TIMEOUT
|
60.01 |
AProVE_04/Liveness6.2
|
* | WORST_CASE(?,O(n^2))
|
26.15 | * | WORST_CASE(?,O(n^2))
|
26.13 | * | MAYBE
|
1.44 | * | MAYBE
|
4.62 | * | TIMEOUT
|
60.00 |
AProVE_04/Liveness6.3
|
* | WORST_CASE(?,O(n^1))
|
25.06 | * | WORST_CASE(?,O(n^1))
|
25.03 | * | MAYBE
|
0.59 | * | MAYBE
|
54.10 | * | WORST_CASE(?,O(n^1))
|
9.32 |
AProVE_04/Liveness6.4
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.37 | * | MAYBE
|
0.90 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.03 |
AProVE_04/Liveness8
|
* | WORST_CASE(?,O(n^1))
|
53.03 | * | WORST_CASE(?,O(n^1))
|
53.06 | * | MAYBE
|
0.47 | * | MAYBE
|
18.31 | * | TIMEOUT
|
60.00 |
AProVE_04/Liveness_WRS
|
* | WORST_CASE(?,O(n^1))
|
55.10 | * | WORST_CASE(?,O(n^1))
|
55.04 | * | MAYBE
|
0.61 | * | MAYBE
|
18.62 | * | WORST_CASE(?,O(n^1))
|
3.66 |
AProVE_04/fac
|
* | MAYBE
|
53.34 | * | MAYBE
|
53.60 | * | MAYBE
|
0.24 | * | MAYBE
|
1.44 | * | TIMEOUT
|
60.01 |
AProVE_04/rta1
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.64 | * | MAYBE
|
2.76 | * | TIMEOUT
|
60.01 |
AProVE_04/rta2
|
* | MAYBE
|
41.90 | * | MAYBE
|
40.81 | * | MAYBE
|
0.13 | * | MAYBE
|
0.45 | * | TIMEOUT
|
60.06 |
AProVE_04/rta3
|
* | MAYBE
|
17.21 | * | MAYBE
|
13.92 | * | MAYBE
|
0.27 | * | MAYBE
|
3.31 | * | TIMEOUT
|
60.01 |
AProVE_06/div_notCeTermin
|
* | MAYBE
|
55.67 | * | MAYBE
|
55.10 | * | MAYBE
|
0.93 | * | MAYBE
|
4.34 | * | TIMEOUT
|
60.00 |
AProVE_06/div_notTermin
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.18 | * | MAYBE
|
2.31 | * | MAYBE
|
11.18 | * | TIMEOUT
|
60.00 |
AProVE_06/factorial1
|
* | MAYBE
|
55.33 | * | MAYBE
|
55.42 | * | MAYBE
|
1.38 | * | MAYBE
|
9.84 | * | TIMEOUT
|
60.00 |
AProVE_06/factorial2
|
* | MAYBE
|
55.26 | * | MAYBE
|
55.05 | * | MAYBE
|
0.93 | * | MAYBE
|
0.77 | * | TIMEOUT
|
60.01 |
AProVE_06/identity
|
* | MAYBE
|
55.15 | * | MAYBE
|
55.21 | * | MAYBE
|
2.18 | * | MAYBE
|
1.18 | * | TIMEOUT
|
60.06 |
AProVE_06/logarithm
|
* | MAYBE
|
56.96 | * | MAYBE
|
55.54 | * | MAYBE
|
1.78 | * | MAYBE
|
1.71 | * | TIMEOUT
|
60.00 |
AProVE_06/modulo
|
* | MAYBE
|
28.59 | * | MAYBE
|
27.15 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_06/nonterm
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.03 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | MAYBE
|
1.23 |
AProVE_06/quicksort
|
* | MAYBE
|
55.38 | * | MAYBE
|
55.19 | * | MAYBE
|
3.50 | * | MAYBE
|
49.17 | * | TIMEOUT
|
60.00 |
AProVE_06/quot
|
* | MAYBE
|
29.35 | * | MAYBE
|
29.46 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_06/sizeChange
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.08 | * | MAYBE
|
2.02 | * | MAYBE
|
6.45 | * | TIMEOUT
|
60.02 |
AProVE_06/tower
|
* | MAYBE
|
55.43 | * | MAYBE
|
55.52 | * | MAYBE
|
1.67 | * | MAYBE
|
6.61 | * | TIMEOUT
|
60.00 |
AProVE_06/tower_sizeChange
|
* | MAYBE
|
56.06 | * | MAYBE
|
55.61 | * | MAYBE
|
1.22 | * | MAYBE
|
1.34 | * | TIMEOUT
|
60.01 |
AProVE_07/kabasci01
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.29 | * | MAYBE
|
44.16 | * | WORST_CASE(?,O(n^1))
|
7.28 |
AProVE_07/kabasci02
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.15 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/kabasci03
|
* | TIMEOUT
|
60.14 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.03 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
0.98 |
AProVE_07/kabasci04
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.08 | * | MAYBE
|
2.30 | * | TIMEOUT
|
60.00 |
AProVE_07/kabasci05
|
* | TIMEOUT
|
60.10 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.51 | * | MAYBE
|
5.40 | * | TIMEOUT
|
60.00 |
AProVE_07/otto01
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.59 | * | MAYBE
|
1.65 | * | TIMEOUT
|
60.00 |
AProVE_07/otto02
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.12 | * | MAYBE
|
1.02 | * | MAYBE
|
4.04 | * | TIMEOUT
|
60.00 |
AProVE_07/otto03
|
* | MAYBE
|
44.61 | * | MAYBE
|
41.24 | * | MAYBE
|
0.24 | * | MAYBE
|
0.59 | * | TIMEOUT
|
60.06 |
AProVE_07/otto04
|
* | MAYBE
|
59.58 | * | MAYBE
|
55.13 | * | MAYBE
|
2.09 | * | MAYBE
|
49.55 | * | MAYBE
|
2.03 |
AProVE_07/otto05
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.11 | * | MAYBE
|
0.82 | * | MAYBE
|
0.83 | * | TIMEOUT
|
60.06 |
AProVE_07/otto06
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
56.83 | * | MAYBE
|
0.94 | * | MAYBE
|
2.92 | * | TIMEOUT
|
60.00 |
AProVE_07/otto07
|
* | MAYBE
|
32.20 | * | MAYBE
|
31.07 | * | MAYBE
|
0.16 | * | MAYBE
|
0.47 | * | TIMEOUT
|
60.05 |
AProVE_07/otto08
|
* | MAYBE
|
55.11 | * | MAYBE
|
50.17 | * | MAYBE
|
0.38 | * | MAYBE
|
2.18 | * | TIMEOUT
|
60.06 |
AProVE_07/otto09
|
* | MAYBE
|
35.01 | * | MAYBE
|
28.56 | * | MAYBE
|
0.28 | * | MAYBE
|
2.16 | * | TIMEOUT
|
60.06 |
AProVE_07/otto10
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.06 | * | MAYBE
|
0.75 | * | MAYBE
|
2.63 | * | TIMEOUT
|
60.01 |
AProVE_07/otto11
|
* | MAYBE
|
55.20 | * | MAYBE
|
47.56 | * | MAYBE
|
0.45 | * | MAYBE
|
1.34 | * | TIMEOUT
|
60.00 |
AProVE_07/otto12
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.41 | * | MAYBE
|
1.39 | * | MAYBE
|
1.07 | * | TIMEOUT
|
60.06 |
AProVE_07/otto13
|
* | MAYBE
|
55.17 | * | MAYBE
|
55.32 | * | MAYBE
|
2.21 | * | MAYBE
|
2.56 | * | TIMEOUT
|
60.01 |
AProVE_07/thiemann01
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.08 | * | MAYBE
|
0.40 | * | MAYBE
|
1.56 | * | TIMEOUT
|
60.04 |
AProVE_07/thiemann02
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
6.38 | * | MAYBE
|
24.64 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann03
|
* | MAYBE
|
55.81 | * | MAYBE
|
55.56 | * | MAYBE
|
2.93 | * | MAYBE
|
3.00 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann04
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.84 | * | MAYBE
|
24.23 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann05
|
* | MAYBE
|
55.57 | * | MAYBE
|
55.33 | * | MAYBE
|
1.47 | * | MAYBE
|
3.46 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann06
|
* | MAYBE
|
50.14 | * | MAYBE
|
49.83 | * | MAYBE
|
0.33 | * | MAYBE
|
5.35 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann07
|
* | MAYBE
|
55.84 | * | MAYBE
|
55.25 | * | MAYBE
|
3.82 | * | MAYBE
|
5.44 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann08
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.03 | * | MAYBE
|
1.20 | * | MAYBE
|
1.42 | * | MAYBE
|
1.20 |
AProVE_07/thiemann09
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.67 | * | MAYBE
|
2.79 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann10
|
* | MAYBE
|
55.45 | * | MAYBE
|
55.33 | * | MAYBE
|
0.81 | * | MAYBE
|
1.08 | * | TIMEOUT
|
60.06 |
AProVE_07/thiemann11
|
* | MAYBE
|
56.47 | * | MAYBE
|
55.73 | * | MAYBE
|
0.93 | * | MAYBE
|
2.01 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann12
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.04 | * | MAYBE
|
0.60 | * | MAYBE
|
1.00 | * | TIMEOUT
|
60.06 |
AProVE_07/thiemann13
|
* | MAYBE
|
55.53 | * | MAYBE
|
55.09 | * | MAYBE
|
1.01 | * | MAYBE
|
2.62 | * | TIMEOUT
|
60.06 |
AProVE_07/thiemann14
|
* | MAYBE
|
55.14 | * | MAYBE
|
55.43 | * | MAYBE
|
2.75 | * | MAYBE
|
7.64 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann15
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.07 | * | MAYBE
|
0.85 | * | MAYBE
|
0.82 | * | TIMEOUT
|
60.01 |
AProVE_07/thiemann16
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.24 | * | MAYBE
|
7.74 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann17
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.98 | * | MAYBE
|
4.65 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann18
|
* | MAYBE
|
55.13 | * | MAYBE
|
55.48 | * | MAYBE
|
3.31 | * | MAYBE
|
49.10 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann19
|
* | MAYBE
|
55.11 | * | MAYBE
|
49.46 | * | MAYBE
|
0.24 | * | MAYBE
|
0.89 | * | TIMEOUT
|
60.01 |
AProVE_07/thiemann20
|
* | MAYBE
|
55.15 | * | MAYBE
|
55.08 | * | MAYBE
|
0.62 | * | MAYBE
|
0.74 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann21
|
* | MAYBE
|
55.15 | * | MAYBE
|
55.90 | * | MAYBE
|
4.79 | * | MAYBE
|
11.04 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann22
|
* | MAYBE
|
55.89 | * | MAYBE
|
55.29 | * | MAYBE
|
0.96 | * | MAYBE
|
1.00 | * | TIMEOUT
|
60.06 |
AProVE_07/thiemann23
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.02 | * | MAYBE
|
0.35 | * | MAYBE
|
0.97 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann24
|
* | MAYBE
|
55.84 | * | MAYBE
|
55.35 | * | MAYBE
|
1.12 | * | MAYBE
|
0.85 | * | TIMEOUT
|
60.06 |
AProVE_07/thiemann25
|
* | MAYBE
|
55.04 | * | MAYBE
|
51.68 | * | MAYBE
|
0.18 | * | MAYBE
|
0.74 | * | TIMEOUT
|
60.06 |
AProVE_07/thiemann26
|
* | MAYBE
|
51.96 | * | MAYBE
|
44.76 | * | MAYBE
|
0.25 | * | MAYBE
|
0.85 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann27
|
* | MAYBE
|
37.28 | * | MAYBE
|
35.50 | * | MAYBE
|
0.22 | * | MAYBE
|
0.52 | * | TIMEOUT
|
60.06 |
AProVE_07/thiemann28
|
* | MAYBE
|
52.66 | * | MAYBE
|
50.89 | * | MAYBE
|
0.23 | * | MAYBE
|
0.96 | * | TIMEOUT
|
60.03 |
AProVE_07/thiemann29
|
* | MAYBE
|
56.09 | * | MAYBE
|
55.37 | * | MAYBE
|
1.69 | * | MAYBE
|
3.48 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann30
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
8.21 | * | MAYBE
|
18.73 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann31
|
* | MAYBE
|
55.58 | * | MAYBE
|
55.08 | * | MAYBE
|
0.80 | * | MAYBE
|
2.56 | * | TIMEOUT
|
60.05 |
AProVE_07/thiemann32
|
* | MAYBE
|
55.52 | * | MAYBE
|
55.24 | * | MAYBE
|
2.52 | * | MAYBE
|
4.81 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann33
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.31 | * | MAYBE
|
1.76 | * | MAYBE
|
1.59 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann34
|
* | MAYBE
|
55.20 | * | MAYBE
|
55.16 | * | MAYBE
|
0.66 | * | MAYBE
|
3.19 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann36
|
* | MAYBE
|
55.52 | * | MAYBE
|
55.02 | * | MAYBE
|
0.72 | * | MAYBE
|
3.48 | * | TIMEOUT
|
60.05 |
AProVE_07/thiemann37
|
* | MAYBE
|
55.48 | * | MAYBE
|
55.29 | * | MAYBE
|
1.21 | * | MAYBE
|
3.71 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann38
|
* | MAYBE
|
31.26 | * | MAYBE
|
30.49 | * | MAYBE
|
0.41 | * | MAYBE
|
1.29 | * | TIMEOUT
|
60.00 |
AProVE_07/thiemann40
|
* | MAYBE
|
19.76 | * | MAYBE
|
18.22 | * | MAYBE
|
0.15 | * | MAYBE
|
0.33 | * | WORST_CASE(?,O(n^1))
|
4.97 |
AProVE_07/thiemann41
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.09 | * | MAYBE
|
1.13 | * | MAYBE
|
2.17 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe01
|
* | TIMEOUT
|
60.12 | * | TIMEOUT
|
60.12 | * | TRS is not left-linear
|
0.15 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe02
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.39 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe03
|
* | TIMEOUT
|
60.21 | * | TIMEOUT
|
60.13 | * | TRS is not left-linear
|
0.40 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe05
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe06
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe07
|
* | MAYBE
|
55.37 | * | TIMEOUT
|
60.71 | * | TRS is not left-linear
|
0.19 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe08
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.02 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe09
|
* | TIMEOUT
|
60.12 | * | TIMEOUT
|
61.76 | * | TRS is not left-linear
|
0.90 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.01 |
AProVE_07/wiehe11
|
* | TIMEOUT
|
60.69 | * | TIMEOUT
|
60.35 | * | TRS is not left-linear
|
4.10 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
AProVE_07/wiehe12
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.03 | * | TRS is not left-linear
|
0.03 | * | TIMEOUT
|
60.01 |
AProVE_08/id_inc
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.12 | * | TRS is not left-linear
|
0.04 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.06 |
AProVE_08/log
|
* | MAYBE
|
55.30 | * | MAYBE
|
55.10 | * | MAYBE
|
1.72 | * | MAYBE
|
2.28 | * | TIMEOUT
|
60.00 |
AProVE_08/parting01_reverse
|
* | MAYBE
|
57.29 | * | MAYBE
|
57.17 | * | MAYBE
|
1.01 | * | MAYBE
|
16.58 | * | TIMEOUT
|
60.00 |
AProVE_08/parting02_doublelist
|
* | MAYBE
|
59.18 | * | MAYBE
|
58.84 | * | MAYBE
|
1.05 | * | MAYBE
|
9.24 | * | TIMEOUT
|
60.01 |
AProVE_08/parting03_minsort
|
* | MAYBE
|
53.22 | * | MAYBE
|
53.03 | * | MAYBE
|
0.88 | * | MAYBE
|
2.66 | * | TIMEOUT
|
60.00 |
AProVE_08/parting04_maxsort_h
|
* | MAYBE
|
55.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.69 | * | MAYBE
|
7.07 | * | TIMEOUT
|
60.01 |
AProVE_08/parting05_maxsort
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.69 | * | MAYBE
|
5.53 | * | TIMEOUT
|
60.00 |
AProVE_08/round
|
* | MAYBE
|
15.04 | * | MAYBE
|
14.67 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.06 |
AProVE_08/round_nonterm
|
* | MAYBE
|
22.64 | * | MAYBE
|
22.87 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | MAYBE
|
1.00 |
AProVE_08/thiemann40_modified
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.18 | * | MAYBE
|
1.43 | * | MAYBE
|
0.56 | * | TIMEOUT
|
60.06 |
AProVE_09_Inductive/div
|
* | MAYBE
|
33.35 | * | MAYBE
|
33.66 | * | MAYBE
|
0.37 | * | MAYBE
|
3.37 | * | TIMEOUT
|
60.01 |
AProVE_09_Inductive/divhard
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.09 | * | MAYBE
|
0.72 | * | MAYBE
|
1.83 | * | TIMEOUT
|
60.03 |
AProVE_09_Inductive/gcd
|
* | MAYBE
|
33.99 | * | MAYBE
|
33.25 | * | MAYBE
|
0.37 | * | MAYBE
|
2.29 | * | TIMEOUT
|
60.02 |
AProVE_09_Inductive/gcd2
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.04 | * | MAYBE
|
0.59 | * | MAYBE
|
4.64 | * | TIMEOUT
|
60.00 |
AProVE_09_Inductive/gcdhard
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.05 | * | MAYBE
|
1.54 | * | MAYBE
|
2.27 | * | TIMEOUT
|
60.01 |
AProVE_09_Inductive/log
|
* | MAYBE
|
55.14 | * | MAYBE
|
55.37 | * | MAYBE
|
1.41 | * | MAYBE
|
0.82 | * | TIMEOUT
|
60.01 |
AProVE_09_Inductive/maxsort
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.73 | * | MAYBE
|
5.42 | * | TIMEOUT
|
60.05 |
AProVE_09_Inductive/maxsortcondition
|
* | MAYBE
|
40.13 | * | MAYBE
|
29.21 | * | MAYBE
|
0.65 | * | MAYBE
|
12.37 | * | TIMEOUT
|
60.01 |
AProVE_09_Inductive/minsort
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.09 | * | MAYBE
|
18.46 | * | TIMEOUT
|
60.01 |
AProVE_09_Inductive/mod
|
* | MAYBE
|
54.81 | * | MAYBE
|
53.02 | * | MAYBE
|
0.64 | * | MAYBE
|
1.69 | * | TIMEOUT
|
60.02 |
AProVE_09_Inductive/qsort
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.11 | * | MAYBE
|
3.74 | * | TIMEOUT
|
60.03 |
AProVE_09_Inductive/qsortlast
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.09 | * | MAYBE
|
1.92 | * | MAYBE
|
9.98 | * | TIMEOUT
|
60.11 |
AProVE_09_Inductive/qsortmiddle
|
* | MAYBE
|
55.17 | * | MAYBE
|
55.19 | * | MAYBE
|
3.14 | * | MAYBE
|
25.15 | * | TIMEOUT
|
60.01 |
AProVE_09_Inductive/zerolist
|
* | MAYBE
|
55.04 | * | MAYBE
|
52.98 | * | MAYBE
|
2.45 | * | MAYBE
|
27.91 | * | TIMEOUT
|
60.06 |
Beerendonk_07/1
|
* | MAYBE
|
14.79 | * | MAYBE
|
14.07 | * | MAYBE
|
0.16 | * | MAYBE
|
0.30 | * | TIMEOUT
|
60.06 |
Beerendonk_07/10
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.03 | * | MAYBE
|
0.56 | * | MAYBE
|
2.36 | * | TIMEOUT
|
60.00 |
Beerendonk_07/11
|
* | MAYBE
|
51.80 | * | MAYBE
|
50.74 | * | MAYBE
|
0.28 | * | MAYBE
|
1.48 | * | TIMEOUT
|
60.06 |
Beerendonk_07/12
|
* | MAYBE
|
40.63 | * | MAYBE
|
37.50 | * | MAYBE
|
0.21 | * | MAYBE
|
0.87 | * | TIMEOUT
|
60.06 |
Beerendonk_07/13
|
* | MAYBE
|
42.27 | * | MAYBE
|
43.43 | * | MAYBE
|
0.17 | * | MAYBE
|
1.13 | * | TIMEOUT
|
60.06 |
Beerendonk_07/14
|
* | MAYBE
|
22.78 | * | MAYBE
|
27.83 | * | MAYBE
|
0.31 | * | MAYBE
|
1.45 | * | TIMEOUT
|
60.06 |
Beerendonk_07/15
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.09 | * | MAYBE
|
0.85 | * | MAYBE
|
5.28 | * | TIMEOUT
|
60.00 |
Beerendonk_07/16
|
* | MAYBE
|
58.14 | * | MAYBE
|
57.00 | * | MAYBE
|
0.27 | * | MAYBE
|
5.84 | * | TIMEOUT
|
60.00 |
Beerendonk_07/17
|
* | MAYBE
|
53.07 | * | MAYBE
|
53.06 | * | MAYBE
|
0.37 | * | MAYBE
|
5.57 | * | TIMEOUT
|
60.00 |
Beerendonk_07/18
|
* | MAYBE
|
55.18 | * | MAYBE
|
55.03 | * | MAYBE
|
0.48 | * | MAYBE
|
11.65 | * | TIMEOUT
|
60.00 |
Beerendonk_07/19
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.25 | * | MAYBE
|
18.40 | * | TIMEOUT
|
60.01 |
Beerendonk_07/2
|
* | MAYBE
|
31.32 | * | MAYBE
|
29.64 | * | MAYBE
|
0.16 | * | MAYBE
|
0.33 | * | TIMEOUT
|
60.06 |
Beerendonk_07/20
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.03 | * | MAYBE
|
0.77 | * | MAYBE
|
1.78 | * | TIMEOUT
|
60.00 |
Beerendonk_07/21
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.33 | * | MAYBE
|
1.96 | * | TIMEOUT
|
60.00 |
Beerendonk_07/22
|
* | MAYBE
|
54.71 | * | MAYBE
|
54.98 | * | MAYBE
|
0.19 | * | MAYBE
|
1.10 | * | TIMEOUT
|
60.06 |
Beerendonk_07/23
|
* | MAYBE
|
51.39 | * | MAYBE
|
49.12 | * | MAYBE
|
0.20 | * | MAYBE
|
0.71 | * | TIMEOUT
|
60.06 |
Beerendonk_07/24
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.10 | * | MAYBE
|
0.33 | * | MAYBE
|
7.34 | * | TIMEOUT
|
60.00 |
Beerendonk_07/3
|
* | MAYBE
|
17.46 | * | MAYBE
|
16.58 | * | MAYBE
|
0.16 | * | MAYBE
|
0.38 | * | TIMEOUT
|
60.00 |
Beerendonk_07/4
|
* | MAYBE
|
19.19 | * | MAYBE
|
18.32 | * | MAYBE
|
0.16 | * | MAYBE
|
0.25 | * | TIMEOUT
|
60.06 |
Beerendonk_07/5
|
* | MAYBE
|
25.59 | * | MAYBE
|
25.08 | * | MAYBE
|
0.25 | * | MAYBE
|
0.59 | * | TIMEOUT
|
60.01 |
Beerendonk_07/6
|
* | MAYBE
|
18.47 | * | MAYBE
|
17.07 | * | MAYBE
|
0.16 | * | MAYBE
|
0.33 | * | TIMEOUT
|
60.06 |
Beerendonk_07/7
|
* | MAYBE
|
53.07 | * | MAYBE
|
53.07 | * | MAYBE
|
0.16 | * | MAYBE
|
0.37 | * | TIMEOUT
|
60.01 |
Beerendonk_07/8
|
* | MAYBE
|
53.06 | * | MAYBE
|
53.03 | * | MAYBE
|
0.38 | * | MAYBE
|
0.51 | * | TIMEOUT
|
60.01 |
Beerendonk_07/9
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.21 | * | MAYBE
|
0.61 | * | TIMEOUT
|
60.01 |
CiME_04/ack_prolog
|
* | MAYBE
|
55.02 | * | MAYBE
|
51.61 | * | MAYBE
|
0.28 | * | MAYBE
|
11.80 | * | TIMEOUT
|
60.01 |
CiME_04/append
|
* | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
4.72 |
CiME_04/append-hard
|
* | MAYBE
|
45.07 | * | MAYBE
|
42.54 | * | MAYBE
|
0.26 | * | MAYBE
|
0.66 | * | WORST_CASE(?,O(n^1))
|
5.33 |
CiME_04/append-wrong
|
* | MAYBE
|
55.57 | * | MAYBE
|
55.12 | * | MAYBE
|
0.74 | * | MAYBE
|
0.73 | * | MAYBE
|
1.15 |
CiME_04/big
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
5.01 | * | MAYBE
|
43.23 | * | TIMEOUT
|
60.00 |
CiME_04/dpqs
|
* | WORST_CASE(?,O(1))
|
0.89 | * | WORST_CASE(?,O(1))
|
0.53 | * | MAYBE
|
0.13 | * | MAYBE
|
0.41 | * | WORST_CASE(?,O(1))
|
0.70 |
CiME_04/fact-hard
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.25 | * | MAYBE
|
1.30 | * | MAYBE
|
1.01 | * | TIMEOUT
|
60.00 |
CiME_04/filliatre
|
* | MAYBE
|
55.15 | * | MAYBE
|
55.08 | * | MAYBE
|
2.52 | * | MAYBE
|
15.32 | * | TIMEOUT
|
60.00 |
CiME_04/filliatre2
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.11 | * | MAYBE
|
1.78 | * | MAYBE
|
14.49 | * | TIMEOUT
|
60.00 |
CiME_04/filliatre3
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.10 | * | MAYBE
|
2.09 | * | MAYBE
|
18.61 | * | TIMEOUT
|
60.00 |
CiME_04/intersect
|
* | WORST_CASE(?,O(n^4))
|
19.47 | * | WORST_CASE(?,O(n^4))
|
28.79 | * | MAYBE
|
0.79 | * | MAYBE
|
10.18 | * | TIMEOUT
|
60.06 |
CiME_04/list-sum-prod
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.19 | * | MAYBE
|
0.41 | * | MAYBE
|
1.33 | * | TIMEOUT
|
60.01 |
CiME_04/list-sum-prod-assoc
|
* | MAYBE
|
28.94 | * | MAYBE
|
27.27 | * | MAYBE
|
0.37 | * | MAYBE
|
0.85 | * | TIMEOUT
|
60.00 |
CiME_04/list-sum-prod-assoc-append
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.05 | * | MAYBE
|
1.10 | * | MAYBE
|
4.10 | * | TIMEOUT
|
60.00 |
CiME_04/list-sum-prod-bin
|
* | MAYBE
|
53.13 | * | MAYBE
|
53.07 | * | MAYBE
|
0.44 | * | MAYBE
|
3.13 | * | TIMEOUT
|
60.00 |
CiME_04/list-sum-prod-bin-assoc
|
* | MAYBE
|
53.11 | * | MAYBE
|
53.07 | * | MAYBE
|
0.33 | * | MAYBE
|
1.14 | * | TIMEOUT
|
60.00 |
CiME_04/list-sum-prod-bin-assoc-distr-app
|
* | MAYBE
|
57.82 | * | MAYBE
|
55.07 | * | MAYBE
|
0.55 | * | MAYBE
|
9.21 | * | TIMEOUT
|
60.00 |
CiME_04/log2
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.11 | * | MAYBE
|
1.26 | * | MAYBE
|
5.43 | * | TIMEOUT
|
60.00 |
CiME_04/lse
|
* | WORST_CASE(?,O(n^3))
|
53.50 | * | WORST_CASE(?,O(n^2))
|
53.36 | * | MAYBE
|
1.98 | * | MAYBE
|
20.55 | * | WORST_CASE(?,O(n^2))
|
4.67 |
CiME_04/maude2
|
* | MAYBE
|
55.72 | * | MAYBE
|
55.19 | * | TRS is not left-linear
|
0.09 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
CiME_04/mucrl1
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.02 | * | TRS is not left-linear
|
0.02 | * | TIMEOUT
|
60.05 |
CiME_04/ternary
|
* | MAYBE
|
55.50 | * | MAYBE
|
55.39 | * | MAYBE
|
1.54 | * | MAYBE
|
1.43 | * | TIMEOUT
|
60.00 |
CiME_04/ternary-hard
|
* | MAYBE
|
55.47 | * | MAYBE
|
55.20 | * | MAYBE
|
1.09 | * | MAYBE
|
1.36 | * | TIMEOUT
|
60.01 |
CiME_04/tree
|
* | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^4))
|
55.46 | * | MAYBE
|
1.97 | * | MAYBE
|
47.54 | * | TIMEOUT
|
60.00 |
Der95/06
|
* | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
2.93 |
Der95/07
|
* | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | MAYBE
|
0.17 | * | MAYBE
|
0.31 | * | WORST_CASE(?,O(n^1))
|
2.96 |
Der95/08
|
* | WORST_CASE(?,O(n^1))
|
3.84 | * | WORST_CASE(?,O(n^1))
|
0.66 | * | MAYBE
|
0.60 | * | MAYBE
|
4.34 | * | TIMEOUT
|
60.06 |
Der95/11
|
* | WORST_CASE(?,O(n^1))
|
8.72 | * | WORST_CASE(?,O(n^1))
|
4.88 | * | MAYBE
|
1.65 | * | MAYBE
|
49.52 | * | WORST_CASE(?,O(n^1))
|
15.03 |
Der95/12
|
* | MAYBE
|
19.77 | * | MAYBE
|
18.72 | * | MAYBE
|
0.46 | * | MAYBE
|
0.45 | * | TIMEOUT
|
60.07 |
Der95/18
|
* | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
10.10 |
Der95/20
|
* | MAYBE
|
24.74 | * | MAYBE
|
26.10 | * | MAYBE
|
0.48 | * | MAYBE
|
0.51 | * | TIMEOUT
|
60.00 |
Der95/21
|
* | MAYBE
|
22.98 | * | MAYBE
|
22.31 | * | MAYBE
|
0.19 | * | MAYBE
|
0.47 | * | TIMEOUT
|
60.02 |
Der95/27
|
* | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
5.81 |
Der95/32
|
* | WORST_CASE(?,O(n^2))
|
9.59 | * | WORST_CASE(?,O(n^2))
|
5.27 | * | MAYBE
|
6.48 | * | WORST_CASE(?,O(n^3))
|
29.53 | * | TIMEOUT
|
60.04 |
Der95/33
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.61 | * | MAYBE
|
2.85 | * | WORST_CASE(?,O(n^1))
|
17.87 |
Endrullis_06/direct
|
* | WORST_CASE(?,O(n^1))
|
3.10 | * | WORST_CASE(?,O(n^1))
|
2.14 | * | MAYBE
|
28.69 | * | MAYBE
|
45.17 | * | WORST_CASE(?,O(n^1))
|
3.48 |
Frederiksen_Glenstrup/ack
|
* | MAYBE
|
26.78 | * | MAYBE
|
24.79 | * | MAYBE
|
0.39 | * | MAYBE
|
1.84 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/add
|
* | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
1.71 |
Frederiksen_Glenstrup/addlists
|
* | WORST_CASE(?,O(n^1))
|
1.99 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
1.51 |
Frederiksen_Glenstrup/anchored
|
* | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
1.29 |
Frederiksen_Glenstrup/append
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
1.77 |
Frederiksen_Glenstrup/assrewrite
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.03 | * | MAYBE
|
3.26 | * | MAYBE
|
49.10 | * | TIMEOUT
|
60.06 |
Frederiksen_Glenstrup/badd
|
* | MAYBE
|
13.01 | * | MAYBE
|
11.74 | * | MAYBE
|
0.20 | * | MAYBE
|
0.39 | * | MAYBE
|
1.48 |
Frederiksen_Glenstrup/binom
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.10 | * | MAYBE
|
0.72 | * | MAYBE
|
1.37 | * | MAYBE
|
1.67 |
Frederiksen_Glenstrup/decrease
|
* | WORST_CASE(?,O(n^1))
|
2.30 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
1.10 | * | WORST_CASE(?,O(n^1))
|
1.40 | * | WORST_CASE(?,O(n^1))
|
1.55 |
Frederiksen_Glenstrup/disjconj
|
* | MAYBE
|
50.63 | * | MAYBE
|
47.57 | * | MAYBE
|
2.14 | * | MAYBE
|
3.95 | * | MAYBE
|
3.30 |
Frederiksen_Glenstrup/duplicate
|
* | WORST_CASE(?,O(n^1))
|
1.49 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
8.86 |
Frederiksen_Glenstrup/equal
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.29 | * | MAYBE
|
2.42 | * | MAYBE
|
1.40 |
Frederiksen_Glenstrup/evenodd
|
* | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
1.58 |
Frederiksen_Glenstrup/fold
|
* | WORST_CASE(?,O(n^1))
|
1.13 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
8.12 |
Frederiksen_Glenstrup/game
|
* | WORST_CASE(?,O(n^1))
|
1.01 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.53 | * | WORST_CASE(?,O(n^1))
|
1.34 |
Frederiksen_Glenstrup/gcd
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.07 | * | MAYBE
|
4.50 | * | MAYBE
|
37.44 | * | TIMEOUT
|
60.02 |
Frederiksen_Glenstrup/gcd2
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.08 | * | MAYBE
|
3.60 | * | MAYBE
|
44.97 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/increase
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.28 | * | MAYBE
|
2.66 | * | MAYBE
|
1.56 |
Frederiksen_Glenstrup/int
|
* | TIMEOUT
|
60.00 | * | MAYBE
|
55.41 | * | MAYBE
|
32.91 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/intlookup
|
* | MAYBE
|
14.77 | * | MAYBE
|
12.02 | * | MAYBE
|
0.18 | * | MAYBE
|
0.55 | * | MAYBE
|
3.35 |
Frederiksen_Glenstrup/letexp
|
* | MAYBE
|
10.25 | * | MAYBE
|
8.35 | * | MAYBE
|
0.09 | * | MAYBE
|
0.11 | * | MAYBE
|
1.37 |
Frederiksen_Glenstrup/list
|
* | WORST_CASE(?,O(n^1))
|
1.50 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
1.86 |
Frederiksen_Glenstrup/lte
|
* | WORST_CASE(?,O(n^1))
|
0.98 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
9.10 |
Frederiksen_Glenstrup/map0
|
* | WORST_CASE(?,O(n^1))
|
1.57 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
13.76 |
Frederiksen_Glenstrup/member
|
* | WORST_CASE(?,O(n^1))
|
1.90 | * | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
9.89 |
Frederiksen_Glenstrup/mergelists
|
* | WORST_CASE(?,O(n^1))
|
1.54 | * | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
1.64 | * | WORST_CASE(?,O(n^1))
|
10.09 |
Frederiksen_Glenstrup/mergesort
|
* | WORST_CASE(?,O(n^3))
|
37.99 | * | WORST_CASE(?,O(n^3))
|
19.50 | * | MAYBE
|
1.69 | * | MAYBE
|
35.16 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/minsort
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.11 | * | MAYBE
|
4.87 | * | MAYBE
|
49.08 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/mul
|
* | WORST_CASE(?,O(n^3))
|
2.46 | * | WORST_CASE(?,O(n^3))
|
1.71 | * | MAYBE
|
0.19 | * | MAYBE
|
0.50 | * | WORST_CASE(?,O(n^3))
|
11.04 |
Frederiksen_Glenstrup/mul_better
|
* | WORST_CASE(?,O(n^3))
|
4.23 | * | WORST_CASE(?,O(n^3))
|
1.93 | * | MAYBE
|
0.39 | * | MAYBE
|
0.65 | * | WORST_CASE(?,O(n^3))
|
10.19 |
Frederiksen_Glenstrup/naiverev
|
* | WORST_CASE(?,O(n^2))
|
8.67 | * | WORST_CASE(?,O(n^2))
|
7.83 | * | MAYBE
|
0.37 | * | WORST_CASE(?,O(n^2))
|
0.60 | * | WORST_CASE(?,O(n^2))
|
7.23 |
Frederiksen_Glenstrup/nestdec
|
* | WORST_CASE(?,O(n^1))
|
6.01 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
2.63 | * | WORST_CASE(?,O(n^1))
|
7.92 | * | WORST_CASE(?,O(n^1))
|
10.21 |
Frederiksen_Glenstrup/nesteql
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.02 | * | MAYBE
|
1.78 | * | MAYBE
|
2.75 |
Frederiksen_Glenstrup/nestimeql
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.75 | * | MAYBE
|
3.20 | * | MAYBE
|
1.64 |
Frederiksen_Glenstrup/nestinc
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.83 | * | MAYBE
|
1.62 | * | MAYBE
|
1.81 |
Frederiksen_Glenstrup/nolexicord
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.02 | * | TIMEOUT
|
60.06 |
Frederiksen_Glenstrup/ordered
|
* | WORST_CASE(?,O(n^1))
|
2.17 | * | WORST_CASE(?,O(n^1))
|
0.77 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.78 | * | WORST_CASE(?,O(n^1))
|
10.91 |
Frederiksen_Glenstrup/ordered_better
|
* | WORST_CASE(?,O(n^1))
|
2.84 | * | WORST_CASE(?,O(n^1))
|
0.79 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | TIMEOUT
|
60.06 |
Frederiksen_Glenstrup/overlap
|
* | WORST_CASE(?,O(n^2))
|
4.06 | * | WORST_CASE(?,O(n^2))
|
2.32 | * | MAYBE
|
0.75 | * | MAYBE
|
3.26 | * | TIMEOUT
|
60.06 |
Frederiksen_Glenstrup/parsexp
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.19 | * | MAYBE
|
5.27 | * | MAYBE
|
35.86 | * | MAYBE
|
3.03 |
Frederiksen_Glenstrup/permute
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.79 | * | MAYBE
|
6.49 | * | MAYBE
|
2.67 |
Frederiksen_Glenstrup/power
|
* | MAYBE
|
55.14 | * | MAYBE
|
55.17 | * | MAYBE
|
1.22 | * | MAYBE
|
1.27 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/quicksort
|
* | MAYBE
|
56.05 | * | MAYBE
|
55.18 | * | MAYBE
|
3.49 | * | MAYBE
|
48.93 | * | TIMEOUT
|
60.00 |
Frederiksen_Glenstrup/revapp
|
* | WORST_CASE(?,O(n^1))
|
7.03 | * | WORST_CASE(?,O(n^1))
|
7.01 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
1.28 |
Frederiksen_Glenstrup/select
|
* | WORST_CASE(?,O(n^2))
|
2.32 | * | WORST_CASE(?,O(n^2))
|
0.91 | * | MAYBE
|
0.61 | * | MAYBE
|
1.28 | * | TIMEOUT
|
60.06 |
Frederiksen_Glenstrup/shuffle
|
* | WORST_CASE(?,O(n^3))
|
24.91 | * | WORST_CASE(?,O(n^3))
|
25.03 | * | MAYBE
|
0.46 | * | MAYBE
|
1.64 | * | WORST_CASE(?,O(n^3))
|
5.39 |
Frederiksen_Glenstrup/sp1
|
* | MAYBE
|
21.15 | * | MAYBE
|
21.55 | * | MAYBE
|
0.18 | * | MAYBE
|
1.54 | * | MAYBE
|
2.15 |
Frederiksen_Glenstrup/subsets
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.07 | * | MAYBE
|
0.47 | * | MAYBE
|
1.21 | * | TIMEOUT
|
60.01 |
Frederiksen_Glenstrup/thetrick
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
6.16 | * | MAYBE
|
27.81 | * | MAYBE
|
4.36 |
Frederiksen_Others/add
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
3.40 |
Frederiksen_Others/assrewriteSize
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.11 | * | MAYBE
|
2.75 | * | MAYBE
|
48.97 | * | TIMEOUT
|
60.06 |
Frederiksen_Others/boolprog
|
* | WORST_CASE(?,O(n^1))
|
7.44 | * | WORST_CASE(?,O(n^1))
|
1.81 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
1.25 | * | WORST_CASE(?,O(n^1))
|
13.19 |
Frederiksen_Others/bubblesort
|
* | WORST_CASE(?,O(n^2))
|
25.04 | * | WORST_CASE(?,O(n^2))
|
24.91 | * | MAYBE
|
4.16 | * | MAYBE
|
48.38 | * | TIMEOUT
|
60.04 |
Frederiksen_Others/deadcodeSize
|
* | MAYBE
|
8.92 | * | MAYBE
|
8.47 | * | MAYBE
|
0.18 | * | MAYBE
|
0.33 | * | MAYBE
|
2.68 |
Frederiksen_Others/div2
|
* | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
1.78 |
Frederiksen_Others/eq
|
* | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
2.65 |
Frederiksen_Others/ex6
|
* | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
1.96 |
Frederiksen_Others/fgh
|
* | MAYBE
|
14.70 | * | MAYBE
|
13.13 | * | MAYBE
|
0.76 | * | MAYBE
|
6.39 | * | MAYBE
|
1.58 |
Frederiksen_Others/fghSize
|
* | MAYBE
|
13.16 | * | MAYBE
|
11.61 | * | MAYBE
|
0.81 | * | MAYBE
|
4.81 | * | MAYBE
|
1.77 |
Frederiksen_Others/gexgcd
|
* | WORST_CASE(?,O(n^1))
|
25.16 | * | WORST_CASE(?,O(n^1))
|
25.11 | * | MAYBE
|
1.19 | * | MAYBE
|
56.73 | * | WORST_CASE(?,O(n^1))
|
14.01 |
Frederiksen_Others/gexgcd2
|
* | MAYBE
|
33.90 | * | MAYBE
|
35.44 | * | MAYBE
|
0.26 | * | MAYBE
|
3.61 | * | TIMEOUT
|
60.05 |
Frederiksen_Others/inssort
|
* | WORST_CASE(?,O(n^2))
|
25.03 | * | WORST_CASE(?,O(n^2))
|
25.05 | * | MAYBE
|
0.87 | * | MAYBE
|
4.74 | * | TIMEOUT
|
60.06 |
Frederiksen_Others/inssort_better
|
* | WORST_CASE(?,O(n^2))
|
25.04 | * | WORST_CASE(?,O(n^2))
|
25.04 | * | MAYBE
|
2.59 | * | MAYBE
|
15.82 | * | TIMEOUT
|
60.04 |
Frederiksen_Others/match
|
* | WORST_CASE(?,O(n^2))
|
5.24 | * | WORST_CASE(?,O(n^2))
|
2.33 | * | WORST_CASE(?,O(n^2))
|
1.36 | * | WORST_CASE(?,O(n^2))
|
4.38 | * | TIMEOUT
|
60.06 |
Frederiksen_Others/minsortSize
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.11 | * | MAYBE
|
3.23 | * | MAYBE
|
49.15 | * | TIMEOUT
|
60.01 |
Frederiksen_Others/ocall-safe
|
* | WORST_CASE(?,O(n^1))
|
0.54 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
2.77 |
Frederiksen_Others/ocall-unsafe
|
* | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
1.78 |
Frederiksen_Others/oddeven
|
* | WORST_CASE(?,O(n^1))
|
0.34 | * | 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))
|
19.36 |
Frederiksen_Others/permut
|
* | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
6.07 |
Frederiksen_Others/power
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.18 | * | MAYBE
|
1.05 | * | MAYBE
|
0.64 | * | TIMEOUT
|
60.01 |
Frederiksen_Others/quicksortPtime
|
* | WORST_CASE(?,O(n^2))
|
20.82 | * | WORST_CASE(?,O(n^2))
|
13.84 | * | MAYBE
|
14.57 | * | MAYBE
|
49.16 | * | TIMEOUT
|
60.01 |
Frederiksen_Others/quicksortSize
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
4.98 | * | MAYBE
|
49.07 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/reach
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.72 | * | MAYBE
|
49.21 | * | TIMEOUT
|
60.01 |
Frederiksen_Others/rematch
|
* | TIMEOUT
|
60.91 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.19 | * | TIMEOUT
|
60.19 | * | TIMEOUT
|
60.00 |
Frederiksen_Others/strmatch
|
* | WORST_CASE(?,O(n^2))
|
7.73 | * | WORST_CASE(?,O(n^2))
|
3.03 | * | WORST_CASE(?,O(n^2))
|
1.74 | * | WORST_CASE(?,O(n^2))
|
22.79 | * | TIMEOUT
|
60.04 |
Frederiksen_Others/thetrickSize
|
* | WORST_CASE(?,O(n^1))
|
5.13 | * | WORST_CASE(?,O(n^1))
|
1.76 | * | WORST_CASE(?,O(n^1))
|
1.66 | * | WORST_CASE(?,O(n^1))
|
7.68 | * | WORST_CASE(?,O(n^1))
|
7.97 |
GTSSK07/cade01
|
* | MAYBE
|
33.67 | * | MAYBE
|
32.29 | * | MAYBE
|
0.15 | * | MAYBE
|
0.39 | * | TIMEOUT
|
60.06 |
GTSSK07/cade03
|
* | MAYBE
|
36.73 | * | MAYBE
|
34.96 | * | MAYBE
|
0.18 | * | MAYBE
|
0.54 | * | TIMEOUT
|
60.06 |
GTSSK07/cade04t
|
* | MAYBE
|
19.55 | * | MAYBE
|
18.98 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.06 |
GTSSK07/cade05t
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.09 | * | MAYBE
|
0.73 | * | MAYBE
|
0.75 | * | TIMEOUT
|
60.00 |
GTSSK07/cade06
|
* | MAYBE
|
54.35 | * | MAYBE
|
53.06 | * | MAYBE
|
0.21 | * | MAYBE
|
0.90 | * | TIMEOUT
|
60.01 |
GTSSK07/cade07
|
* | MAYBE
|
38.21 | * | MAYBE
|
37.69 | * | MAYBE
|
0.22 | * | MAYBE
|
1.32 | * | TIMEOUT
|
60.06 |
GTSSK07/cade08
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.21 | * | MAYBE
|
0.97 | * | TIMEOUT
|
60.00 |
GTSSK07/cade09
|
* | MAYBE
|
55.29 | * | MAYBE
|
55.09 | * | MAYBE
|
1.07 | * | MAYBE
|
0.64 | * | TIMEOUT
|
60.06 |
GTSSK07/cade10
|
* | MAYBE
|
56.52 | * | MAYBE
|
55.03 | * | MAYBE
|
0.71 | * | MAYBE
|
0.54 | * | TIMEOUT
|
60.04 |
GTSSK07/cade11
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.16 | * | MAYBE
|
0.52 | * | MAYBE
|
0.32 | * | TIMEOUT
|
60.02 |
GTSSK07/cade12t
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.85 | * | MAYBE
|
0.68 | * | TIMEOUT
|
60.00 |
GTSSK07/cade13t
|
* | MAYBE
|
38.87 | * | MAYBE
|
36.35 | * | MAYBE
|
0.28 | * | MAYBE
|
0.91 | * | TIMEOUT
|
60.06 |
GTSSK07/cade14
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.10 | * | MAYBE
|
0.29 | * | MAYBE
|
2.08 | * | TIMEOUT
|
60.03 |
GTSSK07/cade15
|
* | MAYBE
|
55.16 | * | MAYBE
|
55.74 | * | MAYBE
|
2.36 | * | MAYBE
|
3.80 | * | MAYBE
|
0.95 |
GTSSK07/cade16
|
* | MAYBE
|
55.03 | * | MAYBE
|
54.75 | * | MAYBE
|
0.55 | * | MAYBE
|
0.85 | * | TIMEOUT
|
60.00 |
GTSSK07/cade17
|
* | MAYBE
|
55.37 | * | MAYBE
|
55.24 | * | MAYBE
|
2.20 | * | MAYBE
|
3.24 | * | TIMEOUT
|
60.00 |
HirokawaMiddeldorp_04/n002
|
* | MAYBE
|
7.08 | * | MAYBE
|
7.01 | * | MAYBE
|
0.02 | * | MAYBE
|
0.03 | * | MAYBE
|
1.10 |
HirokawaMiddeldorp_04/n003
|
* | MAYBE
|
7.02 | * | MAYBE
|
7.01 | * | MAYBE
|
0.03 | * | MAYBE
|
0.05 | * | MAYBE
|
0.76 |
HirokawaMiddeldorp_04/n004
|
* | MAYBE
|
7.02 | * | MAYBE
|
7.01 | * | MAYBE
|
0.03 | * | MAYBE
|
0.04 | * | MAYBE
|
0.73 |
HirokawaMiddeldorp_04/n005
|
* | MAYBE
|
7.02 | * | MAYBE
|
7.02 | * | MAYBE
|
0.03 | * | MAYBE
|
0.03 | * | MAYBE
|
1.11 |
HirokawaMiddeldorp_04/n006
|
* | MAYBE
|
9.60 | * | MAYBE
|
9.87 | * | MAYBE
|
0.05 | * | MAYBE
|
0.07 | * | MAYBE
|
0.70 |
HirokawaMiddeldorp_04/n007
|
* | MAYBE
|
12.52 | * | MAYBE
|
12.11 | * | MAYBE
|
0.05 | * | MAYBE
|
0.08 | * | MAYBE
|
0.72 |
HirokawaMiddeldorp_04/t001
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.88 | * | MAYBE
|
2.20 | * | TIMEOUT
|
60.02 |
HirokawaMiddeldorp_04/t002
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.46 | * | MAYBE
|
1.10 | * | TIMEOUT
|
60.04 |
HirokawaMiddeldorp_04/t003
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.39 | * | MAYBE
|
1.96 | * | TIMEOUT
|
60.06 |
HirokawaMiddeldorp_04/t004
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.04 | * | MAYBE
|
0.36 | * | MAYBE
|
1.56 | * | MAYBE
|
1.01 |
HirokawaMiddeldorp_04/t009
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.23 | * | MAYBE
|
6.44 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 |
HirokawaMiddeldorp_04/t011
|
* | WORST_CASE(?,O(n^1))
|
7.01 | * | WORST_CASE(?,O(n^1))
|
7.01 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
1.44 |
HirokawaMiddeldorp_04/t012
|
* | MAYBE
|
33.17 | * | MAYBE
|
31.17 | * | MAYBE
|
0.51 | * | MAYBE
|
1.93 | * | TIMEOUT
|
60.01 |
HirokawaMiddeldorp_04/t013
|
* | MAYBE
|
47.81 | * | MAYBE
|
46.94 | * | MAYBE
|
0.28 | * | MAYBE
|
1.65 | * | TIMEOUT
|
60.00 |
HirokawaMiddeldorp_04/t014
|
* | WORST_CASE(?,O(n^2))
|
3.15 | * | WORST_CASE(?,O(n^2))
|
1.58 | * | WORST_CASE(?,O(n^2))
|
0.20 | * | WORST_CASE(?,O(n^2))
|
0.36 | * | TIMEOUT
|
60.00 |
Mixed_TRS/Ex1_Luc04b_GM
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.09 | * | MAYBE
|
1.47 | * | MAYBE
|
31.71 | * | TIMEOUT
|
60.00 |
Mixed_TRS/fossacs
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.10 | * | MAYBE
|
2.02 | * | MAYBE
|
3.11 | * | TIMEOUT
|
60.00 |
Mixed_TRS/gcd
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.10 | * | MAYBE
|
1.59 | * | MAYBE
|
9.05 | * | TIMEOUT
|
60.00 |
Mixed_TRS/gcdMinMax
|
* | MAYBE
|
53.06 | * | MAYBE
|
53.06 | * | MAYBE
|
0.84 | * | MAYBE
|
1.34 | * | TIMEOUT
|
60.00 |
Mixed_TRS/gcd_triple
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.73 | * | MAYBE
|
13.19 | * | TIMEOUT
|
60.00 |
Mixed_TRS/hydra
|
* | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
1.66 |
Mixed_TRS/hydra-Zantema06
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.42 | * | MAYBE
|
2.73 | * | WORST_CASE(?,O(n^1))
|
9.67 |
Mixed_TRS/jones1
|
* | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
1.29 |
Mixed_TRS/jones2
|
* | WORST_CASE(?,O(n^1))
|
0.90 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
6.37 |
Mixed_TRS/jones4
|
* | WORST_CASE(?,O(n^1))
|
1.09 | * | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.89 |
Mixed_TRS/jones5
|
* | MAYBE
|
26.47 | * | MAYBE
|
25.76 | * | MAYBE
|
0.22 | * | MAYBE
|
0.68 | * | TIMEOUT
|
60.06 |
Mixed_TRS/jones6
|
* | WORST_CASE(?,O(n^1))
|
0.78 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
1.32 |
Mixed_TRS/minsort
|
* | MAYBE
|
53.69 | * | MAYBE
|
53.09 | * | MAYBE
|
0.56 | * | MAYBE
|
1.90 | * | MAYBE
|
1.94 |
Mixed_TRS/perfect
|
* | WORST_CASE(?,O(n^1))
|
1.89 | * | WORST_CASE(?,O(n^1))
|
0.36 | * | MAYBE
|
0.36 | * | MAYBE
|
1.27 | * | WORST_CASE(?,O(n^1))
|
8.05 |
Mixed_TRS/perfect2
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.42 | * | MAYBE
|
2.31 | * | MAYBE
|
1.22 |
Mixed_TRS/test1
|
* | MAYBE
|
9.77 | * | MAYBE
|
9.36 | * | MAYBE
|
0.17 | * | MAYBE
|
0.36 | * | TIMEOUT
|
60.06 |
Mixed_TRS/while
|
* | MAYBE
|
17.19 | * | MAYBE
|
16.78 | * | MAYBE
|
0.13 | * | MAYBE
|
0.21 | * | TIMEOUT
|
60.06 |
Rubio_04/bintrees
|
* | WORST_CASE(?,O(n^1))
|
2.05 | * | WORST_CASE(?,O(n^1))
|
1.17 | * | WORST_CASE(?,O(n^2))
|
0.40 | * | WORST_CASE(?,O(n^2))
|
1.01 | * | WORST_CASE(?,O(n^1))
|
0.74 |
Rubio_04/bn122
|
* | WORST_CASE(?,O(n^1))
|
0.54 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | MAYBE
|
0.10 | * | MAYBE
|
0.12 | * | WORST_CASE(?,O(n^1))
|
5.48 |
Rubio_04/division
|
* | WORST_CASE(?,O(n^3))
|
9.21 | * | WORST_CASE(?,O(n^3))
|
6.19 | * | MAYBE
|
0.61 | * | MAYBE
|
48.24 | * | TIMEOUT
|
60.05 |
Rubio_04/elimdupl
|
* | WORST_CASE(?,O(n^2))
|
17.46 | * | WORST_CASE(?,O(n^2))
|
14.35 | * | MAYBE
|
2.88 | * | WORST_CASE(?,O(n^3))
|
29.77 | * | TIMEOUT
|
60.02 |
Rubio_04/enno
|
* | WORST_CASE(?,O(n^2))
|
25.08 | * | WORST_CASE(?,O(n^2))
|
25.07 | * | MAYBE
|
1.55 | * | MAYBE
|
48.49 | * | TIMEOUT
|
60.03 |
Rubio_04/gcd
|
* | WORST_CASE(?,O(n^2))
|
9.34 | * | WORST_CASE(?,O(n^2))
|
6.62 | * | MAYBE
|
1.45 | * | MAYBE
|
5.24 | * | TIMEOUT
|
60.05 |
Rubio_04/gm
|
* | WORST_CASE(?,O(n^1))
|
1.13 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | TIMEOUT
|
60.01 |
Rubio_04/gmnp
|
* | WORST_CASE(?,O(n^1))
|
1.83 | * | WORST_CASE(?,O(n^1))
|
1.12 | * | MAYBE
|
0.15 | * | MAYBE
|
0.80 | * | WORST_CASE(?,O(n^1))
|
0.96 |
Rubio_04/koen
|
* | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.07 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
0.68 |
Rubio_04/logarquot
|
* | WORST_CASE(?,O(n^2))
|
3.78 | * | WORST_CASE(?,O(n^2))
|
1.98 | * | MAYBE
|
2.47 | * | WORST_CASE(?,O(n^2))
|
0.93 | * | TIMEOUT
|
60.06 |
Rubio_04/ma96
|
* | MAYBE
|
58.27 | * | TIMEOUT
|
60.58 | * | MAYBE
|
11.48 | * | MAYBE
|
46.84 | * | TIMEOUT
|
60.01 |
Rubio_04/mfp95
|
* | WORST_CASE(?,O(1))
|
0.10 | * | WORST_CASE(?,O(1))
|
0.03 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.70 |
Rubio_04/nestrec
|
* | MAYBE
|
56.26 | * | MAYBE
|
55.19 | * | MAYBE
|
0.32 | * | MAYBE
|
5.73 | * | MAYBE
|
1.17 |
Rubio_04/p266
|
* | WORST_CASE(?,O(1))
|
0.68 | * | WORST_CASE(?,O(1))
|
0.37 | * | MAYBE
|
0.11 | * | MAYBE
|
0.13 | * | WORST_CASE(?,O(1))
|
0.73 |
Rubio_04/polo2
|
* | WORST_CASE(?,O(n^1))
|
7.52 | * | WORST_CASE(?,O(n^1))
|
3.31 | * | WORST_CASE(?,O(n^1))
|
1.58 | * | WORST_CASE(?,O(n^1))
|
49.15 | * | WORST_CASE(?,O(n^1))
|
6.22 |
Rubio_04/prov
|
* | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
5.21 |
Rubio_04/quick
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.24 | * | MAYBE
|
44.32 | * | TIMEOUT
|
60.00 |
Rubio_04/quotminus
|
* | MAYBE
|
25.26 | * | MAYBE
|
24.14 | * | MAYBE
|
0.27 | * | MAYBE
|
0.55 | * | TIMEOUT
|
60.06 |
Rubio_04/revlist
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.04 | * | MAYBE
|
1.64 | * | MAYBE
|
48.44 | * | TIMEOUT
|
60.00 |
Rubio_04/selsort
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
16.15 | * | MAYBE
|
50.05 | * | TIMEOUT
|
60.00 |
Rubio_04/test4
|
* | WORST_CASE(?,O(n^1))
|
3.07 | * | WORST_CASE(?,O(n^1))
|
2.52 | * | MAYBE
|
0.13 | * | MAYBE
|
0.46 | * | WORST_CASE(?,O(n^1))
|
1.11 |
Rubio_04/test829
|
* | WORST_CASE(?,O(n^1))
|
0.48 | * | 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.76 |
Rubio_04/wst99
|
* | WORST_CASE(?,O(n^2))
|
18.50 | * | WORST_CASE(?,O(n^2))
|
14.95 | * | MAYBE
|
2.82 | * | MAYBE
|
49.02 | * | TIMEOUT
|
60.05 |
SK90/2.02
|
* | WORST_CASE(?,O(n^1))
|
55.04 | * | WORST_CASE(?,O(n^1))
|
55.03 | * | MAYBE
|
0.38 | * | MAYBE
|
0.16 | * | WORST_CASE(?,O(n^1))
|
1.03 |
SK90/2.03
|
* | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | MAYBE
|
0.23 | * | MAYBE
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.99 |
SK90/2.07
|
* | WORST_CASE(?,O(n^1))
|
1.53 | * | WORST_CASE(?,O(n^1))
|
0.63 | * | MAYBE
|
0.46 | * | MAYBE
|
0.44 | * | WORST_CASE(?,O(n^1))
|
6.06 |
SK90/2.09
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.69 |
SK90/2.11
|
* | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.73 |
SK90/2.12
|
* | WORST_CASE(?,O(n^3))
|
4.73 | * | WORST_CASE(?,O(n^3))
|
3.47 | * | MAYBE
|
0.30 | * | MAYBE
|
1.26 | * | WORST_CASE(?,O(n^3))
|
5.95 |
SK90/2.13
|
* | WORST_CASE(?,O(n^1))
|
0.90 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
6.36 |
SK90/2.14
|
* | WORST_CASE(?,O(n^1))
|
1.05 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.99 |
SK90/2.15
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.03 | * | MAYBE
|
0.14 | * | MAYBE
|
0.46 | * | MAYBE
|
0.67 |
SK90/2.16
|
* | WORST_CASE(?,O(n^2))
|
1.97 | * | WORST_CASE(?,O(n^2))
|
1.05 | * | WORST_CASE(?,O(n^2))
|
0.25 | * | WORST_CASE(?,O(n^2))
|
0.36 | * | WORST_CASE(?,O(n^2))
|
7.52 |
SK90/2.17
|
* | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
10.07 |
SK90/2.18
|
* | WORST_CASE(?,O(n^2))
|
1.69 | * | WORST_CASE(?,O(n^2))
|
0.76 | * | WORST_CASE(?,O(n^2))
|
0.38 | * | WORST_CASE(?,O(n^2))
|
0.28 | * | TIMEOUT
|
60.06 |
SK90/2.19
|
* | WORST_CASE(?,O(n^2))
|
2.78 | * | WORST_CASE(?,O(n^2))
|
1.56 | * | WORST_CASE(?,O(n^2))
|
0.25 | * | WORST_CASE(?,O(n^2))
|
0.53 | * | WORST_CASE(?,O(n^2))
|
6.48 |
SK90/2.20
|
* | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
5.55 |
SK90/2.21
|
* | MAYBE
|
36.10 | * | MAYBE
|
35.81 | * | MAYBE
|
0.16 | * | MAYBE
|
0.43 | * | MAYBE
|
0.68 |
SK90/2.22
|
* | WORST_CASE(?,O(n^2))
|
1.79 | * | WORST_CASE(?,O(n^2))
|
0.81 | * | MAYBE
|
0.21 | * | MAYBE
|
0.38 | * | TIMEOUT
|
60.04 |
SK90/2.23
|
* | MAYBE
|
35.20 | * | MAYBE
|
32.61 | * | MAYBE
|
0.26 | * | MAYBE
|
0.64 | * | TIMEOUT
|
60.01 |
SK90/2.24
|
* | MAYBE
|
55.08 | * | MAYBE
|
54.94 | * | MAYBE
|
0.63 | * | MAYBE
|
0.40 | * | MAYBE
|
0.68 |
SK90/2.25
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.17 | * | MAYBE
|
0.93 | * | MAYBE
|
0.60 | * | MAYBE
|
0.71 |
SK90/2.26
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.22 | * | MAYBE
|
2.20 | * | MAYBE
|
3.13 | * | MAYBE
|
1.78 |
SK90/2.27
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.06 | * | MAYBE
|
1.14 | * | MAYBE
|
2.18 | * | TIMEOUT
|
60.00 |
SK90/2.28
|
* | MAYBE
|
32.60 | * | MAYBE
|
35.60 | * | MAYBE
|
0.10 | * | MAYBE
|
0.19 | * | TIMEOUT
|
60.00 |
SK90/2.29
|
* | WORST_CASE(?,O(n^1))
|
1.10 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
3.32 |
SK90/2.30
|
* | WORST_CASE(?,O(1))
|
0.34 | * | WORST_CASE(?,O(1))
|
0.14 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.19 | * | WORST_CASE(?,O(1))
|
0.70 |
SK90/2.31
|
* | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.75 |
SK90/2.36
|
* | WORST_CASE(?,O(n^1))
|
7.02 | * | WORST_CASE(?,O(n^1))
|
7.02 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.73 |
SK90/2.37
|
* | WORST_CASE(?,O(1))
|
0.18 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.72 |
SK90/2.38
|
* | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | MAYBE
|
0.15 | * | MAYBE
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.87 |
SK90/2.39
|
* | WORST_CASE(?,O(n^2))
|
7.03 | * | WORST_CASE(?,O(n^2))
|
7.03 | * | MAYBE
|
0.53 | * | MAYBE
|
0.67 | * | WORST_CASE(?,O(n^2))
|
2.56 |
SK90/2.40
|
* | WORST_CASE(?,O(n^1))
|
0.83 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
6.24 |
SK90/2.41
|
* | WORST_CASE(?,O(n^1))
|
0.75 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.87 |
SK90/2.42
|
* | WORST_CASE(?,O(n^1))
|
3.30 | * | WORST_CASE(?,O(n^1))
|
2.36 | * | MAYBE
|
0.23 | * | MAYBE
|
0.28 | * | WORST_CASE(?,O(n^1))
|
7.22 |
SK90/2.43
|
* | MAYBE
|
29.82 | * | MAYBE
|
31.48 | * | MAYBE
|
0.54 | * | MAYBE
|
1.26 | * | MAYBE
|
0.67 |
SK90/2.44
|
* | WORST_CASE(?,O(n^1))
|
2.22 | * | WORST_CASE(?,O(n^1))
|
1.05 | * | MAYBE
|
0.74 | * | MAYBE
|
5.85 | * | WORST_CASE(?,O(n^1))
|
4.30 |
SK90/2.45
|
* | WORST_CASE(?,O(n^1))
|
1.01 | * | WORST_CASE(?,O(n^1))
|
0.34 | * | MAYBE
|
0.39 | * | MAYBE
|
0.81 | * | WORST_CASE(?,O(n^1))
|
3.09 |
SK90/2.47
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.97 |
SK90/2.48
|
* | WORST_CASE(?,O(1))
|
0.28 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.83 |
SK90/2.49
|
* | WORST_CASE(?,O(1))
|
1.54 | * | WORST_CASE(?,O(1))
|
0.35 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.19 | * | WORST_CASE(?,O(1))
|
0.71 |
SK90/2.50
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.96 |
SK90/2.51
|
* | MAYBE
|
14.34 | * | MAYBE
|
13.81 | * | MAYBE
|
0.21 | * | MAYBE
|
0.75 | * | TIMEOUT
|
60.00 |
SK90/2.52
|
* | MAYBE
|
55.18 | * | MAYBE
|
55.40 | * | MAYBE
|
2.31 | * | MAYBE
|
20.56 | * | TIMEOUT
|
60.00 |
SK90/2.53
|
* | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.71 |
SK90/2.54
|
* | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.71 |
SK90/2.55
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
4.41 |
SK90/2.59
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
0.66 |
SK90/2.61
|
* | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
0.65 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.03 |
SK90/4.05
|
* | WORST_CASE(?,O(n^2))
|
0.74 | * | WORST_CASE(?,O(n^2))
|
0.57 | * | MAYBE
|
0.32 | * | MAYBE
|
1.69 | * | TIMEOUT
|
60.04 |
SK90/4.06
|
* | MAYBE
|
32.67 | * | MAYBE
|
31.61 | * | MAYBE
|
0.23 | * | MAYBE
|
0.24 | * | MAYBE
|
0.71 |
SK90/4.07
|
* | WORST_CASE(?,O(1))
|
0.12 | * | WORST_CASE(?,O(1))
|
0.06 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
0.72 |
SK90/4.09
|
* | WORST_CASE(?,O(1))
|
0.55 | * | WORST_CASE(?,O(1))
|
0.56 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
0.67 |
SK90/4.10
|
* | WORST_CASE(?,O(n^2))
|
3.49 | * | WORST_CASE(?,O(n^2))
|
0.80 | * | MAYBE
|
0.31 | * | MAYBE
|
0.22 | * | TIMEOUT
|
60.06 |
SK90/4.12
|
* | WORST_CASE(?,O(n^1))
|
7.01 | * | WORST_CASE(?,O(n^1))
|
7.01 | * | MAYBE
|
1.05 | * | WORST_CASE(?,O(n^2))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
0.72 |
SK90/4.13
|
* | WORST_CASE(?,O(n^2))
|
1.23 | * | WORST_CASE(?,O(n^2))
|
2.83 | * | WORST_CASE(?,O(n^2))
|
0.28 | * | WORST_CASE(?,O(n^2))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
5.12 |
SK90/4.16
|
* | WORST_CASE(?,O(n^1))
|
0.84 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.94 | * | WORST_CASE(?,O(n^1))
|
1.38 |
SK90/4.17
|
* | WORST_CASE(?,O(n^2))
|
14.51 | * | WORST_CASE(?,O(n^2))
|
12.81 | * | MAYBE
|
2.61 | * | WORST_CASE(?,O(n^3))
|
1.22 | * | TIMEOUT
|
60.06 |
SK90/4.18
|
* | WORST_CASE(?,O(1))
|
0.26 | * | WORST_CASE(?,O(1))
|
0.06 | * | MAYBE
|
0.44 | * | MAYBE
|
0.94 | * | WORST_CASE(?,O(1))
|
0.71 |
SK90/4.22
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.07 | * | MAYBE
|
0.47 | * | MAYBE
|
2.04 | * | WORST_CASE(?,O(n^1))
|
6.27 |
SK90/4.24
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.03 | * | MAYBE
|
0.96 | * | MAYBE
|
46.93 | * | TIMEOUT
|
60.00 |
SK90/4.25
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
4.39 |
SK90/4.26
|
* | WORST_CASE(?,O(n^1))
|
2.87 | * | WORST_CASE(?,O(n^1))
|
1.83 | * | MAYBE
|
0.23 | * | MAYBE
|
0.21 | * | WORST_CASE(?,O(n^1))
|
5.69 |
SK90/4.27
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.10 | * | MAYBE
|
0.55 | * | MAYBE
|
1.25 | * | TIMEOUT
|
60.00 |
SK90/4.28
|
* | WORST_CASE(?,O(n^1))
|
0.73 | * | WORST_CASE(?,O(n^1))
|
0.63 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
5.56 |
SK90/4.29
|
* | WORST_CASE(?,O(n^1))
|
0.86 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
0.70 |
SK90/4.30
|
* | WORST_CASE(?,O(n^1))
|
3.10 | * | WORST_CASE(?,O(n^1))
|
1.88 | * | MAYBE
|
0.88 | * | MAYBE
|
5.50 | * | WORST_CASE(?,O(n^1))
|
0.70 |
SK90/4.31
|
* | MAYBE
|
30.76 | * | MAYBE
|
29.63 | * | MAYBE
|
0.27 | * | MAYBE
|
0.78 | * | MAYBE
|
0.68 |
SK90/4.34
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.06 | * | MAYBE
|
0.13 | * | MAYBE
|
0.43 | * | MAYBE
|
0.68 |
SK90/4.35
|
* | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.02 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.68 |
SK90/4.38
|
* | WORST_CASE(?,O(n^1))
|
0.70 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.91 |
SK90/4.42
|
* | MAYBE
|
13.35 | * | MAYBE
|
12.04 | * | MAYBE
|
0.22 | * | MAYBE
|
1.24 | * | TIMEOUT
|
60.01 |
SK90/4.43
|
* | WORST_CASE(?,O(n^3))
|
7.04 | * | WORST_CASE(?,O(n^3))
|
7.09 | * | MAYBE
|
0.70 | * | MAYBE
|
0.57 | * | TIMEOUT
|
60.06 |
SK90/4.45
|
* | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
5.20 |
SK90/4.47
|
* | WORST_CASE(?,O(1))
|
0.22 | * | WORST_CASE(?,O(1))
|
0.07 | * | MAYBE
|
0.58 | * | MAYBE
|
3.23 | * | WORST_CASE(?,O(1))
|
1.41 |
SK90/4.48
|
* | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.14 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
0.72 |
SK90/4.51
|
* | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
1.03 |
SK90/4.53
|
* | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
0.58 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
6.74 |
SK90/4.54
|
* | MAYBE
|
44.68 | * | MAYBE
|
43.99 | * | MAYBE
|
0.18 | * | MAYBE
|
1.06 | * | MAYBE
|
0.67 |
SK90/4.57
|
* | WORST_CASE(?,O(1))
|
25.04 | * | WORST_CASE(?,O(1))
|
25.03 | * | MAYBE
|
0.16 | * | MAYBE
|
0.93 | * | WORST_CASE(?,O(1))
|
1.89 |
SK90/4.59
|
* | MAYBE
|
43.92 | * | MAYBE
|
38.17 | * | MAYBE
|
0.40 | * | MAYBE
|
1.96 | * | MAYBE
|
0.70 |
SK90/4.60
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.12 | * | MAYBE
|
0.78 | * | MAYBE
|
1.12 | * | MAYBE
|
0.71 |
SK90/4.61
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
5.63 | * | MAYBE
|
16.11 | * | MAYBE
|
0.67 |
Secret_05_TRS/aprove2
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.07 | * | MAYBE
|
0.27 | * | MAYBE
|
1.15 | * | TIMEOUT
|
60.06 |
Secret_05_TRS/aprove3
|
* | MAYBE
|
41.85 | * | MAYBE
|
40.82 | * | MAYBE
|
0.37 | * | MAYBE
|
1.94 | * | TIMEOUT
|
60.01 |
Secret_05_TRS/aprove4
|
* | MAYBE
|
33.13 | * | MAYBE
|
30.86 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.06 |
Secret_05_TRS/aprove5
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.16 | * | MAYBE
|
1.21 | * | MAYBE
|
14.27 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/cime2
|
* | WORST_CASE(?,O(n^1))
|
3.41 | * | WORST_CASE(?,O(n^1))
|
2.11 | * | MAYBE
|
1.08 | * | MAYBE
|
0.97 | * | WORST_CASE(?,O(n^1))
|
9.10 |
Secret_05_TRS/cime3
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.11 | * | TRS is not left-linear
|
0.06 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/cime4
|
* | WORST_CASE(?,O(1))
|
1.65 | * | WORST_CASE(?,O(1))
|
0.78 | * | MAYBE
|
0.31 | * | MAYBE
|
0.19 | * | WORST_CASE(?,O(1))
|
1.26 |
Secret_05_TRS/cime5
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.12 | * | TRS is not left-linear
|
0.32 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.01 |
Secret_05_TRS/tpa1
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.05 | * | MAYBE
|
0.89 | * | MAYBE
|
1.11 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/tpa2
|
* | WORST_CASE(?,O(n^2))
|
53.09 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^2))
|
0.32 | * | WORST_CASE(?,O(n^2))
|
1.37 | * | TIMEOUT
|
60.03 |
Secret_05_TRS/tpa3
|
* | MAYBE
|
55.28 | * | MAYBE
|
55.13 | * | MAYBE
|
0.39 | * | MAYBE
|
0.68 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/tpa4
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.43 | * | MAYBE
|
0.82 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/tpa5
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.56 | * | MAYBE
|
12.40 | * | TIMEOUT
|
60.00 |
Secret_05_TRS/ttt1
|
* | WORST_CASE(?,O(1))
|
7.76 | * | WORST_CASE(?,O(1))
|
5.29 | * | MAYBE
|
1.04 | * | MAYBE
|
0.27 | * | WORST_CASE(?,O(1))
|
0.99 |
Secret_05_TRS/ttt2
|
* | MAYBE
|
10.47 | * | MAYBE
|
10.30 | * | MAYBE
|
0.06 | * | MAYBE
|
0.10 | * | MAYBE
|
1.02 |
Secret_06_TRS/10
|
* | WORST_CASE(?,O(1))
|
25.06 | * | WORST_CASE(?,O(1))
|
25.04 | * | MAYBE
|
0.48 | * | MAYBE
|
0.49 | * | WORST_CASE(?,O(1))
|
1.97 |
Secret_06_TRS/4
|
* | WORST_CASE(?,O(n^1))
|
55.06 | * | WORST_CASE(?,O(n^1))
|
55.06 | * | MAYBE
|
0.60 | * | MAYBE
|
0.30 | * | WORST_CASE(?,O(1))
|
2.14 |
Secret_06_TRS/6
|
* | WORST_CASE(?,O(1))
|
4.08 | * | WORST_CASE(?,O(1))
|
1.82 | * | MAYBE
|
0.51 | * | MAYBE
|
0.19 | * | WORST_CASE(?,O(1))
|
1.55 |
Secret_06_TRS/addList
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.11 | * | MAYBE
|
3.21 | * | MAYBE
|
9.82 | * | TIMEOUT
|
60.02 |
Secret_06_TRS/divExp
|
* | MAYBE
|
53.17 | * | MAYBE
|
53.11 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/division
|
* | MAYBE
|
55.19 | * | MAYBE
|
55.13 | * | MAYBE
|
0.84 | * | MAYBE
|
1.04 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/double
|
* | MAYBE
|
55.68 | * | MAYBE
|
55.38 | * | MAYBE
|
1.64 | * | MAYBE
|
3.82 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/gen-1
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.40 | * | MAYBE
|
0.80 | * | WORST_CASE(?,O(1))
|
1.32 |
Secret_06_TRS/gen-17
|
* | WORST_CASE(?,O(1))
|
16.31 | * | WORST_CASE(?,O(1))
|
25.20 | * | MAYBE
|
1.10 | * | MAYBE
|
1.01 | * | WORST_CASE(?,O(1))
|
0.96 |
Secret_06_TRS/gen-28
|
* | MAYBE
|
20.94 | * | MAYBE
|
19.85 | * | MAYBE
|
0.16 | * | MAYBE
|
0.15 | * | WORST_CASE(?,O(1))
|
1.11 |
Secret_06_TRS/logarithm
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.13 | * | MAYBE
|
0.78 | * | MAYBE
|
1.56 | * | TIMEOUT
|
60.01 |
Secret_06_TRS/nrOfNodes
|
* | MAYBE
|
55.07 | * | MAYBE
|
54.10 | * | MAYBE
|
0.83 | * | MAYBE
|
3.59 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/reverse
|
* | MAYBE
|
55.81 | * | MAYBE
|
55.24 | * | MAYBE
|
1.67 | * | MAYBE
|
12.88 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/sumList
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.13 | * | MAYBE
|
1.07 | * | MAYBE
|
2.99 | * | TIMEOUT
|
60.01 |
Secret_06_TRS/times
|
* | MAYBE
|
41.54 | * | MAYBE
|
45.78 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/toList
|
* | MAYBE
|
56.12 | * | MAYBE
|
55.63 | * | MAYBE
|
1.86 | * | MAYBE
|
6.49 | * | TIMEOUT
|
60.01 |
Secret_06_TRS/tpa04
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.65 | * | MAYBE
|
9.97 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/tpa05
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.14 | * | MAYBE
|
0.92 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/tpa06
|
* | MAYBE
|
55.13 | * | MAYBE
|
55.13 | * | MAYBE
|
1.99 | * | MAYBE
|
4.12 | * | TIMEOUT
|
60.00 |
Secret_06_TRS/tpa07
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.49 | * | MAYBE
|
0.70 | * | TIMEOUT
|
60.01 |
Secret_06_TRS/tpa08
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
5.12 | * | MAYBE
|
0.87 | * | TIMEOUT
|
60.01 |
Secret_06_TRS/tpa09
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.26 | * | MAYBE
|
1.60 | * | TIMEOUT
|
60.01 |
Secret_06_TRS/tpa10
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.66 | * | MAYBE
|
1.08 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/3
|
* | TIMEOUT
|
60.12 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.13 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
2.95 |
Secret_07_TRS/aprove01
|
* | MAYBE
|
55.14 | * | MAYBE
|
55.09 | * | MAYBE
|
1.29 | * | MAYBE
|
7.49 | * | TIMEOUT
|
60.01 |
Secret_07_TRS/aprove02
|
* | MAYBE
|
56.24 | * | MAYBE
|
55.22 | * | MAYBE
|
2.92 | * | MAYBE
|
3.56 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/aprove03
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.14 | * | MAYBE
|
41.77 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/aprove04
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.11 | * | MAYBE
|
3.97 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/aprove05
|
* | MAYBE
|
55.14 | * | MAYBE
|
55.17 | * | MAYBE
|
2.90 | * | MAYBE
|
1.50 | * | TIMEOUT
|
60.01 |
Secret_07_TRS/aprove06
|
* | MAYBE
|
57.58 | * | MAYBE
|
55.74 | * | MAYBE
|
4.03 | * | MAYBE
|
6.09 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/aprove07
|
* | MAYBE
|
55.18 | * | MAYBE
|
55.18 | * | MAYBE
|
2.29 | * | MAYBE
|
1.30 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/aprove08
|
* | MAYBE
|
55.13 | * | MAYBE
|
55.13 | * | MAYBE
|
0.44 | * | MAYBE
|
14.22 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/aprove09
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.08 | * | MAYBE
|
1.21 | * | MAYBE
|
2.55 | * | TIMEOUT
|
60.01 |
Secret_07_TRS/aprove10
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.47 | * | MAYBE
|
2.49 | * | TIMEOUT
|
60.00 |
Secret_07_TRS/secret1
|
* | MAYBE
|
56.62 | * | MAYBE
|
55.63 | * | MAYBE
|
2.80 | * | MAYBE
|
50.51 | * | WORST_CASE(?,O(n^1))
|
21.25 |
Secret_07_TRS/secret3
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.10 | * | MAYBE
|
0.99 | * | MAYBE
|
2.16 | * | TIMEOUT
|
60.06 |
Secret_07_TRS/secret4
|
* | MAYBE
|
53.34 | * | MAYBE
|
53.07 | * | MAYBE
|
0.97 | * | MAYBE
|
2.23 | * | TIMEOUT
|
60.06 |
Secret_07_TRS/secret5
|
* | WORST_CASE(?,O(n^1))
|
25.07 | * | WORST_CASE(?,O(n^1))
|
25.03 | * | MAYBE
|
0.63 | * | MAYBE
|
4.67 | * | WORST_CASE(?,O(n^1))
|
8.72 |
Strategy_removed_AG01/#4.14
|
* | WORST_CASE(?,O(n^1))
|
12.49 | * | WORST_CASE(?,O(n^1))
|
11.45 | * | MAYBE
|
0.11 | * | MAYBE
|
0.24 | * | WORST_CASE(?,O(n^1))
|
12.09 |
Strategy_removed_AG01/#4.16
|
* | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | MAYBE
|
0.08 | * | MAYBE
|
0.14 | * | WORST_CASE(?,O(n^1))
|
13.21 |
Strategy_removed_AG01/#4.17
|
* | WORST_CASE(?,O(n^1))
|
25.01 | * | WORST_CASE(?,O(n^1))
|
25.02 | * | MAYBE
|
0.34 | * | MAYBE
|
0.55 | * | WORST_CASE(?,O(n^1))
|
15.24 |
Strategy_removed_AG01/#4.19
|
* | MAYBE
|
10.93 | * | MAYBE
|
10.98 | * | TRS is not left-linear
|
0.03 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
43.23 |
Strategy_removed_AG01/#4.2
|
* | WORST_CASE(?,O(n^1))
|
25.03 | * | WORST_CASE(?,O(n^1))
|
25.03 | * | MAYBE
|
0.13 | * | MAYBE
|
0.24 | * | WORST_CASE(?,O(n^1))
|
14.94 |
Strategy_removed_AG01/#4.20a
|
* | WORST_CASE(?,O(n^1))
|
0.99 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | MAYBE
|
0.16 | * | MAYBE
|
0.24 | * | WORST_CASE(?,O(n^1))
|
17.25 |
Strategy_removed_AG01/#4.22
|
* | WORST_CASE(?,O(n^1))
|
39.17 | * | WORST_CASE(?,O(n^1))
|
40.13 | * | MAYBE
|
0.26 | * | MAYBE
|
0.62 | * | WORST_CASE(?,O(n^1))
|
18.10 |
Strategy_removed_AG01/#4.23
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.06 | * | MAYBE
|
0.33 | * | MAYBE
|
0.74 | * | TIMEOUT
|
60.06 |
Strategy_removed_AG01/#4.25
|
* | MAYBE
|
7.74 | * | MAYBE
|
7.77 | * | TRS is not left-linear
|
0.24 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
1.92 |
Strategy_removed_AG01/#4.26
|
* | MAYBE
|
27.37 | * | MAYBE
|
25.63 | * | MAYBE
|
0.16 | * | MAYBE
|
0.51 | * | TIMEOUT
|
60.06 |
Strategy_removed_AG01/#4.27
|
* | WORST_CASE(?,O(n^2))
|
2.71 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^2))
|
0.12 | * | WORST_CASE(?,O(n^2))
|
0.34 | * | TIMEOUT
|
60.06 |
Strategy_removed_AG01/#4.28
|
* | WORST_CASE(?,O(n^1))
|
7.82 | * | WORST_CASE(?,O(n^1))
|
7.17 | * | WORST_CASE(?,O(n^1))
|
2.46 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | TIMEOUT
|
60.06 |
Strategy_removed_AG01/#4.29
|
* | MAYBE
|
56.26 | * | MAYBE
|
55.49 | * | MAYBE
|
2.15 | * | MAYBE
|
8.61 | * | TIMEOUT
|
60.01 |
Strategy_removed_AG01/#4.30
|
* | MAYBE
|
55.01 | * | MAYBE
|
55.07 | * | MAYBE
|
0.79 | * | MAYBE
|
0.81 | * | TIMEOUT
|
60.06 |
Strategy_removed_AG01/#4.30a
|
* | MAYBE
|
17.91 | * | MAYBE
|
16.89 | * | MAYBE
|
0.47 | * | MAYBE
|
0.89 | * | TIMEOUT
|
60.06 |
Strategy_removed_AG01/#4.30b
|
* | MAYBE
|
55.92 | * | MAYBE
|
55.33 | * | MAYBE
|
1.21 | * | MAYBE
|
2.49 | * | TIMEOUT
|
60.06 |
Strategy_removed_AG01/#4.30c
|
* | MAYBE
|
56.01 | * | MAYBE
|
55.07 | * | MAYBE
|
1.79 | * | MAYBE
|
4.63 | * | TIMEOUT
|
60.06 |
Strategy_removed_AG01/#4.32
|
* | WORST_CASE(?,O(n^2))
|
1.25 | * | WORST_CASE(?,O(n^2))
|
0.89 | * | WORST_CASE(?,O(n^2))
|
0.18 | * | WORST_CASE(?,O(n^2))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
9.37 |
Strategy_removed_AG01/#4.33
|
* | WORST_CASE(?,O(n^3))
|
13.35 | * | WORST_CASE(?,O(n^3))
|
11.14 | * | MAYBE
|
8.78 | * | MAYBE
|
24.25 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/#4.34
|
* | WORST_CASE(?,O(n^1))
|
2.27 | * | WORST_CASE(?,O(n^1))
|
1.03 | * | WORST_CASE(?,O(n^2))
|
0.26 | * | WORST_CASE(?,O(n^2))
|
0.63 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/#4.35
|
* | TIMEOUT
|
62.54 | * | TIMEOUT
|
62.07 | * | TRS is not left-linear
|
2.50 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/#4.36
|
* | WORST_CASE(?,O(n^2))
|
49.01 | * | WORST_CASE(?,O(n^2))
|
39.71 | * | MAYBE
|
6.91 | * | MAYBE
|
49.02 | * | TIMEOUT
|
60.00 |
Strategy_removed_AG01/#4.37
|
* | WORST_CASE(?,O(n^1))
|
1.55 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^2))
|
0.18 | * | WORST_CASE(?,O(n^2))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
2.04 |
Strategy_removed_AG01/#4.37a
|
* | WORST_CASE(?,O(n^1))
|
0.78 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^2))
|
0.17 | * | WORST_CASE(?,O(n^2))
|
1.20 | * | WORST_CASE(?,O(n^1))
|
11.00 |
Strategy_removed_AG01/#4.7
|
* | WORST_CASE(?,O(1))
|
25.03 | * | WORST_CASE(?,O(1))
|
25.03 | * | MAYBE
|
0.14 | * | MAYBE
|
0.25 | * | WORST_CASE(?,O(1))
|
2.37 |
Strategy_removed_CSR_05/Ex14_AEGL02
|
* | MAYBE
|
32.89 | * | MAYBE
|
31.85 | * | MAYBE
|
0.16 | * | MAYBE
|
0.35 | * | MAYBE
|
0.69 |
Strategy_removed_CSR_05/Ex15_Luc98
|
* | MAYBE
|
42.22 | * | MAYBE
|
43.55 | * | MAYBE
|
0.22 | * | MAYBE
|
0.40 | * | MAYBE
|
0.69 |
Strategy_removed_CSR_05/Ex1_2_AEL03
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.13 | * | MAYBE
|
1.28 | * | MAYBE
|
1.19 | * | MAYBE
|
0.67 |
Strategy_removed_CSR_05/Ex1_2_Luc02c
|
* | MAYBE
|
14.97 | * | MAYBE
|
13.37 | * | MAYBE
|
0.18 | * | MAYBE
|
0.20 | * | MAYBE
|
0.66 |
Strategy_removed_CSR_05/Ex1_GL02a
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.05 | * | MAYBE
|
0.37 | * | MAYBE
|
0.55 | * | MAYBE
|
0.71 |
Strategy_removed_CSR_05/Ex1_GM03
|
* | MAYBE
|
13.36 | * | MAYBE
|
13.21 | * | MAYBE
|
0.17 | * | MAYBE
|
0.36 | * | MAYBE
|
0.71 |
Strategy_removed_CSR_05/Ex1_Luc02b
|
* | MAYBE
|
50.03 | * | MAYBE
|
49.13 | * | MAYBE
|
0.31 | * | MAYBE
|
0.53 | * | MAYBE
|
0.71 |
Strategy_removed_CSR_05/Ex1_Zan97
|
* | MAYBE
|
17.84 | * | MAYBE
|
17.40 | * | MAYBE
|
0.03 | * | MAYBE
|
0.07 | * | MAYBE
|
0.70 |
Strategy_removed_CSR_05/Ex26_Luc03b
|
* | MAYBE
|
55.13 | * | MAYBE
|
55.14 | * | MAYBE
|
0.72 | * | MAYBE
|
0.74 | * | MAYBE
|
0.67 |
Strategy_removed_CSR_05/Ex2_Luc03b
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.07 | * | MAYBE
|
0.45 | * | MAYBE
|
0.52 | * | MAYBE
|
0.70 |
Strategy_removed_CSR_05/Ex3_12_Luc96a
|
* | MAYBE
|
32.89 | * | MAYBE
|
32.29 | * | MAYBE
|
0.21 | * | MAYBE
|
0.35 | * | MAYBE
|
0.70 |
Strategy_removed_CSR_05/Ex3_2_Luc97
|
* | MAYBE
|
45.22 | * | MAYBE
|
44.17 | * | MAYBE
|
0.43 | * | MAYBE
|
1.01 | * | MAYBE
|
0.70 |
Strategy_removed_CSR_05/Ex3_3_25_Bor03
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.05 | * | MAYBE
|
1.05 | * | MAYBE
|
1.61 | * | MAYBE
|
0.68 |
Strategy_removed_CSR_05/Ex49_GM04
|
* | WORST_CASE(?,O(n^1))
|
2.09 | * | WORST_CASE(?,O(n^1))
|
0.74 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
6.03 |
Strategy_removed_CSR_05/Ex4_4_Luc96b
|
* | MAYBE
|
7.21 | * | MAYBE
|
6.70 | * | MAYBE
|
0.10 | * | MAYBE
|
0.17 | * | MAYBE
|
0.68 |
Strategy_removed_CSR_05/Ex4_7_15_Bor03
|
* | MAYBE
|
23.49 | * | MAYBE
|
22.15 | * | MAYBE
|
0.17 | * | MAYBE
|
0.37 | * | MAYBE
|
0.72 |
Strategy_removed_CSR_05/Ex4_7_37_Bor03
|
* | MAYBE
|
55.09 | * | MAYBE
|
54.96 | * | MAYBE
|
0.44 | * | MAYBE
|
1.13 | * | MAYBE
|
0.69 |
Strategy_removed_CSR_05/Ex4_7_56_Bor03
|
* | MAYBE
|
34.83 | * | MAYBE
|
33.88 | * | MAYBE
|
0.16 | * | MAYBE
|
0.25 | * | MAYBE
|
0.68 |
Strategy_removed_CSR_05/Ex4_7_77_Bor03
|
* | MAYBE
|
10.05 | * | MAYBE
|
9.72 | * | MAYBE
|
0.11 | * | MAYBE
|
0.12 | * | MAYBE
|
0.66 |
Strategy_removed_CSR_05/Ex4_Zan97
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.03 | * | MAYBE
|
0.63 | * | MAYBE
|
0.54 | * | MAYBE
|
0.72 |
Strategy_removed_CSR_05/Ex5_7_Luc97
|
* | MAYBE
|
51.86 | * | MAYBE
|
50.18 | * | MAYBE
|
0.67 | * | MAYBE
|
1.75 | * | MAYBE
|
0.69 |
Strategy_removed_CSR_05/Ex5_Zan97
|
* | MAYBE
|
7.08 | * | MAYBE
|
7.01 | * | MAYBE
|
0.04 | * | MAYBE
|
0.08 | * | MAYBE
|
0.68 |
Strategy_removed_CSR_05/Ex6_15_AEL02
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.16 | * | MAYBE
|
0.83 | * | MAYBE
|
4.26 | * | MAYBE
|
0.66 |
Strategy_removed_CSR_05/Ex6_9_Luc02c
|
* | MAYBE
|
19.26 | * | MAYBE
|
18.36 | * | MAYBE
|
0.22 | * | MAYBE
|
0.50 | * | MAYBE
|
0.66 |
Strategy_removed_CSR_05/Ex6_GM04
|
* | MAYBE
|
8.29 | * | MAYBE
|
7.42 | * | MAYBE
|
0.08 | * | MAYBE
|
0.09 | * | MAYBE
|
0.70 |
Strategy_removed_CSR_05/Ex6_Luc98
|
* | MAYBE
|
37.30 | * | MAYBE
|
35.87 | * | MAYBE
|
0.20 | * | MAYBE
|
0.34 | * | MAYBE
|
0.70 |
Strategy_removed_CSR_05/Ex7_BLR02
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.03 | * | MAYBE
|
0.42 | * | MAYBE
|
0.61 | * | MAYBE
|
0.66 |
Strategy_removed_CSR_05/Ex8_BLR02
|
* | MAYBE
|
37.67 | * | MAYBE
|
36.35 | * | MAYBE
|
0.26 | * | MAYBE
|
0.49 | * | MAYBE
|
0.69 |
Strategy_removed_CSR_05/Ex9_BLR02
|
* | MAYBE
|
55.21 | * | MAYBE
|
55.14 | * | MAYBE
|
0.77 | * | MAYBE
|
2.07 | * | MAYBE
|
0.66 |
Strategy_removed_CSR_05/ExAppendixB_AEL03
|
* | MAYBE
|
55.16 | * | MAYBE
|
55.11 | * | MAYBE
|
1.02 | * | MAYBE
|
4.02 | * | MAYBE
|
0.66 |
Strategy_removed_CSR_05/ExConc_Zan97
|
* | MAYBE
|
12.05 | * | MAYBE
|
10.09 | * | MAYBE
|
0.10 | * | MAYBE
|
0.08 | * | MAYBE
|
0.71 |
Strategy_removed_CSR_05/ExIntrod_GM01
|
* | MAYBE
|
55.13 | * | MAYBE
|
55.12 | * | MAYBE
|
1.46 | * | MAYBE
|
0.64 | * | MAYBE
|
0.80 |
Strategy_removed_CSR_05/ExIntrod_GM04
|
* | MAYBE
|
55.28 | * | MAYBE
|
55.23 | * | MAYBE
|
0.65 | * | MAYBE
|
0.55 | * | MAYBE
|
0.72 |
Strategy_removed_CSR_05/ExIntrod_GM99
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.09 | * | MAYBE
|
1.08 | * | MAYBE
|
3.55 | * | MAYBE
|
0.68 |
Strategy_removed_CSR_05/ExIntrod_Zan97
|
* | MAYBE
|
53.11 | * | MAYBE
|
53.06 | * | MAYBE
|
0.20 | * | MAYBE
|
0.47 | * | MAYBE
|
0.69 |
Strategy_removed_mixed_05/ExSec11_1_Luc02a
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.24 | * | MAYBE
|
2.08 | * | MAYBE
|
1.02 | * | MAYBE
|
1.36 |
Strategy_removed_mixed_05/ex1
|
* | MAYBE
|
7.01 | * | MAYBE
|
7.01 | * | MAYBE
|
0.05 | * | MAYBE
|
0.10 | * | MAYBE
|
1.98 |
Strategy_removed_mixed_05/ex2
|
* | MAYBE
|
7.84 | * | MAYBE
|
7.39 | * | MAYBE
|
0.14 | * | MAYBE
|
0.12 | * | MAYBE
|
1.51 |
Strategy_removed_mixed_05/ex3
|
* | MAYBE
|
8.64 | * | MAYBE
|
8.77 | * | MAYBE
|
0.08 | * | MAYBE
|
0.09 | * | MAYBE
|
2.02 |
Strategy_removed_mixed_05/ex4
|
* | MAYBE
|
13.29 | * | MAYBE
|
12.17 | * | MAYBE
|
0.13 | * | MAYBE
|
0.17 | * | MAYBE
|
1.76 |
Strategy_removed_mixed_05/ex5
|
* | MAYBE
|
9.28 | * | MAYBE
|
7.01 | * | MAYBE
|
0.06 | * | MAYBE
|
0.05 | * | MAYBE
|
1.70 |
Strategy_removed_mixed_05/ex6
|
* | MAYBE
|
13.40 | * | MAYBE
|
13.44 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.05 |
Strategy_removed_mixed_05/muladd
|
* | MAYBE
|
32.18 | * | MAYBE
|
31.85 | * | MAYBE
|
0.27 | * | MAYBE
|
0.60 | * | MAYBE
|
1.87 |
Strategy_removed_mixed_05/test10
|
* | WORST_CASE(?,O(n^1))
|
1.24 | * | WORST_CASE(?,O(n^1))
|
1.21 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
12.53 |
Strategy_removed_mixed_05/test76
|
* | MAYBE
|
11.41 | * | MAYBE
|
10.59 | * | MAYBE
|
0.13 | * | MAYBE
|
0.23 | * | TIMEOUT
|
60.06 |
Strategy_removed_mixed_05/test77
|
* | MAYBE
|
11.63 | * | MAYBE
|
10.58 | * | MAYBE
|
0.13 | * | MAYBE
|
0.26 | * | WORST_CASE(?,O(n^1))
|
18.14 |
Strategy_removed_mixed_05/test830
|
* | WORST_CASE(?,O(n^1))
|
1.38 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^2))
|
0.24 | * | WORST_CASE(?,O(n^2))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
1.76 |
Strategy_removed_mixed_05/tricky1
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.12 | * | MAYBE
|
0.62 | * | WORST_CASE(?,O(1))
|
1.43 |
TCT_12/polycounter-10
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.06 | * | MAYBE
|
1.40 | * | MAYBE
|
9.98 | * | TIMEOUT
|
60.07 |
TCT_12/polycounter-5
|
* | MAYBE
|
51.42 | * | MAYBE
|
49.79 | * | MAYBE
|
0.29 | * | MAYBE
|
1.06 | * | TIMEOUT
|
60.06 |
TCT_12/recursion-10
|
* | WORST_CASE(?,O(n^10))
|
53.37 | * | WORST_CASE(?,O(n^10))
|
53.43 | * | MAYBE
|
0.47 | * | MAYBE
|
3.49 | * | TIMEOUT
|
60.05 |
TCT_12/recursion-5
|
* | WORST_CASE(?,O(n^5))
|
10.33 | * | WORST_CASE(?,O(n^5))
|
9.11 | * | MAYBE
|
0.31 | * | MAYBE
|
0.93 | * | TIMEOUT
|
60.04 |
TCT_12/sat
|
* | WORST_CASE(?,O(n^2))
|
8.44 | * | WORST_CASE(?,O(n^2))
|
4.27 | * | MAYBE
|
0.78 | * | WORST_CASE(?,O(n^2))
|
2.85 | * | TIMEOUT
|
60.05 |
Transformed_CSR_04/Ex14_AEGL02_C
|
* | MAYBE
|
55.88 | * | MAYBE
|
55.20 | * | MAYBE
|
1.63 | * | MAYBE
|
22.78 | * | WORST_CASE(?,O(n^1))
|
9.15 |
Transformed_CSR_04/Ex14_AEGL02_FR
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.11 | * | MAYBE
|
1.17 | * | MAYBE
|
3.25 | * | MAYBE
|
2.88 |
Transformed_CSR_04/Ex14_AEGL02_GM
|
* | WORST_CASE(?,O(n^3))
|
55.16 | * | WORST_CASE(?,O(n^3))
|
55.10 | * | MAYBE
|
0.69 | * | WORST_CASE(?,O(n^3))
|
17.27 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex14_AEGL02_L
|
* | MAYBE
|
20.51 | * | MAYBE
|
21.53 | * | MAYBE
|
0.05 | * | MAYBE
|
0.09 | * | MAYBE
|
1.36 |
Transformed_CSR_04/Ex14_AEGL02_Z
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.08 | * | MAYBE
|
1.70 | * | MAYBE
|
3.28 | * | MAYBE
|
1.61 |
Transformed_CSR_04/Ex14_Luc06_C
|
* | MAYBE
|
55.19 | * | MAYBE
|
55.27 | * | TRS is not left-linear
|
0.06 | * | TRS is not left-linear
|
0.02 | * | WORST_CASE(?,O(n^1))
|
7.76 |
Transformed_CSR_04/Ex14_Luc06_GM
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.13 | * | TRS is not left-linear
|
0.02 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex15_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
53.04 | * | WORST_CASE(?,O(n^1))
|
53.18 | * | MAYBE
|
0.35 | * | MAYBE
|
3.02 | * | WORST_CASE(?,O(n^1))
|
17.10 |
Transformed_CSR_04/Ex15_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
1.82 | * | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^2))
|
0.12 | * | WORST_CASE(?,O(n^2))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
6.54 |
Transformed_CSR_04/Ex15_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
0.95 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^2))
|
0.14 | * | WORST_CASE(?,O(n^2))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
1.61 |
Transformed_CSR_04/Ex15_Luc06_L
|
* | MAYBE
|
7.02 | * | MAYBE
|
7.01 | * | MAYBE
|
0.02 | * | MAYBE
|
0.03 | * | MAYBE
|
0.87 |
Transformed_CSR_04/Ex15_Luc06_Z
|
* | WORST_CASE(?,O(1))
|
3.32 | * | WORST_CASE(?,O(1))
|
1.03 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.92 |
Transformed_CSR_04/Ex15_Luc98_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.13 | * | MAYBE
|
58.09 | * | WORST_CASE(?,O(n^1))
|
8.09 |
Transformed_CSR_04/Ex15_Luc98_FR
|
* | MAYBE
|
44.17 | * | MAYBE
|
43.27 | * | MAYBE
|
0.78 | * | MAYBE
|
17.04 | * | MAYBE
|
1.60 |
Transformed_CSR_04/Ex15_Luc98_GM
|
* | WORST_CASE(?,O(n^1))
|
8.40 | * | WORST_CASE(?,O(n^1))
|
3.62 | * | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^1))
|
11.48 | * | WORST_CASE(?,O(n^1))
|
4.98 |
Transformed_CSR_04/Ex15_Luc98_Z
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.10 | * | MAYBE
|
0.92 | * | MAYBE
|
17.93 | * | MAYBE
|
0.95 |
Transformed_CSR_04/Ex16_Luc06_C
|
* | MAYBE
|
55.21 | * | MAYBE
|
55.12 | * | TRS is not left-linear
|
0.04 | * | TRS is not left-linear
|
0.04 | * | WORST_CASE(?,O(n^1))
|
7.01 |
Transformed_CSR_04/Ex16_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
7.01 | * | WORST_CASE(?,O(n^1))
|
7.02 | * | TRS is not left-linear
|
0.02 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
3.96 |
Transformed_CSR_04/Ex16_Luc06_L
|
* | MAYBE
|
7.01 | * | MAYBE
|
7.01 | * | MAYBE
|
0.04 | * | MAYBE
|
0.31 | * | MAYBE
|
1.40 |
Transformed_CSR_04/Ex18_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
45.15 | * | WORST_CASE(?,O(n^1))
|
43.45 | * | MAYBE
|
0.40 | * | MAYBE
|
3.46 | * | WORST_CASE(?,O(n^1))
|
7.56 |
Transformed_CSR_04/Ex18_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.89 |
Transformed_CSR_04/Ex18_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.90 |
Transformed_CSR_04/Ex18_Luc06_Z
|
* | WORST_CASE(?,O(1))
|
0.44 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
0.96 |
Transformed_CSR_04/Ex1_2_AEL03_C
|
* | MAYBE
|
55.50 | * | TIMEOUT
|
60.06 | * | MAYBE
|
5.91 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
7.44 |
Transformed_CSR_04/Ex1_2_AEL03_FR
|
* | WORST_CASE(?,O(n^1))
|
24.47 | * | WORST_CASE(?,O(n^1))
|
25.03 | * | MAYBE
|
0.56 | * | MAYBE
|
5.04 | * | WORST_CASE(?,O(n^1))
|
5.02 |
Transformed_CSR_04/Ex1_2_AEL03_GM
|
* | MAYBE
|
55.26 | * | MAYBE
|
55.24 | * | MAYBE
|
2.86 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex1_2_AEL03_Z
|
* | WORST_CASE(?,O(n^2))
|
7.15 | * | WORST_CASE(?,O(n^2))
|
20.28 | * | MAYBE
|
0.53 | * | MAYBE
|
2.99 | * | TIMEOUT
|
60.06 |
Transformed_CSR_04/Ex1_2_Luc02c_C
|
* | WORST_CASE(?,O(n^5))
|
53.36 | * | MAYBE
|
55.15 | * | MAYBE
|
0.81 | * | MAYBE
|
37.15 | * | WORST_CASE(?,O(n^1))
|
8.18 |
Transformed_CSR_04/Ex1_2_Luc02c_FR
|
* | WORST_CASE(?,O(n^1))
|
5.31 | * | WORST_CASE(?,O(n^1))
|
5.04 | * | MAYBE
|
0.38 | * | MAYBE
|
1.64 | * | WORST_CASE(?,O(n^1))
|
4.37 |
Transformed_CSR_04/Ex1_2_Luc02c_GM
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.08 | * | MAYBE
|
1.10 | * | MAYBE
|
5.79 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_2_Luc02c_Z
|
* | WORST_CASE(?,O(1))
|
0.88 | * | WORST_CASE(?,O(1))
|
0.28 | * | WORST_CASE(?,O(1))
|
0.27 | * | WORST_CASE(?,O(1))
|
0.15 | * | WORST_CASE(?,O(1))
|
0.91 |
Transformed_CSR_04/Ex1_GL02a_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.52 | * | MAYBE
|
52.24 | * | WORST_CASE(?,O(n^1))
|
8.23 |
Transformed_CSR_04/Ex1_GL02a_FR
|
* | MAYBE
|
55.77 | * | MAYBE
|
55.38 | * | MAYBE
|
3.49 | * | MAYBE
|
30.49 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_GL02a_GM
|
* | WORST_CASE(?,O(n^1))
|
3.11 | * | WORST_CASE(?,O(n^1))
|
0.85 | * | WORST_CASE(?,O(n^1))
|
0.88 | * | WORST_CASE(?,O(n^1))
|
2.09 | * | WORST_CASE(?,O(n^1))
|
4.02 |
Transformed_CSR_04/Ex1_GL02a_L
|
* | MAYBE
|
7.01 | * | MAYBE
|
7.01 | * | MAYBE
|
0.09 | * | MAYBE
|
0.27 | * | MAYBE
|
0.89 |
Transformed_CSR_04/Ex1_GL02a_Z
|
* | MAYBE
|
56.08 | * | MAYBE
|
55.05 | * | MAYBE
|
1.88 | * | MAYBE
|
18.04 | * | TIMEOUT
|
60.03 |
Transformed_CSR_04/Ex1_GM03_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.48 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
7.25 |
Transformed_CSR_04/Ex1_GM03_FR
|
* | WORST_CASE(?,O(n^1))
|
55.04 | * | WORST_CASE(?,O(n^1))
|
55.06 | * | MAYBE
|
0.36 | * | MAYBE
|
6.81 | * | WORST_CASE(?,O(n^1))
|
1.64 |
Transformed_CSR_04/Ex1_GM03_GM
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.07 | * | MAYBE
|
2.86 | * | MAYBE
|
52.63 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_GM03_Z
|
* | MAYBE
|
13.91 | * | MAYBE
|
13.24 | * | MAYBE
|
0.17 | * | MAYBE
|
0.48 | * | MAYBE
|
0.89 |
Transformed_CSR_04/Ex1_GM99_C
|
* | MAYBE
|
55.21 | * | MAYBE
|
55.22 | * | MAYBE
|
1.22 | * | MAYBE
|
4.28 | * | WORST_CASE(?,O(n^1))
|
8.16 |
Transformed_CSR_04/Ex1_GM99_GM
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.05 | * | MAYBE
|
0.43 | * | MAYBE
|
0.99 | * | TIMEOUT
|
60.03 |
Transformed_CSR_04/Ex1_GM99_L
|
* | MAYBE
|
7.01 | * | MAYBE
|
7.01 | * | MAYBE
|
0.04 | * | MAYBE
|
0.04 | * | MAYBE
|
1.48 |
Transformed_CSR_04/Ex1_Luc02b_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.36 | * | TIMEOUT
|
60.01 | * | WORST_CASE(?,O(n^1))
|
8.86 |
Transformed_CSR_04/Ex1_Luc02b_FR
|
* | WORST_CASE(?,O(n^1))
|
6.49 | * | WORST_CASE(?,O(n^1))
|
3.61 | * | MAYBE
|
1.37 | * | MAYBE
|
31.82 | * | TIMEOUT
|
60.05 |
Transformed_CSR_04/Ex1_Luc02b_GM
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.06 | * | MAYBE
|
1.38 | * | MAYBE
|
49.94 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc02b_Z
|
* | WORST_CASE(?,O(n^1))
|
1.94 | * | WORST_CASE(?,O(n^1))
|
25.04 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.94 | * | TIMEOUT
|
60.05 |
Transformed_CSR_04/Ex1_Luc04b_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.52 | * | MAYBE
|
51.42 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc04b_FR
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.04 | * | MAYBE
|
0.40 | * | MAYBE
|
14.05 | * | MAYBE
|
1.00 |
Transformed_CSR_04/Ex1_Luc04b_GM
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.10 | * | MAYBE
|
1.40 | * | MAYBE
|
49.37 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex1_Luc04b_Z
|
* | MAYBE
|
55.35 | * | MAYBE
|
55.20 | * | MAYBE
|
1.23 | * | MAYBE
|
1.05 | * | MAYBE
|
2.12 |
Transformed_CSR_04/Ex1_Zan97_C
|
* | WORST_CASE(?,O(n^1))
|
53.05 | * | WORST_CASE(?,O(n^1))
|
53.05 | * | MAYBE
|
0.45 | * | MAYBE
|
1.41 | * | WORST_CASE(?,O(n^1))
|
8.32 |
Transformed_CSR_04/Ex1_Zan97_FR
|
* | MAYBE
|
55.29 | * | MAYBE
|
55.14 | * | MAYBE
|
0.15 | * | MAYBE
|
0.46 | * | MAYBE
|
0.93 |
Transformed_CSR_04/Ex1_Zan97_GM
|
* | WORST_CASE(?,O(1))
|
0.98 | * | WORST_CASE(?,O(1))
|
0.24 | * | MAYBE
|
0.14 | * | MAYBE
|
0.22 | * | WORST_CASE(?,O(1))
|
1.61 |
Transformed_CSR_04/Ex1_Zan97_L
|
* | MAYBE
|
7.82 | * | MAYBE
|
7.02 | * | MAYBE
|
0.05 | * | MAYBE
|
0.07 | * | MAYBE
|
1.31 |
Transformed_CSR_04/Ex23_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
53.33 | * | WORST_CASE(?,O(n^1))
|
50.78 | * | MAYBE
|
0.52 | * | MAYBE
|
6.54 | * | WORST_CASE(?,O(n^1))
|
8.27 |
Transformed_CSR_04/Ex23_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
1.48 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
1.54 |
Transformed_CSR_04/Ex23_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
1.08 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
5.55 |
Transformed_CSR_04/Ex23_Luc06_Z
|
* | WORST_CASE(?,O(1))
|
1.28 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.94 |
Transformed_CSR_04/Ex24_GM04_C
|
* | MAYBE
|
55.22 | * | MAYBE
|
55.39 | * | TRS is not left-linear
|
0.07 | * | TRS is not left-linear
|
0.04 | * | WORST_CASE(?,O(n^1))
|
9.08 |
Transformed_CSR_04/Ex24_GM04_FR
|
* | MAYBE
|
16.36 | * | MAYBE
|
16.38 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex24_GM04_GM
|
* | WORST_CASE(?,O(n^1))
|
1.00 | * | WORST_CASE(?,O(n^1))
|
0.92 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
4.21 |
Transformed_CSR_04/Ex24_GM04_L
|
* | MAYBE
|
7.02 | * | MAYBE
|
7.02 | * | MAYBE
|
0.03 | * | MAYBE
|
0.05 | * | MAYBE
|
2.38 |
Transformed_CSR_04/Ex24_GM04_Z
|
* | MAYBE
|
7.66 | * | MAYBE
|
7.34 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
1.06 |
Transformed_CSR_04/Ex24_Luc06_C
|
* | WORST_CASE(?,O(n^5))
|
53.26 | * | WORST_CASE(?,O(n^3))
|
53.18 | * | MAYBE
|
0.48 | * | MAYBE
|
3.90 | * | WORST_CASE(?,O(n^1))
|
8.47 |
Transformed_CSR_04/Ex24_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
16.15 | * | WORST_CASE(?,O(n^1))
|
15.40 | * | MAYBE
|
0.20 | * | MAYBE
|
0.41 | * | WORST_CASE(?,O(n^1))
|
5.80 |
Transformed_CSR_04/Ex24_Luc06_L
|
* | MAYBE
|
7.02 | * | MAYBE
|
7.01 | * | MAYBE
|
0.03 | * | MAYBE
|
0.03 | * | MAYBE
|
0.90 |
Transformed_CSR_04/Ex25_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
31.40 | * | WORST_CASE(?,O(n^1))
|
26.82 | * | MAYBE
|
0.57 | * | MAYBE
|
13.92 | * | WORST_CASE(?,O(n^1))
|
19.86 |
Transformed_CSR_04/Ex25_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
4.36 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
2.50 |
Transformed_CSR_04/Ex25_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
5.16 | * | WORST_CASE(?,O(n^1))
|
1.08 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
1.36 |
Transformed_CSR_04/Ex25_Luc06_Z
|
* | WORST_CASE(?,O(1))
|
0.65 | * | WORST_CASE(?,O(1))
|
0.19 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.27 | * | WORST_CASE(?,O(1))
|
1.50 |
Transformed_CSR_04/Ex26_Luc03b_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.34 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.51 |
Transformed_CSR_04/Ex26_Luc03b_FR
|
* | WORST_CASE(?,O(n^1))
|
5.51 | * | WORST_CASE(?,O(n^1))
|
2.40 | * | MAYBE
|
1.05 | * | MAYBE
|
34.74 | * | WORST_CASE(?,O(n^1))
|
1.30 |
Transformed_CSR_04/Ex26_Luc03b_GM
|
* | WORST_CASE(?,O(n^3))
|
55.43 | * | WORST_CASE(?,O(n^3))
|
55.22 | * | MAYBE
|
2.85 | * | MAYBE
|
50.37 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex26_Luc03b_L
|
* | WORST_CASE(?,O(1))
|
0.38 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
2.25 |
Transformed_CSR_04/Ex26_Luc03b_Z
|
* | WORST_CASE(?,O(1))
|
3.69 | * | WORST_CASE(?,O(1))
|
3.11 | * | MAYBE
|
0.70 | * | MAYBE
|
50.76 | * | WORST_CASE(?,O(1))
|
0.88 |
Transformed_CSR_04/Ex2_Luc02a_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.59 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.88 |
Transformed_CSR_04/Ex2_Luc02a_FR
|
* | WORST_CASE(?,O(n^1))
|
7.19 | * | WORST_CASE(?,O(n^1))
|
6.15 | * | MAYBE
|
0.63 | * | MAYBE
|
4.59 | * | TIMEOUT
|
60.05 |
Transformed_CSR_04/Ex2_Luc02a_GM
|
* | MAYBE
|
55.36 | * | MAYBE
|
55.61 | * | MAYBE
|
1.22 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex2_Luc02a_L
|
* | WORST_CASE(?,O(n^3))
|
5.82 | * | WORST_CASE(?,O(n^3))
|
3.89 | * | MAYBE
|
0.46 | * | WORST_CASE(?,O(n^3))
|
0.73 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex2_Luc02a_Z
|
* | WORST_CASE(?,O(n^3))
|
8.79 | * | WORST_CASE(?,O(n^3))
|
4.40 | * | MAYBE
|
0.91 | * | WORST_CASE(?,O(n^3))
|
3.73 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex2_Luc03b_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.29 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.41 |
Transformed_CSR_04/Ex2_Luc03b_FR
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.11 | * | MAYBE
|
2.86 | * | MAYBE
|
49.71 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex2_Luc03b_GM
|
* | WORST_CASE(?,O(n^3))
|
55.57 | * | WORST_CASE(?,O(n^3))
|
55.28 | * | MAYBE
|
1.73 | * | WORST_CASE(?,O(n^2))
|
48.08 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex2_Luc03b_L
|
* | WORST_CASE(?,O(1))
|
1.23 | * | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.89 |
Transformed_CSR_04/Ex2_Luc03b_Z
|
* | WORST_CASE(?,O(n^1))
|
3.63 | * | WORST_CASE(?,O(n^1))
|
1.04 | * | WORST_CASE(?,O(n^1))
|
0.99 | * | WORST_CASE(?,O(n^1))
|
0.54 | * | WORST_CASE(?,O(n^1))
|
8.02 |
Transformed_CSR_04/Ex3_12_Luc96a_C
|
* | TIMEOUT
|
60.08 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.03 | * | MAYBE
|
46.33 | * | WORST_CASE(?,O(n^1))
|
10.71 |
Transformed_CSR_04/Ex3_12_Luc96a_FR
|
* | WORST_CASE(?,O(n^1))
|
4.84 | * | WORST_CASE(?,O(n^1))
|
3.58 | * | MAYBE
|
0.97 | * | MAYBE
|
2.09 | * | TIMEOUT
|
60.06 |
Transformed_CSR_04/Ex3_12_Luc96a_GM
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.03 | * | MAYBE
|
0.92 | * | MAYBE
|
20.79 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_12_Luc96a_Z
|
* | WORST_CASE(?,O(n^1))
|
2.24 | * | WORST_CASE(?,O(n^1))
|
25.04 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
8.82 |
Transformed_CSR_04/Ex3_2_Luc97_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.73 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.33 |
Transformed_CSR_04/Ex3_2_Luc97_FR
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.12 | * | MAYBE
|
2.54 | * | MAYBE
|
52.80 | * | MAYBE
|
0.89 |
Transformed_CSR_04/Ex3_2_Luc97_GM
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.10 | * | MAYBE
|
15.45 | * | MAYBE
|
49.83 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_2_Luc97_Z
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.11 | * | MAYBE
|
2.75 | * | MAYBE
|
47.08 | * | MAYBE
|
2.07 |
Transformed_CSR_04/Ex3_3_25_Bor03_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.81 | * | TIMEOUT
|
60.04 | * | WORST_CASE(?,O(n^1))
|
8.63 |
Transformed_CSR_04/Ex3_3_25_Bor03_FR
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.08 | * | MAYBE
|
2.82 | * | MAYBE
|
49.95 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_GM
|
* | WORST_CASE(?,O(n^3))
|
55.16 | * | WORST_CASE(?,O(n^3))
|
55.38 | * | MAYBE
|
1.67 | * | MAYBE
|
56.03 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_L
|
* | WORST_CASE(?,O(1))
|
0.20 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
0.10 | * | WORST_CASE(?,O(1))
|
1.80 |
Transformed_CSR_04/Ex3_3_25_Bor03_Z
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.03 | * | MAYBE
|
1.11 | * | MAYBE
|
12.71 | * | MAYBE
|
1.77 |
Transformed_CSR_04/Ex49_GM04_C
|
* | MAYBE
|
55.29 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.34 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.00 |
Transformed_CSR_04/Ex49_GM04_FR
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.13 | * | MAYBE
|
1.69 | * | MAYBE
|
50.66 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex49_GM04_GM
|
* | WORST_CASE(?,O(n^2))
|
18.50 | * | WORST_CASE(?,O(n^2))
|
16.37 | * | MAYBE
|
51.56 | * | WORST_CASE(?,O(n^2))
|
49.57 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex49_GM04_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.51 | * | MAYBE
|
1.70 | * | WORST_CASE(?,O(n^1))
|
13.83 |
Transformed_CSR_04/Ex4_4_Luc96b_C
|
* | WORST_CASE(?,O(n^2))
|
24.09 | * | WORST_CASE(?,O(n^2))
|
22.38 | * | MAYBE
|
0.27 | * | MAYBE
|
6.29 | * | WORST_CASE(?,O(n^1))
|
20.18 |
Transformed_CSR_04/Ex4_4_Luc96b_FR
|
* | WORST_CASE(?,O(n^1))
|
1.87 | * | WORST_CASE(?,O(n^1))
|
1.53 | * | MAYBE
|
0.25 | * | MAYBE
|
2.36 | * | TIMEOUT
|
60.06 |
Transformed_CSR_04/Ex4_4_Luc96b_GM
|
* | WORST_CASE(?,O(n^3))
|
55.09 | * | WORST_CASE(?,O(n^3))
|
55.15 | * | MAYBE
|
0.74 | * | WORST_CASE(?,O(n^2))
|
2.97 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_4_Luc96b_L
|
* | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
2.24 |
Transformed_CSR_04/Ex4_4_Luc96b_Z
|
* | MAYBE
|
42.00 | * | MAYBE
|
40.97 | * | MAYBE
|
0.40 | * | MAYBE
|
1.34 | * | MAYBE
|
2.04 |
Transformed_CSR_04/Ex4_7_15_Bor03_C
|
* | WORST_CASE(?,O(n^1))
|
55.84 | * | WORST_CASE(?,O(n^1))
|
55.09 | * | MAYBE
|
0.79 | * | MAYBE
|
30.07 | * | WORST_CASE(?,O(n^1))
|
7.78 |
Transformed_CSR_04/Ex4_7_15_Bor03_FR
|
* | WORST_CASE(?,O(n^1))
|
2.73 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | MAYBE
|
0.21 | * | MAYBE
|
0.89 | * | WORST_CASE(?,O(n^1))
|
2.75 |
Transformed_CSR_04/Ex4_7_15_Bor03_GM
|
* | WORST_CASE(?,O(n^1))
|
5.44 | * | WORST_CASE(?,O(n^1))
|
2.35 | * | WORST_CASE(?,O(n^2))
|
0.56 | * | WORST_CASE(?,O(n^2))
|
3.04 | * | WORST_CASE(?,O(n^1))
|
1.04 |
Transformed_CSR_04/Ex4_7_15_Bor03_L
|
* | WORST_CASE(?,O(1))
|
1.30 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(1))
|
1.50 |
Transformed_CSR_04/Ex4_7_15_Bor03_Z
|
* | WORST_CASE(?,O(1))
|
0.92 | * | WORST_CASE(?,O(1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(1))
|
0.87 |
Transformed_CSR_04/Ex4_7_37_Bor03_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.45 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.88 |
Transformed_CSR_04/Ex4_7_37_Bor03_FR
|
* | MAYBE
|
55.18 | * | MAYBE
|
55.15 | * | MAYBE
|
1.77 | * | MAYBE
|
12.60 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex4_7_37_Bor03_GM
|
* | MAYBE
|
55.31 | * | MAYBE
|
55.28 | * | MAYBE
|
2.26 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_37_Bor03_Z
|
* | MAYBE
|
56.71 | * | MAYBE
|
55.20 | * | MAYBE
|
36.32 | * | MAYBE
|
48.55 | * | TIMEOUT
|
60.05 |
Transformed_CSR_04/Ex4_7_56_Bor03_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.22 | * | MAYBE
|
52.88 | * | WORST_CASE(?,O(n^1))
|
7.27 |
Transformed_CSR_04/Ex4_7_56_Bor03_FR
|
* | WORST_CASE(?,O(n^1))
|
25.04 | * | WORST_CASE(?,O(n^1))
|
25.02 | * | MAYBE
|
0.90 | * | MAYBE
|
5.35 | * | WORST_CASE(?,O(n^1))
|
3.80 |
Transformed_CSR_04/Ex4_7_56_Bor03_GM
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.12 | * | MAYBE
|
1.04 | * | MAYBE
|
18.07 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_Z
|
* | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
4.38 |
Transformed_CSR_04/Ex4_7_77_Bor03_C
|
* | WORST_CASE(?,O(n^1))
|
55.42 | * | WORST_CASE(?,O(n^1))
|
55.39 | * | MAYBE
|
0.47 | * | MAYBE
|
6.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_7_77_Bor03_FR
|
* | WORST_CASE(?,O(1))
|
0.68 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.12 | * | WORST_CASE(?,O(1))
|
0.28 | * | WORST_CASE(?,O(1))
|
0.87 |
Transformed_CSR_04/Ex4_7_77_Bor03_GM
|
* | WORST_CASE(?,O(n^1))
|
55.10 | * | WORST_CASE(?,O(n^1))
|
55.02 | * | WORST_CASE(?,O(n^2))
|
0.32 | * | WORST_CASE(?,O(n^2))
|
2.38 | * | WORST_CASE(?,O(n^1))
|
1.83 |
Transformed_CSR_04/Ex4_DLMMU04_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.69 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex4_DLMMU04_FR
|
* | MAYBE
|
55.44 | * | MAYBE
|
55.12 | * | MAYBE
|
4.08 | * | TIMEOUT
|
60.06 | * | MAYBE
|
39.43 |
Transformed_CSR_04/Ex4_DLMMU04_GM
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.61 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_DLMMU04_Z
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.09 | * | MAYBE
|
2.16 | * | TIMEOUT
|
60.06 | * | MAYBE
|
4.40 |
Transformed_CSR_04/Ex4_Zan97_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.06 | * | MAYBE
|
55.20 | * | WORST_CASE(?,O(n^1))
|
7.49 |
Transformed_CSR_04/Ex4_Zan97_FR
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.09 | * | MAYBE
|
2.11 | * | MAYBE
|
2.56 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex4_Zan97_GM
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.07 | * | MAYBE
|
1.41 | * | MAYBE
|
36.37 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex4_Zan97_Z
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.08 | * | MAYBE
|
1.94 | * | MAYBE
|
3.28 | * | TIMEOUT
|
60.06 |
Transformed_CSR_04/Ex5_7_Luc97_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.65 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.06 |
Transformed_CSR_04/Ex5_7_Luc97_FR
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.11 | * | MAYBE
|
3.58 | * | MAYBE
|
54.25 | * | MAYBE
|
1.67 |
Transformed_CSR_04/Ex5_7_Luc97_GM
|
* | MAYBE
|
55.36 | * | MAYBE
|
55.41 | * | MAYBE
|
3.33 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex5_7_Luc97_Z
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.11 | * | MAYBE
|
2.54 | * | MAYBE
|
51.48 | * | MAYBE
|
1.00 |
Transformed_CSR_04/Ex5_DLMMU04_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.34 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex5_DLMMU04_FR
|
* | WORST_CASE(?,O(n^1))
|
6.02 | * | WORST_CASE(?,O(n^1))
|
3.99 | * | MAYBE
|
1.66 | * | MAYBE
|
28.63 | * | WORST_CASE(?,O(n^1))
|
4.19 |
Transformed_CSR_04/Ex5_DLMMU04_GM
|
* | MAYBE
|
55.36 | * | MAYBE
|
55.31 | * | MAYBE
|
2.99 | * | MAYBE
|
54.32 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex5_DLMMU04_Z
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.10 | * | MAYBE
|
0.76 | * | MAYBE
|
9.29 | * | MAYBE
|
0.91 |
Transformed_CSR_04/Ex5_Zan97_C
|
* | WORST_CASE(?,O(n^1))
|
55.11 | * | WORST_CASE(?,O(n^1))
|
55.12 | * | MAYBE
|
0.67 | * | MAYBE
|
26.18 | * | WORST_CASE(?,O(n^1))
|
7.78 |
Transformed_CSR_04/Ex5_Zan97_FR
|
* | WORST_CASE(?,O(n^1))
|
2.61 | * | WORST_CASE(?,O(n^1))
|
1.59 | * | MAYBE
|
0.19 | * | MAYBE
|
0.72 | * | WORST_CASE(?,O(n^1))
|
1.55 |
Transformed_CSR_04/Ex5_Zan97_GM
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.12 | * | MAYBE
|
0.64 | * | MAYBE
|
9.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex5_Zan97_Z
|
* | WORST_CASE(?,O(n^1))
|
0.77 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | MAYBE
|
0.34 | * | MAYBE
|
0.33 | * | WORST_CASE(?,O(1))
|
1.46 |
Transformed_CSR_04/Ex6_15_AEL02_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.96 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
9.59 |
Transformed_CSR_04/Ex6_15_AEL02_FR
|
* | MAYBE
|
56.37 | * | MAYBE
|
55.80 | * | MAYBE
|
3.27 | * | MAYBE
|
53.08 | * | MAYBE
|
28.69 |
Transformed_CSR_04/Ex6_15_AEL02_GM
|
* | MAYBE
|
55.29 | * | MAYBE
|
55.33 | * | MAYBE
|
3.58 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex6_15_AEL02_Z
|
* | MAYBE
|
56.41 | * | MAYBE
|
55.24 | * | MAYBE
|
4.19 | * | MAYBE
|
50.78 | * | MAYBE
|
2.34 |
Transformed_CSR_04/Ex6_9_Luc02c_C
|
* | WORST_CASE(?,O(n^5))
|
54.90 | * | MAYBE
|
55.21 | * | MAYBE
|
1.81 | * | MAYBE
|
53.34 | * | WORST_CASE(?,O(n^1))
|
7.87 |
Transformed_CSR_04/Ex6_9_Luc02c_FR
|
* | WORST_CASE(?,O(n^1))
|
1.18 | * | WORST_CASE(?,O(n^1))
|
25.02 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | TIMEOUT
|
60.06 |
Transformed_CSR_04/Ex6_9_Luc02c_GM
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.11 | * | MAYBE
|
1.42 | * | MAYBE
|
36.45 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_9_Luc02c_Z
|
* | WORST_CASE(?,O(1))
|
1.10 | * | WORST_CASE(?,O(1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(1))
|
0.89 |
Transformed_CSR_04/Ex6_GM04_C
|
* | WORST_CASE(?,O(n^1))
|
53.03 | * | WORST_CASE(?,O(n^1))
|
53.02 | * | MAYBE
|
0.27 | * | MAYBE
|
1.50 | * | WORST_CASE(?,O(n^1))
|
2.77 |
Transformed_CSR_04/Ex6_GM04_FR
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.03 | * | MAYBE
|
0.64 | * | MAYBE
|
0.38 | * | MAYBE
|
1.34 |
Transformed_CSR_04/Ex6_GM04_GM
|
* | WORST_CASE(?,O(1))
|
1.40 | * | WORST_CASE(?,O(1))
|
0.14 | * | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.39 | * | WORST_CASE(?,O(1))
|
2.35 |
Transformed_CSR_04/Ex6_Luc98_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.93 | * | MAYBE
|
53.53 | * | WORST_CASE(?,O(n^1))
|
8.28 |
Transformed_CSR_04/Ex6_Luc98_FR
|
* | WORST_CASE(?,O(n^1))
|
5.18 | * | WORST_CASE(?,O(n^1))
|
2.68 | * | MAYBE
|
1.28 | * | MAYBE
|
48.37 | * | WORST_CASE(?,O(n^1))
|
1.81 |
Transformed_CSR_04/Ex6_Luc98_GM
|
* | WORST_CASE(?,O(n^3))
|
55.10 | * | WORST_CASE(?,O(n^3))
|
55.11 | * | MAYBE
|
1.26 | * | WORST_CASE(?,O(n^2))
|
25.18 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex6_Luc98_L
|
* | WORST_CASE(?,O(1))
|
1.14 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.89 |
Transformed_CSR_04/Ex6_Luc98_Z
|
* | WORST_CASE(?,O(n^1))
|
1.32 | * | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
6.03 |
Transformed_CSR_04/Ex7_BLR02_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.57 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
9.04 |
Transformed_CSR_04/Ex7_BLR02_FR
|
* | WORST_CASE(?,O(n^1))
|
6.19 | * | WORST_CASE(?,O(n^1))
|
4.68 | * | MAYBE
|
2.08 | * | MAYBE
|
18.56 | * | WORST_CASE(?,O(n^1))
|
4.56 |
Transformed_CSR_04/Ex7_BLR02_GM
|
* | MAYBE
|
55.31 | * | MAYBE
|
55.38 | * | MAYBE
|
2.34 | * | MAYBE
|
52.69 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex7_BLR02_Z
|
* | WORST_CASE(?,O(n^1))
|
2.92 | * | WORST_CASE(?,O(n^1))
|
25.05 | * | WORST_CASE(?,O(n^1))
|
0.64 | * | WORST_CASE(?,O(n^1))
|
1.00 | * | TIMEOUT
|
60.06 |
Transformed_CSR_04/Ex8_BLR02_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.99 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
9.71 |
Transformed_CSR_04/Ex8_BLR02_FR
|
* | MAYBE
|
55.13 | * | MAYBE
|
55.17 | * | MAYBE
|
2.48 | * | MAYBE
|
4.21 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex8_BLR02_GM
|
* | TIMEOUT
|
60.43 | * | TIMEOUT
|
61.67 | * | MAYBE
|
2.45 | * | MAYBE
|
55.36 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex8_BLR02_Z
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.07 | * | MAYBE
|
3.58 | * | MAYBE
|
4.96 | * | TIMEOUT
|
60.06 |
Transformed_CSR_04/Ex9_BLR02_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.11 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex9_BLR02_FR
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.11 | * | MAYBE
|
2.10 | * | MAYBE
|
43.09 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex9_BLR02_GM
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.06 | * | MAYBE
|
1.32 | * | MAYBE
|
51.45 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex9_BLR02_L
|
* | WORST_CASE(?,O(1))
|
0.49 | * | WORST_CASE(?,O(1))
|
0.14 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
1.41 |
Transformed_CSR_04/Ex9_BLR02_Z
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.09 | * | MAYBE
|
13.35 | * | MAYBE
|
50.57 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/Ex9_Luc04_C
|
* | MAYBE
|
55.46 | * | MAYBE
|
55.16 | * | MAYBE
|
1.54 | * | MAYBE
|
14.36 | * | WORST_CASE(?,O(n^1))
|
23.24 |
Transformed_CSR_04/Ex9_Luc04_GM
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.04 | * | MAYBE
|
0.25 | * | MAYBE
|
1.57 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/Ex9_Luc04_L
|
* | MAYBE
|
3.12 | * | MAYBE
|
2.67 | * | MAYBE
|
0.07 | * | MAYBE
|
0.10 | * | MAYBE
|
0.90 |
Transformed_CSR_04/Ex9_Luc06_C
|
* | WORST_CASE(?,O(n^4))
|
53.12 | * | WORST_CASE(?,O(n^4))
|
53.10 | * | TRS is not left-linear
|
0.07 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
8.26 |
Transformed_CSR_04/Ex9_Luc06_FR
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.10 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.03 | * | MAYBE
|
1.59 |
Transformed_CSR_04/Ex9_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
7.02 | * | WORST_CASE(?,O(n^1))
|
7.03 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
4.08 |
Transformed_CSR_04/ExAppendixB_AEL03_C
|
* | MAYBE
|
55.52 | * | TIMEOUT
|
60.06 | * | MAYBE
|
5.61 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.17 |
Transformed_CSR_04/ExAppendixB_AEL03_FR
|
* | WORST_CASE(?,O(n^1))
|
25.04 | * | WORST_CASE(?,O(n^1))
|
25.04 | * | MAYBE
|
1.04 | * | MAYBE
|
11.58 | * | WORST_CASE(?,O(n^1))
|
3.88 |
Transformed_CSR_04/ExAppendixB_AEL03_GM
|
* | MAYBE
|
56.40 | * | MAYBE
|
55.47 | * | MAYBE
|
3.26 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/ExAppendixB_AEL03_Z
|
* | WORST_CASE(?,O(n^2))
|
25.03 | * | WORST_CASE(?,O(n^2))
|
25.04 | * | MAYBE
|
1.26 | * | MAYBE
|
21.06 | * | WORST_CASE(?,O(n^2))
|
4.63 |
Transformed_CSR_04/ExConc_Zan97_C
|
* | WORST_CASE(?,O(n^1))
|
10.87 | * | WORST_CASE(?,O(n^1))
|
9.07 | * | MAYBE
|
0.45 | * | MAYBE
|
5.37 | * | WORST_CASE(?,O(n^1))
|
8.08 |
Transformed_CSR_04/ExConc_Zan97_FR
|
* | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
1.42 |
Transformed_CSR_04/ExConc_Zan97_GM
|
* | WORST_CASE(?,O(n^1))
|
1.36 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.79 | * | WORST_CASE(?,O(n^1))
|
1.16 |
Transformed_CSR_04/ExConc_Zan97_Z
|
* | MAYBE
|
10.22 | * | MAYBE
|
10.86 | * | MAYBE
|
0.10 | * | MAYBE
|
0.20 | * | MAYBE
|
2.50 |
Transformed_CSR_04/ExIntrod_GM01_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.48 | * | TIMEOUT
|
60.04 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM01_FR
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.12 | * | MAYBE
|
1.86 | * | MAYBE
|
49.05 | * | MAYBE
|
2.37 |
Transformed_CSR_04/ExIntrod_GM01_GM
|
* | TIMEOUT
|
60.15 | * | MAYBE
|
55.51 | * | MAYBE
|
4.14 | * | MAYBE
|
51.29 | * | TIMEOUT
|
60.04 |
Transformed_CSR_04/ExIntrod_GM01_Z
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.08 | * | MAYBE
|
17.58 | * | MAYBE
|
25.73 | * | MAYBE
|
1.84 |
Transformed_CSR_04/ExIntrod_GM04_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.24 | * | MAYBE
|
52.43 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/ExIntrod_GM04_FR
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.11 | * | MAYBE
|
10.56 | * | MAYBE
|
48.95 | * | MAYBE
|
4.17 |
Transformed_CSR_04/ExIntrod_GM04_GM
|
* | MAYBE
|
55.09 | * | WORST_CASE(?,O(n^3))
|
55.44 | * | MAYBE
|
16.81 | * | MAYBE
|
49.22 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_GM04_Z
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.07 | * | MAYBE
|
15.71 | * | MAYBE
|
41.67 | * | MAYBE
|
5.31 |
Transformed_CSR_04/ExIntrod_GM99_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.01 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/ExIntrod_GM99_FR
|
* | WORST_CASE(?,O(n^1))
|
5.95 | * | WORST_CASE(?,O(n^1))
|
4.72 | * | MAYBE
|
1.00 | * | MAYBE
|
49.90 | * | WORST_CASE(?,O(n^1))
|
4.27 |
Transformed_CSR_04/ExIntrod_GM99_GM
|
* | MAYBE
|
55.31 | * | MAYBE
|
55.39 | * | MAYBE
|
2.61 | * | TIMEOUT
|
60.03 | * | TIMEOUT
|
60.04 |
Transformed_CSR_04/ExIntrod_GM99_Z
|
* | WORST_CASE(?,O(1))
|
7.27 | * | WORST_CASE(?,O(1))
|
2.78 | * | MAYBE
|
1.10 | * | MAYBE
|
22.35 | * | WORST_CASE(?,O(1))
|
0.93 |
Transformed_CSR_04/ExIntrod_Zan97_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.30 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.53 |
Transformed_CSR_04/ExIntrod_Zan97_FR
|
* | WORST_CASE(?,O(n^1))
|
53.10 | * | WORST_CASE(?,O(n^1))
|
52.58 | * | MAYBE
|
0.54 | * | MAYBE
|
6.23 | * | WORST_CASE(?,O(n^1))
|
1.27 |
Transformed_CSR_04/ExIntrod_Zan97_GM
|
* | MAYBE
|
55.28 | * | MAYBE
|
55.32 | * | MAYBE
|
1.46 | * | MAYBE
|
58.60 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExIntrod_Zan97_Z
|
* | MAYBE
|
14.74 | * | MAYBE
|
14.35 | * | MAYBE
|
0.26 | * | MAYBE
|
0.74 | * | MAYBE
|
1.29 |
Transformed_CSR_04/ExProp7_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
53.03 | * | WORST_CASE(?,O(n^1))
|
55.11 | * | MAYBE
|
0.86 | * | MAYBE
|
49.26 | * | WORST_CASE(?,O(n^1))
|
8.43 |
Transformed_CSR_04/ExProp7_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
2.95 | * | WORST_CASE(?,O(n^1))
|
0.76 | * | MAYBE
|
0.20 | * | MAYBE
|
0.70 | * | WORST_CASE(?,O(n^1))
|
1.10 |
Transformed_CSR_04/ExProp7_Luc06_GM
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.04 | * | MAYBE
|
0.97 | * | MAYBE
|
46.42 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/ExProp7_Luc06_L
|
* | WORST_CASE(?,O(n^1))
|
1.37 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^2))
|
0.11 | * | WORST_CASE(?,O(n^2))
|
0.16 | * | WORST_CASE(?,O(1))
|
0.90 |
Transformed_CSR_04/ExProp7_Luc06_Z
|
* | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^2))
|
0.10 | * | WORST_CASE(?,O(n^2))
|
0.49 | * | WORST_CASE(?,O(1))
|
0.87 |
Transformed_CSR_04/ExSec11_1_Luc02a_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.01 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
7.80 |
Transformed_CSR_04/ExSec11_1_Luc02a_FR
|
* | WORST_CASE(?,O(n^1))
|
8.00 | * | WORST_CASE(?,O(n^1))
|
7.17 | * | MAYBE
|
0.73 | * | MAYBE
|
8.26 | * | TIMEOUT
|
60.06 |
Transformed_CSR_04/ExSec11_1_Luc02a_GM
|
* | MAYBE
|
55.42 | * | MAYBE
|
55.38 | * | MAYBE
|
1.45 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.02 |
Transformed_CSR_04/ExSec11_1_Luc02a_L
|
* | WORST_CASE(?,O(n^3))
|
6.87 | * | WORST_CASE(?,O(n^3))
|
4.68 | * | MAYBE
|
0.58 | * | WORST_CASE(?,O(n^3))
|
1.23 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExSec11_1_Luc02a_Z
|
* | WORST_CASE(?,O(n^3))
|
8.24 | * | WORST_CASE(?,O(n^3))
|
4.55 | * | MAYBE
|
0.89 | * | WORST_CASE(?,O(n^3))
|
4.00 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExSec4_2_DLMMU04_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.08 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
11.86 |
Transformed_CSR_04/ExSec4_2_DLMMU04_FR
|
* | WORST_CASE(?,O(n^1))
|
7.36 | * | WORST_CASE(?,O(n^1))
|
6.68 | * | MAYBE
|
0.62 | * | MAYBE
|
1.96 | * | WORST_CASE(?,O(n^1))
|
3.60 |
Transformed_CSR_04/ExSec4_2_DLMMU04_GM
|
* | MAYBE
|
55.28 | * | MAYBE
|
55.31 | * | MAYBE
|
3.39 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/ExSec4_2_DLMMU04_Z
|
* | WORST_CASE(?,O(n^1))
|
1.47 | * | WORST_CASE(?,O(n^1))
|
25.03 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
5.52 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR
|
* | MAYBE
|
55.17 | * | MAYBE
|
55.04 | * | MAYBE
|
6.39 | * | TIMEOUT
|
60.37 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.03 | * | MAYBE
|
6.13 | * | TIMEOUT
|
60.50 | * | MAYBE
|
13.97 |
Transformed_CSR_04/LISTUTILITIES_complete_C
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.05 | * | MAYBE
|
14.59 | * | TIMEOUT
|
60.11 | * | WORST_CASE(?,O(n^1))
|
13.32 |
Transformed_CSR_04/LISTUTILITIES_complete_FR
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
6.23 | * | TIMEOUT
|
60.12 | * | MAYBE
|
2.65 |
Transformed_CSR_04/LISTUTILITIES_complete_GM
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
22.03 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/LISTUTILITIES_complete_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
5.70 | * | TIMEOUT
|
60.11 | * | MAYBE
|
5.32 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_C
|
* | MAYBE
|
55.17 | * | TIMEOUT
|
60.06 | * | MAYBE
|
39.43 | * | TIMEOUT
|
60.12 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.07 | * | MAYBE
|
34.38 | * | TIMEOUT
|
60.54 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.03 | * | MAYBE
|
3.31 | * | TIMEOUT
|
60.13 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.02 | * | MAYBE
|
3.04 | * | TIMEOUT
|
60.12 | * | MAYBE
|
30.90 |
Transformed_CSR_04/LISTUTILITIES_nokinds_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
7.28 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
9.54 |
Transformed_CSR_04/LISTUTILITIES_nokinds_FR
|
* | MAYBE
|
55.23 | * | MAYBE
|
55.24 | * | MAYBE
|
4.01 | * | TIMEOUT
|
60.11 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/LISTUTILITIES_nokinds_GM
|
* | MAYBE
|
55.22 | * | MAYBE
|
55.29 | * | MAYBE
|
9.03 | * | TIMEOUT
|
60.73 | * | TIMEOUT
|
60.03 |
Transformed_CSR_04/LISTUTILITIES_nokinds_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.63 | * | TIMEOUT
|
60.13 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C
|
* | MAYBE
|
55.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
24.53 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
15.17 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.03 | * | MAYBE
|
16.18 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.03 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.16 | * | MAYBE
|
1.87 | * | MAYBE
|
24.68 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z
|
* | WORST_CASE(?,O(n^1))
|
25.14 | * | WORST_CASE(?,O(n^1))
|
25.10 | * | MAYBE
|
11.99 | * | MAYBE
|
21.53 | * | TIMEOUT
|
60.05 |
Transformed_CSR_04/LISTUTILITIES_nosorts_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.63 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
7.67 |
Transformed_CSR_04/LISTUTILITIES_nosorts_FR
|
* | WORST_CASE(?,O(n^1))
|
25.05 | * | WORST_CASE(?,O(n^1))
|
25.05 | * | MAYBE
|
0.80 | * | MAYBE
|
3.53 | * | WORST_CASE(?,O(n^1))
|
1.46 |
Transformed_CSR_04/LISTUTILITIES_nosorts_GM
|
* | MAYBE
|
55.22 | * | MAYBE
|
55.26 | * | MAYBE
|
3.06 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/LISTUTILITIES_nosorts_Z
|
* | WORST_CASE(?,O(n^1))
|
25.20 | * | WORST_CASE(?,O(n^1))
|
25.07 | * | MAYBE
|
1.87 | * | MAYBE
|
3.74 | * | WORST_CASE(?,O(n^1))
|
7.93 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
7.48 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
7.74 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM
|
* | MAYBE
|
55.23 | * | TIMEOUT
|
60.13 | * | MAYBE
|
8.58 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.03 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR
|
* | MAYBE
|
57.29 | * | MAYBE
|
56.25 | * | MAYBE
|
1.82 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z
|
* | MAYBE
|
55.43 | * | MAYBE
|
55.25 | * | MAYBE
|
5.18 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/LengthOfFiniteLists_complete_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
4.39 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete_FR
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.63 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.99 |
Transformed_CSR_04/LengthOfFiniteLists_complete_GM
|
* | MAYBE
|
55.15 | * | TIMEOUT
|
60.06 | * | MAYBE
|
12.26 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/LengthOfFiniteLists_complete_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.52 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.03 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C
|
* | MAYBE
|
59.48 | * | MAYBE
|
55.02 | * | MAYBE
|
9.57 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM
|
* | MAYBE
|
55.36 | * | MAYBE
|
55.03 | * | MAYBE
|
30.98 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR
|
* | MAYBE
|
56.32 | * | MAYBE
|
56.02 | * | MAYBE
|
1.64 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z
|
* | MAYBE
|
57.13 | * | MAYBE
|
55.74 | * | MAYBE
|
2.18 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.51 | * | MAYBE
|
55.52 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.56 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM
|
* | MAYBE
|
55.14 | * | MAYBE
|
55.69 | * | MAYBE
|
3.79 | * | TIMEOUT
|
60.02 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.99 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.83 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM
|
* | WORST_CASE(?,O(n^5))
|
54.48 | * | WORST_CASE(?,O(n^5))
|
54.37 | * | MAYBE
|
3.93 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.05 | * | MAYBE
|
0.50 | * | MAYBE
|
1.22 | * | MAYBE
|
1.05 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C
|
* | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
55.16 | * | MAYBE
|
0.97 | * | MAYBE
|
32.77 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.06 | * | MAYBE
|
0.39 | * | MAYBE
|
0.35 | * | MAYBE
|
1.07 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM
|
* | MAYBE
|
55.05 | * | MAYBE
|
55.06 | * | MAYBE
|
0.84 | * | MAYBE
|
20.79 | * | MAYBE
|
2.40 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C
|
* | WORST_CASE(?,O(n^1))
|
56.73 | * | WORST_CASE(?,O(n^1))
|
55.99 | * | MAYBE
|
1.54 | * | MAYBE
|
51.86 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.08 | * | MAYBE
|
1.81 | * | MAYBE
|
33.21 | * | MAYBE
|
1.95 |
Transformed_CSR_04/MYNAT_complete-noand_FR
|
* | MAYBE
|
55.03 | * | MAYBE
|
55.03 | * | MAYBE
|
1.74 | * | TIMEOUT
|
60.20 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/MYNAT_complete-noand_Z
|
* | MAYBE
|
56.06 | * | MAYBE
|
55.29 | * | MAYBE
|
6.21 | * | TIMEOUT
|
60.33 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/MYNAT_complete_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
5.66 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.55 |
Transformed_CSR_04/MYNAT_complete_FR
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.53 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.00 |
Transformed_CSR_04/MYNAT_complete_GM
|
* | TIMEOUT
|
60.12 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.47 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.25 |
Transformed_CSR_04/MYNAT_complete_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
6.01 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/MYNAT_complete_noand_C
|
* | MAYBE
|
56.59 | * | MAYBE
|
55.03 | * | MAYBE
|
13.23 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
10.19 |
Transformed_CSR_04/MYNAT_complete_noand_GM
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.03 | * | MAYBE
|
7.52 | * | TIMEOUT
|
60.06 | * | MAYBE
|
9.16 |
Transformed_CSR_04/MYNAT_nokinds-noand_FR
|
* | WORST_CASE(?,O(n^2))
|
56.72 | * | WORST_CASE(?,O(n^2))
|
56.41 | * | MAYBE
|
2.93 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^2))
|
3.75 |
Transformed_CSR_04/MYNAT_nokinds-noand_Z
|
* | WORST_CASE(?,O(n^1))
|
55.24 | * | WORST_CASE(?,O(n^1))
|
55.28 | * | MAYBE
|
1.29 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
6.44 |
Transformed_CSR_04/MYNAT_nokinds_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.15 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.00 |
Transformed_CSR_04/MYNAT_nokinds_FR
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.08 | * | MAYBE
|
1.89 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/MYNAT_nokinds_GM
|
* | MAYBE
|
55.22 | * | MAYBE
|
55.32 | * | MAYBE
|
2.74 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.44 |
Transformed_CSR_04/MYNAT_nokinds_Z
|
* | WORST_CASE(?,O(n^1))
|
55.25 | * | WORST_CASE(?,O(n^1))
|
55.21 | * | MAYBE
|
1.04 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/MYNAT_nokinds_noand_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.51 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
7.65 |
Transformed_CSR_04/MYNAT_nokinds_noand_GM
|
* | MAYBE
|
55.19 | * | MAYBE
|
55.24 | * | MAYBE
|
6.56 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.65 |
Transformed_CSR_04/MYNAT_nosorts-noand_FR
|
* | WORST_CASE(?,O(n^2))
|
25.35 | * | WORST_CASE(?,O(n^2))
|
25.07 | * | MAYBE
|
0.42 | * | MAYBE
|
0.88 | * | WORST_CASE(?,O(n^2))
|
4.91 |
Transformed_CSR_04/MYNAT_nosorts_C
|
* | MAYBE
|
55.43 | * | MAYBE
|
55.24 | * | MAYBE
|
3.11 | * | MAYBE
|
56.86 | * | WORST_CASE(?,O(n^1))
|
8.10 |
Transformed_CSR_04/MYNAT_nosorts_FR
|
* | WORST_CASE(?,O(n^2))
|
1.54 | * | WORST_CASE(?,O(n^2))
|
0.75 | * | MAYBE
|
0.24 | * | MAYBE
|
0.42 | * | WORST_CASE(?,O(n^2))
|
3.53 |
Transformed_CSR_04/MYNAT_nosorts_GM
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.11 | * | MAYBE
|
1.01 | * | MAYBE
|
50.63 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/MYNAT_nosorts_noand_C
|
* | MAYBE
|
55.33 | * | MAYBE
|
55.34 | * | MAYBE
|
4.37 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
7.54 |
Transformed_CSR_04/MYNAT_nosorts_noand_GM
|
* | MAYBE
|
55.24 | * | MAYBE
|
55.34 | * | MAYBE
|
1.91 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.17 |
Transformed_CSR_04/OvConsOS_complete-noand_FR
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.02 | * | MAYBE
|
2.70 | * | TIMEOUT
|
60.11 | * | TIMEOUT
|
60.07 |
Transformed_CSR_04/OvConsOS_complete-noand_Z
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.02 | * | MAYBE
|
2.55 | * | TIMEOUT
|
60.12 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_complete_C
|
* | MAYBE
|
59.66 | * | MAYBE
|
55.97 | * | MAYBE
|
5.88 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_complete_FR
|
* | MAYBE
|
55.29 | * | MAYBE
|
55.32 | * | MAYBE
|
2.82 | * | TIMEOUT
|
60.39 | * | MAYBE
|
1.08 |
Transformed_CSR_04/OvConsOS_complete_GM
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.12 | * | MAYBE
|
26.28 | * | TIMEOUT
|
60.25 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/OvConsOS_complete_Z
|
* | MAYBE
|
56.68 | * | MAYBE
|
55.33 | * | MAYBE
|
4.61 | * | TIMEOUT
|
60.26 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_complete_noand_C
|
* | MAYBE
|
55.09 | * | TIMEOUT
|
60.06 | * | MAYBE
|
11.34 | * | TIMEOUT
|
60.12 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_complete_noand_GM
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.03 | * | MAYBE
|
31.62 | * | TIMEOUT
|
60.12 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/OvConsOS_nokinds-noand_FR
|
* | MAYBE
|
55.30 | * | MAYBE
|
55.15 | * | MAYBE
|
6.06 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nokinds-noand_Z
|
* | MAYBE
|
55.23 | * | MAYBE
|
55.07 | * | MAYBE
|
1.95 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.04 |
Transformed_CSR_04/OvConsOS_nokinds_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.06 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nokinds_FR
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.50 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/OvConsOS_nokinds_GM
|
* | MAYBE
|
55.26 | * | MAYBE
|
55.32 | * | MAYBE
|
7.35 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nokinds_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.00 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nokinds_noand_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
5.04 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nokinds_noand_GM
|
* | MAYBE
|
55.31 | * | MAYBE
|
55.34 | * | MAYBE
|
15.85 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nosorts-noand_FR
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.11 | * | MAYBE
|
2.76 | * | MAYBE
|
50.56 | * | MAYBE
|
45.12 |
Transformed_CSR_04/OvConsOS_nosorts-noand_Z
|
* | MAYBE
|
55.17 | * | MAYBE
|
55.20 | * | MAYBE
|
3.29 | * | MAYBE
|
50.15 | * | MAYBE
|
5.18 |
Transformed_CSR_04/OvConsOS_nosorts_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.68 | * | MAYBE
|
54.70 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nosorts_FR
|
* | MAYBE
|
55.81 | * | MAYBE
|
55.05 | * | MAYBE
|
1.67 | * | MAYBE
|
31.99 | * | MAYBE
|
2.26 |
Transformed_CSR_04/OvConsOS_nosorts_GM
|
* | MAYBE
|
55.07 | * | MAYBE
|
55.11 | * | MAYBE
|
2.26 | * | MAYBE
|
49.37 | * | MAYBE
|
1.23 |
Transformed_CSR_04/OvConsOS_nosorts_Z
|
* | MAYBE
|
55.08 | * | MAYBE
|
55.06 | * | MAYBE
|
0.76 | * | MAYBE
|
2.04 | * | MAYBE
|
0.88 |
Transformed_CSR_04/OvConsOS_nosorts_noand_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.55 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/OvConsOS_nosorts_noand_GM
|
* | MAYBE
|
55.25 | * | MAYBE
|
55.26 | * | MAYBE
|
12.48 | * | MAYBE
|
57.62 | * | TIMEOUT
|
60.02 |
Transformed_CSR_04/PALINDROME_complete-noand_FR
|
* | MAYBE
|
55.17 | * | MAYBE
|
55.08 | * | TRS is not left-linear
|
0.04 | * | TRS is not left-linear
|
0.11 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PALINDROME_complete-noand_L
|
* | MAYBE
|
56.50 | * | MAYBE
|
55.72 | * | MAYBE
|
1.47 | * | MAYBE
|
47.86 | * | MAYBE
|
4.42 |
Transformed_CSR_04/PALINDROME_complete-noand_Z
|
* | WORST_CASE(?,O(n^2))
|
39.73 | * | WORST_CASE(?,O(n^2))
|
36.22 | * | TRS is not left-linear
|
0.08 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PALINDROME_complete_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.04 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
7.61 |
Transformed_CSR_04/PALINDROME_complete_FR
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.13 | * | TRS is not left-linear
|
0.21 | * | MAYBE
|
1.04 |
Transformed_CSR_04/PALINDROME_complete_GM
|
* | MAYBE
|
55.53 | * | MAYBE
|
55.34 | * | TRS is not left-linear
|
0.07 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/PALINDROME_complete_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.08 | * | TRS is not left-linear
|
0.09 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PALINDROME_complete_noand_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.02 | * | TRS is not left-linear
|
0.02 | * | WORST_CASE(?,O(n^1))
|
11.71 |
Transformed_CSR_04/PALINDROME_complete_noand_GM
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.04 | * | TRS is not left-linear
|
0.02 | * | TRS is not left-linear
|
0.02 | * | TIMEOUT
|
60.03 |
Transformed_CSR_04/PALINDROME_nokinds-noand_FR
|
* | WORST_CASE(?,O(n^2))
|
19.03 | * | WORST_CASE(?,O(n^2))
|
18.25 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.04 | * | WORST_CASE(?,O(n^2))
|
14.66 |
Transformed_CSR_04/PALINDROME_nokinds-noand_L
|
* | MAYBE
|
35.01 | * | MAYBE
|
31.81 | * | MAYBE
|
0.17 | * | MAYBE
|
0.82 | * | MAYBE
|
1.56 |
Transformed_CSR_04/PALINDROME_nokinds-noand_Z
|
* | WORST_CASE(?,O(n^1))
|
7.30 | * | WORST_CASE(?,O(n^1))
|
7.10 | * | TRS is not left-linear
|
0.05 | * | TRS is not left-linear
|
0.02 | * | WORST_CASE(?,O(n^1))
|
7.30 |
Transformed_CSR_04/PALINDROME_nokinds_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
8.74 |
Transformed_CSR_04/PALINDROME_nokinds_FR
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.08 | * | TRS is not left-linear
|
0.04 | * | TRS is not left-linear
|
0.02 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PALINDROME_nokinds_GM
|
* | MAYBE
|
55.10 | * | MAYBE
|
55.04 | * | TRS is not left-linear
|
0.06 | * | TRS is not left-linear
|
0.03 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PALINDROME_nokinds_Z
|
* | WORST_CASE(?,O(n^3))
|
55.78 | * | WORST_CASE(?,O(n^3))
|
55.68 | * | TRS is not left-linear
|
0.02 | * | TRS is not left-linear
|
0.03 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PALINDROME_nokinds_noand_C
|
* | WORST_CASE(?,O(n^1))
|
55.20 | * | WORST_CASE(?,O(n^1))
|
55.43 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
7.81 |
Transformed_CSR_04/PALINDROME_nokinds_noand_GM
|
* | MAYBE
|
55.26 | * | MAYBE
|
55.51 | * | TRS is not left-linear
|
0.03 | * | TRS is not left-linear
|
0.02 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/PALINDROME_nosorts_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.04 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
9.30 |
Transformed_CSR_04/PALINDROME_nosorts_GM
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.13 | * | TRS is not left-linear
|
0.05 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PALINDROME_nosorts_noand_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.02 | * | WORST_CASE(?,O(n^1))
|
8.72 |
Transformed_CSR_04/PALINDROME_nosorts_noand_GM
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.08 | * | TRS is not left-linear
|
0.20 | * | TRS is not left-linear
|
0.03 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_complete-noand_FR
|
* | WORST_CASE(?,O(n^3))
|
25.28 | * | WORST_CASE(?,O(n^3))
|
25.26 | * | MAYBE
|
1.28 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_complete-noand_Z
|
* | WORST_CASE(?,O(n^2))
|
25.20 | * | WORST_CASE(?,O(n^2))
|
25.19 | * | MAYBE
|
0.84 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_complete_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.27 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
7.69 |
Transformed_CSR_04/PEANO_complete_FR
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.78 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.55 |
Transformed_CSR_04/PEANO_complete_GM
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.85 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_complete_Z
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
1.03 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_complete_noand_C
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
55.33 | * | MAYBE
|
8.39 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
8.16 |
Transformed_CSR_04/PEANO_complete_noand_GM
|
* | MAYBE
|
55.69 | * | TIMEOUT
|
60.47 | * | MAYBE
|
9.51 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds-noand_FR
|
* | WORST_CASE(?,O(n^2))
|
25.09 | * | WORST_CASE(?,O(n^2))
|
25.11 | * | MAYBE
|
0.31 | * | MAYBE
|
56.68 | * | WORST_CASE(?,O(n^2))
|
1.99 |
Transformed_CSR_04/PEANO_nokinds-noand_Z
|
* | WORST_CASE(?,O(n^1))
|
25.53 | * | WORST_CASE(?,O(n^1))
|
25.16 | * | MAYBE
|
0.52 | * | MAYBE
|
55.87 | * | WORST_CASE(?,O(n^1))
|
1.42 |
Transformed_CSR_04/PEANO_nokinds_C
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
55.87 | * | MAYBE
|
3.95 | * | MAYBE
|
58.35 | * | WORST_CASE(?,O(n^1))
|
10.31 |
Transformed_CSR_04/PEANO_nokinds_FR
|
* | MAYBE
|
55.02 | * | MAYBE
|
55.02 | * | MAYBE
|
0.56 | * | MAYBE
|
52.61 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds_GM
|
* | MAYBE
|
55.16 | * | MAYBE
|
55.15 | * | MAYBE
|
2.48 | * | MAYBE
|
59.66 | * | TIMEOUT
|
60.01 |
Transformed_CSR_04/PEANO_nokinds_Z
|
* | WORST_CASE(?,O(n^1))
|
49.98 | * | WORST_CASE(?,O(n^1))
|
46.86 | * | MAYBE
|
0.69 | * | MAYBE
|
52.78 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nokinds_noand_C
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
4.58 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
9.28 |
Transformed_CSR_04/PEANO_nokinds_noand_GM
|
* | MAYBE
|
55.26 | * | MAYBE
|
55.27 | * | MAYBE
|
4.47 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nosorts-noand_FR
|
* | WORST_CASE(?,O(n^1))
|
7.07 | * | WORST_CASE(?,O(n^1))
|
7.02 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
1.69 |
Transformed_CSR_04/PEANO_nosorts_C
|
* | WORST_CASE(?,O(n^1))
|
35.36 | * | WORST_CASE(?,O(n^1))
|
33.64 | * | MAYBE
|
0.81 | * | MAYBE
|
37.81 | * | WORST_CASE(?,O(n^1))
|
20.03 |
Transformed_CSR_04/PEANO_nosorts_FR
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
2.02 |
Transformed_CSR_04/PEANO_nosorts_GM
|
* | MAYBE
|
55.11 | * | MAYBE
|
55.12 | * | MAYBE
|
1.11 | * | MAYBE
|
31.41 | * | TIMEOUT
|
60.00 |
Transformed_CSR_04/PEANO_nosorts_noand_C
|
* | WORST_CASE(?,O(n^1))
|
56.20 | * | WORST_CASE(?,O(n^1))
|
55.17 | * | MAYBE
|
1.32 | * | MAYBE
|
55.66 | * | WORST_CASE(?,O(n^1))
|
7.95 |
Transformed_CSR_04/PEANO_nosorts_noand_GM
|
* | MAYBE
|
55.12 | * | MAYBE
|
55.12 | * | MAYBE
|
1.36 | * | MAYBE
|
50.02 | * | TIMEOUT
|
60.00 |
Various_04/04
|
* | WORST_CASE(?,O(1))
|
4.62 | * | WORST_CASE(?,O(1))
|
4.78 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
1.67 |
Various_04/08
|
* | WORST_CASE(?,O(1))
|
13.07 | * | WORST_CASE(?,O(1))
|
12.65 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(1))
|
1.58 |
Various_04/10
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.77 | * | MAYBE
|
11.00 | * | TIMEOUT
|
60.05 |
Various_04/11
|
* | MAYBE
|
12.22 | * | MAYBE
|
11.81 | * | MAYBE
|
0.12 | * | MAYBE
|
0.23 | * | WORST_CASE(?,O(1))
|
1.54 |
Various_04/12
|
* | MAYBE
|
53.08 | * | MAYBE
|
53.07 | * | MAYBE
|
0.23 | * | MAYBE
|
2.30 | * | TIMEOUT
|
60.00 |
Various_04/13
|
* | MAYBE
|
53.07 | * | MAYBE
|
53.08 | * | MAYBE
|
0.63 | * | MAYBE
|
3.86 | * | TIMEOUT
|
60.00 |
Various_04/14
|
* | WORST_CASE(?,O(n^2))
|
25.17 | * | WORST_CASE(?,O(n^2))
|
25.17 | * | MAYBE
|
1.79 | * | MAYBE
|
30.52 | * | TIMEOUT
|
60.04 |
Various_04/15
|
* | WORST_CASE(?,O(n^1))
|
0.94 | * | WORST_CASE(?,O(n^1))
|
2.11 | * | WORST_CASE(?,O(n^2))
|
0.15 | * | WORST_CASE(?,O(n^2))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
4.57 |
Various_04/18
|
* | WORST_CASE(?,O(n^1))
|
10.76 | * | WORST_CASE(?,O(n^1))
|
11.02 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
11.35 |
Various_04/22
|
* | WORST_CASE(?,O(n^1))
|
1.51 | * | WORST_CASE(?,O(n^1))
|
1.13 | * | MAYBE
|
0.14 | * | MAYBE
|
0.23 | * | WORST_CASE(?,O(n^1))
|
13.32 |
Various_04/23
|
* | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | TRS is not left-linear
|
0.01 | * | TRS is not left-linear
|
0.01 | * | WORST_CASE(?,O(n^1))
|
13.00 |
Various_04/24
|
* | WORST_CASE(?,O(n^2))
|
7.03 | * | WORST_CASE(?,O(n^2))
|
7.03 | * | WORST_CASE(?,O(n^2))
|
1.16 | * | WORST_CASE(?,O(n^2))
|
3.67 | * | WORST_CASE(?,O(n^1))
|
1.76 |
Waldmann_06/jwmatchb1
|
* | WORST_CASE(?,O(n^1))
|
2.55 | * | WORST_CASE(?,O(n^1))
|
2.00 | * | MAYBE
|
0.28 | * | MAYBE
|
1.60 | * | WORST_CASE(?,O(n^1))
|
2.31 |
Waldmann_06/jwmatchb2
|
* | WORST_CASE(?,O(n^1))
|
2.59 | * | WORST_CASE(?,O(n^1))
|
2.13 | * | MAYBE
|
0.26 | * | MAYBE
|
2.72 | * | WORST_CASE(?,O(n^1))
|
1.74 |
Waldmann_06/jwno1
|
* | MAYBE
|
10.19 | * | MAYBE
|
9.80 | * | MAYBE
|
0.13 | * | MAYBE
|
0.35 | * | TIMEOUT
|
60.06 |
Waldmann_06/jwno4
|
* | MAYBE
|
9.32 | * | MAYBE
|
9.44 | * | MAYBE
|
0.13 | * | MAYBE
|
0.26 | * | TIMEOUT
|
60.06 |
Waldmann_06/jwno6
|
* | MAYBE
|
10.57 | * | MAYBE
|
10.28 | * | MAYBE
|
0.12 | * | MAYBE
|
0.24 | * | TIMEOUT
|
60.06 |
Zantema_05/z10
|
* | MAYBE
|
16.70 | * | MAYBE
|
15.61 | * | MAYBE
|
0.47 | * | MAYBE
|
0.43 | * | TIMEOUT
|
60.06 |
Zantema_05/z12
|
* | MAYBE
|
55.04 | * | MAYBE
|
55.04 | * | MAYBE
|
21.84 | * | MAYBE
|
24.29 | * | TIMEOUT
|
60.10 |
Zantema_05/z13
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.06 | * | MAYBE
|
3.76 | * | MAYBE
|
11.32 | * | TIMEOUT
|
60.06 |
Zantema_05/z14
|
* | MAYBE
|
55.06 | * | MAYBE
|
55.05 | * | MAYBE
|
2.85 | * | MAYBE
|
5.64 | * | TIMEOUT
|
60.06 |
Zantema_05/z15
|
* | TIMEOUT
|
60.01 | * | MAYBE
|
55.04 | * | MAYBE
|
4.56 | * | MAYBE
|
8.18 | * | TIMEOUT
|
60.06 |
Zantema_05/z16
|
* | MAYBE
|
55.01 | * | MAYBE
|
55.02 | * | MAYBE
|
3.11 | * | MAYBE
|
6.19 | * | TIMEOUT
|
60.06 |
Zantema_05/z17
|
* | MAYBE
|
55.79 | * | MAYBE
|
55.30 | * | MAYBE
|
12.34 | * | MAYBE
|
16.34 | * | TIMEOUT
|
60.06 |
Zantema_05/z18
|
* | TIMEOUT
|
60.01 | * | MAYBE
|
55.03 | * | MAYBE
|
5.82 | * | MAYBE
|
9.02 | * | TIMEOUT
|
60.06 |
Zantema_05/z23
|
* | TIMEOUT
|
60.01 | * | MAYBE
|
55.03 | * | MAYBE
|
28.55 | * | MAYBE
|
43.22 | * | WORST_CASE(?,O(n^1))
|
2.82 |
Zantema_05/z24
|
* | TIMEOUT
|
60.01 | * | MAYBE
|
55.04 | * | MAYBE
|
6.16 | * | MAYBE
|
34.52 | * | TIMEOUT
|
60.06 |
Zantema_05/z26
|
* | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.06 | * | MAYBE
|
0.15 | * | MAYBE
|
0.21 | * | WORST_CASE(?,O(n^1))
|
19.43 |
Zantema_05/z27
|
* | MAYBE
|
18.72 | * | MAYBE
|
18.04 | * | MAYBE
|
0.20 | * | MAYBE
|
0.63 | * | TIMEOUT
|
60.06 |
Zantema_05/z28
|
* | MAYBE
|
18.57 | * | MAYBE
|
18.22 | * | MAYBE
|
0.10 | * | MAYBE
|
0.10 | * | WORST_CASE(?,O(n^1))
|
5.03 |
hoca/dfs-flatten
|
* | WORST_CASE(?,O(n^1))
|
1.32 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.72 |
hoca/fib_llist
|
* | MAYBE
|
55.13 | * | MAYBE
|
55.17 | * | MAYBE
|
7.06 | * | MAYBE
|
51.04 | * | TIMEOUT
|
60.00 |
hoca/flatten
|
* | WORST_CASE(?,O(n^1))
|
2.31 | * | WORST_CASE(?,O(n^1))
|
0.74 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
1.10 | * | WORST_CASE(?,O(n^1))
|
0.74 |
hoca/foldsum
|
* | WORST_CASE(?,O(n^1))
|
3.29 | * | WORST_CASE(?,O(n^1))
|
1.30 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
1.00 |
hoca/id
|
* | WORST_CASE(?,O(n^1))
|
0.73 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.73 |
hoca/isort
|
* | WORST_CASE(?,O(n^2))
|
8.15 | * | WORST_CASE(?,O(n^2))
|
6.39 | * | MAYBE
|
0.49 | * | WORST_CASE(?,O(n^2))
|
3.90 | * | TIMEOUT
|
60.05 |
hoca/isort-fold
|
* | WORST_CASE(?,O(n^2))
|
11.87 | * | WORST_CASE(?,O(n^2))
|
9.19 | * | MAYBE
|
0.92 | * | WORST_CASE(?,O(n^2))
|
4.75 | * | TIMEOUT
|
60.06 |
hoca/mappplus
|
* | WORST_CASE(?,O(n^2))
|
1.56 | * | WORST_CASE(?,O(n^2))
|
0.64 | * | MAYBE
|
0.42 | * | MAYBE
|
0.58 | * | TIMEOUT
|
60.06 |
hoca/mergesort-dc
|
* | MAYBE
|
55.15 | * | MAYBE
|
55.23 | * | MAYBE
|
17.03 | * | MAYBE
|
49.72 | * | TIMEOUT
|
60.01 |
hoca/mss
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.07 | * | MAYBE
|
17.16 | * | MAYBE
|
48.48 | * | TIMEOUT
|
60.01 |
hoca/rev-dl
|
* | WORST_CASE(?,O(n^1))
|
2.00 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.72 |
hoca/rev-fletf
|
* | WORST_CASE(?,O(n^1))
|
4.41 | * | WORST_CASE(?,O(n^1))
|
1.45 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.79 |
hoca/rev-foldl
|
* | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.67 |
hoca/rpm-lazy
|
* | MAYBE
|
55.22 | * | MAYBE
|
55.21 | * | TRS is not left-linear
|
0.15 | * | TRS is not left-linear
|
0.01 | * | TIMEOUT
|
60.01 |
hoca/sum
|
* | WORST_CASE(?,O(n^1))
|
3.69 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.89 |
hoca/sum_sqs3
|
* | MAYBE
|
55.15 | * | MAYBE
|
55.09 | * | MAYBE
|
0.86 | * | MAYBE
|
0.93 | * | TIMEOUT
|
60.01 |
raML/appendAll.raml
|
* | WORST_CASE(?,O(n^1))
|
2.72 | * | WORST_CASE(?,O(n^1))
|
1.05 | * | MAYBE
|
0.49 | * | WORST_CASE(?,O(n^2))
|
6.81 | * | WORST_CASE(?,O(n^1))
|
6.96 |
raML/bfs.raml
|
* | WORST_CASE(?,O(n^2))
|
53.13 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^2))
|
13.88 | * | MAYBE
|
44.61 | * | TIMEOUT
|
60.00 |
raML/bft_mmult.raml
|
* | WORST_CASE(?,O(n^3))
|
36.19 | * | WORST_CASE(?,O(n^3))
|
28.11 | * | MAYBE
|
9.79 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.01 |
raML/bitvectors.raml
|
* | WORST_CASE(?,O(n^2))
|
57.49 | * | TIMEOUT
|
60.06 | * | MAYBE
|
16.92 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
raML/clevermmult.raml
|
* | WORST_CASE(?,O(n^2))
|
14.97 | * | WORST_CASE(?,O(n^2))
|
6.25 | * | MAYBE
|
2.43 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.05 |
raML/duplicates.raml
|
* | WORST_CASE(?,O(n^2))
|
10.07 | * | WORST_CASE(?,O(n^2))
|
5.39 | * | MAYBE
|
1.89 | * | WORST_CASE(?,O(n^2))
|
47.23 | * | TIMEOUT
|
60.04 |
raML/dyade.raml
|
* | WORST_CASE(?,O(n^2))
|
7.38 | * | WORST_CASE(?,O(n^2))
|
2.04 | * | MAYBE
|
1.49 | * | MAYBE
|
52.79 | * | TIMEOUT
|
60.05 |
raML/eratosthenes.raml
|
* | WORST_CASE(?,O(n^2))
|
25.13 | * | WORST_CASE(?,O(n^2))
|
25.11 | * | MAYBE
|
4.41 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
raML/flatten.raml
|
* | WORST_CASE(?,O(n^2))
|
25.25 | * | WORST_CASE(?,O(n^2))
|
25.19 | * | MAYBE
|
1.24 | * | MAYBE
|
39.36 | * | TIMEOUT
|
60.04 |
raML/flatten2.raml
|
* | WORST_CASE(?,O(n^2))
|
25.10 | * | WORST_CASE(?,O(n^2))
|
25.05 | * | MAYBE
|
0.87 | * | MAYBE
|
5.34 | * | TIMEOUT
|
60.04 |
raML/insertionsort.raml
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
2.52 | * | WORST_CASE(?,O(n^2))
|
45.03 | * | TIMEOUT
|
60.00 |
raML/listsort.raml
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
3.58 | * | WORST_CASE(?,O(n^2))
|
38.77 | * | TIMEOUT
|
60.01 |
raML/longestCommonSubsequence.raml
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.06 | * | MAYBE
|
7.71 | * | MAYBE
|
37.68 | * | TIMEOUT
|
60.00 |
raML/matrix.raml
|
* | WORST_CASE(?,O(n^6))
|
56.53 | * | WORST_CASE(?,O(n^4))
|
44.45 | * | MAYBE
|
21.31 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 |
raML/mergesort.raml
|
* | WORST_CASE(?,O(n^2))
|
55.61 | * | WORST_CASE(?,O(n^2))
|
55.64 | * | MAYBE
|
3.52 | * | MAYBE
|
48.08 | * | TIMEOUT
|
60.00 |
raML/minsort.raml
|
* | WORST_CASE(?,O(n^2))
|
25.05 | * | WORST_CASE(?,O(n^2))
|
25.05 | * | MAYBE
|
2.09 | * | WORST_CASE(?,O(n^2))
|
16.02 | * | TIMEOUT
|
60.05 |
raML/queue.raml
|
* | MAYBE
|
55.09 | * | MAYBE
|
55.26 | * | MAYBE
|
48.46 | * | MAYBE
|
46.71 | * | TIMEOUT
|
60.02 |
raML/quicksort.raml
|
* | WORST_CASE(?,O(n^2))
|
53.29 | * | TIMEOUT
|
60.06 | * | MAYBE
|
6.50 | * | MAYBE
|
42.49 | * | TIMEOUT
|
60.05 |
raML/rationalPotential.raml
|
* | WORST_CASE(?,O(n^1))
|
2.02 | * | WORST_CASE(?,O(n^1))
|
0.95 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
1.03 | * | WORST_CASE(?,O(n^1))
|
2.95 |
raML/splitandsort.raml
|
* | MAYBE
|
59.05 | * | MAYBE
|
55.18 | * | MAYBE
|
6.70 | * | MAYBE
|
45.00 | * | TIMEOUT
|
60.03 |
raML/subtrees.raml
|
* | WORST_CASE(?,O(n^2))
|
4.34 | * | WORST_CASE(?,O(n^2))
|
2.65 | * | MAYBE
|
0.68 | * | WORST_CASE(?,O(n^2))
|
2.66 | * | TIMEOUT
|
60.06 |
TcTAra |
TcTNoAra |
AraTRS |
AraTRS CF |
Aprove |
|
|---|---|---|---|---|---|
Success "MAYBE" |
482 | 480 | 776 | 628 | 151 |
Success "TRS is not left-linear" |
0 | 0 | 85 | 85 | 0 |
Success "WORST_CASE(?,O(1))" |
44 | 44 | 14 | 14 | 58 |
Success "WORST_CASE(?,O(n^1))" |
211 | 210 | 105 | 105 | 256 |
Success "WORST_CASE(?,O(n^10))" |
1 | 1 | 0 | 0 | 0 |
Success "WORST_CASE(?,O(n^2))" |
71 | 68 | 30 | 46 | 13 |
Success "WORST_CASE(?,O(n^3))" |
27 | 28 | 0 | 8 | 6 |
Success "WORST_CASE(?,O(n^4))" |
3 | 5 | 0 | 0 | 0 |
Success "WORST_CASE(?,O(n^5))" |
5 | 2 | 0 | 0 | 0 |
Success "WORST_CASE(?,O(n^6))" |
1 | 0 | 0 | 0 | 0 |
Timeout |
166 | 173 | 1 | 125 | 527 |
TcTAra |
TcTNoAra |
AraTRS |
AraTRS CF |
Aprove |
|
|---|---|---|---|---|---|
Success "MAYBE" |
46.54 | 46.07 | 2.62 | 12.78 | 2.54 |
Success "TRS is not left-linear" |
0.00 | 0.00 | 0.14 | 0.02 | 0.00 |
Success "WORST_CASE(?,O(1))" |
3.55 | 3.13 | 0.10 | 0.15 | 1.28 |
Success "WORST_CASE(?,O(n^1))" |
9.87 | 9.90 | 0.24 | 1.00 | 6.54 |
Success "WORST_CASE(?,O(n^10))" |
53.37 | 53.43 | 0.00 | 0.00 | 0.00 |
Success "WORST_CASE(?,O(n^2))" |
17.32 | 14.48 | 0.81 | 8.65 | 6.52 |
Success "WORST_CASE(?,O(n^3))" |
26.02 | 24.85 | 0.00 | 10.94 | 7.95 |
Success "WORST_CASE(?,O(n^4))" |
32.55 | 41.35 | 0.00 | 0.00 | 0.00 |
Success "WORST_CASE(?,O(n^5))" |
45.26 | 31.74 | 0.00 | 0.00 | 0.00 |
Success "WORST_CASE(?,O(n^6))" |
56.53 | 0.00 | 0.00 | 0.00 | 0.00 |
Timeout |
60.09 | 60.10 | 60.19 | 60.09 | 60.02 |
Overall |
36.61 | 36.33 | 2.13 | 15.96 | 33.53 |