iters=5 new-facts=1 prior-facts=1 | | mean | 324.013 | | σ | 0.060 | | min | 323.906 | | max | 324.045 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 0.430 | | σ | 0.004 | | min | 0.427 | | max | 0.437 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.595 | | σ | 0.012 | | min | 1984.574 | | max | 1984.603 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 2.645 | | σ | 0.138 | | min | 2.518 | | max | 2.859 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.026 | | σ | 7.982 | | min | 4804.243 | | max | 4822.299 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 9.034 | | σ | 0.258 | | min | 8.746 | | max | 9.423 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.801 | | σ | 0.019 | | min | 4995.783 | | max | 4995.822 |
| | mean | 3006.000 | | σ | 316.667 | | min | 2596.000 | | max | 3415.000 |
| | mean | 8.714 | | σ | 0.124 | | min | 8.550 | | max | 8.878 |
|