iters=5 new-facts=1 prior-facts=1 | | mean | 303.789-303.785=0.004 | | σ | 0.051-0.056=-0.004 | | min | 303.703-303.698=0.005 | | max | 303.839-303.840=-0.001 |
| | mean | 1518.000-1519.000=-1.000 | | σ | 0.000 | | min | 1518.000-1519.000=-1.000 | | max | 1518.000-1519.000=-1.000 |
| | mean | 0.392-0.394=-0.002 | | σ | 0.001-0.005=-0.003 | | min | 0.391-0.390=0.001 | | max | 0.394-0.401=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.333-1326.327=0.006 | | σ | 0.108-0.106=0.001 | | min | 1326.195-1326.195=-0.000 | | max | 1326.461-1326.456=0.005 |
| | mean | 1518.000-1519.000=-1.000 | | σ | 0.000 | | min | 1518.000-1519.000=-1.000 | | max | 1518.000-1519.000=-1.000 |
| | mean | 1.935-1.964=-0.029 | | σ | 0.089-0.128=-0.039 | | min | 1.838-1.833=0.006 | | max | 2.044-2.147=-0.103 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.394-1564.407=-0.013 | | σ | 6.922-6.930=-0.008 | | min | 1561.083-1561.098=-0.015 | | max | 1576.771-1576.799=-0.027 |
| | mean | 1518.000-1519.000=-1.000 | | σ | 0.000 | | min | 1518.000-1519.000=-1.000 | | max | 1518.000-1519.000=-1.000 |
| | mean | 2.343-2.378=-0.035 | | σ | 0.291-0.318=-0.027 | | min | 2.030-2.047=-0.017 | | max | 2.749-2.825=-0.076 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.274-1894.284=-0.009 | | σ | 0.067-0.072=-0.005 | | min | 1894.157-1894.157=0.000 | | max | 1894.317-1894.327=-0.009 |
| | mean | 1748.200-1743.000=5.200 | | σ | 172.895-215.723=-42.828 | | min | 1518.000-1519.000=-1.000 | | max | 1913.000-2055.000=-142.000 |
| | mean | 3.030-2.951=0.079 | | σ | 0.083-0.176=-0.092 | | min | 2.898-2.854=0.045 | | max | 3.130-3.264=-0.134 |
|