iters=5 new-facts=1 prior-facts=1 | | mean | 299.453-299.434=0.019 | | σ | 0.043-0.064=-0.022 | | min | 299.385-299.335=0.051 | | max | 299.499-299.492=0.006 |
| | mean | 1510.000-1521.000=-11.000 | | σ | 0.000 | | min | 1510.000-1521.000=-11.000 | | max | 1510.000-1521.000=-11.000 |
| | mean | 0.385-0.386=-0.002 | | σ | 0.002-0.002=0.001 | | min | 0.383-0.384=-0.001 | | max | 0.389-0.389=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.896-1309.883=0.013 | | σ | 0.103-0.097=0.005 | | min | 1309.765-1309.760=0.005 | | max | 1310.010-1310.004=0.006 |
| | mean | 1510.000-1521.000=-11.000 | | σ | 0.000 | | min | 1510.000-1521.000=-11.000 | | max | 1510.000-1521.000=-11.000 |
| | mean | 1.893-1.863=0.030 | | σ | 0.049-0.079=-0.030 | | min | 1.811-1.796=0.015 | | max | 1.932-1.970=-0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.970-1553.964=0.006 | | σ | 6.872-6.851=0.022 | | min | 1550.668-1550.653=0.015 | | max | 1566.258-1566.215=0.043 |
| | mean | 1510.000-1521.000=-11.000 | | σ | 0.000 | | min | 1510.000-1521.000=-11.000 | | max | 1510.000-1521.000=-11.000 |
| | mean | 2.291-2.224=0.067 | | σ | 0.315-0.155=0.160 | | min | 2.039-2.055=-0.016 | | max | 2.654-2.467=0.186 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.755-1871.768=-0.013 | | σ | 0.050-0.077=-0.027 | | min | 1871.693-1871.679=0.013 | | max | 1871.802-1871.867=-0.065 |
| | mean | 1722.200-1718.200=4.000 | | σ | 160.274-198.114=-37.840 | | min | 1524.000-1544.000=-20.000 | | max | 1942.000-2009.000=-67.000 |
| | mean | 2.868-2.976=-0.108 | | σ | 0.122-0.202=-0.080 | | min | 2.659-2.823=-0.164 | | max | 2.967-3.324=-0.357 |
|