iters=5 new-facts=1 prior-facts=1 | | mean | 303.785-303.785=-0.000 | | σ | 0.050-0.057=-0.008 | | min | 303.718-303.701=0.018 | | max | 303.839-303.843=-0.004 |
| | mean | 1511.000-1517.000=-6.000 | | σ | 0.000 | | min | 1511.000-1517.000=-6.000 | | max | 1511.000-1517.000=-6.000 |
| | mean | 0.393-0.394=-0.001 | | σ | 0.001-0.005=-0.004 | | min | 0.391-0.390=0.001 | | max | 0.394-0.402=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.327-1326.328=-0.001 | | σ | 0.106-0.109=-0.003 | | min | 1326.196-1326.189=0.007 | | max | 1326.447-1326.469=-0.023 |
| | mean | 1511.000-1517.000=-6.000 | | σ | 0.000 | | min | 1511.000-1517.000=-6.000 | | max | 1511.000-1517.000=-6.000 |
| | mean | 2.008-1.929=0.079 | | σ | 0.174-0.079=0.095 | | min | 1.850-1.839=0.012 | | max | 2.283-2.003=0.280 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.416-1564.373=0.043 | | σ | 6.873-6.933=-0.060 | | min | 1561.164-1561.033=0.130 | | max | 1576.705-1576.769=-0.063 |
| | mean | 1511.000-1517.000=-6.000 | | σ | 0.000 | | min | 1511.000-1517.000=-6.000 | | max | 1511.000-1517.000=-6.000 |
| | mean | 2.335-2.261=0.075 | | σ | 0.206-0.248=-0.042 | | min | 2.056-2.073=-0.017 | | max | 2.511-2.681=-0.170 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.282-1894.286=-0.004 | | σ | 0.069-0.070=-0.000 | | min | 1894.160-1894.162=-0.002 | | max | 1894.325-1894.324=0.001 |
| | mean | 1759.200-1753.400=5.800 | | σ | 212.702-229.029=-16.327 | | min | 1511.000-1517.000=-6.000 | | max | 2031.000-2087.000=-56.000 |
| | mean | 3.067-2.967=0.100 | | σ | 0.116-0.121=-0.005 | | min | 2.888-2.880=0.008 | | max | 3.172-3.164=0.008 |
|