iters=5 new-facts=1 prior-facts=1 | | mean | 285.392-280.215=5.177 | | σ | 0.011-0.010=0.001 | | min | 285.378-280.203=5.175 | | max | 285.404-280.225=5.179 |
| | mean | 1650.000-1473.000=177.000 | | σ | 0.000 | | min | 1650.000-1473.000=177.000 | | max | 1650.000-1473.000=177.000 |
| | mean | 0.380-0.370=0.010 | | σ | 0.010-0.004=0.006 | | min | 0.373-0.368=0.005 | | max | 0.393-0.377=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.354-1280.283=5.071 | | σ | 0.128-0.124=0.003 | | min | 1285.291-1280.214=5.077 | | max | 1285.582-1280.502=5.079 |
| | mean | 1650.000-1473.000=177.000 | | σ | 0.000 | | min | 1650.000-1473.000=177.000 | | max | 1650.000-1473.000=177.000 |
| | mean | 2.021-1.841=0.180 | | σ | 0.216-0.040=0.177 | | min | 1.863-1.799=0.064 | | max | 2.378-1.902=0.476 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.698-1802.580=5.118 | | σ | 7.005-7.057=-0.052 | | min | 1804.325-1799.178=5.147 | | max | 1820.213-1815.188=5.024 |
| | mean | 1650.000-1473.000=177.000 | | σ | 0.000 | | min | 1650.000-1473.000=177.000 | | max | 1650.000-1473.000=177.000 |
| | mean | 4.206-4.305=-0.099 | | σ | 0.219-0.203=0.017 | | min | 3.858-4.006=-0.149 | | max | 4.416-4.481=-0.065 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.178-2065.010=5.169 | | σ | 0.012-0.011=0.001 | | min | 2070.160-2065.002=5.158 | | max | 2070.193-2065.028=5.165 |
| | mean | 1838.400-1802.000=36.400 | | σ | 166.914-195.974=-29.060 | | min | 1650.000-1561.000=89.000 | | max | 2073.000-1993.000=80.000 |
| | mean | 4.513-4.412=0.102 | | σ | 0.042-0.087=-0.045 | | min | 4.455-4.329=0.126 | | max | 4.567-4.532=0.035 |
|