iters=5 new-facts=1 prior-facts=1 | | mean | 279.541-278.850=0.691 | | σ | 0.009-0.004=0.005 | | min | 279.528-278.845=0.683 | | max | 279.552-278.854=0.698 |
| | mean | 2833.000-2682.000=151.000 | | σ | 0.000 | | min | 2833.000-2682.000=151.000 | | max | 2833.000-2682.000=151.000 |
| | mean | 0.414-0.411=0.003 | | σ | 0.009-0.004=0.005 | | min | 0.404-0.407=-0.003 | | max | 0.427-0.418=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.456-2268.906=-90.450 | | σ | 0.015-0.011=0.004 | | min | 2178.435-2268.894=-90.459 | | max | 2178.472-2268.922=-90.450 |
| | mean | 2833.000-2682.000=151.000 | | σ | 0.000 | | min | 2833.000-2682.000=151.000 | | max | 2833.000-2682.000=151.000 |
| | mean | 3.392-3.208=0.184 | | σ | 0.185-0.227=-0.042 | | min | 3.286-2.876=0.409 | | max | 3.722-3.504=0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.405-4954.281=102.124 | | σ | 0.989-0.849=0.140 | | min | 5055.797-4953.866=101.932 | | max | 5058.164-4955.797=102.367 |
| | mean | 2833.000-2682.000=151.000 | | σ | 0.000 | | min | 2833.000-2682.000=151.000 | | max | 2833.000-2682.000=151.000 |
| | mean | 8.924-8.007=0.917 | | σ | 0.457-0.376=0.081 | | min | 8.556-7.639=0.917 | | max | 9.525-8.618=0.907 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.688-5168.742=24.946 | | σ | 0.208-0.128=0.079 | | min | 5193.376-5168.548=24.827 | | max | 5193.879-5168.908=24.970 |
| | mean | 3253.600-3355.000=-101.400 | | σ | 467.802-408.538=59.264 | | min | 2833.000-2949.000=-116.000 | | max | 3923.000-3766.000=157.000 |
| | mean | 8.822-9.126=-0.304 | | σ | 0.193-0.261=-0.068 | | min | 8.656-8.683=-0.027 | | max | 9.041-9.338=-0.297 |
|