iters=5 new-facts=1 prior-facts=1 | | mean | 300.698-300.690=0.008 | | σ | 0.024-0.033=-0.009 | | min | 300.673-300.635=0.038 | | max | 300.733-300.715=0.018 |
| | mean | 1622.000-1636.000=-14.000 | | σ | 0.000 | | min | 1622.000-1636.000=-14.000 | | max | 1622.000-1636.000=-14.000 |
| | mean | 0.394-0.396=-0.002 | | σ | 0.006-0.007=-0.000 | | min | 0.389-0.389=0.000 | | max | 0.401-0.401=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.867-1322.875=-0.008 | | σ | 0.091-0.092=-0.001 | | min | 1322.815-1322.817=-0.002 | | max | 1323.028-1323.032=-0.004 |
| | mean | 1622.000-1636.000=-14.000 | | σ | 0.000 | | min | 1622.000-1636.000=-14.000 | | max | 1622.000-1636.000=-14.000 |
| | mean | 1.942-1.918=0.024 | | σ | 0.118-0.087=0.031 | | min | 1.824-1.829=-0.005 | | max | 2.073-2.035=0.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.350-1561.359=-0.009 | | σ | 6.830-6.833=-0.003 | | min | 1558.093-1558.135=-0.043 | | max | 1573.564-1573.580=-0.015 |
| | mean | 1622.000-1636.000=-14.000 | | σ | 0.000 | | min | 1622.000-1636.000=-14.000 | | max | 1622.000-1636.000=-14.000 |
| | mean | 2.366-2.369=-0.003 | | σ | 0.223-0.270=-0.047 | | min | 2.036-2.053=-0.017 | | max | 2.618-2.682=-0.064 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.785-1890.790=-0.005 | | σ | 0.016-0.010=0.006 | | min | 1890.764-1890.783=-0.019 | | max | 1890.807-1890.807=0.000 |
| | mean | 1765.000-1779.600=-14.600 | | σ | 172.276-170.418=1.858 | | min | 1622.000-1636.000=-14.000 | | max | 2026.000-2029.000=-3.000 |
| | mean | 2.930-2.895=0.035 | | σ | 0.131-0.138=-0.007 | | min | 2.839-2.723=0.117 | | max | 3.161-3.105=0.056 |
|