iters=5 new-facts=1 prior-facts=1 | | mean | 324.716 | | σ | 0.047 | | min | 324.634 | | max | 324.752 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 0.429 | | σ | 0.010 | | min | 0.422 | | max | 0.444 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.272 | | σ | 0.010 | | min | 1985.261 | | max | 1985.283 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 2.671 | | σ | 0.152 | | min | 2.551 | | max | 2.932 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.916 | | σ | 7.707 | | min | 4805.326 | | max | 4822.702 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 9.096 | | σ | 0.441 | | min | 8.467 | | max | 9.681 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.416 | | σ | 0.133 | | min | 4996.180 | | max | 4996.502 |
| | mean | 3056.200 | | σ | 238.812 | | min | 2827.000 | | max | 3397.000 |
| | mean | 8.688 | | σ | 0.192 | | min | 8.512 | | max | 8.982 |
|