iters=5 new-facts=1 prior-facts=1 | | mean | 299.170-299.187=-0.016 | | σ | 0.051-0.036=0.015 | | min | 299.097-299.151=-0.054 | | max | 299.223-299.230=-0.007 |
| | mean | 1644.000-1458.000=186.000 | | σ | 0.000 | | min | 1644.000-1458.000=186.000 | | max | 1644.000-1458.000=186.000 |
| | mean | 0.388-0.388=0.001 | | σ | 0.007-0.007=-0.000 | | min | 0.384-0.384=-0.000 | | max | 0.400-0.401=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.609-1309.618=-0.009 | | σ | 0.098-0.102=-0.004 | | min | 1309.488-1309.490=-0.002 | | max | 1309.726-1309.737=-0.011 |
| | mean | 1644.000-1458.000=186.000 | | σ | 0.000 | | min | 1644.000-1458.000=186.000 | | max | 1644.000-1458.000=186.000 |
| | mean | 1.858-1.901=-0.043 | | σ | 0.082-0.093=-0.011 | | min | 1.795-1.795=-0.000 | | max | 1.967-2.000=-0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.708-1553.714=-0.007 | | σ | 6.898-6.849=0.049 | | min | 1550.336-1550.417=-0.081 | | max | 1566.043-1565.962=0.081 |
| | mean | 1644.000-1458.000=186.000 | | σ | 0.000 | | min | 1644.000-1458.000=186.000 | | max | 1644.000-1458.000=186.000 |
| | mean | 2.244-2.325=-0.081 | | σ | 0.321-0.264=0.057 | | min | 2.062-2.020=0.042 | | max | 2.815-2.546=0.269 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.508-1871.497=0.011 | | σ | 0.066-0.049=0.016 | | min | 1871.432-1871.428=0.004 | | max | 1871.595-1871.543=0.052 |
| | mean | 1758.400-1727.400=31.000 | | σ | 166.920-200.166=-33.246 | | min | 1644.000-1458.000=186.000 | | max | 2023.000-1915.000=108.000 |
| | mean | 2.835-2.844=-0.009 | | σ | 0.096-0.139=-0.044 | | min | 2.684-2.615=0.069 | | max | 2.930-2.985=-0.055 |
|