iters=5 new-facts=1 prior-facts=1 | | mean | 274.828-274.827=0.001 | | σ | 0.004-0.006=-0.001 | | min | 274.823-274.819=0.004 | | max | 274.834-274.834=0.000 |
| | mean | 2663.000-2653.000=10.000 | | σ | 0.000 | | min | 2663.000-2653.000=10.000 | | max | 2663.000-2653.000=10.000 |
| | mean | 0.391-0.390=0.001 | | σ | 0.009-0.010=-0.001 | | min | 0.383-0.382=0.001 | | max | 0.402-0.403=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1940.003-1940.002=0.001 | | σ | 0.008-0.008=-0.000 | | min | 1939.994-1939.991=0.004 | | max | 1940.011-1940.012=-0.000 |
| | mean | 2663.000-2653.000=10.000 | | σ | 0.000 | | min | 2663.000-2653.000=10.000 | | max | 2663.000-2653.000=10.000 |
| | mean | 3.053-3.198=-0.145 | | σ | 0.099-0.248=-0.149 | | min | 2.956-2.986=-0.029 | | max | 3.196-3.613=-0.417 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4758.853-4758.675=0.178 | | σ | 0.897-0.678=0.219 | | min | 4758.334-4758.188=0.146 | | max | 4760.451-4759.871=0.580 |
| | mean | 2663.000-2653.000=10.000 | | σ | 0.000 | | min | 2663.000-2653.000=10.000 | | max | 2663.000-2653.000=10.000 |
| | mean | 8.170-8.635=-0.466 | | σ | 0.643-0.631=0.012 | | min | 7.731-7.704=0.027 | | max | 9.294-9.218=0.076 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4953.979-4953.987=-0.008 | | σ | 0.088-0.084=0.004 | | min | 4953.909-4953.919=-0.010 | | max | 4954.080-4954.091=-0.012 |
| | mean | 2976.800-2991.000=-14.200 | | σ | 354.721-278.542=76.180 | | min | 2663.000-2653.000=10.000 | | max | 3490.000-3263.000=227.000 |
| | mean | 8.478-8.811=-0.333 | | σ | 0.133-0.503=-0.370 | | min | 8.382-8.424=-0.042 | | max | 8.707-9.685=-0.978 |
|