iters=5 new-facts=1 prior-facts=1 | | mean | 271.597-271.604=-0.007 | | σ | 0.009-0.005=0.003 | | min | 271.587-271.598=-0.011 | | max | 271.604-271.611=-0.007 |
| | mean | 2701.000-2421.000=280.000 | | σ | 0.000 | | min | 2701.000-2421.000=280.000 | | max | 2701.000-2421.000=280.000 |
| | mean | 0.382-0.386=-0.004 | | σ | 0.004-0.010=-0.005 | | min | 0.378-0.379=-0.001 | | max | 0.388-0.402=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.000-1931.999=0.001 | | σ | 0.009-0.009=0.000 | | min | 1931.988-1931.984=0.004 | | max | 1932.013-1932.007=0.005 |
| | mean | 2701.000-2421.000=280.000 | | σ | 0.000 | | min | 2701.000-2421.000=280.000 | | max | 2701.000-2421.000=280.000 |
| | mean | 2.595-2.537=0.058 | | σ | 0.198-0.123=0.075 | | min | 2.469-2.412=0.057 | | max | 2.933-2.700=0.233 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.515-4752.664=-0.149 | | σ | 1.129-0.935=0.194 | | min | 4751.266-4751.844=-0.578 | | max | 4754.360-4754.277=0.083 |
| | mean | 2701.000-2421.000=280.000 | | σ | 0.000 | | min | 2701.000-2421.000=280.000 | | max | 2701.000-2421.000=280.000 |
| | mean | 8.574-8.320=0.253 | | σ | 0.280-0.339=-0.059 | | min | 8.213-7.737=0.475 | | max | 8.992-8.538=0.454 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.210-4943.068=0.142 | | σ | 0.012-0.301=-0.290 | | min | 4943.193-4942.529=0.664 | | max | 4943.221-4943.220=0.001 |
| | mean | 3035.800-2978.400=57.400 | | σ | 237.687-288.900=-51.213 | | min | 2701.000-2591.000=110.000 | | max | 3333.000-3321.000=12.000 |
| | mean | 8.587-8.588=-0.001 | | σ | 0.226-0.221=0.005 | | min | 8.365-8.379=-0.014 | | max | 8.906-8.911=-0.006 |
|