iters=5 new-facts=1 prior-facts=1 | | mean | 324.712 | | σ | 0.037 | | min | 324.646 | | max | 324.730 |
| | mean | 2451.000 | | σ | 0.000 | | min | 2451.000 | | max | 2451.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.423 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262 | | σ | 0.020 | | min | 1985.227 | | max | 1985.276 |
| | mean | 2451.000 | | σ | 0.000 | | min | 2451.000 | | max | 2451.000 |
| | mean | 2.671 | | σ | 0.181 | | min | 2.482 | | max | 2.874 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.861 | | σ | 7.671 | | min | 4805.331 | | max | 4822.583 |
| | mean | 2451.000 | | σ | 0.000 | | min | 2451.000 | | max | 2451.000 |
| | mean | 8.871 | | σ | 0.230 | | min | 8.605 | | max | 9.121 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467 | | σ | 0.018 | | min | 4996.438 | | max | 4996.482 |
| | mean | 2945.800 | | σ | 444.588 | | min | 2451.000 | | max | 3546.000 |
| | mean | 8.461 | | σ | 0.104 | | min | 8.356 | | max | 8.617 |
|