iters=5 new-facts=1 prior-facts=1 | | mean | 266.782 | | σ | 0.005 | | min | 266.773 | | max | 266.786 |
| | mean | 2468.000 | | σ | 0.000 | | min | 2468.000 | | max | 2468.000 |
| | mean | 0.364 | | σ | 0.001 | | min | 0.363 | | max | 0.365 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.208 | | σ | 0.011 | | min | 1927.194 | | max | 1927.221 |
| | mean | 2468.000 | | σ | 0.000 | | min | 2468.000 | | max | 2468.000 |
| | mean | 2.960 | | σ | 0.087 | | min | 2.816 | | max | 3.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.638 | | σ | 0.876 | | min | 4746.821 | | max | 4749.136 |
| | mean | 2468.000 | | σ | 0.000 | | min | 2468.000 | | max | 2468.000 |
| | mean | 8.197 | | σ | 0.393 | | min | 7.768 | | max | 8.672 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.101 | | σ | 0.202 | | min | 4937.768 | | max | 4938.262 |
| | mean | 2910.400 | | σ | 396.832 | | min | 2468.000 | | max | 3449.000 |
| | mean | 8.402 | | σ | 0.112 | | min | 8.306 | | max | 8.596 |
|