iters=5 new-facts=1 prior-facts=1 | | mean | 270.140-270.144=-0.004 | | σ | 0.006-0.006=0.000 | | min | 270.136-270.139=-0.003 | | max | 270.150-270.151=-0.001 |
| | mean | 2769.000-2491.000=278.000 | | σ | 0.000 | | min | 2769.000-2491.000=278.000 | | max | 2769.000-2491.000=278.000 |
| | mean | 0.380-0.381=-0.001 | | σ | 0.002-0.006=-0.004 | | min | 0.378-0.374=0.004 | | max | 0.382-0.390=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.606-1930.608=-0.003 | | σ | 0.004-0.004=0.000 | | min | 1930.602-1930.605=-0.003 | | max | 1930.611-1930.615=-0.003 |
| | mean | 2769.000-2491.000=278.000 | | σ | 0.000 | | min | 2769.000-2491.000=278.000 | | max | 2769.000-2491.000=278.000 |
| | mean | 2.532-2.567=-0.035 | | σ | 0.088-0.165=-0.077 | | min | 2.453-2.444=0.009 | | max | 2.680-2.855=-0.175 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.300-4751.273=0.027 | | σ | 0.915-0.958=-0.043 | | min | 4750.820-4750.750=0.069 | | max | 4752.929-4752.983=-0.054 |
| | mean | 2769.000-2491.000=278.000 | | σ | 0.000 | | min | 2769.000-2491.000=278.000 | | max | 2769.000-2491.000=278.000 |
| | mean | 8.489-8.849=-0.360 | | σ | 0.588-0.270=0.318 | | min | 7.717-8.565=-0.848 | | max | 9.017-9.279=-0.263 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.702-4941.564=0.138 | | σ | 0.143-0.308=-0.165 | | min | 4941.446-4941.092=0.355 | | max | 4941.779-4941.781=-0.001 |
| | mean | 3016.400-3034.000=-17.600 | | σ | 231.103-324.895=-93.792 | | min | 2769.000-2589.000=180.000 | | max | 3320.000-3341.000=-21.000 |
| | mean | 8.581-8.691=-0.110 | | σ | 0.204-0.163=0.042 | | min | 8.408-8.447=-0.039 | | max | 8.918-8.895=0.023 |
|