iters=5 new-facts=1 prior-facts=1 | | mean | 394.177-394.160=0.017 | | σ | 0.087-0.078=0.009 | | min | 394.026-394.029=-0.003 | | max | 394.249-394.213=0.036 |
| | mean | 1626.000-1506.000=120.000 | | σ | 0.000 | | min | 1626.000-1506.000=120.000 | | max | 1626.000-1506.000=120.000 |
| | mean | 0.486-0.489=-0.003 | | σ | 0.008-0.006=0.002 | | min | 0.479-0.485=-0.006 | | max | 0.500-0.497=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1395.762-1395.765=-0.003 | | σ | 0.035-0.072=-0.037 | | min | 1395.733-1395.729=0.004 | | max | 1395.813-1395.894=-0.081 |
| | mean | 1626.000-1506.000=120.000 | | σ | 0.000 | | min | 1626.000-1506.000=120.000 | | max | 1626.000-1506.000=120.000 |
| | mean | 2.141-1.989=0.152 | | σ | 0.158-0.047=0.110 | | min | 1.910-1.909=0.001 | | max | 2.276-2.034=0.243 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1917.942-1917.935=0.008 | | σ | 7.131-7.141=-0.010 | | min | 1914.623-1914.605=0.018 | | max | 1930.692-1930.703=-0.011 |
| | mean | 1626.000-1506.000=120.000 | | σ | 0.000 | | min | 1626.000-1506.000=120.000 | | max | 1626.000-1506.000=120.000 |
| | mean | 4.501-4.292=0.209 | | σ | 0.222-0.226=-0.004 | | min | 4.301-4.013=0.288 | | max | 4.780-4.582=0.198 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2180.564-2180.560=0.003 | | σ | 0.017-0.015=0.002 | | min | 2180.551-2180.551=0.001 | | max | 2180.593-2180.587=0.006 |
| | mean | 1825.400-1846.400=-21.000 | | σ | 184.115-212.582=-28.468 | | min | 1626.000-1583.000=43.000 | | max | 2085.000-2082.000=3.000 |
| | mean | 4.640-4.651=-0.010 | | σ | 0.045-0.056=-0.011 | | min | 4.590-4.594=-0.004 | | max | 4.710-4.729=-0.020 |
|