iters=5 new-facts=1 prior-facts=1 | | mean | 324.716 | | σ | 0.024 | | min | 324.672 | | max | 324.732 |
| | mean | 2728.000 | | σ | 0.000 | | min | 2728.000 | | max | 2728.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.421 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262 | | σ | 0.026 | | min | 1985.220 | | max | 1985.281 |
| | mean | 2728.000 | | σ | 0.000 | | min | 2728.000 | | max | 2728.000 |
| | mean | 2.616 | | σ | 0.074 | | min | 2.575 | | max | 2.747 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.871 | | σ | 7.734 | | min | 4805.377 | | max | 4822.705 |
| | mean | 2728.000 | | σ | 0.000 | | min | 2728.000 | | max | 2728.000 |
| | mean | 9.070 | | σ | 0.237 | | min | 8.857 | | max | 9.463 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469 | | σ | 0.009 | | min | 4996.456 | | max | 4996.478 |
| | mean | 3026.600 | | σ | 352.038 | | min | 2728.000 | | max | 3544.000 |
| | mean | 8.588 | | σ | 0.117 | | min | 8.469 | | max | 8.725 |
|