01
0.316
0.108
0.025
0.048
0.060
0.056
0.059
0.013
0.025
0.023
0.022
0.533
0.543
1.262
1.182
49.724
0.118
1.175
0.928
0.151
0.130
1.086
0.939
0.042
0.075
2.106
9.204
0.215
0.548
28.014
12.474
5.468
2.169
2.583
2.338
3.006
0.294
0.293
7.033
0.591
1.092
1.845
0.870
14.481
0.180
1.855
14.935
4.972
1.585
2.767
0.329
0.012
1.071
0.051
0.095
2.171
0.020
0.524
0.133
4.039
2.675
2.329
13.659
0.018
0.030
0.099
2.213
0.035
0.060
0.200
0.714
1.095
1.740
0.756
0.418
4.822
5.208
1.504
4.590
5.834
0.589
0.863
0.790
0.015
0.505
0.577
0.093
0.120
0.386
0.104
0.051
1.649
0.016
0.530
0.984
0.214
0.014
0.853
1.341
2.419
1.524
2.679
1.551
1.490
0.627
0.071
3.441
0.397
0.300
1.720
0.909
0.010
1.636
2.291
1.033
1.635
0.633
1.135

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