iters=5 new-facts=1 prior-facts=1 | | mean | 266.779-266.779=0.000 | | σ | 0.007-0.007=-0.000 | | min | 266.767-266.768=-0.001 | | max | 266.783-266.786=-0.003 |
| | mean | 2654.000-2650.000=4.000 | | σ | 0.000 | | min | 2654.000-2650.000=4.000 | | max | 2654.000-2650.000=4.000 |
| | mean | 0.363-0.365=-0.002 | | σ | 0.001-0.001=-0.000 | | min | 0.362-0.364=-0.002 | | max | 0.364-0.367=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.210-1927.207=0.003 | | σ | 0.008-0.009=-0.001 | | min | 1927.201-1927.195=0.006 | | max | 1927.220-1927.221=-0.001 |
| | mean | 2654.000-2650.000=4.000 | | σ | 0.000 | | min | 2654.000-2650.000=4.000 | | max | 2654.000-2650.000=4.000 |
| | mean | 3.019-3.069=-0.050 | | σ | 0.061-0.078=-0.017 | | min | 2.954-2.999=-0.045 | | max | 3.093-3.177=-0.083 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.642-4747.749=-0.107 | | σ | 0.949-0.776=0.174 | | min | 4746.747-4747.289=-0.542 | | max | 4749.251-4749.126=0.125 |
| | mean | 2654.000-2650.000=4.000 | | σ | 0.000 | | min | 2654.000-2650.000=4.000 | | max | 2654.000-2650.000=4.000 |
| | mean | 8.303-8.194=0.110 | | σ | 0.524-0.373=0.151 | | min | 7.698-7.851=-0.153 | | max | 9.090-8.773=0.317 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.089-4938.164=-0.075 | | σ | 0.118-0.089=0.029 | | min | 4937.916-4938.072=-0.156 | | max | 4938.249-4938.272=-0.023 |
| | mean | 3009.000-2972.600=36.400 | | σ | 391.304-344.106=47.198 | | min | 2654.000-2650.000=4.000 | | max | 3573.000-3433.000=140.000 |
| | mean | 8.478-8.486=-0.009 | | σ | 0.179-0.217=-0.038 | | min | 8.239-8.266=-0.027 | | max | 8.667-8.820=-0.154 |
|