iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.675=0.020 | | σ | 0.012-0.008=0.003 | | min | 278.685-278.666=0.019 | | max | 278.714-278.684=0.030 |
| | mean | 2870.000-2824.000=46.000 | | σ | 0.000 | | min | 2870.000-2824.000=46.000 | | max | 2870.000-2824.000=46.000 |
| | mean | 0.420-0.420=0.000 | | σ | 0.004-0.001=0.003 | | min | 0.418-0.419=-0.001 | | max | 0.427-0.420=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.873-2268.833=0.039 | | σ | 0.006-0.017=-0.011 | | min | 2268.866-2268.813=0.053 | | max | 2268.879-2268.847=0.032 |
| | mean | 2870.000-2824.000=46.000 | | σ | 0.000 | | min | 2870.000-2824.000=46.000 | | max | 2870.000-2824.000=46.000 |
| | mean | 2.967-3.101=-0.135 | | σ | 0.074-0.104=-0.030 | | min | 2.903-2.922=-0.019 | | max | 3.074-3.183=-0.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.249-4952.361=-0.112 | | σ | 0.891-0.766=0.125 | | min | 4951.323-4951.993=-0.670 | | max | 4953.736-4953.730=0.006 |
| | mean | 2870.000-2824.000=46.000 | | σ | 0.000 | | min | 2870.000-2824.000=46.000 | | max | 2870.000-2824.000=46.000 |
| | mean | 7.806-7.784=0.023 | | σ | 0.256-0.107=0.148 | | min | 7.628-7.682=-0.054 | | max | 8.215-7.921=0.294 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.004-5167.047=-0.043 | | σ | 0.156-0.003=0.154 | | min | 5166.724-5167.044=-0.320 | | max | 5167.087-5167.050=0.037 |
| | mean | 3416.600-3361.200=55.400 | | σ | 417.220-444.342=-27.123 | | min | 2870.000-2925.000=-55.000 | | max | 3965.000-3813.000=152.000 |
| | mean | 9.305-9.396=-0.091 | | σ | 0.213-0.203=0.009 | | min | 9.050-9.138=-0.088 | | max | 9.549-9.660=-0.112 |
|