iters=5 new-facts=1 prior-facts=1 | | mean | 270.241-270.243=-0.002 | | σ | 0.007-0.008=-0.001 | | min | 270.232-270.230=0.002 | | max | 270.249-270.253=-0.004 |
| | mean | 2779.000-2849.000=-70.000 | | σ | 0.000 | | min | 2779.000-2849.000=-70.000 | | max | 2779.000-2849.000=-70.000 |
| | mean | 0.381-0.380=0.001 | | σ | 0.008-0.003=0.005 | | min | 0.376-0.377=-0.001 | | max | 0.395-0.384=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.692-1930.701=-0.010 | | σ | 0.015-0.015=0.000 | | min | 1930.667-1930.679=-0.012 | | max | 1930.704-1930.715=-0.012 |
| | mean | 2779.000-2849.000=-70.000 | | σ | 0.000 | | min | 2779.000-2849.000=-70.000 | | max | 2779.000-2849.000=-70.000 |
| | mean | 2.545-2.568=-0.023 | | σ | 0.119-0.129=-0.010 | | min | 2.442-2.471=-0.030 | | max | 2.706-2.776=-0.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.320-4751.301=0.019 | | σ | 0.994-0.653=0.341 | | min | 4750.514-4750.905=-0.390 | | max | 4753.046-4752.455=0.590 |
| | mean | 2779.000-2849.000=-70.000 | | σ | 0.000 | | min | 2779.000-2849.000=-70.000 | | max | 2779.000-2849.000=-70.000 |
| | mean | 8.327-8.507=-0.179 | | σ | 0.562-0.473=0.089 | | min | 7.688-7.777=-0.089 | | max | 9.100-8.942=0.158 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.792-4941.797=-0.005 | | σ | 0.177-0.170=0.007 | | min | 4941.478-4941.494=-0.016 | | max | 4941.890-4941.890=0.000 |
| | mean | 3055.000-3062.000=-7.000 | | σ | 336.904-207.864=129.039 | | min | 2779.000-2849.000=-70.000 | | max | 3563.000-3324.000=239.000 |
| | mean | 8.482-8.528=-0.046 | | σ | 0.174-0.116=0.059 | | min | 8.335-8.361=-0.027 | | max | 8.766-8.648=0.117 |
|