iters=5 new-facts=1 prior-facts=1 | | mean | 278.844-278.836=0.008 | | σ | 0.008-0.017=-0.009 | | min | 278.830-278.808=0.022 | | max | 278.849-278.848=0.000 |
| | mean | 2594.000-2634.000=-40.000 | | σ | 0.000 | | min | 2594.000-2634.000=-40.000 | | max | 2594.000-2634.000=-40.000 |
| | mean | 0.413-0.410=0.003 | | σ | 0.005-0.006=-0.001 | | min | 0.407-0.406=0.001 | | max | 0.418-0.420=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.904-2268.895=0.010 | | σ | 0.018-0.008=0.009 | | min | 2268.874-2268.884=-0.010 | | max | 2268.917-2268.903=0.014 |
| | mean | 2594.000-2634.000=-40.000 | | σ | 0.000 | | min | 2594.000-2634.000=-40.000 | | max | 2594.000-2634.000=-40.000 |
| | mean | 2.956-3.122=-0.166 | | σ | 0.178-0.216=-0.038 | | min | 2.835-2.914=-0.079 | | max | 3.270-3.433=-0.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.131-4954.128=0.003 | | σ | 0.964-0.941=0.023 | | min | 4953.217-4953.329=-0.112 | | max | 4955.765-4955.760=0.005 |
| | mean | 2594.000-2634.000=-40.000 | | σ | 0.000 | | min | 2594.000-2634.000=-40.000 | | max | 2594.000-2634.000=-40.000 |
| | mean | 8.048-8.138=-0.090 | | σ | 0.292-0.276=0.016 | | min | 7.688-7.856=-0.168 | | max | 8.382-8.438=-0.056 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.811-5168.750=0.062 | | σ | 0.085-0.215=-0.130 | | min | 5168.748-5168.392=0.356 | | max | 5168.909-5168.934=-0.025 |
| | mean | 3367.400-3420.000=-52.600 | | σ | 461.935-500.785=-38.849 | | min | 2764.000-2835.000=-71.000 | | max | 3983.000-4166.000=-183.000 |
| | mean | 9.361-9.349=0.011 | | σ | 0.162-0.527=-0.365 | | min | 9.130-8.760=0.370 | | max | 9.587-10.118=-0.531 |
|