iters=5 new-facts=1 prior-facts=1 | | mean | 285.393 | | σ | 0.007 | | min | 285.382 | | max | 285.399 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.381 | | σ | 0.008 | | min | 0.374 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.355 | | σ | 0.132 | | min | 1285.291 | | max | 1285.590 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.981 | | σ | 0.131 | | min | 1.832 | | max | 2.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.723 | | σ | 6.995 | | min | 1804.340 | | max | 1820.218 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.287 | | σ | 0.263 | | min | 4.024 | | max | 4.684 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.180 | | σ | 0.009 | | min | 2070.167 | | max | 2070.192 |
| | mean | 1833.000 | | σ | 193.826 | | min | 1639.000 | | max | 2080.000 |
| | mean | 4.449 | | σ | 0.055 | | min | 4.367 | | max | 4.505 |
|