diff options
Diffstat (limited to 'logs/battery3.log')
| -rw-r--r-- | logs/battery3.log | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/logs/battery3.log b/logs/battery3.log new file mode 100644 index 0000000..08804ad --- /dev/null +++ b/logs/battery3.log @@ -0,0 +1,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} |
