iters=5 new-facts=1 prior-facts=1 | | mean | 273.502-273.507=-0.005 | | σ | 0.004-0.004=-0.000 | | min | 273.498-273.500=-0.003 | | max | 273.507-273.511=-0.003 |
| | mean | 2870.000-2864.000=6.000 | | σ | 0.000 | | min | 2870.000-2864.000=6.000 | | max | 2870.000-2864.000=6.000 |
| | mean | 0.378-0.386=-0.007 | | σ | 0.006-0.012=-0.007 | | min | 0.375-0.378=-0.003 | | max | 0.388-0.407=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.899-1933.899=0.000 | | σ | 0.019-0.007=0.012 | | min | 1933.873-1933.886=-0.013 | | max | 1933.927-1933.906=0.021 |
| | mean | 2870.000-2864.000=6.000 | | σ | 0.000 | | min | 2870.000-2864.000=6.000 | | max | 2870.000-2864.000=6.000 |
| | mean | 2.973-3.009=-0.036 | | σ | 0.300-0.012=0.288 | | min | 2.463-3.003=-0.540 | | max | 3.245-3.030=0.215 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.696-4754.735=-0.039 | | σ | 0.890-0.805=0.085 | | min | 4754.162-4754.295=-0.132 | | max | 4756.274-4756.172=0.102 |
| | mean | 2870.000-2864.000=6.000 | | σ | 0.000 | | min | 2870.000-2864.000=6.000 | | max | 2870.000-2864.000=6.000 |
| | mean | 8.372-7.973=0.399 | | σ | 0.523-0.342=0.182 | | min | 7.843-7.724=0.118 | | max | 9.080-8.570=0.511 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.117-4945.114=0.002 | | σ | 0.017-0.012=0.006 | | min | 4945.095-4945.100=-0.005 | | max | 4945.142-4945.132=0.010 |
| | mean | 3064.000-3052.000=12.000 | | σ | 249.848-264.484=-14.636 | | min | 2870.000-2864.000=6.000 | | max | 3436.000-3472.000=-36.000 |
| | mean | 8.491-8.451=0.040 | | σ | 0.110-0.113=-0.003 | | min | 8.410-8.355=0.055 | | max | 8.679-8.641=0.038 |
|