iters=5 new-facts=1 prior-facts=1 | | mean | 273.611 | | σ | 0.007 | | min | 273.599 | | max | 273.617 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 0.388 | | σ | 0.006 | | min | 0.382 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.003 | | σ | 0.010 | | min | 1933.986 | | max | 1934.009 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 2.915 | | σ | 0.159 | | min | 2.644 | | max | 3.063 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.802 | | σ | 0.865 | | min | 4754.221 | | max | 4756.323 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 8.461 | | σ | 0.668 | | min | 7.733 | | max | 9.395 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4765.059 | | σ | 402.666 | | min | 4044.748 | | max | 4945.247 |
| | mean | 3000.200 | | σ | 202.734 | | min | 2870.000 | | max | 3332.000 |
| | mean | 8.322 | | σ | 0.582 | | min | 7.325 | | max | 8.855 |
|