iters=5 new-facts=1 prior-facts=1 | | mean | 277.226-275.403=1.824 | | σ | 0.009-0.004=0.005 | | min | 277.217-275.397=1.820 | | max | 277.236-275.406=1.830 |
| | mean | 2647.000-2764.000=-117.000 | | σ | 0.000 | | min | 2647.000-2764.000=-117.000 | | max | 2647.000-2764.000=-117.000 |
| | mean | 0.405-0.418=-0.012 | | σ | 0.006-0.001=0.005 | | min | 0.400-0.416=-0.015 | | max | 0.413-0.419=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.475-2263.870=-89.395 | | σ | 0.018-0.019=-0.001 | | min | 2174.458-2263.848=-89.389 | | max | 2174.503-2263.891=-89.388 |
| | mean | 2647.000-2764.000=-117.000 | | σ | 0.000 | | min | 2647.000-2764.000=-117.000 | | max | 2647.000-2764.000=-117.000 |
| | mean | 2.977-3.120=-0.143 | | σ | 0.205-0.122=0.083 | | min | 2.707-2.926=-0.220 | | max | 3.253-3.242=0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.618-4951.893=100.724 | | σ | 1.009-0.821=0.188 | | min | 5052.067-4951.377=100.690 | | max | 5054.416-4953.353=101.063 |
| | mean | 2647.000-2764.000=-117.000 | | σ | 0.000 | | min | 2647.000-2764.000=-117.000 | | max | 2647.000-2764.000=-117.000 |
| | mean | 8.975-7.913=1.062 | | σ | 0.576-0.241=0.335 | | min | 8.100-7.688=0.412 | | max | 9.690-8.283=1.407 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.387-5164.722=23.665 | | σ | 0.213-0.140=0.072 | | min | 5188.036-5164.501=23.535 | | max | 5188.557-5164.850=23.707 |
| | mean | 3218.000-3372.400=-154.400 | | σ | 380.754-423.654=-42.900 | | min | 2680.000-2954.000=-274.000 | | max | 3691.000-3801.000=-110.000 |
| | mean | 9.074-9.247=-0.173 | | σ | 0.476-0.415=0.061 | | min | 8.604-8.633=-0.029 | | max | 9.707-9.628=0.080 |
|