iters=5 new-facts=1 prior-facts=1 | | mean | 285.409 | | σ | 0.015 | | min | 285.384 | | max | 285.419 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.377 | | σ | 0.005 | | min | 0.374 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.362 | | σ | 0.097 | | min | 1285.315 | | max | 1285.535 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 1.958 | | σ | 0.114 | | min | 1.800 | | max | 2.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.751 | | σ | 6.984 | | min | 1804.412 | | max | 1820.231 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 4.224 | | σ | 0.180 | | min | 3.982 | | max | 4.404 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.194 | | σ | 0.004 | | min | 2070.190 | | max | 2070.199 |
| | mean | 1840.800 | | σ | 181.253 | | min | 1637.000 | | max | 2076.000 |
| | mean | 4.502 | | σ | 0.087 | | min | 4.454 | | max | 4.657 |
|