iters=5 new-facts=1 prior-facts=1 | | mean | 275.567 | | σ | 0.005 | | min | 275.558 | | max | 275.572 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 0.395 | | σ | 0.007 | | min | 0.384 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101 | | σ | 0.008 | | min | 2168.091 | | max | 2168.111 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 2.919 | | σ | 0.147 | | min | 2.719 | | max | 3.085 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.774 | | σ | 0.631 | | min | 5047.380 | | max | 5048.895 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 8.741 | | σ | 0.393 | | min | 8.109 | | max | 9.069 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.978 | | σ | 0.216 | | min | 5178.617 | | max | 5179.149 |
| | mean | 3221.800 | | σ | 381.561 | | min | 2697.000 | | max | 3701.000 |
| | mean | 9.827 | | σ | 0.334 | | min | 9.511 | | max | 10.267 |
|