iters=5 new-facts=1 prior-facts=1 | | mean | 343.136 | | σ | 0.068 | | min | 343.014 | | max | 343.174 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 0.438 | | σ | 0.005 | | min | 0.434 | | max | 0.447 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2003.700 | | σ | 0.014 | | min | 2003.681 | | max | 2003.713 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 2.726 | | σ | 0.168 | | min | 2.551 | | max | 2.968 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4827.423 | | σ | 7.733 | | min | 4823.753 | | max | 4841.251 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 8.622 | | σ | 0.976 | | min | 7.779 | | max | 9.986 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5014.916 | | σ | 0.031 | | min | 5014.876 | | max | 5014.953 |
| | mean | 3059.000 | | σ | 288.020 | | min | 2844.000 | | max | 3505.000 |
| | mean | 8.496 | | σ | 0.101 | | min | 8.365 | | max | 8.635 |
|