iters=5 new-facts=1 prior-facts=1 | | mean | 324.571-324.583=-0.012 | | σ | 0.037-0.054=-0.018 | | min | 324.509-324.487=0.022 | | max | 324.598-324.610=-0.011 |
| | mean | 2838.000-2461.000=377.000 | | σ | 0.000 | | min | 2838.000-2461.000=377.000 | | max | 2838.000-2461.000=377.000 |
| | mean | 0.431-0.428=0.004 | | σ | 0.006-0.007=-0.001 | | min | 0.422-0.423=-0.001 | | max | 0.439-0.440=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.139-1985.146=-0.007 | | σ | 0.014-0.008=0.006 | | min | 1985.114-1985.135=-0.021 | | max | 1985.150-1985.153=-0.003 |
| | mean | 2838.000-2461.000=377.000 | | σ | 0.000 | | min | 2838.000-2461.000=377.000 | | max | 2838.000-2461.000=377.000 |
| | mean | 2.638-2.592=0.046 | | σ | 0.089-0.102=-0.013 | | min | 2.572-2.456=0.116 | | max | 2.741-2.721=0.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.787-4808.748=0.040 | | σ | 7.625-7.725=-0.100 | | min | 4805.233-4805.264=-0.030 | | max | 4822.425-4822.566=-0.141 |
| | mean | 2838.000-2461.000=377.000 | | σ | 0.000 | | min | 2838.000-2461.000=377.000 | | max | 2838.000-2461.000=377.000 |
| | mean | 8.720-8.965=-0.245 | | σ | 0.591-0.339=0.252 | | min | 7.748-8.456=-0.708 | | max | 9.178-9.374=-0.197 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.343-4996.347=-0.004 | | σ | 0.016-0.021=-0.005 | | min | 4996.324-4996.326=-0.002 | | max | 4996.361-4996.371=-0.009 |
| | mean | 3061.400-3003.200=58.200 | | σ | 297.721-271.020=26.701 | | min | 2838.000-2609.000=229.000 | | max | 3524.000-3336.000=188.000 |
| | mean | 8.518-8.664=-0.146 | | σ | 0.145-0.141=0.004 | | min | 8.416-8.472=-0.056 | | max | 8.772-8.794=-0.022 |
|