iters=5 new-facts=1 prior-facts=1 | | mean | 270.126 | | σ | 0.009 | | min | 270.117 | | max | 270.139 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 0.378 | | σ | 0.004 | | min | 0.371 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.601 | | σ | 0.011 | | min | 1930.581 | | max | 1930.609 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 2.493 | | σ | 0.117 | | min | 2.394 | | max | 2.686 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.323 | | σ | 0.976 | | min | 4750.767 | | max | 4753.056 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 8.680 | | σ | 0.717 | | min | 7.711 | | max | 9.639 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.705 | | σ | 0.157 | | min | 4941.425 | | max | 4941.796 |
| | mean | 3048.400 | | σ | 267.332 | | min | 2770.000 | | max | 3414.000 |
| | mean | 8.540 | | σ | 0.202 | | min | 8.339 | | max | 8.827 |
|