iters=5 new-facts=1 prior-facts=1 | | mean | 286.224-286.225=-0.001 | | σ | 0.038-0.036=0.002 | | min | 286.175-286.180=-0.005 | | max | 286.265-286.266=-0.001 |
| | mean | 1521.000-1638.000=-117.000 | | σ | 0.000 | | min | 1521.000-1638.000=-117.000 | | max | 1521.000-1638.000=-117.000 |
| | mean | 0.401-0.397=0.005 | | σ | 0.005-0.006=-0.002 | | min | 0.398-0.388=0.009 | | max | 0.410-0.406=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1296.683-1296.636=0.047 | | σ | 0.079-0.076=0.003 | | min | 1296.595-1296.541=0.054 | | max | 1296.802-1296.722=0.080 |
| | mean | 1521.000-1638.000=-117.000 | | σ | 0.000 | | min | 1521.000-1638.000=-117.000 | | max | 1521.000-1638.000=-117.000 |
| | mean | 2.210-2.066=0.144 | | σ | 0.051-0.051=0.000 | | min | 2.133-2.007=0.127 | | max | 2.258-2.129=0.129 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.775-1540.776=-0.001 | | σ | 6.891-6.890=0.001 | | min | 1537.532-1537.483=0.049 | | max | 1553.100-1553.098=0.002 |
| | mean | 1521.000-1638.000=-117.000 | | σ | 0.000 | | min | 1521.000-1638.000=-117.000 | | max | 1521.000-1638.000=-117.000 |
| | mean | 2.321-2.403=-0.081 | | σ | 0.312-0.324=-0.012 | | min | 2.150-2.139=0.011 | | max | 2.876-2.937=-0.061 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1858.513-1858.509=0.004 | | σ | 0.062-0.076=-0.014 | | min | 1858.431-1858.396=0.035 | | max | 1858.590-1858.588=0.002 |
| | mean | 1744.600-1768.400=-23.800 | | σ | 163.653-126.057=37.596 | | min | 1521.000-1638.000=-117.000 | | max | 1901.000-1895.000=6.000 |
| | mean | 3.135-3.096=0.039 | | σ | 0.372-0.282=0.090 | | min | 2.870-2.857=0.013 | | max | 3.768-3.524=0.244 |
|