iters=5 new-facts=1 prior-facts=1 | | mean | 270.611 | | σ | 0.006 | | min | 270.605 | | max | 270.619 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 0.379 | | σ | 0.005 | | min | 0.374 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.037 | | σ | 0.006 | | min | 1931.028 | | max | 1931.044 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 2.988 | | σ | 0.148 | | min | 2.786 | | max | 3.192 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.772 | | σ | 0.893 | | min | 4751.237 | | max | 4753.359 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 8.599 | | σ | 0.440 | | min | 8.189 | | max | 9.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.086 | | σ | 0.187 | | min | 4941.871 | | max | 4942.253 |
| | mean | 3007.400 | | σ | 223.052 | | min | 2771.000 | | max | 3315.000 |
| | mean | 8.591 | | σ | 0.201 | | min | 8.416 | | max | 8.883 |
|