iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-270.611=1.142 | | σ | 0.005-0.006=-0.002 | | min | 271.747-270.601=1.147 | | max | 271.760-270.618=1.142 |
| | mean | 2766.000-2769.000=-3.000 | | σ | 0.000 | | min | 2766.000-2769.000=-3.000 | | max | 2766.000-2769.000=-3.000 |
| | mean | 0.378-0.379=-0.001 | | σ | 0.002-0.004=-0.001 | | min | 0.375-0.377=-0.002 | | max | 0.381-0.386=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.179-1931.042=1.136 | | σ | 0.011-0.009=0.002 | | min | 1932.165-1931.035=1.131 | | max | 1932.196-1931.057=1.139 |
| | mean | 2766.000-2769.000=-3.000 | | σ | 0.000 | | min | 2766.000-2769.000=-3.000 | | max | 2766.000-2769.000=-3.000 |
| | mean | 2.982-2.989=-0.008 | | σ | 0.186-0.041=0.145 | | min | 2.764-2.948=-0.184 | | max | 3.266-3.052=0.214 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.913-4751.804=1.109 | | σ | 0.849-0.836=0.013 | | min | 4752.414-4751.221=1.193 | | max | 4754.421-4753.276=1.145 |
| | mean | 2766.000-2769.000=-3.000 | | σ | 0.000 | | min | 2766.000-2769.000=-3.000 | | max | 2766.000-2769.000=-3.000 |
| | mean | 8.441-8.203=0.238 | | σ | 0.518-0.629=-0.111 | | min | 7.610-7.732=-0.122 | | max | 8.947-9.172=-0.225 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.381-4942.162=1.220 | | σ | 0.015-0.147=-0.132 | | min | 4943.361-4941.903=1.458 | | max | 4943.396-4942.258=1.138 |
| | mean | 3046.600-3037.400=9.200 | | σ | 242.591-326.486=-83.895 | | min | 2766.000-2769.000=-3.000 | | max | 3395.000-3527.000=-132.000 |
| | mean | 8.807-8.459=0.349 | | σ | 0.254-0.134=0.120 | | min | 8.468-8.355=0.113 | | max | 9.181-8.693=0.489 |
|