iters=5 new-facts=1 prior-facts=1 | | mean | 285.437 | | σ | 0.013 | | min | 285.417 | | max | 285.453 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 0.377 | | σ | 0.006 | | min | 0.373 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.509 | | σ | 0.087 | | min | 1285.355 | | max | 1285.562 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 1.908 | | σ | 0.087 | | min | 1.810 | | max | 2.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.826 | | σ | 6.852 | | min | 1702.644 | | max | 1718.080 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 2.994 | | σ | 0.204 | | min | 2.814 | | max | 3.284 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.397 | | σ | 0.039 | | min | 1968.355 | | max | 1968.447 |
| | mean | 1784.400 | | σ | 188.248 | | min | 1535.000 | | max | 2014.000 |
| | mean | 3.223 | | σ | 0.362 | | min | 3.043 | | max | 3.871 |
|