iters=5 new-facts=1 prior-facts=1 | | mean | 324.764 | | σ | 0.041 | | min | 324.691 | | max | 324.789 |
| | mean | 2687.000 | | σ | 0.000 | | min | 2687.000 | | max | 2687.000 |
| | mean | 0.421 | | σ | 0.010 | | min | 0.415 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.323 | | σ | 0.015 | | min | 1985.303 | | max | 1985.339 |
| | mean | 2687.000 | | σ | 0.000 | | min | 2687.000 | | max | 2687.000 |
| | mean | 2.573 | | σ | 0.117 | | min | 2.421 | | max | 2.747 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.976 | | σ | 7.431 | | min | 4805.582 | | max | 4822.269 |
| | mean | 2687.000 | | σ | 0.000 | | min | 2687.000 | | max | 2687.000 |
| | mean | 8.895 | | σ | 0.190 | | min | 8.714 | | max | 9.110 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.626 | | σ | 0.028 | | min | 4996.594 | | max | 4996.661 |
| | mean | 3006.000 | | σ | 364.598 | | min | 2687.000 | | max | 3536.000 |
| | mean | 8.444 | | σ | 0.082 | | min | 8.393 | | max | 8.590 |
|