iters=5 new-facts=1 prior-facts=1 | | mean | 326.632-326.629=0.002 | | σ | 0.061-0.060=0.002 | | min | 326.523-326.523=-0.000 | | max | 326.671-326.661=0.010 |
| | mean | 2760.000-2607.000=153.000 | | σ | 0.000 | | min | 2760.000-2607.000=153.000 | | max | 2760.000-2607.000=153.000 |
| | mean | 0.429-0.427=0.002 | | σ | 0.006-0.004=0.002 | | min | 0.424-0.425=-0.001 | | max | 0.439-0.434=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.799-1988.796=0.003 | | σ | 0.015-0.016=-0.001 | | min | 1988.782-1988.778=0.003 | | max | 1988.820-1988.812=0.008 |
| | mean | 2760.000-2607.000=153.000 | | σ | 0.000 | | min | 2760.000-2607.000=153.000 | | max | 2760.000-2607.000=153.000 |
| | mean | 2.679-2.722=-0.044 | | σ | 0.143-0.103=0.040 | | min | 2.576-2.617=-0.042 | | max | 2.926-2.885=0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.553-4813.551=0.002 | | σ | 7.513-7.768=-0.256 | | min | 4810.142-4809.547=0.596 | | max | 4826.992-4827.434=-0.443 |
| | mean | 2760.000-2607.000=153.000 | | σ | 0.000 | | min | 2760.000-2607.000=153.000 | | max | 2760.000-2607.000=153.000 |
| | mean | 8.923-8.685=0.238 | | σ | 0.444-0.583=-0.139 | | min | 8.467-7.711=0.756 | | max | 9.539-9.221=0.317 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.131-5001.201=-0.070 | | σ | 0.156-0.027=0.129 | | min | 5000.855-5001.171=-0.316 | | max | 5001.231-5001.230=0.001 |
| | mean | 2989.200-2949.600=39.600 | | σ | 228.327-257.357=-29.030 | | min | 2760.000-2607.000=153.000 | | max | 3322.000-3290.000=32.000 |
| | mean | 9.645-9.762=-0.117 | | σ | 0.182-0.285=-0.103 | | min | 9.460-9.353=0.107 | | max | 9.901-10.046=-0.146 |
|