iters=5 new-facts=1 prior-facts=1 | | mean | 273.380-273.382=-0.002 | | σ | 0.013-0.020=-0.007 | | min | 273.363-273.363=-0.000 | | max | 273.394-273.412=-0.018 |
| | mean | 2467.000-2413.000=54.000 | | σ | 0.000 | | min | 2467.000-2413.000=54.000 | | max | 2467.000-2413.000=54.000 |
| | mean | 0.388-0.383=0.006 | | σ | 0.009-0.008=0.000 | | min | 0.378-0.376=0.002 | | max | 0.402-0.396=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.840-1933.837=0.002 | | σ | 0.010-0.013=-0.003 | | min | 1933.829-1933.825=0.004 | | max | 1933.851-1933.856=-0.005 |
| | mean | 2467.000-2413.000=54.000 | | σ | 0.000 | | min | 2467.000-2413.000=54.000 | | max | 2467.000-2413.000=54.000 |
| | mean | 3.126-2.959=0.167 | | σ | 0.169-0.174=-0.005 | | min | 2.941-2.665=0.276 | | max | 3.354-3.105=0.249 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.220-4754.282=-0.063 | | σ | 0.926-0.917=0.009 | | min | 4753.306-4753.450=-0.144 | | max | 4755.786-4755.853=-0.067 |
| | mean | 2467.000-2413.000=54.000 | | σ | 0.000 | | min | 2467.000-2413.000=54.000 | | max | 2467.000-2413.000=54.000 |
| | mean | 8.625-8.118=0.507 | | σ | 0.432-0.423=0.009 | | min | 7.860-7.728=0.132 | | max | 8.903-8.821=0.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.810-4944.795=0.015 | | σ | 0.086-0.077=0.009 | | min | 4944.743-4944.732=0.011 | | max | 4944.905-4944.880=0.025 |
| | mean | 3038.600-2947.400=91.200 | | σ | 419.760-441.387=-21.627 | | min | 2475.000-2413.000=62.000 | | max | 3558.000-3528.000=30.000 |
| | mean | 8.726-8.455=0.271 | | σ | 0.104-0.099=0.005 | | min | 8.636-8.327=0.308 | | max | 8.878-8.589=0.288 |
|