iters=5 new-facts=1 prior-facts=1 | | mean | 270.134 | | σ | 0.006 | | min | 270.127 | | max | 270.143 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.383 | | σ | 0.002 | | min | 0.381 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.592 | | σ | 0.010 | | min | 1930.576 | | max | 1930.602 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 2.583 | | σ | 0.107 | | min | 2.458 | | max | 2.688 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4610.528 | | σ | 314.418 | | min | 4048.081 | | max | 4752.622 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 8.353 | | σ | 0.827 | | min | 7.344 | | max | 9.264 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.525 | | σ | 0.082 | | min | 4941.463 | | max | 4941.620 |
| | mean | 2999.800 | | σ | 233.445 | | min | 2849.000 | | max | 3380.000 |
| | mean | 8.382 | | σ | 0.021 | | min | 8.361 | | max | 8.417 |
|