iters=5 new-facts=1 prior-facts=1 | | mean | 324.557 | | σ | 0.050 | | min | 324.468 | | max | 324.591 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 0.430 | | σ | 0.008 | | min | 0.422 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.133 | | σ | 0.018 | | min | 1985.110 | | max | 1985.153 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 2.607 | | σ | 0.085 | | min | 2.541 | | max | 2.720 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.739 | | σ | 7.640 | | min | 4805.290 | | max | 4822.404 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 9.009 | | σ | 0.121 | | min | 8.802 | | max | 9.123 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.204 | | σ | 0.179 | | min | 4996.000 | | max | 4996.362 |
| | mean | 3058.000 | | σ | 233.711 | | min | 2837.000 | | max | 3398.000 |
| | mean | 8.665 | | σ | 0.170 | | min | 8.491 | | max | 8.931 |
|