iters=5 new-facts=1 prior-facts=1 | | mean | 281.497 | | σ | 0.037 | | min | 281.453 | | max | 281.537 |
| | mean | 1462.000 | | σ | 0.000 | | min | 1462.000 | | max | 1462.000 |
| | mean | 0.393 | | σ | 0.006 | | min | 0.387 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.475 | | σ | 0.104 | | min | 1291.348 | | max | 1291.591 |
| | mean | 1462.000 | | σ | 0.000 | | min | 1462.000 | | max | 1462.000 |
| | mean | 2.009 | | σ | 0.275 | | min | 1.818 | | max | 2.484 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.328 | | σ | 4.005 | | min | 1532.278 | | max | 1541.483 |
| | mean | 1462.000 | | σ | 0.000 | | min | 1462.000 | | max | 1462.000 |
| | mean | 2.271 | | σ | 0.194 | | min | 2.044 | | max | 2.486 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.355 | | σ | 0.051 | | min | 1853.305 | | max | 1853.426 |
| | mean | 1759.600 | | σ | 171.024 | | min | 1505.000 | | max | 1906.000 |
| | mean | 2.968 | | σ | 0.087 | | min | 2.882 | | max | 3.108 |
|