iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.699=-0.002 | | σ | 0.011-0.012=-0.000 | | min | 278.687-278.683=0.003 | | max | 278.715-278.713=0.002 |
| | mean | 2855.000-2811.000=44.000 | | σ | 0.000 | | min | 2855.000-2811.000=44.000 | | max | 2855.000-2811.000=44.000 |
| | mean | 0.418-0.419=-0.001 | | σ | 0.002-0.001=0.002 | | min | 0.415-0.418=-0.003 | | max | 0.422-0.420=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.872-2268.874=-0.002 | | σ | 0.007-0.006=0.000 | | min | 2268.861-2268.867=-0.005 | | max | 2268.880-2268.883=-0.003 |
| | mean | 2855.000-2811.000=44.000 | | σ | 0.000 | | min | 2855.000-2811.000=44.000 | | max | 2855.000-2811.000=44.000 |
| | mean | 2.914-3.196=-0.282 | | σ | 0.152-0.179=-0.028 | | min | 2.720-2.946=-0.226 | | max | 3.140-3.452=-0.313 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.126-4952.369=-0.244 | | σ | 0.952-0.774=0.177 | | min | 4951.393-4951.933=-0.540 | | max | 4953.723-4953.750=-0.027 |
| | mean | 2855.000-2811.000=44.000 | | σ | 0.000 | | min | 2855.000-2811.000=44.000 | | max | 2855.000-2811.000=44.000 |
| | mean | 7.786-7.878=-0.092 | | σ | 0.219-0.246=-0.027 | | min | 7.625-7.665=-0.040 | | max | 8.148-8.217=-0.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.073-5167.072=0.001 | | σ | 0.010-0.006=0.004 | | min | 5167.065-5167.067=-0.003 | | max | 5167.088-5167.083=0.005 |
| | mean | 3401.400-3376.600=24.800 | | σ | 433.487-472.392=-38.904 | | min | 2855.000-2811.000=44.000 | | max | 3974.000-3834.000=140.000 |
| | mean | 9.201-9.109=0.092 | | σ | 0.309-0.056=0.252 | | min | 8.814-9.058=-0.245 | | max | 9.556-9.194=0.362 |
|