iters=5 new-facts=1 prior-facts=1 | | mean | 324.588 | | σ | 0.044 | | min | 324.510 | | max | 324.612 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.421 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.136 | | σ | 0.020 | | min | 1985.109 | | max | 1985.154 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 2.724 | | σ | 0.286 | | min | 2.499 | | max | 3.195 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.739 | | σ | 7.661 | | min | 4805.280 | | max | 4822.443 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 8.963 | | σ | 0.121 | | min | 8.839 | | max | 9.131 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.134 | | σ | 0.179 | | min | 4996.002 | | max | 4996.335 |
| | mean | 2991.600 | | σ | 308.096 | | min | 2586.000 | | max | 3389.000 |
| | mean | 8.588 | | σ | 0.082 | | min | 8.491 | | max | 8.705 |
|