iters=5 new-facts=1 prior-facts=1 | | mean | 269.931-269.930=0.001 | | σ | 0.006-0.010=-0.005 | | min | 269.924-269.918=0.006 | | max | 269.940-269.942=-0.002 |
| | mean | 2774.000-2770.000=4.000 | | σ | 0.000 | | min | 2774.000-2770.000=4.000 | | max | 2774.000-2770.000=4.000 |
| | mean | 0.374-0.374=0.001 | | σ | 0.007-0.010=-0.003 | | min | 0.368-0.368=-0.000 | | max | 0.386-0.391=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.397-1930.401=-0.004 | | σ | 0.016-0.010=0.006 | | min | 1930.372-1930.388=-0.016 | | max | 1930.411-1930.411=-0.000 |
| | mean | 2774.000-2770.000=4.000 | | σ | 0.000 | | min | 2774.000-2770.000=4.000 | | max | 2774.000-2770.000=4.000 |
| | mean | 2.534-2.583=-0.049 | | σ | 0.109-0.161=-0.052 | | min | 2.416-2.426=-0.010 | | max | 2.710-2.789=-0.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.816-4750.921=-0.105 | | σ | 0.839-0.772=0.067 | | min | 4750.156-4750.444=-0.288 | | max | 4752.283-4752.290=-0.007 |
| | mean | 2774.000-2770.000=4.000 | | σ | 0.000 | | min | 2774.000-2770.000=4.000 | | max | 2774.000-2770.000=4.000 |
| | mean | 8.150-8.125=0.025 | | σ | 0.314-0.442=-0.128 | | min | 7.836-7.677=0.158 | | max | 8.529-8.618=-0.089 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.329-4941.335=-0.006 | | σ | 0.078-0.081=-0.003 | | min | 4941.254-4941.262=-0.008 | | max | 4941.413-4941.430=-0.017 |
| | mean | 3053.400-3016.400=37.000 | | σ | 340.142-286.606=53.536 | | min | 2774.000-2770.000=4.000 | | max | 3565.000-3426.000=139.000 |
| | mean | 8.441-8.392=0.049 | | σ | 0.152-0.126=0.026 | | min | 8.247-8.260=-0.013 | | max | 8.650-8.592=0.058 |
|