iters=5 new-facts=1 prior-facts=1 | | mean | 190.719 | | σ | 0.006 | | min | 190.713 | | max | 190.729 |
| | mean | 2628.000 | | σ | 0.000 | | min | 2628.000 | | max | 2628.000 |
| | mean | 0.280 | | σ | 0.001 | | min | 0.279 | | max | 0.281 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.492 | | σ | 0.013 | | min | 1989.481 | | max | 1989.513 |
| | mean | 2628.000 | | σ | 0.000 | | min | 2628.000 | | max | 2628.000 |
| | mean | 2.441 | | σ | 0.082 | | min | 2.358 | | max | 2.578 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.064 | | σ | 0.559 | | min | 4879.653 | | max | 4881.033 |
| | mean | 2628.000 | | σ | 0.000 | | min | 2628.000 | | max | 2628.000 |
| | mean | 8.122 | | σ | 0.401 | | min | 7.718 | | max | 8.763 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.701 | | σ | 0.091 | | min | 4891.617 | | max | 4891.800 |
| | mean | 3354.000 | | σ | 460.426 | | min | 2789.000 | | max | 4016.000 |
| | mean | 8.182 | | σ | 0.125 | | min | 8.031 | | max | 8.295 |
|