iters=5 new-facts=1 prior-facts=1 | | mean | 285.391 | | σ | 0.009 | | min | 285.375 | | max | 285.398 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.377 | | σ | 0.006 | | min | 0.374 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.346 | | σ | 0.119 | | min | 1285.288 | | max | 1285.559 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.969 | | σ | 0.143 | | min | 1.825 | | max | 2.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.691 | | σ | 6.997 | | min | 1804.348 | | max | 1820.192 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 4.179 | | σ | 0.209 | | min | 3.823 | | max | 4.346 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.174 | | σ | 0.010 | | min | 2070.167 | | max | 2070.191 |
| | mean | 1859.200 | | σ | 200.768 | | min | 1632.000 | | max | 2088.000 |
| | mean | 4.466 | | σ | 0.063 | | min | 4.381 | | max | 4.551 |
|