iters=5 new-facts=1 prior-facts=1 | | mean | 286.820-286.827=-0.008 | | σ | 0.037-0.039=-0.002 | | min | 286.771-286.778=-0.008 | | max | 286.859-286.868=-0.009 |
| | mean | 1648.000-1617.000=31.000 | | σ | 0.000 | | min | 1648.000-1617.000=31.000 | | max | 1648.000-1617.000=31.000 |
| | mean | 0.396-0.396=0.000 | | σ | 0.005-0.009=-0.004 | | min | 0.390-0.388=0.002 | | max | 0.403-0.409=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.273-1297.261=0.011 | | σ | 0.093-0.094=-0.001 | | min | 1297.139-1297.126=0.014 | | max | 1297.386-1297.375=0.011 |
| | mean | 1648.000-1617.000=31.000 | | σ | 0.000 | | min | 1648.000-1617.000=31.000 | | max | 1648.000-1617.000=31.000 |
| | mean | 2.253-2.227=0.027 | | σ | 0.070-0.020=0.051 | | min | 2.174-2.210=-0.035 | | max | 2.366-2.254=0.113 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.362-1541.375=-0.013 | | σ | 6.807-6.803=0.004 | | min | 1538.182-1538.235=-0.053 | | max | 1553.537-1553.543=-0.006 |
| | mean | 1648.000-1617.000=31.000 | | σ | 0.000 | | min | 1648.000-1617.000=31.000 | | max | 1648.000-1617.000=31.000 |
| | mean | 2.277-2.332=-0.055 | | σ | 0.212-0.250=-0.038 | | min | 2.101-2.166=-0.064 | | max | 2.608-2.754=-0.146 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.125-1859.116=0.010 | | σ | 0.057-0.063=-0.006 | | min | 1859.040-1859.031=0.009 | | max | 1859.177-1859.190=-0.013 |
| | mean | 1782.000-1764.000=18.000 | | σ | 166.384-131.564=34.820 | | min | 1648.000-1617.000=31.000 | | max | 2031.000-1899.000=132.000 |
| | mean | 2.935-3.131=-0.196 | | σ | 0.167-0.256=-0.089 | | min | 2.676-2.893=-0.217 | | max | 3.103-3.498=-0.395 |
|