iters=5 new-facts=1 prior-facts=1 | | mean | 285.410 | | σ | 0.014 | | min | 285.390 | | max | 285.425 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.377 | | σ | 0.006 | | min | 0.373 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.341 | | σ | 0.058 | | min | 1285.307 | | max | 1285.444 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 1.923 | | σ | 0.180 | | min | 1.744 | | max | 2.146 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.732 | | σ | 6.979 | | min | 1804.356 | | max | 1820.201 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 4.297 | | σ | 0.418 | | min | 3.878 | | max | 4.987 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.196 | | σ | 0.009 | | min | 2070.189 | | max | 2070.212 |
| | mean | 1845.400 | | σ | 177.981 | | min | 1647.000 | | max | 2080.000 |
| | mean | 4.502 | | σ | 0.067 | | min | 4.439 | | max | 4.615 |
|