iters=5 new-facts=1 prior-facts=1 | | mean | 272.793-272.792=0.001 | | σ | 0.008-0.004=0.004 | | min | 272.784-272.788=-0.004 | | max | 272.804-272.797=0.006 |
| | mean | 2493.000-2511.000=-18.000 | | σ | 0.000 | | min | 2493.000-2511.000=-18.000 | | max | 2493.000-2511.000=-18.000 |
| | mean | 0.384-0.379=0.005 | | σ | 0.007-0.001=0.007 | | min | 0.379-0.378=0.000 | | max | 0.394-0.380=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.225-1933.225=-0.000 | | σ | 0.016-0.008=0.008 | | min | 1933.199-1933.216=-0.017 | | max | 1933.238-1933.236=0.002 |
| | mean | 2493.000-2511.000=-18.000 | | σ | 0.000 | | min | 2493.000-2511.000=-18.000 | | max | 2493.000-2511.000=-18.000 |
| | mean | 3.034-3.039=-0.004 | | σ | 0.142-0.066=0.076 | | min | 2.807-2.974=-0.166 | | max | 3.173-3.133=0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.713-4756.956=-0.242 | | σ | 7.716-7.557=0.159 | | min | 4752.936-4753.419=-0.482 | | max | 4770.507-4770.473=0.034 |
| | mean | 2493.000-2511.000=-18.000 | | σ | 0.000 | | min | 2493.000-2511.000=-18.000 | | max | 2493.000-2511.000=-18.000 |
| | mean | 8.844-8.571=0.273 | | σ | 0.215-0.415=-0.200 | | min | 8.567-8.030=0.537 | | max | 9.022-9.187=-0.165 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.379-4944.452=-0.073 | | σ | 0.171-0.022=0.149 | | min | 4944.075-4944.434=-0.359 | | max | 4944.477-4944.479=-0.001 |
| | mean | 2922.000-2955.800=-33.800 | | σ | 320.153-284.613=35.540 | | min | 2493.000-2578.000=-85.000 | | max | 3359.000-3329.000=30.000 |
| | mean | 8.478-8.462=0.016 | | σ | 0.149-0.071=0.078 | | min | 8.231-8.358=-0.127 | | max | 8.601-8.527=0.073 |
|