iters=5 new-facts=1 prior-facts=1 | | mean | 297.312-297.311=0.000 | | σ | 0.012-0.012=-0.000 | | min | 297.295-297.294=0.001 | | max | 297.326-297.326=-0.000 |
| | mean | 1638.000-1620.000=18.000 | | σ | 0.000 | | min | 1638.000-1620.000=18.000 | | max | 1638.000-1620.000=18.000 |
| | mean | 0.392-0.390=0.002 | | σ | 0.006-0.006=-0.000 | | min | 0.386-0.383=0.003 | | max | 0.400-0.398=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.673-1298.694=-0.021 | | σ | 0.083-0.036=0.047 | | min | 1298.528-1298.633=-0.104 | | max | 1298.729-1298.725=0.004 |
| | mean | 1638.000-1620.000=18.000 | | σ | 0.000 | | min | 1638.000-1620.000=18.000 | | max | 1638.000-1620.000=18.000 |
| | mean | 1.889-1.960=-0.071 | | σ | 0.064-0.155=-0.091 | | min | 1.823-1.820=0.003 | | max | 1.985-2.162=-0.178 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.874-1718.876=-0.002 | | σ | 6.889-6.893=-0.004 | | min | 1715.695-1715.678=0.017 | | max | 1731.194-1731.204=-0.010 |
| | mean | 1638.000-1620.000=18.000 | | σ | 0.000 | | min | 1638.000-1620.000=18.000 | | max | 1638.000-1620.000=18.000 |
| | mean | 2.978-2.841=0.137 | | σ | 0.207-0.296=-0.089 | | min | 2.806-2.511=0.295 | | max | 3.301-3.321=-0.020 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.589-1981.589=-0.001 | | σ | 0.041-0.030=0.010 | | min | 1981.516-1981.537=-0.021 | | max | 1981.609-1981.609=-0.000 |
| | mean | 1850.600-1810.600=40.000 | | σ | 207.390-208.070=-0.680 | | min | 1638.000-1620.000=18.000 | | max | 2098.000-2113.000=-15.000 |
| | mean | 3.184-3.349=-0.166 | | σ | 0.077-0.396=-0.319 | | min | 3.108-3.100=0.008 | | max | 3.303-4.052=-0.749 |
|