iters=5 new-facts=1 prior-facts=1 | | mean | 324.019-324.011=0.008 | | σ | 0.044-0.060=-0.016 | | min | 323.941-323.905=0.036 | | max | 324.043-324.043=-0.000 |
| | mean | 2770.000-2758.000=12.000 | | σ | 0.000 | | min | 2770.000-2758.000=12.000 | | max | 2770.000-2758.000=12.000 |
| | mean | 0.430-0.428=0.002 | | σ | 0.002-0.004=-0.002 | | min | 0.428-0.426=0.002 | | max | 0.432-0.435=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588-1984.588=0.000 | | σ | 0.021-0.021=0.001 | | min | 1984.551-1984.555=-0.004 | | max | 1984.605-1984.607=-0.002 |
| | mean | 2770.000-2758.000=12.000 | | σ | 0.000 | | min | 2770.000-2758.000=12.000 | | max | 2770.000-2758.000=12.000 |
| | mean | 2.701-2.643=0.058 | | σ | 0.178-0.148=0.030 | | min | 2.572-2.500=0.072 | | max | 3.000-2.865=0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.162-4808.054=0.108 | | σ | 7.807-7.563=0.244 | | min | 4804.111-4804.099=0.012 | | max | 4822.115-4821.570=0.545 |
| | mean | 2770.000-2758.000=12.000 | | σ | 0.000 | | min | 2770.000-2758.000=12.000 | | max | 2770.000-2758.000=12.000 |
| | mean | 8.489-8.640=-0.152 | | σ | 0.427-0.519=-0.091 | | min | 7.816-7.871=-0.055 | | max | 9.009-9.236=-0.227 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.807-4995.731=0.076 | | σ | 0.028-0.155=-0.127 | | min | 4995.775-4995.458=0.317 | | max | 4995.846-4995.836=0.010 |
| | mean | 3006.400-3035.000=-28.600 | | σ | 276.959-219.256=57.703 | | min | 2770.000-2758.000=12.000 | | max | 3409.000-3326.000=83.000 |
| | mean | 8.550-8.649=-0.099 | | σ | 0.175-0.154=0.021 | | min | 8.370-8.509=-0.139 | | max | 8.819-8.851=-0.032 |
|