iters=5 new-facts=1 prior-facts=1 | | mean | 272.791-272.790=0.000 | | σ | 0.004-0.003=0.001 | | min | 272.786-272.786=-0.000 | | max | 272.796-272.794=0.003 |
| | mean | 2492.000-2779.000=-287.000 | | σ | 0.000 | | min | 2492.000-2779.000=-287.000 | | max | 2492.000-2779.000=-287.000 |
| | mean | 0.381-0.378=0.003 | | σ | 0.008-0.003=0.005 | | min | 0.377-0.375=0.002 | | max | 0.395-0.381=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.211-1933.225=-0.014 | | σ | 0.017-0.011=0.006 | | min | 1933.189-1933.212=-0.023 | | max | 1933.233-1933.242=-0.009 |
| | mean | 2492.000-2779.000=-287.000 | | σ | 0.000 | | min | 2492.000-2779.000=-287.000 | | max | 2492.000-2779.000=-287.000 |
| | mean | 3.072-3.057=0.014 | | σ | 0.121-0.063=0.058 | | min | 2.966-3.013=-0.046 | | max | 3.271-3.157=0.114 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.925-4756.609=0.316 | | σ | 7.588-7.463=0.125 | | min | 4753.463-4752.862=0.602 | | max | 4770.499-4769.950=0.549 |
| | mean | 2492.000-2779.000=-287.000 | | σ | 0.000 | | min | 2492.000-2779.000=-287.000 | | max | 2492.000-2779.000=-287.000 |
| | mean | 8.727-8.808=-0.081 | | σ | 0.363-0.351=0.013 | | min | 8.306-8.475=-0.169 | | max | 9.117-9.342=-0.225 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.387-4944.451=-0.065 | | σ | 0.151-0.015=0.136 | | min | 4944.118-4944.435=-0.317 | | max | 4944.467-4944.474=-0.007 |
| | mean | 2943.400-2988.800=-45.400 | | σ | 317.421-268.947=48.473 | | min | 2492.000-2779.000=-287.000 | | max | 3349.000-3398.000=-49.000 |
| | mean | 8.465-8.376=0.089 | | σ | 0.118-0.064=0.053 | | min | 8.305-8.296=0.009 | | max | 8.607-8.440=0.167 |
|