iters=5 new-facts=1 prior-facts=1 | | mean | 277.198-277.196=0.002 | | σ | 0.008-0.006=0.002 | | min | 277.188-277.190=-0.002 | | max | 277.208-277.205=0.003 |
| | mean | 2699.000-2663.000=36.000 | | σ | 0.000 | | min | 2699.000-2663.000=36.000 | | max | 2699.000-2663.000=36.000 |
| | mean | 0.407-0.407=-0.001 | | σ | 0.008-0.008=0.001 | | min | 0.399-0.399=-0.000 | | max | 0.419-0.416=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.432-2174.427=0.005 | | σ | 0.011-0.017=-0.006 | | min | 2174.421-2174.410=0.011 | | max | 2174.448-2174.451=-0.003 |
| | mean | 2699.000-2663.000=36.000 | | σ | 0.000 | | min | 2699.000-2663.000=36.000 | | max | 2699.000-2663.000=36.000 |
| | mean | 2.987-3.126=-0.139 | | σ | 0.138-0.214=-0.076 | | min | 2.771-2.836=-0.065 | | max | 3.096-3.433=-0.337 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.644-5052.602=0.042 | | σ | 0.995-0.941=0.054 | | min | 5051.999-5051.991=0.009 | | max | 5054.404-5054.268=0.136 |
| | mean | 2699.000-2663.000=36.000 | | σ | 0.000 | | min | 2699.000-2663.000=36.000 | | max | 2699.000-2663.000=36.000 |
| | mean | 8.682-8.833=-0.151 | | σ | 0.730-0.591=0.139 | | min | 8.083-8.172=-0.089 | | max | 9.807-9.372=0.435 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.424-5188.413=0.011 | | σ | 0.089-0.073=0.016 | | min | 5188.350-5188.359=-0.008 | | max | 5188.521-5188.526=-0.004 |
| | mean | 3283.000-3282.600=0.400 | | σ | 426.320-423.635=2.685 | | min | 2699.000-2684.000=15.000 | | max | 3680.000-3672.000=8.000 |
| | mean | 9.025-8.978=0.047 | | σ | 0.321-0.317=0.004 | | min | 8.826-8.700=0.126 | | max | 9.582-9.493=0.089 |
|