iters=5 new-facts=1 prior-facts=1 | | mean | 271.955-271.601=0.354 | | σ | 0.005-0.007=-0.002 | | min | 271.950-271.591=0.358 | | max | 271.964-271.609=0.355 |
| | mean | 2778.000-2771.000=7.000 | | σ | 0.000 | | min | 2778.000-2771.000=7.000 | | max | 2778.000-2771.000=7.000 |
| | mean | 0.381-0.384=-0.002 | | σ | 0.008-0.007=0.001 | | min | 0.377-0.379=-0.002 | | max | 0.396-0.397=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.322-1932.003=0.319 | | σ | 0.019-0.011=0.008 | | min | 1932.301-1931.990=0.311 | | max | 1932.344-1932.013=0.332 |
| | mean | 2778.000-2771.000=7.000 | | σ | 0.000 | | min | 2778.000-2771.000=7.000 | | max | 2778.000-2771.000=7.000 |
| | mean | 2.992-2.579=0.413 | | σ | 0.057-0.129=-0.072 | | min | 2.898-2.475=0.422 | | max | 3.055-2.736=0.318 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.080-4752.585=0.496 | | σ | 0.899-1.018=-0.119 | | min | 4752.607-4751.733=0.874 | | max | 4754.678-4754.354=0.325 |
| | mean | 2778.000-2771.000=7.000 | | σ | 0.000 | | min | 2778.000-2771.000=7.000 | | max | 2778.000-2771.000=7.000 |
| | mean | 8.575-8.742=-0.168 | | σ | 0.446-0.483=-0.037 | | min | 7.987-7.997=-0.010 | | max | 8.945-9.231=-0.286 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.563-4943.212=0.351 | | σ | 0.012-0.015=-0.003 | | min | 4943.544-4943.195=0.350 | | max | 4943.572-4943.230=0.342 |
| | mean | 2991.800-3040.600=-48.800 | | σ | 212.757-248.281=-35.523 | | min | 2778.000-2771.000=7.000 | | max | 3304.000-3384.000=-80.000 |
| | mean | 8.591-8.773=-0.182 | | σ | 0.209-0.218=-0.009 | | min | 8.394-8.472=-0.079 | | max | 8.922-9.023=-0.101 |
|