iters=5 new-facts=1 prior-facts=1 | | mean | 324.712 | | σ | 0.030 | | min | 324.660 | | max | 324.733 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 0.422 | | σ | 0.001 | | min | 0.421 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262 | | σ | 0.016 | | min | 1985.243 | | max | 1985.281 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 2.655 | | σ | 0.106 | | min | 2.555 | | max | 2.808 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.882 | | σ | 7.669 | | min | 4805.392 | | max | 4822.601 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 9.064 | | σ | 0.304 | | min | 8.890 | | max | 9.604 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.460 | | σ | 0.018 | | min | 4996.433 | | max | 4996.475 |
| | mean | 3040.400 | | σ | 331.509 | | min | 2768.000 | | max | 3535.000 |
| | mean | 8.533 | | σ | 0.116 | | min | 8.438 | | max | 8.728 |
|