iters=5 new-facts=1 prior-facts=1 | | mean | 278.670 | | σ | 0.012 | | min | 278.661 | | max | 278.690 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 0.417 | | σ | 0.001 | | min | 0.416 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847 | | σ | 0.006 | | min | 2268.841 | | max | 2268.856 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 3.005 | | σ | 0.119 | | min | 2.911 | | max | 3.166 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.121 | | σ | 0.234 | | min | 4951.960 | | max | 4952.531 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 7.737 | | σ | 0.151 | | min | 7.608 | | max | 7.924 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.048 | | σ | 0.012 | | min | 5167.030 | | max | 5167.063 |
| | mean | 3391.600 | | σ | 412.736 | | min | 2858.000 | | max | 3941.000 |
| | mean | 9.347 | | σ | 0.249 | | min | 9.057 | | max | 9.671 |
|