iters=5 new-facts=1 prior-facts=1 | | mean | 271.754-271.751=0.003 | | σ | 0.007-0.006=0.001 | | min | 271.747-271.745=0.002 | | max | 271.763-271.760=0.004 |
| | mean | 2803.000-2765.000=38.000 | | σ | 0.000 | | min | 2803.000-2765.000=38.000 | | max | 2803.000-2765.000=38.000 |
| | mean | 0.383-0.380=0.003 | | σ | 0.006-0.005=0.000 | | min | 0.379-0.375=0.004 | | max | 0.393-0.389=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.185-1932.168=0.017 | | σ | 0.014-0.016=-0.002 | | min | 1932.172-1932.143=0.030 | | max | 1932.208-1932.185=0.023 |
| | mean | 2803.000-2765.000=38.000 | | σ | 0.000 | | min | 2803.000-2765.000=38.000 | | max | 2803.000-2765.000=38.000 |
| | mean | 2.945-3.018=-0.073 | | σ | 0.306-0.075=0.231 | | min | 2.434-2.907=-0.473 | | max | 3.221-3.103=0.119 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.723-4752.721=0.001 | | σ | 0.675-1.090=-0.415 | | min | 4752.132-4751.522=0.610 | | max | 4753.876-4754.506=-0.630 |
| | mean | 2803.000-2765.000=38.000 | | σ | 0.000 | | min | 2803.000-2765.000=38.000 | | max | 2803.000-2765.000=38.000 |
| | mean | 8.356-8.273=0.082 | | σ | 0.528-0.440=0.088 | | min | 7.668-7.700=-0.032 | | max | 9.045-8.936=0.109 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.377-4943.296=0.081 | | σ | 0.020-0.145=-0.125 | | min | 4943.356-4943.037=0.319 | | max | 4943.400-4943.377=0.023 |
| | mean | 3044.200-3053.400=-9.200 | | σ | 250.165-345.642=-95.477 | | min | 2803.000-2765.000=38.000 | | max | 3402.000-3569.000=-167.000 |
| | mean | 8.546-8.421=0.125 | | σ | 0.100-0.146=-0.046 | | min | 8.427-8.231=0.196 | | max | 8.655-8.601=0.054 |
|