iters=5 new-facts=1 prior-facts=1 | | mean | 270.238-270.239=-0.001 | | σ | 0.007-0.006=0.000 | | min | 270.227-270.231=-0.004 | | max | 270.244-270.246=-0.002 |
| | mean | 2411.000-2416.000=-5.000 | | σ | 0.000 | | min | 2411.000-2416.000=-5.000 | | max | 2411.000-2416.000=-5.000 |
| | mean | 0.383-0.382=0.001 | | σ | 0.014-0.005=0.009 | | min | 0.371-0.378=-0.007 | | max | 0.408-0.392=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.701-1930.697=0.004 | | σ | 0.011-0.011=-0.001 | | min | 1930.689-1930.683=0.006 | | max | 1930.713-1930.711=0.002 |
| | mean | 2411.000-2416.000=-5.000 | | σ | 0.000 | | min | 2411.000-2416.000=-5.000 | | max | 2411.000-2416.000=-5.000 |
| | mean | 2.531-2.627=-0.096 | | σ | 0.090-0.174=-0.084 | | min | 2.457-2.462=-0.005 | | max | 2.641-2.854=-0.213 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.365-4751.480=-0.115 | | σ | 0.904-0.825=0.079 | | min | 4750.901-4751.011=-0.110 | | max | 4752.979-4752.951=0.028 |
| | mean | 2411.000-2416.000=-5.000 | | σ | 0.000 | | min | 2411.000-2416.000=-5.000 | | max | 2411.000-2416.000=-5.000 |
| | mean | 8.710-7.875=0.835 | | σ | 0.342-0.369=-0.027 | | min | 8.248-7.571=0.677 | | max | 9.066-8.506=0.560 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.728-4941.869=-0.141 | | σ | 0.314-0.015=0.300 | | min | 4941.166-4941.849=-0.683 | | max | 4941.881-4941.883=-0.002 |
| | mean | 3021.400-2925.600=95.800 | | σ | 312.687-411.219=-98.532 | | min | 2607.000-2416.000=191.000 | | max | 3424.000-3436.000=-12.000 |
| | mean | 8.524-8.541=-0.017 | | σ | 0.141-0.110=0.030 | | min | 8.383-8.413=-0.030 | | max | 8.719-8.672=0.046 |
|