iters=5 new-facts=1 prior-facts=1 | | mean | 273.498-273.502=-0.004 | | σ | 0.006-0.004=0.002 | | min | 273.493-273.498=-0.004 | | max | 273.508-273.507=0.001 |
| | mean | 2772.000-2687.000=85.000 | | σ | 0.000 | | min | 2772.000-2687.000=85.000 | | max | 2772.000-2687.000=85.000 |
| | mean | 0.374-0.374=-0.000 | | σ | 0.003-0.001=0.002 | | min | 0.371-0.372=-0.001 | | max | 0.378-0.375=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.887-1933.891=-0.004 | | σ | 0.012-0.020=-0.008 | | min | 1933.868-1933.865=0.003 | | max | 1933.899-1933.913=-0.014 |
| | mean | 2772.000-2687.000=85.000 | | σ | 0.000 | | min | 2772.000-2687.000=85.000 | | max | 2772.000-2687.000=85.000 |
| | mean | 2.928-2.975=-0.047 | | σ | 0.101-0.162=-0.061 | | min | 2.808-2.710=0.098 | | max | 3.083-3.108=-0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.639-4754.605=0.034 | | σ | 0.889-0.892=-0.003 | | min | 4754.165-4754.167=-0.002 | | max | 4756.225-4756.200=0.026 |
| | mean | 2772.000-2687.000=85.000 | | σ | 0.000 | | min | 2772.000-2687.000=85.000 | | max | 2772.000-2687.000=85.000 |
| | mean | 8.792-8.883=-0.090 | | σ | 0.214-0.107=0.107 | | min | 8.493-8.704=-0.211 | | max | 9.042-8.986=0.057 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.118-4945.124=-0.006 | | σ | 0.018-0.018=0.001 | | min | 4945.098-4945.109=-0.011 | | max | 4945.138-4945.144=-0.006 |
| | mean | 3010.000-2961.800=48.200 | | σ | 295.079-262.639=32.440 | | min | 2772.000-2687.000=85.000 | | max | 3463.000-3361.000=102.000 |
| | mean | 8.376-8.431=-0.055 | | σ | 0.046-0.130=-0.085 | | min | 8.329-8.329=-0.000 | | max | 8.425-8.603=-0.178 |
|