iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.729=0.033 | | σ | 0.055-0.055=0.000 | | min | 324.664-324.631=0.033 | | max | 324.797-324.759=0.038 |
| | mean | 2840.000-2427.000=413.000 | | σ | 0.000 | | min | 2840.000-2427.000=413.000 | | max | 2840.000-2427.000=413.000 |
| | mean | 0.425-0.431=-0.006 | | σ | 0.003-0.010=-0.007 | | min | 0.423-0.423=-0.000 | | max | 0.430-0.447=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.319-1985.285=0.034 | | σ | 0.017-0.020=-0.003 | | min | 1985.298-1985.254=0.044 | | max | 1985.338-1985.302=0.035 |
| | mean | 2840.000-2427.000=413.000 | | σ | 0.000 | | min | 2840.000-2427.000=413.000 | | max | 2840.000-2427.000=413.000 |
| | mean | 2.731-2.636=0.094 | | σ | 0.108-0.164=-0.057 | | min | 2.616-2.461=0.155 | | max | 2.834-2.901=-0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.855-4668.164=140.692 | | σ | 7.788-307.152=-299.364 | | min | 4804.898-4118.714=686.184 | | max | 4822.776-4805.628=17.148 |
| | mean | 2840.000-2427.000=413.000 | | σ | 0.000 | | min | 2840.000-2427.000=413.000 | | max | 2840.000-2427.000=413.000 |
| | mean | 8.711-8.686=0.025 | | σ | 0.613-0.480=0.133 | | min | 7.744-7.961=-0.217 | | max | 9.295-9.171=0.124 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.457-4996.491=-0.034 | | σ | 0.171-0.017=0.153 | | min | 4996.152-4996.471=-0.319 | | max | 4996.549-4996.513=0.036 |
| | mean | 3050.200-2863.800=186.400 | | σ | 273.042-294.206=-21.164 | | min | 2840.000-2427.000=413.000 | | max | 3471.000-3225.000=246.000 |
| | mean | 8.574-8.564=0.010 | | σ | 0.108-0.127=-0.019 | | min | 8.506-8.424=0.082 | | max | 8.758-8.700=0.059 |
|