iters=5 new-facts=1 prior-facts=1 | | mean | 324.591-324.587=0.005 | | σ | 0.032-0.034=-0.001 | | min | 324.535-324.529=0.006 | | max | 324.618-324.616=0.002 |
| | mean | 2842.000-2839.000=3.000 | | σ | 0.000 | | min | 2842.000-2839.000=3.000 | | max | 2842.000-2839.000=3.000 |
| | mean | 0.424-0.422=0.001 | | σ | 0.001-0.001=-0.001 | | min | 0.423-0.421=0.002 | | max | 0.424-0.424=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.143-1985.145=-0.002 | | σ | 0.009-0.007=0.002 | | min | 1985.133-1985.135=-0.002 | | max | 1985.156-1985.153=0.004 |
| | mean | 2842.000-2839.000=3.000 | | σ | 0.000 | | min | 2842.000-2839.000=3.000 | | max | 2842.000-2839.000=3.000 |
| | mean | 2.588-2.573=0.015 | | σ | 0.087-0.043=0.044 | | min | 2.467-2.538=-0.071 | | max | 2.676-2.644=0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.615-4808.735=-0.119 | | σ | 7.741-7.625=0.116 | | min | 4804.699-4805.250=-0.552 | | max | 4822.455-4822.374=0.082 |
| | mean | 2842.000-2839.000=3.000 | | σ | 0.000 | | min | 2842.000-2839.000=3.000 | | max | 2842.000-2839.000=3.000 |
| | mean | 8.784-8.763=0.022 | | σ | 0.329-0.264=0.064 | | min | 8.226-8.319=-0.092 | | max | 9.051-9.025=0.027 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.347-4996.347=0.000 | | σ | 0.017-0.021=-0.004 | | min | 4996.326-4996.318=0.008 | | max | 4996.364-4996.369=-0.005 |
| | mean | 3040.400-3053.400=-13.000 | | σ | 206.897-185.550=21.347 | | min | 2842.000-2839.000=3.000 | | max | 3336.000-3315.000=21.000 |
| | mean | 8.565-8.789=-0.224 | | σ | 0.123-0.276=-0.153 | | min | 8.444-8.495=-0.051 | | max | 8.750-9.146=-0.396 |
|