iters=5 new-facts=1 prior-facts=1 | | mean | 277.880 | | σ | 0.008 | | min | 277.868 | | max | 277.886 |
| | mean | 2884.000 | | σ | 0.000 | | min | 2884.000 | | max | 2884.000 |
| | mean | 0.406 | | σ | 0.007 | | min | 0.398 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.826 | | σ | 0.008 | | min | 2176.818 | | max | 2176.835 |
| | mean | 2884.000 | | σ | 0.000 | | min | 2884.000 | | max | 2884.000 |
| | mean | 3.360 | | σ | 0.114 | | min | 3.260 | | max | 3.548 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.468 | | σ | 0.732 | | min | 5053.871 | | max | 5055.742 |
| | mean | 2884.000 | | σ | 0.000 | | min | 2884.000 | | max | 2884.000 |
| | mean | 8.944 | | σ | 0.474 | | min | 8.247 | | max | 9.538 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5192.049 | | σ | 0.120 | | min | 5191.874 | | max | 5192.213 |
| | mean | 3312.400 | | σ | 360.306 | | min | 2884.000 | | max | 3672.000 |
| | mean | 8.810 | | σ | 0.086 | | min | 8.682 | | max | 8.905 |
|