iters=5 new-facts=1 prior-facts=1 | | mean | 286.845-286.860=-0.015 | | σ | 0.038-0.030=0.008 | | min | 286.794-286.831=-0.037 | | max | 286.886-286.898=-0.012 |
| | mean | 1643.000-1652.000=-9.000 | | σ | 0.000 | | min | 1643.000-1652.000=-9.000 | | max | 1643.000-1652.000=-9.000 |
| | mean | 0.397-0.411=-0.013 | | σ | 0.005-0.013=-0.008 | | min | 0.390-0.390=-0.000 | | max | 0.401-0.421=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.235-1297.233=0.003 | | σ | 0.114-0.105=0.008 | | min | 1297.104-1297.119=-0.015 | | max | 1297.364-1297.362=0.002 |
| | mean | 1643.000-1652.000=-9.000 | | σ | 0.000 | | min | 1643.000-1652.000=-9.000 | | max | 1643.000-1652.000=-9.000 |
| | mean | 1.873-1.910=-0.037 | | σ | 0.091-0.110=-0.019 | | min | 1.785-1.803=-0.018 | | max | 2.008-2.048=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.334-1541.374=-0.040 | | σ | 6.848-6.850=-0.002 | | min | 1538.078-1538.070=0.009 | | max | 1553.580-1553.623=-0.043 |
| | mean | 1643.000-1652.000=-9.000 | | σ | 0.000 | | min | 1643.000-1652.000=-9.000 | | max | 1643.000-1652.000=-9.000 |
| | mean | 2.228-2.359=-0.131 | | σ | 0.158-0.182=-0.025 | | min | 2.029-2.041=-0.011 | | max | 2.421-2.494=-0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.141-1859.144=-0.003 | | σ | 0.054-0.054=0.000 | | min | 1859.096-1859.090=0.006 | | max | 1859.222-1859.223=-0.001 |
| | mean | 1785.800-1776.600=9.200 | | σ | 134.407-125.632=8.775 | | min | 1643.000-1652.000=-9.000 | | max | 1918.000-1907.000=11.000 |
| | mean | 3.140-3.042=0.098 | | σ | 0.356-0.215=0.141 | | min | 2.851-2.852=-0.001 | | max | 3.752-3.413=0.339 |
|