iters=5 new-facts=1 prior-facts=1 | | mean | 272.767-272.100=0.666 | | σ | 0.006-0.008=-0.002 | | min | 272.759-272.090=0.668 | | max | 272.775-272.110=0.664 |
| | mean | 2466.000-2848.000=-382.000 | | σ | 0.000 | | min | 2466.000-2848.000=-382.000 | | max | 2466.000-2848.000=-382.000 |
| | mean | 0.382-0.390=-0.008 | | σ | 0.004-0.009=-0.004 | | min | 0.377-0.382=-0.005 | | max | 0.388-0.400=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.150-1932.527=0.624 | | σ | 0.018-0.020=-0.002 | | min | 1933.127-1932.513=0.614 | | max | 1933.175-1932.561=0.614 |
| | mean | 2466.000-2848.000=-382.000 | | σ | 0.000 | | min | 2466.000-2848.000=-382.000 | | max | 2466.000-2848.000=-382.000 |
| | mean | 3.058-2.860=0.198 | | σ | 0.243-0.235=0.008 | | min | 2.721-2.493=0.229 | | max | 3.395-3.024=0.370 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.893-4753.312=0.581 | | σ | 0.838-0.812=0.025 | | min | 4753.407-4752.878=0.529 | | max | 4755.383-4754.761=0.622 |
| | mean | 2466.000-2848.000=-382.000 | | σ | 0.000 | | min | 2466.000-2848.000=-382.000 | | max | 2466.000-2848.000=-382.000 |
| | mean | 8.554-8.131=0.423 | | σ | 0.414-0.311=0.103 | | min | 7.959-7.691=0.269 | | max | 9.053-8.462=0.591 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.315-4943.712=0.604 | | σ | 0.162-0.013=0.149 | | min | 4944.027-4943.690=0.337 | | max | 4944.408-4943.725=0.682 |
| | mean | 2906.800-3073.400=-166.600 | | σ | 375.319-298.866=76.454 | | min | 2466.000-2848.000=-382.000 | | max | 3417.000-3533.000=-116.000 |
| | mean | 8.373-8.403=-0.031 | | σ | 0.054-0.153=-0.098 | | min | 8.306-8.214=0.092 | | max | 8.440-8.632=-0.192 |
|