iters=5 new-facts=1 prior-facts=1 | | mean | 272.791-272.790=0.001 | | σ | 0.006-0.007=-0.001 | | min | 272.781-272.780=0.001 | | max | 272.796-272.799=-0.003 |
| | mean | 2521.000-2504.000=17.000 | | σ | 0.000 | | min | 2521.000-2504.000=17.000 | | max | 2521.000-2504.000=17.000 |
| | mean | 0.384-0.379=0.006 | | σ | 0.010-0.004=0.006 | | min | 0.377-0.375=0.001 | | max | 0.397-0.386=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.220-1933.221=-0.002 | | σ | 0.012-0.007=0.005 | | min | 1933.206-1933.213=-0.008 | | max | 1933.231-1933.228=0.002 |
| | mean | 2521.000-2504.000=17.000 | | σ | 0.000 | | min | 2521.000-2504.000=17.000 | | max | 2521.000-2504.000=17.000 |
| | mean | 3.116-3.022=0.093 | | σ | 0.217-0.116=0.101 | | min | 2.783-2.828=-0.045 | | max | 3.344-3.134=0.210 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.884-4757.031=-0.148 | | σ | 7.641-7.569=0.072 | | min | 4753.031-4753.516=-0.485 | | max | 4770.544-4770.570=-0.026 |
| | mean | 2521.000-2504.000=17.000 | | σ | 0.000 | | min | 2521.000-2504.000=17.000 | | max | 2521.000-2504.000=17.000 |
| | mean | 8.311-8.096=0.216 | | σ | 0.446-0.427=0.019 | | min | 7.730-7.729=0.001 | | max | 8.785-8.743=0.042 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.381-4944.401=-0.020 | | σ | 0.143-0.179=-0.036 | | min | 4944.127-4944.086=0.041 | | max | 4944.467-4944.530=-0.064 |
| | mean | 2987.400-2942.000=45.400 | | σ | 392.958-372.685=20.274 | | min | 2521.000-2504.000=17.000 | | max | 3525.000-3447.000=78.000 |
| | mean | 8.524-8.631=-0.108 | | σ | 0.128-0.254=-0.126 | | min | 8.378-8.402=-0.024 | | max | 8.721-9.011=-0.290 |
|