iters=5 new-facts=1 prior-facts=1 | | mean | 278.701-278.698=0.003 | | σ | 0.010-0.015=-0.004 | | min | 278.693-278.682=0.011 | | max | 278.718-278.721=-0.002 |
| | mean | 2609.000-2594.000=15.000 | | σ | 0.000 | | min | 2609.000-2594.000=15.000 | | max | 2609.000-2594.000=15.000 |
| | mean | 0.415-0.425=-0.010 | | σ | 0.002-0.012=-0.010 | | min | 0.414-0.416=-0.002 | | max | 0.418-0.439=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.872-2268.867=0.005 | | σ | 0.004-0.009=-0.005 | | min | 2268.868-2268.853=0.014 | | max | 2268.877-2268.875=0.001 |
| | mean | 2609.000-2594.000=15.000 | | σ | 0.000 | | min | 2609.000-2594.000=15.000 | | max | 2609.000-2594.000=15.000 |
| | mean | 2.908-2.985=-0.078 | | σ | 0.087-0.144=-0.057 | | min | 2.768-2.887=-0.119 | | max | 3.005-3.240=-0.235 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.360-4952.244=0.117 | | σ | 0.865-0.962=-0.097 | | min | 4951.879-4951.431=0.448 | | max | 4953.904-4953.914=-0.010 |
| | mean | 2609.000-2594.000=15.000 | | σ | 0.000 | | min | 2609.000-2594.000=15.000 | | max | 2609.000-2594.000=15.000 |
| | mean | 7.985-7.934=0.051 | | σ | 0.297-0.288=0.009 | | min | 7.719-7.636=0.083 | | max | 8.468-8.366=0.102 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.004-5167.076=-0.072 | | σ | 0.150-0.014=0.136 | | min | 5166.735-5167.062=-0.327 | | max | 5167.079-5167.098=-0.019 |
| | mean | 3384.000-3374.400=9.600 | | σ | 479.347-425.087=54.260 | | min | 2729.000-2801.000=-72.000 | | max | 3986.000-3924.000=62.000 |
| | mean | 9.336-9.300=0.036 | | σ | 0.195-0.229=-0.033 | | min | 9.113-9.066=0.047 | | max | 9.586-9.557=0.029 |
|