iters=5 new-facts=1 prior-facts=1 | | mean | 279.070-273.400=5.670 | | σ | 0.004-0.012=-0.008 | | min | 279.064-273.389=5.675 | | max | 279.075-273.414=5.661 |
| | mean | 2858.000-2506.000=352.000 | | σ | 0.000 | | min | 2858.000-2506.000=352.000 | | max | 2858.000-2506.000=352.000 |
| | mean | 0.392-0.384=0.008 | | σ | 0.006-0.009=-0.003 | | min | 0.385-0.377=0.008 | | max | 0.399-0.397=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.520-1933.842=5.678 | | σ | 0.009-0.014=-0.005 | | min | 1939.508-1933.833=5.675 | | max | 1939.529-1933.866=5.663 |
| | mean | 2858.000-2506.000=352.000 | | σ | 0.000 | | min | 2858.000-2506.000=352.000 | | max | 2858.000-2506.000=352.000 |
| | mean | 3.071-2.949=0.122 | | σ | 0.089-0.185=-0.095 | | min | 2.983-2.648=0.335 | | max | 3.186-3.149=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4759.833-4754.225=5.608 | | σ | 0.972-0.597=0.375 | | min | 4759.085-4753.780=5.306 | | max | 4761.470-4755.274=6.196 |
| | mean | 2858.000-2506.000=352.000 | | σ | 0.000 | | min | 2858.000-2506.000=352.000 | | max | 2858.000-2506.000=352.000 |
| | mean | 8.139-8.508=-0.369 | | σ | 0.334-0.581=-0.247 | | min | 7.682-7.699=-0.017 | | max | 8.585-9.085=-0.500 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.399-4944.714=5.685 | | σ | 0.209-0.201=0.008 | | min | 4950.050-4944.382=5.669 | | max | 4950.567-4944.877=5.691 |
| | mean | 3044.200-2963.800=80.400 | | σ | 266.387-431.363=-164.975 | | min | 2858.000-2506.000=352.000 | | max | 3462.000-3551.000=-89.000 |
| | mean | 8.377-8.417=-0.039 | | σ | 0.050-0.147=-0.097 | | min | 8.318-8.246=0.072 | | max | 8.441-8.644=-0.203 |
|