iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-272.792=0.000 | | σ | 0.006-0.005=0.000 | | min | 272.784-272.787=-0.002 | | max | 272.798-272.798=-0.000 |
| | mean | 2769.000-2493.000=276.000 | | σ | 0.000 | | min | 2769.000-2493.000=276.000 | | max | 2769.000-2493.000=276.000 |
| | mean | 0.381-0.379=0.003 | | σ | 0.005-0.002=0.003 | | min | 0.377-0.377=0.000 | | max | 0.390-0.382=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.226-1933.217=0.009 | | σ | 0.007-0.014=-0.007 | | min | 1933.214-1933.195=0.019 | | max | 1933.233-1933.230=0.003 |
| | mean | 2769.000-2493.000=276.000 | | σ | 0.000 | | min | 2769.000-2493.000=276.000 | | max | 2769.000-2493.000=276.000 |
| | mean | 3.019-3.084=-0.065 | | σ | 0.129-0.089=0.040 | | min | 2.842-3.029=-0.188 | | max | 3.204-3.239=-0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.860-4756.868=-0.008 | | σ | 7.669-7.592=0.077 | | min | 4752.954-4753.098=-0.144 | | max | 4770.569-4770.444=0.125 |
| | mean | 2769.000-2493.000=276.000 | | σ | 0.000 | | min | 2769.000-2493.000=276.000 | | max | 2769.000-2493.000=276.000 |
| | mean | 8.378-8.343=0.035 | | σ | 0.556-0.318=0.238 | | min | 7.771-7.967=-0.195 | | max | 8.925-8.679=0.246 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.455-4944.448=0.007 | | σ | 0.014-0.022=-0.008 | | min | 4944.442-4944.420=0.022 | | max | 4944.473-4944.470=0.003 |
| | mean | 3002.400-2976.600=25.800 | | σ | 298.001-398.977=-100.976 | | min | 2769.000-2493.000=276.000 | | max | 3471.000-3521.000=-50.000 |
| | mean | 8.382-8.393=-0.011 | | σ | 0.039-0.137=-0.098 | | min | 8.355-8.285=0.070 | | max | 8.445-8.630=-0.185 |
|