iters=5 new-facts=1 prior-facts=1 | | mean | 324.705 | | σ | 0.055 | | min | 324.609 | | max | 324.739 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 0.429 | | σ | 0.009 | | min | 0.421 | | max | 0.444 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.259 | | σ | 0.018 | | min | 1985.241 | | max | 1985.279 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 2.698 | | σ | 0.255 | | min | 2.530 | | max | 3.142 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.675 | | σ | 7.844 | | min | 4804.228 | | max | 4822.671 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 8.747 | | σ | 0.522 | | min | 7.844 | | max | 9.197 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469 | | σ | 0.017 | | min | 4996.449 | | max | 4996.488 |
| | mean | 3037.200 | | σ | 278.309 | | min | 2838.000 | | max | 3477.000 |
| | mean | 8.521 | | σ | 0.104 | | min | 8.449 | | max | 8.702 |
|