iters=5 new-facts=1 prior-facts=1 | | mean | 278.819-278.807=0.012 | | σ | 0.013-0.030=-0.017 | | min | 278.797-278.753=0.044 | | max | 278.831-278.822=0.009 |
| | mean | 2720.000-2692.000=28.000 | | σ | 0.000 | | min | 2720.000-2692.000=28.000 | | max | 2720.000-2692.000=28.000 |
| | mean | 0.413-0.410=0.002 | | σ | 0.005-0.001=0.003 | | min | 0.408-0.409=-0.001 | | max | 0.420-0.412=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.890-2268.883=0.006 | | σ | 0.012-0.010=0.001 | | min | 2268.881-2268.872=0.008 | | max | 2268.910-2268.899=0.011 |
| | mean | 2720.000-2692.000=28.000 | | σ | 0.000 | | min | 2720.000-2692.000=28.000 | | max | 2720.000-2692.000=28.000 |
| | mean | 3.188-3.006=0.182 | | σ | 0.214-0.149=0.065 | | min | 2.915-2.899=0.016 | | max | 3.427-3.256=0.171 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.230-4954.259=-0.029 | | σ | 0.985-0.966=0.020 | | min | 4953.657-4953.665=-0.008 | | max | 4955.976-4955.970=0.006 |
| | mean | 2720.000-2692.000=28.000 | | σ | 0.000 | | min | 2720.000-2692.000=28.000 | | max | 2720.000-2692.000=28.000 |
| | mean | 8.295-8.160=0.135 | | σ | 0.407-0.407=-0.001 | | min | 7.837-7.715=0.121 | | max | 8.771-8.759=0.012 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.753-5168.751=0.002 | | σ | 0.223-0.151=0.072 | | min | 5168.375-5168.536=-0.161 | | max | 5168.897-5168.909=-0.012 |
| | mean | 3315.200-3447.800=-132.600 | | σ | 388.534-473.000=-84.466 | | min | 2929.000-2864.000=65.000 | | max | 3706.000-4132.000=-426.000 |
| | mean | 9.272-9.201=0.070 | | σ | 0.345-0.363=-0.018 | | min | 8.932-8.728=0.204 | | max | 9.789-9.628=0.160 |
|