iters=5 new-facts=1 prior-facts=1 | | mean | 286.821-286.829=-0.007 | | σ | 0.040-0.043=-0.004 | | min | 286.773-286.774=-0.001 | | max | 286.865-286.873=-0.008 |
| | mean | 1661.000-1642.000=19.000 | | σ | 0.000 | | min | 1661.000-1642.000=19.000 | | max | 1661.000-1642.000=19.000 |
| | mean | 0.396-0.409=-0.012 | | σ | 0.007-0.014=-0.006 | | min | 0.388-0.386=0.001 | | max | 0.404-0.420=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.239-1297.258=-0.019 | | σ | 0.080-0.122=-0.042 | | min | 1297.144-1297.079=0.065 | | max | 1297.316-1297.408=-0.093 |
| | mean | 1661.000-1642.000=19.000 | | σ | 0.000 | | min | 1661.000-1642.000=19.000 | | max | 1661.000-1642.000=19.000 |
| | mean | 2.069-2.204=-0.136 | | σ | 0.082-0.018=0.064 | | min | 1.984-2.175=-0.191 | | max | 2.188-2.220=-0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.302-1541.377=-0.075 | | σ | 6.839-6.837=0.001 | | min | 1538.052-1538.203=-0.151 | | max | 1553.531-1553.606=-0.076 |
| | mean | 1661.000-1642.000=19.000 | | σ | 0.000 | | min | 1661.000-1642.000=19.000 | | max | 1661.000-1642.000=19.000 |
| | mean | 2.150-2.331=-0.182 | | σ | 0.080-0.258=-0.178 | | min | 2.086-2.123=-0.037 | | max | 2.283-2.706=-0.423 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.115-1859.113=0.002 | | σ | 0.080-0.063=0.017 | | min | 1859.000-1859.033=-0.034 | | max | 1859.193-1859.192=0.001 |
| | mean | 1791.800-1770.800=21.000 | | σ | 138.936-134.530=4.406 | | min | 1661.000-1642.000=19.000 | | max | 1937.000-1911.000=26.000 |
| | mean | 2.958-3.115=-0.158 | | σ | 0.151-0.243=-0.092 | | min | 2.702-2.867=-0.165 | | max | 3.101-3.456=-0.355 |
|