iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.013 | | min | 285.391 | | max | 285.426 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 0.376 | | σ | 0.006 | | min | 0.371 | | max | 0.385 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.375 | | σ | 0.135 | | min | 1285.307 | | max | 1285.617 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 1.878 | | σ | 0.068 | | min | 1.804 | | max | 1.974 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.691 | | σ | 7.002 | | min | 1804.330 | | max | 1820.201 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 4.137 | | σ | 0.221 | | min | 3.940 | | max | 4.403 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195 | | σ | 0.010 | | min | 2070.188 | | max | 2070.211 |
| | mean | 1850.600 | | σ | 204.106 | | min | 1636.000 | | max | 2073.000 |
| | mean | 4.600 | | σ | 0.223 | | min | 4.421 | | max | 4.929 |
|