iters=5 new-facts=1 prior-facts=1 | | mean | 273.610-270.231=3.380 | | σ | 0.007-0.008=-0.001 | | min | 273.601-270.220=3.381 | | max | 273.618-270.241=3.377 |
| | mean | 2845.000-2773.000=72.000 | | σ | 0.000 | | min | 2845.000-2773.000=72.000 | | max | 2845.000-2773.000=72.000 |
| | mean | 0.387-0.377=0.010 | | σ | 0.010-0.006=0.005 | | min | 0.379-0.370=0.009 | | max | 0.403-0.383=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.001-1930.700=3.302 | | σ | 0.019-0.017=0.002 | | min | 1933.973-1930.673=3.300 | | max | 1934.023-1930.717=3.307 |
| | mean | 2845.000-2773.000=72.000 | | σ | 0.000 | | min | 2845.000-2773.000=72.000 | | max | 2845.000-2773.000=72.000 |
| | mean | 3.104-2.534=0.570 | | σ | 0.328-0.097=0.231 | | min | 2.870-2.417=0.453 | | max | 3.679-2.678=1.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4614.224-4751.442=-137.217 | | σ | 314.523-0.885=313.638 | | min | 4051.591-4750.861=-699.270 | | max | 4756.329-4753.001=3.329 |
| | mean | 2845.000-2773.000=72.000 | | σ | 0.000 | | min | 2845.000-2773.000=72.000 | | max | 2845.000-2773.000=72.000 |
| | mean | 8.139-8.258=-0.119 | | σ | 0.723-0.669=0.054 | | min | 7.017-7.608=-0.592 | | max | 8.790-9.146=-0.356 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.220-4941.718=3.502 | | σ | 0.015-0.202=-0.187 | | min | 4945.202-4941.465=3.737 | | max | 4945.244-4941.884=3.360 |
| | mean | 3025.200-3052.000=-26.800 | | σ | 263.403-342.809=-79.406 | | min | 2845.000-2773.000=72.000 | | max | 3445.000-3563.000=-118.000 |
| | mean | 8.567-8.417=0.150 | | σ | 0.185-0.126=0.059 | | min | 8.413-8.338=0.075 | | max | 8.792-8.628=0.164 |
|