iters=5 new-facts=1 prior-facts=1 | | mean | 278.701-278.701=0.001 | | σ | 0.009-0.013=-0.004 | | min | 278.691-278.686=0.006 | | max | 278.713-278.721=-0.008 |
| | mean | 2667.000-2637.000=30.000 | | σ | 0.000 | | min | 2667.000-2637.000=30.000 | | max | 2667.000-2637.000=30.000 |
| | mean | 0.419-0.419=-0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.417-0.418=-0.001 | | max | 0.420-0.421=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.874-2268.862=0.012 | | σ | 0.016-0.018=-0.002 | | min | 2268.852-2268.841=0.012 | | max | 2268.897-2268.877=0.019 |
| | mean | 2667.000-2637.000=30.000 | | σ | 0.000 | | min | 2667.000-2637.000=30.000 | | max | 2667.000-2637.000=30.000 |
| | mean | 3.081-3.147=-0.066 | | σ | 0.208-0.169=0.039 | | min | 2.863-2.894=-0.032 | | max | 3.390-3.332=0.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.238-4952.339=-0.101 | | σ | 0.895-0.825=0.070 | | min | 4951.362-4951.853=-0.491 | | max | 4953.753-4953.809=-0.056 |
| | mean | 2667.000-2637.000=30.000 | | σ | 0.000 | | min | 2667.000-2637.000=30.000 | | max | 2667.000-2637.000=30.000 |
| | mean | 7.819-8.181=-0.361 | | σ | 0.194-0.342=-0.149 | | min | 7.631-7.821=-0.189 | | max | 8.063-8.679=-0.617 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.085-5167.084=0.001 | | σ | 0.010-0.009=0.000 | | min | 5167.075-5167.076=-0.001 | | max | 5167.099-5167.095=0.005 |
| | mean | 3434.200-3365.800=68.400 | | σ | 481.083-452.575=28.508 | | min | 2887.000-2924.000=-37.000 | | max | 4153.000-3828.000=325.000 |
| | mean | 9.302-9.430=-0.128 | | σ | 0.264-0.411=-0.147 | | min | 9.050-9.051=-0.001 | | max | 9.742-10.025=-0.284 |
|