| problem |
direct |
modular |
| TRS/AG01/#3.12 |
5.128 |
5.72 |
| TRS/AG01/#3.15 |
0.354 |
0.43 |
| TRS/AG01/#3.17 |
5.151 |
6.907 |
| TRS/AG01/#3.17a |
5.166 |
7.735 |
| TRS/AG01/#3.24 |
0.229 |
0.262 |
| TRS/AG01/#3.26 |
5.117 |
7.753 |
| TRS/AG01/#3.33 |
0.221 |
0.516 |
| TRS/AG01/#3.35 |
0.3 |
0.384 |
| TRS/AG01/#3.37 |
0.217 |
0.425 |
| TRS/AG01/#3.49 |
60.0 |
60.0 |
| TRS/AG01/#3.51 |
0.252 |
0.723 |
| TRS/AG01/#3.56 |
0.344 |
0.973 |
| TRS/AG01/#3.7 |
0.376 |
0.443 |
| TRS/AProVE_04/LPAR_intlist |
60.0 |
60.0 |
| TRS/AProVE_04/Liveness6.1 |
60.0 |
60.0 |
| TRS/AProVE_04/Liveness6.2 |
60.0 |
60.0 |
| TRS/AProVE_04/Liveness6.3 |
60.0 |
60.0 |
| TRS/AProVE_04/Liveness6.4 |
60.0 |
60.0 |
| TRS/AProVE_04/Liveness8 |
15.073 |
21.978 |
| TRS/AProVE_04/Liveness_WRS |
5.435 |
17.964 |
| TRS/AProVE_06/identity |
5.31 |
5.563 |
| TRS/AProVE_06/nonterm |
5.153 |
16.679 |
| TRS/AProVE_06/tower_sizeChange |
5.151 |
14.671 |
| TRS/AProVE_08/round |
5.14 |
5.211 |
| TRS/AProVE_08/round_nonterm |
5.134 |
13.188 |
| problem |
direct |
modular |
| TRS/AotoYamada_05/005 |
0.36 |
0.453 |
| TRS/AotoYamada_05/017 |
0.156 |
0.146 |
| TRS/AotoYamada_05/023 |
0.293 |
0.343 |
| TRS/AotoYamada_05/025 |
0.153 |
0.137 |
| TRS/Applicative_05/Ex2_6_1Composition |
0.157 |
0.159 |
| TRS/Applicative_05/ReverseLastInit |
5.161 |
5.739 |
| TRS/Applicative_05/TypeEx5 |
5.122 |
5.186 |
| TRS/Bouchare_06/01 |
0.403 |
0.494 |
| TRS/Bouchare_06/02 |
0.324 |
0.373 |
| TRS/Bouchare_06/03 |
19.878 |
52.709 |
| TRS/Bouchare_06/04 |
0.474 |
0.597 |
| TRS/Bouchare_06/05 |
8.277 |
1.701 |
| TRS/Bouchare_06/06 |
60.0 |
60.0 |
| TRS/Bouchare_06/07 |
27.992 |
60.0 |
| TRS/Bouchare_06/08 |
11.868 |
60.0 |
| TRS/Bouchare_06/09 |
5.132 |
5.724 |
| TRS/Bouchare_06/10 |
5.755 |
60.0 |
| TRS/Bouchare_06/11 |
5.116 |
5.256 |
| TRS/Bouchare_06/12 |
24.106 |
1.253 |
| TRS/Bouchare_06/13 |
9.308 |
11.161 |
| TRS/Bouchare_06/14 |
0.331 |
0.4 |
| TRS/Bouchare_06/15 |
0.854 |
0.561 |
| TRS/Bouchare_06/16 |
0.347 |
0.398 |
| TRS/Bouchare_06/17 |
0.382 |
0.504 |
| TRS/Bouchare_06/18 |
8.099 |
11.961 |
| problem |
direct |
modular |
| TRS/CiME_04/dpqs |
0.232 |
0.49 |
| TRS/CiME_04/filliatre |
60.0 |
60.0 |
| TRS/CiME_04/filliatre2 |
24.385 |
24.768 |
| TRS/Der95/01 |
0.183 |
0.2 |
| TRS/Der95/02 |
0.16 |
0.179 |
| TRS/Der95/03 |
0.15 |
0.134 |
| TRS/Der95/04 |
0.148 |
0.201 |
| TRS/Der95/06 |
5.129 |
5.179 |
| TRS/Der95/07 |
0.262 |
0.977 |
| TRS/Der95/09 |
0.186 |
0.169 |
| TRS/Der95/17 |
5.145 |
5.758 |
| TRS/Der95/20 |
5.126 |
5.211 |
| TRS/Der95/27 |
0.182 |
0.212 |
| TRS/Endrullis_06/direct |
0.271 |
0.661 |
| TRS/Endrullis_06/linear1 |
5.131 |
18.434 |
| TRS/Endrullis_06/linear2 |
30.381 |
60.0 |
| TRS/Endrullis_06/pair3rotate |
60.0 |
60.0 |
| TRS/Endrullis_06/pair3swap |
60.0 |
60.0 |
| TRS/Endrullis_06/quadruple1 |
0.186 |
0.175 |
| TRS/Endrullis_06/quadruple2 |
0.175 |
0.169 |
| TRS/Gebhardt_06/01 |
60.0 |
60.0 |
| TRS/Gebhardt_06/02 |
30.529 |
60.0 |
| TRS/Gebhardt_06/03 |
60.0 |
60.0 |
| TRS/Gebhardt_06/04 |
60.0 |
60.0 |
| TRS/Gebhardt_06/05 |
60.0 |
60.0 |
| problem |
direct |
modular |
| TRS/Gebhardt_06/06 |
60.0 |
60.0 |
| TRS/Gebhardt_06/07 |
60.0 |
60.0 |
| TRS/Gebhardt_06/08 |
60.0 |
60.0 |
| TRS/Gebhardt_06/09 |
60.0 |
60.0 |
| TRS/Gebhardt_06/10 |
60.0 |
60.0 |
| TRS/Gebhardt_06/11 |
60.0 |
60.0 |
| TRS/Gebhardt_06/12 |
60.0 |
60.0 |
| TRS/Gebhardt_06/13 |
60.0 |
60.0 |
| TRS/Gebhardt_06/14 |
51.511 |
60.0 |
| TRS/Gebhardt_06/15 |
60.0 |
60.0 |
| TRS/Gebhardt_06/16 |
60.0 |
60.0 |
| TRS/Gebhardt_06/17 |
60.0 |
60.0 |
| TRS/Gebhardt_06/18 |
60.0 |
60.0 |
| TRS/Gebhardt_06/19 |
60.0 |
60.0 |
| TRS/Gebhardt_06/20 |
60.0 |
60.0 |
| TRS/HirokawaMiddeldorp_04/n002 |
5.113 |
5.114 |
| TRS/HirokawaMiddeldorp_04/n003 |
5.117 |
5.115 |
| TRS/HirokawaMiddeldorp_04/n004 |
5.115 |
5.129 |
| TRS/HirokawaMiddeldorp_04/n005 |
5.114 |
5.126 |
| TRS/HirokawaMiddeldorp_04/n006 |
5.127 |
5.115 |
| TRS/HirokawaMiddeldorp_04/n008 |
5.116 |
5.159 |
| TRS/HirokawaMiddeldorp_04/t000 |
5.309 |
6.604 |
| TRS/HirokawaMiddeldorp_04/t004 |
5.121 |
5.199 |
| TRS/HirokawaMiddeldorp_04/t006 |
0.144 |
0.14 |
| TRS/HirokawaMiddeldorp_04/t007 |
0.179 |
0.294 |
| problem |
direct |
modular |
| TRS/HirokawaMiddeldorp_04/t008 |
10.298 |
9.12 |
| TRS/HirokawaMiddeldorp_04/t009 |
28.965 |
60.0 |
| TRS/HirokawaMiddeldorp_04/t010 |
0.169 |
0.222 |
| TRS/HirokawaMiddeldorp_04/t011 |
0.192 |
0.259 |
| TRS/HirokawaMiddeldorp_04/t012 |
5.13 |
5.345 |
| TRS/Mixed_SRS/01-oppelt08 |
60.0 |
60.0 |
| TRS/Mixed_SRS/01 |
29.13 |
60.0 |
| TRS/Mixed_SRS/02-oppelt08 |
12.83 |
60.0 |
| TRS/Mixed_SRS/02 |
60.0 |
60.0 |
| TRS/Mixed_SRS/03-oppelt08 |
8.015 |
60.0 |
| TRS/Mixed_SRS/03 |
20.113 |
60.0 |
| TRS/Mixed_SRS/04-oppelt08 |
17.808 |
44.914 |
| TRS/Mixed_SRS/04 |
38.047 |
60.0 |
| TRS/Mixed_SRS/05-oppelt08 |
23.146 |
60.0 |
| TRS/Mixed_SRS/05 |
19.068 |
60.0 |
| TRS/Mixed_SRS/06-oppelt08 |
15.885 |
60.0 |
| TRS/Mixed_SRS/06 |
14.438 |
60.0 |
| TRS/Mixed_SRS/07-oppelt08 |
60.0 |
60.0 |
| TRS/Mixed_SRS/07 |
5.124 |
8.857 |
| TRS/Mixed_SRS/08-oppelt08 |
60.0 |
60.0 |
| TRS/Mixed_SRS/08 |
34.48 |
60.0 |
| TRS/Mixed_SRS/09 |
22.548 |
21.85 |
| TRS/Mixed_SRS/1 |
11.59 |
16.349 |
| TRS/Mixed_SRS/2 |
58.841 |
60.0 |
| TRS/Mixed_SRS/3 |
1.234 |
1.541 |
| problem |
direct |
modular |
| TRS/Mixed_SRS/4 |
60.0 |
60.0 |
| TRS/Mixed_SRS/s6 |
55.497 |
13.055 |
| TRS/Mixed_SRS/touzet |
5.117 |
5.253 |
| TRS/Mixed_SRS/turing_add |
0.571 |
3.013 |
| TRS/Mixed_SRS/turing_copy |
36.164 |
60.0 |
| TRS/Mixed_SRS/turing_mult |
60.0 |
60.0 |
| TRS/Mixed_TRS/1 |
0.159 |
0.155 |
| TRS/Mixed_TRS/2 |
5.118 |
5.12 |
| TRS/Mixed_TRS/4 |
0.158 |
0.161 |
| TRS/Mixed_TRS/6 |
5.118 |
5.13 |
| TRS/Mixed_TRS/Ex1_Luc04b_GM |
16.071 |
60.0 |
| TRS/Mixed_TRS/beans |
60.0 |
60.0 |
| TRS/Mixed_TRS/jones1 |
0.221 |
0.269 |
| TRS/Mixed_TRS/jones4 |
0.158 |
0.223 |
| TRS/Mixed_TRS/jones6 |
0.267 |
0.785 |
| TRS/Rubio_04/aoto |
0.288 |
0.352 |
| TRS/Rubio_04/bintrees |
0.308 |
0.384 |
| TRS/Rubio_04/bn129 |
5.126 |
5.185 |
| TRS/Rubio_04/gmnp |
0.213 |
0.624 |
| TRS/Rubio_04/koen |
0.143 |
0.193 |
| TRS/Rubio_04/lescanne |
0.251 |
0.303 |
| TRS/Rubio_04/lindau |
0.189 |
0.405 |
| TRS/Rubio_04/mfp90b |
0.157 |
0.195 |
| TRS/Rubio_04/mfp95 |
0.145 |
0.146 |
| TRS/Rubio_04/nestrec |
5.115 |
5.192 |
| problem |
direct |
modular |
| TRS/Rubio_04/p266 |
0.253 |
0.386 |
| TRS/Rubio_04/test4 |
0.206 |
0.252 |
| TRS/Rubio_04/test829 |
0.242 |
0.211 |
| TRS/SK90/2.01 |
0.333 |
0.762 |
| TRS/SK90/2.02 |
5.126 |
5.196 |
| TRS/SK90/2.03 |
0.256 |
0.683 |
| TRS/SK90/2.04 |
0.216 |
0.273 |
| TRS/SK90/2.06 |
0.295 |
0.424 |
| TRS/SK90/2.09 |
0.202 |
0.549 |
| TRS/SK90/2.10 |
5.134 |
5.687 |
| TRS/SK90/2.11 |
0.255 |
0.378 |
| TRS/SK90/2.14 |
5.148 |
5.251 |
| TRS/SK90/2.31 |
0.305 |
0.826 |
| TRS/SK90/2.33 |
0.289 |
0.444 |
| TRS/SK90/2.34 |
5.144 |
5.257 |
| TRS/SK90/2.36 |
0.228 |
0.257 |
| TRS/SK90/2.38 |
0.261 |
0.302 |
| TRS/SK90/2.39 |
5.131 |
5.659 |
| TRS/SK90/2.41 |
0.335 |
0.605 |
| TRS/SK90/2.42 |
5.137 |
6.306 |
| TRS/SK90/2.46 |
0.257 |
0.332 |
| TRS/SK90/2.47 |
0.206 |
0.249 |
| TRS/SK90/2.48 |
0.194 |
0.243 |
| TRS/SK90/2.49 |
0.262 |
0.655 |
| TRS/SK90/2.50 |
5.117 |
5.128 |
| problem |
direct |
modular |
| TRS/SK90/2.53 |
0.233 |
0.319 |
| TRS/SK90/2.54 |
0.18 |
0.218 |
| TRS/SK90/2.55 |
0.199 |
0.228 |
| TRS/SK90/2.56 |
0.164 |
0.188 |
| TRS/SK90/2.60 |
0.16 |
0.177 |
| TRS/SK90/2.61 |
0.257 |
0.52 |
| TRS/SK90/4.01 |
0.159 |
0.219 |
| TRS/SK90/4.04 |
0.278 |
0.343 |
| TRS/SK90/4.07 |
0.238 |
0.345 |
| TRS/SK90/4.08 |
0.179 |
0.225 |
| TRS/SK90/4.11 |
0.242 |
0.314 |
| TRS/SK90/4.12 |
0.264 |
0.31 |
| TRS/SK90/4.15 |
0.173 |
0.23 |
| TRS/SK90/4.16 |
0.247 |
0.921 |
| TRS/SK90/4.19 |
0.153 |
0.15 |
| TRS/SK90/4.25 |
0.252 |
0.293 |
| TRS/SK90/4.26 |
5.132 |
5.722 |
| TRS/SK90/4.27 |
23.477 |
60.0 |
| TRS/SK90/4.29 |
0.319 |
0.814 |
| TRS/SK90/4.30 |
60.0 |
4.121 |
| TRS/SK90/4.32 |
5.135 |
60.0 |
| TRS/SK90/4.33 |
0.159 |
0.163 |
| TRS/SK90/4.34 |
5.129 |
5.13 |
| TRS/SK90/4.35 |
0.157 |
0.165 |
| TRS/SK90/4.36 |
0.168 |
0.166 |
| problem |
direct |
modular |
| TRS/SK90/4.37 |
0.154 |
0.155 |
| TRS/SK90/4.38 |
0.285 |
0.362 |
| TRS/SK90/4.39 |
0.235 |
0.24 |
| TRS/SK90/4.43 |
5.15 |
6.917 |
| TRS/SK90/4.44 |
0.187 |
0.263 |
| TRS/SK90/4.45 |
0.139 |
0.176 |
| TRS/SK90/4.46 |
0.159 |
0.216 |
| TRS/SK90/4.47 |
0.24 |
0.442 |
| TRS/SK90/4.48 |
0.157 |
0.157 |
| TRS/SK90/4.51 |
0.381 |
0.62 |
| TRS/SK90/4.52 |
0.47 |
1.213 |
| TRS/SK90/4.55 |
0.19 |
0.22 |
| TRS/SK90/4.56 |
0.17 |
0.216 |
| TRS/Secret_05_SRS/aprove1 |
37.191 |
60.0 |
| TRS/Secret_05_SRS/aprove2 |
60.0 |
60.0 |
| TRS/Secret_05_SRS/aprove3 |
60.0 |
60.0 |
| TRS/Secret_05_SRS/aprove4 |
60.0 |
60.0 |
| TRS/Secret_05_SRS/aprove5 |
8.372 |
60.0 |
| TRS/Secret_05_SRS/jambox1 |
19.873 |
60.0 |
| TRS/Secret_05_SRS/jambox2 |
21.168 |
60.0 |
| TRS/Secret_05_SRS/jambox3 |
5.13 |
60.0 |
| TRS/Secret_05_SRS/jambox4 |
8.359 |
31.682 |
| TRS/Secret_05_SRS/jambox5 |
5.124 |
22.344 |
| TRS/Secret_05_SRS/matchbox1 |
5.133 |
34.817 |
| TRS/Secret_05_SRS/matchbox2 |
0.884 |
1.567 |
| problem |
direct |
modular |
| TRS/Secret_05_SRS/torpa1 |
20.206 |
60.0 |
| TRS/Secret_05_SRS/torpa2 |
49.22 |
60.0 |
| TRS/Secret_05_SRS/torpa3 |
11.028 |
0.913 |
| TRS/Secret_05_SRS/torpa4 |
5.139 |
60.0 |
| TRS/Secret_05_TRS/matchbox2 |
0.14 |
0.144 |
| TRS/Secret_05_TRS/teparla1 |
5.906 |
7.097 |
| TRS/Secret_05_TRS/teparla2 |
5.127 |
5.124 |
| TRS/Secret_05_TRS/teparla3 |
5.128 |
5.127 |
| TRS/Secret_05_TRS/ttt2 |
5.132 |
5.173 |
| TRS/Secret_06_SRS/1-matchbox |
26.239 |
60.0 |
| TRS/Secret_06_SRS/1 |
5.123 |
15.826 |
| TRS/Secret_06_SRS/10 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/2-matchbox |
60.0 |
60.0 |
| TRS/Secret_06_SRS/2 |
39.826 |
60.0 |
| TRS/Secret_06_SRS/3-matchbox |
60.0 |
60.0 |
| TRS/Secret_06_SRS/3 |
6.264 |
16.516 |
| TRS/Secret_06_SRS/5-matchbox |
60.0 |
60.0 |
| TRS/Secret_06_SRS/5 |
18.043 |
22.248 |
| TRS/Secret_06_SRS/6 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/7 |
33.954 |
60.0 |
| TRS/Secret_06_SRS/8 |
23.53 |
60.0 |
| TRS/Secret_06_SRS/9 |
43.08 |
60.0 |
| TRS/Secret_06_SRS/aprove00 |
41.262 |
60.0 |
| TRS/Secret_06_SRS/aprove01 |
35.336 |
60.0 |
| TRS/Secret_06_SRS/aprove02 |
60.0 |
60.0 |
| problem |
direct |
modular |
| TRS/Secret_06_SRS/aprove03 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/aprove04 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/aprove05 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/aprove06 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/aprove07 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/aprove08 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/aprove09 |
31.924 |
60.0 |
| TRS/Secret_06_SRS/multum1 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/multum2 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/multum3 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/multum4 |
2.582 |
2.734 |
| TRS/Secret_06_SRS/multum5 |
15.112 |
60.0 |
| TRS/Secret_06_SRS/multum6 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/secr1 |
5.122 |
5.262 |
| TRS/Secret_06_SRS/secr10 |
60.0 |
60.0 |
| TRS/Secret_06_SRS/secr2 |
5.128 |
24.791 |
| TRS/Secret_06_SRS/secr3 |
28.476 |
60.0 |
| TRS/Secret_06_SRS/secr4 |
5.134 |
60.0 |
| TRS/Secret_06_SRS/secr5 |
30.357 |
60.0 |
| TRS/Secret_06_SRS/secr6 |
5.126 |
52.63 |
| TRS/Secret_06_SRS/secr7 |
5.119 |
6.229 |
| TRS/Secret_06_SRS/secr8 |
5.128 |
15.541 |
| TRS/Secret_06_SRS/secr9 |
22.286 |
58.712 |
| TRS/Secret_06_TRS/10 |
0.222 |
0.494 |
| TRS/Secret_06_TRS/2 |
34.155 |
48.434 |
| problem |
direct |
modular |
| TRS/Secret_06_TRS/3 |
5.138 |
5.26 |
| TRS/Secret_06_TRS/4 |
5.13 |
9.629 |
| TRS/Secret_06_TRS/5 |
5.124 |
5.205 |
| TRS/Secret_06_TRS/6 |
0.663 |
0.796 |
| TRS/Secret_06_TRS/7 |
60.0 |
1.805 |
| TRS/Secret_06_TRS/8 |
0.186 |
0.416 |
| TRS/Secret_06_TRS/9 |
0.173 |
0.357 |
| TRS/Secret_06_TRS/tpa01 |
5.117 |
5.123 |
| TRS/Secret_06_TRS/tpa02 |
5.121 |
5.131 |
| TRS/Secret_06_TRS/tpa03 |
5.119 |
5.121 |
| TRS/Secret_07_SRS/dj |
5.124 |
7.56 |
| TRS/Secret_07_SRS/num-514 |
60.0 |
60.0 |
| TRS/Secret_07_SRS/num-515 |
5.122 |
14.205 |
| TRS/Secret_07_SRS/num-518 |
60.0 |
60.0 |
| TRS/Secret_07_SRS/num-519 |
19.212 |
43.267 |
| TRS/Secret_07_SRS/num-520 |
60.0 |
60.0 |
| TRS/Secret_07_SRS/num-521 |
60.0 |
60.0 |
| TRS/Secret_07_SRS/num-525 |
59.192 |
60.0 |
| TRS/Secret_07_SRS/num-527 |
42.886 |
60.0 |
| TRS/Secret_07_SRS/num-530 |
60.0 |
60.0 |
| TRS/Secret_07_SRS/num-539 |
60.0 |
60.0 |
| TRS/Secret_07_SRS/x01 |
5.138 |
12.143 |
| TRS/Secret_07_SRS/x02 |
5.123 |
6.573 |
| TRS/Secret_07_SRS/x03 |
5.121 |
60.0 |
| TRS/Secret_07_SRS/x04 |
21.0 |
60.0 |
| problem |
direct |
modular |
| TRS/Secret_07_SRS/x05 |
11.567 |
29.373 |
| TRS/Secret_07_SRS/x06 |
5.132 |
19.281 |
| TRS/Secret_07_SRS/x07 |
13.464 |
23.545 |
| TRS/Secret_07_SRS/x08 |
7.578 |
60.0 |
| TRS/Secret_07_SRS/x09 |
15.09 |
46.467 |
| TRS/Secret_07_SRS/x10 |
17.751 |
26.062 |
| TRS/Secret_07_TRS/1 |
5.15 |
5.378 |
| TRS/Secret_07_TRS/2 |
27.368 |
24.67 |
| TRS/Secret_07_TRS/3 |
5.157 |
25.673 |
| TRS/Secret_07_TRS/4 |
5.143 |
10.312 |
| TRS/Secret_07_TRS/5 |
9.128 |
60.0 |
| TRS/Secret_07_TRS/7 |
5.342 |
5.244 |
| TRS/Strategy_removed_AG01/#4.17 |
60.0 |
60.0 |
| TRS/Strategy_removed_AG01/#4.18 |
60.0 |
60.0 |
| TRS/Strategy_removed_AG01/#4.20 |
0.212 |
0.277 |
| TRS/Strategy_removed_AG01/#4.20a |
0.251 |
0.258 |
| TRS/Strategy_removed_AG01/#4.21 |
0.345 |
0.473 |
| TRS/Strategy_removed_AG01/#4.25 |
5.116 |
5.165 |
| TRS/Strategy_removed_AG01/#4.28 |
15.088 |
6.524 |
| TRS/Strategy_removed_AG01/#4.37 |
0.188 |
0.243 |
| TRS/Strategy_removed_AG01/#4.37a |
0.175 |
0.354 |
| TRS/Strategy_removed_CSR_05/Ex1_Zan97 |
5.127 |
5.18 |
| TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03 |
5.125 |
5.194 |
| TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03 |
5.119 |
5.172 |
| TRS/Strategy_removed_CSR_05/Ex5_Zan97 |
5.122 |
5.192 |
| problem |
direct |
modular |
| TRS/Strategy_removed_CSR_05/Ex6_GM04 |
5.121 |
5.169 |
| TRS/Strategy_removed_CSR_05/ExConc_Zan97 |
5.122 |
5.117 |
| TRS/Strategy_removed_CSR_05/ExIntrod_GM01 |
5.14 |
5.321 |
| TRS/Strategy_removed_CSR_05/ExIntrod_GM04 |
5.13 |
5.298 |
| TRS/Strategy_removed_mixed_05/ex1 |
5.132 |
5.207 |
| TRS/Strategy_removed_mixed_05/ex3 |
5.122 |
5.288 |
| TRS/Strategy_removed_mixed_05/ex4 |
5.118 |
5.173 |
| TRS/Strategy_removed_mixed_05/ex5 |
5.118 |
5.172 |
| TRS/Strategy_removed_mixed_05/ex6 |
5.126 |
5.263 |
| TRS/Strategy_removed_mixed_05/gkg |
5.12 |
5.174 |
| TRS/Strategy_removed_mixed_05/n001 |
5.12 |
5.185 |
| TRS/Strategy_removed_mixed_05/test830 |
0.182 |
0.321 |
| TRS/TCT_09/ackhofbauer |
5.126 |
5.19 |
| TRS/TCT_09/add |
0.188 |
0.217 |
| TRS/TCT_09/append |
0.193 |
0.238 |
| TRS/TCT_09/bits |
12.874 |
6.47 |
| TRS/TCT_09/expantiinn |
5.122 |
5.279 |
| TRS/TCT_09/ma2 |
0.222 |
0.254 |
| TRS/TCT_09/ma3 |
0.156 |
0.201 |
| TRS/TCT_09/ma5 |
5.121 |
5.277 |
| TRS/TCT_09/ma9 |
0.179 |
0.261 |
| TRS/TCT_09/revappend |
5.128 |
5.681 |
| TRS/TCT_09/shuffle |
5.13 |
6.249 |
| TRS/TCT_09/supexpdg |
5.556 |
60.0 |
| TRS/TCT_09/supexpur |
5.123 |
5.249 |
| problem |
direct |
modular |
| TRS/TCT_09/z86 |
60.0 |
60.0 |
| TRS/Trafo_06/dup01 |
60.0 |
60.0 |
| TRS/Trafo_06/dup05 |
60.0 |
60.0 |
| TRS/Trafo_06/dup06 |
60.0 |
60.0 |
| TRS/Trafo_06/dup07 |
60.0 |
60.0 |
| TRS/Trafo_06/dup08 |
60.0 |
60.0 |
| TRS/Trafo_06/dup09 |
60.0 |
60.0 |
| TRS/Trafo_06/dup10 |
60.0 |
60.0 |
| TRS/Trafo_06/dup11 |
60.0 |
60.0 |
| TRS/Trafo_06/dup12 |
60.0 |
60.0 |
| TRS/Trafo_06/dup13 |
60.0 |
60.0 |
| TRS/Trafo_06/dup14 |
60.0 |
60.0 |
| TRS/Trafo_06/dup15 |
60.0 |
60.0 |
| TRS/Trafo_06/dup16 |
60.0 |
60.0 |
| TRS/Trafo_06/dup17 |
33.304 |
60.0 |
| TRS/Trafo_06/hom01 |
60.0 |
60.0 |
| TRS/Trafo_06/hom02 |
5.13 |
60.0 |
| TRS/Trafo_06/hom03 |
60.0 |
60.0 |
| TRS/Trafo_06/un02 |
26.704 |
60.0 |
| TRS/Trafo_06/un04 |
60.0 |
60.0 |
| TRS/Trafo_06/un05 |
60.0 |
60.0 |
| TRS/Trafo_06/un06 |
60.0 |
60.0 |
| TRS/Trafo_06/un07 |
13.239 |
60.0 |
| TRS/Trafo_06/un08 |
14.657 |
39.088 |
| TRS/Trafo_06/un09 |
60.0 |
60.0 |
| problem |
direct |
modular |
| TRS/Trafo_06/un10 |
60.0 |
60.0 |
| TRS/Trafo_06/un11 |
60.0 |
60.0 |
| TRS/Trafo_06/un12 |
60.0 |
60.0 |
| TRS/Trafo_06/un13 |
60.0 |
60.0 |
| TRS/Trafo_06/un14 |
60.0 |
60.0 |
| TRS/Trafo_06/un15 |
60.0 |
60.0 |
| TRS/Trafo_06/un16 |
60.0 |
60.0 |
| TRS/Trafo_06/un17 |
60.0 |
60.0 |
| TRS/Trafo_06/un18 |
22.849 |
60.0 |
| TRS/Transformed_CSR_04/Ex14_AEGL02_L |
5.118 |
5.249 |
| TRS/Transformed_CSR_04/Ex14_Luc06_L |
5.119 |
5.18 |
| TRS/Transformed_CSR_04/Ex15_Luc06_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex15_Luc06_FR |
0.371 |
0.807 |
| TRS/Transformed_CSR_04/Ex15_Luc06_GM |
0.547 |
0.726 |
| TRS/Transformed_CSR_04/Ex15_Luc06_L |
5.115 |
5.128 |
| TRS/Transformed_CSR_04/Ex15_Luc06_Z |
0.299 |
0.473 |
| TRS/Transformed_CSR_04/Ex15_Luc06_iGM |
0.826 |
1.68 |
| TRS/Transformed_CSR_04/Ex16_Luc06_C |
23.135 |
60.0 |
| TRS/Transformed_CSR_04/Ex16_Luc06_FR |
0.208 |
0.487 |
| TRS/Transformed_CSR_04/Ex16_Luc06_GM |
5.133 |
0.807 |
| TRS/Transformed_CSR_04/Ex16_Luc06_L |
5.117 |
5.174 |
| TRS/Transformed_CSR_04/Ex16_Luc06_iGM |
34.915 |
60.0 |
| TRS/Transformed_CSR_04/Ex18_Luc06_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex18_Luc06_FR |
0.312 |
0.449 |
| TRS/Transformed_CSR_04/Ex18_Luc06_GM |
0.315 |
0.567 |
| problem |
direct |
modular |
| TRS/Transformed_CSR_04/Ex18_Luc06_L |
0.142 |
0.148 |
| TRS/Transformed_CSR_04/Ex18_Luc06_Z |
0.18 |
0.313 |
| TRS/Transformed_CSR_04/Ex18_Luc06_iGM |
0.755 |
1.466 |
| TRS/Transformed_CSR_04/Ex1_GL02a_L |
5.127 |
5.315 |
| TRS/Transformed_CSR_04/Ex1_GM99_L |
5.117 |
5.196 |
| TRS/Transformed_CSR_04/Ex1_Luc04b_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex1_Luc04b_FR |
5.136 |
5.645 |
| TRS/Transformed_CSR_04/Ex1_Luc04b_GM |
19.729 |
60.0 |
| TRS/Transformed_CSR_04/Ex1_Luc04b_Z |
5.132 |
5.448 |
| TRS/Transformed_CSR_04/Ex1_Luc04b_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex1_Zan97_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex1_Zan97_FR |
6.903 |
60.0 |
| TRS/Transformed_CSR_04/Ex1_Zan97_GM |
0.187 |
0.392 |
| TRS/Transformed_CSR_04/Ex1_Zan97_L |
5.135 |
5.19 |
| TRS/Transformed_CSR_04/Ex1_Zan97_iGM |
0.55 |
0.742 |
| TRS/Transformed_CSR_04/Ex23_Luc06_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex23_Luc06_FR |
0.413 |
0.833 |
| TRS/Transformed_CSR_04/Ex23_Luc06_GM |
0.418 |
1.047 |
| TRS/Transformed_CSR_04/Ex23_Luc06_L |
0.156 |
0.15 |
| TRS/Transformed_CSR_04/Ex23_Luc06_Z |
0.188 |
0.311 |
| TRS/Transformed_CSR_04/Ex23_Luc06_iGM |
1.549 |
2.454 |
| TRS/Transformed_CSR_04/Ex24_GM04_L |
5.132 |
5.17 |
| TRS/Transformed_CSR_04/Ex24_Luc06_L |
5.127 |
5.156 |
| TRS/Transformed_CSR_04/Ex25_Luc06_C |
6.753 |
30.003 |
| TRS/Transformed_CSR_04/Ex25_Luc06_FR |
0.438 |
1.372 |
| problem |
direct |
modular |
| TRS/Transformed_CSR_04/Ex25_Luc06_GM |
0.472 |
1.174 |
| TRS/Transformed_CSR_04/Ex25_Luc06_L |
0.155 |
0.186 |
| TRS/Transformed_CSR_04/Ex25_Luc06_Z |
0.207 |
0.447 |
| TRS/Transformed_CSR_04/Ex25_Luc06_iGM |
1.068 |
3.856 |
| TRS/Transformed_CSR_04/Ex26_Luc03b_L |
0.212 |
0.308 |
| TRS/Transformed_CSR_04/Ex2_Luc03b_L |
0.179 |
0.226 |
| TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L |
0.184 |
0.321 |
| TRS/Transformed_CSR_04/Ex4_4_Luc96b_L |
0.146 |
0.138 |
| TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR |
0.46 |
1.463 |
| TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM |
44.86 |
8.399 |
| TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L |
0.201 |
0.267 |
| TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z |
0.197 |
0.451 |
| TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR |
0.167 |
0.262 |
| TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM |
0.321 |
0.951 |
| TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM |
60.0 |
37.687 |
| TRS/Transformed_CSR_04/Ex5_Zan97_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex5_Zan97_FR |
5.127 |
5.343 |
| TRS/Transformed_CSR_04/Ex5_Zan97_GM |
5.135 |
5.365 |
| TRS/Transformed_CSR_04/Ex5_Zan97_Z |
0.18 |
0.297 |
| TRS/Transformed_CSR_04/Ex5_Zan97_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex6_GM04_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/Ex6_GM04_FR |
5.14 |
5.456 |
| problem |
direct |
modular |
| TRS/Transformed_CSR_04/Ex6_GM04_GM |
0.179 |
0.328 |
| TRS/Transformed_CSR_04/Ex6_GM04_L |
0.143 |
0.182 |
| TRS/Transformed_CSR_04/Ex6_GM04_iGM |
0.606 |
0.9 |
| TRS/Transformed_CSR_04/Ex6_Luc98_L |
0.161 |
0.203 |
| TRS/Transformed_CSR_04/Ex9_BLR02_L |
0.218 |
0.325 |
| TRS/Transformed_CSR_04/Ex9_Luc06_C |
11.479 |
60.0 |
| TRS/Transformed_CSR_04/Ex9_Luc06_FR |
16.018 |
60.0 |
| TRS/Transformed_CSR_04/Ex9_Luc06_GM |
0.298 |
0.79 |
| TRS/Transformed_CSR_04/Ex9_Luc06_iGM |
60.0 |
10.452 |
| TRS/Transformed_CSR_04/ExConc_Zan97_C |
1.957 |
14.481 |
| TRS/Transformed_CSR_04/ExConc_Zan97_FR |
0.287 |
0.907 |
| TRS/Transformed_CSR_04/ExConc_Zan97_GM |
0.341 |
0.89 |
| TRS/Transformed_CSR_04/ExConc_Zan97_L |
0.141 |
0.141 |
| TRS/Transformed_CSR_04/ExConc_Zan97_Z |
5.136 |
5.242 |
| TRS/Transformed_CSR_04/ExConc_Zan97_iGM |
1.905 |
2.057 |
| TRS/Transformed_CSR_04/ExIntrod_GM01_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/ExIntrod_GM01_FR |
5.142 |
21.489 |
| TRS/Transformed_CSR_04/ExIntrod_GM01_GM |
28.664 |
60.0 |
| TRS/Transformed_CSR_04/ExIntrod_GM01_Z |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/ExIntrod_GM01_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/ExIntrod_GM04_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/ExIntrod_GM04_FR |
5.145 |
6.284 |
| TRS/Transformed_CSR_04/ExIntrod_GM04_GM |
13.937 |
60.0 |
| TRS/Transformed_CSR_04/ExIntrod_GM04_Z |
5.145 |
60.0 |
| TRS/Transformed_CSR_04/ExIntrod_GM04_iGM |
19.236 |
60.0 |
| problem |
direct |
modular |
| TRS/Transformed_CSR_04/ExProp7_Luc06_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/ExProp7_Luc06_FR |
5.131 |
1.432 |
| TRS/Transformed_CSR_04/ExProp7_Luc06_GM |
13.021 |
50.414 |
| TRS/Transformed_CSR_04/ExProp7_Luc06_L |
0.176 |
0.255 |
| TRS/Transformed_CSR_04/ExProp7_Luc06_Z |
0.185 |
0.463 |
| TRS/Transformed_CSR_04/ExProp7_Luc06_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR |
5.13 |
6.188 |
| TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM |
22.132 |
60.0 |
| TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM |
23.163 |
60.0 |
| TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR |
5.153 |
14.843 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z |
5.152 |
8.579 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts_C |
54.663 |
60.0 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts_FR |
33.424 |
5.508 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts_GM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts_Z |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM |
60.0 |
48.625 |
| TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/PALINDROME_complete-noand_L |
5.193 |
60.0 |
| problem |
direct |
modular |
| TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR |
5.203 |
9.967 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L |
5.148 |
6.623 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z |
3.058 |
4.494 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds_FR |
5.185 |
7.662 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds_GM |
5.184 |
6.395 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds_Z |
1.18 |
2.39 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM |
24.684 |
60.0 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM |
8.167 |
21.98 |
| TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM |
42.963 |
60.0 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR |
0.276 |
0.314 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L |
0.26 |
0.298 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts_C |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts_FR |
0.254 |
0.286 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts_GM |
5.142 |
5.911 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM |
60.0 |
60.0 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C |
28.939 |
60.0 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM |
5.15 |
5.553 |
| TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM |
12.834 |
60.0 |
| TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR |
0.356 |
0.469 |
| TRS/Transformed_CSR_04/PEANO_nosorts_C |
33.553 |
60.0 |
| TRS/Transformed_CSR_04/PEANO_nosorts_FR |
0.205 |
0.246 |
| TRS/Transformed_CSR_04/PEANO_nosorts_GM |
7.275 |
5.915 |
| TRS/Transformed_CSR_04/PEANO_nosorts_iGM |
34.117 |
60.0 |
| problem |
direct |
modular |
| TRS/Transformed_CSR_04/PEANO_nosorts_noand_C |
28.334 |
60.0 |
| TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM |
5.147 |
7.401 |
| TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM |
50.393 |
60.0 |
| TRS/Various_04/07 |
0.135 |
0.165 |
| TRS/Various_04/15 |
5.12 |
5.188 |
| TRS/Various_04/18 |
5.13 |
5.198 |
| TRS/Various_04/19 |
5.14 |
5.466 |
| TRS/Various_04/21 |
5.178 |
40.21 |
| TRS/Various_04/23 |
0.311 |
0.417 |
| TRS/Various_04/24 |
49.341 |
0.36 |
| TRS/Various_04/25 |
0.183 |
0.203 |
| TRS/Various_04/27 |
0.148 |
0.152 |
| TRS/Waldmann_06/jwaprove1 |
5.677 |
5.661 |
| TRS/Waldmann_06/jwaprove2 |
5.117 |
5.12 |
| TRS/Waldmann_06/jwcime1 |
5.119 |
5.122 |
| TRS/Waldmann_06/jwcime2 |
0.16 |
0.166 |
| TRS/Waldmann_06/jwmatchb1 |
5.117 |
5.117 |
| TRS/Waldmann_06/jwmatchb2 |
5.12 |
5.117 |
| TRS/Waldmann_06/jwno1 |
5.119 |
5.12 |
| TRS/Waldmann_06/jwno2 |
5.118 |
5.12 |
| TRS/Waldmann_06/jwno3 |
5.12 |
5.122 |
| TRS/Waldmann_06/jwno4 |
5.122 |
5.121 |
| TRS/Waldmann_06/jwno5 |
5.117 |
5.12 |
| TRS/Waldmann_06/jwno6 |
5.12 |
5.119 |
| TRS/Waldmann_06/jwno7 |
5.118 |
5.12 |
| problem |
direct |
modular |
| TRS/Waldmann_06/jwno8 |
5.121 |
5.118 |
| TRS/Waldmann_06/jwno9 |
5.118 |
5.124 |
| TRS/Waldmann_06/jwtpa1 |
0.18 |
0.175 |
| TRS/Waldmann_06/jwtpa2 |
5.12 |
5.121 |
| TRS/Waldmann_06/jwttt |
5.122 |
5.121 |
| TRS/Waldmann_06_SRS/e |
10.86 |
5.023 |
| TRS/Waldmann_06_SRS/jw1 |
15.035 |
60.0 |
| TRS/Waldmann_06_SRS/jw3 |
31.962 |
60.0 |
| TRS/Waldmann_06_SRS/jw4 |
60.0 |
60.0 |
| TRS/Waldmann_06_SRS/jw5 |
60.0 |
60.0 |
| TRS/Waldmann_06_SRS/pi |
17.439 |
11.183 |
| TRS/Waldmann_06_SRS/sym-1 |
5.124 |
5.244 |
| TRS/Waldmann_06_SRS/sym-2 |
5.124 |
9.446 |
| TRS/Waldmann_06_SRS/sym-4 |
5.122 |
0.548 |
| TRS/Waldmann_06_SRS/sym-5 |
60.0 |
60.0 |
| TRS/Waldmann_06_SRS/sym-6 |
5.307 |
8.269 |
| TRS/Waldmann_06_SRS/uni-1 |
5.121 |
0.442 |
| TRS/Waldmann_06_SRS/uni-2 |
22.329 |
48.676 |
| TRS/Waldmann_06_SRS/uni-3 |
9.538 |
27.395 |
| TRS/Waldmann_06_SRS/uni-4 |
21.713 |
18.158 |
| TRS/Waldmann_06_SRS/uni-5 |
5.121 |
5.192 |
| TRS/Waldmann_06_SRS/uni-6 |
18.693 |
60.0 |
| TRS/Waldmann_06_SRS/uni-7 |
60.0 |
60.0 |
| TRS/Waldmann_06_SRS/z086-variant |
6.632 |
10.498 |
| TRS/Waldmann_07_size11/size-11-alpha-2-num-1 |
9.998 |
60.0 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size11/size-11-alpha-2-num-2 |
11.154 |
60.0 |
| TRS/Waldmann_07_size11/size-11-alpha-2-num-3 |
5.122 |
55.248 |
| TRS/Waldmann_07_size11/size-11-alpha-2-num-4 |
6.095 |
60.0 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-1 |
5.121 |
25.668 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-10 |
5.121 |
20.814 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-11 |
5.12 |
9.415 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-12 |
5.12 |
10.277 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-13 |
5.123 |
5.189 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-14 |
6.27 |
13.02 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-15 |
60.0 |
60.0 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-16 |
5.122 |
7.176 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-17 |
5.12 |
17.592 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-18 |
5.12 |
5.256 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-19 |
5.121 |
5.851 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-2 |
5.119 |
27.946 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-20 |
5.119 |
5.246 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-21 |
5.122 |
5.231 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-3 |
5.12 |
5.226 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-4 |
5.121 |
54.183 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-5 |
5.119 |
28.011 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-6 |
5.119 |
35.595 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-7 |
5.121 |
60.0 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-8 |
5.122 |
60.0 |
| TRS/Waldmann_07_size11/size-11-alpha-3-num-9 |
5.12 |
7.43 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-1 |
8.102 |
46.175 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-10 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-11 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-12 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-13 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-14 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-15 |
5.122 |
5.275 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-16 |
5.119 |
19.265 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-17 |
10.354 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-18 |
16.467 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-19 |
17.279 |
54.705 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-2 |
39.833 |
55.222 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-20 |
9.761 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-21 |
5.123 |
26.975 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-22 |
5.117 |
17.793 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-3 |
51.877 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-4 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-5 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-6 |
44.707 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-7 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-2-num-8 |
20.448 |
19.129 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-1 |
5.122 |
5.245 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-10 |
5.121 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-100 |
5.121 |
5.261 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-101 |
5.12 |
5.18 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-104 |
8.535 |
60.0 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-105 |
10.738 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-106 |
13.292 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-107 |
5.12 |
49.2 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-108 |
5.122 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-109 |
7.248 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-11 |
5.121 |
28.897 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-110 |
37.637 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-111 |
5.119 |
30.769 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-112 |
14.834 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-113 |
13.995 |
49.055 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-114 |
12.132 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-120 |
5.121 |
17.508 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-121 |
20.064 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-122 |
9.125 |
28.67 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-123 |
20.499 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-124 |
15.785 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-125 |
5.344 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-126 |
5.79 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-127 |
5.119 |
5.193 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-128 |
5.123 |
12.908 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-129 |
5.121 |
5.186 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-13 |
5.122 |
5.272 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-131 |
5.119 |
5.193 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-132 |
6.732 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-133 |
5.889 |
42.203 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-134 |
5.121 |
11.221 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-135 |
5.12 |
5.313 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-14 |
5.122 |
5.182 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-140 |
5.12 |
5.261 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-146 |
5.12 |
5.194 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-149 |
5.122 |
5.258 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-15 |
5.12 |
20.694 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-152 |
5.122 |
7.215 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-158 |
5.121 |
5.192 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-159 |
5.122 |
5.253 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-16 |
5.122 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-160 |
5.122 |
5.257 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-163 |
5.121 |
8.468 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-164 |
5.12 |
14.524 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-165 |
5.12 |
39.736 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-168 |
5.123 |
9.046 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-17 |
5.122 |
55.39 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-170 |
5.121 |
6.068 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-174 |
5.122 |
5.196 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-176 |
5.118 |
5.195 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-177 |
5.12 |
5.25 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-178 |
5.123 |
5.199 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-179 |
5.123 |
5.203 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-180 |
5.12 |
5.197 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-181 |
5.12 |
5.256 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-186 |
5.121 |
5.333 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-19 |
5.121 |
43.873 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-190 |
5.122 |
5.188 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-191 |
5.121 |
5.205 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-194 |
5.124 |
7.843 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-195 |
5.121 |
5.194 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-198 |
5.119 |
5.207 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-199 |
5.118 |
5.199 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-20 |
5.119 |
36.308 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-200 |
5.122 |
10.743 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-201 |
5.121 |
9.45 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-202 |
5.121 |
5.3 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-203 |
5.12 |
9.554 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-204 |
5.12 |
9.416 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-206 |
5.121 |
5.191 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-207 |
5.124 |
5.265 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-209 |
5.122 |
5.644 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-21 |
5.122 |
5.208 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-210 |
5.122 |
5.193 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-211 |
5.12 |
5.267 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-213 |
5.124 |
5.197 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-215 |
5.123 |
8.994 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-217 |
5.122 |
6.329 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-219 |
5.121 |
10.193 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-22 |
10.139 |
7.105 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-220 |
5.122 |
5.277 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-221 |
5.897 |
12.647 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-222 |
5.119 |
5.702 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-223 |
5.124 |
5.189 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-224 |
5.12 |
8.79 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-225 |
5.122 |
5.249 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-226 |
5.122 |
37.857 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-227 |
5.123 |
36.022 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-23 |
5.12 |
13.966 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-231 |
28.083 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-232 |
5.121 |
5.303 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-233 |
13.039 |
31.167 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-236 |
5.12 |
19.869 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-237 |
5.119 |
31.811 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-238 |
5.121 |
8.184 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-239 |
5.122 |
5.251 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-241 |
5.121 |
5.999 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-243 |
5.119 |
5.2 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-247 |
5.12 |
16.329 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-248 |
5.121 |
5.252 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-249 |
5.118 |
5.19 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-255 |
5.123 |
5.247 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-257 |
5.118 |
5.248 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-260 |
5.121 |
10.378 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-263 |
14.999 |
60.0 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-265 |
5.12 |
8.417 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-267 |
5.121 |
15.063 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-270 |
5.121 |
19.935 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-271 |
5.122 |
7.831 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-272 |
5.122 |
55.83 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-273 |
5.123 |
28.967 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-274 |
5.123 |
7.359 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-275 |
5.269 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-279 |
5.123 |
5.188 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-281 |
5.122 |
5.253 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-282 |
5.12 |
10.67 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-283 |
5.123 |
5.189 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-284 |
5.119 |
5.26 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-285 |
5.12 |
6.27 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-286 |
5.12 |
7.486 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-287 |
5.119 |
5.191 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-288 |
5.121 |
5.248 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-289 |
5.121 |
9.531 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-291 |
5.12 |
39.345 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-292 |
5.122 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-293 |
5.123 |
9.932 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-294 |
5.123 |
21.422 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-296 |
5.123 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-297 |
9.468 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-298 |
5.121 |
60.0 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-299 |
5.121 |
20.499 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-3 |
5.121 |
5.184 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-30 |
5.12 |
5.258 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-300 |
17.284 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-301 |
5.12 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-303 |
5.123 |
58.128 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-304 |
5.121 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-309 |
5.119 |
58.328 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-31 |
5.121 |
33.875 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-32 |
7.764 |
6.324 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-327 |
14.44 |
25.686 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-328 |
11.129 |
17.536 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-330 |
5.12 |
5.213 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-335 |
5.122 |
12.945 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-337 |
7.471 |
13.787 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-338 |
11.946 |
22.38 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-339 |
37.472 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-340 |
5.123 |
27.586 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-341 |
5.12 |
37.77 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-343 |
5.121 |
5.243 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-345 |
5.122 |
24.623 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-346 |
13.564 |
37.091 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-347 |
5.414 |
35.536 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-348 |
7.341 |
38.304 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-35 |
5.121 |
8.563 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-350 |
5.121 |
5.616 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-351 |
5.121 |
5.255 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-352 |
5.12 |
5.252 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-353 |
5.121 |
5.207 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-354 |
5.12 |
5.184 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-355 |
14.281 |
17.993 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-356 |
5.121 |
5.203 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-359 |
5.437 |
10.362 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-360 |
6.766 |
18.232 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-361 |
12.943 |
17.854 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-362 |
37.742 |
41.243 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-363 |
5.122 |
54.558 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-366 |
5.122 |
9.88 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-367 |
5.12 |
5.274 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-368 |
9.938 |
40.943 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-369 |
7.406 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-373 |
5.124 |
36.77 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-374 |
5.907 |
9.266 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-375 |
5.121 |
7.022 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-376 |
5.119 |
6.823 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-377 |
5.123 |
7.812 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-378 |
5.12 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-382 |
12.153 |
21.406 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-383 |
5.772 |
17.727 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-384 |
13.644 |
15.671 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-385 |
26.269 |
35.118 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-386 |
5.121 |
5.207 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-389 |
5.12 |
21.665 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-391 |
5.121 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-392 |
9.115 |
45.654 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-395 |
5.12 |
21.161 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-396 |
12.381 |
32.065 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-399 |
5.331 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-4 |
5.122 |
10.254 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-40 |
10.046 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-400 |
12.902 |
17.14 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-401 |
45.92 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-402 |
49.589 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-403 |
5.121 |
5.2 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-406 |
18.916 |
27.141 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-408 |
5.12 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-409 |
7.347 |
11.268 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-41 |
5.122 |
9.429 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-410 |
5.12 |
8.113 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-412 |
5.123 |
30.518 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-413 |
5.121 |
26.998 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-414 |
5.121 |
29.555 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-415 |
9.047 |
33.581 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-416 |
5.125 |
39.335 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-417 |
7.397 |
33.391 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-418 |
5.119 |
26.945 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-427 |
5.121 |
8.76 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-429 |
5.12 |
6.658 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-430 |
5.119 |
7.181 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-431 |
5.122 |
14.883 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-434 |
5.124 |
5.203 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-435 |
5.119 |
17.393 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-436 |
5.12 |
10.535 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-437 |
6.199 |
8.147 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-438 |
5.122 |
9.211 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-439 |
5.12 |
7.846 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-44 |
5.12 |
7.01 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-441 |
5.12 |
11.056 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-443 |
8.237 |
18.668 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-446 |
7.402 |
11.557 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-448 |
5.122 |
10.418 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-45 |
5.122 |
5.238 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-450 |
5.119 |
9.579 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-451 |
5.121 |
58.517 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-452 |
5.121 |
5.265 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-453 |
5.125 |
10.663 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-454 |
5.122 |
7.63 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-455 |
5.122 |
5.189 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-456 |
5.122 |
12.727 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-460 |
5.121 |
5.192 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-461 |
9.787 |
17.499 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-462 |
5.123 |
24.48 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-465 |
5.123 |
11.77 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-467 |
5.416 |
18.14 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-468 |
5.124 |
10.063 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-469 |
5.12 |
29.662 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-47 |
8.047 |
5.501 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-470 |
5.121 |
6.08 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-472 |
5.122 |
12.454 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-473 |
19.764 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-474 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-475 |
31.605 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-476 |
5.12 |
7.393 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-477 |
13.686 |
36.63 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-478 |
11.08 |
41.1 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-479 |
5.118 |
46.195 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-48 |
5.121 |
9.343 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-480 |
13.686 |
54.173 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-482 |
5.122 |
7.029 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-484 |
4.12 |
5.194 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-485 |
5.121 |
5.19 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-487 |
14.542 |
55.834 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-488 |
5.121 |
12.511 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-489 |
5.122 |
47.924 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-49 |
5.88 |
15.067 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-491 |
17.264 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-492 |
5.607 |
12.468 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-493 |
19.665 |
44.132 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-494 |
9.149 |
11.056 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-495 |
5.122 |
5.274 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-497 |
23.548 |
38.669 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-498 |
7.61 |
13.328 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-499 |
5.126 |
7.307 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-502 |
46.014 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-503 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-506 |
9.015 |
47.332 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-507 |
5.12 |
5.245 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-508 |
52.878 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-51 |
5.121 |
5.252 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-511 |
15.134 |
21.309 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-52 |
5.121 |
5.186 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-522 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-526 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-532 |
11.276 |
10.164 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-535 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-536 |
60.0 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-540 |
9.063 |
50.438 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-541 |
10.572 |
10.651 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-543 |
52.473 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-545 |
6.363 |
5.201 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-546 |
7.475 |
55.975 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-547 |
33.494 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-548 |
11.095 |
9.934 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-549 |
5.118 |
5.187 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-550 |
5.123 |
5.204 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-551 |
5.713 |
8.364 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-552 |
5.121 |
17.98 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-553 |
17.143 |
10.369 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-556 |
13.175 |
16.508 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-558 |
5.828 |
5.725 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-559 |
5.121 |
22.366 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-560 |
9.738 |
30.655 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-561 |
5.382 |
39.743 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-563 |
5.309 |
8.468 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-564 |
15.112 |
18.582 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-565 |
5.124 |
5.643 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-566 |
5.121 |
11.349 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-568 |
7.464 |
17.783 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-57 |
5.119 |
7.696 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-59 |
5.124 |
5.286 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-61 |
5.122 |
5.342 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-64 |
5.12 |
11.257 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-65 |
5.12 |
8.051 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-66 |
5.119 |
7.147 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-67 |
5.123 |
5.787 |
| problem |
direct |
modular |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-7 |
5.12 |
25.766 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-70 |
5.121 |
5.186 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-71 |
5.119 |
5.199 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-72 |
5.122 |
5.187 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-74 |
5.123 |
5.18 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-76 |
5.12 |
5.248 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-82 |
5.123 |
24.082 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-83 |
5.121 |
30.304 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-84 |
5.121 |
30.029 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-85 |
5.12 |
5.192 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-86 |
5.12 |
11.91 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-88 |
10.454 |
36.526 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-9 |
5.121 |
53.559 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-90 |
5.121 |
5.271 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-91 |
5.12 |
5.263 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-92 |
5.123 |
37.946 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-94 |
5.12 |
5.239 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-95 |
5.119 |
5.248 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-98 |
10.729 |
60.0 |
| TRS/Waldmann_07_size12/size-12-alpha-3-num-99 |
5.12 |
5.258 |
| TRS/Zantema_04/syracuse |
5.134 |
60.0 |
| TRS/Zantema_04/z001 |
0.406 |
0.401 |
| TRS/Zantema_04/z002 |
0.251 |
0.83 |
| TRS/Zantema_04/z003 |
0.437 |
3.851 |
| TRS/Zantema_04/z004 |
0.283 |
0.593 |
| problem |
direct |
modular |
| TRS/Zantema_04/z005 |
0.381 |
2.681 |
| TRS/Zantema_04/z006 |
0.238 |
0.295 |
| TRS/Zantema_04/z007 |
0.288 |
0.359 |
| TRS/Zantema_04/z008 |
60.0 |
60.0 |
| TRS/Zantema_04/z009 |
26.452 |
60.0 |
| TRS/Zantema_04/z010 |
5.122 |
11.498 |
| TRS/Zantema_04/z011 |
5.554 |
60.0 |
| TRS/Zantema_04/z012 |
5.119 |
8.703 |
| TRS/Zantema_04/z013 |
8.062 |
10.576 |
| TRS/Zantema_04/z014 |
5.121 |
6.799 |
| TRS/Zantema_04/z015 |
5.123 |
10.954 |
| TRS/Zantema_04/z017 |
5.121 |
8.08 |
| TRS/Zantema_04/z018 |
5.122 |
23.048 |
| TRS/Zantema_04/z019 |
5.122 |
24.443 |
| TRS/Zantema_04/z020 |
5.122 |
25.755 |
| TRS/Zantema_04/z021 |
60.0 |
60.0 |
| TRS/Zantema_04/z022 |
5.124 |
56.643 |
| TRS/Zantema_04/z023 |
5.795 |
7.886 |
| TRS/Zantema_04/z024 |
0.707 |
0.921 |
| TRS/Zantema_04/z025 |
0.587 |
0.532 |
| TRS/Zantema_04/z026 |
60.0 |
60.0 |
| TRS/Zantema_04/z027 |
0.403 |
0.393 |
| TRS/Zantema_04/z028 |
60.0 |
60.0 |
| TRS/Zantema_04/z029 |
0.429 |
0.444 |
| TRS/Zantema_04/z030 |
0.532 |
0.551 |
| problem |
direct |
modular |
| TRS/Zantema_04/z031 |
0.651 |
0.638 |
| TRS/Zantema_04/z032 |
0.418 |
0.417 |
| TRS/Zantema_04/z033 |
0.238 |
0.231 |
| TRS/Zantema_04/z034 |
60.0 |
60.0 |
| TRS/Zantema_04/z035 |
60.0 |
60.0 |
| TRS/Zantema_04/z036 |
2.543 |
2.54 |
| TRS/Zantema_04/z037 |
0.317 |
0.307 |
| TRS/Zantema_04/z038 |
60.0 |
60.0 |
| TRS/Zantema_04/z039 |
0.271 |
0.273 |
| TRS/Zantema_04/z040 |
0.44 |
0.434 |
| TRS/Zantema_04/z041 |
60.0 |
60.0 |
| TRS/Zantema_04/z042 |
60.0 |
60.0 |
| TRS/Zantema_04/z043 |
0.28 |
0.275 |
| TRS/Zantema_04/z044 |
60.0 |
60.0 |
| TRS/Zantema_04/z045 |
0.298 |
0.307 |
| TRS/Zantema_04/z046 |
60.0 |
60.0 |
| TRS/Zantema_04/z047 |
0.278 |
0.277 |
| TRS/Zantema_04/z048 |
0.277 |
0.266 |
| TRS/Zantema_04/z049 |
0.195 |
0.182 |
| TRS/Zantema_04/z050 |
0.196 |
0.195 |
| TRS/Zantema_04/z051 |
0.223 |
0.211 |
| TRS/Zantema_04/z052 |
0.18 |
0.173 |
| TRS/Zantema_04/z053 |
0.2 |
0.192 |
| TRS/Zantema_04/z054 |
0.255 |
0.268 |
| TRS/Zantema_04/z055 |
0.173 |
0.174 |
| problem |
direct |
modular |
| TRS/Zantema_04/z056 |
0.237 |
0.242 |
| TRS/Zantema_04/z057 |
0.186 |
0.198 |
| TRS/Zantema_04/z058 |
0.213 |
0.206 |
| TRS/Zantema_04/z059 |
0.245 |
0.243 |
| TRS/Zantema_04/z060 |
0.201 |
0.199 |
| TRS/Zantema_04/z061 |
0.175 |
0.179 |
| TRS/Zantema_04/z062 |
0.176 |
0.18 |
| TRS/Zantema_04/z063 |
0.18 |
0.178 |
| TRS/Zantema_04/z064 |
0.215 |
0.216 |
| TRS/Zantema_04/z065 |
60.0 |
60.0 |
| TRS/Zantema_04/z066 |
1.88 |
7.487 |
| TRS/Zantema_04/z067 |
60.0 |
8.164 |
| TRS/Zantema_04/z068 |
60.0 |
60.0 |
| TRS/Zantema_04/z069 |
60.0 |
60.0 |
| TRS/Zantema_04/z070 |
60.0 |
60.0 |
| TRS/Zantema_04/z071 |
60.0 |
60.0 |
| TRS/Zantema_04/z072 |
60.0 |
60.0 |
| TRS/Zantema_04/z073 |
60.0 |
60.0 |
| TRS/Zantema_04/z074 |
60.0 |
60.0 |
| TRS/Zantema_04/z075 |
60.0 |
60.0 |
| TRS/Zantema_04/z076 |
5.137 |
5.204 |
| TRS/Zantema_04/z077 |
5.164 |
5.294 |
| TRS/Zantema_04/z078 |
5.137 |
17.973 |
| TRS/Zantema_04/z079 |
5.136 |
60.0 |
| TRS/Zantema_04/z080 |
43.637 |
60.0 |
| problem |
direct |
modular |
| TRS/Zantema_04/z081 |
28.804 |
38.977 |
| TRS/Zantema_04/z082 |
6.704 |
18.571 |
| TRS/Zantema_04/z083 |
60.0 |
60.0 |
| TRS/Zantema_04/z084 |
0.303 |
0.439 |
| TRS/Zantema_04/z085 |
0.162 |
0.211 |
| TRS/Zantema_04/z086 |
60.0 |
60.0 |
| TRS/Zantema_04/z087 |
60.0 |
60.0 |
| TRS/Zantema_04/z088 |
18.903 |
34.692 |
| TRS/Zantema_04/z089 |
6.837 |
23.404 |
| TRS/Zantema_04/z090 |
35.656 |
60.0 |
| TRS/Zantema_04/z091 |
60.0 |
60.0 |
| TRS/Zantema_04/z092 |
2.833 |
7.546 |
| TRS/Zantema_04/z093 |
0.338 |
0.494 |
| TRS/Zantema_04/z094 |
5.137 |
31.38 |
| TRS/Zantema_04/z095 |
0.96 |
0.941 |
| TRS/Zantema_04/z096 |
60.0 |
60.0 |
| TRS/Zantema_04/z097 |
0.903 |
0.884 |
| TRS/Zantema_04/z098 |
0.501 |
0.489 |
| TRS/Zantema_04/z100 |
6.745 |
60.0 |
| TRS/Zantema_04/z101 |
0.189 |
0.251 |
| TRS/Zantema_04/z102 |
0.194 |
0.319 |
| TRS/Zantema_04/z103 |
6.667 |
18.144 |
| TRS/Zantema_04/z104 |
12.432 |
0.387 |
| TRS/Zantema_04/z105 |
5.137 |
6.363 |
| TRS/Zantema_04/z106 |
5.136 |
5.515 |
| problem |
direct |
modular |
| TRS/Zantema_04/z107 |
5.138 |
0.449 |
| TRS/Zantema_04/z108 |
1.362 |
0.261 |
| TRS/Zantema_04/z109 |
5.133 |
0.321 |
| TRS/Zantema_04/z110 |
5.135 |
60.0 |
| TRS/Zantema_04/z111 |
5.141 |
60.0 |
| TRS/Zantema_04/z112 |
5.501 |
2.387 |
| TRS/Zantema_04/z113 |
6.199 |
8.527 |
| TRS/Zantema_04/z114 |
5.134 |
5.203 |
| TRS/Zantema_04/z115 |
1.565 |
0.882 |
| TRS/Zantema_04/z116 |
0.178 |
0.307 |
| TRS/Zantema_04/z117 |
5.14 |
5.355 |
| TRS/Zantema_04/z118 |
5.136 |
1.097 |
| TRS/Zantema_04/z119 |
10.641 |
60.0 |
| TRS/Zantema_04/z120 |
5.136 |
49.668 |
| TRS/Zantema_04/z121 |
15.924 |
37.205 |
| TRS/Zantema_04/z122 |
39.903 |
1.748 |
| TRS/Zantema_04/z123 |
10.011 |
60.0 |
| TRS/Zantema_04/z124 |
1.361 |
6.738 |
| TRS/Zantema_04/z125 |
5.141 |
50.145 |
| TRS/Zantema_04/z126 |
0.381 |
0.415 |
| TRS/Zantema_04/z127 |
60.0 |
60.0 |
| TRS/Zantema_04/z128 |
17.217 |
60.0 |
| TRS/Zantema_05/jw01 |
0.16 |
0.162 |
| TRS/Zantema_05/jw02 |
0.16 |
0.157 |
| TRS/Zantema_05/jw03 |
0.157 |
0.153 |
| problem |
direct |
modular |
| TRS/Zantema_05/jw04 |
0.158 |
0.157 |
| TRS/Zantema_05/jw05 |
0.16 |
0.166 |
| TRS/Zantema_05/jw06 |
0.158 |
0.161 |
| TRS/Zantema_05/jw07 |
0.158 |
0.165 |
| TRS/Zantema_05/jw08 |
0.157 |
0.159 |
| TRS/Zantema_05/jw09 |
0.169 |
0.165 |
| TRS/Zantema_05/jw11 |
0.156 |
0.161 |
| TRS/Zantema_05/jw12 |
0.159 |
0.158 |
| TRS/Zantema_05/jw13 |
0.167 |
0.168 |
| TRS/Zantema_05/jw14 |
0.167 |
0.166 |
| TRS/Zantema_05/jw15 |
0.16 |
0.169 |
| TRS/Zantema_05/jw16 |
0.155 |
0.161 |
| TRS/Zantema_05/jw17 |
0.156 |
0.157 |
| TRS/Zantema_05/jw18 |
0.16 |
0.161 |
| TRS/Zantema_05/jw19 |
0.166 |
0.168 |
| TRS/Zantema_05/jw20 |
0.157 |
0.156 |
| TRS/Zantema_05/jw21 |
0.166 |
0.165 |
| TRS/Zantema_05/jw22 |
0.167 |
0.166 |
| TRS/Zantema_05/jw23 |
0.16 |
0.158 |
| TRS/Zantema_05/jw24 |
0.16 |
0.161 |
| TRS/Zantema_05/jw25 |
0.159 |
0.163 |
| TRS/Zantema_05/jw26 |
0.158 |
0.159 |
| TRS/Zantema_05/jw27 |
0.167 |
0.164 |
| TRS/Zantema_05/jw28 |
0.167 |
0.167 |
| TRS/Zantema_05/jw29 |
0.165 |
0.16 |
| problem |
direct |
modular |
| TRS/Zantema_05/jw30 |
0.174 |
0.168 |
| TRS/Zantema_05/jw31 |
0.163 |
0.161 |
| TRS/Zantema_05/jw32 |
0.158 |
0.157 |
| TRS/Zantema_05/jw33 |
0.156 |
0.155 |
| TRS/Zantema_05/jw34 |
0.162 |
0.158 |
| TRS/Zantema_05/jw35 |
0.175 |
0.164 |
| TRS/Zantema_05/jw36 |
0.178 |
0.17 |
| TRS/Zantema_05/jw37 |
0.157 |
0.163 |
| TRS/Zantema_05/jw38 |
0.166 |
0.157 |
| TRS/Zantema_05/jw39 |
0.165 |
0.163 |
| TRS/Zantema_05/jw40 |
0.162 |
0.163 |
| TRS/Zantema_05/jw41 |
0.166 |
0.156 |
| TRS/Zantema_05/jw42 |
0.163 |
0.165 |
| TRS/Zantema_05/jw43 |
0.164 |
0.161 |
| TRS/Zantema_05/jw44 |
0.275 |
0.281 |
| TRS/Zantema_05/jw47 |
0.276 |
0.285 |
| TRS/Zantema_05/jw50 |
0.167 |
0.162 |
| TRS/Zantema_05/z01 |
0.318 |
0.327 |
| TRS/Zantema_05/z02 |
0.264 |
0.366 |
| TRS/Zantema_05/z03 |
5.143 |
5.141 |
| TRS/Zantema_05/z05 |
5.142 |
5.269 |
| TRS/Zantema_05/z06 |
5.14 |
5.203 |
| TRS/Zantema_05/z07 |
5.145 |
5.221 |
| TRS/Zantema_05/z08 |
5.14 |
0.25 |
| TRS/Zantema_05/z11 |
5.147 |
5.246 |
| problem |
direct |
modular |
| TRS/Zantema_05/z12 |
22.549 |
60.0 |
| TRS/Zantema_05/z13 |
60.0 |
60.0 |
| TRS/Zantema_05/z14 |
23.973 |
60.0 |
| TRS/Zantema_05/z15 |
60.0 |
60.0 |
| TRS/Zantema_05/z16 |
60.0 |
60.0 |
| TRS/Zantema_05/z17 |
60.0 |
60.0 |
| TRS/Zantema_05/z18 |
60.0 |
60.0 |
| TRS/Zantema_05/z19 |
5.133 |
19.037 |
| TRS/Zantema_05/z20 |
5.135 |
10.801 |
| TRS/Zantema_05/z21 |
5.137 |
60.0 |
| TRS/Zantema_05/z22 |
5.139 |
60.0 |
| TRS/Zantema_05/z23 |
60.0 |
60.0 |
| TRS/Zantema_05/z24 |
60.0 |
60.0 |
| TRS/Zantema_05/z25 |
5.137 |
5.141 |
| TRS/Zantema_05/z26 |
1.606 |
0.644 |
| TRS/Zantema_05/z29 |
5.141 |
5.213 |
| TRS/Zantema_05/z30 |
0.36 |
0.344 |
| TRS/Zantema_06/01 |
5.135 |
13.659 |
| TRS/Zantema_06/02 |
18.412 |
44.698 |
| TRS/Zantema_06/03 |
60.0 |
60.0 |
| TRS/Zantema_06/04 |
19.566 |
20.401 |
| TRS/Zantema_06/05 |
47.267 |
60.0 |
| TRS/Zantema_06/06 |
60.0 |
60.0 |
| TRS/Zantema_06/07 |
5.133 |
5.208 |
| TRS/Zantema_06/08 |
5.133 |
5.765 |
| problem |
direct |
modular |
| TRS/Zantema_06/09 |
60.0 |
60.0 |
| TRS/Zantema_06/10 |
5.143 |
8.163 |
| TRS/Zantema_06/11 |
60.0 |
60.0 |
| TRS/Zantema_06/12 |
29.514 |
60.0 |
| TRS/Zantema_06/13 |
45.237 |
60.0 |
| TRS/Zantema_06/14 |
6.337 |
45.324 |
| TRS/Zantema_06/15 |
32.631 |
60.0 |
| TRS/Zantema_06/16 |
1.818 |
3.122 |
| TRS/Zantema_06/17 |
3.769 |
6.242 |
| TRS/Zantema_06/18 |
60.0 |
27.32 |
| TRS/Zantema_06/abc |
5.138 |
60.0 |
| TRS/Zantema_06/beans1 |
60.0 |
60.0 |
| TRS/Zantema_06/beans2 |
60.0 |
60.0 |
| TRS/Zantema_06/beans3 |
60.0 |
60.0 |
| TRS/Zantema_06/beans4 |
60.0 |
60.0 |
| TRS/Zantema_06/beans5 |
5.935 |
60.0 |
| TRS/Zantema_06/beans6 |
13.01 |
60.0 |
| TRS/Zantema_06/beans7 |
5.155 |
60.0 |
| TRS/Zantema_06/loop1 |
9.135 |
22.114 |
| TRS/Zantema_06/loop2 |
5.926 |
19.639 |
| TRS/Zantema_06/while1 |
60.0 |
60.0 |
| TRS/Zantema_06/while2 |
60.0 |
28.968 |
|
|