iters=5 new-facts=1 prior-facts=1 | | mean | 271.754-270.611=1.143 | | σ | 0.006-0.006=-0.001 | | min | 271.748-270.605=1.143 | | max | 271.763-270.619=1.144 |
| | mean | 2457.000-2771.000=-314.000 | | σ | 0.000 | | min | 2457.000-2771.000=-314.000 | | max | 2457.000-2771.000=-314.000 |
| | mean | 0.384-0.379=0.005 | | σ | 0.005-0.005=-0.000 | | min | 0.380-0.374=0.006 | | max | 0.391-0.387=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.170-1931.037=1.134 | | σ | 0.013-0.006=0.008 | | min | 1932.148-1931.028=1.119 | | max | 1932.182-1931.044=1.139 |
| | mean | 2457.000-2771.000=-314.000 | | σ | 0.000 | | min | 2457.000-2771.000=-314.000 | | max | 2457.000-2771.000=-314.000 |
| | mean | 3.104-2.988=0.117 | | σ | 0.120-0.148=-0.028 | | min | 2.970-2.786=0.185 | | max | 3.266-3.192=0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.928-4751.772=1.157 | | σ | 0.894-0.893=0.001 | | min | 4752.390-4751.237=1.154 | | max | 4754.520-4753.359=1.161 |
| | mean | 2457.000-2771.000=-314.000 | | σ | 0.000 | | min | 2457.000-2771.000=-314.000 | | max | 2457.000-2771.000=-314.000 |
| | mean | 8.384-8.599=-0.215 | | σ | 0.449-0.440=0.009 | | min | 7.804-8.189=-0.385 | | max | 9.019-9.192=-0.173 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.242-4942.086=1.157 | | σ | 0.194-0.187=0.006 | | min | 4943.011-4941.871=1.140 | | max | 4943.398-4942.253=1.146 |
| | mean | 2918.400-3007.400=-89.000 | | σ | 385.683-223.052=162.631 | | min | 2457.000-2771.000=-314.000 | | max | 3432.000-3315.000=117.000 |
| | mean | 8.529-8.591=-0.062 | | σ | 0.172-0.201=-0.029 | | min | 8.371-8.416=-0.046 | | max | 8.769-8.883=-0.113 |
|