iters=5 new-facts=1 prior-facts=1 | | mean | 324.018 | | σ | 0.044 | | min | 323.939 | | max | 324.047 |
| | mean | 2500.000 | | σ | 0.000 | | min | 2500.000 | | max | 2500.000 |
| | mean | 0.425 | | σ | 0.002 | | min | 0.423 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.592 | | σ | 0.010 | | min | 1984.575 | | max | 1984.600 |
| | mean | 2500.000 | | σ | 0.000 | | min | 2500.000 | | max | 2500.000 |
| | mean | 2.636 | | σ | 0.070 | | min | 2.575 | | max | 2.738 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.238 | | σ | 7.813 | | min | 4804.724 | | max | 4822.215 |
| | mean | 2500.000 | | σ | 0.000 | | min | 2500.000 | | max | 2500.000 |
| | mean | 9.015 | | σ | 0.117 | | min | 8.860 | | max | 9.141 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.806 | | σ | 0.025 | | min | 4995.777 | | max | 4995.832 |
| | mean | 2939.600 | | σ | 372.098 | | min | 2500.000 | | max | 3416.000 |
| | mean | 8.567 | | σ | 0.146 | | min | 8.431 | | max | 8.781 |
|