iters=5 new-facts=1 prior-facts=1 | | mean | 262.593-262.594=-0.001 | | σ | 0.010-0.010=-0.000 | | min | 262.582-262.583=-0.001 | | max | 262.605-262.602=0.002 |
| | mean | 1520.000-1633.000=-113.000 | | σ | 0.000 | | min | 1520.000-1633.000=-113.000 | | max | 1520.000-1633.000=-113.000 |
| | mean | 0.353-0.353=0.001 | | σ | 0.011-0.008=0.003 | | min | 0.345-0.346=-0.001 | | max | 0.368-0.366=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.650-1262.651=-0.001 | | σ | 0.081-0.079=0.002 | | min | 1262.610-1262.613=-0.003 | | max | 1262.794-1262.791=0.003 |
| | mean | 1520.000-1633.000=-113.000 | | σ | 0.000 | | min | 1520.000-1633.000=-113.000 | | max | 1520.000-1633.000=-113.000 |
| | mean | 1.834-1.993=-0.158 | | σ | 0.116-0.229=-0.113 | | min | 1.681-1.778=-0.097 | | max | 1.969-2.381=-0.412 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2058.204-2058.207=-0.003 | | σ | 7.015-7.011=0.004 | | min | 2054.874-2054.873=0.001 | | max | 2070.742-2070.737=0.005 |
| | mean | 1520.000-1633.000=-113.000 | | σ | 0.000 | | min | 1520.000-1633.000=-113.000 | | max | 1520.000-1633.000=-113.000 |
| | mean | 4.651-4.734=-0.083 | | σ | 0.282-0.301=-0.018 | | min | 4.363-4.236=0.128 | | max | 5.043-5.034=0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.392-2047.396=-0.004 | | σ | 0.006-0.002=0.003 | | min | 2047.386-2047.394=-0.007 | | max | 2047.401-2047.400=0.001 |
| | mean | 1822.600-1764.600=58.000 | | σ | 203.147-142.831=60.316 | | min | 1520.000-1633.000=-113.000 | | max | 1994.000-1957.000=37.000 |
| | mean | 4.417-4.385=0.032 | | σ | 0.062-0.056=0.006 | | min | 4.355-4.342=0.013 | | max | 4.518-4.475=0.043 |
|