iters=5 new-facts=1 prior-facts=1 | | mean | 324.708 | | σ | 0.052 | | min | 324.615 | | max | 324.739 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.424 | | σ | 0.001 | | min | 0.423 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.256 | | σ | 0.009 | | min | 1985.244 | | max | 1985.267 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 2.734 | | σ | 0.156 | | min | 2.558 | | max | 2.960 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.862 | | σ | 7.671 | | min | 4805.363 | | max | 4822.584 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.759 | | σ | 0.199 | | min | 8.420 | | max | 8.930 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.401 | | σ | 0.153 | | min | 4996.131 | | max | 4996.501 |
| | mean | 3035.400 | | σ | 217.454 | | min | 2828.000 | | max | 3261.000 |
| | mean | 8.841 | | σ | 0.377 | | min | 8.486 | | max | 9.485 |
|