iters=5 new-facts=1 prior-facts=1 | | mean | 324.767-324.771=-0.004 | | σ | 0.056-0.054=0.002 | | min | 324.668-324.675=-0.008 | | max | 324.795-324.802=-0.007 |
| | mean | 2834.000-2683.000=151.000 | | σ | 0.000 | | min | 2834.000-2683.000=151.000 | | max | 2834.000-2683.000=151.000 |
| | mean | 0.422-0.428=-0.005 | | σ | 0.008-0.009=-0.001 | | min | 0.418-0.421=-0.003 | | max | 0.436-0.439=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.329-1985.324=0.005 | | σ | 0.014-0.017=-0.004 | | min | 1985.306-1985.293=0.013 | | max | 1985.341-1985.335=0.006 |
| | mean | 2834.000-2683.000=151.000 | | σ | 0.000 | | min | 2834.000-2683.000=151.000 | | max | 2834.000-2683.000=151.000 |
| | mean | 2.663-2.644=0.019 | | σ | 0.122-0.069=0.053 | | min | 2.568-2.594=-0.025 | | max | 2.826-2.740=0.086 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4810.235-4810.082=0.153 | | σ | 7.610-7.747=-0.137 | | min | 4806.765-4806.286=0.479 | | max | 4823.849-4823.935=-0.086 |
| | mean | 2834.000-2683.000=151.000 | | σ | 0.000 | | min | 2834.000-2683.000=151.000 | | max | 2834.000-2683.000=151.000 |
| | mean | 8.012-8.383=-0.371 | | σ | 0.282-0.637=-0.355 | | min | 7.728-7.671=0.057 | | max | 8.450-9.074=-0.624 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.704-4997.696=0.009 | | σ | 0.028-0.055=-0.027 | | min | 4997.670-4997.607=0.063 | | max | 4997.731-4997.733=-0.002 |
| | mean | 3041.000-3004.200=36.800 | | σ | 283.538-364.562=-81.023 | | min | 2834.000-2683.000=151.000 | | max | 3487.000-3533.000=-46.000 |
| | mean | 8.470-8.553=-0.083 | | σ | 0.124-0.152=-0.028 | | min | 8.371-8.443=-0.072 | | max | 8.685-8.814=-0.130 |
|