iters=5 new-facts=1 prior-facts=1 | | mean | 324.591 | | σ | 0.024 | | min | 324.550 | | max | 324.608 |
| | mean | 2760.000 | | σ | 0.000 | | min | 2760.000 | | max | 2760.000 |
| | mean | 0.421 | | σ | 0.002 | | min | 0.419 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.134 | | σ | 0.019 | | min | 1985.114 | | max | 1985.157 |
| | mean | 2760.000 | | σ | 0.000 | | min | 2760.000 | | max | 2760.000 |
| | mean | 2.731 | | σ | 0.211 | | min | 2.557 | | max | 3.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.665 | | σ | 7.699 | | min | 4804.683 | | max | 4822.425 |
| | mean | 2760.000 | | σ | 0.000 | | min | 2760.000 | | max | 2760.000 |
| | mean | 8.651 | | σ | 0.544 | | min | 7.746 | | max | 9.123 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.341 | | σ | 0.021 | | min | 4996.310 | | max | 4996.358 |
| | mean | 3038.600 | | σ | 336.247 | | min | 2760.000 | | max | 3539.000 |
| | mean | 8.539 | | σ | 0.133 | | min | 8.460 | | max | 8.775 |
|