iters=5 new-facts=1 prior-facts=1 | | mean | 275.751 | | σ | 0.013 | | min | 275.741 | | max | 275.766 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 0.394 | | σ | 0.010 | | min | 0.385 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.289 | | σ | 0.006 | | min | 2168.283 | | max | 2168.297 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 2.999 | | σ | 0.164 | | min | 2.807 | | max | 3.252 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.980 | | σ | 0.643 | | min | 5047.530 | | max | 5049.114 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 8.772 | | σ | 0.368 | | min | 8.223 | | max | 9.180 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.242 | | σ | 0.081 | | min | 5179.163 | | max | 5179.336 |
| | mean | 3227.400 | | σ | 389.764 | | min | 2685.000 | | max | 3720.000 |
| | mean | 10.064 | | σ | 0.063 | | min | 9.992 | | max | 10.140 |
|