iters=5 new-facts=1 prior-facts=1 | | mean | 303.788-303.795=-0.007 | | σ | 0.051-0.044=0.007 | | min | 303.712-303.723=-0.011 | | max | 303.837-303.834=0.003 |
| | mean | 1517.000-1516.000=1.000 | | σ | 0.000 | | min | 1517.000-1516.000=1.000 | | max | 1517.000-1516.000=1.000 |
| | mean | 0.392-0.391=0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.391-0.390=0.001 | | max | 0.393-0.392=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.332-1326.329=0.003 | | σ | 0.109-0.107=0.002 | | min | 1326.197-1326.194=0.002 | | max | 1326.473-1326.460=0.013 |
| | mean | 1517.000-1516.000=1.000 | | σ | 0.000 | | min | 1517.000-1516.000=1.000 | | max | 1517.000-1516.000=1.000 |
| | mean | 1.952-1.965=-0.013 | | σ | 0.098-0.133=-0.035 | | min | 1.849-1.839=0.010 | | max | 2.082-2.154=-0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.379-1564.386=-0.007 | | σ | 6.929-6.919=0.010 | | min | 1561.074-1561.104=-0.030 | | max | 1576.769-1576.759=0.010 |
| | mean | 1517.000-1516.000=1.000 | | σ | 0.000 | | min | 1517.000-1516.000=1.000 | | max | 1517.000-1516.000=1.000 |
| | mean | 2.299-2.345=-0.046 | | σ | 0.285-0.323=-0.038 | | min | 2.006-2.075=-0.069 | | max | 2.692-2.745=-0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.275-1894.287=-0.012 | | σ | 0.064-0.084=-0.020 | | min | 1894.162-1894.145=0.017 | | max | 1894.315-1894.366=-0.051 |
| | mean | 1732.800-1743.200=-10.400 | | σ | 204.310-219.704=-15.393 | | min | 1517.000-1516.000=1.000 | | max | 2026.000-2062.000=-36.000 |
| | mean | 3.011-3.023=-0.012 | | σ | 0.161-0.256=-0.095 | | min | 2.872-2.743=0.129 | | max | 3.189-3.326=-0.137 |
|