iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-275.569=-0.001 | | σ | 0.009-0.007=0.002 | | min | 275.559-275.561=-0.002 | | max | 275.578-275.577=0.001 |
| | mean | 2468.000-2508.000=-40.000 | | σ | 0.000 | | min | 2468.000-2508.000=-40.000 | | max | 2468.000-2508.000=-40.000 |
| | mean | 0.404-0.402=0.003 | | σ | 0.010-0.008=0.002 | | min | 0.395-0.397=-0.001 | | max | 0.415-0.415=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.102-2168.098=0.003 | | σ | 0.004-0.007=-0.004 | | min | 2168.097-2168.091=0.006 | | max | 2168.105-2168.109=-0.004 |
| | mean | 2468.000-2508.000=-40.000 | | σ | 0.000 | | min | 2468.000-2508.000=-40.000 | | max | 2468.000-2508.000=-40.000 |
| | mean | 3.002-2.973=0.029 | | σ | 0.222-0.170=0.051 | | min | 2.688-2.774=-0.087 | | max | 3.215-3.171=0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.788-5047.581=0.208 | | σ | 0.976-1.235=-0.259 | | min | 5047.059-5046.155=0.904 | | max | 5049.486-5049.521=-0.035 |
| | mean | 2468.000-2508.000=-40.000 | | σ | 0.000 | | min | 2468.000-2508.000=-40.000 | | max | 2468.000-2508.000=-40.000 |
| | mean | 8.890-8.681=0.209 | | σ | 0.486-0.488=-0.003 | | min | 8.128-8.101=0.028 | | max | 9.352-9.265=0.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.971-5178.969=0.003 | | σ | 0.215-0.122=0.093 | | min | 5178.619-5178.787=-0.167 | | max | 5179.155-5179.129=0.026 |
| | mean | 3220.600-3217.000=3.600 | | σ | 386.759-389.078=-2.319 | | min | 2681.000 | | max | 3708.000-3703.000=5.000 |
| | mean | 9.575-9.750=-0.175 | | σ | 0.427-0.172=0.255 | | min | 8.951-9.595=-0.643 | | max | 10.150-9.958=0.192 |
|