iters=5 new-facts=1 prior-facts=1 | | mean | 285.441-285.410=0.031 | | σ | 0.005-0.012=-0.007 | | min | 285.433-285.395=0.038 | | max | 285.445-285.423=0.022 |
| | mean | 1637.000-1634.000=3.000 | | σ | 0.000 | | min | 1637.000-1634.000=3.000 | | max | 1637.000-1634.000=3.000 |
| | mean | 0.378-0.380=-0.002 | | σ | 0.006-0.008=-0.002 | | min | 0.373-0.374=-0.000 | | max | 0.389-0.390=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.486-1285.378=0.108 | | σ | 0.043-0.135=-0.091 | | min | 1285.429-1285.314=0.115 | | max | 1285.540-1285.619=-0.078 |
| | mean | 1637.000-1634.000=3.000 | | σ | 0.000 | | min | 1637.000-1634.000=3.000 | | max | 1637.000-1634.000=3.000 |
| | mean | 1.893-2.039=-0.147 | | σ | 0.052-0.221=-0.170 | | min | 1.828-1.820=0.009 | | max | 1.949-2.410=-0.461 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.825-1807.736=-101.910 | | σ | 6.853-6.991=-0.138 | | min | 1702.618-1804.397=-101.780 | | max | 1718.079-1820.227=-102.148 |
| | mean | 1637.000-1634.000=3.000 | | σ | 0.000 | | min | 1637.000-1634.000=3.000 | | max | 1637.000-1634.000=3.000 |
| | mean | 2.970-4.255=-1.285 | | σ | 0.347-0.149=0.198 | | min | 2.607-4.103=-1.497 | | max | 3.441-4.455=-1.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.434-2070.209=-101.775 | | σ | 0.014-0.035=-0.021 | | min | 1968.414-2070.186=-101.772 | | max | 1968.448-2070.270=-101.822 |
| | mean | 1841.400-1838.000=3.400 | | σ | 208.039-187.293=20.747 | | min | 1637.000-1634.000=3.000 | | max | 2131.000-2094.000=37.000 |
| | mean | 3.145-4.535=-1.390 | | σ | 0.067-0.239=-0.172 | | min | 3.070-4.345=-1.275 | | max | 3.249-4.952=-1.704 |
|