iters=5 new-facts=1 prior-facts=1 | | mean | 285.386 | | σ | 0.011 | | min | 285.371 | | max | 285.398 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 0.375 | | σ | 0.010 | | min | 0.366 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.351 | | σ | 0.130 | | min | 1285.287 | | max | 1285.584 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 1.942 | | σ | 0.164 | | min | 1.850 | | max | 2.235 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.667 | | σ | 7.014 | | min | 1804.316 | | max | 1820.198 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 4.149 | | σ | 0.185 | | min | 3.983 | | max | 4.445 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.180 | | σ | 0.007 | | min | 2070.168 | | max | 2070.187 |
| | mean | 1832.400 | | σ | 170.638 | | min | 1634.000 | | max | 2068.000 |
| | mean | 4.588 | | σ | 0.082 | | min | 4.504 | | max | 4.720 |
|