iters=5 new-facts=1 prior-facts=1 | | mean | 278.700 | | σ | 0.009 | | min | 278.691 | | max | 278.711 |
| | mean | 2886.000 | | σ | 0.000 | | min | 2886.000 | | max | 2886.000 |
| | mean | 0.420 | | σ | 0.006 | | min | 0.413 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.871 | | σ | 0.005 | | min | 2268.867 | | max | 2268.879 |
| | mean | 2886.000 | | σ | 0.000 | | min | 2886.000 | | max | 2886.000 |
| | mean | 2.939 | | σ | 0.105 | | min | 2.872 | | max | 3.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.268 | | σ | 0.498 | | min | 4952.018 | | max | 4953.159 |
| | mean | 2886.000 | | σ | 0.000 | | min | 2886.000 | | max | 2886.000 |
| | mean | 7.704 | | σ | 0.076 | | min | 7.634 | | max | 7.825 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.005 | | σ | 0.156 | | min | 5166.726 | | max | 5167.085 |
| | mean | 3409.800 | | σ | 426.478 | | min | 2886.000 | | max | 3981.000 |
| | mean | 9.225 | | σ | 0.241 | | min | 9.010 | | max | 9.608 |
|