iters=5 new-facts=1 prior-facts=1 | | mean | 326.445-272.794=53.651 | | σ | 0.049-0.007=0.042 | | min | 326.358-272.787=53.571 | | max | 326.475-272.802=53.674 |
| | mean | 2599.000-2712.000=-113.000 | | σ | 0.000 | | min | 2599.000-2712.000=-113.000 | | max | 2599.000-2712.000=-113.000 |
| | mean | 0.422-0.377=0.045 | | σ | 0.001-0.001=-0.000 | | min | 0.420-0.375=0.045 | | max | 0.424-0.379=0.045 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.617-1933.218=55.399 | | σ | 0.008-0.017=-0.009 | | min | 1988.610-1933.198=55.412 | | max | 1988.629-1933.244=55.385 |
| | mean | 2599.000-2712.000=-113.000 | | σ | 0.000 | | min | 2599.000-2712.000=-113.000 | | max | 2599.000-2712.000=-113.000 |
| | mean | 2.692-3.107=-0.415 | | σ | 0.119-0.158=-0.039 | | min | 2.596-2.951=-0.356 | | max | 2.890-3.363=-0.473 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.340-4756.916=56.423 | | σ | 7.812-7.578=0.234 | | min | 4809.420-4753.415=56.005 | | max | 4827.307-4770.471=56.836 |
| | mean | 2599.000-2712.000=-113.000 | | σ | 0.000 | | min | 2599.000-2712.000=-113.000 | | max | 2599.000-2712.000=-113.000 |
| | mean | 8.923-8.660=0.263 | | σ | 0.310-0.438=-0.128 | | min | 8.580-8.030=0.550 | | max | 9.312-9.108=0.204 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010-4944.449=56.561 | | σ | 0.024-0.014=0.010 | | min | 5000.984-4944.433=56.551 | | max | 5001.038-4944.467=56.572 |
| | mean | 3004.600-3008.800=-4.200 | | σ | 259.101-336.166=-77.065 | | min | 2619.000-2712.000=-93.000 | | max | 3312.000-3505.000=-193.000 |
| | mean | 9.721-8.538=1.183 | | σ | 0.182-0.241=-0.059 | | min | 9.437-8.344=1.093 | | max | 9.944-8.947=0.997 |
|