iters=5 new-facts=1 prior-facts=1 | | mean | 277.719-277.725=-0.006 | | σ | 0.008-0.023=-0.015 | | min | 277.708-277.703=0.004 | | max | 277.729-277.764=-0.035 |
| | mean | 2649.000-2742.000=-93.000 | | σ | 0.000 | | min | 2649.000-2742.000=-93.000 | | max | 2649.000-2742.000=-93.000 |
| | mean | 0.407-0.411=-0.004 | | σ | 0.002-0.001=0.000 | | min | 0.404-0.409=-0.005 | | max | 0.408-0.413=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.892-2267.876=0.016 | | σ | 0.012-0.017=-0.005 | | min | 2267.881-2267.847=0.034 | | max | 2267.910-2267.889=0.021 |
| | mean | 2649.000-2742.000=-93.000 | | σ | 0.000 | | min | 2649.000-2742.000=-93.000 | | max | 2649.000-2742.000=-93.000 |
| | mean | 3.079-3.151=-0.072 | | σ | 0.229-0.128=0.101 | | min | 2.739-2.944=-0.205 | | max | 3.333-3.270=0.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.921-4954.942=-0.021 | | σ | 0.927-0.817=0.110 | | min | 4954.069-4954.164=-0.096 | | max | 4956.501-4956.326=0.175 |
| | mean | 2649.000-2742.000=-93.000 | | σ | 0.000 | | min | 2649.000-2742.000=-93.000 | | max | 2649.000-2742.000=-93.000 |
| | mean | 7.924-7.768=0.155 | | σ | 0.318-0.199=0.119 | | min | 7.635-7.548=0.086 | | max | 8.389-8.053=0.336 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.787-5169.682=0.105 | | σ | 0.086-0.136=-0.050 | | min | 5169.693-5169.473=0.220 | | max | 5169.855-5169.855=0.000 |
| | mean | 3374.000-3372.600=1.400 | | σ | 518.675-406.252=112.423 | | min | 2909.000-2973.000=-64.000 | | max | 4117.000-3785.000=332.000 |
| | mean | 9.102-9.223=-0.122 | | σ | 0.163-0.460=-0.297 | | min | 8.870-8.437=0.433 | | max | 9.301-9.624=-0.323 |
|