iters=5 new-facts=1 prior-facts=1 | | mean | 324.576 | | σ | 0.058 | | min | 324.474 | | max | 324.609 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.422 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.138 | | σ | 0.011 | | min | 1985.121 | | max | 1985.148 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 2.616 | | σ | 0.084 | | min | 2.535 | | max | 2.738 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.742 | | σ | 7.661 | | min | 4805.263 | | max | 4822.445 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.941 | | σ | 0.149 | | min | 8.747 | | max | 9.132 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.270 | | σ | 0.159 | | min | 4995.988 | | max | 4996.365 |
| | mean | 3030.800 | | σ | 273.175 | | min | 2828.000 | | max | 3460.000 |
| | mean | 8.499 | | σ | 0.147 | | min | 8.422 | | max | 8.760 |
|