iters=5 new-facts=1 prior-facts=1 | | mean | 270.126-270.125=0.001 | | σ | 0.004-0.006=-0.002 | | min | 270.121-270.114=0.007 | | max | 270.133-270.129=0.003 |
| | mean | 2791.000-2759.000=32.000 | | σ | 0.000 | | min | 2791.000-2759.000=32.000 | | max | 2791.000-2759.000=32.000 |
| | mean | 0.380-0.382=-0.002 | | σ | 0.004-0.006=-0.002 | | min | 0.377-0.378=-0.001 | | max | 0.387-0.393=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.585-1930.574=0.011 | | σ | 0.015-0.022=-0.006 | | min | 1930.559-1930.548=0.011 | | max | 1930.600-1930.603=-0.004 |
| | mean | 2791.000-2759.000=32.000 | | σ | 0.000 | | min | 2791.000-2759.000=32.000 | | max | 2791.000-2759.000=32.000 |
| | mean | 2.559-2.499=0.060 | | σ | 0.132-0.169=-0.036 | | min | 2.390-2.250=0.140 | | max | 2.724-2.699=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.019-4751.117=-0.098 | | σ | 0.851-0.810=0.041 | | min | 4750.273-4750.656=-0.383 | | max | 4752.480-4752.555=-0.075 |
| | mean | 2791.000-2759.000=32.000 | | σ | 0.000 | | min | 2791.000-2759.000=32.000 | | max | 2791.000-2759.000=32.000 |
| | mean | 8.060-8.184=-0.124 | | σ | 0.308-0.380=-0.072 | | min | 7.670-7.699=-0.029 | | max | 8.425-8.649=-0.224 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.451-4941.379=0.072 | | σ | 0.207-0.102=0.105 | | min | 4941.104-4941.267=-0.163 | | max | 4941.610-4941.465=0.145 |
| | mean | 3057.600-3042.600=15.000 | | σ | 330.268-339.472=-9.204 | | min | 2791.000-2759.000=32.000 | | max | 3558.000-3545.000=13.000 |
| | mean | 8.377-8.386=-0.008 | | σ | 0.086-0.104=-0.019 | | min | 8.316-8.288=0.029 | | max | 8.529-8.564=-0.035 |
|