iters=5 new-facts=1 prior-facts=1 | | mean | 324.009 | | σ | 0.051 | | min | 323.918 | | max | 324.039 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 0.426 | | σ | 0.005 | | min | 0.424 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.595 | | σ | 0.010 | | min | 1984.581 | | max | 1984.607 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 2.594 | | σ | 0.117 | | min | 2.454 | | max | 2.737 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.239 | | σ | 7.818 | | min | 4804.675 | | max | 4822.224 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 8.937 | | σ | 0.200 | | min | 8.591 | | max | 9.099 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.811 | | σ | 0.014 | | min | 4995.798 | | max | 4995.833 |
| | mean | 3029.000 | | σ | 217.800 | | min | 2772.000 | | max | 3324.000 |
| | mean | 8.688 | | σ | 0.257 | | min | 8.441 | | max | 9.113 |
|