iters=5 new-facts=1 prior-facts=1 | | mean | 300.720-300.722=-0.001 | | σ | 0.023-0.026=-0.003 | | min | 300.685-300.681=0.004 | | max | 300.742-300.751=-0.009 |
| | mean | 1512.000-1509.000=3.000 | | σ | 0.000 | | min | 1512.000-1509.000=3.000 | | max | 1512.000-1509.000=3.000 |
| | mean | 0.400-0.400=-0.000 | | σ | 0.015-0.013=0.002 | | min | 0.388-0.388=0.000 | | max | 0.425-0.417=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.895-1322.893=0.001 | | σ | 0.098-0.095=0.003 | | min | 1322.840-1322.840=-0.001 | | max | 1323.068-1323.062=0.006 |
| | mean | 1512.000-1509.000=3.000 | | σ | 0.000 | | min | 1512.000-1509.000=3.000 | | max | 1512.000-1509.000=3.000 |
| | mean | 1.896-1.877=0.019 | | σ | 0.093-0.055=0.038 | | min | 1.792-1.814=-0.022 | | max | 2.025-1.956=0.069 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.325-1561.363=-0.038 | | σ | 6.918-6.904=0.014 | | min | 1558.029-1558.052=-0.023 | | max | 1573.696-1573.709=-0.013 |
| | mean | 1512.000-1509.000=3.000 | | σ | 0.000 | | min | 1512.000-1509.000=3.000 | | max | 1512.000-1509.000=3.000 |
| | mean | 2.277-2.407=-0.130 | | σ | 0.283-0.363=-0.081 | | min | 2.037-2.043=-0.006 | | max | 2.748-2.868=-0.121 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.810-1890.819=-0.009 | | σ | 0.020-0.020=0.000 | | min | 1890.791-1890.793=-0.002 | | max | 1890.836-1890.845=-0.009 |
| | mean | 1729.800-1728.800=1.000 | | σ | 213.815-213.993=-0.179 | | min | 1512.000-1509.000=3.000 | | max | 2027.000-2031.000=-4.000 |
| | mean | 2.907-2.905=0.002 | | σ | 0.106-0.070=0.036 | | min | 2.845-2.853=-0.009 | | max | 3.094-3.022=0.072 |
|