iters=5 new-facts=1 prior-facts=1 | | mean | 324.771 | | σ | 0.054 | | min | 324.675 | | max | 324.802 |
| | mean | 2683.000 | | σ | 0.000 | | min | 2683.000 | | max | 2683.000 |
| | mean | 0.428 | | σ | 0.009 | | min | 0.421 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.324 | | σ | 0.017 | | min | 1985.293 | | max | 1985.335 |
| | mean | 2683.000 | | σ | 0.000 | | min | 2683.000 | | max | 2683.000 |
| | mean | 2.644 | | σ | 0.069 | | min | 2.594 | | max | 2.740 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4810.082 | | σ | 7.747 | | min | 4806.286 | | max | 4823.935 |
| | mean | 2683.000 | | σ | 0.000 | | min | 2683.000 | | max | 2683.000 |
| | mean | 8.383 | | σ | 0.637 | | min | 7.671 | | max | 9.074 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.696 | | σ | 0.055 | | min | 4997.607 | | max | 4997.733 |
| | mean | 3004.200 | | σ | 364.562 | | min | 2683.000 | | max | 3533.000 |
| | mean | 8.553 | | σ | 0.152 | | min | 8.443 | | max | 8.814 |
|