TcT_Comp2016
|
TcTNoAra
|
TcTAra
|
Aprove
|
AraUsed
|
|||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Problem (all selected)
|
* | answer |
* | answer |
* | answer |
* | answer |
* | answer |
|||||
AG01/#3.1
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
4.86 | * | YES
|
0.00 |
AG01/#3.10
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.14 | * | MAYBE
|
58.16 | * | WORST_CASE(?,O(n^4))
|
300.00 | * | NO
|
0.00 |
AG01/#3.12
|
* | WORST_CASE(?,O(n^3))
|
12.10 | * | WORST_CASE(?,O(n^3))
|
0.46 | * | WORST_CASE(?,O(n^3))
|
0.93 | * | WORST_CASE(?,O(n^3))
|
8.73 | * | NO
|
0.00 |
AG01/#3.13
|
* | MAYBE
|
59.31 | * | MAYBE
|
58.16 | * | MAYBE
|
58.17 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AG01/#3.15
|
* | WORST_CASE(?,O(n^1))
|
1.43 | * | WORST_CASE(?,O(n^1))
|
0.84 | * | WORST_CASE(?,O(n^1))
|
1.11 | * | WORST_CASE(?,O(n^1))
|
6.85 | * | YES
|
0.00 |
AG01/#3.16
|
* | WORST_CASE(?,O(n^3))
|
3.33 | * | WORST_CASE(?,O(n^3))
|
4.28 | * | WORST_CASE(?,O(n^3))
|
4.55 | * | WORST_CASE(?,O(n^3))
|
5.02 | * | NO
|
0.00 |
AG01/#3.17
|
* | WORST_CASE(?,O(n^2))
|
1.90 | * | WORST_CASE(?,O(n^2))
|
0.45 | * | WORST_CASE(?,O(n^2))
|
6.93 | * | WORST_CASE(?,O(n^2))
|
8.89 | * | NO
|
0.00 |
AG01/#3.17a
|
* | WORST_CASE(?,O(n^2))
|
1.78 | * | WORST_CASE(?,O(n^2))
|
0.57 | * | WORST_CASE(?,O(n^2))
|
10.15 | * | WORST_CASE(?,O(n^2))
|
9.11 | * | NO
|
0.00 |
AG01/#3.18
|
* | MAYBE
|
5.97 | * | MAYBE
|
58.09 | * | MAYBE
|
58.11 | * | WORST_CASE(?,O(n^1))
|
299.93 | * | NO
|
0.00 |
AG01/#3.19
|
* | MAYBE
|
7.01 | * | MAYBE
|
58.06 | * | MAYBE
|
58.08 | * | WORST_CASE(?,O(n^1))
|
263.83 | * | NO
|
0.00 |
AG01/#3.2
|
* | WORST_CASE(?,O(n^2))
|
1.02 | * | WORST_CASE(?,O(n^2))
|
0.23 | * | WORST_CASE(?,O(n^2))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
5.66 | * | NO
|
0.00 |
AG01/#3.22
|
* | WORST_CASE(?,O(n^2))
|
0.61 | * | WORST_CASE(?,O(n^2))
|
0.49 | * | WORST_CASE(?,O(n^2))
|
0.58 | * | WORST_CASE(?,O(n^2))
|
4.46 | * | NO
|
0.00 |
AG01/#3.23
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
2.15 | * | YES
|
0.00 |
AG01/#3.24
|
* | WORST_CASE(?,O(n^1))
|
0.03 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
2.20 | * | NO
|
0.00 |
AG01/#3.26
|
* | MAYBE
|
13.39 | * | MAYBE
|
58.06 | * | MAYBE
|
58.25 | * | MAYBE
|
299.81 | * | NO
|
0.00 |
AG01/#3.29
|
* | WORST_CASE(?,O(1))
|
0.03 | * | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.24 | * | WORST_CASE(?,O(1))
|
1.88 | * | NO
|
0.00 |
AG01/#3.31
|
* | MAYBE
|
3.52 | * | MAYBE
|
58.31 | * | MAYBE
|
58.10 | * | MAYBE
|
3.94 | * | NO
|
0.00 |
AG01/#3.33
|
* | WORST_CASE(?,O(1))
|
0.46 | * | WORST_CASE(?,O(1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
1.37 | * | WORST_CASE(?,O(1))
|
1.98 | * | NO
|
0.00 |
AG01/#3.35
|
* | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
3.63 | * | YES
|
0.00 |
AG01/#3.36
|
* | MAYBE
|
14.17 | * | MAYBE
|
58.11 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AG01/#3.37
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
1.30 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
4.55 | * | NO
|
0.00 |
AG01/#3.38
|
* | MAYBE
|
17.37 | * | MAYBE
|
58.31 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AG01/#3.39
|
* | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
1.25 | * | WORST_CASE(?,O(n^2))
|
3.68 | * | WORST_CASE(?,O(n^1))
|
6.01 | * | NO
|
0.00 |
AG01/#3.4
|
* | MAYBE
|
5.53 | * | MAYBE
|
48.50 | * | MAYBE
|
54.22 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AG01/#3.40
|
* | WORST_CASE(?,O(n^2))
|
2.62 | * | WORST_CASE(?,O(n^2))
|
0.79 | * | WORST_CASE(?,O(n^2))
|
3.87 | * | WORST_CASE(?,O(n^1))
|
6.08 | * | NO
|
0.00 |
AG01/#3.41
|
* | WORST_CASE(?,O(n^2))
|
1.00 | * | WORST_CASE(?,O(n^3))
|
1.13 | * | WORST_CASE(?,O(n^2))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
3.74 | * | YES
|
0.00 |
AG01/#3.42
|
* | WORST_CASE(?,O(n^2))
|
2.09 | * | WORST_CASE(?,O(n^3))
|
1.47 | * | WORST_CASE(?,O(n^1))
|
0.79 | * | WORST_CASE(?,O(n^1))
|
5.01 | * | YES
|
0.00 |
AG01/#3.47
|
* | WORST_CASE(?,O(n^2))
|
0.77 | * | WORST_CASE(?,O(n^3))
|
0.58 | * | WORST_CASE(?,O(n^2))
|
1.34 | * | WORST_CASE(?,O(n^1))
|
30.33 | * | YES
|
0.00 |
AG01/#3.48
|
* | WORST_CASE(?,O(n^2))
|
1.20 | * | WORST_CASE(?,O(n^2))
|
0.21 | * | WORST_CASE(?,O(n^2))
|
0.48 | * | WORST_CASE(?,O(n^2))
|
2.65 | * | NO
|
0.00 |
AG01/#3.49
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.08 | * | MAYBE
|
58.08 | * | MAYBE
|
299.92 | * | NO
|
0.00 |
AG01/#3.5
|
* | WORST_CASE(?,O(n^2))
|
1.10 | * | WORST_CASE(?,O(n^2))
|
0.76 | * | WORST_CASE(?,O(n^2))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
8.17 | * | YES
|
0.00 |
AG01/#3.51
|
* | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
4.43 | * | NO
|
0.00 |
AG01/#3.52
|
* | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
3.16 | * | NO
|
0.00 |
AG01/#3.53
|
* | WORST_CASE(?,O(n^3))
|
15.01 | * | WORST_CASE(?,O(n^3))
|
1.32 | * | WORST_CASE(?,O(n^3))
|
4.31 | * | WORST_CASE(?,O(n^3))
|
13.03 | * | NO
|
0.00 |
AG01/#3.53a
|
* | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.26 | * | WORST_CASE(?,O(1))
|
1.87 | * | NO
|
0.00 |
AG01/#3.53b
|
* | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
3.78 | * | NO
|
0.00 |
AG01/#3.54
|
* | MAYBE
|
47.70 | * | MAYBE
|
58.47 | * | MAYBE
|
58.04 | * | MAYBE
|
299.96 | * | NO
|
0.00 |
AG01/#3.55
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.12 | * | MAYBE
|
58.15 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AG01/#3.56
|
* | WORST_CASE(?,O(n^1))
|
0.87 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.65 | * | WORST_CASE(?,O(n^1))
|
5.51 | * | NO
|
0.00 |
AG01/#3.57
|
* | MAYBE
|
59.54 | * | MAYBE
|
58.38 | * | MAYBE
|
58.43 | * | MAYBE
|
300.00 | * | NO
|
0.00 |
AG01/#3.5a
|
* | WORST_CASE(?,O(n^2))
|
3.98 | * | WORST_CASE(?,O(n^2))
|
0.98 | * | WORST_CASE(?,O(n^2))
|
5.64 | * | WORST_CASE(?,O(n^1))
|
8.90 | * | NO
|
0.00 |
AG01/#3.5b
|
* | WORST_CASE(?,O(n^3))
|
5.68 | * | WORST_CASE(?,O(n^3))
|
0.87 | * | WORST_CASE(?,O(n^3))
|
5.72 | * | WORST_CASE(?,O(n^3))
|
9.93 | * | NO
|
0.00 |
AG01/#3.6
|
* | WORST_CASE(?,O(n^2))
|
3.22 | * | WORST_CASE(?,O(n^2))
|
0.75 | * | WORST_CASE(?,O(n^2))
|
2.97 | * | WORST_CASE(?,O(n^1))
|
10.30 | * | NO
|
0.00 |
AG01/#3.6a
|
* | WORST_CASE(?,O(n^2))
|
1.22 | * | WORST_CASE(?,O(n^2))
|
1.02 | * | WORST_CASE(?,O(n^2))
|
1.49 | * | WORST_CASE(?,O(n^1))
|
11.26 | * | YES
|
0.00 |
AG01/#3.6b
|
* | WORST_CASE(?,O(n^3))
|
4.18 | * | WORST_CASE(?,O(n^3))
|
0.94 | * | WORST_CASE(?,O(n^3))
|
5.60 | * | WORST_CASE(?,O(n^3))
|
11.94 | * | NO
|
0.00 |
AG01/#3.7
|
* | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^2))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
7.01 | * | YES
|
0.00 |
AG01/#3.8a
|
* | WORST_CASE(?,O(n^2))
|
3.18 | * | WORST_CASE(?,O(n^3))
|
0.54 | * | WORST_CASE(?,O(n^3))
|
3.06 | * | WORST_CASE(?,O(n^1))
|
7.74 | * | NO
|
0.00 |
AG01/#3.8b
|
* | WORST_CASE(?,O(n^4))
|
11.42 | * | WORST_CASE(?,O(n^4))
|
1.79 | * | WORST_CASE(?,O(n^4))
|
10.94 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AG01/#4.30c
|
* | MAYBE
|
52.75 | * | MAYBE
|
58.08 | * | MAYBE
|
58.06 | * | WORST_CASE(?,O(n^1))
|
299.95 | * | NO
|
0.00 |
AProVE_04/AAECC
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.15 | * | MAYBE
|
58.14 | * | WORST_CASE(?,O(n^2))
|
299.96 | * | NO
|
0.00 |
AProVE_04/AAECC-ring
|
* | MAYBE
|
59.73 | * | MAYBE
|
58.19 | * | MAYBE
|
58.79 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/IJCAR_1
|
* | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
8.83 | * | WORST_CASE(?,O(n^1))
|
5.04 | * | NO
|
0.00 |
AProVE_04/IJCAR_12
|
* | WORST_CASE(?,O(n^2))
|
1.94 | * | WORST_CASE(?,O(n^2))
|
2.21 | * | WORST_CASE(?,O(n^2))
|
9.38 | * | WORST_CASE(?,O(n^2))
|
8.55 | * | NO
|
0.00 |
AProVE_04/IJCAR_18
|
* | MAYBE
|
59.19 | * | MAYBE
|
58.11 | * | MAYBE
|
58.39 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
AProVE_04/IJCAR_26
|
* | MAYBE
|
59.60 | * | MAYBE
|
58.61 | * | MAYBE
|
58.23 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/IJCAR_26a
|
* | MAYBE
|
59.53 | * | MAYBE
|
58.34 | * | MAYBE
|
58.16 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/JFP_Ex31
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.30 | * | MAYBE
|
58.57 | * | WORST_CASE(?,O(n^1))
|
6.03 | * | NO
|
0.00 |
AProVE_04/JFP_Ex51
|
* | WORST_CASE(?,O(n^2))
|
5.73 | * | WORST_CASE(?,O(n^3))
|
8.15 | * | WORST_CASE(?,O(n^3))
|
7.78 | * | TIMEOUT
|
300.00 | * | YES
|
0.00 |
AProVE_04/LPAR_intlist
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.73 | * | MAYBE
|
58.53 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/Liveness6.1
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.17 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/Liveness6.2
|
* | WORST_CASE(?,O(n^2))
|
17.74 | * | WORST_CASE(?,O(n^2))
|
17.49 | * | WORST_CASE(?,O(n^2))
|
16.77 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/Liveness6.3
|
* | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
1.92 | * | WORST_CASE(?,O(n^1))
|
4.75 | * | NO
|
0.00 |
AProVE_04/Liveness6.4
|
* | MAYBE
|
59.68 | * | MAYBE
|
58.10 | * | MAYBE
|
58.41 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/Liveness8
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
74.74 | * | NO
|
0.00 |
AProVE_04/Liveness_WRS
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
8.12 | * | WORST_CASE(?,O(n^1))
|
4.59 | * | NO
|
0.00 |
AProVE_04/fac
|
* | MAYBE
|
40.46 | * | MAYBE
|
58.75 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/rta1
|
* | MAYBE
|
59.75 | * | MAYBE
|
58.19 | * | MAYBE
|
58.57 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_04/rta2
|
* | MAYBE
|
1.29 | * | MAYBE
|
58.06 | * | MAYBE
|
58.07 | * | MAYBE
|
9.43 | * | NO
|
0.00 |
AProVE_04/rta3
|
* | MAYBE
|
2.79 | * | MAYBE
|
41.92 | * | MAYBE
|
42.92 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_06/div_notCeTermin
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.12 | * | MAYBE
|
58.11 | * | WORST_CASE(?,O(n^2))
|
299.88 | * | NO
|
0.00 |
AProVE_06/div_notTermin
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.63 | * | MAYBE
|
58.79 | * | WORST_CASE(?,O(n^2))
|
299.91 | * | NO
|
0.00 |
AProVE_06/factorial1
|
* | MAYBE
|
59.47 | * | MAYBE
|
58.20 | * | MAYBE
|
58.13 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_06/factorial2
|
* | MAYBE
|
8.24 | * | MAYBE
|
58.13 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_06/identity
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.77 | * | MAYBE
|
58.33 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_06/logarithm
|
* | MAYBE
|
45.34 | * | MAYBE
|
58.41 | * | MAYBE
|
58.93 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
AProVE_06/modulo
|
* | MAYBE
|
9.97 | * | MAYBE
|
58.68 | * | MAYBE
|
58.28 | * | WORST_CASE(?,O(n^1))
|
299.99 | * | NO
|
0.00 |
AProVE_06/nonterm
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.54 | * | MAYBE
|
58.37 | * | MAYBE
|
299.92 | * | NO
|
0.00 |
AProVE_06/quicksort
|
* | MAYBE
|
59.70 | * | MAYBE
|
58.10 | * | MAYBE
|
58.06 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_06/quot
|
* | MAYBE
|
9.80 | * | MAYBE
|
58.11 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(n^1))
|
299.88 | * | NO
|
0.00 |
AProVE_06/sizeChange
|
* | MAYBE
|
23.09 | * | MAYBE
|
58.20 | * | MAYBE
|
58.73 | * | WORST_CASE(?,O(n^2))
|
17.26 | * | NO
|
0.00 |
AProVE_06/tower
|
* | MAYBE
|
59.90 | * | MAYBE
|
58.25 | * | MAYBE
|
58.19 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_06/tower_sizeChange
|
* | MAYBE
|
59.68 | * | MAYBE
|
58.10 | * | MAYBE
|
58.06 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/kabasci01
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.25 | * | MAYBE
|
58.37 | * | WORST_CASE(?,O(n^1))
|
6.31 | * | NO
|
0.00 |
AProVE_07/kabasci02
|
* | MAYBE
|
59.44 | * | MAYBE
|
59.01 | * | MAYBE
|
58.47 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/kabasci03
|
* | WORST_CASE(?,O(1))
|
0.48 | * | WORST_CASE(?,O(1))
|
0.74 | * | WORST_CASE(?,O(1))
|
0.28 | * | WORST_CASE(?,O(1))
|
1.96 | * | NO
|
0.00 |
AProVE_07/kabasci04
|
* | MAYBE
|
59.52 | * | MAYBE
|
59.15 | * | MAYBE
|
58.21 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/kabasci05
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.14 | * | MAYBE
|
58.16 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto01
|
* | MAYBE
|
59.44 | * | MAYBE
|
58.20 | * | MAYBE
|
58.24 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto02
|
* | MAYBE
|
59.30 | * | MAYBE
|
58.19 | * | MAYBE
|
58.15 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto03
|
* | MAYBE
|
4.77 | * | MAYBE
|
58.77 | * | MAYBE
|
58.56 | * | WORST_CASE(?,O(n^2))
|
299.81 | * | NO
|
0.00 |
AProVE_07/otto04
|
* | MAYBE
|
32.16 | * | MAYBE
|
58.58 | * | MAYBE
|
58.39 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto05
|
* | MAYBE
|
59.28 | * | MAYBE
|
59.11 | * | MAYBE
|
58.08 | * | WORST_CASE(?,O(n^1))
|
11.11 | * | NO
|
0.00 |
AProVE_07/otto06
|
* | MAYBE
|
59.69 | * | MAYBE
|
58.30 | * | MAYBE
|
58.21 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto07
|
* | MAYBE
|
4.94 | * | MAYBE
|
58.08 | * | MAYBE
|
58.07 | * | WORST_CASE(?,O(n^2))
|
299.86 | * | NO
|
0.00 |
AProVE_07/otto08
|
* | MAYBE
|
9.77 | * | MAYBE
|
58.14 | * | MAYBE
|
58.28 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto09
|
* | MAYBE
|
10.55 | * | MAYBE
|
58.09 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto10
|
* | MAYBE
|
58.82 | * | MAYBE
|
58.36 | * | MAYBE
|
58.52 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto11
|
* | MAYBE
|
17.22 | * | MAYBE
|
58.29 | * | MAYBE
|
58.31 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/otto12
|
* | MAYBE
|
16.34 | * | MAYBE
|
58.14 | * | MAYBE
|
58.14 | * | MAYBE
|
299.98 | * | NO
|
0.00 |
AProVE_07/otto13
|
* | MAYBE
|
59.29 | * | MAYBE
|
58.21 | * | MAYBE
|
58.19 | * | WORST_CASE(?,O(n^2))
|
299.86 | * | NO
|
0.00 |
AProVE_07/thiemann01
|
* | MAYBE
|
12.46 | * | MAYBE
|
58.08 | * | MAYBE
|
58.52 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann02
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.87 | * | MAYBE
|
59.06 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann03
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.52 | * | MAYBE
|
58.52 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann04
|
* | MAYBE
|
59.34 | * | MAYBE
|
58.17 | * | MAYBE
|
58.17 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann05
|
* | MAYBE
|
59.89 | * | MAYBE
|
58.14 | * | MAYBE
|
58.20 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann06
|
* | MAYBE
|
28.65 | * | MAYBE
|
58.30 | * | MAYBE
|
58.52 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann07
|
* | MAYBE
|
48.19 | * | MAYBE
|
58.88 | * | MAYBE
|
58.40 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann08
|
* | MAYBE
|
9.43 | * | MAYBE
|
58.10 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann09
|
* | MAYBE
|
59.35 | * | MAYBE
|
59.32 | * | MAYBE
|
58.45 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann10
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.29 | * | MAYBE
|
58.12 | * | WORST_CASE(?,O(n^1))
|
48.01 | * | NO
|
0.00 |
AProVE_07/thiemann11
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.13 | * | MAYBE
|
58.31 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann12
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.35 | * | MAYBE
|
58.51 | * | WORST_CASE(?,O(n^2))
|
299.84 | * | NO
|
0.00 |
AProVE_07/thiemann13
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.54 | * | MAYBE
|
58.32 | * | WORST_CASE(?,O(n^2))
|
299.93 | * | NO
|
0.00 |
AProVE_07/thiemann14
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.45 | * | MAYBE
|
58.27 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann15
|
* | MAYBE
|
59.31 | * | MAYBE
|
58.13 | * | MAYBE
|
58.11 | * | WORST_CASE(?,O(n^2))
|
299.87 | * | NO
|
0.00 |
AProVE_07/thiemann16
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.66 | * | MAYBE
|
59.24 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann17
|
* | MAYBE
|
59.52 | * | MAYBE
|
58.58 | * | MAYBE
|
58.36 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann18
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.13 | * | MAYBE
|
58.28 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann19
|
* | MAYBE
|
28.70 | * | MAYBE
|
58.69 | * | MAYBE
|
58.52 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann20
|
* | MAYBE
|
28.54 | * | MAYBE
|
58.84 | * | MAYBE
|
58.09 | * | WORST_CASE(?,O(n^2))
|
299.85 | * | NO
|
0.00 |
AProVE_07/thiemann21
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.56 | * | MAYBE
|
58.45 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann22
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.12 | * | MAYBE
|
58.19 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann23
|
* | MAYBE
|
59.31 | * | MAYBE
|
58.74 | * | MAYBE
|
59.13 | * | WORST_CASE(?,O(n^1))
|
299.98 | * | NO
|
0.00 |
AProVE_07/thiemann24
|
* | MAYBE
|
8.34 | * | MAYBE
|
58.52 | * | MAYBE
|
58.77 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann25
|
* | MAYBE
|
7.25 | * | MAYBE
|
58.14 | * | MAYBE
|
58.07 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann26
|
* | MAYBE
|
20.15 | * | MAYBE
|
58.08 | * | MAYBE
|
58.09 | * | WORST_CASE(?,O(n^1))
|
105.31 | * | NO
|
0.00 |
AProVE_07/thiemann27
|
* | MAYBE
|
4.69 | * | MAYBE
|
58.14 | * | MAYBE
|
58.14 | * | WORST_CASE(?,O(n^2))
|
299.81 | * | NO
|
0.00 |
AProVE_07/thiemann28
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.12 | * | MAYBE
|
58.08 | * | WORST_CASE(?,O(n^1))
|
136.28 | * | NO
|
0.00 |
AProVE_07/thiemann29
|
* | MAYBE
|
59.23 | * | MAYBE
|
58.18 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann30
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.36 | * | MAYBE
|
58.44 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann31
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.39 | * | MAYBE
|
59.72 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann32
|
* | MAYBE
|
59.73 | * | MAYBE
|
58.39 | * | MAYBE
|
59.01 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann33
|
* | MAYBE
|
25.34 | * | MAYBE
|
58.63 | * | MAYBE
|
58.22 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann34
|
* | MAYBE
|
34.89 | * | MAYBE
|
58.22 | * | MAYBE
|
58.33 | * | WORST_CASE(?,O(n^2))
|
299.88 | * | NO
|
0.00 |
AProVE_07/thiemann36
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.15 | * | MAYBE
|
58.11 | * | WORST_CASE(?,O(n^2))
|
299.86 | * | NO
|
0.00 |
AProVE_07/thiemann37
|
* | MAYBE
|
59.53 | * | MAYBE
|
58.37 | * | MAYBE
|
58.58 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/thiemann38
|
* | MAYBE
|
26.60 | * | MAYBE
|
58.13 | * | MAYBE
|
58.35 | * | WORST_CASE(?,O(n^2))
|
299.93 | * | NO
|
0.00 |
AProVE_07/thiemann40
|
* | MAYBE
|
3.61 | * | MAYBE
|
58.10 | * | MAYBE
|
58.07 | * | WORST_CASE(?,O(n^1))
|
10.17 | * | NO
|
0.00 |
AProVE_07/thiemann41
|
* | MAYBE
|
24.80 | * | MAYBE
|
58.12 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe01
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.33 | * | MAYBE
|
58.23 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe02
|
* | MAYBE
|
59.36 | * | MAYBE
|
58.54 | * | MAYBE
|
58.61 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe03
|
* | MAYBE
|
59.74 | * | MAYBE
|
59.70 | * | MAYBE
|
58.65 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe05
|
* | MAYBE
|
59.15 | * | MAYBE
|
58.61 | * | MAYBE
|
59.67 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe06
|
* | MAYBE
|
59.16 | * | MAYBE
|
59.13 | * | MAYBE
|
58.40 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe07
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.20 | * | MAYBE
|
58.24 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe08
|
* | MAYBE
|
59.97 | * | MAYBE
|
58.24 | * | MAYBE
|
58.21 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe09
|
* | MAYBE
|
59.31 | * | MAYBE
|
59.09 | * | MAYBE
|
59.22 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe11
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.64 | * | MAYBE
|
58.46 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_07/wiehe12
|
* | MAYBE
|
59.35 | * | MAYBE
|
58.21 | * | MAYBE
|
58.23 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_08/id_inc
|
* | MAYBE
|
12.83 | * | MAYBE
|
58.28 | * | MAYBE
|
58.53 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_08/log
|
* | MAYBE
|
59.19 | * | MAYBE
|
58.25 | * | MAYBE
|
58.77 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_08/parting01_reverse
|
* | MAYBE
|
59.53 | * | MAYBE
|
58.34 | * | MAYBE
|
58.16 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_08/parting02_doublelist
|
* | MAYBE
|
59.76 | * | MAYBE
|
58.75 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_08/parting03_minsort
|
* | MAYBE
|
59.39 | * | MAYBE
|
58.28 | * | MAYBE
|
58.78 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_08/parting04_maxsort_h
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.22 | * | MAYBE
|
58.94 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_08/parting05_maxsort
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.93 | * | MAYBE
|
58.19 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_08/round
|
* | MAYBE
|
10.61 | * | MAYBE
|
42.67 | * | MAYBE
|
38.19 | * | WORST_CASE(?,O(n^1))
|
299.73 | * | NO
|
0.00 |
AProVE_08/round_nonterm
|
* | MAYBE
|
59.28 | * | MAYBE
|
44.61 | * | MAYBE
|
37.69 | * | MAYBE
|
299.87 | * | NO
|
0.00 |
AProVE_08/thiemann40_modified
|
* | MAYBE
|
60.00 | * | MAYBE
|
58.29 | * | MAYBE
|
58.38 | * | WORST_CASE(?,O(n^2))
|
299.79 | * | NO
|
0.00 |
AProVE_09_Inductive/div
|
* | MAYBE
|
16.91 | * | MAYBE
|
58.30 | * | MAYBE
|
58.91 | * | WORST_CASE(?,O(n^3))
|
299.99 | * | NO
|
0.00 |
AProVE_09_Inductive/divhard
|
* | MAYBE
|
12.04 | * | MAYBE
|
58.10 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(n^3))
|
299.91 | * | NO
|
0.00 |
AProVE_09_Inductive/gcd
|
* | MAYBE
|
15.34 | * | MAYBE
|
58.30 | * | MAYBE
|
58.53 | * | WORST_CASE(?,O(n^3))
|
299.90 | * | NO
|
0.00 |
AProVE_09_Inductive/gcd2
|
* | MAYBE
|
33.46 | * | MAYBE
|
58.10 | * | MAYBE
|
58.27 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
AProVE_09_Inductive/gcdhard
|
* | MAYBE
|
20.25 | * | MAYBE
|
58.50 | * | MAYBE
|
58.30 | * | WORST_CASE(?,O(n^1))
|
299.97 | * | NO
|
0.00 |
AProVE_09_Inductive/log
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.31 | * | MAYBE
|
58.14 | * | WORST_CASE(?,O(n^1))
|
299.87 | * | NO
|
0.00 |
AProVE_09_Inductive/maxsort
|
* | MAYBE
|
59.51 | * | MAYBE
|
58.25 | * | MAYBE
|
58.75 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_09_Inductive/maxsortcondition
|
* | MAYBE
|
26.35 | * | MAYBE
|
58.53 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_09_Inductive/minsort
|
* | MAYBE
|
59.25 | * | MAYBE
|
58.16 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_09_Inductive/mod
|
* | MAYBE
|
59.89 | * | MAYBE
|
58.92 | * | MAYBE
|
58.90 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
AProVE_09_Inductive/qsort
|
* | MAYBE
|
59.74 | * | MAYBE
|
58.16 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_09_Inductive/qsortlast
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.40 | * | MAYBE
|
58.78 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_09_Inductive/qsortmiddle
|
* | MAYBE
|
59.37 | * | MAYBE
|
58.14 | * | MAYBE
|
58.18 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
AProVE_09_Inductive/zerolist
|
* | MAYBE
|
11.68 | * | MAYBE
|
58.72 | * | MAYBE
|
58.71 | * | WORST_CASE(?,O(n^2))
|
299.90 | * | NO
|
0.00 |
Beerendonk_07/1
|
* | MAYBE
|
5.33 | * | MAYBE
|
42.73 | * | MAYBE
|
43.74 | * | WORST_CASE(?,O(n^2))
|
95.06 | * | NO
|
0.00 |
Beerendonk_07/10
|
* | MAYBE
|
26.07 | * | MAYBE
|
58.07 | * | MAYBE
|
58.49 | * | WORST_CASE(?,O(n^2))
|
65.06 | * | NO
|
0.00 |
Beerendonk_07/11
|
* | MAYBE
|
38.33 | * | MAYBE
|
58.21 | * | MAYBE
|
58.31 | * | WORST_CASE(?,O(n^2))
|
299.78 | * | NO
|
0.00 |
Beerendonk_07/12
|
* | MAYBE
|
36.41 | * | MAYBE
|
58.72 | * | MAYBE
|
58.71 | * | WORST_CASE(?,O(n^2))
|
299.82 | * | NO
|
0.00 |
Beerendonk_07/13
|
* | MAYBE
|
49.09 | * | MAYBE
|
58.28 | * | MAYBE
|
58.12 | * | WORST_CASE(?,O(n^2))
|
299.89 | * | NO
|
0.00 |
Beerendonk_07/14
|
* | MAYBE
|
7.04 | * | MAYBE
|
58.16 | * | MAYBE
|
58.31 | * | WORST_CASE(?,O(n^2))
|
299.79 | * | NO
|
0.00 |
Beerendonk_07/15
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.16 | * | MAYBE
|
58.35 | * | WORST_CASE(?,O(n^2))
|
240.08 | * | NO
|
0.00 |
Beerendonk_07/16
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.32 | * | MAYBE
|
58.72 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Beerendonk_07/17
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.36 | * | MAYBE
|
58.91 | * | WORST_CASE(?,O(n^2))
|
299.91 | * | NO
|
0.00 |
Beerendonk_07/18
|
* | MAYBE
|
59.31 | * | MAYBE
|
58.50 | * | MAYBE
|
58.19 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
Beerendonk_07/19
|
* | MAYBE
|
59.16 | * | MAYBE
|
58.12 | * | MAYBE
|
58.19 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Beerendonk_07/2
|
* | MAYBE
|
9.97 | * | MAYBE
|
58.11 | * | MAYBE
|
58.08 | * | WORST_CASE(?,O(n^2))
|
56.46 | * | NO
|
0.00 |
Beerendonk_07/20
|
* | MAYBE
|
59.70 | * | MAYBE
|
58.54 | * | MAYBE
|
58.15 | * | WORST_CASE(?,O(n^1))
|
186.85 | * | NO
|
0.00 |
Beerendonk_07/21
|
* | MAYBE
|
59.98 | * | MAYBE
|
58.74 | * | MAYBE
|
58.24 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Beerendonk_07/22
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.86 | * | MAYBE
|
58.07 | * | WORST_CASE(?,O(n^1))
|
60.89 | * | NO
|
0.00 |
Beerendonk_07/23
|
* | MAYBE
|
34.98 | * | MAYBE
|
58.35 | * | MAYBE
|
58.29 | * | WORST_CASE(?,O(n^2))
|
254.70 | * | NO
|
0.00 |
Beerendonk_07/24
|
* | MAYBE
|
59.33 | * | MAYBE
|
58.41 | * | TIMEOUT
|
60.06 | * | WORST_CASE(?,O(n^1))
|
176.48 | * | NO
|
0.00 |
Beerendonk_07/3
|
* | MAYBE
|
12.26 | * | MAYBE
|
45.28 | * | MAYBE
|
42.89 | * | WORST_CASE(?,O(n^1))
|
299.82 | * | NO
|
0.00 |
Beerendonk_07/4
|
* | MAYBE
|
7.65 | * | MAYBE
|
56.60 | * | MAYBE
|
52.13 | * | WORST_CASE(?,O(n^1))
|
299.72 | * | NO
|
0.00 |
Beerendonk_07/5
|
* | MAYBE
|
29.26 | * | MAYBE
|
51.09 | * | MAYBE
|
49.13 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Beerendonk_07/6
|
* | MAYBE
|
7.62 | * | MAYBE
|
53.35 | * | MAYBE
|
50.01 | * | WORST_CASE(?,O(n^2))
|
60.50 | * | NO
|
0.00 |
Beerendonk_07/7
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.09 | * | MAYBE
|
58.18 | * | WORST_CASE(?,O(n^2))
|
119.55 | * | NO
|
0.00 |
Beerendonk_07/8
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.37 | * | MAYBE
|
58.78 | * | WORST_CASE(?,O(n^1))
|
299.94 | * | NO
|
0.00 |
Beerendonk_07/9
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.58 | * | MAYBE
|
58.38 | * | WORST_CASE(?,O(n^2))
|
299.98 | * | NO
|
0.00 |
CiME_04/ack_prolog
|
* | MAYBE
|
5.56 | * | MAYBE
|
58.12 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/append
|
* | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.96 | * | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
5.92 | * | YES
|
0.00 |
CiME_04/append-hard
|
* | MAYBE
|
3.35 | * | MAYBE
|
58.33 | * | MAYBE
|
58.15 | * | WORST_CASE(?,O(n^1))
|
7.91 | * | NO
|
0.00 |
CiME_04/append-wrong
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.06 | * | MAYBE
|
58.05 | * | MAYBE
|
9.43 | * | NO
|
0.00 |
CiME_04/big
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.35 | * | MAYBE
|
58.56 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/dpqs
|
* | WORST_CASE(?,O(1))
|
0.27 | * | WORST_CASE(?,O(1))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(1))
|
2.00 | * | NO
|
0.00 |
CiME_04/fact-hard
|
* | MAYBE
|
59.25 | * | MAYBE
|
58.71 | * | MAYBE
|
58.50 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/filliatre
|
* | MAYBE
|
19.80 | * | MAYBE
|
58.91 | * | MAYBE
|
58.72 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/filliatre2
|
* | MAYBE
|
18.97 | * | MAYBE
|
58.45 | * | MAYBE
|
58.71 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/filliatre3
|
* | MAYBE
|
24.74 | * | MAYBE
|
58.53 | * | MAYBE
|
59.31 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/intersect
|
* | WORST_CASE(?,O(n^4))
|
19.11 | * | WORST_CASE(?,O(n^4))
|
33.98 | * | WORST_CASE(?,O(n^4))
|
35.54 | * | WORST_CASE(?,O(n^2))
|
15.36 | * | NO
|
0.00 |
CiME_04/list-sum-prod
|
* | MAYBE
|
7.66 | * | MAYBE
|
58.36 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/list-sum-prod-assoc
|
* | MAYBE
|
7.87 | * | MAYBE
|
58.34 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/list-sum-prod-assoc-append
|
* | MAYBE
|
12.66 | * | MAYBE
|
58.59 | * | MAYBE
|
58.42 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/list-sum-prod-bin
|
* | MAYBE
|
59.15 | * | MAYBE
|
58.34 | * | MAYBE
|
58.39 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/list-sum-prod-bin-assoc
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.69 | * | MAYBE
|
58.36 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/list-sum-prod-bin-assoc-distr-app
|
* | MAYBE
|
59.37 | * | MAYBE
|
58.24 | * | MAYBE
|
58.23 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/log2
|
* | MAYBE
|
59.39 | * | MAYBE
|
58.15 | * | MAYBE
|
58.42 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/lse
|
* | WORST_CASE(?,O(n^2))
|
4.56 | * | WORST_CASE(?,O(n^2))
|
5.18 | * | WORST_CASE(?,O(n^2))
|
6.87 | * | WORST_CASE(?,O(n^2))
|
30.06 | * | NO
|
0.00 |
CiME_04/maude2
|
* | MAYBE
|
59.91 | * | MAYBE
|
58.38 | * | MAYBE
|
58.76 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
CiME_04/mucrl1
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.65 | * | MAYBE
|
58.27 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
CiME_04/ternary
|
* | TIMEOUT
|
60.00 | * | MAYBE
|
58.99 | * | MAYBE
|
58.63 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/ternary-hard
|
* | MAYBE
|
59.83 | * | MAYBE
|
58.56 | * | MAYBE
|
58.42 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
CiME_04/tree
|
* | WORST_CASE(?,O(n^4))
|
34.92 | * | WORST_CASE(?,O(n^4))
|
45.97 | * | WORST_CASE(?,O(n^4))
|
46.41 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Der95/06
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.74 | * | WORST_CASE(?,O(n^1))
|
3.02 | * | YES
|
0.00 |
Der95/07
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
3.47 | * | NO
|
0.00 |
Der95/08
|
* | WORST_CASE(?,O(n^1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
3.61 | * | NO
|
0.00 |
Der95/11
|
* | WORST_CASE(?,O(n^2))
|
1.88 | * | WORST_CASE(?,O(n^1))
|
0.85 | * | WORST_CASE(?,O(n^1))
|
1.76 | * | WORST_CASE(?,O(n^1))
|
8.37 | * | NO
|
0.00 |
Der95/12
|
* | MAYBE
|
4.11 | * | MAYBE
|
58.75 | * | MAYBE
|
58.14 | * | WORST_CASE(?,O(n^2))
|
8.02 | * | NO
|
0.00 |
Der95/18
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
2.93 | * | YES
|
0.00 |
Der95/20
|
* | MAYBE
|
11.70 | * | MAYBE
|
58.10 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Der95/21
|
* | MAYBE
|
22.46 | * | MAYBE
|
46.69 | * | MAYBE
|
51.48 | * | MAYBE
|
299.93 | * | NO
|
0.00 |
Der95/27
|
* | WORST_CASE(?,O(n^1))
|
0.03 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.74 | * | WORST_CASE(?,O(n^1))
|
3.65 | * | YES
|
0.00 |
Der95/31
|
* | WORST_CASE(?,O(n^1))
|
1.15 | * | WORST_CASE(?,O(n^1))
|
1.07 | * | WORST_CASE(?,O(n^1))
|
1.06 | * | WORST_CASE(?,O(n^1))
|
21.27 | * | NO
|
0.00 |
Der95/32
|
* | WORST_CASE(?,O(n^2))
|
2.47 | * | WORST_CASE(?,O(n^3))
|
1.75 | * | WORST_CASE(?,O(n^3))
|
7.54 | * | WORST_CASE(?,O(n^2))
|
8.39 | * | YES
|
0.00 |
Der95/33
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.23 | * | MAYBE
|
58.36 | * | WORST_CASE(?,O(n^2))
|
8.14 | * | NO
|
0.00 |
Endrullis_06/direct
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
9.53 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
Frederiksen_Glenstrup/ack
|
* | MAYBE
|
7.73 | * | MAYBE
|
58.55 | * | MAYBE
|
58.14 | * | MAYBE
|
299.96 | * | NO
|
0.00 |
Frederiksen_Glenstrup/add
|
* | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
4.47 | * | YES
|
0.00 |
Frederiksen_Glenstrup/addlists
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
5.24 | * | YES
|
0.00 |
Frederiksen_Glenstrup/anchored
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.93 | * | WORST_CASE(?,O(n^1))
|
0.64 | * | WORST_CASE(?,O(n^1))
|
3.90 | * | YES
|
0.00 |
Frederiksen_Glenstrup/append
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
1.91 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
3.77 | * | YES
|
0.00 |
Frederiksen_Glenstrup/assrewrite
|
* | MAYBE
|
14.56 | * | MAYBE
|
58.32 | * | MAYBE
|
58.13 | * | MAYBE
|
2.89 | * | NO
|
0.00 |
Frederiksen_Glenstrup/badd
|
* | MAYBE
|
7.26 | * | MAYBE
|
58.05 | * | MAYBE
|
58.10 | * | MAYBE
|
299.89 | * | NO
|
0.00 |
Frederiksen_Glenstrup/binom
|
* | MAYBE
|
25.19 | * | MAYBE
|
58.15 | * | MAYBE
|
59.74 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Glenstrup/decrease
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
4.31 | * | YES
|
0.00 |
Frederiksen_Glenstrup/deeprev_typed
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
9.44 | * | YES
|
0.00 |
Frederiksen_Glenstrup/disjconj
|
* | MAYBE
|
3.55 | * | MAYBE
|
58.13 | * | MAYBE
|
58.11 | * | MAYBE
|
11.52 | * | NO
|
0.00 |
Frederiksen_Glenstrup/duplicate
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.34 | * | WORST_CASE(?,O(n^1))
|
0.98 | * | WORST_CASE(?,O(n^1))
|
3.51 | * | YES
|
0.00 |
Frederiksen_Glenstrup/equal
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.12 | * | MAYBE
|
58.40 | * | MAYBE
|
9.42 | * | NO
|
0.00 |
Frederiksen_Glenstrup/evenodd
|
* | WORST_CASE(?,O(n^1))
|
0.89 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
4.53 | * | YES
|
0.00 |
Frederiksen_Glenstrup/fold
|
* | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
7.16 | * | YES
|
0.00 |
Frederiksen_Glenstrup/game
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
6.57 | * | YES
|
0.00 |
Frederiksen_Glenstrup/gcd
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.07 | * | MAYBE
|
58.07 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Glenstrup/gcd2
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.10 | * | MAYBE
|
58.08 | * | WORST_CASE(?,O(n^3))
|
126.38 | * | NO
|
0.00 |
Frederiksen_Glenstrup/increase
|
* | MAYBE
|
59.29 | * | MAYBE
|
58.12 | * | MAYBE
|
58.11 | * | MAYBE
|
299.86 | * | NO
|
0.00 |
Frederiksen_Glenstrup/int
|
* | MAYBE
|
59.89 | * | MAYBE
|
58.36 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Glenstrup/intlookup
|
* | MAYBE
|
3.07 | * | MAYBE
|
58.10 | * | MAYBE
|
58.11 | * | MAYBE
|
6.11 | * | NO
|
0.00 |
Frederiksen_Glenstrup/lambdaint_typed
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.16 | * | MAYBE
|
58.56 | * | MAYBE
|
228.17 | * | NO
|
0.00 |
Frederiksen_Glenstrup/letexp
|
* | MAYBE
|
7.04 | * | MAYBE
|
58.12 | * | MAYBE
|
58.11 | * | MAYBE
|
299.80 | * | NO
|
0.00 |
Frederiksen_Glenstrup/list
|
* | WORST_CASE(?,O(n^1))
|
0.03 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
4.07 | * | YES
|
0.00 |
Frederiksen_Glenstrup/lte
|
* | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.41 | * | WORST_CASE(?,O(n^1))
|
6.91 | * | YES
|
0.00 |
Frederiksen_Glenstrup/map0
|
* | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
8.16 | * | YES
|
0.00 |
Frederiksen_Glenstrup/member
|
* | WORST_CASE(?,O(n^1))
|
0.88 | * | WORST_CASE(?,O(n^1))
|
1.33 | * | WORST_CASE(?,O(n^1))
|
1.70 | * | WORST_CASE(?,O(n^1))
|
7.45 | * | YES
|
0.00 |
Frederiksen_Glenstrup/mergelists
|
* | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^1))
|
0.76 | * | WORST_CASE(?,O(n^1))
|
13.00 | * | YES
|
0.00 |
Frederiksen_Glenstrup/mergesort
|
* | MAYBE
|
24.88 | * | MAYBE
|
58.78 | * | MAYBE
|
58.10 | * | MAYBE
|
25.52 | * | NO
|
0.00 |
Frederiksen_Glenstrup/minsort
|
* | MAYBE
|
6.97 | * | MAYBE
|
58.12 | * | MAYBE
|
58.14 | * | MAYBE
|
26.13 | * | NO
|
0.00 |
Frederiksen_Glenstrup/mul
|
* | WORST_CASE(?,O(n^3))
|
2.47 | * | WORST_CASE(?,O(n^3))
|
2.70 | * | WORST_CASE(?,O(n^3))
|
2.77 | * | WORST_CASE(?,O(n^3))
|
5.74 | * | NO
|
0.00 |
Frederiksen_Glenstrup/mul_better
|
* | WORST_CASE(?,O(n^3))
|
3.18 | * | WORST_CASE(?,O(n^3))
|
2.74 | * | WORST_CASE(?,O(n^3))
|
3.30 | * | WORST_CASE(?,O(n^3))
|
7.13 | * | NO
|
0.00 |
Frederiksen_Glenstrup/naiverev
|
* | WORST_CASE(?,O(n^2))
|
1.65 | * | WORST_CASE(?,O(n^2))
|
0.25 | * | WORST_CASE(?,O(n^2))
|
0.80 | * | WORST_CASE(?,O(n^2))
|
8.72 | * | NO
|
0.00 |
Frederiksen_Glenstrup/nestdec
|
* | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
0.84 | * | WORST_CASE(?,O(n^1))
|
1.22 | * | WORST_CASE(?,O(n^1))
|
6.48 | * | YES
|
0.00 |
Frederiksen_Glenstrup/nesteql
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.37 | * | MAYBE
|
58.35 | * | MAYBE
|
9.92 | * | NO
|
0.00 |
Frederiksen_Glenstrup/nestimeql
|
* | MAYBE
|
59.52 | * | MAYBE
|
58.87 | * | MAYBE
|
58.11 | * | MAYBE
|
299.80 | * | NO
|
0.00 |
Frederiksen_Glenstrup/nestinc
|
* | MAYBE
|
59.33 | * | MAYBE
|
58.20 | * | MAYBE
|
58.16 | * | MAYBE
|
299.87 | * | NO
|
0.00 |
Frederiksen_Glenstrup/nolexicord
|
* | WORST_CASE(?,O(n^1))
|
1.68 | * | WORST_CASE(?,O(n^1))
|
1.20 | * | WORST_CASE(?,O(n^1))
|
0.90 | * | WORST_CASE(?,O(n^1))
|
22.30 | * | NO
|
0.00 |
Frederiksen_Glenstrup/ordered
|
* | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.89 | * | WORST_CASE(?,O(n^1))
|
1.02 | * | WORST_CASE(?,O(n^1))
|
7.57 | * | YES
|
0.00 |
Frederiksen_Glenstrup/ordered_better
|
* | WORST_CASE(?,O(n^1))
|
0.93 | * | WORST_CASE(?,O(n^1))
|
1.21 | * | WORST_CASE(?,O(n^1))
|
1.05 | * | WORST_CASE(?,O(n^1))
|
7.67 | * | YES
|
0.00 |
Frederiksen_Glenstrup/overlap
|
* | WORST_CASE(?,O(n^2))
|
2.16 | * | WORST_CASE(?,O(n^2))
|
1.20 | * | WORST_CASE(?,O(n^2))
|
2.42 | * | WORST_CASE(?,O(n^2))
|
10.71 | * | NO
|
0.00 |
Frederiksen_Glenstrup/parsexp
|
* | MAYBE
|
15.48 | * | MAYBE
|
58.34 | * | MAYBE
|
58.37 | * | MAYBE
|
28.01 | * | NO
|
0.00 |
Frederiksen_Glenstrup/permute
|
* | MAYBE
|
59.18 | * | MAYBE
|
58.21 | * | MAYBE
|
58.40 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Glenstrup/power
|
* | MAYBE
|
9.86 | * | MAYBE
|
58.31 | * | MAYBE
|
58.33 | * | MAYBE
|
299.98 | * | NO
|
0.00 |
Frederiksen_Glenstrup/quicksort
|
* | MAYBE
|
38.68 | * | MAYBE
|
58.09 | * | MAYBE
|
59.49 | * | MAYBE
|
50.69 | * | NO
|
0.00 |
Frederiksen_Glenstrup/revapp
|
* | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
3.93 | * | YES
|
0.00 |
Frederiksen_Glenstrup/select
|
* | WORST_CASE(?,O(n^2))
|
1.31 | * | WORST_CASE(?,O(n^2))
|
1.64 | * | WORST_CASE(?,O(n^2))
|
2.14 | * | WORST_CASE(?,O(n^2))
|
6.40 | * | NO
|
0.00 |
Frederiksen_Glenstrup/shuffle
|
* | WORST_CASE(?,O(n^3))
|
8.47 | * | WORST_CASE(?,O(n^3))
|
0.62 | * | WORST_CASE(?,O(n^3))
|
1.25 | * | WORST_CASE(?,O(n^3))
|
9.15 | * | NO
|
0.00 |
Frederiksen_Glenstrup/sp1
|
* | MAYBE
|
7.27 | * | MAYBE
|
58.47 | * | MAYBE
|
58.16 | * | MAYBE
|
8.95 | * | NO
|
0.00 |
Frederiksen_Glenstrup/subsets
|
* | MAYBE
|
4.81 | * | MAYBE
|
58.08 | * | MAYBE
|
58.70 | * | MAYBE
|
6.89 | * | NO
|
0.00 |
Frederiksen_Glenstrup/thetrick
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.19 | * | MAYBE
|
58.39 | * | MAYBE
|
15.42 | * | NO
|
0.00 |
Frederiksen_Glenstrup/turing_typed
|
* | MAYBE
|
36.26 | * | MAYBE
|
58.09 | * | MAYBE
|
58.77 | * | MAYBE
|
57.91 | * | NO
|
0.00 |
Frederiksen_Glenstrup/vangelder_typed
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.11 | * | MAYBE
|
58.10 | * | MAYBE
|
20.68 | * | NO
|
0.00 |
Frederiksen_Others/add
|
* | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
4.54 | * | YES
|
0.00 |
Frederiksen_Others/assrewriteSize
|
* | MAYBE
|
8.32 | * | MAYBE
|
58.33 | * | MAYBE
|
58.10 | * | MAYBE
|
5.88 | * | NO
|
0.00 |
Frederiksen_Others/boolprog
|
* | WORST_CASE(?,O(n^1))
|
1.32 | * | WORST_CASE(?,O(n^1))
|
2.25 | * | WORST_CASE(?,O(n^1))
|
2.56 | * | WORST_CASE(?,O(n^1))
|
21.53 | * | YES
|
0.00 |
Frederiksen_Others/bubblesort
|
* | WORST_CASE(?,O(n^2))
|
2.23 | * | WORST_CASE(?,O(n^2))
|
0.82 | * | WORST_CASE(?,O(n^2))
|
3.64 | * | WORST_CASE(?,O(n^2))
|
15.69 | * | NO
|
0.00 |
Frederiksen_Others/deadcodeSize
|
* | MAYBE
|
7.05 | * | MAYBE
|
46.53 | * | MAYBE
|
40.74 | * | MAYBE
|
5.91 | * | NO
|
0.00 |
Frederiksen_Others/disj2_typed
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
11.39 | * | YES
|
0.00 |
Frederiksen_Others/div2
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
4.45 | * | YES
|
0.00 |
Frederiksen_Others/dup1_typed
|
* | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
0.90 | * | WORST_CASE(?,O(n^1))
|
11.01 | * | YES
|
0.00 |
Frederiksen_Others/dup2_typed
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
11.16 | * | YES
|
0.00 |
Frederiksen_Others/eq
|
* | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
3.23 | * | YES
|
0.00 |
Frederiksen_Others/ex6
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
1.30 | * | WORST_CASE(?,O(n^1))
|
4.24 | * | YES
|
0.00 |
Frederiksen_Others/fgh
|
* | MAYBE
|
8.68 | * | MAYBE
|
46.21 | * | MAYBE
|
48.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Others/fghSize
|
* | MAYBE
|
5.85 | * | MAYBE
|
45.87 | * | MAYBE
|
42.89 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Others/gexgcd
|
* | WORST_CASE(?,O(n^1))
|
4.85 | * | WORST_CASE(?,O(n^1))
|
5.69 | * | WORST_CASE(?,O(n^2))
|
12.05 | * | WORST_CASE(?,O(n^1))
|
46.52 | * | NO
|
0.00 |
Frederiksen_Others/gexgcd2
|
* | MAYBE
|
10.97 | * | MAYBE
|
59.10 | * | MAYBE
|
58.06 | * | MAYBE
|
18.85 | * | NO
|
0.00 |
Frederiksen_Others/graphcolour1_typed
|
* | TIMEOUT
|
60.04 | * | WORST_CASE(?,O(n^4))
|
11.46 | * | WORST_CASE(?,O(n^4))
|
14.15 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Others/graphcolour2Size_typed
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.16 | * | MAYBE
|
58.68 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Others/graphcolour2_typed
|
* | MAYBE
|
59.16 | * | MAYBE
|
58.15 | * | MAYBE
|
58.18 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Frederiksen_Others/graphcolour3_typed
|
* | MAYBE
|
59.28 | * | MAYBE
|
58.18 | * | MAYBE
|
58.24 | * | MAYBE
|
244.91 | * | NO
|
0.00 |
Frederiksen_Others/inssort
|
* | WORST_CASE(?,O(n^2))
|
3.13 | * | WORST_CASE(?,O(n^2))
|
0.22 | * | WORST_CASE(?,O(n^2))
|
1.63 | * | WORST_CASE(?,O(n^2))
|
8.41 | * | NO
|
0.00 |
Frederiksen_Others/inssort_better
|
* | WORST_CASE(?,O(n^2))
|
2.16 | * | WORST_CASE(?,O(n^2))
|
0.80 | * | WORST_CASE(?,O(n^2))
|
2.40 | * | WORST_CASE(?,O(n^2))
|
8.34 | * | NO
|
0.00 |
Frederiksen_Others/match
|
* | WORST_CASE(?,O(n^2))
|
1.45 | * | WORST_CASE(?,O(n^2))
|
1.53 | * | WORST_CASE(?,O(n^2))
|
2.26 | * | WORST_CASE(?,O(n^2))
|
21.36 | * | YES
|
0.00 |
Frederiksen_Others/minsortSize
|
* | MAYBE
|
6.63 | * | MAYBE
|
58.36 | * | MAYBE
|
58.53 | * | MAYBE
|
26.06 | * | NO
|
0.00 |
Frederiksen_Others/ocall-safe
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
1.13 | * | WORST_CASE(?,O(n^1))
|
3.88 | * | YES
|
0.00 |
Frederiksen_Others/ocall-unsafe
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
3.62 | * | YES
|
0.00 |
Frederiksen_Others/oddeven
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
3.60 | * | YES
|
0.00 |
Frederiksen_Others/permut
|
* | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
2.95 | * | YES
|
0.00 |
Frederiksen_Others/power
|
* | MAYBE
|
10.88 | * | MAYBE
|
58.11 | * | MAYBE
|
58.12 | * | MAYBE
|
6.74 | * | NO
|
0.00 |
Frederiksen_Others/quicksortPtime
|
* | WORST_CASE(?,O(n^2))
|
11.83 | * | WORST_CASE(?,O(n^2))
|
2.66 | * | WORST_CASE(?,O(n^2))
|
12.11 | * | WORST_CASE(?,O(n^2))
|
20.35 | * | NO
|
0.00 |
Frederiksen_Others/quicksortSize
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.16 | * | MAYBE
|
58.40 | * | MAYBE
|
25.12 | * | NO
|
0.00 |
Frederiksen_Others/reach
|
* | MAYBE
|
59.26 | * | MAYBE
|
58.86 | * | MAYBE
|
58.87 | * | MAYBE
|
7.91 | * | NO
|
0.00 |
Frederiksen_Others/rematch
|
* | MAYBE
|
59.34 | * | MAYBE
|
58.72 | * | MAYBE
|
58.54 | * | WORST_CASE(?,O(n^4))
|
216.62 | * | NO
|
0.00 |
Frederiksen_Others/strmatch
|
* | WORST_CASE(?,O(n^2))
|
2.86 | * | WORST_CASE(?,O(n^2))
|
1.66 | * | WORST_CASE(?,O(n^2))
|
2.62 | * | WORST_CASE(?,O(n^2))
|
28.87 | * | YES
|
0.00 |
Frederiksen_Others/thetrickSize
|
* | WORST_CASE(?,O(n^1))
|
2.27 | * | WORST_CASE(?,O(n^2))
|
1.23 | * | WORST_CASE(?,O(n^1))
|
2.23 | * | WORST_CASE(?,O(n^1))
|
13.91 | * | YES
|
0.00 |
GTSSK07/cade01
|
* | MAYBE
|
4.55 | * | MAYBE
|
58.31 | * | MAYBE
|
58.07 | * | WORST_CASE(?,O(n^2))
|
299.75 | * | NO
|
0.00 |
GTSSK07/cade03
|
* | MAYBE
|
21.90 | * | MAYBE
|
58.29 | * | MAYBE
|
58.31 | * | WORST_CASE(?,O(n^2))
|
299.88 | * | NO
|
0.00 |
GTSSK07/cade04t
|
* | MAYBE
|
3.47 | * | MAYBE
|
59.30 | * | MAYBE
|
58.68 | * | WORST_CASE(?,O(n^2))
|
299.82 | * | NO
|
0.00 |
GTSSK07/cade05t
|
* | MAYBE
|
59.16 | * | MAYBE
|
58.33 | * | MAYBE
|
58.76 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
GTSSK07/cade06
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.22 | * | MAYBE
|
59.30 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
GTSSK07/cade07
|
* | MAYBE
|
27.27 | * | MAYBE
|
58.07 | * | MAYBE
|
58.07 | * | WORST_CASE(?,O(n^2))
|
299.90 | * | NO
|
0.00 |
GTSSK07/cade08
|
* | MAYBE
|
59.78 | * | MAYBE
|
58.23 | * | MAYBE
|
58.39 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
GTSSK07/cade09
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.44 | * | MAYBE
|
58.55 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
GTSSK07/cade10
|
* | MAYBE
|
47.88 | * | MAYBE
|
59.29 | * | MAYBE
|
58.87 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
GTSSK07/cade11
|
* | MAYBE
|
15.25 | * | MAYBE
|
59.10 | * | MAYBE
|
58.50 | * | WORST_CASE(?,O(n^2))
|
299.90 | * | NO
|
0.00 |
GTSSK07/cade12t
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.53 | * | MAYBE
|
58.20 | * | WORST_CASE(?,O(n^2))
|
299.93 | * | NO
|
0.00 |
GTSSK07/cade13t
|
* | MAYBE
|
8.84 | * | MAYBE
|
58.09 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
GTSSK07/cade14
|
* | MAYBE
|
22.42 | * | MAYBE
|
58.11 | * | MAYBE
|
58.28 | * | WORST_CASE(?,O(n^2))
|
299.89 | * | NO
|
0.00 |
GTSSK07/cade15
|
* | MAYBE
|
52.24 | * | MAYBE
|
58.69 | * | MAYBE
|
58.83 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
GTSSK07/cade16
|
* | MAYBE
|
23.32 | * | MAYBE
|
58.30 | * | MAYBE
|
58.12 | * | WORST_CASE(?,O(n^2))
|
299.89 | * | NO
|
0.00 |
GTSSK07/cade17
|
* | MAYBE
|
59.47 | * | MAYBE
|
58.41 | * | MAYBE
|
58.40 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/n002
|
* | MAYBE
|
7.46 | * | MAYBE
|
7.71 | * | MAYBE
|
7.25 | * | MAYBE
|
6.05 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/n003
|
* | MAYBE
|
7.04 | * | MAYBE
|
7.07 | * | MAYBE
|
7.05 | * | MAYBE
|
5.90 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/n004
|
* | MAYBE
|
7.26 | * | MAYBE
|
7.28 | * | MAYBE
|
7.87 | * | MAYBE
|
5.89 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/n005
|
* | MAYBE
|
7.05 | * | MAYBE
|
8.00 | * | MAYBE
|
7.50 | * | MAYBE
|
299.82 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/n006
|
* | MAYBE
|
7.04 | * | MAYBE
|
39.37 | * | MAYBE
|
41.68 | * | MAYBE
|
64.62 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/n007
|
* | MAYBE
|
1.25 | * | MAYBE
|
42.32 | * | MAYBE
|
42.43 | * | MAYBE
|
5.45 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/t001
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.37 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/t002
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.15 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(n^2))
|
8.73 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/t003
|
* | MAYBE
|
59.72 | * | MAYBE
|
58.14 | * | MAYBE
|
58.20 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/t004
|
* | MAYBE
|
17.42 | * | MAYBE
|
58.06 | * | MAYBE
|
58.08 | * | MAYBE
|
299.88 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/t009
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.19 | * | MAYBE
|
58.50 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/t011
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
0.84 | * | WORST_CASE(?,O(n^1))
|
3.52 | * | YES
|
0.00 |
HirokawaMiddeldorp_04/t012
|
* | MAYBE
|
59.31 | * | MAYBE
|
58.14 | * | MAYBE
|
58.55 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/t013
|
* | MAYBE
|
18.81 | * | MAYBE
|
58.74 | * | MAYBE
|
58.54 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
HirokawaMiddeldorp_04/t014
|
* | WORST_CASE(?,O(n^2))
|
0.90 | * | WORST_CASE(?,O(n^2))
|
0.56 | * | WORST_CASE(?,O(n^2))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
6.97 | * | YES
|
0.00 |
Mixed_TRS/Ex1_Luc04b_GM
|
* | MAYBE
|
13.66 | * | MAYBE
|
58.31 | * | MAYBE
|
58.31 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Mixed_TRS/fossacs
|
* | MAYBE
|
30.59 | * | MAYBE
|
58.09 | * | MAYBE
|
58.07 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Mixed_TRS/gcd
|
* | MAYBE
|
59.29 | * | MAYBE
|
58.11 | * | MAYBE
|
58.15 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Mixed_TRS/gcdMinMax
|
* | MAYBE
|
59.26 | * | MAYBE
|
58.31 | * | MAYBE
|
58.32 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Mixed_TRS/gcd_triple
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.19 | * | MAYBE
|
58.32 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Mixed_TRS/hydra
|
* | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
1.21 | * | WORST_CASE(?,O(n^1))
|
2.21 | * | YES
|
0.00 |
Mixed_TRS/hydra-Zantema06
|
* | MAYBE
|
59.35 | * | MAYBE
|
58.18 | * | MAYBE
|
58.20 | * | WORST_CASE(?,O(n^1))
|
8.11 | * | NO
|
0.00 |
Mixed_TRS/jones1
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
3.67 | * | YES
|
0.00 |
Mixed_TRS/jones2
|
* | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.62 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
3.99 | * | YES
|
0.00 |
Mixed_TRS/jones4
|
* | WORST_CASE(?,O(n^1))
|
0.03 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
3.87 | * | YES
|
0.00 |
Mixed_TRS/jones5
|
* | MAYBE
|
2.41 | * | MAYBE
|
58.10 | * | MAYBE
|
58.12 | * | MAYBE
|
299.78 | * | NO
|
0.00 |
Mixed_TRS/jones6
|
* | WORST_CASE(?,O(n^1))
|
1.11 | * | WORST_CASE(?,O(n^1))
|
0.94 | * | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
4.29 | * | YES
|
0.00 |
Mixed_TRS/minsort
|
* | MAYBE
|
59.24 | * | MAYBE
|
58.34 | * | MAYBE
|
58.28 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Mixed_TRS/perfect
|
* | WORST_CASE(?,O(n^1))
|
1.34 | * | WORST_CASE(?,O(n^1))
|
1.41 | * | WORST_CASE(?,O(n^1))
|
1.58 | * | WORST_CASE(?,O(n^1))
|
8.38 | * | NO
|
0.00 |
Mixed_TRS/perfect2
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.34 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Mixed_TRS/test1
|
* | MAYBE
|
1.18 | * | MAYBE
|
39.35 | * | MAYBE
|
41.48 | * | MAYBE
|
16.99 | * | NO
|
0.00 |
Mixed_TRS/while
|
* | MAYBE
|
8.17 | * | MAYBE
|
52.65 | * | MAYBE
|
46.16 | * | WORST_CASE(?,O(n^2))
|
299.79 | * | NO
|
0.00 |
Rubio_04/bintrees
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
5.01 | * | NO
|
0.00 |
Rubio_04/bn122
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^2))
|
1.20 | * | WORST_CASE(?,O(n^2))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
2.91 | * | NO
|
0.00 |
Rubio_04/division
|
* | WORST_CASE(?,O(n^3))
|
5.77 | * | WORST_CASE(?,O(n^3))
|
1.24 | * | WORST_CASE(?,O(n^3))
|
2.58 | * | WORST_CASE(?,O(n^3))
|
7.70 | * | NO
|
0.00 |
Rubio_04/elimdupl
|
* | WORST_CASE(?,O(n^2))
|
11.56 | * | WORST_CASE(?,O(n^3))
|
1.52 | * | WORST_CASE(?,O(n^3))
|
4.19 | * | WORST_CASE(?,O(n^2))
|
6.82 | * | NO
|
0.00 |
Rubio_04/enno
|
* | WORST_CASE(?,O(n^2))
|
19.19 | * | WORST_CASE(?,O(n^3))
|
2.40 | * | WORST_CASE(?,O(n^3))
|
5.15 | * | WORST_CASE(?,O(n^2))
|
24.39 | * | NO
|
0.00 |
Rubio_04/gcd
|
* | WORST_CASE(?,O(n^2))
|
3.76 | * | WORST_CASE(?,O(n^2))
|
0.85 | * | WORST_CASE(?,O(n^2))
|
3.63 | * | WORST_CASE(?,O(n^1))
|
12.60 | * | NO
|
0.00 |
Rubio_04/gm
|
* | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^2))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
5.90 | * | YES
|
0.00 |
Rubio_04/gmnp
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
5.45 | * | NO
|
0.00 |
Rubio_04/koen
|
* | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.03 | * | WORST_CASE(?,O(1))
|
1.85 | * | NO
|
0.00 |
Rubio_04/logarquot
|
* | WORST_CASE(?,O(n^2))
|
1.57 | * | WORST_CASE(?,O(n^3))
|
0.95 | * | WORST_CASE(?,O(n^3))
|
5.67 | * | WORST_CASE(?,O(n^1))
|
6.76 | * | NO
|
0.00 |
Rubio_04/ma96
|
* | MAYBE
|
59.35 | * | MAYBE
|
58.34 | * | MAYBE
|
58.19 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Rubio_04/mfp95
|
* | WORST_CASE(?,O(1))
|
0.03 | * | WORST_CASE(?,O(1))
|
0.28 | * | WORST_CASE(?,O(1))
|
0.91 | * | WORST_CASE(?,O(1))
|
1.91 | * | NO
|
0.00 |
Rubio_04/nestrec
|
* | MAYBE
|
58.20 | * | MAYBE
|
58.06 | * | MAYBE
|
58.09 | * | MAYBE
|
299.81 | * | NO
|
0.00 |
Rubio_04/p266
|
* | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.41 | * | WORST_CASE(?,O(1))
|
2.03 | * | NO
|
0.00 |
Rubio_04/polo2
|
* | WORST_CASE(?,O(n^2))
|
2.04 | * | WORST_CASE(?,O(n^1))
|
0.74 | * | WORST_CASE(?,O(n^1))
|
1.92 | * | WORST_CASE(?,O(n^1))
|
8.35 | * | YES
|
0.00 |
Rubio_04/prov
|
* | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
2.32 | * | YES
|
0.00 |
Rubio_04/quick
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.15 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Rubio_04/quotminus
|
* | MAYBE
|
5.71 | * | MAYBE
|
54.12 | * | MAYBE
|
58.09 | * | MAYBE
|
299.98 | * | NO
|
0.00 |
Rubio_04/revlist
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.09 | * | MAYBE
|
58.36 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Rubio_04/selsort
|
* | WORST_CASE(?,O(n^2))
|
18.89 | * | WORST_CASE(?,O(n^3))
|
3.90 | * | WORST_CASE(?,O(n^3))
|
14.53 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
Rubio_04/test4
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
3.64 | * | NO
|
0.00 |
Rubio_04/test829
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
5.52 | * | NO
|
0.00 |
Rubio_04/wst99
|
* | WORST_CASE(?,O(n^2))
|
5.97 | * | WORST_CASE(?,O(n^2))
|
6.64 | * | WORST_CASE(?,O(n^2))
|
9.43 | * | WORST_CASE(?,O(n^2))
|
5.23 | * | NO
|
0.00 |
SK90/2.02
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
3.04 | * | NO
|
0.00 |
SK90/2.03
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
5.46 | * | WORST_CASE(?,O(n^1))
|
3.05 | * | NO
|
0.00 |
SK90/2.07
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
1.45 | * | WORST_CASE(?,O(n^1))
|
4.12 | * | NO
|
0.00 |
SK90/2.09
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
3.47 | * | YES
|
0.00 |
SK90/2.11
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.19 | * | WORST_CASE(?,O(n^1))
|
4.28 | * | YES
|
0.00 |
SK90/2.12
|
* | WORST_CASE(?,O(n^3))
|
5.99 | * | WORST_CASE(?,O(n^3))
|
6.59 | * | WORST_CASE(?,O(n^3))
|
8.51 | * | WORST_CASE(?,O(n^3))
|
7.78 | * | NO
|
0.00 |
SK90/2.13
|
* | WORST_CASE(?,O(n^1))
|
0.95 | * | WORST_CASE(?,O(n^1))
|
0.93 | * | WORST_CASE(?,O(n^1))
|
1.00 | * | WORST_CASE(?,O(n^1))
|
4.30 | * | YES
|
0.00 |
SK90/2.14
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
5.69 | * | YES
|
0.00 |
SK90/2.15
|
* | MAYBE
|
1.68 | * | MAYBE
|
58.10 | * | MAYBE
|
58.52 | * | EXP
|
14.50 | * | NO
|
0.00 |
SK90/2.16
|
* | WORST_CASE(?,O(n^2))
|
0.94 | * | WORST_CASE(?,O(n^2))
|
0.46 | * | WORST_CASE(?,O(n^2))
|
1.97 | * | WORST_CASE(?,O(n^2))
|
6.90 | * | YES
|
0.00 |
SK90/2.17
|
* | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
1.10 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
3.79 | * | YES
|
0.00 |
SK90/2.18
|
* | WORST_CASE(?,O(n^2))
|
0.44 | * | WORST_CASE(?,O(n^2))
|
0.57 | * | WORST_CASE(?,O(n^2))
|
1.02 | * | WORST_CASE(?,O(n^2))
|
4.40 | * | YES
|
0.00 |
SK90/2.19
|
* | WORST_CASE(?,O(n^2))
|
0.76 | * | WORST_CASE(?,O(n^2))
|
0.91 | * | WORST_CASE(?,O(n^2))
|
0.77 | * | WORST_CASE(?,O(n^2))
|
6.38 | * | YES
|
0.00 |
SK90/2.20
|
* | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | WORST_CASE(?,O(n^1))
|
3.84 | * | YES
|
0.00 |
SK90/2.21
|
* | MAYBE
|
1.35 | * | MAYBE
|
58.09 | * | MAYBE
|
58.10 | * | EXP
|
13.67 | * | NO
|
0.00 |
SK90/2.22
|
* | WORST_CASE(?,O(n^2))
|
0.68 | * | WORST_CASE(?,O(n^2))
|
0.25 | * | WORST_CASE(?,O(n^2))
|
0.98 | * | WORST_CASE(?,O(n^2))
|
6.90 | * | NO
|
0.00 |
SK90/2.23
|
* | MAYBE
|
6.11 | * | MAYBE
|
58.27 | * | MAYBE
|
58.07 | * | MAYBE
|
299.97 | * | NO
|
0.00 |
SK90/2.24
|
* | MAYBE
|
1.65 | * | MAYBE
|
58.11 | * | MAYBE
|
58.33 | * | EXP
|
38.05 | * | NO
|
0.00 |
SK90/2.25
|
* | MAYBE
|
4.60 | * | MAYBE
|
58.13 | * | MAYBE
|
58.13 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
SK90/2.26
|
* | MAYBE
|
32.81 | * | MAYBE
|
58.08 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
SK90/2.27
|
* | MAYBE
|
25.36 | * | MAYBE
|
58.09 | * | MAYBE
|
58.09 | * | MAYBE
|
299.95 | * | NO
|
0.00 |
SK90/2.28
|
* | MAYBE
|
1.58 | * | MAYBE
|
55.48 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
SK90/2.29
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
1.13 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
5.43 | * | YES
|
0.00 |
SK90/2.30
|
* | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.17 | * | WORST_CASE(?,O(1))
|
1.89 | * | YES
|
0.00 |
SK90/2.31
|
* | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.81 | * | WORST_CASE(?,O(n^1))
|
4.72 | * | YES
|
0.00 |
SK90/2.36
|
* | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
3.64 | * | YES
|
0.00 |
SK90/2.37
|
* | WORST_CASE(?,O(1))
|
0.10 | * | WORST_CASE(?,O(1))
|
0.31 | * | WORST_CASE(?,O(1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
19.94 | * | NO
|
0.00 |
SK90/2.38
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
3.34 | * | NO
|
0.00 |
SK90/2.39
|
* | WORST_CASE(?,O(n^2))
|
1.70 | * | WORST_CASE(?,O(n^2))
|
0.19 | * | WORST_CASE(?,O(n^2))
|
0.96 | * | WORST_CASE(?,O(n^2))
|
9.19 | * | NO
|
0.00 |
SK90/2.40
|
* | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
5.88 | * | YES
|
0.00 |
SK90/2.41
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
5.26 | * | YES
|
0.00 |
SK90/2.42
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^1))
|
1.32 | * | WORST_CASE(?,O(n^1))
|
4.19 | * | NO
|
0.00 |
SK90/2.43
|
* | MAYBE
|
29.49 | * | MAYBE
|
58.08 | * | MAYBE
|
58.11 | * | EXP
|
13.27 | * | NO
|
0.00 |
SK90/2.44
|
* | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^1))
|
0.97 | * | WORST_CASE(?,O(n^1))
|
0.96 | * | WORST_CASE(?,O(n^1))
|
6.38 | * | NO
|
0.00 |
SK90/2.45
|
* | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
4.76 | * | NO
|
0.00 |
SK90/2.47
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
2.86 | * | YES
|
0.00 |
SK90/2.48
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.12 | * | WORST_CASE(?,O(1))
|
1.88 | * | NO
|
0.00 |
SK90/2.49
|
* | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
1.86 | * | YES
|
0.00 |
SK90/2.50
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
2.66 | * | YES
|
0.00 |
SK90/2.51
|
* | MAYBE
|
15.85 | * | MAYBE
|
40.17 | * | MAYBE
|
41.16 | * | MAYBE
|
299.91 | * | NO
|
0.00 |
SK90/2.52
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.49 | * | MAYBE
|
59.41 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
SK90/2.53
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
3.96 | * | YES
|
0.00 |
SK90/2.54
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.62 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
3.08 | * | YES
|
0.00 |
SK90/2.55
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
3.05 | * | NO
|
0.00 |
SK90/2.59
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
2.89 | * | NO
|
0.00 |
SK90/2.61
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^2))
|
4.09 | * | NO
|
0.00 |
SK90/4.05
|
* | WORST_CASE(?,O(n^2))
|
0.39 | * | WORST_CASE(?,O(n^2))
|
1.11 | * | WORST_CASE(?,O(n^2))
|
0.76 | * | WORST_CASE(?,O(n^3))
|
6.79 | * | NO
|
0.00 |
SK90/4.06
|
* | MAYBE
|
5.48 | * | MAYBE
|
58.31 | * | MAYBE
|
58.09 | * | MAYBE
|
64.64 | * | NO
|
0.00 |
SK90/4.07
|
* | WORST_CASE(?,O(1))
|
0.03 | * | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
1.85 | * | NO
|
0.00 |
SK90/4.09
|
* | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.29 | * | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
1.89 | * | NO
|
0.00 |
SK90/4.10
|
* | WORST_CASE(?,O(n^2))
|
1.14 | * | WORST_CASE(?,O(n^2))
|
1.50 | * | WORST_CASE(?,O(n^2))
|
2.55 | * | WORST_CASE(?,O(n^2))
|
6.66 | * | NO
|
0.00 |
SK90/4.12
|
* | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
1.18 | * | WORST_CASE(?,O(n^1))
|
5.37 | * | WORST_CASE(?,O(n^1))
|
3.61 | * | NO
|
0.00 |
SK90/4.13
|
* | WORST_CASE(?,O(n^2))
|
0.88 | * | WORST_CASE(?,O(n^2))
|
1.40 | * | WORST_CASE(?,O(n^2))
|
0.64 | * | WORST_CASE(?,O(n^1))
|
4.69 | * | YES
|
0.00 |
SK90/4.16
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.78 | * | WORST_CASE(?,O(n^1))
|
0.86 | * | WORST_CASE(?,O(n^1))
|
3.57 | * | YES
|
0.00 |
SK90/4.17
|
* | WORST_CASE(?,O(n^2))
|
2.05 | * | WORST_CASE(?,O(n^3))
|
1.11 | * | WORST_CASE(?,O(n^3))
|
6.20 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | YES
|
0.00 |
SK90/4.18
|
* | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
1.26 | * | WORST_CASE(?,O(1))
|
1.88 | * | NO
|
0.00 |
SK90/4.22
|
* | MAYBE
|
13.88 | * | MAYBE
|
58.08 | * | MAYBE
|
58.08 | * | WORST_CASE(?,O(n^1))
|
4.61 | * | NO
|
0.00 |
SK90/4.24
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.10 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
SK90/4.25
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.03 | * | WORST_CASE(?,O(n^1))
|
3.40 | * | NO
|
0.00 |
SK90/4.26
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
4.40 | * | NO
|
0.00 |
SK90/4.27
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.10 | * | MAYBE
|
58.08 | * | MAYBE
|
299.94 | * | NO
|
0.00 |
SK90/4.28
|
* | WORST_CASE(?,O(n^1))
|
0.82 | * | WORST_CASE(?,O(n^1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
1.32 | * | WORST_CASE(?,O(n^1))
|
7.05 | * | NO
|
0.00 |
SK90/4.29
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
3.61 | * | YES
|
0.00 |
SK90/4.30
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
5.73 | * | WORST_CASE(?,O(n^1))
|
41.05 | * | NO
|
0.00 |
SK90/4.31
|
* | MAYBE
|
2.38 | * | MAYBE
|
58.04 | * | MAYBE
|
58.10 | * | MAYBE
|
6.71 | * | NO
|
0.00 |
SK90/4.34
|
* | MAYBE
|
15.24 | * | MAYBE
|
58.04 | * | MAYBE
|
58.08 | * | MAYBE
|
86.49 | * | NO
|
0.00 |
SK90/4.35
|
* | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.29 | * | WORST_CASE(?,O(1))
|
1.77 | * | NO
|
0.00 |
SK90/4.38
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
3.88 | * | YES
|
0.00 |
SK90/4.42
|
* | MAYBE
|
4.06 | * | MAYBE
|
40.90 | * | MAYBE
|
41.49 | * | MAYBE
|
299.98 | * | NO
|
0.00 |
SK90/4.43
|
* | WORST_CASE(?,O(n^3))
|
5.44 | * | WORST_CASE(?,O(n^3))
|
7.47 | * | WORST_CASE(?,O(n^3))
|
9.10 | * | MAYBE
|
36.15 | * | NO
|
0.00 |
SK90/4.45
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
3.17 | * | NO
|
0.00 |
SK90/4.47
|
* | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.37 | * | WORST_CASE(?,O(1))
|
1.94 | * | NO
|
0.00 |
SK90/4.48
|
* | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.27 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
1.93 | * | NO
|
0.00 |
SK90/4.51
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
2.22 | * | NO
|
0.00 |
SK90/4.53
|
* | WORST_CASE(?,O(n^1))
|
1.05 | * | WORST_CASE(?,O(n^1))
|
1.41 | * | WORST_CASE(?,O(n^1))
|
1.41 | * | WORST_CASE(?,O(n^1))
|
7.83 | * | NO
|
0.00 |
SK90/4.54
|
* | MAYBE
|
2.01 | * | MAYBE
|
58.78 | * | MAYBE
|
58.09 | * | MAYBE
|
196.09 | * | NO
|
0.00 |
SK90/4.57
|
* | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.21 | * | WORST_CASE(?,O(1))
|
1.90 | * | NO
|
0.00 |
SK90/4.59
|
* | MAYBE
|
6.13 | * | MAYBE
|
58.12 | * | MAYBE
|
58.14 | * | MAYBE
|
13.98 | * | NO
|
0.00 |
SK90/4.60
|
* | MAYBE
|
59.18 | * | MAYBE
|
58.11 | * | MAYBE
|
58.33 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
SK90/4.61
|
* | MAYBE
|
59.16 | * | MAYBE
|
58.19 | * | MAYBE
|
58.16 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_05_TRS/aprove2
|
* | MAYBE
|
33.76 | * | MAYBE
|
58.62 | * | MAYBE
|
58.09 | * | WORST_CASE(?,O(n^1))
|
44.94 | * | NO
|
0.00 |
Secret_05_TRS/aprove3
|
* | MAYBE
|
10.29 | * | MAYBE
|
58.09 | * | MAYBE
|
58.63 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_05_TRS/aprove4
|
* | MAYBE
|
7.03 | * | MAYBE
|
58.16 | * | MAYBE
|
58.92 | * | WORST_CASE(?,O(n^2))
|
4.61 | * | NO
|
0.00 |
Secret_05_TRS/aprove5
|
* | MAYBE
|
13.46 | * | MAYBE
|
58.30 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(n^3))
|
299.91 | * | NO
|
0.00 |
Secret_05_TRS/cime2
|
* | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.91 | * | WORST_CASE(?,O(n^1))
|
5.96 | * | NO
|
0.00 |
Secret_05_TRS/cime3
|
* | MAYBE
|
10.09 | * | MAYBE
|
58.32 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_05_TRS/cime4
|
* | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.36 | * | WORST_CASE(?,O(1))
|
0.40 | * | WORST_CASE(?,O(1))
|
1.83 | * | NO
|
0.00 |
Secret_05_TRS/cime5
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.49 | * | MAYBE
|
59.15 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_05_TRS/tpa1
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.15 | * | MAYBE
|
58.32 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Secret_05_TRS/tpa2
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.93 | * | WORST_CASE(?,O(n^2))
|
2.23 | * | WORST_CASE(?,O(n^2))
|
87.71 | * | YES
|
0.00 |
Secret_05_TRS/tpa3
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.55 | * | MAYBE
|
58.15 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_05_TRS/tpa4
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.39 | * | MAYBE
|
58.27 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_05_TRS/tpa5
|
* | MAYBE
|
59.32 | * | MAYBE
|
58.18 | * | MAYBE
|
58.56 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_05_TRS/ttt1
|
* | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.62 | * | WORST_CASE(?,O(1))
|
1.88 | * | NO
|
0.00 |
Secret_05_TRS/ttt2
|
* | MAYBE
|
11.27 | * | MAYBE
|
14.09 | * | MAYBE
|
13.63 | * | MAYBE
|
7.35 | * | NO
|
0.00 |
Secret_06_TRS/10
|
* | WORST_CASE(?,O(n^1))
|
0.88 | * | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
8.03 | * | WORST_CASE(?,O(n^1))
|
2.40 | * | NO
|
0.00 |
Secret_06_TRS/4
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
9.67 | * | NO
|
0.00 |
Secret_06_TRS/6
|
* | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
5.66 | * | WORST_CASE(?,O(1))
|
1.94 | * | NO
|
0.00 |
Secret_06_TRS/addList
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.24 | * | MAYBE
|
58.20 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/divExp
|
* | MAYBE
|
59.19 | * | MAYBE
|
58.11 | * | MAYBE
|
58.14 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/division
|
* | MAYBE
|
25.84 | * | MAYBE
|
58.56 | * | MAYBE
|
58.77 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/double
|
* | MAYBE
|
35.65 | * | MAYBE
|
58.34 | * | MAYBE
|
58.23 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/gen-1
|
* | WORST_CASE(?,O(1))
|
0.66 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
1.46 | * | WORST_CASE(?,O(1))
|
1.93 | * | NO
|
0.00 |
Secret_06_TRS/gen-17
|
* | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.87 | * | WORST_CASE(?,O(1))
|
3.33 | * | WORST_CASE(?,O(1))
|
2.05 | * | NO
|
0.00 |
Secret_06_TRS/gen-28
|
* | MAYBE
|
6.16 | * | MAYBE
|
53.94 | * | MAYBE
|
53.97 | * | WORST_CASE(?,O(1))
|
1.93 | * | NO
|
0.00 |
Secret_06_TRS/logarithm
|
* | MAYBE
|
59.04 | * | MAYBE
|
58.10 | * | MAYBE
|
58.13 | * | WORST_CASE(?,O(n^2))
|
299.97 | * | NO
|
0.00 |
Secret_06_TRS/nrOfNodes
|
* | MAYBE
|
36.69 | * | MAYBE
|
58.15 | * | MAYBE
|
58.99 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/reverse
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.60 | * | MAYBE
|
58.56 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/sumList
|
* | MAYBE
|
36.13 | * | MAYBE
|
59.33 | * | MAYBE
|
58.13 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/times
|
* | MAYBE
|
12.46 | * | MAYBE
|
58.49 | * | MAYBE
|
59.11 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/toList
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.48 | * | MAYBE
|
58.31 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/tpa04
|
* | MAYBE
|
59.18 | * | MAYBE
|
58.21 | * | MAYBE
|
58.18 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/tpa05
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.35 | * | MAYBE
|
58.43 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/tpa06
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.47 | * | MAYBE
|
59.21 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/tpa07
|
* | MAYBE
|
59.31 | * | MAYBE
|
58.92 | * | MAYBE
|
58.47 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/tpa08
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.37 | * | MAYBE
|
58.27 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/tpa09
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.27 | * | MAYBE
|
58.32 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_06_TRS/tpa10
|
* | MAYBE
|
59.74 | * | MAYBE
|
58.18 | * | MAYBE
|
58.20 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/3
|
* | WORST_CASE(?,O(n^1))
|
6.80 | * | WORST_CASE(?,O(n^1))
|
6.99 | * | WORST_CASE(?,O(n^1))
|
6.83 | * | WORST_CASE(?,O(1))
|
1.98 | * | NO
|
0.00 |
Secret_07_TRS/aprove01
|
* | MAYBE
|
23.07 | * | MAYBE
|
58.77 | * | MAYBE
|
58.77 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove02
|
* | MAYBE
|
21.57 | * | MAYBE
|
58.57 | * | MAYBE
|
58.57 | * | WORST_CASE(?,O(n^5))
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove03
|
* | MAYBE
|
59.86 | * | MAYBE
|
58.35 | * | MAYBE
|
58.26 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove04
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.19 | * | MAYBE
|
58.19 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove05
|
* | MAYBE
|
47.78 | * | MAYBE
|
58.30 | * | MAYBE
|
58.38 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove06
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.19 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove07
|
* | MAYBE
|
35.47 | * | MAYBE
|
58.42 | * | MAYBE
|
59.55 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove08
|
* | MAYBE
|
38.42 | * | MAYBE
|
58.97 | * | MAYBE
|
58.13 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove09
|
* | MAYBE
|
21.01 | * | MAYBE
|
58.47 | * | MAYBE
|
58.32 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/aprove10
|
* | MAYBE
|
59.31 | * | MAYBE
|
58.10 | * | MAYBE
|
58.14 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/secret1
|
* | MAYBE
|
29.70 | * | TIMEOUT
|
60.06 | * | MAYBE
|
58.63 | * | WORST_CASE(?,O(n^1))
|
2.92 | * | NO
|
0.00 |
Secret_07_TRS/secret3
|
* | MAYBE
|
11.57 | * | MAYBE
|
58.18 | * | MAYBE
|
58.17 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Secret_07_TRS/secret4
|
* | MAYBE
|
59.11 | * | MAYBE
|
59.36 | * | MAYBE
|
58.54 | * | WORST_CASE(?,O(n^2))
|
3.22 | * | NO
|
0.00 |
Secret_07_TRS/secret5
|
* | WORST_CASE(?,O(n^1))
|
1.27 | * | WORST_CASE(?,O(n^1))
|
0.73 | * | WORST_CASE(?,O(n^1))
|
1.12 | * | WORST_CASE(?,O(n^1))
|
13.11 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.14
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
2.92 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.16
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
2.69 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.17
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
1.50 | * | WORST_CASE(?,O(n^1))
|
2.79 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.19
|
* | MAYBE
|
4.09 | * | MAYBE
|
58.12 | * | MAYBE
|
58.12 | * | WORST_CASE(?,O(n^1))
|
24.97 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.2
|
* | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
1.06 | * | WORST_CASE(?,O(n^1))
|
2.83 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.20a
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
8.24 | * | WORST_CASE(?,O(n^1))
|
3.47 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.22
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
7.77 | * | WORST_CASE(?,O(n^1))
|
6.43 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.23
|
* | MAYBE
|
7.61 | * | MAYBE
|
58.07 | * | MAYBE
|
58.05 | * | WORST_CASE(?,O(n^2))
|
104.61 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.25
|
* | MAYBE
|
1.14 | * | MAYBE
|
38.61 | * | MAYBE
|
38.62 | * | WORST_CASE(?,O(1))
|
2.18 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.26
|
* | MAYBE
|
5.03 | * | MAYBE
|
58.69 | * | MAYBE
|
58.72 | * | WORST_CASE(?,O(n^2))
|
8.94 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.27
|
* | WORST_CASE(?,O(n^3))
|
3.08 | * | WORST_CASE(?,O(n^3))
|
3.33 | * | WORST_CASE(?,O(n^2))
|
0.45 | * | WORST_CASE(?,O(n^2))
|
6.03 | * | YES
|
0.00 |
Strategy_removed_AG01/#4.28
|
* | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^3))
|
0.65 | * | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
7.18 | * | YES
|
0.00 |
Strategy_removed_AG01/#4.29
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.17 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.30
|
* | MAYBE
|
33.57 | * | MAYBE
|
58.10 | * | MAYBE
|
58.50 | * | WORST_CASE(?,O(n^1))
|
10.92 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.30a
|
* | MAYBE
|
2.51 | * | MAYBE
|
58.08 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(n^1))
|
5.98 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.30b
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.08 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(n^1))
|
13.91 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.30c
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.06 | * | MAYBE
|
58.06 | * | WORST_CASE(?,O(n^1))
|
17.90 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.32
|
* | WORST_CASE(?,O(n^2))
|
0.57 | * | WORST_CASE(?,O(n^3))
|
0.93 | * | WORST_CASE(?,O(n^2))
|
1.38 | * | WORST_CASE(?,O(n^1))
|
2.61 | * | YES
|
0.00 |
Strategy_removed_AG01/#4.33
|
* | WORST_CASE(?,O(n^3))
|
6.30 | * | WORST_CASE(?,O(n^3))
|
6.52 | * | WORST_CASE(?,O(n^3))
|
8.36 | * | TIMEOUT
|
300.00 | * | YES
|
0.00 |
Strategy_removed_AG01/#4.34
|
* | WORST_CASE(?,O(n^2))
|
0.86 | * | WORST_CASE(?,O(n^1))
|
1.57 | * | WORST_CASE(?,O(n^2))
|
1.24 | * | WORST_CASE(?,O(n^3))
|
64.76 | * | YES
|
0.00 |
Strategy_removed_AG01/#4.35
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.21 | * | MAYBE
|
58.19 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.36
|
* | WORST_CASE(?,O(n^2))
|
13.54 | * | WORST_CASE(?,O(n^3))
|
1.67 | * | WORST_CASE(?,O(n^3))
|
12.27 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.37
|
* | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
5.43 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.37a
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.83 | * | WORST_CASE(?,O(n^1))
|
5.50 | * | NO
|
0.00 |
Strategy_removed_AG01/#4.7
|
* | WORST_CASE(?,O(1))
|
0.66 | * | WORST_CASE(?,O(1))
|
0.54 | * | WORST_CASE(?,O(1))
|
5.24 | * | WORST_CASE(?,O(1))
|
1.95 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex14_AEGL02
|
* | MAYBE
|
1.10 | * | MAYBE
|
58.10 | * | MAYBE
|
58.31 | * | MAYBE
|
119.14 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex15_Luc98
|
* | MAYBE
|
1.91 | * | MAYBE
|
58.14 | * | MAYBE
|
58.10 | * | MAYBE
|
162.75 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex1_2_AEL03
|
* | MAYBE
|
2.96 | * | MAYBE
|
58.08 | * | MAYBE
|
58.10 | * | MAYBE
|
299.96 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex1_2_Luc02c
|
* | MAYBE
|
0.87 | * | MAYBE
|
58.71 | * | MAYBE
|
58.72 | * | MAYBE
|
61.36 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex1_GL02a
|
* | MAYBE
|
1.55 | * | MAYBE
|
58.78 | * | MAYBE
|
58.82 | * | MAYBE
|
165.78 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex1_GM03
|
* | MAYBE
|
15.01 | * | MAYBE
|
42.46 | * | MAYBE
|
41.92 | * | MAYBE
|
6.58 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex1_Luc02b
|
* | MAYBE
|
1.68 | * | MAYBE
|
58.09 | * | MAYBE
|
58.12 | * | MAYBE
|
125.33 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex1_Zan97
|
* | MAYBE
|
30.80 | * | MAYBE
|
31.42 | * | MAYBE
|
31.97 | * | MAYBE
|
6.87 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex26_Luc03b
|
* | MAYBE
|
9.38 | * | MAYBE
|
58.13 | * | MAYBE
|
58.18 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex2_Luc03b
|
* | MAYBE
|
1.33 | * | MAYBE
|
58.10 | * | MAYBE
|
58.12 | * | MAYBE
|
129.82 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex3_12_Luc96a
|
* | MAYBE
|
1.32 | * | MAYBE
|
58.13 | * | MAYBE
|
58.13 | * | MAYBE
|
111.93 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex3_2_Luc97
|
* | MAYBE
|
1.89 | * | MAYBE
|
58.55 | * | MAYBE
|
58.52 | * | MAYBE
|
299.86 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex3_3_25_Bor03
|
* | MAYBE
|
7.35 | * | MAYBE
|
58.32 | * | MAYBE
|
59.74 | * | MAYBE
|
299.93 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex49_GM04
|
* | WORST_CASE(?,O(n^1))
|
0.94 | * | WORST_CASE(?,O(n^1))
|
1.86 | * | WORST_CASE(?,O(n^1))
|
0.91 | * | WORST_CASE(?,O(n^1))
|
6.98 | * | YES
|
0.00 |
Strategy_removed_CSR_05/Ex4_4_Luc96b
|
* | MAYBE
|
1.69 | * | MAYBE
|
36.69 | * | MAYBE
|
39.40 | * | MAYBE
|
299.86 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex4_7_15_Bor03
|
* | MAYBE
|
7.05 | * | MAYBE
|
58.51 | * | MAYBE
|
58.71 | * | MAYBE
|
95.07 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex4_7_37_Bor03
|
* | MAYBE
|
2.00 | * | MAYBE
|
58.54 | * | MAYBE
|
58.96 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex4_7_56_Bor03
|
* | MAYBE
|
1.09 | * | MAYBE
|
58.93 | * | MAYBE
|
58.34 | * | MAYBE
|
110.57 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex4_7_77_Bor03
|
* | MAYBE
|
7.04 | * | MAYBE
|
58.12 | * | MAYBE
|
58.11 | * | MAYBE
|
5.98 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex4_Zan97
|
* | MAYBE
|
8.39 | * | MAYBE
|
58.53 | * | MAYBE
|
58.36 | * | MAYBE
|
12.63 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex5_7_Luc97
|
* | MAYBE
|
2.41 | * | MAYBE
|
58.39 | * | MAYBE
|
58.53 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex5_Zan97
|
* | MAYBE
|
7.04 | * | MAYBE
|
7.05 | * | MAYBE
|
7.07 | * | MAYBE
|
6.84 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex6_15_AEL02
|
* | MAYBE
|
3.62 | * | MAYBE
|
58.30 | * | MAYBE
|
58.72 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex6_9_Luc02c
|
* | MAYBE
|
1.37 | * | MAYBE
|
58.33 | * | MAYBE
|
58.54 | * | MAYBE
|
63.41 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex6_GM04
|
* | MAYBE
|
7.04 | * | MAYBE
|
53.01 | * | MAYBE
|
40.64 | * | MAYBE
|
6.41 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex6_Luc98
|
* | MAYBE
|
3.19 | * | MAYBE
|
58.11 | * | MAYBE
|
58.11 | * | MAYBE
|
110.15 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex7_BLR02
|
* | MAYBE
|
1.27 | * | MAYBE
|
58.15 | * | MAYBE
|
58.12 | * | MAYBE
|
126.43 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex8_BLR02
|
* | MAYBE
|
3.70 | * | MAYBE
|
58.15 | * | MAYBE
|
58.14 | * | MAYBE
|
299.99 | * | NO
|
0.00 |
Strategy_removed_CSR_05/Ex9_BLR02
|
* | MAYBE
|
7.97 | * | MAYBE
|
58.16 | * | MAYBE
|
58.36 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_CSR_05/ExAppendixB_AEL03
|
* | MAYBE
|
3.44 | * | MAYBE
|
58.76 | * | MAYBE
|
58.92 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_CSR_05/ExConc_Zan97
|
* | MAYBE
|
7.05 | * | MAYBE
|
58.36 | * | MAYBE
|
58.10 | * | MAYBE
|
6.08 | * | NO
|
0.00 |
Strategy_removed_CSR_05/ExIntrod_GM01
|
* | MAYBE
|
7.05 | * | MAYBE
|
58.21 | * | MAYBE
|
58.31 | * | MAYBE
|
299.97 | * | NO
|
0.00 |
Strategy_removed_CSR_05/ExIntrod_GM04
|
* | MAYBE
|
7.26 | * | MAYBE
|
58.33 | * | MAYBE
|
58.11 | * | MAYBE
|
299.97 | * | NO
|
0.00 |
Strategy_removed_CSR_05/ExIntrod_GM99
|
* | MAYBE
|
25.34 | * | MAYBE
|
58.10 | * | MAYBE
|
58.13 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_CSR_05/ExIntrod_Zan97
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.95 | * | MAYBE
|
58.78 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_mixed_05/ExSec11_1_Luc02a
|
* | MAYBE
|
9.83 | * | MAYBE
|
58.20 | * | MAYBE
|
58.20 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Strategy_removed_mixed_05/ex1
|
* | MAYBE
|
7.05 | * | MAYBE
|
7.13 | * | MAYBE
|
8.08 | * | MAYBE
|
5.14 | * | NO
|
0.00 |
Strategy_removed_mixed_05/ex2
|
* | MAYBE
|
0.88 | * | MAYBE
|
39.13 | * | MAYBE
|
37.72 | * | MAYBE
|
61.38 | * | NO
|
0.00 |
Strategy_removed_mixed_05/ex3
|
* | MAYBE
|
7.04 | * | MAYBE
|
41.26 | * | MAYBE
|
39.51 | * | MAYBE
|
5.34 | * | NO
|
0.00 |
Strategy_removed_mixed_05/ex4
|
* | MAYBE
|
7.04 | * | MAYBE
|
44.46 | * | MAYBE
|
54.08 | * | MAYBE
|
6.70 | * | NO
|
0.00 |
Strategy_removed_mixed_05/ex5
|
* | MAYBE
|
7.04 | * | MAYBE
|
7.05 | * | MAYBE
|
7.05 | * | MAYBE
|
6.24 | * | NO
|
0.00 |
Strategy_removed_mixed_05/ex6
|
* | MAYBE
|
3.56 | * | MAYBE
|
58.99 | * | MAYBE
|
58.21 | * | MAYBE
|
299.79 | * | NO
|
0.00 |
Strategy_removed_mixed_05/muladd
|
* | MAYBE
|
14.25 | * | MAYBE
|
58.12 | * | MAYBE
|
58.70 | * | MAYBE
|
21.96 | * | NO
|
0.00 |
Strategy_removed_mixed_05/test10
|
* | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.21 | * | WORST_CASE(?,O(n^1))
|
3.44 | * | NO
|
0.00 |
Strategy_removed_mixed_05/test76
|
* | MAYBE
|
4.12 | * | MAYBE
|
46.70 | * | MAYBE
|
40.87 | * | WORST_CASE(?,O(n^1))
|
5.06 | * | NO
|
0.00 |
Strategy_removed_mixed_05/test77
|
* | MAYBE
|
4.37 | * | MAYBE
|
42.95 | * | MAYBE
|
46.16 | * | WORST_CASE(?,O(n^1))
|
5.51 | * | NO
|
0.00 |
Strategy_removed_mixed_05/test830
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.91 | * | WORST_CASE(?,O(n^1))
|
4.50 | * | NO
|
0.00 |
Strategy_removed_mixed_05/tricky1
|
* | WORST_CASE(?,O(1))
|
0.23 | * | WORST_CASE(?,O(1))
|
0.07 | * | WORST_CASE(?,O(1))
|
8.13 | * | WORST_CASE(?,O(1))
|
1.87 | * | NO
|
0.00 |
TCT_12/polycounter-10
|
* | MAYBE
|
21.63 | * | MAYBE
|
58.11 | * | MAYBE
|
58.74 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
TCT_12/polycounter-5
|
* | MAYBE
|
4.58 | * | MAYBE
|
58.06 | * | MAYBE
|
58.07 | * | WORST_CASE(?,O(n^5))
|
299.98 | * | NO
|
0.00 |
TCT_12/recursion-10
|
* | MAYBE
|
59.30 | * | WORST_CASE(?,O(n^10))
|
2.04 | * | WORST_CASE(?,O(n^10))
|
2.12 | * | WORST_CASE(?,O(n^10))
|
300.00 | * | NO
|
0.00 |
TCT_12/recursion-5
|
* | WORST_CASE(?,O(n^5))
|
15.08 | * | WORST_CASE(?,O(n^5))
|
0.68 | * | WORST_CASE(?,O(n^5))
|
1.52 | * | WORST_CASE(?,O(n^5))
|
299.95 | * | NO
|
0.00 |
TCT_12/sat
|
* | WORST_CASE(?,O(n^2))
|
3.23 | * | WORST_CASE(?,O(n^3))
|
1.58 | * | WORST_CASE(?,O(n^3))
|
3.67 | * | WORST_CASE(?,O(n^2))
|
19.05 | * | NO
|
0.00 |
Transformed_CSR_04/Ex14_AEGL02_C
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.12 | * | MAYBE
|
58.49 | * | WORST_CASE(?,O(n^1))
|
5.33 | * | NO
|
0.00 |
Transformed_CSR_04/Ex14_AEGL02_FR
|
* | MAYBE
|
13.41 | * | MAYBE
|
58.51 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex14_AEGL02_GM
|
* | WORST_CASE(?,O(n^3))
|
3.60 | * | WORST_CASE(?,O(n^3))
|
3.34 | * | WORST_CASE(?,O(n^3))
|
6.86 | * | TIMEOUT
|
300.00 | * | YES
|
0.00 |
Transformed_CSR_04/Ex14_AEGL02_L
|
* | MAYBE
|
7.04 | * | MAYBE
|
58.75 | * | MAYBE
|
58.14 | * | MAYBE
|
8.02 | * | NO
|
0.00 |
Transformed_CSR_04/Ex14_AEGL02_Z
|
* | MAYBE
|
4.07 | * | MAYBE
|
58.07 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex14_Luc06_C
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.52 | * | MAYBE
|
58.71 | * | WORST_CASE(?,O(n^1))
|
6.62 | * | NO
|
0.00 |
Transformed_CSR_04/Ex14_Luc06_GM
|
* | MAYBE
|
17.37 | * | MAYBE
|
58.05 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex15_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.82 | * | WORST_CASE(?,O(n^1))
|
0.80 | * | WORST_CASE(?,O(n^1))
|
4.45 | * | NO
|
0.00 |
Transformed_CSR_04/Ex15_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.13 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
4.79 | * | NO
|
0.00 |
Transformed_CSR_04/Ex15_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
0.03 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
3.66 | * | NO
|
0.00 |
Transformed_CSR_04/Ex15_Luc06_L
|
* | MAYBE
|
7.24 | * | MAYBE
|
7.05 | * | MAYBE
|
7.05 | * | MAYBE
|
5.68 | * | NO
|
0.00 |
Transformed_CSR_04/Ex15_Luc06_Z
|
* | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(1))
|
1.90 | * | YES
|
0.00 |
Transformed_CSR_04/Ex15_Luc98_C
|
* | MAYBE
|
59.16 | * | MAYBE
|
58.19 | * | MAYBE
|
59.65 | * | WORST_CASE(?,O(n^1))
|
5.98 | * | NO
|
0.00 |
Transformed_CSR_04/Ex15_Luc98_FR
|
* | MAYBE
|
2.55 | * | MAYBE
|
58.13 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex15_Luc98_GM
|
* | WORST_CASE(?,O(n^1))
|
1.41 | * | WORST_CASE(?,O(n^1))
|
2.54 | * | WORST_CASE(?,O(n^1))
|
2.62 | * | WORST_CASE(?,O(n^1))
|
3.85 | * | YES
|
0.00 |
Transformed_CSR_04/Ex15_Luc98_Z
|
* | MAYBE
|
3.03 | * | MAYBE
|
58.12 | * | MAYBE
|
58.10 | * | MAYBE
|
299.81 | * | NO
|
0.00 |
Transformed_CSR_04/Ex16_Luc06_C
|
* | MAYBE
|
59.51 | * | MAYBE
|
59.23 | * | MAYBE
|
58.47 | * | WORST_CASE(?,O(n^1))
|
4.98 | * | NO
|
0.00 |
Transformed_CSR_04/Ex16_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
0.69 | * | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.53 | * | WORST_CASE(?,O(n^1))
|
4.34 | * | NO
|
0.00 |
Transformed_CSR_04/Ex16_Luc06_L
|
* | MAYBE
|
7.04 | * | MAYBE
|
7.28 | * | MAYBE
|
7.49 | * | MAYBE
|
6.01 | * | NO
|
0.00 |
Transformed_CSR_04/Ex18_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
8.84 | * | WORST_CASE(?,O(n^1))
|
4.25 | * | NO
|
0.00 |
Transformed_CSR_04/Ex18_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
4.06 | * | YES
|
0.00 |
Transformed_CSR_04/Ex18_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
3.91 | * | YES
|
0.00 |
Transformed_CSR_04/Ex18_Luc06_Z
|
* | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.03 | * | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
1.92 | * | YES
|
0.00 |
Transformed_CSR_04/Ex1_2_AEL03_C
|
* | MAYBE
|
59.63 | * | MAYBE
|
58.41 | * | MAYBE
|
58.37 | * | WORST_CASE(?,O(n^1))
|
9.91 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_2_AEL03_FR
|
* | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
1.07 | * | WORST_CASE(?,O(n^1))
|
1.47 | * | WORST_CASE(?,O(n^1))
|
12.63 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_2_AEL03_GM
|
* | TIMEOUT
|
60.00 | * | MAYBE
|
59.08 | * | MAYBE
|
59.27 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_2_AEL03_Z
|
* | WORST_CASE(?,O(n^2))
|
1.36 | * | WORST_CASE(?,O(n^2))
|
0.26 | * | WORST_CASE(?,O(n^2))
|
1.71 | * | WORST_CASE(?,O(n^2))
|
10.15 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_2_Luc02c_C
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.10 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(n^1))
|
4.57 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_2_Luc02c_FR
|
* | WORST_CASE(?,O(n^1))
|
0.15 | * | WORST_CASE(?,O(n^1))
|
0.75 | * | WORST_CASE(?,O(n^1))
|
1.46 | * | WORST_CASE(?,O(n^1))
|
9.16 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_2_Luc02c_GM
|
* | MAYBE
|
3.14 | * | MAYBE
|
58.08 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_2_Luc02c_Z
|
* | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
2.03 | * | YES
|
0.00 |
Transformed_CSR_04/Ex1_GL02a_C
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.34 | * | MAYBE
|
58.27 | * | WORST_CASE(?,O(n^1))
|
6.46 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GL02a_FR
|
* | MAYBE
|
59.89 | * | MAYBE
|
58.09 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GL02a_GM
|
* | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^2))
|
1.90 | * | WORST_CASE(?,O(n^1))
|
1.42 | * | WORST_CASE(?,O(n^1))
|
15.03 | * | YES
|
0.00 |
Transformed_CSR_04/Ex1_GL02a_L
|
* | MAYBE
|
7.07 | * | MAYBE
|
7.06 | * | MAYBE
|
7.07 | * | MAYBE
|
7.46 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GL02a_Z
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.73 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GM03_C
|
* | MAYBE
|
59.34 | * | MAYBE
|
58.18 | * | MAYBE
|
58.51 | * | WORST_CASE(?,O(n^1))
|
6.52 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GM03_FR
|
* | WORST_CASE(?,O(n^1))
|
1.65 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
9.00 | * | WORST_CASE(?,O(n^1))
|
2.43 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GM03_GM
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.28 | * | MAYBE
|
58.07 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GM03_Z
|
* | MAYBE
|
14.05 | * | MAYBE
|
40.49 | * | MAYBE
|
41.47 | * | MAYBE
|
60.94 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GM99_C
|
* | MAYBE
|
59.26 | * | MAYBE
|
58.60 | * | MAYBE
|
58.08 | * | WORST_CASE(?,O(n^1))
|
6.07 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GM99_GM
|
* | MAYBE
|
28.94 | * | MAYBE
|
58.07 | * | MAYBE
|
58.28 | * | MAYBE
|
299.97 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_GM99_L
|
* | MAYBE
|
7.04 | * | MAYBE
|
7.27 | * | MAYBE
|
7.07 | * | MAYBE
|
5.85 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Luc02b_C
|
* | MAYBE
|
59.47 | * | MAYBE
|
58.67 | * | MAYBE
|
58.68 | * | WORST_CASE(?,O(n^1))
|
7.86 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Luc02b_FR
|
* | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
5.24 | * | WORST_CASE(?,O(n^1))
|
16.01 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Luc02b_GM
|
* | MAYBE
|
9.76 | * | MAYBE
|
58.14 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Luc02b_Z
|
* | WORST_CASE(?,O(n^1))
|
0.92 | * | WORST_CASE(?,O(n^2))
|
0.79 | * | WORST_CASE(?,O(n^1))
|
0.94 | * | WORST_CASE(?,O(n^2))
|
6.71 | * | YES
|
0.00 |
Transformed_CSR_04/Ex1_Luc04b_C
|
* | WORST_CASE(?,O(n^1))
|
1.84 | * | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
3.64 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Luc04b_FR
|
* | MAYBE
|
17.50 | * | MAYBE
|
58.24 | * | MAYBE
|
58.49 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Luc04b_GM
|
* | MAYBE
|
14.03 | * | MAYBE
|
58.53 | * | MAYBE
|
58.40 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Luc04b_Z
|
* | MAYBE
|
7.06 | * | MAYBE
|
58.13 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Zan97_C
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
6.81 | * | WORST_CASE(?,O(n^1))
|
5.20 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Zan97_FR
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.07 | * | MAYBE
|
58.07 | * | MAYBE
|
9.24 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Zan97_GM
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
1.25 | * | WORST_CASE(?,O(1))
|
2.28 | * | NO
|
0.00 |
Transformed_CSR_04/Ex1_Zan97_L
|
* | MAYBE
|
7.04 | * | MAYBE
|
9.19 | * | MAYBE
|
9.98 | * | MAYBE
|
6.44 | * | NO
|
0.00 |
Transformed_CSR_04/Ex23_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
8.15 | * | WORST_CASE(?,O(n^1))
|
4.51 | * | NO
|
0.00 |
Transformed_CSR_04/Ex23_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
1.25 | * | WORST_CASE(?,O(n^1))
|
0.87 | * | WORST_CASE(?,O(n^1))
|
4.78 | * | YES
|
0.00 |
Transformed_CSR_04/Ex23_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.52 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
4.51 | * | YES
|
0.00 |
Transformed_CSR_04/Ex23_Luc06_Z
|
* | WORST_CASE(?,O(1))
|
0.03 | * | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.34 | * | WORST_CASE(?,O(1))
|
1.95 | * | YES
|
0.00 |
Transformed_CSR_04/Ex24_GM04_C
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.11 | * | MAYBE
|
58.09 | * | WORST_CASE(?,O(n^1))
|
5.53 | * | NO
|
0.00 |
Transformed_CSR_04/Ex24_GM04_FR
|
* | MAYBE
|
3.52 | * | MAYBE
|
39.76 | * | MAYBE
|
40.37 | * | WORST_CASE(?,O(n^1))
|
299.84 | * | NO
|
0.00 |
Transformed_CSR_04/Ex24_GM04_GM
|
* | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
5.47 | * | NO
|
0.00 |
Transformed_CSR_04/Ex24_GM04_L
|
* | MAYBE
|
7.05 | * | MAYBE
|
7.05 | * | MAYBE
|
7.04 | * | MAYBE
|
5.75 | * | NO
|
0.00 |
Transformed_CSR_04/Ex24_GM04_Z
|
* | MAYBE
|
1.25 | * | MAYBE
|
38.83 | * | MAYBE
|
39.00 | * | WORST_CASE(?,O(1))
|
2.32 | * | NO
|
0.00 |
Transformed_CSR_04/Ex24_Luc06_C
|
* | MAYBE
|
59.35 | * | WORST_CASE(?,O(n^4))
|
45.50 | * | WORST_CASE(?,O(n^5))
|
46.41 | * | WORST_CASE(?,O(n^1))
|
5.25 | * | NO
|
0.00 |
Transformed_CSR_04/Ex24_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.44 | * | WORST_CASE(?,O(n^1))
|
0.92 | * | WORST_CASE(?,O(n^1))
|
5.70 | * | NO
|
0.00 |
Transformed_CSR_04/Ex24_Luc06_L
|
* | MAYBE
|
7.86 | * | MAYBE
|
7.48 | * | MAYBE
|
8.29 | * | MAYBE
|
5.89 | * | NO
|
0.00 |
Transformed_CSR_04/Ex25_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
1.84 | * | WORST_CASE(?,O(n^1))
|
4.91 | * | NO
|
0.00 |
Transformed_CSR_04/Ex25_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
6.14 | * | YES
|
0.00 |
Transformed_CSR_04/Ex25_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.75 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^1))
|
5.83 | * | YES
|
0.00 |
Transformed_CSR_04/Ex25_Luc06_Z
|
* | WORST_CASE(?,O(1))
|
0.06 | * | WORST_CASE(?,O(1))
|
0.15 | * | WORST_CASE(?,O(1))
|
0.83 | * | WORST_CASE(?,O(1))
|
1.86 | * | YES
|
0.00 |
Transformed_CSR_04/Ex26_Luc03b_C
|
* | MAYBE
|
59.88 | * | MAYBE
|
59.26 | * | MAYBE
|
59.02 | * | WORST_CASE(?,O(n^1))
|
5.09 | * | NO
|
0.00 |
Transformed_CSR_04/Ex26_Luc03b_FR
|
* | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
1.57 | * | WORST_CASE(?,O(n^1))
|
15.27 | * | NO
|
0.00 |
Transformed_CSR_04/Ex26_Luc03b_GM
|
* | WORST_CASE(?,O(n^2))
|
6.70 | * | WORST_CASE(?,O(n^3))
|
12.01 | * | WORST_CASE(?,O(n^3))
|
25.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex26_Luc03b_L
|
* | WORST_CASE(?,O(1))
|
0.86 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(1))
|
0.38 | * | WORST_CASE(?,O(1))
|
1.92 | * | YES
|
0.00 |
Transformed_CSR_04/Ex26_Luc03b_Z
|
* | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.10 | * | WORST_CASE(?,O(1))
|
0.48 | * | WORST_CASE(?,O(1))
|
1.97 | * | NO
|
0.00 |
Transformed_CSR_04/Ex2_Luc02a_C
|
* | MAYBE
|
59.72 | * | MAYBE
|
58.96 | * | MAYBE
|
59.55 | * | WORST_CASE(?,O(n^1))
|
5.32 | * | NO
|
0.00 |
Transformed_CSR_04/Ex2_Luc02a_FR
|
* | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
12.93 | * | NO
|
0.00 |
Transformed_CSR_04/Ex2_Luc02a_GM
|
* | MAYBE
|
59.71 | * | MAYBE
|
58.56 | * | MAYBE
|
58.46 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex2_Luc02a_L
|
* | WORST_CASE(?,O(n^3))
|
3.21 | * | WORST_CASE(?,O(n^3))
|
3.90 | * | WORST_CASE(?,O(n^3))
|
1.45 | * | WORST_CASE(?,O(n^3))
|
299.99 | * | YES
|
0.00 |
Transformed_CSR_04/Ex2_Luc02a_Z
|
* | WORST_CASE(?,O(n^3))
|
4.95 | * | WORST_CASE(?,O(n^3))
|
5.37 | * | WORST_CASE(?,O(n^3))
|
2.67 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | YES
|
0.00 |
Transformed_CSR_04/Ex2_Luc03b_C
|
* | MAYBE
|
59.64 | * | MAYBE
|
59.95 | * | MAYBE
|
58.54 | * | WORST_CASE(?,O(n^1))
|
6.19 | * | NO
|
0.00 |
Transformed_CSR_04/Ex2_Luc03b_FR
|
* | WORST_CASE(?,O(n^3))
|
3.81 | * | MAYBE
|
58.10 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex2_Luc03b_GM
|
* | WORST_CASE(?,O(n^2))
|
3.25 | * | WORST_CASE(?,O(n^3))
|
5.34 | * | WORST_CASE(?,O(n^3))
|
15.66 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex2_Luc03b_L
|
* | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
1.95 | * | YES
|
0.00 |
Transformed_CSR_04/Ex2_Luc03b_Z
|
* | WORST_CASE(?,O(n^1))
|
0.78 | * | WORST_CASE(?,O(n^1))
|
1.37 | * | WORST_CASE(?,O(n^1))
|
0.80 | * | WORST_CASE(?,O(n^1))
|
11.61 | * | YES
|
0.00 |
Transformed_CSR_04/Ex3_12_Luc96a_C
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.22 | * | MAYBE
|
58.36 | * | WORST_CASE(?,O(n^1))
|
6.38 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_12_Luc96a_FR
|
* | WORST_CASE(?,O(n^1))
|
0.36 | * | WORST_CASE(?,O(n^1))
|
1.07 | * | WORST_CASE(?,O(n^1))
|
8.81 | * | WORST_CASE(?,O(n^1))
|
8.06 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_12_Luc96a_GM
|
* | MAYBE
|
5.73 | * | MAYBE
|
58.29 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_12_Luc96a_Z
|
* | WORST_CASE(?,O(n^1))
|
0.17 | * | WORST_CASE(?,O(n^1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | WORST_CASE(?,O(n^1))
|
4.99 | * | YES
|
0.00 |
Transformed_CSR_04/Ex3_2_Luc97_C
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.25 | * | MAYBE
|
58.94 | * | WORST_CASE(?,O(n^1))
|
6.83 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_2_Luc97_FR
|
* | MAYBE
|
7.09 | * | MAYBE
|
58.14 | * | MAYBE
|
58.59 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_2_Luc97_GM
|
* | MAYBE
|
4.86 | * | MAYBE
|
58.12 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_2_Luc97_Z
|
* | MAYBE
|
2.94 | * | MAYBE
|
58.55 | * | MAYBE
|
58.15 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_C
|
* | TIMEOUT
|
60.00 | * | TIMEOUT
|
60.06 | * | MAYBE
|
58.59 | * | WORST_CASE(?,O(n^1))
|
7.40 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_FR
|
* | MAYBE
|
4.14 | * | MAYBE
|
58.16 | * | MAYBE
|
58.57 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_GM
|
* | WORST_CASE(?,O(n^2))
|
9.70 | * | WORST_CASE(?,O(n^3))
|
8.58 | * | WORST_CASE(?,O(n^3))
|
16.86 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_L
|
* | WORST_CASE(?,O(1))
|
0.47 | * | WORST_CASE(?,O(1))
|
0.47 | * | WORST_CASE(?,O(1))
|
0.23 | * | WORST_CASE(?,O(1))
|
1.91 | * | NO
|
0.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_Z
|
* | MAYBE
|
2.15 | * | MAYBE
|
58.09 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex49_GM04_C
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.18 | * | MAYBE
|
58.21 | * | WORST_CASE(?,O(n^1))
|
6.84 | * | NO
|
0.00 |
Transformed_CSR_04/Ex49_GM04_FR
|
* | WORST_CASE(?,O(n^2))
|
2.33 | * | MAYBE
|
58.17 | * | MAYBE
|
58.94 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex49_GM04_GM
|
* | WORST_CASE(?,O(n^1))
|
7.24 | * | WORST_CASE(?,O(n^3))
|
10.82 | * | WORST_CASE(?,O(n^3))
|
8.37 | * | TIMEOUT
|
300.00 | * | YES
|
0.00 |
Transformed_CSR_04/Ex49_GM04_Z
|
* | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.53 | * | WORST_CASE(?,O(n^1))
|
1.14 | * | WORST_CASE(?,O(n^1))
|
10.16 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_4_Luc96b_C
|
* | WORST_CASE(?,O(n^2))
|
26.64 | * | WORST_CASE(?,O(n^3))
|
12.18 | * | WORST_CASE(?,O(n^3))
|
9.40 | * | WORST_CASE(?,O(n^1))
|
4.40 | * | YES
|
0.00 |
Transformed_CSR_04/Ex4_4_Luc96b_FR
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.38 | * | WORST_CASE(?,O(n^1))
|
0.70 | * | WORST_CASE(?,O(n^1))
|
4.84 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_4_Luc96b_GM
|
* | WORST_CASE(?,O(n^2))
|
8.58 | * | WORST_CASE(?,O(n^3))
|
1.79 | * | WORST_CASE(?,O(n^3))
|
19.33 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_4_Luc96b_L
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.89 | * | WORST_CASE(?,O(n^1))
|
2.72 | * | YES
|
0.00 |
Transformed_CSR_04/Ex4_4_Luc96b_Z
|
* | MAYBE
|
3.11 | * | MAYBE
|
58.97 | * | MAYBE
|
59.54 | * | MAYBE
|
233.49 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_15_Bor03_C
|
* | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
4.53 | * | WORST_CASE(?,O(n^1))
|
5.26 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_15_Bor03_FR
|
* | WORST_CASE(?,O(n^1))
|
0.89 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.51 | * | WORST_CASE(?,O(n^1))
|
4.93 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_15_Bor03_GM
|
* | WORST_CASE(?,O(n^1))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
0.70 | * | WORST_CASE(?,O(n^1))
|
1.18 | * | WORST_CASE(?,O(n^1))
|
6.45 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_15_Bor03_L
|
* | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(1))
|
2.26 | * | YES
|
0.00 |
Transformed_CSR_04/Ex4_7_15_Bor03_Z
|
* | WORST_CASE(?,O(n^1))
|
1.08 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(1))
|
2.38 | * | YES
|
0.00 |
Transformed_CSR_04/Ex4_7_37_Bor03_C
|
* | MAYBE
|
59.51 | * | MAYBE
|
58.53 | * | MAYBE
|
59.18 | * | WORST_CASE(?,O(n^1))
|
8.17 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_37_Bor03_FR
|
* | MAYBE
|
3.48 | * | MAYBE
|
58.40 | * | MAYBE
|
58.51 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_37_Bor03_GM
|
* | MAYBE
|
59.57 | * | MAYBE
|
58.37 | * | MAYBE
|
58.56 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_37_Bor03_Z
|
* | MAYBE
|
59.05 | * | MAYBE
|
58.18 | * | MAYBE
|
58.29 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_C
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.31 | * | MAYBE
|
58.21 | * | WORST_CASE(?,O(n^1))
|
6.57 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_FR
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
10.14 | * | WORST_CASE(?,O(n^1))
|
7.95 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_GM
|
* | MAYBE
|
5.39 | * | MAYBE
|
58.27 | * | MAYBE
|
58.06 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_Z
|
* | WORST_CASE(?,O(n^1))
|
1.02 | * | WORST_CASE(?,O(n^1))
|
0.53 | * | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
4.90 | * | YES
|
0.00 |
Transformed_CSR_04/Ex4_7_77_Bor03_C
|
* | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
1.05 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_7_77_Bor03_FR
|
* | WORST_CASE(?,O(1))
|
0.25 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
0.69 | * | WORST_CASE(?,O(1))
|
1.89 | * | YES
|
0.00 |
Transformed_CSR_04/Ex4_7_77_Bor03_GM
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.60 | * | WORST_CASE(?,O(n^1))
|
299.81 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_DLMMU04_C
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.78 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_DLMMU04_FR
|
* | MAYBE
|
39.23 | * | MAYBE
|
58.13 | * | MAYBE
|
58.39 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_DLMMU04_GM
|
* | TIMEOUT
|
60.00 | * | MAYBE
|
59.49 | * | MAYBE
|
58.43 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_DLMMU04_Z
|
* | MAYBE
|
22.54 | * | MAYBE
|
58.11 | * | MAYBE
|
58.71 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_Zan97_C
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.88 | * | MAYBE
|
58.32 | * | WORST_CASE(?,O(n^1))
|
7.08 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_Zan97_FR
|
* | MAYBE
|
44.34 | * | MAYBE
|
58.67 | * | MAYBE
|
58.06 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_Zan97_GM
|
* | MAYBE
|
10.13 | * | MAYBE
|
58.12 | * | MAYBE
|
58.32 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex4_Zan97_Z
|
* | MAYBE
|
11.86 | * | MAYBE
|
58.13 | * | MAYBE
|
58.14 | * | EXP
|
299.82 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_7_Luc97_C
|
* | MAYBE
|
59.63 | * | MAYBE
|
58.55 | * | MAYBE
|
59.26 | * | WORST_CASE(?,O(n^1))
|
9.52 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_7_Luc97_FR
|
* | MAYBE
|
5.79 | * | MAYBE
|
58.33 | * | MAYBE
|
58.51 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_7_Luc97_GM
|
* | MAYBE
|
59.79 | * | MAYBE
|
58.67 | * | MAYBE
|
58.67 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_7_Luc97_Z
|
* | MAYBE
|
3.58 | * | MAYBE
|
58.17 | * | MAYBE
|
58.79 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_DLMMU04_C
|
* | MAYBE
|
59.43 | * | MAYBE
|
58.47 | * | MAYBE
|
59.59 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_DLMMU04_FR
|
* | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
1.46 | * | WORST_CASE(?,O(n^1))
|
5.54 | * | WORST_CASE(?,O(n^1))
|
12.44 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_DLMMU04_GM
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.57 | * | MAYBE
|
58.78 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_DLMMU04_Z
|
* | MAYBE
|
8.28 | * | MAYBE
|
58.13 | * | MAYBE
|
58.33 | * | MAYBE
|
10.45 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_Zan97_C
|
* | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.87 | * | WORST_CASE(?,O(n^1))
|
2.99 | * | WORST_CASE(?,O(n^1))
|
6.13 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_Zan97_FR
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
8.42 | * | WORST_CASE(?,O(n^1))
|
2.69 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_Zan97_GM
|
* | MAYBE
|
7.07 | * | MAYBE
|
58.13 | * | MAYBE
|
58.31 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex5_Zan97_Z
|
* | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
0.09 | * | WORST_CASE(?,O(n^1))
|
2.26 | * | WORST_CASE(?,O(1))
|
2.62 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_15_AEL02_C
|
* | MAYBE
|
59.76 | * | MAYBE
|
58.32 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^1))
|
9.51 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_15_AEL02_FR
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.95 | * | MAYBE
|
58.45 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_15_AEL02_GM
|
* | MAYBE
|
59.57 | * | MAYBE
|
58.71 | * | MAYBE
|
59.17 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_15_AEL02_Z
|
* | MAYBE
|
53.20 | * | MAYBE
|
58.25 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_9_Luc02c_C
|
* | MAYBE
|
59.18 | * | MAYBE
|
58.14 | * | WORST_CASE(?,O(n^6))
|
46.97 | * | WORST_CASE(?,O(n^1))
|
5.11 | * | YES
|
0.00 |
Transformed_CSR_04/Ex6_9_Luc02c_FR
|
* | WORST_CASE(?,O(n^1))
|
0.43 | * | WORST_CASE(?,O(n^1))
|
1.00 | * | WORST_CASE(?,O(n^1))
|
0.99 | * | WORST_CASE(?,O(n^1))
|
10.19 | * | YES
|
0.00 |
Transformed_CSR_04/Ex6_9_Luc02c_GM
|
* | MAYBE
|
4.82 | * | MAYBE
|
58.74 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_9_Luc02c_Z
|
* | WORST_CASE(?,O(1))
|
0.08 | * | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(1))
|
0.96 | * | WORST_CASE(?,O(1))
|
1.88 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_GM04_C
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(n^1))
|
0.93 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_GM04_FR
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.50 | * | TIMEOUT
|
60.00 | * | MAYBE
|
9.23 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_GM04_GM
|
* | WORST_CASE(?,O(1))
|
0.26 | * | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
0.78 | * | WORST_CASE(?,O(1))
|
1.89 | * | YES
|
0.00 |
Transformed_CSR_04/Ex6_Luc98_C
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.80 | * | MAYBE
|
58.15 | * | WORST_CASE(?,O(n^1))
|
6.75 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_Luc98_FR
|
* | WORST_CASE(?,O(n^1))
|
0.33 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
8.84 | * | WORST_CASE(?,O(n^1))
|
15.08 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_Luc98_GM
|
* | WORST_CASE(?,O(n^2))
|
3.32 | * | WORST_CASE(?,O(n^3))
|
6.17 | * | WORST_CASE(?,O(n^3))
|
14.61 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_Luc98_L
|
* | WORST_CASE(?,O(1))
|
2.27 | * | WORST_CASE(?,O(1))
|
0.04 | * | WORST_CASE(?,O(1))
|
0.59 | * | WORST_CASE(?,O(1))
|
2.03 | * | NO
|
0.00 |
Transformed_CSR_04/Ex6_Luc98_Z
|
* | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
0.91 | * | WORST_CASE(?,O(n^1))
|
4.92 | * | YES
|
0.00 |
Transformed_CSR_04/Ex7_BLR02_C
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.79 | * | MAYBE
|
58.36 | * | WORST_CASE(?,O(n^1))
|
6.97 | * | NO
|
0.00 |
Transformed_CSR_04/Ex7_BLR02_FR
|
* | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
10.55 | * | WORST_CASE(?,O(n^1))
|
18.40 | * | NO
|
0.00 |
Transformed_CSR_04/Ex7_BLR02_GM
|
* | TIMEOUT
|
60.00 | * | MAYBE
|
58.54 | * | MAYBE
|
58.73 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex7_BLR02_Z
|
* | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^2))
|
1.66 | * | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^2))
|
8.32 | * | YES
|
0.00 |
Transformed_CSR_04/Ex8_BLR02_C
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
59.10 | * | MAYBE
|
58.48 | * | WORST_CASE(?,O(n^1))
|
6.13 | * | NO
|
0.00 |
Transformed_CSR_04/Ex8_BLR02_FR
|
* | MAYBE
|
7.27 | * | MAYBE
|
58.11 | * | MAYBE
|
58.17 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex8_BLR02_GM
|
* | TIMEOUT
|
60.03 | * | MAYBE
|
58.32 | * | MAYBE
|
58.49 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex8_BLR02_Z
|
* | MAYBE
|
7.21 | * | MAYBE
|
58.13 | * | MAYBE
|
59.69 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_BLR02_C
|
* | MAYBE
|
59.67 | * | TIMEOUT
|
60.06 | * | MAYBE
|
59.31 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_BLR02_FR
|
* | MAYBE
|
3.27 | * | MAYBE
|
58.10 | * | MAYBE
|
58.51 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_BLR02_GM
|
* | WORST_CASE(?,O(n^2))
|
4.78 | * | MAYBE
|
58.14 | * | MAYBE
|
58.51 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_BLR02_L
|
* | WORST_CASE(?,O(1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.77 | * | WORST_CASE(?,O(1))
|
0.34 | * | WORST_CASE(?,O(1))
|
1.94 | * | YES
|
0.00 |
Transformed_CSR_04/Ex9_BLR02_Z
|
* | MAYBE
|
27.56 | * | MAYBE
|
58.06 | * | MAYBE
|
58.29 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_Luc04_C
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.10 | * | MAYBE
|
58.70 | * | WORST_CASE(?,O(n^1))
|
6.41 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_Luc04_GM
|
* | MAYBE
|
4.45 | * | MAYBE
|
58.89 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_Luc04_L
|
* | MAYBE
|
0.47 | * | MAYBE
|
4.33 | * | MAYBE
|
4.37 | * | MAYBE
|
4.69 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_Luc06_C
|
* | MAYBE
|
59.09 | * | WORST_CASE(?,O(n^5))
|
13.60 | * | WORST_CASE(?,O(n^5))
|
13.33 | * | WORST_CASE(?,O(n^1))
|
5.21 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_Luc06_FR
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.32 | * | MAYBE
|
58.06 | * | MAYBE
|
121.91 | * | NO
|
0.00 |
Transformed_CSR_04/Ex9_Luc06_GM
|
* | WORST_CASE(?,O(n^1))
|
1.05 | * | WORST_CASE(?,O(n^2))
|
0.64 | * | WORST_CASE(?,O(n^2))
|
0.80 | * | WORST_CASE(?,O(n^1))
|
5.98 | * | NO
|
0.00 |
Transformed_CSR_04/ExAppendixB_AEL03_C
|
* | MAYBE
|
59.35 | * | MAYBE
|
58.95 | * | MAYBE
|
58.89 | * | WORST_CASE(?,O(n^1))
|
9.86 | * | NO
|
0.00 |
Transformed_CSR_04/ExAppendixB_AEL03_FR
|
* | WORST_CASE(?,O(n^1))
|
1.03 | * | WORST_CASE(?,O(n^1))
|
0.58 | * | WORST_CASE(?,O(n^1))
|
0.75 | * | WORST_CASE(?,O(n^1))
|
10.58 | * | NO
|
0.00 |
Transformed_CSR_04/ExAppendixB_AEL03_GM
|
* | MAYBE
|
59.42 | * | MAYBE
|
58.52 | * | MAYBE
|
58.42 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExAppendixB_AEL03_Z
|
* | WORST_CASE(?,O(n^2))
|
1.93 | * | WORST_CASE(?,O(n^2))
|
3.00 | * | WORST_CASE(?,O(n^2))
|
10.09 | * | WORST_CASE(?,O(n^2))
|
16.71 | * | NO
|
0.00 |
Transformed_CSR_04/ExConc_Zan97_C
|
* | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
1.41 | * | WORST_CASE(?,O(n^1))
|
4.94 | * | NO
|
0.00 |
Transformed_CSR_04/ExConc_Zan97_FR
|
* | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
0.48 | * | WORST_CASE(?,O(n^1))
|
4.53 | * | YES
|
0.00 |
Transformed_CSR_04/ExConc_Zan97_GM
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.16 | * | WORST_CASE(?,O(n^1))
|
4.06 | * | YES
|
0.00 |
Transformed_CSR_04/ExConc_Zan97_Z
|
* | MAYBE
|
7.04 | * | MAYBE
|
58.93 | * | MAYBE
|
58.34 | * | MAYBE
|
7.37 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM01_C
|
* | WORST_CASE(?,O(n^1))
|
1.11 | * | WORST_CASE(?,O(n^1))
|
1.07 | * | WORST_CASE(?,O(n^1))
|
4.52 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM01_FR
|
* | MAYBE
|
8.41 | * | MAYBE
|
58.09 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM01_GM
|
* | MAYBE
|
59.37 | * | MAYBE
|
58.13 | * | MAYBE
|
59.34 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM01_Z
|
* | MAYBE
|
15.92 | * | MAYBE
|
58.06 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM04_C
|
* | WORST_CASE(?,O(n^1))
|
0.75 | * | WORST_CASE(?,O(n^1))
|
1.43 | * | WORST_CASE(?,O(n^1))
|
8.89 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM04_FR
|
* | MAYBE
|
7.06 | * | MAYBE
|
58.09 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM04_GM
|
* | WORST_CASE(?,O(n^3))
|
11.43 | * | WORST_CASE(?,O(n^3))
|
24.50 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM04_Z
|
* | MAYBE
|
10.96 | * | MAYBE
|
58.31 | * | MAYBE
|
58.92 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM99_C
|
* | MAYBE
|
59.68 | * | MAYBE
|
58.43 | * | MAYBE
|
58.36 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM99_FR
|
* | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
11.51 | * | WORST_CASE(?,O(n^1))
|
17.21 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM99_GM
|
* | MAYBE
|
59.79 | * | MAYBE
|
58.84 | * | MAYBE
|
58.63 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_GM99_Z
|
* | WORST_CASE(?,O(1))
|
0.29 | * | WORST_CASE(?,O(1))
|
0.13 | * | WORST_CASE(?,O(1))
|
1.12 | * | WORST_CASE(?,O(1))
|
2.08 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_Zan97_C
|
* | TIMEOUT
|
60.00 | * | MAYBE
|
58.54 | * | MAYBE
|
58.40 | * | WORST_CASE(?,O(n^1))
|
4.53 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_Zan97_FR
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
1.13 | * | WORST_CASE(?,O(n^1))
|
2.56 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_Zan97_GM
|
* | MAYBE
|
59.71 | * | MAYBE
|
58.45 | * | MAYBE
|
58.57 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExIntrod_Zan97_Z
|
* | MAYBE
|
2.81 | * | MAYBE
|
58.13 | * | MAYBE
|
59.74 | * | MAYBE
|
61.66 | * | NO
|
0.00 |
Transformed_CSR_04/ExProp7_Luc06_C
|
* | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
4.05 | * | WORST_CASE(?,O(n^1))
|
5.36 | * | NO
|
0.00 |
Transformed_CSR_04/ExProp7_Luc06_FR
|
* | WORST_CASE(?,O(n^1))
|
0.95 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
4.86 | * | NO
|
0.00 |
Transformed_CSR_04/ExProp7_Luc06_GM
|
* | MAYBE
|
58.57 | * | MAYBE
|
58.52 | * | MAYBE
|
58.91 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExProp7_Luc06_L
|
* | WORST_CASE(?,O(n^1))
|
0.10 | * | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
2.69 | * | WORST_CASE(?,O(1))
|
2.31 | * | NO
|
0.00 |
Transformed_CSR_04/ExProp7_Luc06_Z
|
* | WORST_CASE(?,O(n^1))
|
0.90 | * | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
0.42 | * | WORST_CASE(?,O(1))
|
2.38 | * | NO
|
0.00 |
Transformed_CSR_04/ExSec11_1_Luc02a_C
|
* | MAYBE
|
59.76 | * | MAYBE
|
58.85 | * | MAYBE
|
58.59 | * | WORST_CASE(?,O(n^1))
|
5.40 | * | NO
|
0.00 |
Transformed_CSR_04/ExSec11_1_Luc02a_FR
|
* | WORST_CASE(?,O(n^1))
|
0.20 | * | WORST_CASE(?,O(n^1))
|
0.30 | * | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
13.28 | * | NO
|
0.00 |
Transformed_CSR_04/ExSec11_1_Luc02a_GM
|
* | MAYBE
|
59.52 | * | MAYBE
|
59.13 | * | MAYBE
|
58.62 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExSec11_1_Luc02a_L
|
* | WORST_CASE(?,O(n^3))
|
3.36 | * | WORST_CASE(?,O(n^3))
|
4.27 | * | WORST_CASE(?,O(n^3))
|
1.86 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | YES
|
0.00 |
Transformed_CSR_04/ExSec11_1_Luc02a_Z
|
* | WORST_CASE(?,O(n^3))
|
5.40 | * | WORST_CASE(?,O(n^3))
|
5.75 | * | WORST_CASE(?,O(n^3))
|
2.55 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | YES
|
0.00 |
Transformed_CSR_04/ExSec4_2_DLMMU04_C
|
* | TIMEOUT
|
60.01 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^1))
|
10.05 | * | NO
|
0.00 |
Transformed_CSR_04/ExSec4_2_DLMMU04_FR
|
* | WORST_CASE(?,O(n^1))
|
0.88 | * | WORST_CASE(?,O(n^1))
|
0.95 | * | WORST_CASE(?,O(n^1))
|
1.08 | * | WORST_CASE(?,O(n^1))
|
14.92 | * | NO
|
0.00 |
Transformed_CSR_04/ExSec4_2_DLMMU04_GM
|
* | MAYBE
|
59.42 | * | MAYBE
|
58.50 | * | MAYBE
|
58.57 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/ExSec4_2_DLMMU04_Z
|
* | WORST_CASE(?,O(n^1))
|
1.38 | * | WORST_CASE(?,O(n^1))
|
0.32 | * | WORST_CASE(?,O(n^1))
|
0.81 | * | WORST_CASE(?,O(n^1))
|
18.09 | * | YES
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.16 | * | MAYBE
|
58.56 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.30 | * | MAYBE
|
58.41 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete_C
|
* | MAYBE
|
59.35 | * | MAYBE
|
58.19 | * | MAYBE
|
58.37 | * | WORST_CASE(?,O(n^1))
|
27.30 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete_FR
|
* | MAYBE
|
59.94 | * | MAYBE
|
58.09 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete_GM
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.09 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete_Z
|
* | MAYBE
|
59.34 | * | MAYBE
|
58.16 | * | MAYBE
|
58.40 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_C
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.20 | * | MAYBE
|
58.21 | * | WORST_CASE(?,O(n^1))
|
133.46 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM
|
* | MAYBE
|
59.41 | * | MAYBE
|
58.29 | * | MAYBE
|
58.43 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR
|
* | MAYBE
|
59.33 | * | MAYBE
|
58.33 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.10 | * | MAYBE
|
58.51 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds_C
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.27 | * | MAYBE
|
58.17 | * | WORST_CASE(?,O(n^1))
|
12.39 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds_FR
|
* | MAYBE
|
59.28 | * | MAYBE
|
58.66 | * | MAYBE
|
58.42 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds_GM
|
* | MAYBE
|
59.38 | * | MAYBE
|
58.55 | * | MAYBE
|
58.51 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds_Z
|
* | MAYBE
|
59.36 | * | MAYBE
|
58.35 | * | MAYBE
|
58.99 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C
|
* | MAYBE
|
59.32 | * | MAYBE
|
58.17 | * | MAYBE
|
58.59 | * | WORST_CASE(?,O(n^1))
|
24.96 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.17 | * | MAYBE
|
58.75 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.18 | * | MAYBE
|
58.40 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z
|
* | WORST_CASE(?,O(n^1))
|
2.24 | * | WORST_CASE(?,O(n^1))
|
3.10 | * | WORST_CASE(?,O(n^1))
|
7.05 | * | WORST_CASE(?,O(n^1))
|
252.50 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_C
|
* | MAYBE
|
59.41 | * | MAYBE
|
58.30 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^1))
|
11.65 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_FR
|
* | WORST_CASE(?,O(n^1))
|
1.56 | * | WORST_CASE(?,O(n^1))
|
1.60 | * | WORST_CASE(?,O(n^1))
|
13.09 | * | WORST_CASE(?,O(n^1))
|
19.59 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_GM
|
* | MAYBE
|
59.36 | * | MAYBE
|
59.21 | * | MAYBE
|
58.54 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_Z
|
* | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
2.02 | * | WORST_CASE(?,O(n^1))
|
6.49 | * | WORST_CASE(?,O(n^1))
|
35.45 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.34 | * | MAYBE
|
59.92 | * | WORST_CASE(?,O(n^1))
|
15.83 | * | NO
|
0.00 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM
|
* | MAYBE
|
59.99 | * | MAYBE
|
58.64 | * | MAYBE
|
58.40 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.09 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z
|
* | MAYBE
|
59.92 | * | MAYBE
|
58.91 | * | MAYBE
|
58.53 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete_C
|
* | MAYBE
|
59.52 | * | MAYBE
|
58.52 | * | MAYBE
|
58.56 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete_FR
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.69 | * | MAYBE
|
58.33 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete_GM
|
* | MAYBE
|
59.79 | * | MAYBE
|
58.81 | * | MAYBE
|
58.42 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete_Z
|
* | MAYBE
|
59.49 | * | MAYBE
|
58.99 | * | MAYBE
|
59.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C
|
* | MAYBE
|
59.15 | * | MAYBE
|
58.51 | * | MAYBE
|
58.13 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM
|
* | MAYBE
|
59.32 | * | MAYBE
|
58.96 | * | MAYBE
|
58.18 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR
|
* | MAYBE
|
59.75 | * | MAYBE
|
58.33 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.10 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.45 | * | MAYBE
|
58.63 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR
|
* | MAYBE
|
45.05 | * | MAYBE
|
58.52 | * | MAYBE
|
58.76 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM
|
* | WORST_CASE(?,O(n^4))
|
41.03 | * | MAYBE
|
58.29 | * | MAYBE
|
58.58 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z
|
* | MAYBE
|
12.94 | * | MAYBE
|
58.78 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C
|
* | MAYBE
|
59.84 | * | MAYBE
|
58.52 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM
|
* | WORST_CASE(?,O(n^3))
|
34.37 | * | MAYBE
|
58.82 | * | MAYBE
|
58.68 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR
|
* | MAYBE
|
51.27 | * | MAYBE
|
58.29 | * | MAYBE
|
58.51 | * | MAYBE
|
299.87 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C
|
* | WORST_CASE(?,O(n^1))
|
0.65 | * | WORST_CASE(?,O(n^1))
|
0.76 | * | WORST_CASE(?,O(n^1))
|
3.82 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.12 | * | MAYBE
|
58.26 | * | MAYBE
|
71.98 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM
|
* | MAYBE
|
33.71 | * | MAYBE
|
58.10 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C
|
* | WORST_CASE(?,O(n^1))
|
0.24 | * | WORST_CASE(?,O(n^1))
|
0.45 | * | WORST_CASE(?,O(n^1))
|
8.96 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM
|
* | MAYBE
|
33.98 | * | MAYBE
|
58.11 | * | MAYBE
|
58.51 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_complete-noand_FR
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.09 | * | MAYBE
|
58.76 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_complete-noand_Z
|
* | MAYBE
|
59.53 | * | WORST_CASE(?,O(n^2))
|
52.56 | * | WORST_CASE(?,O(n^2))
|
54.51 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_complete_C
|
* | MAYBE
|
59.54 | * | MAYBE
|
58.20 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^1))
|
9.52 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_complete_FR
|
* | TIMEOUT
|
60.06 | * | TIMEOUT
|
60.02 | * | MAYBE
|
58.45 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_complete_GM
|
* | MAYBE
|
59.80 | * | MAYBE
|
58.44 | * | MAYBE
|
58.79 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_complete_Z
|
* | MAYBE
|
59.34 | * | MAYBE
|
58.38 | * | MAYBE
|
58.53 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_complete_noand_C
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.46 | * | MAYBE
|
59.32 | * | WORST_CASE(?,O(n^1))
|
17.25 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_complete_noand_GM
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.92 | * | MAYBE
|
58.31 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nokinds-noand_FR
|
* | WORST_CASE(?,O(n^2))
|
19.01 | * | WORST_CASE(?,O(n^2))
|
27.58 | * | WORST_CASE(?,O(n^2))
|
25.94 | * | WORST_CASE(?,O(n^2))
|
8.71 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nokinds-noand_Z
|
* | WORST_CASE(?,O(n^1))
|
2.17 | * | WORST_CASE(?,O(n^1))
|
4.16 | * | WORST_CASE(?,O(n^1))
|
2.97 | * | WORST_CASE(?,O(n^1))
|
8.64 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nokinds_C
|
* | MAYBE
|
59.57 | * | TIMEOUT
|
60.06 | * | MAYBE
|
59.48 | * | WORST_CASE(?,O(n^1))
|
5.02 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nokinds_FR
|
* | WORST_CASE(?,O(n^2))
|
9.51 | * | MAYBE
|
58.10 | * | MAYBE
|
58.28 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nokinds_GM
|
* | MAYBE
|
59.45 | * | MAYBE
|
58.56 | * | MAYBE
|
58.50 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nokinds_Z
|
* | WORST_CASE(?,O(n^1))
|
1.41 | * | WORST_CASE(?,O(n^1))
|
3.72 | * | WORST_CASE(?,O(n^1))
|
4.22 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nokinds_noand_C
|
* | MAYBE
|
59.30 | * | MAYBE
|
58.39 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^1))
|
7.90 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nokinds_noand_GM
|
* | MAYBE
|
59.90 | * | TIMEOUT
|
60.02 | * | TIMEOUT
|
60.06 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nosorts-noand_FR
|
* | WORST_CASE(?,O(n^2))
|
1.79 | * | WORST_CASE(?,O(n^2))
|
1.47 | * | WORST_CASE(?,O(n^2))
|
1.44 | * | WORST_CASE(?,O(n^2))
|
9.92 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nosorts_C
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.72 | * | MAYBE
|
58.09 | * | WORST_CASE(?,O(n^1))
|
6.18 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nosorts_FR
|
* | WORST_CASE(?,O(n^2))
|
0.54 | * | WORST_CASE(?,O(n^2))
|
1.04 | * | WORST_CASE(?,O(n^2))
|
0.43 | * | WORST_CASE(?,O(n^2))
|
6.02 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nosorts_GM
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.07 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nosorts_noand_C
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.90 | * | MAYBE
|
58.54 | * | WORST_CASE(?,O(n^1))
|
4.91 | * | NO
|
0.00 |
Transformed_CSR_04/MYNAT_nosorts_noand_GM
|
* | MAYBE
|
59.61 | * | MAYBE
|
58.45 | * | MAYBE
|
58.49 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_complete-noand_FR
|
* | MAYBE
|
59.33 | * | MAYBE
|
58.09 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_complete-noand_Z
|
* | MAYBE
|
59.15 | * | MAYBE
|
58.13 | * | MAYBE
|
58.39 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_complete_C
|
* | MAYBE
|
59.14 | * | MAYBE
|
58.10 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_complete_FR
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.46 | * | MAYBE
|
58.46 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_complete_GM
|
* | MAYBE
|
59.71 | * | MAYBE
|
58.53 | * | MAYBE
|
58.56 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_complete_Z
|
* | MAYBE
|
59.18 | * | MAYBE
|
58.39 | * | MAYBE
|
59.83 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_complete_noand_C
|
* | MAYBE
|
59.17 | * | MAYBE
|
58.51 | * | MAYBE
|
58.21 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_complete_noand_GM
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.31 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nokinds-noand_FR
|
* | MAYBE
|
59.17 | * | MAYBE
|
58.12 | * | MAYBE
|
58.13 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nokinds-noand_Z
|
* | MAYBE
|
42.47 | * | MAYBE
|
58.32 | * | MAYBE
|
59.49 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nokinds_C
|
* | MAYBE
|
59.90 | * | MAYBE
|
58.72 | * | MAYBE
|
58.68 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nokinds_FR
|
* | MAYBE
|
59.63 | * | MAYBE
|
58.35 | * | MAYBE
|
59.75 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nokinds_GM
|
* | MAYBE
|
59.64 | * | MAYBE
|
58.80 | * | MAYBE
|
59.04 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nokinds_Z
|
* | MAYBE
|
23.19 | * | MAYBE
|
58.34 | * | MAYBE
|
58.78 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nokinds_noand_C
|
* | MAYBE
|
59.17 | * | MAYBE
|
58.38 | * | MAYBE
|
59.49 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nokinds_noand_GM
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.48 | * | MAYBE
|
58.75 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nosorts-noand_FR
|
* | MAYBE
|
12.70 | * | MAYBE
|
58.14 | * | MAYBE
|
58.37 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nosorts-noand_Z
|
* | MAYBE
|
15.06 | * | MAYBE
|
58.16 | * | MAYBE
|
58.15 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nosorts_C
|
* | WORST_CASE(?,O(n^1))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
0.63 | * | WORST_CASE(?,O(n^1))
|
5.12 | * | WORST_CASE(?,O(n^1))
|
299.89 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nosorts_FR
|
* | MAYBE
|
49.89 | * | MAYBE
|
58.07 | * | MAYBE
|
58.29 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nosorts_GM
|
* | MAYBE
|
12.31 | * | MAYBE
|
58.10 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nosorts_Z
|
* | MAYBE
|
21.93 | * | MAYBE
|
58.54 | * | MAYBE
|
58.74 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nosorts_noand_C
|
* | MAYBE
|
59.61 | * | MAYBE
|
58.33 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/OvConsOS_nosorts_noand_GM
|
* | MAYBE
|
59.96 | * | MAYBE
|
58.56 | * | MAYBE
|
59.42 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete-noand_FR
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.42 | * | MAYBE
|
58.41 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete-noand_L
|
* | MAYBE
|
59.06 | * | MAYBE
|
58.08 | * | MAYBE
|
59.35 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete-noand_Z
|
* | WORST_CASE(?,O(n^2))
|
55.80 | * | WORST_CASE(?,O(n^2))
|
50.24 | * | WORST_CASE(?,O(n^2))
|
51.48 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete_C
|
* | MAYBE
|
59.15 | * | MAYBE
|
58.39 | * | MAYBE
|
58.71 | * | WORST_CASE(?,O(n^1))
|
13.59 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete_FR
|
* | MAYBE
|
59.38 | * | MAYBE
|
58.14 | * | MAYBE
|
59.15 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete_GM
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
59.95 | * | MAYBE
|
59.13 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete_Z
|
* | MAYBE
|
59.52 | * | MAYBE
|
58.17 | * | MAYBE
|
58.55 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete_noand_C
|
* | MAYBE
|
59.54 | * | MAYBE
|
58.19 | * | MAYBE
|
58.51 | * | WORST_CASE(?,O(n^1))
|
20.95 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_complete_noand_GM
|
* | MAYBE
|
59.73 | * | MAYBE
|
58.09 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds-noand_FR
|
* | WORST_CASE(?,O(n^2))
|
6.62 | * | WORST_CASE(?,O(n^2))
|
9.77 | * | WORST_CASE(?,O(n^2))
|
10.13 | * | WORST_CASE(?,O(n^2))
|
299.94 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds-noand_L
|
* | MAYBE
|
12.37 | * | MAYBE
|
52.50 | * | MAYBE
|
51.99 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds-noand_Z
|
* | WORST_CASE(?,O(n^1))
|
2.07 | * | WORST_CASE(?,O(n^1))
|
4.70 | * | WORST_CASE(?,O(n^1))
|
4.78 | * | WORST_CASE(?,O(n^1))
|
8.64 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds_C
|
* | WORST_CASE(?,O(n^1))
|
0.79 | * | WORST_CASE(?,O(n^1))
|
0.66 | * | WORST_CASE(?,O(n^1))
|
1.03 | * | WORST_CASE(?,O(n^1))
|
7.42 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds_FR
|
* | WORST_CASE(?,O(n^2))
|
4.01 | * | MAYBE
|
58.20 | * | MAYBE
|
58.21 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds_GM
|
* | MAYBE
|
59.48 | * | MAYBE
|
58.12 | * | MAYBE
|
58.24 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds_Z
|
* | WORST_CASE(?,O(n^1))
|
1.02 | * | WORST_CASE(?,O(n^3))
|
5.37 | * | WORST_CASE(?,O(n^3))
|
5.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds_noand_C
|
* | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.76 | * | WORST_CASE(?,O(n^1))
|
8.45 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nokinds_noand_GM
|
* | MAYBE
|
59.79 | * | MAYBE
|
58.66 | * | MAYBE
|
59.37 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nosorts_C
|
* | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
5.92 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nosorts_GM
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.11 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nosorts_noand_C
|
* | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
0.40 | * | WORST_CASE(?,O(n^1))
|
5.61 | * | NO
|
0.00 |
Transformed_CSR_04/PALINDROME_nosorts_noand_GM
|
* | MAYBE
|
59.29 | * | MAYBE
|
58.09 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_complete-noand_FR
|
* | WORST_CASE(?,O(n^3))
|
20.50 | * | WORST_CASE(?,O(n^3))
|
22.56 | * | WORST_CASE(?,O(n^3))
|
21.70 | * | WORST_CASE(?,O(n^3))
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_complete-noand_Z
|
* | WORST_CASE(?,O(n^2))
|
12.00 | * | WORST_CASE(?,O(n^2))
|
13.65 | * | WORST_CASE(?,O(n^2))
|
13.46 | * | WORST_CASE(?,O(n^2))
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_complete_C
|
* | MAYBE
|
59.87 | * | MAYBE
|
58.44 | * | TIMEOUT
|
60.00 | * | WORST_CASE(?,O(n^1))
|
6.01 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_complete_FR
|
* | MAYBE
|
59.22 | * | MAYBE
|
58.42 | * | MAYBE
|
58.28 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_complete_GM
|
* | MAYBE
|
59.79 | * | MAYBE
|
58.75 | * | MAYBE
|
58.47 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_complete_Z
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.21 | * | MAYBE
|
58.15 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_complete_noand_C
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.11 | * | MAYBE
|
58.33 | * | WORST_CASE(?,O(n^1))
|
11.01 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_complete_noand_GM
|
* | MAYBE
|
59.98 | * | TIMEOUT
|
60.06 | * | MAYBE
|
58.57 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nokinds-noand_FR
|
* | WORST_CASE(?,O(n^2))
|
4.42 | * | WORST_CASE(?,O(n^2))
|
2.32 | * | WORST_CASE(?,O(n^2))
|
2.69 | * | WORST_CASE(?,O(n^2))
|
5.93 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nokinds-noand_Z
|
* | WORST_CASE(?,O(n^1))
|
0.49 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.67 | * | WORST_CASE(?,O(n^1))
|
6.75 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nokinds_C
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.46 | * | MAYBE
|
58.56 | * | WORST_CASE(?,O(n^1))
|
7.18 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nokinds_FR
|
* | WORST_CASE(?,O(n^2))
|
6.04 | * | MAYBE
|
59.13 | * | MAYBE
|
58.94 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nokinds_GM
|
* | TIMEOUT
|
60.06 | * | MAYBE
|
58.22 | * | MAYBE
|
58.13 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nokinds_Z
|
* | WORST_CASE(?,O(n^1))
|
0.47 | * | WORST_CASE(?,O(n^1))
|
1.06 | * | WORST_CASE(?,O(n^1))
|
1.77 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nokinds_noand_C
|
* | MAYBE
|
59.65 | * | MAYBE
|
58.91 | * | MAYBE
|
58.66 | * | WORST_CASE(?,O(n^1))
|
4.44 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nokinds_noand_GM
|
* | TIMEOUT
|
60.00 | * | MAYBE
|
58.63 | * | MAYBE
|
59.00 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nosorts-noand_FR
|
* | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.76 | * | WORST_CASE(?,O(n^1))
|
1.89 | * | WORST_CASE(?,O(n^1))
|
5.51 | * | YES
|
0.00 |
Transformed_CSR_04/PEANO_nosorts_C
|
* | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
0.56 | * | WORST_CASE(?,O(n^1))
|
2.97 | * | WORST_CASE(?,O(n^1))
|
4.81 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nosorts_FR
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.57 | * | WORST_CASE(?,O(n^1))
|
4.33 | * | YES
|
0.00 |
Transformed_CSR_04/PEANO_nosorts_GM
|
* | MAYBE
|
7.79 | * | MAYBE
|
58.11 | * | MAYBE
|
58.30 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nosorts_noand_C
|
* | WORST_CASE(?,O(n^1))
|
0.22 | * | WORST_CASE(?,O(n^1))
|
1.15 | * | WORST_CASE(?,O(n^1))
|
5.19 | * | WORST_CASE(?,O(n^1))
|
5.33 | * | NO
|
0.00 |
Transformed_CSR_04/PEANO_nosorts_noand_GM
|
* | MAYBE
|
7.49 | * | MAYBE
|
58.09 | * | MAYBE
|
58.92 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Various_04/04
|
* | WORST_CASE(?,O(1))
|
0.09 | * | WORST_CASE(?,O(1))
|
0.19 | * | WORST_CASE(?,O(1))
|
0.11 | * | WORST_CASE(?,O(1))
|
2.25 | * | NO
|
0.00 |
Various_04/08
|
* | WORST_CASE(?,O(1))
|
0.27 | * | WORST_CASE(?,O(1))
|
0.17 | * | WORST_CASE(?,O(1))
|
0.18 | * | WORST_CASE(?,O(1))
|
2.09 | * | NO
|
0.00 |
Various_04/10
|
* | WORST_CASE(?,O(n^3))
|
32.00 | * | WORST_CASE(?,O(n^3))
|
1.71 | * | WORST_CASE(?,O(n^3))
|
7.75 | * | WORST_CASE(?,O(n^2))
|
13.34 | * | NO
|
0.00 |
Various_04/11
|
* | MAYBE
|
1.38 | * | MAYBE
|
58.11 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(1))
|
3.95 | * | NO
|
0.00 |
Various_04/12
|
* | MAYBE
|
59.34 | * | MAYBE
|
58.21 | * | MAYBE
|
58.16 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Various_04/13
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.25 | * | MAYBE
|
58.18 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Various_04/14
|
* | WORST_CASE(?,O(n^2))
|
10.66 | * | WORST_CASE(?,O(n^2))
|
12.30 | * | WORST_CASE(?,O(n^2))
|
15.13 | * | WORST_CASE(?,O(n^2))
|
11.41 | * | NO
|
0.00 |
Various_04/15
|
* | WORST_CASE(?,O(n^1))
|
0.46 | * | WORST_CASE(?,O(n^1))
|
0.55 | * | WORST_CASE(?,O(n^1))
|
1.73 | * | WORST_CASE(?,O(n^1))
|
3.65 | * | NO
|
0.00 |
Various_04/18
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.31 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
2.97 | * | NO
|
0.00 |
Various_04/22
|
* | WORST_CASE(?,O(n^1))
|
1.47 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | WORST_CASE(?,O(n^1))
|
0.50 | * | WORST_CASE(?,O(n^1))
|
4.74 | * | NO
|
0.00 |
Various_04/23
|
* | WORST_CASE(?,O(n^1))
|
1.68 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.29 | * | WORST_CASE(?,O(n^1))
|
6.22 | * | NO
|
0.00 |
Various_04/24
|
* | WORST_CASE(?,O(n^2))
|
4.16 | * | WORST_CASE(?,O(n^2))
|
0.38 | * | WORST_CASE(?,O(n^2))
|
1.72 | * | WORST_CASE(?,O(n^1))
|
299.90 | * | YES
|
0.00 |
Waldmann_06/jwmatchb1
|
* | WORST_CASE(?,O(n^1))
|
0.03 | * | WORST_CASE(?,O(n^1))
|
0.70 | * | WORST_CASE(?,O(n^1))
|
8.25 | * | WORST_CASE(?,O(n^1))
|
73.95 | * | NO
|
0.00 |
Waldmann_06/jwmatchb2
|
* | WORST_CASE(?,O(n^1))
|
0.25 | * | WORST_CASE(?,O(n^1))
|
0.04 | * | WORST_CASE(?,O(n^1))
|
7.34 | * | WORST_CASE(?,O(n^1))
|
259.55 | * | NO
|
0.00 |
Waldmann_06/jwno1
|
* | MAYBE
|
7.04 | * | MAYBE
|
39.81 | * | MAYBE
|
50.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Waldmann_06/jwno4
|
* | MAYBE
|
7.04 | * | MAYBE
|
39.71 | * | MAYBE
|
42.14 | * | MAYBE
|
7.41 | * | NO
|
0.00 |
Waldmann_06/jwno6
|
* | MAYBE
|
7.04 | * | MAYBE
|
38.91 | * | MAYBE
|
39.82 | * | MAYBE
|
7.38 | * | NO
|
0.00 |
Zantema_05/z10
|
* | MAYBE
|
3.34 | * | MAYBE
|
58.32 | * | MAYBE
|
58.75 | * | MAYBE
|
77.81 | * | NO
|
0.00 |
Zantema_05/z12
|
* | MAYBE
|
30.59 | * | MAYBE
|
58.70 | * | MAYBE
|
59.52 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z13
|
* | MAYBE
|
45.53 | * | MAYBE
|
58.09 | * | MAYBE
|
58.06 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z14
|
* | MAYBE
|
34.11 | * | MAYBE
|
58.07 | * | MAYBE
|
58.08 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z15
|
* | MAYBE
|
59.28 | * | MAYBE
|
58.15 | * | TIMEOUT
|
60.00 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z16
|
* | MAYBE
|
42.87 | * | MAYBE
|
58.07 | * | MAYBE
|
58.09 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z17
|
* | TIMEOUT
|
60.00 | * | MAYBE
|
58.29 | * | MAYBE
|
58.32 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z18
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.28 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z23
|
* | MAYBE
|
59.07 | * | MAYBE
|
58.26 | * | MAYBE
|
58.06 | * | WORST_CASE(?,O(n^1))
|
300.00 | * | NO
|
0.00 |
Zantema_05/z24
|
* | MAYBE
|
59.89 | * | MAYBE
|
58.61 | * | MAYBE
|
58.92 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z26
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.06 | * | WORST_CASE(?,O(n^1))
|
8.36 | * | WORST_CASE(?,O(n^1))
|
2.85 | * | NO
|
0.00 |
Zantema_05/z27
|
* | MAYBE
|
2.16 | * | MAYBE
|
59.11 | * | MAYBE
|
58.67 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
Zantema_05/z28
|
* | MAYBE
|
2.62 | * | MAYBE
|
47.75 | * | MAYBE
|
47.26 | * | WORST_CASE(?,O(n^1))
|
2.92 | * | NO
|
0.00 |
hoca/dfs-flatten
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.68 | * | WORST_CASE(?,O(n^1))
|
2.65 | * | YES
|
0.00 |
hoca/fib_llist
|
* | MAYBE
|
59.09 | * | MAYBE
|
58.21 | * | MAYBE
|
58.16 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
hoca/flatten
|
* | WORST_CASE(?,O(n^1))
|
1.72 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.59 | * | WORST_CASE(?,O(n^1))
|
4.89 | * | YES
|
0.00 |
hoca/foldsum
|
* | WORST_CASE(?,O(n^1))
|
0.14 | * | WORST_CASE(?,O(n^1))
|
0.23 | * | WORST_CASE(?,O(n^1))
|
0.39 | * | WORST_CASE(?,O(n^1))
|
10.37 | * | YES
|
0.00 |
hoca/id
|
* | WORST_CASE(?,O(n^1))
|
1.07 | * | WORST_CASE(?,O(n^1))
|
1.03 | * | WORST_CASE(?,O(n^1))
|
1.24 | * | WORST_CASE(?,O(n^1))
|
4.73 | * | YES
|
0.00 |
hoca/isort
|
* | WORST_CASE(?,O(n^2))
|
2.36 | * | WORST_CASE(?,O(n^3))
|
0.66 | * | WORST_CASE(?,O(n^3))
|
1.67 | * | WORST_CASE(?,O(n^2))
|
9.80 | * | NO
|
0.00 |
hoca/isort-fold
|
* | WORST_CASE(?,O(n^2))
|
6.59 | * | WORST_CASE(?,O(n^3))
|
1.18 | * | WORST_CASE(?,O(n^3))
|
3.77 | * | WORST_CASE(?,O(n^2))
|
10.34 | * | NO
|
0.00 |
hoca/mappplus
|
* | WORST_CASE(?,O(n^2))
|
0.50 | * | WORST_CASE(?,O(n^2))
|
0.17 | * | WORST_CASE(?,O(n^2))
|
1.69 | * | WORST_CASE(?,O(n^2))
|
5.58 | * | NO
|
0.00 |
hoca/mergesort-dc
|
* | MAYBE
|
59.10 | * | MAYBE
|
58.21 | * | MAYBE
|
58.23 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
hoca/mss
|
* | MAYBE
|
7.03 | * | MAYBE
|
58.13 | * | MAYBE
|
58.14 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
hoca/rev-dl
|
* | WORST_CASE(?,O(n^1))
|
0.07 | * | WORST_CASE(?,O(n^1))
|
0.28 | * | WORST_CASE(?,O(n^1))
|
0.70 | * | WORST_CASE(?,O(n^1))
|
5.49 | * | YES
|
0.00 |
hoca/rev-fletf
|
* | WORST_CASE(?,O(n^1))
|
0.11 | * | WORST_CASE(?,O(n^1))
|
0.12 | * | WORST_CASE(?,O(n^1))
|
0.35 | * | WORST_CASE(?,O(n^1))
|
6.31 | * | YES
|
0.00 |
hoca/rev-foldl
|
* | WORST_CASE(?,O(n^1))
|
0.05 | * | WORST_CASE(?,O(n^1))
|
0.71 | * | WORST_CASE(?,O(n^1))
|
0.61 | * | WORST_CASE(?,O(n^1))
|
3.94 | * | YES
|
0.00 |
hoca/rpm-lazy
|
* | MAYBE
|
59.08 | * | MAYBE
|
58.11 | * | MAYBE
|
58.12 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
hoca/sum
|
* | WORST_CASE(?,O(n^1))
|
0.27 | * | WORST_CASE(?,O(n^1))
|
0.18 | * | WORST_CASE(?,O(n^1))
|
0.34 | * | WORST_CASE(?,O(n^1))
|
4.94 | * | YES
|
0.00 |
hoca/sum_sqs3
|
* | MAYBE
|
16.55 | * | MAYBE
|
58.09 | * | MAYBE
|
58.10 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
raML/appendAll.raml
|
* | WORST_CASE(?,O(n^1))
|
0.72 | * | WORST_CASE(?,O(n^1))
|
1.32 | * | WORST_CASE(?,O(n^1))
|
1.62 | * | WORST_CASE(?,O(n^1))
|
12.08 | * | NO
|
0.00 |
raML/bfs.raml
|
* | MAYBE
|
59.23 | * | MAYBE
|
58.19 | * | WORST_CASE(?,O(n^3))
|
14.73 | * | MAYBE
|
299.90 | * | YES
|
0.00 |
raML/bft_mmult.raml
|
* | WORST_CASE(?,O(n^3))
|
36.95 | * | WORST_CASE(?,O(n^4))
|
8.23 | * | WORST_CASE(?,O(n^4))
|
14.38 | * | MAYBE
|
58.94 | * | NO
|
0.00 |
raML/bitvectors.raml
|
* | MAYBE
|
59.80 | * | MAYBE
|
58.73 | * | MAYBE
|
58.53 | * | WORST_CASE(?,O(n^5))
|
300.00 | * | NO
|
0.00 |
raML/clevermmult.raml
|
* | WORST_CASE(?,O(n^2))
|
8.72 | * | WORST_CASE(?,O(n^3))
|
1.83 | * | WORST_CASE(?,O(n^3))
|
2.92 | * | WORST_CASE(?,O(n^2))
|
31.83 | * | NO
|
0.00 |
raML/duplicates.raml
|
* | WORST_CASE(?,O(n^2))
|
4.07 | * | WORST_CASE(?,O(n^3))
|
2.11 | * | WORST_CASE(?,O(n^3))
|
11.38 | * | WORST_CASE(?,O(n^2))
|
13.93 | * | NO
|
0.00 |
raML/dyade.raml
|
* | WORST_CASE(?,O(n^2))
|
0.97 | * | WORST_CASE(?,O(n^2))
|
0.62 | * | WORST_CASE(?,O(n^2))
|
1.91 | * | WORST_CASE(?,O(n^2))
|
19.72 | * | NO
|
0.00 |
raML/eratosthenes.raml
|
* | WORST_CASE(?,O(n^2))
|
10.76 | * | WORST_CASE(?,O(n^2))
|
4.46 | * | WORST_CASE(?,O(n^2))
|
7.77 | * | WORST_CASE(?,O(n^2))
|
27.84 | * | NO
|
0.00 |
raML/flatten.raml
|
* | WORST_CASE(?,O(n^2))
|
9.64 | * | WORST_CASE(?,O(n^2))
|
2.29 | * | WORST_CASE(?,O(n^2))
|
9.17 | * | WORST_CASE(?,O(n^2))
|
15.98 | * | NO
|
0.00 |
raML/insertionsort.raml
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.10 | * | WORST_CASE(?,O(n^3))
|
19.73 | * | WORST_CASE(?,O(n^2))
|
21.14 | * | YES
|
0.00 |
raML/listsort.raml
|
* | WORST_CASE(?,O(n^2))
|
14.38 | * | WORST_CASE(?,O(n^3))
|
3.59 | * | WORST_CASE(?,O(n^3))
|
11.47 | * | WORST_CASE(?,O(n^2))
|
43.89 | * | NO
|
0.00 |
raML/longestCommonSubsequence.raml
|
* | WORST_CASE(?,O(n^2))
|
14.68 | * | WORST_CASE(?,O(n^2))
|
12.08 | * | WORST_CASE(?,O(n^2))
|
13.10 | * | WORST_CASE(?,O(n^2))
|
45.98 | * | NO
|
0.00 |
raML/matrix.raml
|
* | MAYBE
|
59.12 | * | MAYBE
|
58.19 | * | WORST_CASE(?,O(n^7))
|
22.73 | * | MAYBE
|
72.38 | * | YES
|
0.00 |
raML/mergesort.raml
|
* | WORST_CASE(?,O(n^2))
|
25.90 | * | WORST_CASE(?,O(n^2))
|
28.20 | * | WORST_CASE(?,O(n^2))
|
30.07 | * | MAYBE
|
24.96 | * | NO
|
0.00 |
raML/minsort.raml
|
* | WORST_CASE(?,O(n^2))
|
5.50 | * | WORST_CASE(?,O(n^2))
|
1.22 | * | WORST_CASE(?,O(n^2))
|
11.05 | * | WORST_CASE(?,O(n^2))
|
11.87 | * | NO
|
0.00 |
raML/queue.raml
|
* | MAYBE
|
59.11 | * | MAYBE
|
58.16 | * | MAYBE
|
58.11 | * | TIMEOUT
|
300.00 | * | NO
|
0.00 |
raML/quicksort.raml
|
* | MAYBE
|
59.13 | * | MAYBE
|
58.11 | * | MAYBE
|
58.99 | * | WORST_CASE(?,O(n^2))
|
55.34 | * | NO
|
0.00 |
raML/rationalPotential.raml
|
* | WORST_CASE(?,O(n^1))
|
0.08 | * | WORST_CASE(?,O(n^1))
|
1.09 | * | WORST_CASE(?,O(n^1))
|
0.37 | * | WORST_CASE(?,O(n^1))
|
12.07 | * | YES
|
0.00 |
raML/splitandsort.raml
|
* | MAYBE
|
59.27 | * | MAYBE
|
58.90 | * | WORST_CASE(?,O(n^5))
|
19.49 | * | WORST_CASE(?,O(n^3))
|
72.34 | * | YES
|
0.00 |
raML/subtrees.raml
|
* | WORST_CASE(?,O(n^2))
|
1.43 | * | WORST_CASE(?,O(n^2))
|
0.83 | * | WORST_CASE(?,O(n^2))
|
2.00 | * | WORST_CASE(?,O(n^2))
|
2.99 | * | NO
|
0.00 |
TcT_Comp2016 |
TcTNoAra |
TcTAra |
Aprove |
AraUsed |
|
|---|---|---|---|---|---|
Success "EXP" |
0 | 0 | 0 | 5 | 0 |
Success "MAYBE" |
595 | 629 | 617 | 125 | 0 |
Success "NO" |
0 | 0 | 0 | 0 | 875 |
Success "WORST_CASE(?,O(1))" |
40 | 39 | 39 | 53 | 0 |
Success "WORST_CASE(?,O(n^1))" |
234 | 227 | 232 | 326 | 0 |
Success "WORST_CASE(?,O(n^10))" |
0 | 1 | 1 | 1 | 0 |
Success "WORST_CASE(?,O(n^2))" |
85 | 61 | 63 | 127 | 0 |
Success "WORST_CASE(?,O(n^3))" |
24 | 49 | 44 | 35 | 0 |
Success "WORST_CASE(?,O(n^4))" |
4 | 6 | 5 | 2 | 0 |
Success "WORST_CASE(?,O(n^5))" |
1 | 2 | 4 | 4 | 0 |
Success "WORST_CASE(?,O(n^6))" |
0 | 0 | 1 | 0 | 0 |
Success "WORST_CASE(?,O(n^7))" |
0 | 0 | 1 | 0 | 0 |
Success "YES" |
0 | 0 | 0 | 0 | 147 |
Timeout |
39 | 8 | 15 | 344 | 0 |
TcT_Comp2016 |
TcTNoAra |
TcTAra |
Aprove |
AraUsed |
|
|---|---|---|---|---|---|
Success "EXP" |
0.00 | 0.00 | 0.00 | 75.86 | 0.00 |
Success "MAYBE" |
37.47 | 56.21 | 56.21 | 119.33 | 0.00 |
Success "NO" |
0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
Success "WORST_CASE(?,O(1))" |
0.22 | 0.19 | 0.93 | 2.03 | 0.00 |
Success "WORST_CASE(?,O(n^1))" |
0.50 | 0.60 | 1.85 | 34.10 | 0.00 |
Success "WORST_CASE(?,O(n^10))" |
0.00 | 2.04 | 2.12 | 300.00 | 0.00 |
Success "WORST_CASE(?,O(n^2))" |
5.75 | 4.74 | 6.50 | 151.77 | 0.00 |
Success "WORST_CASE(?,O(n^3))" |
10.02 | 4.30 | 8.00 | 190.17 | 0.00 |
Success "WORST_CASE(?,O(n^4))" |
26.62 | 24.49 | 24.29 | 258.31 | 0.00 |
Success "WORST_CASE(?,O(n^5))" |
15.08 | 7.14 | 20.19 | 299.98 | 0.00 |
Success "WORST_CASE(?,O(n^6))" |
0.00 | 0.00 | 46.97 | 0.00 | 0.00 |
Success "WORST_CASE(?,O(n^7))" |
0.00 | 0.00 | 22.73 | 0.00 | 0.00 |
Success "YES" |
0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
Timeout |
60.05 | 60.05 | 60.01 | 300.00 | 0.00 |
Overall |
25.06 | 35.85 | 36.28 | 154.27 | 0.00 |