iters=5 new-facts=1 prior-facts=1 | | mean | 326.577-326.587=-0.010 | | σ | 0.046-0.024=0.022 | | min | 326.496-326.547=-0.051 | | max | 326.606-326.608=-0.002 |
| | mean | 2838.000-2835.000=3.000 | | σ | 0.000 | | min | 2838.000-2835.000=3.000 | | max | 2838.000-2835.000=3.000 |
| | mean | 0.423-0.427=-0.005 | | σ | 0.001-0.006=-0.004 | | min | 0.420-0.422=-0.002 | | max | 0.424-0.434=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.740-1988.740=0.001 | | σ | 0.008-0.015=-0.007 | | min | 1988.728-1988.715=0.013 | | max | 1988.749-1988.752=-0.003 |
| | mean | 2838.000-2835.000=3.000 | | σ | 0.000 | | min | 2838.000-2835.000=3.000 | | max | 2838.000-2835.000=3.000 |
| | mean | 2.717-2.700=0.016 | | σ | 0.102-0.159=-0.056 | | min | 2.638-2.566=0.072 | | max | 2.853-2.965=-0.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.475-4813.474=0.001 | | σ | 7.773-7.800=-0.027 | | min | 4809.666-4809.583=0.083 | | max | 4827.375-4827.421=-0.046 |
| | mean | 2838.000-2835.000=3.000 | | σ | 0.000 | | min | 2838.000-2835.000=3.000 | | max | 2838.000-2835.000=3.000 |
| | mean | 8.937-8.943=-0.007 | | σ | 0.423-0.294=0.129 | | min | 8.586-8.515=0.071 | | max | 9.622-9.228=0.394 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4820.965-5001.067=-180.102 | | σ | 402.894-0.166=402.728 | | min | 4100.246-5000.770=-900.524 | | max | 5001.156-5001.153=0.003 |
| | mean | 2989.000-3001.600=-12.600 | | σ | 232.222-188.309=43.913 | | min | 2838.000-2835.000=3.000 | | max | 3365.000-3294.000=71.000 |
| | mean | 9.314-9.571=-0.258 | | σ | 0.885-0.619=0.266 | | min | 7.738-8.475=-0.736 | | max | 9.792-9.940=-0.148 |
|