iters=5 new-facts=1 prior-facts=1 | | mean | 190.719-190.721=-0.002 | | σ | 0.005-0.014=-0.010 | | min | 190.715-190.705=0.009 | | max | 190.726-190.739=-0.012 |
| | mean | 2604.000-2605.000=-1.000 | | σ | 0.000 | | min | 2604.000-2605.000=-1.000 | | max | 2604.000-2605.000=-1.000 |
| | mean | 0.280-0.280=0.000 | | σ | 0.001-0.000=0.000 | | min | 0.279-0.279=-0.000 | | max | 0.280-0.280=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.482-1989.483=-0.001 | | σ | 0.014-0.016=-0.002 | | min | 1989.460-1989.467=-0.006 | | max | 1989.497-1989.510=-0.013 |
| | mean | 2604.000-2605.000=-1.000 | | σ | 0.000 | | min | 2604.000-2605.000=-1.000 | | max | 2604.000-2605.000=-1.000 |
| | mean | 2.650-2.412=0.239 | | σ | 0.352-0.074=0.278 | | min | 2.328-2.327=0.000 | | max | 3.174-2.530=0.645 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.964-4880.084=-0.120 | | σ | 0.695-0.599=0.095 | | min | 4879.308-4879.734=-0.426 | | max | 4881.144-4881.146=-0.002 |
| | mean | 2604.000-2605.000=-1.000 | | σ | 0.000 | | min | 2604.000-2605.000=-1.000 | | max | 2604.000-2605.000=-1.000 |
| | mean | 8.216-8.213=0.002 | | σ | 0.221-0.148=0.073 | | min | 7.934-8.059=-0.125 | | max | 8.484-8.362=0.123 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.617-4891.694=-0.077 | | σ | 0.205-0.078=0.128 | | min | 4891.274-4891.635=-0.361 | | max | 4891.781-4891.780=0.001 |
| | mean | 3305.800-3352.400=-46.600 | | σ | 432.163-461.912=-29.749 | | min | 2885.000-2768.000=117.000 | | max | 3748.000-4005.000=-257.000 |
| | mean | 8.037-8.088=-0.051 | | σ | 0.136-0.137=-0.001 | | min | 7.880-7.890=-0.010 | | max | 8.181-8.226=-0.045 |
|