iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-272.757=-0.001 | | σ | 0.008-0.006=0.002 | | min | 272.744-272.747=-0.003 | | max | 272.766-272.762=0.004 |
| | mean | 2504.000-2771.000=-267.000 | | σ | 0.000 | | min | 2504.000-2771.000=-267.000 | | max | 2504.000-2771.000=-267.000 |
| | mean | 0.383-0.379=0.004 | | σ | 0.010-0.002=0.008 | | min | 0.371-0.378=-0.007 | | max | 0.397-0.382=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.158-1933.166=-0.008 | | σ | 0.017-0.019=-0.001 | | min | 1933.130-1933.142=-0.013 | | max | 1933.177-1933.185=-0.008 |
| | mean | 2504.000-2771.000=-267.000 | | σ | 0.000 | | min | 2504.000-2771.000=-267.000 | | max | 2504.000-2771.000=-267.000 |
| | mean | 3.070-2.980=0.090 | | σ | 0.214-0.180=0.034 | | min | 2.771-2.672=0.099 | | max | 3.373-3.147=0.226 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.813-4756.678=0.135 | | σ | 7.653-7.410=0.243 | | min | 4753.000-4753.028=-0.028 | | max | 4770.497-4769.929=0.568 |
| | mean | 2504.000-2771.000=-267.000 | | σ | 0.000 | | min | 2504.000-2771.000=-267.000 | | max | 2504.000-2771.000=-267.000 |
| | mean | 8.513-8.552=-0.039 | | σ | 0.427-0.479=-0.052 | | min | 7.843-7.844=-0.000 | | max | 9.034-9.067=-0.033 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.398-4944.322=0.076 | | σ | 0.025-0.147=-0.122 | | min | 4944.363-4944.060=0.303 | | max | 4944.423-4944.405=0.018 |
| | mean | 2961.400-3025.200=-63.800 | | σ | 402.498-317.749=84.749 | | min | 2504.000-2771.000=-267.000 | | max | 3479.000-3511.000=-32.000 |
| | mean | 8.495-8.475=0.021 | | σ | 0.086-0.132=-0.046 | | min | 8.408-8.361=0.047 | | max | 8.616-8.640=-0.024 |
|