iters=5 new-facts=1 prior-facts=1 | | mean | 270.609-270.608=0.001 | | σ | 0.009-0.009=-0.000 | | min | 270.597-270.595=0.002 | | max | 270.621-270.620=0.001 |
| | mean | 2790.000-2768.000=22.000 | | σ | 0.000 | | min | 2790.000-2768.000=22.000 | | max | 2790.000-2768.000=22.000 |
| | mean | 0.385-0.378=0.008 | | σ | 0.009-0.004=0.005 | | min | 0.378-0.375=0.003 | | max | 0.399-0.385=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.054-1931.044=0.009 | | σ | 0.015-0.003=0.012 | | min | 1931.029-1931.041=-0.012 | | max | 1931.068-1931.048=0.019 |
| | mean | 2790.000-2768.000=22.000 | | σ | 0.000 | | min | 2790.000-2768.000=22.000 | | max | 2790.000-2768.000=22.000 |
| | mean | 2.767-3.077=-0.310 | | σ | 0.243-0.195=0.048 | | min | 2.477-2.921=-0.445 | | max | 3.083-3.399=-0.316 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.529-4751.691=-0.162 | | σ | 0.783-0.940=-0.157 | | min | 4750.742-4750.811=-0.069 | | max | 4752.831-4753.283=-0.452 |
| | mean | 2790.000-2768.000=22.000 | | σ | 0.000 | | min | 2790.000-2768.000=22.000 | | max | 2790.000-2768.000=22.000 |
| | mean | 8.642-8.338=0.304 | | σ | 0.522-0.485=0.037 | | min | 7.807-7.763=0.044 | | max | 9.085-9.027=0.058 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.237-4942.239=-0.002 | | σ | 0.015-0.024=-0.009 | | min | 4942.223-4942.202=0.022 | | max | 4942.259-4942.266=-0.007 |
| | mean | 3060.800-3073.600=-12.800 | | σ | 248.223-294.350=-46.127 | | min | 2790.000-2768.000=22.000 | | max | 3414.000-3367.000=47.000 |
| | mean | 8.519-8.936=-0.417 | | σ | 0.194-0.545=-0.352 | | min | 8.337-8.311=0.026 | | max | 8.824-9.640=-0.816 |
|