iters=5 new-facts=1 prior-facts=1 | | mean | 270.126 | | σ | 0.004 | | min | 270.121 | | max | 270.133 |
| | mean | 2791.000 | | σ | 0.000 | | min | 2791.000 | | max | 2791.000 |
| | mean | 0.380 | | σ | 0.004 | | min | 0.377 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.585 | | σ | 0.015 | | min | 1930.559 | | max | 1930.600 |
| | mean | 2791.000 | | σ | 0.000 | | min | 2791.000 | | max | 2791.000 |
| | mean | 2.559 | | σ | 0.132 | | min | 2.390 | | max | 2.724 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.019 | | σ | 0.851 | | min | 4750.273 | | max | 4752.480 |
| | mean | 2791.000 | | σ | 0.000 | | min | 2791.000 | | max | 2791.000 |
| | mean | 8.060 | | σ | 0.308 | | min | 7.670 | | max | 8.425 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.451 | | σ | 0.207 | | min | 4941.104 | | max | 4941.610 |
| | mean | 3057.600 | | σ | 330.268 | | min | 2791.000 | | max | 3558.000 |
| | mean | 8.377 | | σ | 0.086 | | min | 8.316 | | max | 8.529 |
|