iters=5 new-facts=1 prior-facts=1 | | mean | 277.717-277.714=0.003 | | σ | 0.008-0.012=-0.004 | | min | 277.708-277.698=0.009 | | max | 277.727-277.728=-0.001 |
| | mean | 2654.000-2631.000=23.000 | | σ | 0.000 | | min | 2654.000-2631.000=23.000 | | max | 2654.000-2631.000=23.000 |
| | mean | 0.410-0.410=0.000 | | σ | 0.001-0.001=0.000 | | min | 0.409-0.409=-0.000 | | max | 0.412-0.412=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.876-2267.880=-0.004 | | σ | 0.023-0.013=0.010 | | min | 2267.852-2267.858=-0.006 | | max | 2267.897-2267.888=0.009 |
| | mean | 2654.000-2631.000=23.000 | | σ | 0.000 | | min | 2654.000-2631.000=23.000 | | max | 2654.000-2631.000=23.000 |
| | mean | 3.196-2.940=0.256 | | σ | 0.146-0.159=-0.013 | | min | 2.947-2.801=0.147 | | max | 3.313-3.135=0.178 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.932-4954.663=0.269 | | σ | 0.834-0.776=0.058 | | min | 4954.266-4953.683=0.583 | | max | 4956.381-4955.823=0.557 |
| | mean | 2654.000-2631.000=23.000 | | σ | 0.000 | | min | 2654.000-2631.000=23.000 | | max | 2654.000-2631.000=23.000 |
| | mean | 7.830-8.047=-0.217 | | σ | 0.185-0.502=-0.317 | | min | 7.666-7.733=-0.067 | | max | 8.119-8.935=-0.816 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.690-4963.528=206.162 | | σ | 0.211-461.179=-460.968 | | min | 5169.337-4138.546=1030.792 | | max | 5169.857-5169.857=0.000 |
| | mean | 3362.800-3339.400=23.400 | | σ | 451.135-296.887=154.248 | | min | 2923.000-2873.000=50.000 | | max | 3824.000-3598.000=226.000 |
| | mean | 9.378-8.855=0.523 | | σ | 0.195-0.815=-0.620 | | min | 9.132-7.433=1.699 | | max | 9.679-9.474=0.204 |
|