iters=5 new-facts=1 prior-facts=1 | | mean | 271.954-271.952=0.001 | | σ | 0.003-0.006=-0.003 | | min | 271.950-271.944=0.006 | | max | 271.957-271.959=-0.001 |
| | mean | 2849.000-2777.000=72.000 | | σ | 0.000 | | min | 2849.000-2777.000=72.000 | | max | 2849.000-2777.000=72.000 |
| | mean | 0.379-0.383=-0.004 | | σ | 0.001-0.008=-0.006 | | min | 0.377-0.378=-0.001 | | max | 0.381-0.397=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.328-1932.327=0.001 | | σ | 0.008-0.016=-0.008 | | min | 1932.319-1932.305=0.014 | | max | 1932.337-1932.346=-0.009 |
| | mean | 2849.000-2777.000=72.000 | | σ | 0.000 | | min | 2849.000-2777.000=72.000 | | max | 2849.000-2777.000=72.000 |
| | mean | 3.106-3.071=0.035 | | σ | 0.134-0.158=-0.024 | | min | 2.986-2.862=0.124 | | max | 3.270-3.236=0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.005-4753.020=-0.015 | | σ | 1.007-0.542=0.465 | | min | 4752.021-4752.708=-0.687 | | max | 4754.695-4753.985=0.710 |
| | mean | 2849.000-2777.000=72.000 | | σ | 0.000 | | min | 2849.000-2777.000=72.000 | | max | 2849.000-2777.000=72.000 |
| | mean | 8.229-8.251=-0.022 | | σ | 0.724-0.303=0.422 | | min | 7.510-7.774=-0.264 | | max | 9.082-8.548=0.534 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.492-4943.555=-0.063 | | σ | 0.153-0.023=0.131 | | min | 4943.219-4943.522=-0.303 | | max | 4943.576-4943.580=-0.005 |
| | mean | 3048.400-3052.200=-3.800 | | σ | 264.140-336.117=-71.977 | | min | 2849.000-2777.000=72.000 | | max | 3446.000-3559.000=-113.000 |
| | mean | 8.516-8.434=0.082 | | σ | 0.209-0.120=0.090 | | min | 8.284-8.332=-0.048 | | max | 8.751-8.642=0.109 |
|