iters=5 new-facts=1 prior-facts=1 | | mean | 269.929-269.927=0.002 | | σ | 0.008-0.012=-0.004 | | min | 269.921-269.915=0.006 | | max | 269.939-269.946=-0.007 |
| | mean | 2854.000-2851.000=3.000 | | σ | 0.000 | | min | 2854.000-2851.000=3.000 | | max | 2854.000-2851.000=3.000 |
| | mean | 0.370-0.372=-0.002 | | σ | 0.005-0.003=0.002 | | min | 0.364-0.370=-0.005 | | max | 0.377-0.377=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.386-1930.403=-0.016 | | σ | 0.028-0.013=0.015 | | min | 1930.341-1930.383=-0.042 | | max | 1930.413-1930.417=-0.003 |
| | mean | 2854.000-2851.000=3.000 | | σ | 0.000 | | min | 2854.000-2851.000=3.000 | | max | 2854.000-2851.000=3.000 |
| | mean | 2.564-2.653=-0.089 | | σ | 0.176-0.141=0.035 | | min | 2.410-2.457=-0.046 | | max | 2.856-2.845=0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.881-4750.865=0.016 | | σ | 0.852-0.884=-0.033 | | min | 4750.358-4750.378=-0.021 | | max | 4752.380-4752.442=-0.062 |
| | mean | 2854.000-2851.000=3.000 | | σ | 0.000 | | min | 2854.000-2851.000=3.000 | | max | 2854.000-2851.000=3.000 |
| | mean | 8.502-8.649=-0.146 | | σ | 0.387-0.522=-0.135 | | min | 7.982-7.778=0.205 | | max | 8.907-9.166=-0.259 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.331-4941.269=0.062 | | σ | 0.081-0.205=-0.124 | | min | 4941.267-4940.929=0.338 | | max | 4941.435-4941.438=-0.003 |
| | mean | 3053.400-3109.600=-56.200 | | σ | 216.919-309.821=-92.902 | | min | 2854.000-2851.000=3.000 | | max | 3379.000-3577.000=-198.000 |
| | mean | 8.537-8.637=-0.101 | | σ | 0.192-0.196=-0.004 | | min | 8.330-8.466=-0.135 | | max | 8.740-8.972=-0.232 |
|