iters=5 new-facts=1 prior-facts=1 | | mean | 326.445 | | σ | 0.052 | | min | 326.354 | | max | 326.487 |
| | mean | 2842.000 | | σ | 0.000 | | min | 2842.000 | | max | 2842.000 |
| | mean | 0.433 | | σ | 0.016 | | min | 0.425 | | max | 0.461 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.607 | | σ | 0.013 | | min | 1988.594 | | max | 1988.622 |
| | mean | 2842.000 | | σ | 0.000 | | min | 2842.000 | | max | 2842.000 |
| | mean | 2.793 | | σ | 0.231 | | min | 2.621 | | max | 3.183 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4812.285 | | σ | 7.802 | | min | 4808.358 | | max | 4826.234 |
| | mean | 2842.000 | | σ | 0.000 | | min | 2842.000 | | max | 2842.000 |
| | mean | 8.465 | | σ | 0.502 | | min | 7.868 | | max | 9.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.865 | | σ | 0.172 | | min | 4999.560 | | max | 4999.960 |
| | mean | 3028.200 | | σ | 243.714 | | min | 2842.000 | | max | 3399.000 |
| | mean | 9.653 | | σ | 0.243 | | min | 9.396 | | max | 9.974 |
|