iters=5 new-facts=1 prior-facts=1 | | mean | 272.793-271.924=0.869 | | σ | 0.007-0.008=-0.000 | | min | 272.786-271.917=0.869 | | max | 272.803-271.936=0.867 |
| | mean | 2771.000-2456.000=315.000 | | σ | 0.000 | | min | 2771.000-2456.000=315.000 | | max | 2771.000-2456.000=315.000 |
| | mean | 0.383-0.385=-0.002 | | σ | 0.006-0.011=-0.005 | | min | 0.379-0.379=-0.000 | | max | 0.394-0.405=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.226-1932.326=0.901 | | σ | 0.019-0.005=0.013 | | min | 1933.196-1932.321=0.875 | | max | 1933.246-1932.335=0.911 |
| | mean | 2771.000-2456.000=315.000 | | σ | 0.000 | | min | 2771.000-2456.000=315.000 | | max | 2771.000-2456.000=315.000 |
| | mean | 3.010-3.002=0.008 | | σ | 0.331-0.108=0.223 | | min | 2.469-2.866=-0.397 | | max | 3.372-3.166=0.206 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.885-4753.138=3.747 | | σ | 7.619-0.850=6.769 | | min | 4753.121-4752.633=0.488 | | max | 4770.509-4754.652=15.857 |
| | mean | 2771.000-2456.000=315.000 | | σ | 0.000 | | min | 2771.000-2456.000=315.000 | | max | 2771.000-2456.000=315.000 |
| | mean | 8.279-8.313=-0.034 | | σ | 0.482-0.502=-0.020 | | min | 7.627-7.592=0.035 | | max | 8.886-8.877=0.009 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.382-4943.483=0.899 | | σ | 0.153-0.167=-0.014 | | min | 4944.108-4943.187=0.922 | | max | 4944.460-4943.585=0.876 |
| | mean | 3019.800-2993.600=26.200 | | σ | 310.666-287.351=23.314 | | min | 2771.000-2597.000=174.000 | | max | 3497.000-3334.000=163.000 |
| | mean | 8.564-8.487=0.078 | | σ | 0.372-0.110=0.262 | | min | 8.350-8.345=0.005 | | max | 9.222-8.642=0.580 |
|