iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-272.756=0.001 | | σ | 0.006-0.008=-0.002 | | min | 272.750-272.744=0.006 | | max | 272.764-272.766=-0.002 |
| | mean | 2779.000-2504.000=275.000 | | σ | 0.000 | | min | 2779.000-2504.000=275.000 | | max | 2779.000-2504.000=275.000 |
| | mean | 0.383-0.383=-0.000 | | σ | 0.008-0.010=-0.002 | | min | 0.378-0.371=0.007 | | max | 0.397-0.397=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.168-1933.158=0.010 | | σ | 0.015-0.017=-0.002 | | min | 1933.145-1933.130=0.015 | | max | 1933.181-1933.177=0.005 |
| | mean | 2779.000-2504.000=275.000 | | σ | 0.000 | | min | 2779.000-2504.000=275.000 | | max | 2779.000-2504.000=275.000 |
| | mean | 3.057-3.070=-0.013 | | σ | 0.054-0.214=-0.160 | | min | 3.019-2.771=0.247 | | max | 3.152-3.373=-0.221 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.923-4756.813=0.109 | | σ | 7.561-7.653=-0.092 | | min | 4753.485-4753.000=0.485 | | max | 4770.449-4770.497=-0.049 |
| | mean | 2779.000-2504.000=275.000 | | σ | 0.000 | | min | 2779.000-2504.000=275.000 | | max | 2779.000-2504.000=275.000 |
| | mean | 8.436-8.513=-0.077 | | σ | 0.400-0.427=-0.027 | | min | 7.837-7.843=-0.007 | | max | 8.909-9.034=-0.125 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.325-4944.398=-0.073 | | σ | 0.146-0.025=0.121 | | min | 4944.065-4944.363=-0.299 | | max | 4944.406-4944.423=-0.018 |
| | mean | 3038.200-2961.400=76.800 | | σ | 315.303-402.498=-87.195 | | min | 2779.000-2504.000=275.000 | | max | 3512.000-3479.000=33.000 |
| | mean | 8.496-8.495=0.001 | | σ | 0.114-0.086=0.028 | | min | 8.414-8.408=0.006 | | max | 8.690-8.616=0.074 |
|