012345
0.118 0.128 0.128 0.315
0.078 0.059 0.870 0.895
0.025 0.039 0.113 0.148
0.044 0.067 0.136 0.315
0.043 0.026 0.335 0.235
0.056 0.069 0.295 0.698
0.019 0.031 0.127 0.325
0.018 0.017 0.059 0.144
0.018 0.025 0.053 0.166
0.041 0.028 0.039 0.055
0.022 0.023 0.028 0.081
0.062 0.048 0.175 0.259
0.047 0.024 0.283 0.249
0.075 0.024 0.354 0.428
0.073 0.052 0.566 0.803
0.021 0.082 0.049 1.348
0.049 0.039 0.249 0.542
0.039 0.049 0.333 0.346
0.072 0.019 0.256 0.408
0.133 0.121 32.726 0.703
0.059 0.101 0.389 0.837
0.043 0.110 0.367 0.495
0.121 0.111 0.172 0.297
0.050 0.103 0.389 0.318
0.132 0.071 0.246 0.509
0.147 0.325 0.486 1.191
0.084 0.019 7.354 1.858
0.073 0.066 3.228 0.742
0.058 0.099 0.374 0.409
0.147 0.113 0.991 13.045
0.181 0.113 4.072 3.220
0.052 0.037 1.781 1.354
0.089 0.020 1.609 1.160
0.065 0.061 0.383 0.687
0.026 0.046 0.486 0.628
0.039 0.015 0.170 0.488
0.085 0.165 0.217 0.666
0.021 0.028 0.130 0.577
0.106 0.080 0.175 4.532
0.059 0.016 0.246 0.228
0.018 0.037 0.448 0.935
0.059 0.054 0.302 1.346
0.020 0.024 0.135 0.146
0.065 0.016 0.170 0.259
0.051 0.016 0.043 0.096
0.061 0.119 1.434 2.430
1.217 0.356 4.219
0.237 0.062 0.655 10.631
0.103 0.098 0.922 8.338
0.158 0.112 0.432 2.966
0.109 0.068 0.328 1.988
0.087 0.031 1.147 3.338
0.076 0.059 0.281 0.953
0.086 0.071 0.406 1.586
0.049 0.046 0.174 0.267
0.016 0.038 0.022 0.040
0.040 0.018 0.117 0.234
0.038 0.066 0.039 0.136
0.033 0.033 0.102 0.118
0.034 0.039 0.086 0.378
0.017 0.029 0.030 0.101
0.069 0.228 0.132 0.452
0.070 0.047 0.528 0.508
0.080 0.073 1.592 0.996
0.042 0.080 0.246 0.452
0.115 0.120 31.863 0.931
0.126 0.098 1.325 2.459
0.040 0.043 0.073 0.068
0.042 0.026 0.102 0.168
0.086 0.042 0.104 0.599
0.073 0.072 0.124 0.611
0.034 0.049 0.060 0.147
0.101 0.067 0.779 0.423
0.069 0.087 1.241
0.097 0.122 0.129 0.259
0.023 0.048 0.261 0.387
0.084 0.068 0.232 0.406
0.018 0.028 0.180 0.315
0.063 0.054 0.362 0.246
0.096 0.118 5.950 4.394
0.037 0.045 4.460 1.274
0.161 0.034 0.823 2.570
0.080 0.022 0.972 0.840
0.041 0.028 1.035 1.152
0.162 0.022 0.511 0.500
0.152 0.065 0.354 0.907
0.033 0.081 0.135 0.445
0.028 0.015 0.040 0.080
0.096 0.083 0.190 0.539
0.030 0.040 0.090 0.293
0.059 0.018 0.046 0.116
0.125 0.020 0.923 0.522
0.059 0.040 0.130 0.213
0.043 0.099 0.070 0.189
0.061 0.113 0.123 0.365
0.070 0.025 0.224 0.362
0.030 0.021 0.042 0.063
0.021 0.039 0.105 0.175
0.099 0.044 0.171 0.323
0.131 0.105 58.543 1.052
0.054 0.048 0.048 0.081
0.051 0.125 0.316 0.306
0.081 0.093 0.105 0.196
0.057 0.019 0.100 0.128
0.062 0.036 0.448 0.614
0.044 0.019 0.278 0.600
0.022 0.035 0.391 0.412
0.103 0.024 0.371 0.525
0.085 0.022 0.110 0.428
0.030 0.039 0.103 0.215
0.025 0.037 0.155 0.372
0.202 0.125 1.118 8.011
0.119 0.017 0.189 0.131
0.036 0.038 0.077 0.176
0.037 0.053 0.137 0.304
0.052 0.061 0.064 0.256
0.016 0.015 0.033 0.046
0.083 0.040 0.246 0.231
0.072 0.030 0.583 0.547
0.070 0.039 0.132 0.300
0.083 0.074 0.322 0.684
0.064 0.272 1.233 5.915
0.204 0.180 1.767
0.231 0.080 0.641 1.415
0.206 0.074 0.388 1.862
0.097 0.071 0.107 0.353

Legend
0./ttt2 -t -s 'acrpo -direct'
1./ttt2 -t -s 'ackbo -ib 4 -ob 5 -direct'
2./ttt2 -t -s 'dp; (acrpo -af)*'
3./ttt2 -t -s 'dp; (ackbo -af -ib 2)*'
4./callmuterm
5java -jar aprove.jar