iters=5 new-facts=1 prior-facts=1 | | mean | 324.022-272.792=51.229 | | σ | 0.032-0.006=0.026 | | min | 323.968-272.784=51.183 | | max | 324.048-272.798=51.250 |
| | mean | 2502.000-2769.000=-267.000 | | σ | 0.000 | | min | 2502.000-2769.000=-267.000 | | max | 2502.000-2769.000=-267.000 |
| | mean | 0.430-0.381=0.048 | | σ | 0.007-0.005=0.002 | | min | 0.424-0.377=0.047 | | max | 0.439-0.390=0.049 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.587-1933.226=51.361 | | σ | 0.021-0.007=0.014 | | min | 1984.551-1933.214=51.337 | | max | 1984.605-1933.233=51.373 |
| | mean | 2502.000-2769.000=-267.000 | | σ | 0.000 | | min | 2502.000-2769.000=-267.000 | | max | 2502.000-2769.000=-267.000 |
| | mean | 2.592-3.019=-0.427 | | σ | 0.109-0.129=-0.019 | | min | 2.446-2.842=-0.395 | | max | 2.716-3.204=-0.489 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4807.985-4756.860=51.125 | | σ | 7.952-7.669=0.283 | | min | 4804.163-4752.954=51.209 | | max | 4822.202-4770.569=51.633 |
| | mean | 2502.000-2769.000=-267.000 | | σ | 0.000 | | min | 2502.000-2769.000=-267.000 | | max | 2502.000-2769.000=-267.000 |
| | mean | 8.831-8.378=0.453 | | σ | 0.140-0.556=-0.415 | | min | 8.663-7.771=0.891 | | max | 9.031-8.925=0.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.805-4944.455=51.350 | | σ | 0.025-0.014=0.011 | | min | 4995.773-4944.442=51.332 | | max | 4995.834-4944.473=51.360 |
| | mean | 3012.000-3002.400=9.600 | | σ | 303.720-298.001=5.719 | | min | 2600.000-2769.000=-169.000 | | max | 3394.000-3471.000=-77.000 |
| | mean | 8.605-8.382=0.223 | | σ | 0.077-0.039=0.039 | | min | 8.499-8.355=0.144 | | max | 8.687-8.445=0.242 |
|