iters=5 new-facts=1 prior-facts=1 | | mean | 273.611-273.611=0.000 | | σ | 0.011-0.007=0.003 | | min | 273.600-273.599=0.001 | | max | 273.626-273.617=0.009 |
| | mean | 2849.000-2870.000=-21.000 | | σ | 0.000 | | min | 2849.000-2870.000=-21.000 | | max | 2849.000-2870.000=-21.000 |
| | mean | 0.391-0.388=0.003 | | σ | 0.008-0.006=0.002 | | min | 0.381-0.382=-0.002 | | max | 0.399-0.398=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.004-1934.003=0.001 | | σ | 0.015-0.010=0.006 | | min | 1933.994-1933.986=0.008 | | max | 1934.031-1934.009=0.021 |
| | mean | 2849.000-2870.000=-21.000 | | σ | 0.000 | | min | 2849.000-2870.000=-21.000 | | max | 2849.000-2870.000=-21.000 |
| | mean | 3.122-2.915=0.207 | | σ | 0.262-0.159=0.103 | | min | 2.945-2.644=0.300 | | max | 3.580-3.063=0.517 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.764-4754.802=-0.038 | | σ | 0.842-0.865=-0.022 | | min | 4754.295-4754.221=0.074 | | max | 4756.264-4756.323=-0.059 |
| | mean | 2849.000-2870.000=-21.000 | | σ | 0.000 | | min | 2849.000-2870.000=-21.000 | | max | 2849.000-2870.000=-21.000 |
| | mean | 8.542-8.461=0.081 | | σ | 0.308-0.668=-0.359 | | min | 8.124-7.733=0.390 | | max | 8.881-9.395=-0.514 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.158-4765.059=180.099 | | σ | 0.165-402.666=-402.501 | | min | 4944.866-4044.748=900.118 | | max | 4945.256-4945.247=0.008 |
| | mean | 3067.000-3000.200=66.800 | | σ | 188.917-202.734=-13.818 | | min | 2849.000-2870.000=-21.000 | | max | 3331.000-3332.000=-1.000 |
| | mean | 8.553-8.322=0.231 | | σ | 0.179-0.582=-0.403 | | min | 8.413-7.325=1.088 | | max | 8.852-8.855=-0.003 |
|