iters=5 new-facts=1 prior-facts=1 | | mean | 321.044-324.015=-2.971 | | σ | 0.055-0.061=-0.006 | | min | 320.946-323.906=-2.959 | | max | 321.073-324.047=-2.974 |
| | mean | 2839.000-2504.000=335.000 | | σ | 0.000 | | min | 2839.000-2504.000=335.000 | | max | 2839.000-2504.000=335.000 |
| | mean | 0.424-0.435=-0.011 | | σ | 0.003-0.015=-0.012 | | min | 0.420-0.426=-0.007 | | max | 0.429-0.462=-0.033 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.617-1984.587=-2.970 | | σ | 0.019-0.019=-0.000 | | min | 1981.583-1984.560=-2.977 | | max | 1981.629-1984.607=-2.977 |
| | mean | 2839.000-2504.000=335.000 | | σ | 0.000 | | min | 2839.000-2504.000=335.000 | | max | 2839.000-2504.000=335.000 |
| | mean | 2.650-2.649=0.002 | | σ | 0.168-0.112=0.056 | | min | 2.484-2.556=-0.072 | | max | 2.922-2.772=0.149 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.142-4808.117=-2.976 | | σ | 7.476-7.577=-0.102 | | min | 4801.765-4804.637=-2.872 | | max | 4818.514-4821.671=-3.157 |
| | mean | 2839.000-2504.000=335.000 | | σ | 0.000 | | min | 2839.000-2504.000=335.000 | | max | 2839.000-2504.000=335.000 |
| | mean | 8.909-8.816=0.093 | | σ | 0.139-0.315=-0.176 | | min | 8.677-8.454=0.223 | | max | 9.034-9.117=-0.083 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.830-4995.811=-2.981 | | σ | 0.018-0.013=0.005 | | min | 4992.811-4995.794=-2.984 | | max | 4992.851-4995.826=-2.975 |
| | mean | 3033.800-2951.000=82.800 | | σ | 198.310-382.573=-184.263 | | min | 2839.000-2504.000=335.000 | | max | 3307.000-3445.000=-138.000 |
| | mean | 8.705-9.010=-0.305 | | σ | 0.116-0.449=-0.333 | | min | 8.550-8.480=0.070 | | max | 8.823-9.677=-0.854 |
|