iters=5 new-facts=1 prior-facts=1 | | mean | 275.760-275.757=0.002 | | σ | 0.012-0.012=0.000 | | min | 275.747-275.745=0.002 | | max | 275.775-275.770=0.005 |
| | mean | 2645.000-2697.000=-52.000 | | σ | 0.000 | | min | 2645.000-2697.000=-52.000 | | max | 2645.000-2697.000=-52.000 |
| | mean | 0.399-0.403=-0.004 | | σ | 0.005-0.011=-0.005 | | min | 0.394-0.395=-0.001 | | max | 0.407-0.418=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.293-2168.267=0.026 | | σ | 0.004-0.012=-0.007 | | min | 2168.288-2168.254=0.035 | | max | 2168.299-2168.285=0.014 |
| | mean | 2645.000-2697.000=-52.000 | | σ | 0.000 | | min | 2645.000-2697.000=-52.000 | | max | 2645.000-2697.000=-52.000 |
| | mean | 2.922-2.961=-0.039 | | σ | 0.094-0.157=-0.063 | | min | 2.761-2.786=-0.025 | | max | 2.993-3.128=-0.135 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.978-5048.120=-0.142 | | σ | 1.009-0.940=0.069 | | min | 5047.209-5047.532=-0.323 | | max | 5049.747-5049.791=-0.043 |
| | mean | 2645.000-2697.000=-52.000 | | σ | 0.000 | | min | 2645.000-2697.000=-52.000 | | max | 2645.000-2697.000=-52.000 |
| | mean | 8.877-8.800=0.077 | | σ | 0.511-0.522=-0.011 | | min | 8.028-8.050=-0.023 | | max | 9.354-9.336=0.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.152-5179.231=-0.079 | | σ | 0.212-0.070=0.142 | | min | 5178.791-5179.165=-0.374 | | max | 5179.316-5179.310=0.006 |
| | mean | 3230.200-3267.200=-37.000 | | σ | 396.287-374.673=21.615 | | min | 2692.000-2736.000=-44.000 | | max | 3739.000-3717.000=22.000 |
| | mean | 9.517-9.953=-0.435 | | σ | 0.723-0.342=0.381 | | min | 8.718-9.598=-0.880 | | max | 10.352-10.487=-0.135 |
|