01
0.261
0.114
0.025
0.056
0.058
0.076
0.047
0.016
0.028
0.024
0.029
0.307
0.475
4.057
1.404
30.599
0.131
2.207
1.489
0.161
0.137
3.243
1.347
0.058
0.092
6.166
18.758
0.249
0.651
58.847
21.587
7.756
4.168
3.728
4.938
2.956
0.248
0.286
6.954
0.491
4.779
6.171
0.863
14.573
0.328
8.943
56.230
16.227
3.838
9.589
0.292
0.017
1.097
0.060
0.069
2.666
0.022
0.527
0.085
4.183
3.419
2.794
13.401
0.015
0.024
0.071
2.039
0.027
0.048
0.127
1.128
1.329
2.236
0.986
0.225
8.021
10.404
3.374
7.250
8.267
0.962
2.598
1.951
0.012
0.480
1.087
0.131
0.104
0.234
0.120
0.052
2.981
0.016
0.676
0.692
0.197
0.013
1.802
1.587
2.762
1.573
3.462
3.103
3.863
0.850
0.068
5.756
0.210
0.370
3.562
0.747
0.015
1.393
2.759
0.738
3.025
16.533
1.083
1.312

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)*'
1java -jar aprove.jar