iters=5 new-facts=1 prior-facts=1 | | mean | 279.509-279.509=0.000 | | σ | 0.006-0.004=0.002 | | min | 279.501-279.502=-0.001 | | max | 279.515-279.513=0.001 |
| | mean | 2753.000-2766.000=-13.000 | | σ | 0.000 | | min | 2753.000-2766.000=-13.000 | | max | 2753.000-2766.000=-13.000 |
| | mean | 0.408-0.409=-0.001 | | σ | 0.007-0.001=0.006 | | min | 0.404-0.407=-0.003 | | max | 0.420-0.410=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.438-2178.436=0.002 | | σ | 0.014-0.009=0.005 | | min | 2178.426-2178.422=0.004 | | max | 2178.462-2178.444=0.018 |
| | mean | 2753.000-2766.000=-13.000 | | σ | 0.000 | | min | 2753.000-2766.000=-13.000 | | max | 2753.000-2766.000=-13.000 |
| | mean | 3.347-3.259=0.087 | | σ | 0.123-0.260=-0.137 | | min | 3.225-2.830=0.395 | | max | 3.532-3.507=0.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.368-5056.375=-0.007 | | σ | 0.980-0.984=-0.003 | | min | 5055.761-5055.797=-0.036 | | max | 5058.104-5058.126=-0.022 |
| | mean | 2753.000-2766.000=-13.000 | | σ | 0.000 | | min | 2753.000-2766.000=-13.000 | | max | 2753.000-2766.000=-13.000 |
| | mean | 9.120-8.695=0.424 | | σ | 0.536-0.557=-0.021 | | min | 8.210-8.150=0.060 | | max | 9.581-9.534=0.047 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.760-5193.681=0.078 | | σ | 0.090-0.126=-0.036 | | min | 5193.686-5193.503=0.183 | | max | 5193.860-5193.855=0.005 |
| | mean | 3241.400-3238.400=3.000 | | σ | 340.469-331.760=8.708 | | min | 2753.000-2766.000=-13.000 | | max | 3683.000-3673.000=10.000 |
| | mean | 9.028-9.107=-0.079 | | σ | 0.390-0.516=-0.126 | | min | 8.747-8.698=0.048 | | max | 9.700-9.709=-0.008 |
|