iters=5 new-facts=1 prior-facts=1 | | mean | 272.790-272.788=0.002 | | σ | 0.003-0.006=-0.003 | | min | 272.786-272.781=0.006 | | max | 272.794-272.794=-0.001 |
| | mean | 2779.000-2757.000=22.000 | | σ | 0.000 | | min | 2779.000-2757.000=22.000 | | max | 2779.000-2757.000=22.000 |
| | mean | 0.378-0.382=-0.004 | | σ | 0.003-0.008=-0.005 | | min | 0.375-0.377=-0.002 | | max | 0.381-0.395=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.225-1933.230=-0.005 | | σ | 0.011-0.004=0.007 | | min | 1933.212-1933.227=-0.015 | | max | 1933.242-1933.238=0.004 |
| | mean | 2779.000-2757.000=22.000 | | σ | 0.000 | | min | 2779.000-2757.000=22.000 | | max | 2779.000-2757.000=22.000 |
| | mean | 3.057-3.044=0.014 | | σ | 0.063-0.348=-0.286 | | min | 3.013-2.735=0.277 | | max | 3.157-3.593=-0.437 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.609-4756.641=-0.032 | | σ | 7.463-7.438=0.025 | | min | 4752.862-4752.497=0.364 | | max | 4769.950-4769.918=0.031 |
| | mean | 2779.000-2757.000=22.000 | | σ | 0.000 | | min | 2779.000-2757.000=22.000 | | max | 2779.000-2757.000=22.000 |
| | mean | 8.808-8.405=0.403 | | σ | 0.351-0.362=-0.012 | | min | 8.475-7.982=0.493 | | max | 9.342-8.919=0.423 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.451-4944.461=-0.009 | | σ | 0.015-0.020=-0.005 | | min | 4944.435-4944.433=0.002 | | max | 4944.474-4944.477=-0.004 |
| | mean | 2988.800-3041.800=-53.000 | | σ | 268.947-272.668=-3.720 | | min | 2779.000-2757.000=22.000 | | max | 3398.000-3422.000=-24.000 |
| | mean | 8.376-8.483=-0.108 | | σ | 0.064-0.112=-0.048 | | min | 8.296-8.366=-0.070 | | max | 8.440-8.624=-0.184 |
|