iters=5 new-facts=1 prior-facts=1 | | mean | 278.940 | | σ | 0.010 | | min | 278.929 | | max | 278.953 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 0.411 | | σ | 0.004 | | min | 0.406 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2177.844 | | σ | 0.047 | | min | 2177.768 | | max | 2177.885 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 3.265 | | σ | 0.267 | | min | 3.001 | | max | 3.683 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5055.452 | | σ | 1.207 | | min | 5054.428 | | max | 5057.506 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 8.676 | | σ | 0.577 | | min | 8.124 | | max | 9.338 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.116 | | σ | 0.120 | | min | 5192.939 | | max | 5193.275 |
| | mean | 3240.200 | | σ | 449.864 | | min | 2752.000 | | max | 3860.000 |
| | mean | 8.748 | | σ | 0.195 | | min | 8.549 | | max | 9.065 |
|