iters=5 new-facts=1 prior-facts=1 | | mean | 271.601-271.598=0.003 | | σ | 0.007-0.007=0.000 | | min | 271.592-271.589=0.003 | | max | 271.613-271.604=0.008 |
| | mean | 2454.000-2771.000=-317.000 | | σ | 0.000 | | min | 2454.000-2771.000=-317.000 | | max | 2454.000-2771.000=-317.000 |
| | mean | 0.386-0.384=0.002 | | σ | 0.008-0.004=0.005 | | min | 0.380-0.380=-0.000 | | max | 0.399-0.390=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.002-1932.001=0.000 | | σ | 0.010-0.016=-0.006 | | min | 1931.988-1931.975=0.013 | | max | 1932.012-1932.013=-0.000 |
| | mean | 2454.000-2771.000=-317.000 | | σ | 0.000 | | min | 2454.000-2771.000=-317.000 | | max | 2454.000-2771.000=-317.000 |
| | mean | 2.535-2.583=-0.048 | | σ | 0.153-0.075=0.079 | | min | 2.384-2.509=-0.124 | | max | 2.777-2.669=0.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.711-4752.665=0.046 | | σ | 0.886-1.010=-0.124 | | min | 4752.220-4751.816=0.404 | | max | 4754.291-4754.409=-0.118 |
| | mean | 2454.000-2771.000=-317.000 | | σ | 0.000 | | min | 2454.000-2771.000=-317.000 | | max | 2454.000-2771.000=-317.000 |
| | mean | 8.699-8.256=0.443 | | σ | 0.317-0.588=-0.271 | | min | 8.343-7.639=0.704 | | max | 9.196-9.118=0.078 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.138-4943.203=-0.065 | | σ | 0.149-0.018=0.131 | | min | 4942.873-4943.182=-0.309 | | max | 4943.219-4943.222=-0.002 |
| | mean | 3021.000-3023.000=-2.000 | | σ | 261.648-297.190=-35.543 | | min | 2626.000-2771.000=-145.000 | | max | 3319.000-3461.000=-142.000 |
| | mean | 8.585-8.439=0.146 | | σ | 0.194-0.081=0.113 | | min | 8.345-8.384=-0.039 | | max | 8.797-8.581=0.216 |
|