iters=5 new-facts=1 prior-facts=1 | | mean | 270.129 | | σ | 0.007 | | min | 270.121 | | max | 270.136 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 0.380 | | σ | 0.001 | | min | 0.379 | | max | 0.381 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.593 | | σ | 0.014 | | min | 1930.568 | | max | 1930.603 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 2.547 | | σ | 0.062 | | min | 2.506 | | max | 2.653 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.097 | | σ | 0.859 | | min | 4750.660 | | max | 4752.632 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 8.292 | | σ | 0.636 | | min | 7.712 | | max | 9.003 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.527 | | σ | 0.087 | | min | 4941.450 | | max | 4941.628 |
| | mean | 2942.800 | | σ | 395.415 | | min | 2470.000 | | max | 3460.000 |
| | mean | 8.536 | | σ | 0.168 | | min | 8.330 | | max | 8.753 |
|