|
explicit |
implicit |
explicit rfc |
implicit rfc |
problem |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
|
AG01/#3.29 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AG01/#3.53a |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AG01/#3.54 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_04/LPAR_intlist |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_06/modulo |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_06/nonterm |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_06/quot |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/kabasci02 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/kabasci03 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe01 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe02 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe03 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe05 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe06 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe07 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe08 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe09 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe11 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_07/wiehe12 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_08/id_inc |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_08/round |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
AProVE_08/round_nonterm |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Applicative_05/BTreeMember |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Applicative_05/Ex6_11 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Applicative_05/Hamming |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
explicit |
implicit |
explicit rfc |
implicit rfc |
problem |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
|
Applicative_05/TypeEx1 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Applicative_05/nonTermF |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Applicative_first_order_05/01 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Applicative_first_order_05/02 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Applicative_first_order_05/17 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
CiME_04/boolean_rings |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
CiME_04/maude2 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
CiME_04/mucrl1 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Der95/01 |
0.165 |
0.166 |
0.164 |
0.169 |
0.183 |
0.163 |
0.151 |
0.169 |
0.171 |
0.156 |
0.156 |
0.16 |
Der95/02 |
0.144 |
0.15 |
0.152 |
0.145 |
0.162 |
0.162 |
0.163 |
0.158 |
0.148 |
0.153 |
0.17 |
0.152 |
Der95/17 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
GTSSK07/cade04t |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
HirokawaMiddeldorp_04/t006 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.168 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.155 |
Rubio_04/koen |
60.0 |
60.0 |
60.0 |
0.759 |
0.314 |
0.295 |
60.0 |
60.0 |
60.0 |
0.748 |
0.302 |
0.308 |
SK90/2.01 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/2.05 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/2.06 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.199 |
0.2 |
0.189 |
0.202 |
0.202 |
0.193 |
SK90/2.32 |
0.253 |
0.246 |
0.247 |
0.233 |
0.239 |
0.246 |
0.25 |
0.241 |
0.253 |
0.246 |
0.242 |
0.246 |
SK90/2.33 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.19 |
0.194 |
0.192 |
0.203 |
0.197 |
0.188 |
SK90/2.34 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.201 |
0.19 |
0.189 |
0.187 |
0.183 |
0.179 |
SK90/2.55 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.167 |
0.147 |
0.147 |
0.168 |
0.163 |
0.153 |
SK90/2.58 |
60.0 |
60.0 |
60.0 |
0.232 |
0.23 |
0.219 |
60.0 |
60.0 |
60.0 |
0.218 |
0.229 |
0.244 |
SK90/2.59 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/2.61 |
60.0 |
60.0 |
47.321 |
60.0 |
60.0 |
60.0 |
0.587 |
0.599 |
0.586 |
0.582 |
0.569 |
0.563 |
SK90/4.01 |
0.163 |
0.171 |
0.166 |
0.203 |
0.194 |
0.193 |
0.168 |
0.171 |
0.19 |
0.172 |
0.17 |
0.179 |
|
explicit |
implicit |
explicit rfc |
implicit rfc |
problem |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
|
SK90/4.02 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.03 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.04 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.158 |
0.174 |
0.169 |
0.169 |
0.16 |
0.165 |
SK90/4.07 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.188 |
0.196 |
0.185 |
0.184 |
0.195 |
0.185 |
SK90/4.08 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.151 |
0.15 |
0.165 |
0.167 |
0.159 |
0.155 |
SK90/4.09 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.15 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.154 |
0.183 |
0.151 |
0.162 |
0.17 |
0.172 |
SK90/4.19 |
60.0 |
60.0 |
0.143 |
60.0 |
60.0 |
0.157 |
60.0 |
60.0 |
0.142 |
60.0 |
60.0 |
0.158 |
SK90/4.20 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.21 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.23 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.25 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.194 |
0.196 |
0.2 |
0.203 |
0.198 |
0.211 |
SK90/4.28 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.39 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.45 |
60.0 |
60.0 |
0.152 |
60.0 |
60.0 |
0.156 |
0.156 |
0.158 |
0.16 |
0.164 |
0.156 |
0.156 |
SK90/4.48 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.166 |
0.187 |
0.187 |
0.178 |
0.168 |
0.185 |
SK90/4.51 |
60.0 |
60.0 |
60.0 |
7.023 |
7.1 |
7.365 |
60.0 |
60.0 |
60.0 |
0.188 |
0.193 |
0.187 |
SK90/4.53 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
SK90/4.55 |
60.0 |
60.0 |
60.0 |
0.162 |
0.159 |
0.162 |
0.152 |
0.157 |
0.16 |
0.159 |
0.162 |
0.158 |
Secret_05_TRS/aprove4 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_05_TRS/cime3 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_05_TRS/cime5 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_05_TRS/teparla1 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.166 |
0.166 |
0.164 |
0.166 |
0.156 |
0.154 |
Secret_05_TRS/teparla2 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_05_TRS/teparla3 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
23.297 |
23.296 |
23.645 |
|
explicit |
implicit |
explicit rfc |
implicit rfc |
problem |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
|
Secret_06_TRS/cime1 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_06_TRS/divExp |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_06_TRS/times |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_06_TRS/tpa01 |
60.0 |
60.0 |
60.0 |
0.271 |
0.281 |
0.275 |
60.0 |
60.0 |
60.0 |
0.278 |
0.283 |
0.282 |
Secret_06_TRS/tpa02 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_06_TRS/tpa03 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_07_TRS/1 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.343 |
0.371 |
0.368 |
Secret_07_TRS/2 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_07_TRS/3 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Secret_07_TRS/4 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
4.539 |
4.419 |
4.425 |
Secret_07_TRS/5 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_AG01/#4.13 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_AG01/#4.19 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_AG01/#4.25 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_AG01/#4.3 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_AG01/#4.35 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_AG01/#4.4 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_CSR_05/Ex24_GM04 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_mixed_05/ex6 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_mixed_05/gkg |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Strategy_removed_mixed_05/test10 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
TCT_09/ma6 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
TCT_09/ma7 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex14_Luc06_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex14_Luc06_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
explicit |
implicit |
explicit rfc |
implicit rfc |
problem |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
|
Transformed_CSR_04/Ex14_Luc06_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex14_Luc06_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex16_Luc06_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex16_Luc06_FR |
60.0 |
60.0 |
60.0 |
0.189 |
0.169 |
0.177 |
0.169 |
0.164 |
0.173 |
0.179 |
0.158 |
0.183 |
Transformed_CSR_04/Ex16_Luc06_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.202 |
0.207 |
0.204 |
0.216 |
0.223 |
0.213 |
Transformed_CSR_04/Ex16_Luc06_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.634 |
0.653 |
0.655 |
Transformed_CSR_04/Ex24_GM04_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex24_GM04_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex24_GM04_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex24_GM04_Z |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex24_GM04_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex9_Luc06_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex9_Luc06_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/Ex9_Luc06_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.546 |
0.531 |
0.542 |
Transformed_CSR_04/Ex9_Luc06_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete-noand_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete-noand_Z |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete_Z |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete_noand_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete_noand_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_complete_noand_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
explicit |
implicit |
explicit rfc |
implicit rfc |
problem |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
|
Transformed_CSR_04/ PALINDROME_nokinds-noand_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds-noand_Z |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds_Z |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds_noand_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds_noand_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nokinds_noand_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nosorts-noand_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.206 |
0.212 |
0.218 |
0.22 |
0.225 |
0.211 |
Transformed_CSR_04/ PALINDROME_nosorts-noand_L |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.234 |
0.219 |
0.204 |
0.214 |
0.243 |
0.208 |
Transformed_CSR_04/ PALINDROME_nosorts_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nosorts_FR |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.184 |
0.189 |
0.181 |
0.192 |
0.176 |
0.197 |
Transformed_CSR_04/ PALINDROME_nosorts_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nosorts_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nosorts_noand_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nosorts_noand_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Transformed_CSR_04/ PALINDROME_nosorts_noand_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Various_04/03 |
60.0 |
60.0 |
60.0 |
0.786 |
0.772 |
0.805 |
60.0 |
60.0 |
60.0 |
0.791 |
0.793 |
0.772 |
Various_04/04 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Various_04/05 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Various_04/06 |
0.162 |
0.188 |
0.18 |
0.177 |
0.182 |
0.173 |
0.188 |
0.167 |
0.166 |
0.166 |
0.17 |
0.192 |
Various_04/07 |
0.133 |
0.158 |
0.142 |
0.145 |
0.138 |
0.147 |
0.139 |
0.159 |
0.152 |
0.149 |
0.155 |
0.15 |
Various_04/08 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
explicit |
implicit |
explicit rfc |
implicit rfc |
problem |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
t |
r |
rm |
|
Various_04/09 |
0.441 |
0.459 |
0.465 |
0.463 |
0.486 |
0.482 |
0.466 |
0.459 |
0.462 |
0.476 |
0.46 |
0.478 |
Various_04/18 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.196 |
0.19 |
0.196 |
0.192 |
0.202 |
0.201 |
Various_04/19 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
Various_04/23 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.242 |
0.252 |
Various_04/26 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|