iters=5 new-facts=1 prior-facts=1 | | mean | 275.921 | | σ | 0.019 | | min | 275.891 | | max | 275.940 |
| | mean | 4025.000 | | σ | 0.000 | | min | 4025.000 | | max | 4025.000 |
| | mean | 0.399 | | σ | 0.005 | | min | 0.395 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.530 | | σ | 0.010 | | min | 2168.519 | | max | 2168.543 |
| | mean | 4025.000 | | σ | 0.000 | | min | 4025.000 | | max | 4025.000 |
| | mean | 2.946 | | σ | 0.106 | | min | 2.803 | | max | 3.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.245 | | σ | 0.997 | | min | 5047.273 | | max | 5049.934 |
| | mean | 4025.000 | | σ | 0.000 | | min | 4025.000 | | max | 4025.000 |
| | mean | 8.705 | | σ | 0.137 | | min | 8.537 | | max | 8.858 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.397 | | σ | 0.189 | | min | 5179.087 | | max | 5179.554 |
| | mean | 4025.000 | | σ | 0.000 | | min | 4025.000 | | max | 4025.000 |
| | mean | 8.812 | | σ | 0.125 | | min | 8.680 | | max | 8.946 |
|