iters=5 new-facts=1 prior-facts=1 | | mean | 324.761 | | σ | 0.043 | | min | 324.684 | | max | 324.790 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 0.417 | | σ | 0.002 | | min | 0.416 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313 | | σ | 0.015 | | min | 1985.292 | | max | 1985.334 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 2.636 | | σ | 0.129 | | min | 2.515 | | max | 2.817 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.111 | | σ | 7.773 | | min | 4805.604 | | max | 4823.016 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 9.162 | | σ | 0.341 | | min | 8.925 | | max | 9.755 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.552 | | σ | 0.151 | | min | 4996.285 | | max | 4996.646 |
| | mean | 3047.600 | | σ | 270.853 | | min | 2840.000 | | max | 3465.000 |
| | mean | 8.503 | | σ | 0.114 | | min | 8.444 | | max | 8.705 |
|