iters=5 new-facts=1 prior-facts=1 | | mean | 278.700 | | σ | 0.008 | | min | 278.690 | | max | 278.709 |
| | mean | 2691.000 | | σ | 0.000 | | min | 2691.000 | | max | 2691.000 |
| | mean | 0.420 | | σ | 0.001 | | min | 0.418 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875 | | σ | 0.003 | | min | 2268.872 | | max | 2268.880 |
| | mean | 2691.000 | | σ | 0.000 | | min | 2691.000 | | max | 2691.000 |
| | mean | 2.979 | | σ | 0.174 | | min | 2.819 | | max | 3.276 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.084 | | σ | 0.615 | | min | 4951.695 | | max | 4953.177 |
| | mean | 2691.000 | | σ | 0.000 | | min | 2691.000 | | max | 2691.000 |
| | mean | 8.051 | | σ | 0.397 | | min | 7.761 | | max | 8.690 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.781 | | σ | 0.294 | | min | 5166.256 | | max | 5166.921 |
| | mean | 3396.600 | | σ | 446.700 | | min | 2769.000 | | max | 3941.000 |
| | mean | 9.788 | | σ | 0.289 | | min | 9.449 | | max | 10.221 |
|