iters=5 new-facts=1 prior-facts=1 | | mean | 275.758 | | σ | 0.012 | | min | 275.745 | | max | 275.773 |
| | mean | 2641.000 | | σ | 0.000 | | min | 2641.000 | | max | 2641.000 |
| | mean | 0.401 | | σ | 0.010 | | min | 0.393 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.286 | | σ | 0.004 | | min | 2168.283 | | max | 2168.293 |
| | mean | 2641.000 | | σ | 0.000 | | min | 2641.000 | | max | 2641.000 |
| | mean | 2.926 | | σ | 0.118 | | min | 2.737 | | max | 3.011 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.122 | | σ | 0.924 | | min | 5047.594 | | max | 5049.756 |
| | mean | 2641.000 | | σ | 0.000 | | min | 2641.000 | | max | 2641.000 |
| | mean | 9.024 | | σ | 0.687 | | min | 8.032 | | max | 9.961 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.163 | | σ | 0.134 | | min | 5178.961 | | max | 5179.338 |
| | mean | 3272.200 | | σ | 381.475 | | min | 2732.000 | | max | 3730.000 |
| | mean | 9.980 | | σ | 0.074 | | min | 9.905 | | max | 10.068 |
|