iters=5 new-facts=1 prior-facts=1 | | mean | 269.935 | | σ | 0.006 | | min | 269.925 | | max | 269.942 |
| | mean | 2485.000 | | σ | 0.000 | | min | 2485.000 | | max | 2485.000 |
| | mean | 0.384 | | σ | 0.006 | | min | 0.380 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.389 | | σ | 0.020 | | min | 1930.359 | | max | 1930.407 |
| | mean | 2485.000 | | σ | 0.000 | | min | 2485.000 | | max | 2485.000 |
| | mean | 2.528 | | σ | 0.055 | | min | 2.484 | | max | 2.611 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.830 | | σ | 0.838 | | min | 4750.269 | | max | 4752.298 |
| | mean | 2485.000 | | σ | 0.000 | | min | 2485.000 | | max | 2485.000 |
| | mean | 8.724 | | σ | 0.330 | | min | 8.454 | | max | 9.132 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.332 | | σ | 0.082 | | min | 4941.266 | | max | 4941.428 |
| | mean | 2932.000 | | σ | 310.053 | | min | 2485.000 | | max | 3308.000 |
| | mean | 8.528 | | σ | 0.155 | | min | 8.423 | | max | 8.796 |
|