iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.176=0.020 | | σ | 0.006-0.010=-0.004 | | min | 277.191-277.162=0.028 | | max | 277.206-277.190=0.016 |
| | mean | 2741.000-2628.000=113.000 | | σ | 0.000 | | min | 2741.000-2628.000=113.000 | | max | 2741.000-2628.000=113.000 |
| | mean | 0.405-0.402=0.004 | | σ | 0.009-0.007=0.001 | | min | 0.400-0.392=0.008 | | max | 0.421-0.411=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.427-2174.434=-0.007 | | σ | 0.010-0.009=0.001 | | min | 2174.415-2174.425=-0.010 | | max | 2174.441-2174.446=-0.005 |
| | mean | 2741.000-2628.000=113.000 | | σ | 0.000 | | min | 2741.000-2628.000=113.000 | | max | 2741.000-2628.000=113.000 |
| | mean | 2.808-3.024=-0.216 | | σ | 0.158-0.180=-0.022 | | min | 2.670-2.762=-0.093 | | max | 3.007-3.224=-0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.602-5052.644=-0.043 | | σ | 0.992-0.986=0.006 | | min | 5051.993-5052.064=-0.070 | | max | 5054.360-5054.397=-0.036 |
| | mean | 2741.000-2628.000=113.000 | | σ | 0.000 | | min | 2741.000-2628.000=113.000 | | max | 2741.000-2628.000=113.000 |
| | mean | 8.989-8.913=0.076 | | σ | 0.629-0.659=-0.030 | | min | 8.091-8.295=-0.204 | | max | 9.619-9.953=-0.334 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.255-5188.362=-0.107 | | σ | 0.106-0.126=-0.020 | | min | 5188.131-5188.167=-0.036 | | max | 5188.366-5188.516=-0.150 |
| | mean | 3227.400-3280.200=-52.800 | | σ | 463.644-436.529=27.115 | | min | 2741.000-2674.000=67.000 | | max | 3874.000-3684.000=190.000 |
| | mean | 8.772-9.086=-0.315 | | σ | 0.157-0.601=-0.444 | | min | 8.648-8.723=-0.076 | | max | 9.022-10.154=-1.132 |
|