iters=5 new-facts=1 prior-facts=1 | | mean | 287.358-287.359=-0.001 | | σ | 0.015-0.014=0.001 | | min | 287.333-287.339=-0.005 | | max | 287.375-287.373=0.002 |
| | mean | 1627.000-1600.000=27.000 | | σ | 0.000 | | min | 1627.000-1600.000=27.000 | | max | 1627.000-1600.000=27.000 |
| | mean | 0.378-0.373=0.005 | | σ | 0.005-0.004=0.000 | | min | 0.373-0.370=0.003 | | max | 0.383-0.379=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.314-1287.321=-0.007 | | σ | 0.117-0.136=-0.019 | | min | 1287.254-1287.256=-0.002 | | max | 1287.523-1287.564=-0.042 |
| | mean | 1627.000-1600.000=27.000 | | σ | 0.000 | | min | 1627.000-1600.000=27.000 | | max | 1627.000-1600.000=27.000 |
| | mean | 1.852-1.854=-0.003 | | σ | 0.044-0.035=0.009 | | min | 1.809-1.808=0.002 | | max | 1.902-1.886=0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.656-1809.698=-0.042 | | σ | 7.028-6.988=0.041 | | min | 1806.282-1806.327=-0.045 | | max | 1822.215-1822.180=0.035 |
| | mean | 1627.000-1600.000=27.000 | | σ | 0.000 | | min | 1627.000-1600.000=27.000 | | max | 1627.000-1600.000=27.000 |
| | mean | 4.186-4.293=-0.107 | | σ | 0.267-0.203=0.064 | | min | 3.885-4.102=-0.217 | | max | 4.473-4.582=-0.109 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.158-2072.161=-0.003 | | σ | 0.008-0.008=0.000 | | min | 2072.150-2072.154=-0.004 | | max | 2072.171-2072.174=-0.003 |
| | mean | 1849.400-1863.800=-14.400 | | σ | 206.851-212.296=-5.445 | | min | 1627.000-1600.000=27.000 | | max | 2085.000-2097.000=-12.000 |
| | mean | 4.895-4.894=0.001 | | σ | 0.179-0.172=0.007 | | min | 4.604-4.644=-0.040 | | max | 5.087-5.120=-0.032 |
|