DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

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
Yes No Maybe Timeout