iters=5 new-facts=1 prior-facts=1 | | mean | 326.618-326.638=-0.020 | | σ | 0.053-0.047=0.005 | | min | 326.530-326.555=-0.026 | | max | 326.664-326.676=-0.013 |
| | mean | 2835.000-2597.000=238.000 | | σ | 0.000 | | min | 2835.000-2597.000=238.000 | | max | 2835.000-2597.000=238.000 |
| | mean | 0.427-0.423=0.003 | | σ | 0.004-0.001=0.003 | | min | 0.424-0.422=0.002 | | max | 0.433-0.424=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.808-1988.806=0.002 | | σ | 0.005-0.010=-0.005 | | min | 1988.801-1988.788=0.013 | | max | 1988.814-1988.814=0.000 |
| | mean | 2835.000-2597.000=238.000 | | σ | 0.000 | | min | 2835.000-2597.000=238.000 | | max | 2835.000-2597.000=238.000 |
| | mean | 2.730-2.696=0.034 | | σ | 0.137-0.074=0.063 | | min | 2.585-2.613=-0.028 | | max | 2.921-2.801=0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.532-4813.669=-0.137 | | σ | 7.803-7.710=0.093 | | min | 4809.577-4810.133=-0.556 | | max | 4827.482-4827.460=0.022 |
| | mean | 2835.000-2597.000=238.000 | | σ | 0.000 | | min | 2835.000-2597.000=238.000 | | max | 2835.000-2597.000=238.000 |
| | mean | 8.822-8.601=0.221 | | σ | 0.477-0.590=-0.113 | | min | 8.092-7.690=0.401 | | max | 9.326-9.136=0.190 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.208-5001.000=0.207 | | σ | 0.024-0.310=-0.287 | | min | 5001.185-5000.519=0.667 | | max | 5001.246-5001.231=0.015 |
| | mean | 2970.000-2994.000=-24.000 | | σ | 166.160-271.282=-105.123 | | min | 2835.000-2602.000=233.000 | | max | 3242.000-3324.000=-82.000 |
| | mean | 9.771-9.879=-0.108 | | σ | 0.155-0.251=-0.096 | | min | 9.526-9.614=-0.089 | | max | 9.954-10.292=-0.338 |
|