iters=5 new-facts=1 prior-facts=1 | | mean | 301.470-301.477=-0.007 | | σ | 0.059-0.060=-0.000 | | min | 301.373-301.383=-0.010 | | max | 301.528-301.532=-0.004 |
| | mean | 1628.000-1511.000=117.000 | | σ | 0.000 | | min | 1628.000-1511.000=117.000 | | max | 1628.000-1511.000=117.000 |
| | mean | 0.395-0.395=-0.000 | | σ | 0.004-0.006=-0.002 | | min | 0.391-0.389=0.002 | | max | 0.402-0.403=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.060-1324.063=-0.003 | | σ | 0.108-0.114=-0.005 | | min | 1323.923-1323.924=-0.001 | | max | 1324.197-1324.201=-0.004 |
| | mean | 1628.000-1511.000=117.000 | | σ | 0.000 | | min | 1628.000-1511.000=117.000 | | max | 1628.000-1511.000=117.000 |
| | mean | 1.876-1.915=-0.038 | | σ | 0.043-0.084=-0.041 | | min | 1.831-1.831=-0.001 | | max | 1.945-2.034=-0.089 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.092-1562.074=0.019 | | σ | 6.888-6.924=-0.036 | | min | 1558.802-1558.751=0.051 | | max | 1574.409-1574.454=-0.045 |
| | mean | 1628.000-1511.000=117.000 | | σ | 0.000 | | min | 1628.000-1511.000=117.000 | | max | 1628.000-1511.000=117.000 |
| | mean | 2.335-2.364=-0.029 | | σ | 0.274-0.332=-0.058 | | min | 2.064-2.053=0.011 | | max | 2.677-2.901=-0.224 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.969-1891.973=-0.004 | | σ | 0.069-0.064=0.005 | | min | 1891.848-1891.860=-0.011 | | max | 1892.019-1892.009=0.010 |
| | mean | 1763.400-1730.400=33.000 | | σ | 167.806-213.249=-45.444 | | min | 1628.000-1511.000=117.000 | | max | 2015.000-2040.000=-25.000 |
| | mean | 2.988-3.026=-0.038 | | σ | 0.245-0.180=0.064 | | min | 2.873-2.867=0.007 | | max | 3.426-3.228=0.198 |
|