iters=5 new-facts=1 prior-facts=1 | | mean | 270.513-270.513=-0.000 | | σ | 0.007-0.007=-0.000 | | min | 270.504-270.504=-0.001 | | max | 270.522-270.521=0.001 |
| | mean | 2772.000-2815.000=-43.000 | | σ | 0.000 | | min | 2772.000-2815.000=-43.000 | | max | 2772.000-2815.000=-43.000 |
| | mean | 0.383-0.381=0.002 | | σ | 0.005-0.005=-0.001 | | min | 0.379-0.378=0.001 | | max | 0.391-0.391=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.941-1930.949=-0.009 | | σ | 0.010-0.012=-0.002 | | min | 1930.930-1930.940=-0.010 | | max | 1930.955-1930.970=-0.015 |
| | mean | 2772.000-2815.000=-43.000 | | σ | 0.000 | | min | 2772.000-2815.000=-43.000 | | max | 2772.000-2815.000=-43.000 |
| | mean | 2.984-2.900=0.084 | | σ | 0.093-0.247=-0.154 | | min | 2.893-2.466=0.426 | | max | 3.109-3.092=0.017 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.647-4751.553=0.093 | | σ | 0.906-0.975=-0.070 | | min | 4751.179-4750.721=0.458 | | max | 4753.265-4753.246=0.019 |
| | mean | 2772.000-2815.000=-43.000 | | σ | 0.000 | | min | 2772.000-2815.000=-43.000 | | max | 2772.000-2815.000=-43.000 |
| | mean | 8.621-8.618=0.003 | | σ | 0.436-0.124=0.312 | | min | 7.906-8.451=-0.544 | | max | 9.030-8.781=0.249 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.146-4942.145=0.001 | | σ | 0.015-0.012=0.004 | | min | 4942.129-4942.129=-0.000 | | max | 4942.158-4942.158=-0.000 |
| | mean | 3002.400-3053.200=-50.800 | | σ | 228.811-221.650=7.161 | | min | 2772.000-2815.000=-43.000 | | max | 3338.000-3368.000=-30.000 |
| | mean | 8.529-8.506=0.023 | | σ | 0.131-0.237=-0.106 | | min | 8.404-8.304=0.100 | | max | 8.726-8.824=-0.098 |
|