iters=5 new-facts=1 prior-facts=1 | | mean | 277.198-277.195=0.003 | | σ | 0.004-0.006=-0.002 | | min | 277.194-277.190=0.004 | | max | 277.203-277.205=-0.002 |
| | mean | 2772.000-2662.000=110.000 | | σ | 0.000 | | min | 2772.000-2662.000=110.000 | | max | 2772.000-2662.000=110.000 |
| | mean | 0.407-0.405=0.002 | | σ | 0.008-0.009=-0.001 | | min | 0.399-0.400=-0.000 | | max | 0.416-0.420=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.418-2174.429=-0.011 | | σ | 0.014-0.025=-0.011 | | min | 2174.399-2174.401=-0.002 | | max | 2174.431-2174.468=-0.037 |
| | mean | 2772.000-2662.000=110.000 | | σ | 0.000 | | min | 2772.000-2662.000=110.000 | | max | 2772.000-2662.000=110.000 |
| | mean | 3.044-2.854=0.190 | | σ | 0.254-0.152=0.101 | | min | 2.728-2.735=-0.006 | | max | 3.428-3.071=0.358 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.599-4893.098=159.501 | | σ | 0.921-356.657=-355.736 | | min | 5051.996-4255.093=796.903 | | max | 5054.233-5054.410=-0.177 |
| | mean | 2772.000-2662.000=110.000 | | σ | 0.000 | | min | 2772.000-2662.000=110.000 | | max | 2772.000-2662.000=110.000 |
| | mean | 8.714-8.703=0.012 | | σ | 0.511-1.029=-0.518 | | min | 8.106-7.115=0.991 | | max | 9.284-9.775=-0.491 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.354-5188.424=-0.070 | | σ | 0.210-0.084=0.126 | | min | 5188.006-5188.361=-0.355 | | max | 5188.527-5188.519=0.008 |
| | mean | 3249.800-3137.000=112.800 | | σ | 343.121-335.203=7.918 | | min | 2772.000-2773.000=-1.000 | | max | 3697.000-3642.000=55.000 |
| | mean | 8.957-8.920=0.037 | | σ | 0.227-0.262=-0.035 | | min | 8.686-8.647=0.039 | | max | 9.257-9.350=-0.094 |
|