iters=5 new-facts=1 prior-facts=1 | | mean | 294.674 | | σ | 0.009 | | min | 294.665 | | max | 294.687 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 0.385 | | σ | 0.006 | | min | 0.380 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.966 | | σ | 0.066 | | min | 1316.861 | | max | 1317.018 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 2.058 | | σ | 0.212 | | min | 1.793 | | max | 2.274 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.360 | | σ | 6.854 | | min | 1552.116 | | max | 1567.617 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 2.423 | | σ | 0.300 | | min | 2.126 | | max | 2.883 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.773 | | σ | 0.036 | | min | 1884.739 | | max | 1884.834 |
| | mean | 1816.400 | | σ | 191.645 | | min | 1653.000 | | max | 2091.000 |
| | mean | 2.999 | | σ | 0.166 | | min | 2.739 | | max | 3.146 |
|