iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-277.195=-0.003 | | σ | 0.005-0.005=0.000 | | min | 277.188-277.190=-0.003 | | max | 277.199-277.201=-0.002 |
| | mean | 2503.000-2656.000=-153.000 | | σ | 0.000 | | min | 2503.000-2656.000=-153.000 | | max | 2503.000-2656.000=-153.000 |
| | mean | 0.397-0.396=0.001 | | σ | 0.010-0.009=0.001 | | min | 0.391-0.391=0.001 | | max | 0.415-0.412=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.437-2174.422=0.015 | | σ | 0.024-0.044=-0.020 | | min | 2174.405-2174.350=0.055 | | max | 2174.472-2174.467=0.005 |
| | mean | 2503.000-2656.000=-153.000 | | σ | 0.000 | | min | 2503.000-2656.000=-153.000 | | max | 2503.000-2656.000=-153.000 |
| | mean | 2.856-2.987=-0.131 | | σ | 0.172-0.206=-0.034 | | min | 2.677-2.694=-0.017 | | max | 3.132-3.190=-0.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.584-5052.482=0.102 | | σ | 0.966-1.096=-0.131 | | min | 5052.069-5051.445=0.625 | | max | 5054.306-5054.352=-0.046 |
| | mean | 2503.000-2656.000=-153.000 | | σ | 0.000 | | min | 2503.000-2656.000=-153.000 | | max | 2503.000-2656.000=-153.000 |
| | mean | 8.951-8.699=0.251 | | σ | 0.549-0.574=-0.026 | | min | 8.069-8.001=0.067 | | max | 9.391-9.492=-0.101 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.414-5188.357=0.057 | | σ | 0.087-0.211=-0.124 | | min | 5188.331-5188.006=0.325 | | max | 5188.517-5188.526=-0.009 |
| | mean | 3271.200-3228.000=43.200 | | σ | 499.005-385.991=113.014 | | min | 2625.000-2688.000=-63.000 | | max | 3867.000-3711.000=156.000 |
| | mean | 8.813-8.942=-0.129 | | σ | 0.147-0.461=-0.314 | | min | 8.649-8.568=0.081 | | max | 8.946-9.738=-0.792 |
|