iters=5 new-facts=1 prior-facts=1 | | mean | 324.682 | | σ | 0.043 | | min | 324.605 | | max | 324.711 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 0.428 | | σ | 0.007 | | min | 0.423 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262 | | σ | 0.018 | | min | 1985.240 | | max | 1985.278 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 2.567 | | σ | 0.113 | | min | 2.391 | | max | 2.704 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.877 | | σ | 7.706 | | min | 4805.327 | | max | 4822.662 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 9.092 | | σ | 0.277 | | min | 8.695 | | max | 9.464 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.472 | | σ | 0.014 | | min | 4996.455 | | max | 4996.486 |
| | mean | 2978.200 | | σ | 288.881 | | min | 2584.000 | | max | 3327.000 |
| | mean | 8.773 | | σ | 0.389 | | min | 8.489 | | max | 9.423 |
|