iters=5 new-facts=1 prior-facts=1 | | mean | 324.763 | | σ | 0.036 | | min | 324.701 | | max | 324.787 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 0.419 | | σ | 0.009 | | min | 0.415 | | max | 0.436 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.325 | | σ | 0.010 | | min | 1985.313 | | max | 1985.339 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 2.622 | | σ | 0.097 | | min | 2.541 | | max | 2.768 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.973 | | σ | 7.459 | | min | 4805.598 | | max | 4822.315 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 9.023 | | σ | 0.273 | | min | 8.703 | | max | 9.346 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.633 | | σ | 0.016 | | min | 4996.615 | | max | 4996.649 |
| | mean | 3031.200 | | σ | 201.312 | | min | 2778.000 | | max | 3306.000 |
| | mean | 8.604 | | σ | 0.162 | | min | 8.402 | | max | 8.786 |
|