| HM/1 |
M:0.74 |
M:0.07 |
Y:16.14 |
Y:22.29 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.08 |
N:0.68 |
Y:17.89 |
Y:17.95 |
| HM/2 |
M:1.17 |
M:0.08 |
M:1.00 |
M:2.70 |
M:0.08 |
M:0.08 |
Y:0.02 |
Y:0.08 |
Y:0.03 |
N:1.22 |
M:1.42 |
M:0.98 |
| HM/3 |
M:1.16 |
M:0.08 |
M:1.04 |
M:2.29 |
M:0.08 |
M:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.28 |
M:1.53 |
M:0.73 |
| HM/4 |
M:0.98 |
M:0.08 |
M:0.08 |
M:1.69 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.09 |
N:1.23 |
N:0.09 |
M:0.98 |
| HM/5 |
Y:0.80 |
M:0.08 |
Y:9.99 |
Y:13.60 |
Y:0.98 |
Y:0.14 |
Y:0.09 |
Y:0.08 |
Y:0.09 |
Y:0.86 |
Y:19.23 |
Y:10.23 |
| HM/6 |
Y:1.46 |
M:0.08 |
M:0.08 |
M:0.07 |
Y:3.87 |
M:0.13 |
Y:0.09 |
Y:0.08 |
M:0.09 |
Y:1.64 |
Y:43.01 |
Y:43.03 |
| HM/7 |
M:0.74 |
M:0.08 |
M:0.09 |
M:0.07 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.08 |
N:0.74 |
N:0.11 |
N:0.08 |
| crexamples-100410/TRS/AT97/ex6 |
M:0.73 |
M:0.10 |
M:0.09 |
M:0.07 |
M:0.07 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:0.74 |
N:0.11 |
N:0.08 |
| crexamples-100410/TRS/AT97b/ex1 |
M:0.77 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.07 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
N:0.73 |
M:60.52 |
M:59.89 |
| crexamples-100410/TRS/AYT09/ex1 |
M:1.82 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.02 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:1.88 |
Y:26.09 |
Y:23.55 |
| crexamples-100410/TRS/BN98/ex6.17 |
M:0.73 |
M:0.07 |
M:0.09 |
M:0.07 |
Y:0.51 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.74 |
N:0.08 |
N:0.10 |
| crexamples-100410/TRS/BN98/ex6.18 |
M:1.28 |
M:0.08 |
M:0.09 |
M:0.07 |
M:0.07 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.08 |
Y:1.04 |
Y:5.50 |
Y:8.71 |
| crexamples-100410/TRS/BN98/ex6.2.2 |
M:1.16 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:1.04 |
Y:10.12 |
Y:10.86 |
| crexamples-100410/TRS/BN98/ex6.2.7 |
M:1.10 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
Y:0.08 |
M:0.08 |
Y:1.10 |
Y:2.31 |
Y:2.30 |
| crexamples-100410/TRS/BN98/ex6.3.4 |
M:0.80 |
M:0.07 |
M:0.87 |
M:0.74 |
Y:0.39 |
Y:0.14 |
Y:0.08 |
Y:0.07 |
Y:0.08 |
N:0.73 |
M:1.04 |
M:0.98 |
| crexamples-100410/TRS/BN98/ex6.4 |
M:1.24 |
M:0.08 |
M:0.07 |
M:0.07 |
M:0.07 |
M:0.07 |
Y:0.08 |
Y:0.08 |
M:0.08 |
Y:1.10 |
Y:3.03 |
Y:2.97 |
| crexamples-100410/TRS/BN98/ex6.5a |
M:1.64 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.07 |
M:0.08 |
Y:0.08 |
Y:0.08 |
M:0.08 |
Y:1.46 |
Y:19.17 |
Y:14.04 |
| crexamples-100410/TRS/BN98/ex6.5b |
Y:1.34 |
M:0.08 |
Y:7.92 |
Y:11.69 |
Y:0.14 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:1.34 |
Y:11.65 |
Y:21.90 |
| crexamples-100410/TRS/BN98/ex6.5c |
Y:0.80 |
M:0.08 |
M:0.07 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
Y:0.80 |
Y:0.08 |
Y:0.08 |
| crexamples-100410/TRS/BN98/ex6.5d |
M:0.80 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.15 |
M:0.08 |
Y:0.08 |
Y:0.07 |
M:0.08 |
Y:0.74 |
Y:14.47 |
Y:15.00 |
| crexamples-100410/TRS/BN98/ex6.5e |
Y:0.92 |
M:0.07 |
Y:11.65 |
Y:23.70 |
M:0.15 |
M:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
Y:0.73 |
Y:23.38 |
Y:13.98 |
| crexamples-100410/TRS/BN98/ex6.5f |
M:0.80 |
M:0.08 |
M:0.07 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
T:120.00 |
N:0.68 |
N:0.09 |
N:0.07 |
| crexamples-100410/TRS/DJ90/sivakumar |
M:1.28 |
M:0.07 |
M:0.09 |
M:0.10 |
M:0.09 |
M:0.08 |
M:0.07 |
M:0.07 |
Y:0.07 |
N:1.22 |
Y:0.10 |
Y:0.09 |
| crexamples-100410/TRS/Der97/p204 |
M:0.92 |
M:0.08 |
M:0.09 |
M:0.10 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:0.98 |
M:60.34 |
Y:0.08 |
| crexamples-100410/TRS/Der97/p209 |
Y:0.92 |
M:0.08 |
M:0.09 |
M:0.10 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
Y:0.86 |
Y:0.11 |
Y:0.08 |
| crexamples-100410/TRS/GL06/ex1 |
M:0.74 |
M:0.07 |
M:0.09 |
M:0.10 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.07 |
Y:0.19 |
N:0.73 |
N:0.09 |
N:0.08 |
| crexamples-100410/TRS/GL06/ex2 |
M:0.80 |
M:0.08 |
Y:5.45 |
Y:8.29 |
Y:0.15 |
Y:0.20 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.73 |
Y:6.03 |
Y:6.88 |
| crexamples-100410/TRS/GL06/ex3 |
M:0.68 |
M:0.04 |
M:0.98 |
M:1.04 |
M:0.32 |
M:0.14 |
Y:0.08 |
Y:0.08 |
Y:0.09 |
N:0.74 |
M:1.16 |
M:1.49 |
| crexamples-100410/TRS/GL06/ex5 |
M:0.74 |
M:0.11 |
M:0.07 |
M:0.10 |
Y:0.20 |
Y:0.25 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
N:0.74 |
N:0.07 |
N:0.10 |
| crexamples-100410/TRS/GL06/ex6 |
M:0.68 |
Y:0.04 |
Y:0.08 |
Y:0.11 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:0.68 |
Y:0.07 |
Y:0.09 |
| crexamples-100410/TRS/GOO96/R2 |
M:0.73 |
M:0.11 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:0.73 |
Y:0.07 |
Y:0.09 |
| crexamples-100410/TRS/GOO96/R2p |
M:0.68 |
M:0.10 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:0.74 |
Y:0.08 |
Y:0.09 |
| crexamples-100410/TRS/GOO96/R6 |
M:0.68 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:0.73 |
Y:0.08 |
Y:0.09 |
| crexamples-100410/TRS/GOO98/ex1 |
M:0.68 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
N:0.73 |
Y:0.07 |
Y:0.09 |
| crexamples-100410/TRS/GOO98/ex2 |
M:0.68 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.10 |
M:0.08 |
M:0.07 |
M:0.08 |
Y:0.07 |
N:0.73 |
Y:0.08 |
Y:0.09 |
| crexamples-100410/TRS/GTV04/ex5 |
Y:0.92 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.10 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
Y:0.98 |
Y:15.08 |
Y:22.61 |
| crexamples-100410/TRS/Gra96caap/ex2 |
M:1.22 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.07 |
Y:0.08 |
N:0.98 |
N:0.09 |
N:0.08 |
| crexamples-100410/TRS/Gra96caap/ex3 |
M:0.85 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.86 |
Y:9.62 |
Y:4.36 |
| crexamples-100410/TRS/Gra96caap/ex4 |
M:0.85 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.86 |
Y:10.03 |
Y:5.86 |
| crexamples-100410/TRS/Gra96caap/ex6 |
M:1.34 |
M:0.09 |
Y:2.86 |
Y:2.91 |
Y:0.17 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.10 |
Y:2.97 |
Y:2.78 |
| crexamples-100410/TRS/Gra96caap/ex7 |
M:1.83 |
M:0.09 |
M:0.80 |
M:1.04 |
Y:0.44 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.03 |
N:1.58 |
M:0.80 |
M:1.04 |
| crexamples-100410/TRS/Gra96caap/ex8 |
M:0.73 |
M:0.09 |
M:0.07 |
M:0.08 |
M:0.07 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.09 |
N:0.73 |
N:0.07 |
N:0.08 |
| crexamples-100410/TRS/Gra96caap/ex9 |
M:0.73 |
M:0.09 |
M:0.09 |
M:0.08 |
Y:0.21 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.03 |
N:0.73 |
N:0.07 |
N:0.08 |
| crexamples-100410/TRS/Gra96thesis/ex2.2.28 |
M:0.74 |
M:0.09 |
M:0.09 |
M:0.07 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.68 |
N:0.07 |
N:0.07 |
| crexamples-100410/TRS/Gra96thesis/ex3.3.1 |
M:0.98 |
M:0.09 |
M:0.81 |
M:0.74 |
M:0.13 |
M:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.04 |
M:0.74 |
M:1.04 |
| crexamples-100410/TRS/Gra96thesis/ex3.3.2 |
M:1.34 |
M:0.05 |
M:0.92 |
M:0.98 |
M:0.32 |
M:0.14 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.40 |
M:0.92 |
M:1.10 |
| crexamples-100410/TRS/Gra96thesis/ex3.4.23 |
Y:0.92 |
M:0.12 |
Y:2.49 |
Y:2.72 |
Y:0.31 |
Y:0.07 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:1.04 |
Y:2.67 |
Y:3.09 |
| crexamples-100410/TRS/Gra96thesis/ex3.5.7 |
M:0.68 |
M:0.04 |
Y:2.36 |
Y:2.48 |
Y:0.07 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.73 |
Y:2.84 |
Y:2.72 |
| crexamples-100410/TRS/Gra96thesis/p28 |
M:0.73 |
M:0.08 |
Y:10.48 |
Y:15.54 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:0.73 |
Y:12.35 |
Y:22.36 |
| crexamples-100410/TRS/Hue80/p811 |
M:0.68 |
M:0.08 |
M:0.07 |
M:0.10 |
M:0.34 |
M:0.20 |
Y:0.07 |
Y:0.08 |
M:0.08 |
N:0.73 |
N:0.08 |
N:0.09 |
| crexamples-100410/TRS/Hue80/p811a |
M:1.04 |
M:0.08 |
M:0.09 |
M:0.10 |
M:0.07 |
M:0.09 |
Y:0.08 |
Y:0.08 |
M:0.08 |
Y:1.04 |
Y:2.67 |
Y:3.16 |
| crexamples-100410/TRS/Hue80/p811b |
Y:1.58 |
M:0.08 |
Y:7.85 |
Y:13.96 |
M:0.14 |
M:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:1.10 |
Y:7.03 |
Y:6.82 |
| crexamples-100410/TRS/Hue80/p813 |
M:0.68 |
M:0.08 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.09 |
Y:0.08 |
N:0.74 |
Y:0.08 |
Y:0.07 |
| crexamples-100410/TRS/Hue80/p813Barendregt |
M:0.68 |
M:0.09 |
M:0.09 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.07 |
Y:0.08 |
N:0.68 |
Y:0.08 |
Y:0.08 |
| crexamples-100410/TRS/Hue80/p814 |
M:1.82 |
M:0.07 |
M:1.66 |
M:1.61 |
Y:0.15 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.88 |
M:1.22 |
M:1.04 |
| crexamples-100410/TRS/Hue80/p814Levy |
M:1.04 |
M:0.04 |
M:0.09 |
M:1.29 |
M:0.07 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.08 |
N:1.16 |
N:0.08 |
M:0.85 |
| crexamples-100410/TRS/Hue80/p816 |
Y:1.10 |
M:0.08 |
Y:11.06 |
Y:5.56 |
Y:0.15 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
Y:1.22 |
Y:6.23 |
Y:5.37 |
| crexamples-100410/TRS/KB70/ex1 |
Y:1.76 |
M:0.08 |
M:0.11 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
Y:1.82 |
M:62.01 |
M:61.47 |
| crexamples-100410/TRS/Klo80/CL_B |
M:8.08 |
M:0.08 |
M:0.11 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:8.08 |
M:2.36 |
Y:0.10 |
| crexamples-100410/TRS/Klo80/CL_B2 |
M:1.40 |
M:0.08 |
M:0.11 |
M:0.07 |
M:0.10 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
N:1.53 |
M:39.13 |
Y:0.07 |
| crexamples-100410/TRS/Klo80/CL_Dh |
M:6.99 |
M:0.08 |
M:0.11 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:7.14 |
Y:0.12 |
Y:0.08 |
| crexamples-100410/TRS/Klo80/CL_Dh2 |
M:1.58 |
M:0.08 |
M:0.11 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
N:1.46 |
Y:0.12 |
Y:0.08 |
| crexamples-100410/TRS/Klo80/CL_Dk |
M:7.00 |
M:0.08 |
M:0.11 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:7.05 |
Y:0.12 |
Y:0.07 |
| crexamples-100410/TRS/Klo80/CL_Ds |
M:6.99 |
M:0.07 |
M:0.11 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:7.06 |
Y:0.13 |
Y:0.08 |
| crexamples-100410/TRS/Klo80/CL_SP |
M:8.20 |
M:0.08 |
M:0.11 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.09 |
M:8.26 |
M:61.94 |
M:60.01 |
| crexamples-100410/TRS/MOI96/ex10 |
M:0.68 |
M:0.07 |
M:0.11 |
M:0.07 |
M:0.10 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
N:0.74 |
Y:0.09 |
Y:0.10 |
| crexamples-100410/TRS/OO03/ex1 |
M:0.68 |
M:0.08 |
M:0.11 |
M:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.31 |
N:0.74 |
N:0.10 |
N:0.08 |
| crexamples-100410/TRS/OO03/ex2 |
M:0.98 |
M:0.08 |
M:0.11 |
M:0.80 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:1.10 |
N:0.09 |
M:1.29 |
| crexamples-100410/TRS/OO03/ex3 |
M:0.73 |
M:0.08 |
M:0.11 |
M:0.08 |
M:0.11 |
M:0.08 |
Y:0.08 |
M:0.09 |
Y:0.26 |
N:0.74 |
N:0.08 |
N:0.09 |
| crexamples-100410/TRS/OO04/ex3 |
M:1.82 |
M:0.08 |
M:2.03 |
M:0.86 |
Y:21.03 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.88 |
M:1.16 |
M:1.16 |
| crexamples-100410/TRS/OO04/ex4 |
M:0.98 |
M:0.09 |
M:0.09 |
M:0.86 |
M:0.08 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:1.10 |
N:0.08 |
M:1.10 |
| crexamples-100410/TRS/OO04/ex4b |
M:0.92 |
M:0.07 |
M:1.84 |
M:0.80 |
M:0.09 |
M:0.08 |
Y:0.07 |
M:0.08 |
Y:0.07 |
N:1.11 |
M:1.17 |
M:1.04 |
| crexamples-100410/TRS/OO04/ex6b |
Y:1.52 |
M:0.08 |
Y:16.42 |
Y:9.11 |
Y:1.89 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
Y:1.34 |
Y:14.64 |
Y:10.07 |
| crexamples-100410/TRS/OO04/ex7 |
Y:0.98 |
M:0.08 |
Y:4.11 |
Y:5.98 |
M:0.07 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
Y:1.04 |
Y:4.83 |
Y:7.36 |
| crexamples-100410/TRS/Ohl02/ex4.2.2 |
Y:4.53 |
M:0.07 |
M:60.55 |
Y:35.66 |
Y:81.11 |
Y:1.22 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
Y:4.65 |
M:64.87 |
Y:36.63 |
| crexamples-100410/TRS/Ohl94caap/ex4.4 |
Y:0.80 |
Y:0.08 |
Y:0.07 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
Y:0.86 |
Y:0.09 |
Y:0.08 |
| crexamples-100410/TRS/Ohl94caap/ex5.12 |
M:0.68 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.10 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:0.73 |
Y:0.10 |
Y:0.09 |
| crexamples-100410/TRS/Ohl94thesis/ex4.2.2 |
Y:0.80 |
Y:0.09 |
Y:0.09 |
Y:0.07 |
Y:0.09 |
Y:0.09 |
Y:0.08 |
Y:0.07 |
Y:0.08 |
Y:0.80 |
Y:0.10 |
Y:0.08 |
| crexamples-100410/TRS/Ohl94thesis/ex4.4.3 |
Y:1.76 |
M:0.07 |
Y:1.59 |
Y:1.76 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:1.52 |
Y:3.11 |
Y:1.95 |
| crexamples-100410/TRS/Oku98/p14a |
Y:0.98 |
M:0.08 |
Y:40.43 |
Y:41.69 |
Y:0.21 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
Y:0.08 |
Y:1.10 |
Y:32.55 |
Y:40.55 |
| crexamples-100410/TRS/Oku98/p14b |
M:0.73 |
M:0.08 |
M:0.08 |
Y:4.18 |
Y:1.64 |
Y:0.14 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.74 |
N:0.07 |
Y:5.07 |
| crexamples-100410/TRS/Oku98/p14c |
M:0.73 |
M:0.08 |
M:0.08 |
M:0.07 |
Y:0.07 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.73 |
N:0.08 |
N:0.08 |
| crexamples-100410/TRS/PS81/ex12.1 |
M:0.74 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.02 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
N:0.74 |
N:0.07 |
N:0.08 |
| crexamples-100410/TRS/PS81/ex12.2 |
M:0.73 |
M:0.02 |
M:0.08 |
M:0.07 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.13 |
N:0.73 |
N:0.08 |
N:0.08 |
| crexamples-100410/TRS/PS81/ex12.4 |
M:0.73 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.07 |
N:0.74 |
N:0.08 |
N:0.08 |
| crexamples-100410/TRS/TO01/ex6 |
M:0.73 |
M:0.07 |
M:0.07 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.09 |
N:0.73 |
Y:0.08 |
Y:0.08 |
| crexamples-100410/TRS/Tiw02/ex1 |
M:0.75 |
M:0.08 |
M:0.08 |
M:0.07 |
M:0.16 |
M:0.08 |
Y:0.08 |
Y:0.08 |
M:0.07 |
N:0.74 |
N:0.08 |
N:0.08 |
| crexamples-100410/TRS/Tiw02/ex2 |
M:0.68 |
M:0.08 |
M:0.08 |
M:0.03 |
Y:0.19 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.74 |
N:0.08 |
N:0.08 |
| crexamples-100410/TRS/Tiw02/ex3 |
M:0.68 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.15 |
Y:0.20 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.74 |
N:0.07 |
N:0.08 |
| crexamples-100410/TRS/Toy81/ex4.2 |
Y:1.76 |
M:0.08 |
Y:11.88 |
Y:15.48 |
M:0.08 |
M:0.04 |
Y:0.08 |
M:0.08 |
Y:0.08 |
Y:1.82 |
Y:13.62 |
Y:21.70 |
| crexamples-100410/TRS/Toy81/ex5.1 |
Y:0.92 |
M:0.08 |
Y:2.48 |
Y:8.36 |
Y:0.09 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.98 |
Y:3.83 |
Y:4.81 |
| crexamples-100410/TRS/Toy81/ex_EA |
Y:1.34 |
M:0.08 |
Y:3.33 |
Y:8.19 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
Y:1.34 |
Y:9.14 |
Y:4.72 |
| crexamples-100410/TRS/Toy88/ex3.1 |
M:0.74 |
M:0.07 |
M:0.07 |
M:0.09 |
Y:0.63 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.09 |
N:0.73 |
N:0.13 |
N:0.08 |
| crexamples-100410/TRS/Toy88/ex3.2 |
M:0.73 |
M:0.08 |
M:0.08 |
M:0.10 |
Y:2.24 |
Y:23.16 |
Y:0.07 |
Y:0.08 |
Y:0.20 |
N:0.74 |
N:0.12 |
N:0.08 |
| crexamples-100410/TRS/Toy88/ex3.3 |
M:0.98 |
M:0.08 |
M:0.86 |
M:1.59 |
Y:0.13 |
Y:0.26 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
N:1.10 |
M:1.70 |
M:0.86 |
| crexamples-100410/TRS/Toy98/ex1 |
M:0.68 |
M:0.08 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.07 |
Y:0.07 |
N:0.73 |
Y:7.69 |
Y:4.23 |
| crexamples-100410/TRS/Toy98/ex2 |
Y:1.22 |
M:0.08 |
Y:5.25 |
Y:6.22 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:1.34 |
Y:6.05 |
Y:5.67 |
| crexamples-100410/TRS/Toy98/ex3 |
M:0.68 |
M:0.08 |
M:0.07 |
M:0.07 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:0.73 |
Y:0.07 |
Y:0.07 |
| crexamples-100410/TRS/YAT09/ex1 |
Y:1.22 |
M:0.08 |
Y:2.99 |
Y:3.16 |
Y:0.15 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
Y:1.58 |
Y:2.67 |
Y:3.39 |
| crexamples-100410/TRS/YAT09/ex10 |
Y:1.04 |
M:0.08 |
Y:2.61 |
Y:2.48 |
Y:0.07 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
Y:1.16 |
Y:2.60 |
Y:2.67 |
| crexamples-100410/TRS/YAT09/ex11 |
M:0.73 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.07 |
M:0.07 |
M:0.08 |
Y:0.26 |
N:0.68 |
N:0.07 |
N:0.08 |
| crexamples-100410/TRS/YAT09/ex2 |
M:1.22 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.15 |
M:0.08 |
Y:0.08 |
Y:0.08 |
M:0.08 |
Y:1.10 |
Y:6.90 |
Y:13.74 |
| crexamples-100410/TRS/YAT09/ex3 |
M:0.74 |
M:0.08 |
M:1.05 |
M:0.98 |
Y:0.13 |
Y:0.14 |
Y:0.08 |
Y:0.09 |
Y:0.09 |
N:0.73 |
M:1.22 |
M:2.64 |
| crexamples-100410/TRS/YAT09/ex4 |
M:0.68 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.07 |
N:0.74 |
Y:5.80 |
Y:9.45 |
| crexamples-100410/TRS/YAT09/ex5 |
M:0.68 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.09 |
N:0.73 |
Y:3.46 |
Y:3.58 |
| crexamples-100410/TRS/YAT09/ex6 |
M:0.68 |
M:0.08 |
M:1.23 |
M:1.10 |
Y:2.01 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.74 |
M:2.14 |
M:1.23 |
| crexamples-100410/TRS/YAT09/ex7 |
M:0.68 |
M:0.08 |
M:0.08 |
M:0.07 |
Y:27.02 |
Y:70.14 |
Y:0.08 |
Y:0.08 |
Y:0.26 |
N:0.74 |
N:0.10 |
N:0.08 |
| crexamples-100410/TRS/YAT09/ex8 |
Y:0.74 |
M:0.08 |
M:0.09 |
M:0.09 |
M:0.11 |
M:0.07 |
M:0.08 |
M:0.08 |
Y:0.08 |
Y:0.80 |
Y:0.10 |
Y:0.09 |
| crexamples-100410/TRS/YAT09/ex9 |
M:0.74 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:28.08 |
Y:69.95 |
Y:0.07 |
Y:0.08 |
Y:0.26 |
N:0.73 |
N:0.10 |
N:0.09 |
| crexamples-100410/TRS/standards/AC |
M:0.74 |
M:0.09 |
M:0.08 |
M:0.08 |
M:1.46 |
M:1.89 |
Y:0.08 |
Y:0.08 |
Y:0.09 |
N:0.73 |
N:0.10 |
N:0.08 |
| crexamples-100410/TRS/standards/CL |
M:6.88 |
Y:0.07 |
Y:0.08 |
Y:0.08 |
M:0.07 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.02 |
M:6.93 |
Y:0.10 |
Y:0.08 |
| crexamples-100410/TRS/standards/add_AC |
M:0.74 |
M:0.08 |
M:0.08 |
M:0.07 |
M:2.32 |
M:2.24 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.73 |
N:0.10 |
N:0.08 |
| crexamples-100410/TRS/standards/add_C |
M:0.74 |
M:0.08 |
M:1.34 |
M:0.86 |
M:0.08 |
M:0.07 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
N:0.73 |
M:1.84 |
M:1.16 |
| tpdb-8.0-zero-yes/TRS/AProVE_04/JFP_Ex31 |
M:9.77 |
M:0.07 |
M:0.09 |
M:0.09 |
M:0.07 |
M:0.08 |
Y:0.07 |
M:0.10 |
M:0.07 |
M:9.76 |
M:62.58 |
M:60.80 |
| tpdb-8.0-zero-yes/TRS/AProVE_06/div_notTermin |
M:9.76 |
M:0.08 |
M:0.15 |
M:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.07 |
M:9.76 |
M:61.88 |
M:62.27 |
| tpdb-8.0-zero-yes/TRS/AProVE_06/nonterm |
M:1.88 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
N:1.94 |
Y:0.09 |
Y:0.10 |
| tpdb-8.0-zero-yes/TRS/AProVE_08/round_nonterm |
M:1.89 |
M:0.07 |
M:0.09 |
M:0.07 |
M:0.10 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
N:1.85 |
M:1.59 |
M:1.66 |
| tpdb-8.0-zero-yes/TRS/AProVE_09_Inductive/divhard |
M:9.90 |
Y:0.08 |
Y:0.15 |
Y:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.76 |
Y:0.14 |
Y:0.15 |
| tpdb-8.0-zero-yes/TRS/AProVE_09_Inductive/gcdhard |
M:9.77 |
Y:0.08 |
Y:0.14 |
Y:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.09 |
Y:0.07 |
M:9.77 |
Y:0.09 |
Y:0.10 |
| tpdb-8.0-zero-yes/TRS/AProVE_09_Inductive/log |
M:9.76 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.70 |
Y:0.09 |
Y:0.10 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/Zantema06-03-modified |
M:9.70 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.08 |
M:9.76 |
M:61.16 |
M:62.51 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/andIsNat |
M:9.71 |
M:0.09 |
M:60.27 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.08 |
M:9.76 |
M:59.91 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/double |
M:9.72 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.08 |
M:9.76 |
Y:0.09 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/downfrom |
M:9.70 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.76 |
Y:0.08 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/ex1 |
M:9.70 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.09 |
Y:0.07 |
M:9.76 |
Y:0.08 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/ex3 |
M:9.76 |
M:0.09 |
M:59.90 |
M:59.90 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.76 |
M:59.96 |
M:60.26 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/halfdouble |
M:10.27 |
Y:0.08 |
Y:0.09 |
Y:0.09 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.76 |
Y:0.08 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/isList |
M:3.49 |
Y:0.08 |
Y:0.10 |
Y:0.10 |
M:0.11 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:1.22 |
Y:0.10 |
Y:0.10 |
| tpdb-8.0-zero-yes/TRS/AProVE_10/isNat |
M:10.88 |
Y:0.08 |
Y:0.10 |
Y:0.09 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.29 |
Y:0.08 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/Applicative_05/Ex2_8_1ConstSubstFix |
M:8.03 |
Y:0.09 |
Y:0.10 |
Y:0.09 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:7.66 |
Y:0.08 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/Applicative_05/Ex6Recursor |
M:7.66 |
Y:0.08 |
Y:0.11 |
Y:0.09 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:7.85 |
Y:0.08 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/Applicative_05/Hamming |
M:1.94 |
M:0.08 |
M:0.12 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
N:1.95 |
M:61.78 |
Y:0.15 |
| tpdb-8.0-zero-yes/TRS/Applicative_05/TypeEx5 |
M:0.74 |
Y:0.08 |
Y:0.13 |
Y:0.09 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
N:0.73 |
Y:0.12 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/Applicative_first_order_05/minsort |
M:9.76 |
Y:0.19 |
Y:0.43 |
Y:0.28 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.76 |
Y:0.36 |
Y:0.15 |
| tpdb-8.0-zero-yes/TRS/Beerendonk_07/21 |
M:9.71 |
M:0.07 |
M:61.75 |
Y:0.16 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.76 |
M:62.01 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/CiME_04/maude2 |
M:9.83 |
M:0.10 |
M:0.10 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
M:9.76 |
M:61.05 |
M:62.69 |
| tpdb-8.0-zero-yes/TRS/Der95/33 |
M:9.70 |
M:0.08 |
M:0.09 |
M:0.10 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.07 |
M:9.76 |
M:61.40 |
M:61.13 |
| tpdb-8.0-zero-yes/TRS/GTSSK07/cade08 |
M:9.76 |
M:0.08 |
M:0.10 |
M:0.10 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.10 |
M:9.77 |
M:60.40 |
M:59.95 |
| tpdb-8.0-zero-yes/TRS/GTSSK07/cade12t |
M:9.76 |
Y:0.08 |
Y:0.10 |
Y:0.10 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.09 |
Y:0.08 |
M:9.71 |
Y:0.12 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/GTSSK07/cade17 |
M:9.70 |
Y:0.08 |
Y:0.10 |
Y:0.10 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.09 |
M:9.76 |
Y:0.18 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/HirokawaMiddeldorp_04/n004 |
M:0.80 |
Y:0.08 |
Y:0.11 |
Y:0.10 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.68 |
Y:0.09 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/HirokawaMiddeldorp_04/n005 |
M:0.86 |
Y:0.08 |
Y:0.10 |
Y:0.10 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:0.73 |
Y:0.10 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/HirokawaMiddeldorp_04/n006 |
M:0.93 |
Y:0.08 |
Y:0.10 |
Y:0.11 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.09 |
N:0.74 |
Y:0.09 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/HirokawaMiddeldorp_04/n007 |
M:1.10 |
M:0.08 |
M:0.10 |
M:0.10 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.07 |
N:0.73 |
N:0.10 |
N:0.08 |
| tpdb-8.0-zero-yes/TRS/MNZ_10/labelled |
M:22.12 |
T:120.00 |
T:120.00 |
T:120.00 |
M:0.28 |
M:0.20 |
Y:0.20 |
M:0.20 |
T:120.00 |
M:14.51 |
T:120.00 |
T:120.00 |
| tpdb-8.0-zero-yes/TRS/MNZ_10/nrvsq |
M:10.38 |
M:0.07 |
M:0.07 |
M:0.07 |
M:0.07 |
M:0.07 |
M:0.07 |
M:0.08 |
T:120.00 |
M:9.76 |
M:62.84 |
M:62.13 |
| tpdb-8.0-zero-yes/TRS/Mixed_TRS/6 |
M:6.99 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.09 |
Y:0.07 |
M:6.95 |
Y:0.04 |
Y:0.07 |
| tpdb-8.0-zero-yes/TRS/Mixed_TRS/7 |
M:7.49 |
Y:0.09 |
Y:0.07 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.08 |
M:7.48 |
Y:0.10 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/Mixed_TRS/minsort |
M:9.77 |
Y:0.08 |
Y:0.15 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.76 |
Y:0.16 |
Y:0.07 |
| tpdb-8.0-zero-yes/TRS/SK90/2.05 |
M:1.82 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.09 |
Y:0.07 |
N:1.82 |
M:16.11 |
M:8.62 |
| tpdb-8.0-zero-yes/TRS/SK90/4.34 |
M:1.10 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.04 |
Y:0.09 |
Y:0.07 |
| tpdb-8.0-zero-yes/TRS/SK90/4.49 |
M:0.74 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.14 |
N:0.73 |
N:0.09 |
N:0.08 |
| tpdb-8.0-zero-yes/TRS/Secret_05_TRS/tpa5 |
M:9.70 |
M:0.08 |
M:0.10 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.08 |
M:9.77 |
M:61.30 |
M:61.41 |
| tpdb-8.0-zero-yes/TRS/Secret_05_TRS/ttt1 |
M:4.11 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.07 |
N:4.35 |
M:1.76 |
M:1.88 |
| tpdb-8.0-zero-yes/TRS/Secret_05_TRS/ttt2 |
M:1.64 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.59 |
Y:0.09 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/Secret_06_TRS/cime1 |
M:9.88 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.07 |
M:9.76 |
M:61.53 |
M:61.16 |
| tpdb-8.0-zero-yes/TRS/Secret_06_TRS/tpa07 |
M:10.57 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.77 |
Y:0.09 |
Y:0.07 |
| tpdb-8.0-zero-yes/TRS/Secret_06_TRS/tpa08 |
M:10.63 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
M:9.77 |
Y:0.10 |
Y:0.10 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_AG01/#4.12a |
M:1.52 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.07 |
M:0.08 |
M:0.07 |
N:1.16 |
M:2.67 |
M:1.76 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_AG01/#4.17 |
M:2.25 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.69 |
M:0.08 |
Y:0.08 |
Y:0.08 |
M:0.07 |
N:2.12 |
M:2.02 |
M:1.22 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_AG01/#4.7 |
M:2.06 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.07 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.07 |
N:2.12 |
M:1.90 |
M:1.04 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03 |
M:0.74 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:0.73 |
Y:0.18 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex1_GM99 |
M:0.86 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.07 |
N:1.10 |
M:2.30 |
M:1.04 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex1_Luc02b |
M:0.68 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:0.73 |
Y:0.12 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex26_Luc03b |
M:0.74 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:0.74 |
Y:0.12 |
Y:0.09 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97 |
M:0.74 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.08 |
N:0.74 |
Y:0.12 |
Y:0.07 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03 |
M:1.10 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
N:1.22 |
Y:0.13 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03 |
M:0.68 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.08 |
N:0.73 |
Y:0.12 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex8_BLR02 |
M:0.68 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.09 |
Y:0.08 |
N:0.74 |
Y:0.13 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03 |
M:0.74 |
Y:0.08 |
Y:0.18 |
Y:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:0.74 |
Y:0.19 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/ExIntrod_GM04 |
M:0.74 |
Y:0.08 |
Y:0.07 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
N:0.73 |
Y:0.12 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a |
M:0.73 |
M:0.07 |
M:0.07 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
Y:0.07 |
N:0.73 |
N:0.13 |
N:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/ex2 |
M:0.73 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.08 |
N:0.73 |
N:0.13 |
N:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/ex4 |
M:1.10 |
M:0.08 |
M:0.81 |
M:0.92 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.09 |
Y:0.08 |
N:1.17 |
M:2.24 |
M:1.10 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/ex6 |
M:2.00 |
M:0.08 |
M:0.07 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.07 |
N:1.88 |
M:2.27 |
M:1.24 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/gkg |
M:1.46 |
M:0.08 |
M:0.07 |
M:0.09 |
M:0.10 |
M:0.08 |
M:0.08 |
M:0.08 |
Y:0.08 |
N:1.23 |
N:0.04 |
N:0.08 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/test10 |
M:1.89 |
M:0.09 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.09 |
M:0.07 |
N:1.82 |
M:1.91 |
M:1.10 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/test75 |
M:1.28 |
M:0.07 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.08 |
N:1.28 |
M:2.07 |
M:1.46 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/test76 |
M:9.72 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.08 |
M:9.76 |
M:60.26 |
M:59.95 |
| tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/test9 |
M:1.22 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.09 |
Y:0.08 |
M:0.09 |
M:0.08 |
N:1.16 |
M:1.58 |
M:2.00 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex1_GM03_GM |
M:9.71 |
M:0.10 |
M:0.15 |
M:0.08 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.09 |
M:0.08 |
M:9.76 |
M:60.85 |
M:62.88 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex1_GM03_Z |
M:0.74 |
M:0.07 |
M:0.07 |
M:0.08 |
M:0.09 |
M:0.09 |
Y:0.08 |
M:0.08 |
M:0.08 |
N:0.74 |
N:0.11 |
N:0.10 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex24_Luc06_FR |
M:1.82 |
M:0.10 |
M:0.08 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.08 |
N:1.52 |
M:1.06 |
M:2.21 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex24_Luc06_GM |
M:1.84 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.09 |
M:0.08 |
N:2.06 |
M:1.04 |
M:1.97 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM |
M:9.77 |
M:0.09 |
M:0.15 |
M:0.14 |
M:0.09 |
M:0.09 |
Y:0.08 |
M:0.08 |
M:0.08 |
M:9.76 |
M:60.85 |
M:61.23 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM |
M:10.32 |
M:0.09 |
M:0.13 |
M:0.20 |
M:0.09 |
M:0.09 |
Y:0.08 |
M:0.08 |
M:0.14 |
M:9.77 |
M:63.58 |
M:61.16 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR |
M:10.95 |
M:0.08 |
M:0.07 |
M:0.13 |
M:0.09 |
M:0.09 |
Y:0.08 |
M:0.08 |
M:0.07 |
M:9.76 |
M:63.31 |
M:61.11 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex6_15_AEL02_C |
M:10.02 |
M:0.08 |
M:0.68 |
M:0.73 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.09 |
M:0.39 |
M:9.82 |
M:70.58 |
M:65.37 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM |
M:9.76 |
M:0.08 |
M:0.19 |
M:0.25 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.13 |
M:9.76 |
M:62.12 |
M:62.13 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex7_BLR02_GM |
M:9.82 |
M:0.09 |
M:0.07 |
M:0.07 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.09 |
M:0.08 |
M:9.77 |
M:61.10 |
M:62.51 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/Ex9_Luc06_FR |
M:1.82 |
M:0.09 |
M:0.07 |
M:0.08 |
M:0.09 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.08 |
N:1.82 |
M:1.35 |
M:1.47 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/ExIntrod_GM99_Z |
M:2.18 |
M:0.08 |
M:0.07 |
M:0.09 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.09 |
M:0.07 |
N:2.24 |
M:13.70 |
M:6.82 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR |
M:9.94 |
M:1.40 |
M:2.25 |
M:2.25 |
M:0.09 |
M:0.09 |
Y:0.08 |
M:0.08 |
M:1.16 |
M:9.92 |
M:67.77 |
M:64.29 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z |
M:10.75 |
M:1.48 |
M:2.24 |
M:2.37 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.09 |
M:1.16 |
M:9.88 |
M:63.68 |
M:66.15 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR |
M:10.94 |
M:0.50 |
M:0.97 |
M:0.97 |
M:0.10 |
M:0.08 |
Y:0.09 |
M:0.08 |
M:0.56 |
M:9.82 |
M:63.39 |
M:67.02 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C |
M:10.06 |
M:0.11 |
M:2.18 |
M:2.72 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:1.23 |
M:9.88 |
M:79.82 |
M:71.51 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM |
M:9.76 |
M:0.08 |
M:0.80 |
M:1.04 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.49 |
M:9.82 |
M:62.60 |
M:64.06 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR |
M:9.76 |
M:0.11 |
M:0.19 |
M:0.20 |
M:0.09 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.13 |
M:9.76 |
M:61.40 |
M:63.37 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z |
M:9.77 |
M:0.09 |
M:0.13 |
M:0.14 |
M:0.10 |
M:0.08 |
Y:0.08 |
M:0.09 |
M:0.07 |
M:9.76 |
M:60.93 |
M:61.46 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM |
M:9.76 |
M:0.09 |
M:0.14 |
M:0.14 |
T:120.00 |
M:0.26 |
Y:0.08 |
Y:0.08 |
M:0.08 |
M:9.76 |
M:64.06 |
M:62.49 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C |
M:9.77 |
M:0.09 |
M:0.14 |
M:0.14 |
M:2.37 |
M:0.14 |
Y:0.08 |
Y:0.08 |
M:0.07 |
M:9.76 |
M:63.65 |
M:62.18 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM |
M:9.76 |
M:0.09 |
M:0.19 |
M:0.20 |
M:0.22 |
M:0.09 |
Y:0.08 |
M:0.09 |
M:0.14 |
M:9.76 |
M:63.11 |
M:63.54 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM |
M:9.95 |
M:0.09 |
M:0.80 |
M:0.98 |
M:0.20 |
M:0.08 |
Y:0.08 |
M:0.08 |
M:0.43 |
M:9.82 |
T:120.00 |
T:120.00 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z |
M:2.92 |
M:0.08 |
M:0.07 |
M:0.08 |
M:1.58 |
M:0.08 |
Y:0.08 |
Y:0.08 |
M:0.07 |
N:1.88 |
M:10.93 |
M:21.22 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM |
M:11.26 |
M:0.08 |
M:0.20 |
M:0.26 |
T:120.00 |
M:0.50 |
Y:0.08 |
Y:0.09 |
M:0.14 |
M:9.77 |
M:71.78 |
M:68.33 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L |
M:1.29 |
M:0.09 |
M:0.07 |
M:0.09 |
T:120.00 |
M:0.20 |
Y:0.08 |
Y:0.08 |
M:0.07 |
N:0.73 |
N:0.11 |
N:0.08 |
| tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L |
M:1.23 |
M:0.10 |
M:0.07 |
M:0.09 |
T:120.00 |
M:1.09 |
Y:0.08 |
Y:0.08 |
M:0.14 |
N:0.73 |
N:0.09 |
N:0.08 |
| tpdb-8.0-zero-yes/TRS/Various_04/04 |
M:7.73 |
M:0.09 |
M:0.09 |
M:0.09 |
M:0.07 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.13 |
M:7.05 |
M:62.26 |
M:60.44 |
| tpdb-8.0-zero-yes/TRS/Various_04/08 |
M:9.70 |
M:0.07 |
M:0.09 |
M:0.09 |
M:0.07 |
M:0.08 |
M:0.08 |
M:0.08 |
M:0.14 |
M:9.82 |
M:62.15 |
M:61.09 |
| tpdb-8.0-zero-yes/TRS/Waldmann_06/jwno4 |
M:1.58 |
Y:0.09 |
Y:0.09 |
Y:0.09 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.07 |
N:1.34 |
Y:0.08 |
Y:0.07 |
| tpdb-8.0-zero-yes/TRS/Waldmann_06/jwno5 |
M:6.87 |
Y:0.04 |
Y:0.09 |
Y:0.09 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
Y:0.08 |
M:6.93 |
Y:0.08 |
Y:0.08 |
| tpdb-8.0-zero-yes/TRS/Waldmann_06/jwno7 |
M:9.70 |
Y:0.08 |
Y:0.09 |
Y:0.09 |
Y:0.09 |
Y:0.08 |
Y:0.08 |
Y:0.09 |
Y:0.07 |
M:9.59 |
Y:0.08 |
Y:0.08 |