iters=5 new-facts=1 prior-facts=1 | | mean | 279.075-275.757=3.318 | | σ | 0.011-0.007=0.004 | | min | 279.062-275.749=3.313 | | max | 279.086-275.766=3.320 |
| | mean | 2478.000-2693.000=-215.000 | | σ | 0.000 | | min | 2478.000-2693.000=-215.000 | | max | 2478.000-2693.000=-215.000 |
| | mean | 0.396-0.403=-0.007 | | σ | 0.009-0.010=-0.001 | | min | 0.388-0.394=-0.006 | | max | 0.409-0.417=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.502-2168.270=-228.768 | | σ | 0.002-0.021=-0.020 | | min | 1939.499-2168.244=-228.745 | | max | 1939.503-2168.292=-228.788 |
| | mean | 2478.000-2693.000=-215.000 | | σ | 0.000 | | min | 2478.000-2693.000=-215.000 | | max | 2478.000-2693.000=-215.000 |
| | mean | 3.018-2.993=0.025 | | σ | 0.102-0.139=-0.037 | | min | 2.908-2.759=0.149 | | max | 3.173-3.109=0.065 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4759.840-5047.863=-288.023 | | σ | 0.749-0.758=-0.009 | | min | 4758.990-5047.189=-288.199 | | max | 4761.046-5049.170=-288.124 |
| | mean | 2478.000-2693.000=-215.000 | | σ | 0.000 | | min | 2478.000-2693.000=-215.000 | | max | 2478.000-2693.000=-215.000 |
| | mean | 8.144-9.046=-0.903 | | σ | 0.594-0.386=0.207 | | min | 7.792-8.427=-0.635 | | max | 9.181-9.425=-0.244 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.392-5179.222=-228.830 | | σ | 0.203-0.079=0.123 | | min | 4950.058-5179.146=-229.088 | | max | 4950.555-5179.312=-228.757 |
| | mean | 2937.000-3257.000=-320.000 | | σ | 381.737-325.601=56.136 | | min | 2478.000-2785.000=-307.000 | | max | 3447.000-3665.000=-218.000 |
| | mean | 8.413-9.740=-1.326 | | σ | 0.066-0.154=-0.088 | | min | 8.311-9.598=-1.287 | | max | 8.476-10.000=-1.525 |
|