iters=5 new-facts=1 prior-facts=1 | | mean | 285.393 | | σ | 0.011 | | min | 285.375 | | max | 285.404 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.380 | | σ | 0.008 | | min | 0.374 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.348 | | σ | 0.107 | | min | 1285.287 | | max | 1285.537 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 1.920 | | σ | 0.139 | | min | 1.835 | | max | 2.168 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.713 | | σ | 7.001 | | min | 1804.324 | | max | 1820.220 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 4.275 | | σ | 0.210 | | min | 3.984 | | max | 4.433 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.180 | | σ | 0.011 | | min | 2070.173 | | max | 2070.198 |
| | mean | 1858.200 | | σ | 194.877 | | min | 1638.000 | | max | 2074.000 |
| | mean | 4.560 | | σ | 0.148 | | min | 4.405 | | max | 4.768 |
|