iters=5 new-facts=1 prior-facts=1 | | mean | 279.509-279.511=-0.002 | | σ | 0.004-0.009=-0.004 | | min | 279.502-279.499=0.003 | | max | 279.513-279.519=-0.006 |
| | mean | 2766.000-2768.000=-2.000 | | σ | 0.000 | | min | 2766.000-2768.000=-2.000 | | max | 2766.000-2768.000=-2.000 |
| | mean | 0.409-0.411=-0.002 | | σ | 0.001-0.007=-0.005 | | min | 0.407-0.405=0.002 | | max | 0.410-0.421=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.436-2178.425=0.011 | | σ | 0.009-0.037=-0.028 | | min | 2178.422-2178.359=0.063 | | max | 2178.444-2178.449=-0.005 |
| | mean | 2766.000-2768.000=-2.000 | | σ | 0.000 | | min | 2766.000-2768.000=-2.000 | | max | 2766.000-2768.000=-2.000 |
| | mean | 3.259-3.389=-0.130 | | σ | 0.260-0.117=0.143 | | min | 2.830-3.268=-0.438 | | max | 3.507-3.530=-0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.375-5056.357=0.018 | | σ | 0.984-0.973=0.011 | | min | 5055.797-5055.766=0.031 | | max | 5058.126-5058.083=0.043 |
| | mean | 2766.000-2768.000=-2.000 | | σ | 0.000 | | min | 2766.000-2768.000=-2.000 | | max | 2766.000-2768.000=-2.000 |
| | mean | 8.695-9.034=-0.339 | | σ | 0.557-0.490=0.067 | | min | 8.150-8.168=-0.018 | | max | 9.534-9.359=0.175 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.681-5193.674=0.007 | | σ | 0.126-0.125=0.001 | | min | 5193.503-5193.505=-0.002 | | max | 5193.855-5193.857=-0.002 |
| | mean | 3238.400-3276.200=-37.800 | | σ | 331.760-460.996=-129.236 | | min | 2766.000-2768.000=-2.000 | | max | 3673.000-3914.000=-241.000 |
| | mean | 9.107-8.976=0.131 | | σ | 0.516-0.099=0.417 | | min | 8.698-8.861=-0.162 | | max | 9.709-9.094=0.615 |
|