iters=5 new-facts=1 prior-facts=1 | | mean | 326.575-326.574=0.001 | | σ | 0.041-0.051=-0.010 | | min | 326.505-326.484=0.021 | | max | 326.615-326.609=0.006 |
| | mean | 2589.000-2821.000=-232.000 | | σ | 0.000 | | min | 2589.000-2821.000=-232.000 | | max | 2589.000-2821.000=-232.000 |
| | mean | 0.428-0.424=0.003 | | σ | 0.005-0.002=0.003 | | min | 0.423-0.422=0.002 | | max | 0.434-0.428=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.739-1988.733=0.006 | | σ | 0.012-0.017=-0.006 | | min | 1988.721-1988.710=0.011 | | max | 1988.751-1988.751=0.000 |
| | mean | 2589.000-2821.000=-232.000 | | σ | 0.000 | | min | 2589.000-2821.000=-232.000 | | max | 2589.000-2821.000=-232.000 |
| | mean | 2.739-2.660=0.079 | | σ | 0.130-0.079=0.050 | | min | 2.623-2.555=0.067 | | max | 2.955-2.779=0.176 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.457-4813.461=-0.003 | | σ | 7.795-7.472=0.324 | | min | 4809.536-4810.078=-0.543 | | max | 4827.394-4826.826=0.568 |
| | mean | 2589.000-2821.000=-232.000 | | σ | 0.000 | | min | 2589.000-2821.000=-232.000 | | max | 2589.000-2821.000=-232.000 |
| | mean | 8.836-8.809=0.028 | | σ | 0.289-0.307=-0.018 | | min | 8.512-8.332=0.179 | | max | 9.243-9.093=0.150 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.139-5001.148=-0.010 | | σ | 0.021-0.017=0.005 | | min | 5001.113-5001.123=-0.011 | | max | 5001.162-5001.164=-0.001 |
| | mean | 3029.200-3025.800=3.400 | | σ | 322.845-209.028=113.817 | | min | 2589.000-2821.000=-232.000 | | max | 3335.000-3315.000=20.000 |
| | mean | 9.841-9.811=0.030 | | σ | 0.154-0.547=-0.393 | | min | 9.639-8.914=0.725 | | max | 9.962-10.391=-0.429 |
|