iters=5 new-facts=1 prior-facts=1 | | mean | 285.410 | | σ | 0.008 | | min | 285.397 | | max | 285.418 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 0.379 | | σ | 0.006 | | min | 0.375 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.372 | | σ | 0.132 | | min | 1285.309 | | max | 1285.609 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 1.936 | | σ | 0.162 | | min | 1.824 | | max | 2.221 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.709 | | σ | 7.005 | | min | 1804.360 | | max | 1820.224 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 4.196 | | σ | 0.120 | | min | 4.035 | | max | 4.348 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.200 | | σ | 0.012 | | min | 2070.183 | | max | 2070.217 |
| | mean | 1836.800 | | σ | 170.838 | | min | 1636.000 | | max | 2074.000 |
| | mean | 4.551 | | σ | 0.113 | | min | 4.460 | | max | 4.738 |
|