iters=5 new-facts=1 prior-facts=1 | | mean | 275.760 | | σ | 0.010 | | min | 275.750 | | max | 275.774 |
| | mean | 2488.000 | | σ | 0.000 | | min | 2488.000 | | max | 2488.000 |
| | mean | 0.407 | | σ | 0.011 | | min | 0.399 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.290 | | σ | 0.008 | | min | 2168.277 | | max | 2168.296 |
| | mean | 2488.000 | | σ | 0.000 | | min | 2488.000 | | max | 2488.000 |
| | mean | 2.994 | | σ | 0.151 | | min | 2.772 | | max | 3.121 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.103 | | σ | 0.925 | | min | 5047.572 | | max | 5049.752 |
| | mean | 2488.000 | | σ | 0.000 | | min | 2488.000 | | max | 2488.000 |
| | mean | 8.848 | | σ | 0.489 | | min | 8.082 | | max | 9.282 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.238 | | σ | 0.079 | | min | 5179.181 | | max | 5179.338 |
| | mean | 3226.600 | | σ | 397.394 | | min | 2683.000 | | max | 3732.000 |
| | mean | 9.923 | | σ | 0.291 | | min | 9.599 | | max | 10.243 |
|