iters=5 new-facts=1 prior-facts=1 | | mean | 270.139-278.844=-8.705 | | σ | 0.009-0.008=0.001 | | min | 270.131-278.830=-8.699 | | max | 270.154-278.849=-8.695 |
| | mean | 2769.000-2594.000=175.000 | | σ | 0.000 | | min | 2769.000-2594.000=175.000 | | max | 2769.000-2594.000=175.000 |
| | mean | 0.377-0.413=-0.036 | | σ | 0.004-0.005=-0.001 | | min | 0.371-0.407=-0.036 | | max | 0.382-0.418=-0.037 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-2268.904=-338.297 | | σ | 0.007-0.018=-0.011 | | min | 1930.596-2268.874=-338.278 | | max | 1930.615-2268.917=-338.302 |
| | mean | 2769.000-2594.000=175.000 | | σ | 0.000 | | min | 2769.000-2594.000=175.000 | | max | 2769.000-2594.000=175.000 |
| | mean | 2.512-2.956=-0.444 | | σ | 0.085-0.178=-0.094 | | min | 2.431-2.835=-0.404 | | max | 2.654-3.270=-0.616 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.332-4954.131=-202.798 | | σ | 0.888-0.964=-0.076 | | min | 4750.819-4953.217=-202.398 | | max | 4752.914-4955.765=-202.851 |
| | mean | 2769.000-2594.000=175.000 | | σ | 0.000 | | min | 2769.000-2594.000=175.000 | | max | 2769.000-2594.000=175.000 |
| | mean | 8.413-8.048=0.364 | | σ | 0.465-0.292=0.173 | | min | 7.741-7.688=0.053 | | max | 8.979-8.382=0.597 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.699-5168.811=-227.112 | | σ | 0.144-0.085=0.059 | | min | 4941.443-5168.748=-227.304 | | max | 4941.790-5168.909=-227.120 |
| | mean | 3044.400-3367.400=-323.000 | | σ | 235.302-461.935=-226.634 | | min | 2769.000-2764.000=5.000 | | max | 3371.000-3983.000=-612.000 |
| | mean | 8.680-9.361=-0.681 | | σ | 0.208-0.162=0.046 | | min | 8.394-9.130=-0.736 | | max | 8.925-9.587=-0.662 |
|