iters=5 new-facts=1 prior-facts=1 | | mean | 275.757-277.202=-1.445 | | σ | 0.008-0.007=0.001 | | min | 275.748-277.192=-1.444 | | max | 275.766-277.210=-1.443 |
| | mean | 2497.000-2690.000=-193.000 | | σ | 0.000 | | min | 2497.000-2690.000=-193.000 | | max | 2497.000-2690.000=-193.000 |
| | mean | 0.403-0.418=-0.015 | | σ | 0.009-0.017=-0.008 | | min | 0.398-0.401=-0.003 | | max | 0.418-0.441=-0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.274-2174.435=-6.161 | | σ | 0.017-0.008=0.009 | | min | 2168.251-2174.426=-6.175 | | max | 2168.290-2174.445=-6.155 |
| | mean | 2497.000-2690.000=-193.000 | | σ | 0.000 | | min | 2497.000-2690.000=-193.000 | | max | 2497.000-2690.000=-193.000 |
| | mean | 2.977-2.992=-0.015 | | σ | 0.123-0.142=-0.020 | | min | 2.810-2.774=0.036 | | max | 3.117-3.139=-0.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.866-5052.537=-4.672 | | σ | 1.184-1.056=0.128 | | min | 5046.413-5051.688=-5.275 | | max | 5049.709-5054.370=-4.661 |
| | mean | 2497.000-2690.000=-193.000 | | σ | 0.000 | | min | 2497.000-2690.000=-193.000 | | max | 2497.000-2690.000=-193.000 |
| | mean | 8.901-8.812=0.089 | | σ | 0.480-0.540=-0.060 | | min | 8.139-8.189=-0.050 | | max | 9.456-9.441=0.015 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.246-5188.431=-9.185 | | σ | 0.083-0.086=-0.003 | | min | 5179.176-5188.359=-9.183 | | max | 5179.360-5188.529=-9.169 |
| | mean | 3271.400-3219.000=52.400 | | σ | 379.796-386.312=-6.516 | | min | 2734.000-2690.000=44.000 | | max | 3728.000-3706.000=22.000 |
| | mean | 10.129-9.049=1.080 | | σ | 0.453-0.335=0.118 | | min | 9.579-8.812=0.767 | | max | 10.837-9.627=1.210 |
|