iters=5 new-facts=1 prior-facts=1 | | mean | 270.128-269.930=0.198 | | σ | 0.008-0.008=0.000 | | min | 270.117-269.922=0.195 | | max | 270.138-269.940=0.198 |
| | mean | 2513.000-2739.000=-226.000 | | σ | 0.000 | | min | 2513.000-2739.000=-226.000 | | max | 2513.000-2739.000=-226.000 |
| | mean | 0.377-0.375=0.003 | | σ | 0.005-0.009=-0.004 | | min | 0.370-0.369=0.001 | | max | 0.382-0.388=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.588-1930.392=0.195 | | σ | 0.022-0.012=0.010 | | min | 1930.550-1930.375=0.175 | | max | 1930.604-1930.408=0.196 |
| | mean | 2513.000-2739.000=-226.000 | | σ | 0.000 | | min | 2513.000-2739.000=-226.000 | | max | 2513.000-2739.000=-226.000 |
| | mean | 2.476-2.517=-0.041 | | σ | 0.125-0.141=-0.016 | | min | 2.283-2.362=-0.079 | | max | 2.597-2.737=-0.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.041-4750.627=0.413 | | σ | 0.892-1.103=-0.211 | | min | 4750.522-4749.347=1.175 | | max | 4752.622-4752.391=0.230 |
| | mean | 2513.000-2739.000=-226.000 | | σ | 0.000 | | min | 2513.000-2739.000=-226.000 | | max | 2513.000-2739.000=-226.000 |
| | mean | 8.726-8.513=0.212 | | σ | 0.258-0.600=-0.342 | | min | 8.376-7.612=0.764 | | max | 8.967-8.974=-0.007 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.526-4941.331=0.194 | | σ | 0.096-0.092=0.004 | | min | 4941.440-4941.254=0.186 | | max | 4941.630-4941.433=0.197 |
| | mean | 2979.200-3032.600=-53.400 | | σ | 282.128-218.620=63.508 | | min | 2595.000-2739.000=-144.000 | | max | 3315.000-3317.000=-2.000 |
| | mean | 8.486-8.505=-0.019 | | σ | 0.110-0.141=-0.031 | | min | 8.372-8.374=-0.002 | | max | 8.666-8.719=-0.053 |
|