iters=5 new-facts=1 prior-facts=1 | | mean | 262.595 | | σ | 0.009 | | min | 262.582 | | max | 262.606 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 0.354 | | σ | 0.008 | | min | 0.348 | | max | 0.363 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.648 | | σ | 0.076 | | min | 1262.609 | | max | 1262.784 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 1.876 | | σ | 0.073 | | min | 1.785 | | max | 1.956 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2058.199 | | σ | 7.003 | | min | 2054.874 | | max | 2070.714 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 4.556 | | σ | 0.193 | | min | 4.316 | | max | 4.794 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.394 | | σ | 0.007 | | min | 2047.383 | | max | 2047.402 |
| | mean | 1758.800 | | σ | 199.581 | | min | 1522.000 | | max | 1961.000 |
| | mean | 4.444 | | σ | 0.117 | | min | 4.312 | | max | 4.610 |
|