iters=5 new-facts=1 prior-facts=1 | | mean | 269.933-269.932=0.001 | | σ | 0.006-0.007=-0.000 | | min | 269.926-269.925=0.001 | | max | 269.941-269.941=0.000 |
| | mean | 2848.000-2622.000=226.000 | | σ | 0.000 | | min | 2848.000-2622.000=226.000 | | max | 2848.000-2622.000=226.000 |
| | mean | 0.373-0.373=0.000 | | σ | 0.007-0.005=0.002 | | min | 0.368-0.369=-0.001 | | max | 0.386-0.382=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.396-1930.390=0.006 | | σ | 0.012-0.020=-0.008 | | min | 1930.376-1930.360=0.016 | | max | 1930.409-1930.409=0.000 |
| | mean | 2848.000-2622.000=226.000 | | σ | 0.000 | | min | 2848.000-2622.000=226.000 | | max | 2848.000-2622.000=226.000 |
| | mean | 2.494-2.510=-0.016 | | σ | 0.050-0.068=-0.018 | | min | 2.441-2.457=-0.016 | | max | 2.569-2.611=-0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.522-4750.845=-0.322 | | σ | 1.207-0.830=0.377 | | min | 4749.316-4750.334=-1.018 | | max | 4752.463-4752.312=0.152 |
| | mean | 2848.000-2622.000=226.000 | | σ | 0.000 | | min | 2848.000-2622.000=226.000 | | max | 2848.000-2622.000=226.000 |
| | mean | 8.726-8.653=0.073 | | σ | 0.553-0.200=0.353 | | min | 7.787-8.469=-0.682 | | max | 9.231-8.868=0.363 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.261-4941.264=-0.003 | | σ | 0.201-0.202=-0.001 | | min | 4940.935-4940.926=0.009 | | max | 4941.427-4941.423=0.004 |
| | mean | 3043.600-2968.400=75.200 | | σ | 199.691-263.754=-64.064 | | min | 2848.000-2622.000=226.000 | | max | 3320.000-3316.000=4.000 |
| | mean | 8.520-8.456=0.064 | | σ | 0.177-0.157=0.019 | | min | 8.348-8.291=0.057 | | max | 8.775-8.694=0.082 |
|