iters=5 new-facts=1 prior-facts=1 | | mean | 285.415 | | σ | 0.009 | | min | 285.400 | | max | 285.423 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.378 | | σ | 0.006 | | min | 0.375 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.373 | | σ | 0.130 | | min | 1285.313 | | max | 1285.605 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 1.852 | | σ | 0.085 | | min | 1.776 | | max | 1.992 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.721 | | σ | 7.009 | | min | 1804.332 | | max | 1820.243 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 4.211 | | σ | 0.226 | | min | 3.844 | | max | 4.424 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.193 | | σ | 0.007 | | min | 2070.184 | | max | 2070.202 |
| | mean | 1846.600 | | σ | 175.668 | | min | 1635.000 | | max | 2091.000 |
| | mean | 4.470 | | σ | 0.045 | | min | 4.426 | | max | 4.539 |
|