iters=5 new-facts=1 prior-facts=1 | | mean | 326.578-326.577=0.002 | | σ | 0.031-0.037=-0.006 | | min | 326.525-326.512=0.013 | | max | 326.600-326.600=-0.000 |
| | mean | 2616.000-2646.000=-30.000 | | σ | 0.000 | | min | 2616.000-2646.000=-30.000 | | max | 2616.000-2646.000=-30.000 |
| | mean | 0.429-0.425=0.004 | | σ | 0.004-0.002=0.002 | | min | 0.424-0.422=0.001 | | max | 0.433-0.427=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.731-1988.724=0.007 | | σ | 0.012-0.023=-0.011 | | min | 1988.715-1988.694=0.022 | | max | 1988.744-1988.748=-0.003 |
| | mean | 2616.000-2646.000=-30.000 | | σ | 0.000 | | min | 2616.000-2646.000=-30.000 | | max | 2616.000-2646.000=-30.000 |
| | mean | 2.652-2.777=-0.125 | | σ | 0.047-0.120=-0.073 | | min | 2.586-2.618=-0.032 | | max | 2.713-2.910=-0.197 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.572-4672.733=140.839 | | σ | 7.741-316.453=-308.713 | | min | 4810.088-4106.794=703.294 | | max | 4827.419-4826.852=0.566 |
| | mean | 2616.000-2646.000=-30.000 | | σ | 0.000 | | min | 2616.000-2646.000=-30.000 | | max | 2616.000-2646.000=-30.000 |
| | mean | 8.868-8.349=0.518 | | σ | 0.282-0.856=-0.574 | | min | 8.488-7.063=1.425 | | max | 9.231-9.189=0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.138-5001.092=0.046 | | σ | 0.025-0.159=-0.134 | | min | 5001.114-5000.811=0.303 | | max | 5001.174-5001.203=-0.029 |
| | mean | 2979.400-3016.000=-36.600 | | σ | 276.702-369.123=-92.421 | | min | 2616.000-2646.000=-30.000 | | max | 3317.000-3503.000=-186.000 |
| | mean | 9.728-10.191=-0.463 | | σ | 0.222-0.274=-0.051 | | min | 9.374-9.946=-0.572 | | max | 9.946-10.620=-0.674 |
|