iters=5 new-facts=1 prior-facts=1 | | mean | 324.701-324.711=-0.010 | | σ | 0.054-0.040=0.014 | | min | 324.605-324.640=-0.035 | | max | 324.731-324.736=-0.005 |
| | mean | 2843.000-2841.000=2.000 | | σ | 0.000 | | min | 2843.000-2841.000=2.000 | | max | 2843.000-2841.000=2.000 |
| | mean | 0.425-0.425=-0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.423-0.423=-0.000 | | max | 0.427-0.427=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267-1985.272=-0.005 | | σ | 0.014-0.008=0.006 | | min | 1985.246-1985.261=-0.016 | | max | 1985.283-1985.283=0.000 |
| | mean | 2843.000-2841.000=2.000 | | σ | 0.000 | | min | 2843.000-2841.000=2.000 | | max | 2843.000-2841.000=2.000 |
| | mean | 2.697-2.622=0.075 | | σ | 0.203-0.059=0.144 | | min | 2.533-2.570=-0.037 | | max | 3.030-2.690=0.340 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.872-4808.891=-0.019 | | σ | 7.661-7.664=-0.003 | | min | 4805.331-4805.338=-0.007 | | max | 4822.575-4822.599=-0.024 |
| | mean | 2843.000-2841.000=2.000 | | σ | 0.000 | | min | 2843.000-2841.000=2.000 | | max | 2843.000-2841.000=2.000 |
| | mean | 8.889-9.057=-0.168 | | σ | 0.229-0.364=-0.136 | | min | 8.609-8.567=0.041 | | max | 9.201-9.382=-0.181 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.385-4996.404=-0.019 | | σ | 0.171-0.141=0.029 | | min | 4996.082-4996.153=-0.071 | | max | 4996.479-4996.486=-0.007 |
| | mean | 3069.000-3072.600=-3.600 | | σ | 301.910-231.267=70.643 | | min | 2843.000-2841.000=2.000 | | max | 3538.000-3417.000=121.000 |
| | mean | 8.516-8.695=-0.178 | | σ | 0.119-0.218=-0.099 | | min | 8.416-8.445=-0.029 | | max | 8.718-8.941=-0.222 |
|