iters=5 new-facts=1 prior-facts=1 | | mean | 270.126 | | σ | 0.005 | | min | 270.118 | | max | 270.133 |
| | mean | 2507.000 | | σ | 0.000 | | min | 2507.000 | | max | 2507.000 |
| | mean | 0.373 | | σ | 0.004 | | min | 0.369 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596 | | σ | 0.016 | | min | 1930.572 | | max | 1930.612 |
| | mean | 2507.000 | | σ | 0.000 | | min | 2507.000 | | max | 2507.000 |
| | mean | 2.581 | | σ | 0.155 | | min | 2.444 | | max | 2.810 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.887 | | σ | 0.315 | | min | 4750.684 | | max | 4751.445 |
| | mean | 2507.000 | | σ | 0.000 | | min | 2507.000 | | max | 2507.000 |
| | mean | 8.346 | | σ | 0.525 | | min | 7.786 | | max | 8.955 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.453 | | σ | 0.215 | | min | 4941.097 | | max | 4941.636 |
| | mean | 2931.200 | | σ | 384.586 | | min | 2507.000 | | max | 3430.000 |
| | mean | 8.461 | | σ | 0.354 | | min | 8.241 | | max | 9.090 |
|