iters=5 new-facts=1 prior-facts=1 | | mean | 285.676 | | σ | 0.013 | | min | 285.656 | | max | 285.691 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.378 | | σ | 0.004 | | min | 0.375 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.640 | | σ | 0.132 | | min | 1285.577 | | max | 1285.875 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 1.878 | | σ | 0.068 | | min | 1.817 | | max | 1.985 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.956 | | σ | 7.015 | | min | 1804.588 | | max | 1820.488 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 4.111 | | σ | 0.184 | | min | 3.829 | | max | 4.288 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.460 | | σ | 0.009 | | min | 2070.449 | | max | 2070.470 |
| | mean | 1857.000 | | σ | 194.426 | | min | 1635.000 | | max | 2074.000 |
| | mean | 4.473 | | σ | 0.025 | | min | 4.433 | | max | 4.501 |
|