iters=5 new-facts=1 prior-facts=1 | | mean | 270.114-270.126=-0.013 | | σ | 0.013-0.005=0.007 | | min | 270.096-270.118=-0.022 | | max | 270.133-270.133=0.000 |
| | mean | 2847.000-2507.000=340.000 | | σ | 0.000 | | min | 2847.000-2507.000=340.000 | | max | 2847.000-2507.000=340.000 |
| | mean | 0.375-0.373=0.002 | | σ | 0.004-0.004=0.000 | | min | 0.371-0.369=0.002 | | max | 0.381-0.379=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.589-1930.596=-0.007 | | σ | 0.017-0.016=0.001 | | min | 1930.564-1930.572=-0.008 | | max | 1930.604-1930.612=-0.008 |
| | mean | 2847.000-2507.000=340.000 | | σ | 0.000 | | min | 2847.000-2507.000=340.000 | | max | 2847.000-2507.000=340.000 |
| | mean | 2.579-2.581=-0.002 | | σ | 0.115-0.155=-0.040 | | min | 2.430-2.444=-0.013 | | max | 2.722-2.810=-0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.127-4750.887=0.240 | | σ | 0.813-0.315=0.498 | | min | 4750.667-4750.684=-0.016 | | max | 4752.572-4751.445=1.127 |
| | mean | 2847.000-2507.000=340.000 | | σ | 0.000 | | min | 2847.000-2507.000=340.000 | | max | 2847.000-2507.000=340.000 |
| | mean | 8.124-8.346=-0.223 | | σ | 0.510-0.525=-0.015 | | min | 7.780-7.786=-0.006 | | max | 9.016-8.955=0.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.524-4941.453=0.071 | | σ | 0.074-0.215=-0.141 | | min | 4941.459-4941.097=0.362 | | max | 4941.604-4941.636=-0.032 |
| | mean | 3081.600-2931.200=150.400 | | σ | 309.385-384.586=-75.202 | | min | 2847.000-2507.000=340.000 | | max | 3561.000-3430.000=131.000 |
| | mean | 8.382-8.461=-0.079 | | σ | 0.141-0.354=-0.213 | | min | 8.254-8.241=0.013 | | max | 8.621-9.090=-0.469 |
|