iters=5 new-facts=1 prior-facts=1 | | mean | 277.164-277.195=-0.031 | | σ | 0.008-0.006=0.003 | | min | 277.154-277.188=-0.034 | | max | 277.173-277.204=-0.031 |
| | mean | 2656.000-2664.000=-8.000 | | σ | 0.000 | | min | 2656.000-2664.000=-8.000 | | max | 2656.000-2664.000=-8.000 |
| | mean | 0.394-0.398=-0.005 | | σ | 0.004-0.011=-0.007 | | min | 0.391-0.390=0.001 | | max | 0.400-0.414=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.424-2174.442=-0.018 | | σ | 0.005-0.017=-0.011 | | min | 2174.417-2174.428=-0.011 | | max | 2174.429-2174.469=-0.039 |
| | mean | 2656.000-2664.000=-8.000 | | σ | 0.000 | | min | 2656.000-2664.000=-8.000 | | max | 2656.000-2664.000=-8.000 |
| | mean | 2.868-2.982=-0.114 | | σ | 0.137-0.169=-0.032 | | min | 2.761-2.709=0.052 | | max | 3.101-3.153=-0.052 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.539-5052.624=-0.085 | | σ | 1.063-0.980=0.083 | | min | 5051.681-5052.017=-0.336 | | max | 5054.381-5054.363=0.019 |
| | mean | 2656.000-2664.000=-8.000 | | σ | 0.000 | | min | 2656.000-2664.000=-8.000 | | max | 2656.000-2664.000=-8.000 |
| | mean | 8.862-8.684=0.178 | | σ | 0.710-0.611=0.099 | | min | 8.162-8.095=0.067 | | max | 9.818-9.589=0.229 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.279-5188.430=-0.151 | | σ | 0.195-0.090=0.105 | | min | 5188.010-5188.345=-0.335 | | max | 5188.523-5188.527=-0.004 |
| | mean | 3284.200-3220.800=63.400 | | σ | 496.906-384.962=111.944 | | min | 2656.000-2667.000=-11.000 | | max | 3891.000-3688.000=203.000 |
| | mean | 8.799-8.948=-0.149 | | σ | 0.118-0.284=-0.165 | | min | 8.659-8.712=-0.053 | | max | 8.938-9.412=-0.474 |
|