iters=5 new-facts=1 prior-facts=1 | | mean | 324.585-272.797=51.788 | | σ | 0.054-0.004=0.050 | | min | 324.488-272.792=51.696 | | max | 324.614-272.801=51.813 |
| | mean | 2699.000-2434.000=265.000 | | σ | 0.000 | | min | 2699.000-2434.000=265.000 | | max | 2699.000-2434.000=265.000 |
| | mean | 0.431-0.383=0.047 | | σ | 0.013-0.009=0.003 | | min | 0.421-0.378=0.042 | | max | 0.453-0.400=0.053 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.374-1933.452=51.922 | | σ | 0.009-0.013=-0.004 | | min | 1985.364-1933.433=51.931 | | max | 1985.385-1933.469=51.917 |
| | mean | 2699.000-2434.000=265.000 | | σ | 0.000 | | min | 2699.000-2434.000=265.000 | | max | 2699.000-2434.000=265.000 |
| | mean | 2.692-3.097=-0.405 | | σ | 0.139-0.097=0.042 | | min | 2.543-3.010=-0.467 | | max | 2.887-3.256=-0.369 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.749-4757.180=51.569 | | σ | 7.858-7.573=0.285 | | min | 4804.893-4753.696=51.198 | | max | 4822.795-4770.727=52.068 |
| | mean | 2699.000-2434.000=265.000 | | σ | 0.000 | | min | 2699.000-2434.000=265.000 | | max | 2699.000-2434.000=265.000 |
| | mean | 8.894-8.525=0.370 | | σ | 0.338-0.382=-0.044 | | min | 8.579-7.939=0.640 | | max | 9.300-8.991=0.309 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.526-4944.615=51.911 | | σ | 0.129-0.162=-0.034 | | min | 4996.297-4944.326=51.971 | | max | 4996.596-4944.708=51.888 |
| | mean | 3044.000-2948.600=95.400 | | σ | 290.025-400.414=-110.389 | | min | 2699.000-2450.000=249.000 | | max | 3332.000-3493.000=-161.000 |
| | mean | 8.990-8.544=0.447 | | σ | 0.490-0.232=0.259 | | min | 8.518-8.302=0.216 | | max | 9.597-8.861=0.736 |
|