iters=5 new-facts=1 prior-facts=1 | | mean | 285.675-285.677=-0.001 | | σ | 0.009-0.012=-0.003 | | min | 285.663-285.664=-0.000 | | max | 285.684-285.692=-0.008 |
| | mean | 1644.000-1593.000=51.000 | | σ | 0.000 | | min | 1644.000-1593.000=51.000 | | max | 1644.000-1593.000=51.000 |
| | mean | 0.380-0.379=0.001 | | σ | 0.006-0.009=-0.003 | | min | 0.375-0.373=0.002 | | max | 0.390-0.396=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.642-1285.641=0.002 | | σ | 0.139-0.129=0.009 | | min | 1285.574-1285.572=0.003 | | max | 1285.891-1285.872=0.019 |
| | mean | 1644.000-1593.000=51.000 | | σ | 0.000 | | min | 1644.000-1593.000=51.000 | | max | 1644.000-1593.000=51.000 |
| | mean | 1.910-1.888=0.022 | | σ | 0.078-0.163=-0.085 | | min | 1.827-1.736=0.091 | | max | 2.018-2.124=-0.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1808.020-1807.981=0.039 | | σ | 7.011-6.975=0.036 | | min | 1804.660-1804.578=0.082 | | max | 1820.546-1820.441=0.105 |
| | mean | 1644.000-1593.000=51.000 | | σ | 0.000 | | min | 1644.000-1593.000=51.000 | | max | 1644.000-1593.000=51.000 |
| | mean | 4.313-4.170=0.143 | | σ | 0.190-0.226=-0.036 | | min | 4.101-3.888=0.213 | | max | 4.540-4.451=0.089 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.462-2070.459=0.003 | | σ | 0.005-0.008=-0.003 | | min | 2070.455-2070.452=0.004 | | max | 2070.467-2070.470=-0.003 |
| | mean | 1852.000-1874.800=-22.800 | | σ | 186.731-205.883=-19.152 | | min | 1644.000-1605.000=39.000 | | max | 2087.000-2090.000=-3.000 |
| | mean | 4.533-4.521=0.012 | | σ | 0.056-0.149=-0.093 | | min | 4.467-4.327=0.141 | | max | 4.587-4.680=-0.094 |
|