iters=5 new-facts=1 prior-facts=1 | | mean | 303.785-303.781=0.004 | | σ | 0.059-0.065=-0.006 | | min | 303.691-303.678=0.012 | | max | 303.843-303.843=-0.000 |
| | mean | 1573.000-1611.000=-38.000 | | σ | 0.000 | | min | 1573.000-1611.000=-38.000 | | max | 1573.000-1611.000=-38.000 |
| | mean | 0.396-0.394=0.001 | | σ | 0.008-0.009=-0.001 | | min | 0.390-0.389=0.001 | | max | 0.409-0.409=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.330-1326.333=-0.003 | | σ | 0.108-0.106=0.002 | | min | 1326.193-1326.199=-0.006 | | max | 1326.463-1326.463=-0.001 |
| | mean | 1573.000-1611.000=-38.000 | | σ | 0.000 | | min | 1573.000-1611.000=-38.000 | | max | 1573.000-1611.000=-38.000 |
| | mean | 1.952-1.943=0.008 | | σ | 0.128-0.107=0.021 | | min | 1.844-1.823=0.021 | | max | 2.120-2.040=0.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.379-1564.464=-0.085 | | σ | 6.925-6.823=0.102 | | min | 1561.082-1561.268=-0.186 | | max | 1576.763-1576.666=0.097 |
| | mean | 1573.000-1611.000=-38.000 | | σ | 0.000 | | min | 1573.000-1611.000=-38.000 | | max | 1573.000-1611.000=-38.000 |
| | mean | 2.323-2.394=-0.071 | | σ | 0.359-0.333=0.025 | | min | 1.996-2.081=-0.085 | | max | 2.737-2.864=-0.128 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.281-1894.284=-0.003 | | σ | 0.066-0.073=-0.007 | | min | 1894.166-1894.155=0.011 | | max | 1894.330-1894.336=-0.005 |
| | mean | 1749.800-1796.600=-46.800 | | σ | 198.242-200.651=-2.409 | | min | 1573.000-1611.000=-38.000 | | max | 2041.000-2071.000=-30.000 |
| | mean | 2.900-3.036=-0.135 | | σ | 0.165-0.125=0.040 | | min | 2.692-2.882=-0.191 | | max | 3.151-3.223=-0.072 |
|