iters=5 new-facts=1 prior-facts=1 | | mean | 285.393 | | σ | 0.011 | | min | 285.378 | | max | 285.407 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 0.384 | | σ | 0.009 | | min | 0.375 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.350 | | σ | 0.125 | | min | 1285.289 | | max | 1285.574 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 2.033 | | σ | 0.247 | | min | 1.847 | | max | 2.419 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.688 | | σ | 7.027 | | min | 1804.308 | | max | 1820.242 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 4.162 | | σ | 0.252 | | min | 3.845 | | max | 4.433 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.177 | | σ | 0.011 | | min | 2070.162 | | max | 2070.192 |
| | mean | 1834.400 | | σ | 169.718 | | min | 1646.000 | | max | 2067.000 |
| | mean | 4.509 | | σ | 0.039 | | min | 4.468 | | max | 4.551 |
|