iters=5 new-facts=1 prior-facts=1 | | mean | 275.566 | | σ | 0.007 | | min | 275.557 | | max | 275.573 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 0.392 | | σ | 0.009 | | min | 0.385 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101 | | σ | 0.006 | | min | 2168.094 | | max | 2168.109 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 3.014 | | σ | 0.176 | | min | 2.777 | | max | 3.169 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.675 | | σ | 0.366 | | min | 5047.384 | | max | 5048.308 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 8.856 | | σ | 0.513 | | min | 8.098 | | max | 9.439 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.047 | | σ | 0.080 | | min | 5178.966 | | max | 5179.134 |
| | mean | 3214.000 | | σ | 390.184 | | min | 2677.000 | | max | 3701.000 |
| | mean | 9.932 | | σ | 0.118 | | min | 9.793 | | max | 10.092 |
|