iters=5 new-facts=1 prior-facts=1 | | mean | 272.790-272.794=-0.003 | | σ | 0.006-0.004=0.002 | | min | 272.784-272.789=-0.005 | | max | 272.799-272.798=0.000 |
| | mean | 2786.000-2500.000=286.000 | | σ | 0.000 | | min | 2786.000-2500.000=286.000 | | max | 2786.000-2500.000=286.000 |
| | mean | 0.380-0.382=-0.002 | | σ | 0.010-0.009=0.001 | | min | 0.373-0.377=-0.004 | | max | 0.398-0.398=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.221-1933.223=-0.002 | | σ | 0.021-0.019=0.002 | | min | 1933.200-1933.204=-0.004 | | max | 1933.251-1933.246=0.005 |
| | mean | 2786.000-2500.000=286.000 | | σ | 0.000 | | min | 2786.000-2500.000=286.000 | | max | 2786.000-2500.000=286.000 |
| | mean | 3.069-3.141=-0.072 | | σ | 0.134-0.143=-0.009 | | min | 2.857-2.997=-0.140 | | max | 3.207-3.358=-0.151 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.955-4756.966=-0.011 | | σ | 7.544-7.557=-0.014 | | min | 4753.479-4753.496=-0.017 | | max | 4770.449-4770.484=-0.036 |
| | mean | 2786.000-2500.000=286.000 | | σ | 0.000 | | min | 2786.000-2500.000=286.000 | | max | 2786.000-2500.000=286.000 |
| | mean | 8.523-8.532=-0.009 | | σ | 0.235-0.277=-0.042 | | min | 8.264-8.221=0.044 | | max | 8.835-8.876=-0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.446-4944.448=-0.002 | | σ | 0.023-0.019=0.004 | | min | 4944.423-4944.425=-0.002 | | max | 4944.472-4944.477=-0.005 |
| | mean | 3038.800-2943.400=95.400 | | σ | 301.161-374.375=-73.214 | | min | 2786.000-2500.000=286.000 | | max | 3486.000-3463.000=23.000 |
| | mean | 8.423-8.430=-0.007 | | σ | 0.088-0.142=-0.054 | | min | 8.344-8.291=0.053 | | max | 8.556-8.657=-0.101 |
|