iters=5 new-facts=1 prior-facts=1 | | mean | 326.638-326.577=0.061 | | σ | 0.060-0.031=0.030 | | min | 326.532-326.523=0.009 | | max | 326.681-326.597=0.084 |
| | mean | 2833.000-2611.000=222.000 | | σ | 0.000 | | min | 2833.000-2611.000=222.000 | | max | 2833.000-2611.000=222.000 |
| | mean | 0.432-0.422=0.010 | | σ | 0.010-0.001=0.009 | | min | 0.425-0.421=0.004 | | max | 0.449-0.423=0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.803-1988.742=0.061 | | σ | 0.011-0.009=0.002 | | min | 1988.790-1988.728=0.062 | | max | 1988.815-1988.752=0.063 |
| | mean | 2833.000-2611.000=222.000 | | σ | 0.000 | | min | 2833.000-2611.000=222.000 | | max | 2833.000-2611.000=222.000 |
| | mean | 2.727-2.716=0.012 | | σ | 0.076-0.053=0.023 | | min | 2.636-2.657=-0.020 | | max | 2.841-2.798=0.043 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.702-4813.402=0.300 | | σ | 7.753-7.183=0.569 | | min | 4810.122-4810.043=0.079 | | max | 4827.569-4826.250=1.319 |
| | mean | 2833.000-2611.000=222.000 | | σ | 0.000 | | min | 2833.000-2611.000=222.000 | | max | 2833.000-2611.000=222.000 |
| | mean | 8.761-8.227=0.535 | | σ | 0.642-0.552=0.089 | | min | 7.727-7.806=-0.079 | | max | 9.358-9.112=0.246 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.203-5001.138=0.065 | | σ | 0.015-0.026=-0.011 | | min | 5001.189-5001.105=0.084 | | max | 5001.224-5001.160=0.064 |
| | mean | 3007.400-2980.400=27.000 | | σ | 237.126-406.012=-168.886 | | min | 2833.000-2611.000=222.000 | | max | 3381.000-3554.000=-173.000 |
| | mean | 9.736-9.807=-0.071 | | σ | 0.233-0.174=0.059 | | min | 9.386-9.574=-0.188 | | max | 10.005-10.000=0.005 |
|