iters=5 new-facts=1 prior-facts=1 | | mean | 301.467-300.704=0.763 | | σ | 0.064-0.023=0.041 | | min | 301.362-300.680=0.682 | | max | 301.525-300.735=0.790 |
| | mean | 1634.000-1515.000=119.000 | | σ | 0.000 | | min | 1634.000-1515.000=119.000 | | max | 1634.000-1515.000=119.000 |
| | mean | 0.396-0.396=0.000 | | σ | 0.004-0.007=-0.003 | | min | 0.393-0.388=0.005 | | max | 0.402-0.403=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.055-1322.862=1.194 | | σ | 0.111-0.086=0.025 | | min | 1323.915-1322.817=1.098 | | max | 1324.206-1323.015=1.191 |
| | mean | 1634.000-1515.000=119.000 | | σ | 0.000 | | min | 1634.000-1515.000=119.000 | | max | 1634.000-1515.000=119.000 |
| | mean | 1.970-1.885=0.084 | | σ | 0.139-0.062=0.077 | | min | 1.853-1.823=0.029 | | max | 2.209-1.951=0.258 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.100-1561.321=0.778 | | σ | 6.929-6.884=0.045 | | min | 1558.728-1558.036=0.692 | | max | 1574.488-1573.632=0.856 |
| | mean | 1634.000-1515.000=119.000 | | σ | 0.000 | | min | 1634.000-1515.000=119.000 | | max | 1634.000-1515.000=119.000 |
| | mean | 2.395-2.365=0.029 | | σ | 0.362-0.361=0.002 | | min | 2.096-2.044=0.052 | | max | 2.890-2.788=0.102 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.978-1890.796=1.182 | | σ | 0.089-0.030=0.060 | | min | 1891.821-1890.761=1.059 | | max | 1892.041-1890.838=1.203 |
| | mean | 1800.800-1733.400=67.400 | | σ | 118.755-214.426=-95.671 | | min | 1634.000-1515.000=119.000 | | max | 1946.000-2037.000=-91.000 |
| | mean | 2.988-3.097=-0.109 | | σ | 0.163-0.382=-0.219 | | min | 2.846-2.868=-0.022 | | max | 3.240-3.753=-0.513 |
|