iters=5 new-facts=1 prior-facts=1 | | mean | 324.696 | | σ | 0.030 | | min | 324.643 | | max | 324.710 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.423 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253 | | σ | 0.016 | | min | 1985.234 | | max | 1985.270 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 2.589 | | σ | 0.072 | | min | 2.503 | | max | 2.673 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.753 | | σ | 7.728 | | min | 4804.835 | | max | 4822.569 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 8.650 | | σ | 0.329 | | min | 8.085 | | max | 8.923 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.402 | | σ | 0.138 | | min | 4996.156 | | max | 4996.475 |
| | mean | 2999.400 | | σ | 259.506 | | min | 2613.000 | | max | 3308.000 |
| | mean | 8.645 | | σ | 0.146 | | min | 8.501 | | max | 8.863 |
|