iters=5 new-facts=1 prior-facts=1 | | mean | 285.675 | | σ | 0.010 | | min | 285.660 | | max | 285.688 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.375 | | σ | 0.001 | | min | 0.373 | | max | 0.376 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.641 | | σ | 0.131 | | min | 1285.577 | | max | 1285.875 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 1.880 | | σ | 0.077 | | min | 1.806 | | max | 2.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.961 | | σ | 7.007 | | min | 1804.591 | | max | 1820.480 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 4.140 | | σ | 0.144 | | min | 3.974 | | max | 4.318 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.464 | | σ | 0.009 | | min | 2070.456 | | max | 2070.478 |
| | mean | 1846.400 | | σ | 188.728 | | min | 1645.000 | | max | 2088.000 |
| | mean | 4.546 | | σ | 0.098 | | min | 4.472 | | max | 4.707 |
|