iters=5 new-facts=1 prior-facts=1 | | mean | 277.189 | | σ | 0.005 | | min | 277.186 | | max | 277.196 |
| | mean | 2648.000 | | σ | 0.000 | | min | 2648.000 | | max | 2648.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.392 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.696 | | σ | 0.025 | | min | 2169.678 | | max | 2169.740 |
| | mean | 2648.000 | | σ | 0.000 | | min | 2648.000 | | max | 2648.000 |
| | mean | 2.855 | | σ | 0.090 | | min | 2.767 | | max | 2.971 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.561 | | σ | 0.975 | | min | 5049.025 | | max | 5051.299 |
| | mean | 2648.000 | | σ | 0.000 | | min | 2648.000 | | max | 2648.000 |
| | mean | 8.992 | | σ | 0.589 | | min | 8.069 | | max | 9.530 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.579 | | σ | 0.116 | | min | 5180.397 | | max | 5180.721 |
| | mean | 3195.000 | | σ | 462.392 | | min | 2648.000 | | max | 3802.000 |
| | mean | 8.871 | | σ | 0.350 | | min | 8.637 | | max | 9.470 |
|