iters=5 new-facts=1 prior-facts=1 | | mean | 324.701 | | σ | 0.056 | | min | 324.602 | | max | 324.734 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 0.426 | | σ | 0.001 | | min | 0.424 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.254 | | σ | 0.017 | | min | 1985.236 | | max | 1985.275 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 2.695 | | σ | 0.207 | | min | 2.567 | | max | 3.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.909 | | σ | 7.610 | | min | 4805.354 | | max | 4822.520 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 8.573 | | σ | 0.744 | | min | 7.330 | | max | 9.113 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.399 | | σ | 0.151 | | min | 4996.130 | | max | 4996.485 |
| | mean | 3064.800 | | σ | 305.065 | | min | 2835.000 | | max | 3538.000 |
| | mean | 8.645 | | σ | 0.178 | | min | 8.452 | | max | 8.832 |
|