iters=5 new-facts=1 prior-facts=1 | | mean | 277.193 | | σ | 0.005 | | min | 277.187 | | max | 277.198 |
| | mean | 2632.000 | | σ | 0.000 | | min | 2632.000 | | max | 2632.000 |
| | mean | 0.393 | | σ | 0.002 | | min | 0.390 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.418 | | σ | 0.050 | | min | 2174.342 | | max | 2174.480 |
| | mean | 2632.000 | | σ | 0.000 | | min | 2632.000 | | max | 2632.000 |
| | mean | 2.891 | | σ | 0.151 | | min | 2.756 | | max | 3.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.602 | | σ | 0.973 | | min | 5052.014 | | max | 5054.335 |
| | mean | 2632.000 | | σ | 0.000 | | min | 2632.000 | | max | 2632.000 |
| | mean | 8.818 | | σ | 0.599 | | min | 7.991 | | max | 9.464 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.428 | | σ | 0.089 | | min | 5188.352 | | max | 5188.528 |
| | mean | 3200.000 | | σ | 475.163 | | min | 2632.000 | | max | 3834.000 |
| | mean | 8.729 | | σ | 0.181 | | min | 8.626 | | max | 9.050 |
|