logs/battery3.log


1
2
3
4
5
6
7
8
9
10
11
12
13


=== omit-size-BOUND0.997  (N=256, chance=0.0039)
  PATH convex-concave    raw=0.0052  refined=0.0039  (3.2s)
  moment ladder tr(M^k)  raw=0.0065  refined=0.0117  (0.5s)

=== rank8-BOUND0.93  (N=256, chance=0.0039)
  PATH convex-concave    raw=0.8047  refined=0.8659  (3.2s)
  moment ladder tr(M^k)  raw=0.0938  refined=0.2135  (0.5s)

=== synth-full-BOUND0.99  (N=256, chance=0.0039)
  PATH convex-concave    raw=0.9583  refined=0.9609  (3.1s)
  moment ladder tr(M^k)  raw=0.0352  refined=0.1120  (0.5s)
{"done": true}