012
0.353 0.339
0.222 0.554
0.029 0.071
0.070 0.362
0.079 0.328
0.072 1.331
0.100 1.142
0.013 0.086
0.036 0.151
0.025 0.143
0.029 0.154
0.537 0.601
0.680 0.667
3.961 1.436
2.090 2.602
26.017 3.651
0.119 0.081
2.231 1.932
1.739 1.506
0.195 1.234
0.232 2.365
3.329 1.757
1.705 1.522
0.066 0.630
0.136 1.397
6.418 3.897
20.190 15.564
0.278 1.841
0.621 0.674
21.120
36.038 27.887
13.444 11.139
9.478 8.785
7.294 7.137
7.898 4.736
5.763 5.944
0.442 0.174
0.532 0.587
11.223 8.338
1.015 1.465
6.012 2.095
7.610 3.953
1.575 1.240
21.108 20.884
0.459 0.255
10.783 3.554
52.143
20.449
17.803
51.064 6.415
18.299 7.637
4.729 3.238
9.135 4.562
0.276 0.388
0.013 0.042
1.257 2.016
0.077 0.129
0.115 0.110
3.020 2.286
0.038 0.084
0.560 0.411
0.105 3.117
8.093 8.188
4.920 4.056
4.538 3.204
21.185 15.280
0.021 0.047
0.052 0.094
0.126 1.276
3.560 3.200
0.062 0.142
0.095 0.773
0.271 1.683
1.989 0.864
2.334 1.917
3.671 4.700
1.492 0.965
0.551 0.469
13.458 9.504
16.614 13.235
5.773 3.065
11.903 6.941
12.728 9.583
1.530 1.371
3.532 1.862
2.551 1.947
0.016 0.057
0.549 0.153
1.439 1.070
0.157 0.153
0.166 3.700
0.396 0.386
0.146 0.128
0.084 1.743
3.740 3.128
0.015 0.038
0.935 1.134
1.125 1.269
0.252 1.917
0.016 0.088
2.331 1.397
2.243 2.067
3.756 2.547
3.262 3.067
4.967 4.718
4.012 2.820
4.558 2.664
1.292 0.844
0.125 0.591
7.090 3.173
57.972
0.777 0.851
0.759 0.702
7.115 5.312
1.620 1.034
0.011 0.038
1.860 1.699
4.279 2.939
1.905 1.868
4.896 3.934
22.963 33.037
1.263 0.844
2.164 2.304

Legend
0./ttt2 -t -s '(ackbo -direct -ib 3 -ob 4 -sc)?; dp; acdg?; (sccs?; acrpo -af || ackbo -af -ib 3 -ob 4 -sc || matrix -ib 2 -ob 3 -dp -dim 2)*'
1./ttt2 -t -s 'dp; acdg?; sccs?; (acrpo -af || ackbo -af -ib 3 -ob 4 -sc || {ur?; matrix -ib 2 -ob 3 -dp -dim 2 -ur[2]}restore)*'
2java -jar aprove.jar