iters=5 new-facts=1 prior-facts=1 | | mean | 273.382-273.404=-0.022 | | σ | 0.020-0.008=0.012 | | min | 273.363-273.396=-0.033 | | max | 273.412-273.414=-0.002 |
| | mean | 2413.000-2513.000=-100.000 | | σ | 0.000 | | min | 2413.000-2513.000=-100.000 | | max | 2413.000-2513.000=-100.000 |
| | mean | 0.383-0.386=-0.003 | | σ | 0.008-0.011=-0.003 | | min | 0.376-0.377=-0.001 | | max | 0.396-0.398=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.837-1933.841=-0.004 | | σ | 0.013-0.017=-0.004 | | min | 1933.825-1933.829=-0.004 | | max | 1933.856-1933.869=-0.013 |
| | mean | 2413.000-2513.000=-100.000 | | σ | 0.000 | | min | 2413.000-2513.000=-100.000 | | max | 2413.000-2513.000=-100.000 |
| | mean | 2.959-2.862=0.097 | | σ | 0.174-0.229=-0.055 | | min | 2.665-2.496=0.169 | | max | 3.105-3.082=0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.282-4754.360=-0.078 | | σ | 0.917-0.791=0.126 | | min | 4753.450-4753.879=-0.429 | | max | 4755.853-4755.767=0.086 |
| | mean | 2413.000-2513.000=-100.000 | | σ | 0.000 | | min | 2413.000-2513.000=-100.000 | | max | 2413.000-2513.000=-100.000 |
| | mean | 8.118-8.312=-0.194 | | σ | 0.423-0.594=-0.171 | | min | 7.728-7.800=-0.072 | | max | 8.821-9.265=-0.444 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.795-4944.725=0.070 | | σ | 0.077-0.127=-0.050 | | min | 4944.732-4944.525=0.207 | | max | 4944.880-4944.878=0.002 |
| | mean | 2947.400-2943.200=4.200 | | σ | 441.387-396.335=45.052 | | min | 2413.000-2513.000=-100.000 | | max | 3528.000-3471.000=57.000 |
| | mean | 8.455-8.438=0.017 | | σ | 0.099-0.127=-0.028 | | min | 8.327-8.345=-0.017 | | max | 8.589-8.660=-0.071 |
|