iters=5 new-facts=1 prior-facts=1 | | mean | 278.695-277.719=0.975 | | σ | 0.014-0.008=0.006 | | min | 278.677-277.708=0.969 | | max | 278.709-277.730=0.980 |
| | mean | 2611.000-2653.000=-42.000 | | σ | 0.000 | | min | 2611.000-2653.000=-42.000 | | max | 2611.000-2653.000=-42.000 |
| | mean | 0.420-0.409=0.011 | | σ | 0.001-0.001=0.001 | | min | 0.418-0.409=0.009 | | max | 0.421-0.410=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.840-2267.869=0.971 | | σ | 0.017-0.016=0.001 | | min | 2268.822-2267.850=0.972 | | max | 2268.864-2267.888=0.976 |
| | mean | 2611.000-2653.000=-42.000 | | σ | 0.000 | | min | 2611.000-2653.000=-42.000 | | max | 2611.000-2653.000=-42.000 |
| | mean | 3.303-3.235=0.067 | | σ | 0.136-0.196=-0.060 | | min | 3.144-2.930=0.214 | | max | 3.491-3.437=0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.921-4955.056=0.865 | | σ | 1.046-0.819=0.227 | | min | 4955.025-4954.595=0.430 | | max | 4957.720-4956.514=1.206 |
| | mean | 2611.000-2653.000=-42.000 | | σ | 0.000 | | min | 2611.000-2653.000=-42.000 | | max | 2611.000-2653.000=-42.000 |
| | mean | 8.126-7.919=0.206 | | σ | 0.322-0.290=0.032 | | min | 7.745-7.642=0.103 | | max | 8.620-8.323=0.297 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.773-5169.646=1.127 | | σ | 0.084-0.222=-0.139 | | min | 5170.678-5169.343=1.335 | | max | 5170.850-5169.852=0.998 |
| | mean | 3454.200-3359.200=95.000 | | σ | 474.506-451.646=22.860 | | min | 2839.000-2919.000=-80.000 | | max | 4118.000-3821.000=297.000 |
| | mean | 9.320-9.364=-0.044 | | σ | 0.153-0.136=0.017 | | min | 9.107-9.138=-0.031 | | max | 9.459-9.474=-0.014 |
|