iters=5 new-facts=1 prior-facts=1 | | mean | 270.127 | | σ | 0.001 | | min | 270.126 | | max | 270.129 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 0.373 | | σ | 0.004 | | min | 0.370 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.584 | | σ | 0.019 | | min | 1930.563 | | max | 1930.608 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 2.544 | | σ | 0.116 | | min | 2.451 | | max | 2.738 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.129 | | σ | 0.783 | | min | 4750.652 | | max | 4752.520 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 8.092 | | σ | 0.382 | | min | 7.650 | | max | 8.476 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.456 | | σ | 0.201 | | min | 4941.120 | | max | 4941.619 |
| | mean | 3060.600 | | σ | 270.281 | | min | 2850.000 | | max | 3475.000 |
| | mean | 8.374 | | σ | 0.132 | | min | 8.256 | | max | 8.586 |
|