iters=5 new-facts=1 prior-facts=1 | | mean | 277.196 | | σ | 0.006 | | min | 277.191 | | max | 277.206 |
| | mean | 2741.000 | | σ | 0.000 | | min | 2741.000 | | max | 2741.000 |
| | mean | 0.405 | | σ | 0.009 | | min | 0.400 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.427 | | σ | 0.010 | | min | 2174.415 | | max | 2174.441 |
| | mean | 2741.000 | | σ | 0.000 | | min | 2741.000 | | max | 2741.000 |
| | mean | 2.808 | | σ | 0.158 | | min | 2.670 | | max | 3.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.602 | | σ | 0.992 | | min | 5051.993 | | max | 5054.360 |
| | mean | 2741.000 | | σ | 0.000 | | min | 2741.000 | | max | 2741.000 |
| | mean | 8.989 | | σ | 0.629 | | min | 8.091 | | max | 9.619 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.255 | | σ | 0.106 | | min | 5188.131 | | max | 5188.366 |
| | mean | 3227.400 | | σ | 463.644 | | min | 2741.000 | | max | 3874.000 |
| | mean | 8.772 | | σ | 0.157 | | min | 8.648 | | max | 9.022 |
|