iters=5 new-facts=1 prior-facts=1 | | mean | 278.943 | | σ | 0.011 | | min | 278.929 | | max | 278.956 |
| | mean | 2753.000 | | σ | 0.000 | | min | 2753.000 | | max | 2753.000 |
| | mean | 0.412 | | σ | 0.006 | | min | 0.405 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2177.869 | | σ | 0.021 | | min | 2177.852 | | max | 2177.899 |
| | mean | 2753.000 | | σ | 0.000 | | min | 2753.000 | | max | 2753.000 |
| | mean | 3.344 | | σ | 0.217 | | min | 3.187 | | max | 3.721 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5055.699 | | σ | 0.745 | | min | 5055.198 | | max | 5057.009 |
| | mean | 2753.000 | | σ | 0.000 | | min | 2753.000 | | max | 2753.000 |
| | mean | 9.041 | | σ | 0.745 | | min | 8.132 | | max | 9.829 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.106 | | σ | 0.132 | | min | 5192.919 | | max | 5193.290 |
| | mean | 3191.600 | | σ | 436.014 | | min | 2753.000 | | max | 3803.000 |
| | mean | 8.963 | | σ | 0.413 | | min | 8.547 | | max | 9.611 |
|