iters=5 new-facts=1 prior-facts=1 | | mean | 324.711-324.712=-0.001 | | σ | 0.049-0.034=0.015 | | min | 324.624-324.653=-0.029 | | max | 324.743-324.741=0.002 |
| | mean | 2833.000-2828.000=5.000 | | σ | 0.000 | | min | 2833.000-2828.000=5.000 | | max | 2833.000-2828.000=5.000 |
| | mean | 0.425-0.425=-0.000 | | σ | 0.001-0.001=0.000 | | min | 0.423-0.424=-0.001 | | max | 0.426-0.427=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.268-1985.261=0.006 | | σ | 0.002-0.015=-0.013 | | min | 1985.266-1985.243=0.024 | | max | 1985.271-1985.279=-0.008 |
| | mean | 2833.000-2828.000=5.000 | | σ | 0.000 | | min | 2833.000-2828.000=5.000 | | max | 2833.000-2828.000=5.000 |
| | mean | 2.563-2.595=-0.032 | | σ | 0.120-0.058=0.062 | | min | 2.390-2.540=-0.150 | | max | 2.685-2.667=0.017 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.872-4808.663=0.209 | | σ | 7.655-7.775=-0.120 | | min | 4805.337-4804.843=0.494 | | max | 4822.565-4822.560=0.006 |
| | mean | 2833.000-2828.000=5.000 | | σ | 0.000 | | min | 2833.000-2828.000=5.000 | | max | 2833.000-2828.000=5.000 |
| | mean | 8.768-8.570=0.198 | | σ | 0.261-0.319=-0.058 | | min | 8.446-8.041=0.405 | | max | 9.144-8.887=0.257 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.470=-0.003 | | σ | 0.021-0.020=0.001 | | min | 4996.441-4996.444=-0.003 | | max | 4996.495-4996.492=0.003 |
| | mean | 3046.600-3065.600=-19.000 | | σ | 189.765-230.240=-40.475 | | min | 2833.000-2828.000=5.000 | | max | 3319.000-3406.000=-87.000 |
| | mean | 8.806-8.703=0.104 | | σ | 0.236-0.208=0.027 | | min | 8.539-8.506=0.033 | | max | 9.054-8.977=0.077 |
|