iters=5 new-facts=1 prior-facts=1 | | mean | 285.391 | | σ | 0.012 | | min | 285.371 | | max | 285.401 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.377 | | σ | 0.006 | | min | 0.373 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.358 | | σ | 0.137 | | min | 1285.288 | | max | 1285.602 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.925 | | σ | 0.124 | | min | 1.807 | | max | 2.129 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.698 | | σ | 7.001 | | min | 1804.330 | | max | 1820.205 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.195 | | σ | 0.172 | | min | 4.011 | | max | 4.388 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.178 | | σ | 0.013 | | min | 2070.167 | | max | 2070.200 |
| | mean | 1841.000 | | σ | 179.492 | | min | 1639.000 | | max | 2077.000 |
| | mean | 4.587 | | σ | 0.207 | | min | 4.413 | | max | 4.942 |
|