iters=5 new-facts=1 prior-facts=1 | | mean | 324.712-324.706=0.005 | | σ | 0.034-0.056=-0.023 | | min | 324.653-324.606=0.048 | | max | 324.741-324.737=0.003 |
| | mean | 2828.000-2838.000=-10.000 | | σ | 0.000 | | min | 2828.000-2838.000=-10.000 | | max | 2828.000-2838.000=-10.000 |
| | mean | 0.425-0.427=-0.002 | | σ | 0.001-0.002=-0.001 | | min | 0.424-0.424=0.000 | | max | 0.427-0.429=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.261-1985.254=0.007 | | σ | 0.015-0.017=-0.002 | | min | 1985.243-1985.229=0.014 | | max | 1985.279-1985.276=0.003 |
| | mean | 2828.000-2838.000=-10.000 | | σ | 0.000 | | min | 2828.000-2838.000=-10.000 | | max | 2828.000-2838.000=-10.000 |
| | mean | 2.595-2.712=-0.117 | | σ | 0.058-0.129=-0.071 | | min | 2.540-2.566=-0.027 | | max | 2.667-2.854=-0.187 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.663-4808.668=-0.006 | | σ | 7.775-7.820=-0.045 | | min | 4804.843-4804.240=0.603 | | max | 4822.560-4822.622=-0.062 |
| | mean | 2828.000-2838.000=-10.000 | | σ | 0.000 | | min | 2828.000-2838.000=-10.000 | | max | 2828.000-2838.000=-10.000 |
| | mean | 8.570-8.534=0.036 | | σ | 0.319-0.666=-0.347 | | min | 8.041-7.737=0.303 | | max | 8.887-9.089=-0.203 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.470-4996.470=-0.000 | | σ | 0.020-0.015=0.005 | | min | 4996.444-4996.453=-0.009 | | max | 4996.492-4996.492=-0.000 |
| | mean | 3065.600-3055.200=10.400 | | σ | 230.240-248.756=-18.517 | | min | 2828.000-2838.000=-10.000 | | max | 3406.000-3431.000=-25.000 |
| | mean | 8.703-8.540=0.162 | | σ | 0.208-0.176=0.033 | | min | 8.506-8.409=0.096 | | max | 8.977-8.843=0.134 |
|