iters=5 new-facts=1 prior-facts=1 | | mean | 324.734-324.729=0.005 | | σ | 0.041-0.055=-0.014 | | min | 324.662-324.631=0.030 | | max | 324.761-324.759=0.002 |
| | 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.424-0.431=-0.007 | | σ | 0.001-0.010=-0.009 | | min | 0.423-0.423=-0.000 | | max | 0.425-0.447=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.287-1985.285=0.001 | | σ | 0.014-0.020=-0.007 | | min | 1985.265-1985.254=0.011 | | max | 1985.300-1985.302=-0.002 |
| | 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.698-2.636=0.062 | | σ | 0.139-0.164=-0.026 | | min | 2.557-2.461=0.097 | | max | 2.861-2.901=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.798-4668.164=140.635 | | σ | 7.716-307.152=-299.436 | | min | 4804.877-4118.714=686.163 | | max | 4822.591-4805.628=16.963 |
| | 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.589-8.686=-0.096 | | σ | 0.439-0.480=-0.041 | | min | 7.818-7.961=-0.143 | | max | 8.907-9.171=-0.264 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.418-4996.491=-0.073 | | σ | 0.158-0.017=0.140 | | min | 4996.137-4996.471=-0.335 | | max | 4996.505-4996.513=-0.008 |
| | mean | 3076.400-2863.800=212.600 | | σ | 311.436-294.206=17.230 | | min | 2840.000-2427.000=413.000 | | max | 3555.000-3225.000=330.000 |
| | mean | 8.493-8.564=-0.071 | | σ | 0.135-0.127=0.008 | | min | 8.334-8.424=-0.090 | | max | 8.706-8.700=0.006 |
|