iters=5 new-facts=1 prior-facts=1 | | mean | 271.756-270.611=1.145 | | σ | 0.006-0.006=0.000 | | min | 271.749-270.601=1.148 | | max | 271.764-270.618=1.146 |
| | mean | 2712.000-2769.000=-57.000 | | σ | 0.000 | | min | 2712.000-2769.000=-57.000 | | max | 2712.000-2769.000=-57.000 |
| | mean | 0.381-0.379=0.002 | | σ | 0.005-0.004=0.002 | | min | 0.376-0.377=-0.000 | | max | 0.389-0.386=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.175-1931.042=1.132 | | σ | 0.014-0.009=0.005 | | min | 1932.155-1931.035=1.120 | | max | 1932.192-1931.057=1.135 |
| | mean | 2712.000-2769.000=-57.000 | | σ | 0.000 | | min | 2712.000-2769.000=-57.000 | | max | 2712.000-2769.000=-57.000 |
| | mean | 2.981-2.989=-0.008 | | σ | 0.172-0.041=0.132 | | min | 2.709-2.948=-0.239 | | max | 3.165-3.052=0.113 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.796-4751.804=0.992 | | σ | 1.019-0.836=0.183 | | min | 4751.943-4751.221=0.723 | | max | 4754.556-4753.276=1.280 |
| | mean | 2712.000-2769.000=-57.000 | | σ | 0.000 | | min | 2712.000-2769.000=-57.000 | | max | 2712.000-2769.000=-57.000 |
| | mean | 8.572-8.203=0.368 | | σ | 0.587-0.629=-0.042 | | min | 7.628-7.732=-0.105 | | max | 9.168-9.172=-0.004 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.301-4942.162=1.139 | | σ | 0.155-0.147=0.009 | | min | 4943.024-4941.903=1.121 | | max | 4943.384-4942.258=1.126 |
| | mean | 2968.600-3037.400=-68.800 | | σ | 302.531-326.486=-23.955 | | min | 2712.000-2769.000=-57.000 | | max | 3417.000-3527.000=-110.000 |
| | mean | 8.454-8.459=-0.005 | | σ | 0.138-0.134=0.004 | | min | 8.332-8.355=-0.024 | | max | 8.684-8.693=-0.009 |
|