iters=5 new-facts=1 prior-facts=1 | | mean | 324.765-324.768=-0.003 | | σ | 0.045-0.047=-0.002 | | min | 324.684-324.685=-0.000 | | max | 324.792-324.801=-0.009 |
| | mean | 2841.000-2844.000=-3.000 | | σ | 0.000 | | min | 2841.000-2844.000=-3.000 | | max | 2841.000-2844.000=-3.000 |
| | mean | 0.416-0.423=-0.007 | | σ | 0.001-0.000=0.001 | | min | 0.415-0.423=-0.008 | | max | 0.418-0.424=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.313=0.004 | | σ | 0.016-0.015=0.002 | | min | 1985.287-1985.302=-0.014 | | max | 1985.326-1985.331=-0.005 |
| | mean | 2841.000-2844.000=-3.000 | | σ | 0.000 | | min | 2841.000-2844.000=-3.000 | | max | 2841.000-2844.000=-3.000 |
| | mean | 2.742-2.620=0.122 | | σ | 0.142-0.187=-0.045 | | min | 2.599-2.373=0.227 | | max | 2.949-2.835=0.114 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.105-4809.084=0.020 | | σ | 7.648-7.685=-0.038 | | min | 4805.580-4805.629=-0.048 | | max | 4822.784-4822.832=-0.047 |
| | mean | 2841.000-2844.000=-3.000 | | σ | 0.000 | | min | 2841.000-2844.000=-3.000 | | max | 2841.000-2844.000=-3.000 |
| | mean | 8.824-8.926=-0.103 | | σ | 0.314-0.119=0.194 | | min | 8.477-8.727=-0.250 | | max | 9.194-9.019=0.174 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.631-4996.616=0.015 | | σ | 0.020-0.018=0.002 | | min | 4996.610-4996.595=0.015 | | max | 4996.660-4996.643=0.017 |
| | mean | 3078.800-3071.800=7.000 | | σ | 255.919-302.521=-46.602 | | min | 2841.000-2844.000=-3.000 | | max | 3348.000-3541.000=-193.000 |
| | mean | 8.720-8.528=0.192 | | σ | 0.125-0.135=-0.010 | | min | 8.527-8.410=0.117 | | max | 8.827-8.724=0.103 |
|