iters=5 new-facts=1 prior-facts=1 | | mean | 270.129 | | σ | 0.009 | | min | 270.120 | | max | 270.142 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.380 | | σ | 0.006 | | min | 0.372 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.604 | | σ | 0.015 | | min | 1930.581 | | max | 1930.619 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 2.517 | | σ | 0.075 | | min | 2.478 | | max | 2.652 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.811 | | σ | 1.303 | | min | 4749.619 | | max | 4752.855 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 8.971 | | σ | 0.285 | | min | 8.561 | | max | 9.231 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.765 | | σ | 0.013 | | min | 4941.753 | | max | 4941.780 |
| | mean | 3028.400 | | σ | 199.484 | | min | 2849.000 | | max | 3334.000 |
| | mean | 8.477 | | σ | 0.120 | | min | 8.347 | | max | 8.652 |
|