iters=5 new-facts=1 prior-facts=1 | | mean | 270.512-270.513=-0.000 | | σ | 0.007-0.007=-0.000 | | min | 270.504-270.504=-0.000 | | max | 270.522-270.522=0.001 |
| | mean | 2796.000-2772.000=24.000 | | σ | 0.000 | | min | 2796.000-2772.000=24.000 | | max | 2796.000-2772.000=24.000 |
| | mean | 0.382-0.383=-0.001 | | σ | 0.004-0.005=-0.001 | | min | 0.378-0.379=-0.001 | | max | 0.389-0.391=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.953-1930.941=0.013 | | σ | 0.007-0.010=-0.003 | | min | 1930.945-1930.930=0.015 | | max | 1930.961-1930.955=0.006 |
| | mean | 2796.000-2772.000=24.000 | | σ | 0.000 | | min | 2796.000-2772.000=24.000 | | max | 2796.000-2772.000=24.000 |
| | mean | 3.030-2.984=0.046 | | σ | 0.163-0.093=0.070 | | min | 2.800-2.893=-0.093 | | max | 3.203-3.109=0.094 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.681-4751.647=0.035 | | σ | 0.834-0.906=-0.072 | | min | 4751.174-4751.179=-0.005 | | max | 4753.161-4753.265=-0.104 |
| | mean | 2796.000-2772.000=24.000 | | σ | 0.000 | | min | 2796.000-2772.000=24.000 | | max | 2796.000-2772.000=24.000 |
| | mean | 8.383-8.621=-0.238 | | σ | 0.489-0.436=0.053 | | min | 7.733-7.906=-0.173 | | max | 8.971-9.030=-0.059 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.000-4942.146=-0.146 | | σ | 0.204-0.015=0.189 | | min | 4941.767-4942.129=-0.362 | | max | 4942.162-4942.158=0.005 |
| | mean | 3039.200-3002.400=36.800 | | σ | 232.394-228.811=3.584 | | min | 2796.000-2772.000=24.000 | | max | 3338.000 |
| | mean | 8.631-8.529=0.101 | | σ | 0.330-0.131=0.199 | | min | 8.315-8.404=-0.089 | | max | 9.126-8.726=0.400 |
|