iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-277.713=0.002 | | σ | 0.011-0.007=0.005 | | min | 277.698-277.703=-0.005 | | max | 277.728-277.721=0.007 |
| | mean | 2637.000-2692.000=-55.000 | | σ | 0.000 | | min | 2637.000-2692.000=-55.000 | | max | 2637.000-2692.000=-55.000 |
| | mean | 0.410-0.412=-0.002 | | σ | 0.000-0.000=-0.000 | | min | 0.409-0.411=-0.002 | | max | 0.410-0.412=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.889-2267.887=0.002 | | σ | 0.006-0.006=0.000 | | min | 2267.881-2267.879=0.002 | | max | 2267.895-2267.895=-0.000 |
| | mean | 2637.000-2692.000=-55.000 | | σ | 0.000 | | min | 2637.000-2692.000=-55.000 | | max | 2637.000-2692.000=-55.000 |
| | mean | 3.085-2.955=0.130 | | σ | 0.226-0.021=0.204 | | min | 2.929-2.932=-0.003 | | max | 3.450-2.974=0.476 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.050-4954.929=0.122 | | σ | 0.790-0.845=-0.055 | | min | 4954.595-4954.231=0.363 | | max | 4956.456-4956.385=0.071 |
| | mean | 2637.000-2692.000=-55.000 | | σ | 0.000 | | min | 2637.000-2692.000=-55.000 | | max | 2637.000-2692.000=-55.000 |
| | mean | 7.977-7.913=0.064 | | σ | 0.135-0.201=-0.066 | | min | 7.842-7.725=0.117 | | max | 8.194-8.246=-0.051 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.687-5169.696=-0.009 | | σ | 0.195-0.127=0.068 | | min | 5169.368-5169.497=-0.130 | | max | 5169.852-5169.849=0.003 |
| | mean | 3461.200-3402.600=58.600 | | σ | 497.369-453.714=43.655 | | min | 2835.000-2819.000=16.000 | | max | 4154.000-4010.000=144.000 |
| | mean | 9.455-9.711=-0.256 | | σ | 0.262-0.486=-0.224 | | min | 9.114-9.366=-0.252 | | max | 9.719-10.537=-0.818 |
|