iters=5 new-facts=1 prior-facts=1 | | mean | 271.599-271.604=-0.004 | | σ | 0.008-0.005=0.003 | | min | 271.588-271.598=-0.010 | | max | 271.607-271.611=-0.004 |
| | mean | 2688.000-2421.000=267.000 | | σ | 0.000 | | min | 2688.000-2421.000=267.000 | | max | 2688.000-2421.000=267.000 |
| | mean | 0.386-0.386=0.001 | | σ | 0.006-0.010=-0.004 | | min | 0.382-0.379=0.003 | | max | 0.393-0.402=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.979-1931.999=-0.020 | | σ | 0.017-0.009=0.008 | | min | 1931.961-1931.984=-0.023 | | max | 1932.003-1932.007=-0.005 |
| | mean | 2688.000-2421.000=267.000 | | σ | 0.000 | | min | 2688.000-2421.000=267.000 | | max | 2688.000-2421.000=267.000 |
| | mean | 2.545-2.537=0.008 | | σ | 0.153-0.123=0.030 | | min | 2.409-2.412=-0.004 | | max | 2.806-2.700=0.105 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.696-4752.664=0.031 | | σ | 0.936-0.935=0.001 | | min | 4752.176-4751.844=0.332 | | max | 4754.363-4754.277=0.086 |
| | mean | 2688.000-2421.000=267.000 | | σ | 0.000 | | min | 2688.000-2421.000=267.000 | | max | 2688.000-2421.000=267.000 |
| | mean | 8.859-8.320=0.539 | | σ | 0.415-0.339=0.076 | | min | 8.230-7.737=0.492 | | max | 9.398-8.538=0.860 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.207-4943.068=0.140 | | σ | 0.016-0.301=-0.285 | | min | 4943.181-4942.529=0.652 | | max | 4943.223-4943.220=0.003 |
| | mean | 2970.400-2978.400=-8.000 | | σ | 240.822-288.900=-48.078 | | min | 2688.000-2591.000=97.000 | | max | 3305.000-3321.000=-16.000 |
| | mean | 8.453-8.588=-0.135 | | σ | 0.103-0.221=-0.118 | | min | 8.361-8.379=-0.018 | | max | 8.624-8.911=-0.288 |
|