iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-269.936=2.820 | | σ | 0.008-0.007=0.001 | | min | 272.744-269.929=2.815 | | max | 272.766-269.947=2.819 |
| | mean | 2504.000-2641.000=-137.000 | | σ | 0.000 | | min | 2504.000-2641.000=-137.000 | | max | 2504.000-2641.000=-137.000 |
| | mean | 0.383-0.383=0.000 | | σ | 0.010-0.008=0.002 | | min | 0.371-0.371=-0.000 | | max | 0.397-0.391=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.158-1930.401=2.757 | | σ | 0.017-0.023=-0.005 | | min | 1933.130-1930.364=2.766 | | max | 1933.177-1930.422=2.754 |
| | mean | 2504.000-2641.000=-137.000 | | σ | 0.000 | | min | 2504.000-2641.000=-137.000 | | max | 2504.000-2641.000=-137.000 |
| | mean | 3.070-2.557=0.513 | | σ | 0.214-0.158=0.056 | | min | 2.771-2.473=0.298 | | max | 3.373-2.839=0.534 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.813-4750.609=6.204 | | σ | 7.653-1.103=6.550 | | min | 4753.000-4749.209=3.791 | | max | 4770.497-4752.284=18.213 |
| | mean | 2504.000-2641.000=-137.000 | | σ | 0.000 | | min | 2504.000-2641.000=-137.000 | | max | 2504.000-2641.000=-137.000 |
| | mean | 8.513-8.766=-0.253 | | σ | 0.427-0.292=0.135 | | min | 7.843-8.380=-0.537 | | max | 9.034-9.055=-0.021 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.398-4941.266=3.131 | | σ | 0.025-0.200=-0.175 | | min | 4944.363-4940.939=3.424 | | max | 4944.423-4941.431=2.992 |
| | mean | 2961.400-2974.000=-12.600 | | σ | 402.498-262.865=139.633 | | min | 2504.000-2646.000=-142.000 | | max | 3479.000-3332.000=147.000 |
| | mean | 8.495-8.518=-0.022 | | σ | 0.086-0.192=-0.106 | | min | 8.408-8.298=0.110 | | max | 8.616-8.777=-0.161 |
|