iters=5 new-facts=1 prior-facts=1 | | mean | 271.733-271.752=-0.019 | | σ | 0.006-0.007=-0.001 | | min | 271.725-271.744=-0.019 | | max | 271.740-271.758=-0.018 |
| | mean | 2874.000-2811.000=63.000 | | σ | 0.000 | | min | 2874.000-2811.000=63.000 | | max | 2874.000-2811.000=63.000 |
| | mean | 0.380-0.382=-0.002 | | σ | 0.008-0.004=0.003 | | min | 0.368-0.379=-0.011 | | max | 0.388-0.390=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.176-1932.180=-0.004 | | σ | 0.013-0.017=-0.004 | | min | 1932.162-1932.156=0.006 | | max | 1932.196-1932.201=-0.005 |
| | mean | 2874.000-2811.000=63.000 | | σ | 0.000 | | min | 2874.000-2811.000=63.000 | | max | 2874.000-2811.000=63.000 |
| | mean | 2.975-2.939=0.036 | | σ | 0.143-0.049=0.094 | | min | 2.739-2.852=-0.113 | | max | 3.125-2.974=0.151 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.807-4752.797=0.009 | | σ | 0.961-1.014=-0.054 | | min | 4752.012-4751.992=0.020 | | max | 4754.471-4754.567=-0.096 |
| | mean | 2874.000-2811.000=63.000 | | σ | 0.000 | | min | 2874.000-2811.000=63.000 | | max | 2874.000-2811.000=63.000 |
| | mean | 8.343-8.672=-0.329 | | σ | 0.501-0.297=0.204 | | min | 7.809-8.374=-0.565 | | max | 9.028-9.094=-0.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.375-4943.372=0.004 | | σ | 0.020-0.019=0.001 | | min | 4943.354-4943.347=0.007 | | max | 4943.397-4943.388=0.009 |
| | mean | 3058.800-3019.800=39.000 | | σ | 242.936-266.401=-23.466 | | min | 2874.000-2811.000=63.000 | | max | 3423.000-3428.000=-5.000 |
| | mean | 8.456-8.427=0.030 | | σ | 0.098-0.030=0.068 | | min | 8.394-8.404=-0.010 | | max | 8.625-8.474=0.151 |
|