iters=5 new-facts=1 prior-facts=1 | | mean | 279.558-279.557=0.001 | | σ | 0.008-0.009=-0.001 | | min | 279.550-279.547=0.002 | | max | 279.569-279.565=0.004 |
| | mean | 2761.000-2770.000=-9.000 | | σ | 0.000 | | min | 2761.000-2770.000=-9.000 | | max | 2761.000-2770.000=-9.000 |
| | mean | 0.416-0.410=0.006 | | σ | 0.013-0.007=0.007 | | min | 0.407-0.403=0.004 | | max | 0.439-0.418=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.484-2178.476=0.007 | | σ | 0.014-0.014=0.000 | | min | 2178.463-2178.460=0.003 | | max | 2178.498-2178.491=0.007 |
| | mean | 2761.000-2770.000=-9.000 | | σ | 0.000 | | min | 2761.000-2770.000=-9.000 | | max | 2761.000-2770.000=-9.000 |
| | mean | 3.296-3.405=-0.109 | | σ | 0.216-0.098=0.118 | | min | 3.053-3.264=-0.211 | | max | 3.586-3.535=0.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.420-5056.338=0.081 | | σ | 1.018-0.768=0.250 | | min | 5055.802-5055.809=-0.008 | | max | 5058.231-5057.663=0.568 |
| | mean | 2761.000-2770.000=-9.000 | | σ | 0.000 | | min | 2761.000-2770.000=-9.000 | | max | 2761.000-2770.000=-9.000 |
| | mean | 9.151-9.073=0.079 | | σ | 0.596-0.802=-0.206 | | min | 8.196-8.118=0.078 | | max | 9.806-9.994=-0.188 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.734-5193.731=0.003 | | σ | 0.212-0.211=0.001 | | min | 5193.382-5193.380=0.002 | | max | 5193.908-5193.903=0.005 |
| | mean | 3270.400-3294.200=-23.800 | | σ | 349.894-383.514=-33.620 | | min | 2761.000-2770.000=-9.000 | | max | 3688.000-3660.000=28.000 |
| | mean | 8.881-9.026=-0.146 | | σ | 0.224-0.386=-0.162 | | min | 8.675-8.636=0.039 | | max | 9.199-9.651=-0.453 |
|