iters=5 new-facts=1 prior-facts=1 | | mean | 279.507-279.542=-0.034 | | σ | 0.005-0.010=-0.005 | | min | 279.501-279.532=-0.031 | | max | 279.515-279.555=-0.040 |
| | mean | 2756.000-2815.000=-59.000 | | σ | 0.000 | | min | 2756.000-2815.000=-59.000 | | max | 2756.000-2815.000=-59.000 |
| | mean | 0.408-0.414=-0.006 | | σ | 0.007-0.008=-0.002 | | min | 0.405-0.408=-0.003 | | max | 0.420-0.425=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.438-2178.455=-0.016 | | σ | 0.013-0.032=-0.019 | | min | 2178.421-2178.416=0.005 | | max | 2178.455-2178.493=-0.039 |
| | mean | 2756.000-2815.000=-59.000 | | σ | 0.000 | | min | 2756.000-2815.000=-59.000 | | max | 2756.000-2815.000=-59.000 |
| | mean | 3.251-3.341=-0.090 | | σ | 0.317-0.069=0.248 | | min | 2.801-3.258=-0.456 | | max | 3.694-3.426=0.268 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.359-5056.404=-0.045 | | σ | 0.998-0.993=0.006 | | min | 5055.811-5055.795=0.016 | | max | 5058.138-5058.170=-0.031 |
| | mean | 2756.000-2815.000=-59.000 | | σ | 0.000 | | min | 2756.000-2815.000=-59.000 | | max | 2756.000-2815.000=-59.000 |
| | mean | 8.953-8.918=0.035 | | σ | 0.578-0.615=-0.037 | | min | 8.075-8.233=-0.158 | | max | 9.589-9.684=-0.094 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.756-5193.549=0.207 | | σ | 0.090-0.364=-0.274 | | min | 5193.678-5192.944=0.734 | | max | 5193.854-5193.881=-0.027 |
| | mean | 3215.600-3296.400=-80.800 | | σ | 454.919-440.858=14.061 | | min | 2756.000-2815.000=-59.000 | | max | 3846.000-3921.000=-75.000 |
| | mean | 8.809-8.898=-0.088 | | σ | 0.307-0.055=0.252 | | min | 8.628-8.849=-0.221 | | max | 9.352-8.982=0.370 |
|