iters=5 new-facts=1 prior-facts=1 | | mean | 268.621 | | σ | 0.005 | | min | 268.615 | | max | 268.628 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 0.374 | | σ | 0.004 | | min | 0.371 | | max | 0.381 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.012 | | σ | 0.021 | | min | 1928.988 | | max | 1929.041 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 2.550 | | σ | 0.106 | | min | 2.480 | | max | 2.734 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4749.774 | | σ | 0.834 | | min | 4749.275 | | max | 4751.261 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 8.364 | | σ | 0.484 | | min | 7.710 | | max | 9.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.226 | | σ | 0.019 | | min | 4940.205 | | max | 4940.251 |
| | mean | 2980.600 | | σ | 263.541 | | min | 2778.000 | | max | 3398.000 |
| | mean | 8.402 | | σ | 0.054 | | min | 8.344 | | max | 8.460 |
|