iters=5 new-facts=1 prior-facts=1 | | mean | 275.564 | | σ | 0.003 | | min | 275.560 | | max | 275.568 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 0.393 | | σ | 0.009 | | min | 0.386 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.089 | | σ | 0.022 | | min | 2168.051 | | max | 2168.104 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 2.950 | | σ | 0.198 | | min | 2.622 | | max | 3.152 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.780 | | σ | 0.646 | | min | 5047.382 | | max | 5048.919 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 8.873 | | σ | 0.559 | | min | 7.916 | | max | 9.385 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.038 | | σ | 0.089 | | min | 5178.969 | | max | 5179.155 |
| | mean | 3215.800 | | σ | 385.700 | | min | 2684.000 | | max | 3699.000 |
| | mean | 9.468 | | σ | 0.617 | | min | 8.688 | | max | 10.143 |
|