iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-272.759=-0.003 | | σ | 0.008-0.008=0.000 | | min | 272.744-272.749=-0.005 | | max | 272.766-272.766=-0.001 |
| | mean | 2504.000-2713.000=-209.000 | | σ | 0.000 | | min | 2504.000-2713.000=-209.000 | | max | 2504.000-2713.000=-209.000 |
| | mean | 0.383-0.386=-0.003 | | σ | 0.010-0.006=0.004 | | min | 0.371-0.383=-0.012 | | max | 0.397-0.397=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.158-1933.136=0.022 | | σ | 0.017-0.014=0.003 | | min | 1933.130-1933.116=0.014 | | max | 1933.177-1933.150=0.027 |
| | mean | 2504.000-2713.000=-209.000 | | σ | 0.000 | | min | 2504.000-2713.000=-209.000 | | max | 2504.000-2713.000=-209.000 |
| | mean | 3.070-3.009=0.061 | | σ | 0.214-0.044=0.170 | | min | 2.771-2.947=-0.176 | | max | 3.373-3.071=0.302 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.813-4753.839=2.974 | | σ | 7.653-0.931=6.722 | | min | 4753.000-4753.114=-0.114 | | max | 4770.497-4755.465=15.032 |
| | mean | 2504.000-2713.000=-209.000 | | σ | 0.000 | | min | 2504.000-2713.000=-209.000 | | max | 2504.000-2713.000=-209.000 |
| | mean | 8.513-8.285=0.228 | | σ | 0.427-0.592=-0.165 | | min | 7.843-7.614=0.229 | | max | 9.034-8.948=0.086 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.398-4944.362=0.035 | | σ | 0.025-0.016=0.009 | | min | 4944.363-4944.344=0.019 | | max | 4944.423-4944.383=0.041 |
| | mean | 2961.400-3039.000=-77.600 | | σ | 402.498-286.279=116.219 | | min | 2504.000-2713.000=-209.000 | | max | 3479.000-3424.000=55.000 |
| | mean | 8.495-8.501=-0.006 | | σ | 0.086-0.114=-0.028 | | min | 8.408-8.326=0.082 | | max | 8.616-8.601=0.015 |
|