iters=5 new-facts=1 prior-facts=1 | | mean | 270.146 | | σ | 0.003 | | min | 270.142 | | max | 270.150 |
| | mean | 2851.000 | | σ | 0.000 | | min | 2851.000 | | max | 2851.000 |
| | mean | 0.377 | | σ | 0.003 | | min | 0.372 | | max | 0.381 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607 | | σ | 0.010 | | min | 1930.595 | | max | 1930.623 |
| | mean | 2851.000 | | σ | 0.000 | | min | 2851.000 | | max | 2851.000 |
| | mean | 2.562 | | σ | 0.166 | | min | 2.450 | | max | 2.840 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.282 | | σ | 0.915 | | min | 4750.811 | | max | 4752.915 |
| | mean | 2851.000 | | σ | 0.000 | | min | 2851.000 | | max | 2851.000 |
| | mean | 8.641 | | σ | 0.367 | | min | 8.118 | | max | 9.002 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.774 | | σ | 0.021 | | min | 4941.748 | | max | 4941.802 |
| | mean | 3073.400 | | σ | 222.667 | | min | 2851.000 | | max | 3371.000 |
| | mean | 8.761 | | σ | 0.421 | | min | 8.369 | | max | 9.466 |
|