iters=5 new-facts=1 prior-facts=1 | | mean | 286.821-285.032=1.789 | | σ | 0.039-0.041=-0.003 | | min | 286.770-284.977=1.793 | | max | 286.860-285.074=1.786 |
| | mean | 1652.000-1619.000=33.000 | | σ | 0.000 | | min | 1652.000-1619.000=33.000 | | max | 1652.000-1619.000=33.000 |
| | mean | 0.396-0.395=0.000 | | σ | 0.007-0.008=-0.000 | | min | 0.387-0.387=0.001 | | max | 0.401-0.404=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.226-1295.423=1.803 | | σ | 0.076-0.111=-0.035 | | min | 1297.131-1295.299=1.832 | | max | 1297.300-1295.563=1.737 |
| | mean | 1652.000-1619.000=33.000 | | σ | 0.000 | | min | 1652.000-1619.000=33.000 | | max | 1652.000-1619.000=33.000 |
| | mean | 2.039-1.893=0.146 | | σ | 0.059-0.088=-0.029 | | min | 1.993-1.821=0.172 | | max | 2.139-2.029=0.110 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.317-1539.512=1.805 | | σ | 6.837-6.847=-0.010 | | min | 1538.058-1536.236=1.822 | | max | 1553.542-1551.756=1.786 |
| | mean | 1652.000-1619.000=33.000 | | σ | 0.000 | | min | 1652.000-1619.000=33.000 | | max | 1652.000-1619.000=33.000 |
| | mean | 2.247-2.291=-0.044 | | σ | 0.139-0.227=-0.089 | | min | 2.087-2.047=0.040 | | max | 2.415-2.529=-0.114 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.114-1857.328=1.785 | | σ | 0.079-0.060=0.019 | | min | 1858.995-1857.267=1.728 | | max | 1859.187-1857.406=1.781 |
| | mean | 1770.600-1774.800=-4.200 | | σ | 122.680-176.579=-53.899 | | min | 1652.000-1619.000=33.000 | | max | 1899.000-2027.000=-128.000 |
| | mean | 3.096-3.037=0.059 | | σ | 0.265-0.247=0.018 | | min | 2.872-2.836=0.035 | | max | 3.547-3.447=0.100 |
|