iters=5 new-facts=1 prior-facts=1 | | mean | 270.242-270.239=0.002 | | σ | 0.010-0.007=0.003 | | min | 270.228-270.229=-0.001 | | max | 270.255-270.248=0.007 |
| | mean | 2814.000-2473.000=341.000 | | σ | 0.000 | | min | 2814.000-2473.000=341.000 | | max | 2814.000-2473.000=341.000 |
| | mean | 0.385-0.380=0.005 | | σ | 0.010-0.010=0.000 | | min | 0.373-0.369=0.004 | | max | 0.400-0.396=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.700-1930.698=0.002 | | σ | 0.010-0.020=-0.010 | | min | 1930.686-1930.666=0.019 | | max | 1930.709-1930.714=-0.005 |
| | mean | 2814.000-2473.000=341.000 | | σ | 0.000 | | min | 2814.000-2473.000=341.000 | | max | 2814.000-2473.000=341.000 |
| | mean | 2.547-2.579=-0.032 | | σ | 0.106-0.101=0.005 | | min | 2.426-2.494=-0.067 | | max | 2.703-2.725=-0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.334-4751.289=0.044 | | σ | 0.930-0.650=0.280 | | min | 4750.595-4750.892=-0.297 | | max | 4752.936-4752.435=0.501 |
| | mean | 2814.000-2473.000=341.000 | | σ | 0.000 | | min | 2814.000-2473.000=341.000 | | max | 2814.000-2473.000=341.000 |
| | mean | 8.249-8.602=-0.352 | | σ | 0.632-0.481=0.150 | | min | 7.711-7.841=-0.130 | | max | 9.246-9.030=0.216 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.860-4941.796=0.064 | | σ | 0.028-0.136=-0.108 | | min | 4941.830-4941.555=0.275 | | max | 4941.891-4941.875=0.016 |
| | mean | 3064.600-2998.200=66.400 | | σ | 316.472-287.828=28.644 | | min | 2814.000-2585.000=229.000 | | max | 3548.000-3310.000=238.000 |
| | mean | 8.429-8.519=-0.091 | | σ | 0.165-0.107=0.058 | | min | 8.210-8.387=-0.176 | | max | 8.669-8.664=0.005 |
|