iters=5 new-facts=1 prior-facts=1 | | mean | 280.283 | | σ | 0.006 | | min | 280.277 | | max | 280.290 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 0.416 | | σ | 0.003 | | min | 0.413 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.274 | | σ | 0.051 | | min | 2270.190 | | max | 2270.326 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 3.040 | | σ | 0.152 | | min | 2.865 | | max | 3.179 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.608 | | σ | 1.008 | | min | 5146.978 | | max | 5149.400 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 8.910 | | σ | 0.778 | | min | 8.194 | | max | 9.908 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.582 | | σ | 0.206 | | min | 5285.254 | | max | 5285.755 |
| | mean | 3475.200 | | σ | 525.858 | | min | 2771.000 | | max | 3974.000 |
| | mean | 10.216 | | σ | 0.159 | | min | 9.994 | | max | 10.402 |
|