iters=5 new-facts=1 prior-facts=1 | | mean | 285.678 | | σ | 0.010 | | min | 285.664 | | max | 285.691 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.378 | | σ | 0.006 | | min | 0.375 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.639 | | σ | 0.133 | | min | 1285.576 | | max | 1285.878 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 1.827 | | σ | 0.051 | | min | 1.766 | | max | 1.902 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.967 | | σ | 7.020 | | min | 1804.590 | | max | 1820.510 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 4.166 | | σ | 0.205 | | min | 3.958 | | max | 4.476 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.458 | | σ | 0.009 | | min | 2070.445 | | max | 2070.470 |
| | mean | 1862.400 | | σ | 199.411 | | min | 1638.000 | | max | 2090.000 |
| | mean | 4.504 | | σ | 0.094 | | min | 4.387 | | max | 4.603 |
|