iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-277.190=-1.621 | | σ | 0.007-0.008=-0.001 | | min | 275.557-277.179=-1.622 | | max | 275.575-277.199=-1.624 |
| | mean | 2844.000-2611.000=233.000 | | σ | 0.000 | | min | 2844.000-2611.000=233.000 | | max | 2844.000-2611.000=233.000 |
| | mean | 0.404-0.394=0.011 | | σ | 0.007-0.006=0.001 | | min | 0.397-0.386=0.011 | | max | 0.411-0.403=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101-2169.696=-1.595 | | σ | 0.010-0.027=-0.017 | | min | 2168.089-2169.667=-1.578 | | max | 2168.113-2169.740=-1.628 |
| | mean | 2844.000-2611.000=233.000 | | σ | 0.000 | | min | 2844.000-2611.000=233.000 | | max | 2844.000-2611.000=233.000 |
| | mean | 3.050-2.830=0.220 | | σ | 0.172-0.182=-0.010 | | min | 2.811-2.699=0.111 | | max | 3.223-3.151=0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.888-5049.563=-1.675 | | σ | 0.878-0.952=-0.074 | | min | 5047.414-5049.018=-1.604 | | max | 5049.450-5051.261=-1.810 |
| | mean | 2844.000-2611.000=233.000 | | σ | 0.000 | | min | 2844.000-2611.000=233.000 | | max | 2844.000-2611.000=233.000 |
| | mean | 8.830-8.877=-0.048 | | σ | 0.374-0.541=-0.167 | | min | 8.214-8.057=0.157 | | max | 9.122-9.375=-0.253 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.908-5180.518=-1.609 | | σ | 0.263-0.266=-0.002 | | min | 5178.625-5180.234=-1.609 | | max | 5179.149-5180.765=-1.616 |
| | mean | 3250.600-3188.000=62.600 | | σ | 328.141-476.129=-147.987 | | min | 2844.000-2611.000=233.000 | | max | 3695.000-3820.000=-125.000 |
| | mean | 9.855-8.797=1.058 | | σ | 0.323-0.300=0.024 | | min | 9.463-8.625=0.838 | | max | 10.222-9.330=0.891 |
|