iters=5 new-facts=1 prior-facts=1 | | mean | 269.932-269.933=-0.001 | | σ | 0.007-0.006=0.001 | | min | 269.920-269.926=-0.006 | | max | 269.938-269.941=-0.003 |
| | mean | 2858.000-2848.000=10.000 | | σ | 0.000 | | min | 2858.000-2848.000=10.000 | | max | 2858.000-2848.000=10.000 |
| | mean | 0.372-0.373=-0.001 | | σ | 0.006-0.007=-0.002 | | min | 0.368-0.368=0.000 | | max | 0.382-0.386=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.400-1930.396=0.004 | | σ | 0.025-0.012=0.012 | | min | 1930.357-1930.376=-0.020 | | max | 1930.420-1930.409=0.011 |
| | mean | 2858.000-2848.000=10.000 | | σ | 0.000 | | min | 2858.000-2848.000=10.000 | | max | 2858.000-2848.000=10.000 |
| | mean | 2.537-2.494=0.043 | | σ | 0.132-0.050=0.082 | | min | 2.444-2.441=0.003 | | max | 2.755-2.569=0.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.845-4750.522=0.323 | | σ | 0.803-1.207=-0.404 | | min | 4750.343-4749.316=1.028 | | max | 4752.259-4752.463=-0.205 |
| | mean | 2858.000-2848.000=10.000 | | σ | 0.000 | | min | 2858.000-2848.000=10.000 | | max | 2858.000-2848.000=10.000 |
| | mean | 8.593-8.726=-0.133 | | σ | 0.275-0.553=-0.278 | | min | 8.281-7.787=0.494 | | max | 8.919-9.231=-0.313 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.329-4941.261=0.068 | | σ | 0.083-0.201=-0.117 | | min | 4941.263-4940.935=0.328 | | max | 4941.421-4941.427=-0.006 |
| | mean | 3022.400-3043.600=-21.200 | | σ | 186.934-199.691=-12.757 | | min | 2858.000-2848.000=10.000 | | max | 3314.000-3320.000=-6.000 |
| | mean | 8.453-8.520=-0.067 | | σ | 0.120-0.177=-0.056 | | min | 8.294-8.348=-0.054 | | max | 8.556-8.775=-0.219 |
|