|
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.164 |
0.165 |
0.165 |
0.172 |
0.164 |
0.167 |
0.164 |
0.18 |
0.18 |
0.167 |
0.163 |
0.167 |
Der95/02 |
0.16 |
0.148 |
0.147 |
0.15 |
0.156 |
0.151 |
0.149 |
0.165 |
0.156 |
0.151 |
0.162 |
0.153 |
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.181 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.201 |
Rubio_04/koen |
60.0 |
60.0 |
60.0 |
0.808 |
0.382 |
0.357 |
60.0 |
60.0 |
60.0 |
0.81 |
0.401 |
0.366 |
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.204 |
0.197 |
0.201 |
0.191 |
0.202 |
0.199 |
SK90/2.32 |
0.194 |
0.203 |
0.192 |
0.192 |
0.215 |
0.194 |
0.198 |
0.207 |
0.208 |
0.203 |
0.196 |
0.206 |
SK90/2.33 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.206 |
0.204 |
0.2 |
0.203 |
0.2 |
0.197 |
SK90/2.34 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.187 |
0.182 |
0.183 |
0.188 |
0.199 |
0.19 |
SK90/2.55 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.166 |
0.165 |
0.163 |
0.165 |
0.171 |
0.167 |
SK90/2.58 |
60.0 |
60.0 |
60.0 |
0.251 |
0.24 |
0.241 |
60.0 |
60.0 |
60.0 |
0.263 |
0.241 |
0.241 |
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 |
60.0 |
60.0 |
60.0 |
54.452 |
0.877 |
0.892 |
0.879 |
0.484 |
0.485 |
0.654 |
SK90/4.01 |
0.365 |
0.38 |
0.401 |
0.395 |
0.368 |
0.401 |
0.347 |
0.348 |
0.336 |
0.34 |
0.342 |
0.358 |
|
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.163 |
0.164 |
0.166 |
0.194 |
0.174 |
0.198 |
SK90/4.07 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.189 |
0.187 |
0.188 |
0.235 |
0.192 |
0.186 |
SK90/4.08 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.154 |
0.158 |
0.158 |
0.153 |
0.167 |
0.164 |
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.98 |
1.036 |
1.056 |
1.08 |
0.976 |
1.052 |
SK90/4.19 |
60.0 |
60.0 |
0.147 |
60.0 |
60.0 |
0.145 |
60.0 |
60.0 |
0.148 |
60.0 |
60.0 |
0.148 |
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.189 |
0.182 |
0.182 |
0.187 |
0.198 |
0.199 |
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.163 |
60.0 |
60.0 |
0.151 |
0.16 |
0.161 |
0.17 |
0.152 |
0.154 |
0.156 |
SK90/4.48 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.18 |
0.181 |
0.191 |
0.182 |
0.188 |
0.199 |
SK90/4.51 |
60.0 |
60.0 |
60.0 |
7.442 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.202 |
0.197 |
0.2 |
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.173 |
0.2 |
0.187 |
0.162 |
0.165 |
0.154 |
0.155 |
0.155 |
0.166 |
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.165 |
0.164 |
0.171 |
0.172 |
0.163 |
0.167 |
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 |
43.455 |
42.671 |
42.511 |
|
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 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
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.32 |
0.349 |
0.348 |
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.361 |
4.365 |
4.371 |
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.199 |
0.213 |
0.208 |
0.178 |
0.177 |
0.179 |
0.177 |
0.175 |
0.176 |
Transformed_CSR_04/Ex16_Luc06_GM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.214 |
0.215 |
0.214 |
0.236 |
0.221 |
0.214 |
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.4 |
0.385 |
0.384 |
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.646 |
0.627 |
0.625 |
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.238 |
0.221 |
0.221 |
0.237 |
0.237 |
0.248 |
Transformed_CSR_04/ PALINDROME_nosorts-noand_L |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.213 |
0.214 |
0.214 |
0.246 |
0.216 |
0.217 |
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.195 |
0.213 |
0.186 |
0.203 |
0.188 |
0.189 |
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.876 |
0.865 |
0.881 |
60.0 |
60.0 |
60.0 |
0.844 |
0.845 |
0.902 |
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.183 |
0.167 |
0.183 |
0.172 |
0.175 |
0.174 |
0.184 |
0.176 |
0.177 |
0.181 |
0.189 |
0.184 |
Various_04/07 |
0.163 |
0.145 |
0.148 |
0.145 |
0.147 |
0.151 |
0.15 |
0.153 |
0.16 |
0.153 |
0.148 |
0.165 |
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 |
1.034 |
1.052 |
1.036 |
0.515 |
0.498 |
0.485 |
1.016 |
1.084 |
1.02 |
0.468 |
0.468 |
0.47 |
Various_04/18 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
0.202 |
0.195 |
0.21 |
0.189 |
0.189 |
0.188 |
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.248 |
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 |
|