iters=5 new-facts=1 prior-facts=1 | | mean | 279.540 | | σ | 0.004 | | min | 279.535 | | max | 279.545 |
| | mean | 2787.000 | | σ | 0.000 | | min | 2787.000 | | max | 2787.000 |
| | mean | 0.410 | | σ | 0.006 | | min | 0.405 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.464 | | σ | 0.013 | | min | 2178.451 | | max | 2178.480 |
| | mean | 2787.000 | | σ | 0.000 | | min | 2787.000 | | max | 2787.000 |
| | mean | 3.397 | | σ | 0.122 | | min | 3.281 | | max | 3.557 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.244 | | σ | 0.988 | | min | 5055.484 | | max | 5057.965 |
| | mean | 2787.000 | | σ | 0.000 | | min | 2787.000 | | max | 2787.000 |
| | mean | 8.890 | | σ | 0.405 | | min | 8.228 | | max | 9.291 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.718 | | σ | 0.203 | | min | 5193.380 | | max | 5193.884 |
| | mean | 3241.000 | | σ | 326.677 | | min | 2787.000 | | max | 3675.000 |
| | mean | 8.969 | | σ | 0.349 | | min | 8.654 | | max | 9.547 |
|