iters=5 new-facts=1 prior-facts=1 | | mean | 275.756 | | σ | 0.009 | | min | 275.745 | | max | 275.766 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 0.407 | | σ | 0.012 | | min | 0.397 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.285 | | σ | 0.011 | | min | 2168.269 | | max | 2168.299 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 3.004 | | σ | 0.144 | | min | 2.824 | | max | 3.161 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.039 | | σ | 1.152 | | min | 5047.026 | | max | 5050.025 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 8.926 | | σ | 0.610 | | min | 8.104 | | max | 9.695 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.200 | | σ | 0.223 | | min | 5178.819 | | max | 5179.359 |
| | mean | 3202.800 | | σ | 348.994 | | min | 2710.000 | | max | 3630.000 |
| | mean | 9.917 | | σ | 0.326 | | min | 9.469 | | max | 10.269 |
|