iters=5 new-facts=1 prior-facts=1 | | mean | 324.702 | | σ | 0.054 | | min | 324.607 | | max | 324.735 |
| | mean | 2429.000 | | σ | 0.000 | | min | 2429.000 | | max | 2429.000 |
| | mean | 0.431 | | σ | 0.016 | | min | 0.423 | | max | 0.459 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.249 | | σ | 0.031 | | min | 1985.215 | | max | 1985.279 |
| | mean | 2429.000 | | σ | 0.000 | | min | 2429.000 | | max | 2429.000 |
| | mean | 2.683 | | σ | 0.275 | | min | 2.452 | | max | 3.156 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.775 | | σ | 7.457 | | min | 4805.374 | | max | 4822.114 |
| | mean | 2429.000 | | σ | 0.000 | | min | 2429.000 | | max | 2429.000 |
| | mean | 9.164 | | σ | 0.300 | | min | 8.843 | | max | 9.613 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467 | | σ | 0.011 | | min | 4996.455 | | max | 4996.478 |
| | mean | 3003.800 | | σ | 324.044 | | min | 2577.000 | | max | 3415.000 |
| | mean | 8.657 | | σ | 0.151 | | min | 8.499 | | max | 8.908 |
|