iters=5 new-facts=1 prior-facts=1 | | mean | 277.200-277.196=0.004 | | σ | 0.008-0.006=0.002 | | min | 277.192-277.190=0.002 | | max | 277.209-277.205=0.005 |
| | mean | 2613.000-2663.000=-50.000 | | σ | 0.000 | | min | 2613.000-2663.000=-50.000 | | max | 2613.000-2663.000=-50.000 |
| | mean | 0.410-0.407=0.003 | | σ | 0.015-0.008=0.007 | | min | 0.399-0.399=-0.000 | | max | 0.430-0.416=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.426-2174.427=-0.001 | | σ | 0.016-0.017=-0.001 | | min | 2174.399-2174.410=-0.011 | | max | 2174.436-2174.451=-0.015 |
| | mean | 2613.000-2663.000=-50.000 | | σ | 0.000 | | min | 2613.000-2663.000=-50.000 | | max | 2613.000-2663.000=-50.000 |
| | mean | 2.825-3.126=-0.301 | | σ | 0.115-0.214=-0.098 | | min | 2.743-2.836=-0.094 | | max | 3.027-3.433=-0.406 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.490-5052.602=-0.112 | | σ | 1.121-0.941=0.180 | | min | 5051.498-5051.991=-0.493 | | max | 5054.424-5054.268=0.156 |
| | mean | 2613.000-2663.000=-50.000 | | σ | 0.000 | | min | 2613.000-2663.000=-50.000 | | max | 2613.000-2663.000=-50.000 |
| | mean | 8.929-8.833=0.096 | | σ | 0.697-0.591=0.106 | | min | 8.062-8.172=-0.110 | | max | 9.823-9.372=0.451 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.417-5188.413=0.004 | | σ | 0.095-0.073=0.022 | | min | 5188.329-5188.359=-0.029 | | max | 5188.521-5188.526=-0.004 |
| | mean | 3239.200-3282.600=-43.400 | | σ | 363.234-423.635=-60.401 | | min | 2830.000-2684.000=146.000 | | max | 3779.000-3672.000=107.000 |
| | mean | 8.758-8.978=-0.220 | | σ | 0.127-0.317=-0.190 | | min | 8.572-8.700=-0.128 | | max | 8.885-9.493=-0.608 |
|