iters=5 new-facts=1 prior-facts=1 | | mean | 285.392-285.394=-0.001 | | σ | 0.013-0.016=-0.003 | | min | 285.371-285.371=0.001 | | max | 285.405-285.412=-0.007 |
| | mean | 1637.000-1635.000=2.000 | | σ | 0.000 | | min | 1637.000-1635.000=2.000 | | max | 1637.000-1635.000=2.000 |
| | mean | 0.381-0.375=0.006 | | σ | 0.007-0.001=0.006 | | min | 0.376-0.375=0.001 | | max | 0.389-0.376=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.349-1285.353=-0.005 | | σ | 0.117-0.132=-0.015 | | min | 1285.294-1285.287=0.007 | | max | 1285.559-1285.590=-0.031 |
| | mean | 1637.000-1635.000=2.000 | | σ | 0.000 | | min | 1637.000-1635.000=2.000 | | max | 1637.000-1635.000=2.000 |
| | mean | 1.880-1.876=0.004 | | σ | 0.085-0.077=0.008 | | min | 1.804-1.768=0.036 | | max | 2.023-1.954=0.069 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.689-1807.682=0.007 | | σ | 7.011-7.018=-0.008 | | min | 1804.330-1804.302=0.028 | | max | 1820.215-1820.221=-0.006 |
| | mean | 1637.000-1635.000=2.000 | | σ | 0.000 | | min | 1637.000-1635.000=2.000 | | max | 1637.000-1635.000=2.000 |
| | mean | 4.195-4.115=0.079 | | σ | 0.212-0.239=-0.026 | | min | 3.844-3.800=0.044 | | max | 4.379-4.445=-0.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.178-2070.175=0.003 | | σ | 0.010-0.009=0.001 | | min | 2070.166-2070.164=0.002 | | max | 2070.194-2070.188=0.006 |
| | mean | 1851.000-1845.200=5.800 | | σ | 176.187-174.464=1.723 | | min | 1637.000-1635.000=2.000 | | max | 2095.000-2088.000=7.000 |
| | mean | 4.503-4.446=0.057 | | σ | 0.044-0.048=-0.004 | | min | 4.453-4.397=0.056 | | max | 4.552-4.515=0.037 |
|