iters=5 new-facts=1 prior-facts=1 | | mean | 285.658 | | σ | 0.009 | | min | 285.644 | | max | 285.667 |
| | mean | 1590.000 | | σ | 0.000 | | min | 1590.000 | | max | 1590.000 |
| | mean | 0.381 | | σ | 0.006 | | min | 0.376 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.620 | | σ | 0.137 | | min | 1285.555 | | max | 1285.865 |
| | mean | 1590.000 | | σ | 0.000 | | min | 1590.000 | | max | 1590.000 |
| | mean | 1.927 | | σ | 0.139 | | min | 1.831 | | max | 2.173 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.928 | | σ | 6.999 | | min | 1804.582 | | max | 1820.432 |
| | mean | 1590.000 | | σ | 0.000 | | min | 1590.000 | | max | 1590.000 |
| | mean | 4.070 | | σ | 0.096 | | min | 3.961 | | max | 4.188 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.442 | | σ | 0.010 | | min | 2070.431 | | max | 2070.455 |
| | mean | 1832.000 | | σ | 178.526 | | min | 1611.000 | | max | 2074.000 |
| | mean | 4.511 | | σ | 0.031 | | min | 4.469 | | max | 4.547 |
|