iters=5 new-facts=1 prior-facts=1 | | mean | 275.570 | | σ | 0.009 | | min | 275.556 | | max | 275.582 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 0.403 | | σ | 0.010 | | min | 0.391 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.090 | | σ | 0.018 | | min | 2168.058 | | max | 2168.099 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 2.943 | | σ | 0.123 | | min | 2.761 | | max | 3.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.803 | | σ | 0.991 | | min | 5046.909 | | max | 5049.507 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 8.859 | | σ | 0.543 | | min | 8.041 | | max | 9.358 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.044 | | σ | 0.087 | | min | 5178.970 | | max | 5179.147 |
| | mean | 3253.400 | | σ | 336.560 | | min | 2854.000 | | max | 3724.000 |
| | mean | 9.989 | | σ | 0.048 | | min | 9.954 | | max | 10.074 |
|