iters=5 new-facts=1 prior-facts=1 | | mean | 324.012 | | σ | 0.052 | | min | 323.919 | | max | 324.044 |
| | mean | 2893.000 | | σ | 0.000 | | min | 2893.000 | | max | 2893.000 |
| | mean | 0.426 | | σ | 0.002 | | min | 0.423 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.572 | | σ | 0.013 | | min | 1984.556 | | max | 1984.591 |
| | mean | 2893.000 | | σ | 0.000 | | min | 2893.000 | | max | 2893.000 |
| | mean | 2.607 | | σ | 0.159 | | min | 2.488 | | max | 2.874 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.123 | | σ | 7.483 | | min | 4804.701 | | max | 4821.509 |
| | mean | 2893.000 | | σ | 0.000 | | min | 2893.000 | | max | 2893.000 |
| | mean | 8.779 | | σ | 0.224 | | min | 8.410 | | max | 9.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.667 | | σ | 0.202 | | min | 4995.431 | | max | 4995.832 |
| | mean | 3038.200 | | σ | 175.565 | | min | 2893.000 | | max | 3323.000 |
| | mean | 8.605 | | σ | 0.117 | | min | 8.504 | | max | 8.797 |
|