iters=5 new-facts=1 prior-facts=1 | | mean | 271.752-271.752=0.000 | | σ | 0.007-0.006=0.001 | | min | 271.746-271.743=0.002 | | max | 271.765-271.759=0.006 |
| | mean | 2804.000-2778.000=26.000 | | σ | 0.000 | | min | 2804.000-2778.000=26.000 | | max | 2804.000-2778.000=26.000 |
| | mean | 0.382-0.383=-0.001 | | σ | 0.006-0.005=0.001 | | min | 0.377-0.380=-0.003 | | max | 0.391-0.392=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.164-1932.189=-0.026 | | σ | 0.021-0.011=0.010 | | min | 1932.136-1932.178=-0.042 | | max | 1932.190-1932.203=-0.012 |
| | mean | 2804.000-2778.000=26.000 | | σ | 0.000 | | min | 2804.000-2778.000=26.000 | | max | 2804.000-2778.000=26.000 |
| | mean | 2.817-2.882=-0.066 | | σ | 0.295-0.285=0.009 | | min | 2.453-2.505=-0.052 | | max | 3.120-3.187=-0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.882-4752.902=-0.020 | | σ | 0.916-0.882=0.033 | | min | 4752.426-4752.400=0.026 | | max | 4754.517-4754.468=0.049 |
| | mean | 2804.000-2778.000=26.000 | | σ | 0.000 | | min | 2804.000-2778.000=26.000 | | max | 2804.000-2778.000=26.000 |
| | mean | 8.755-8.704=0.051 | | σ | 0.171-0.475=-0.305 | | min | 8.541-7.896=0.645 | | max | 8.925-9.094=-0.169 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.298-4943.369=-0.071 | | σ | 0.170-0.016=0.154 | | min | 4942.994-4943.352=-0.358 | | max | 4943.381-4943.387=-0.006 |
| | mean | 3012.400-3022.000=-9.600 | | σ | 276.545-229.290=47.255 | | min | 2804.000-2778.000=26.000 | | max | 3447.000-3330.000=117.000 |
| | mean | 8.613-8.730=-0.116 | | σ | 0.354-0.187=0.167 | | min | 8.413-8.552=-0.139 | | max | 9.244-9.033=0.211 |
|