iters=5 new-facts=1 prior-facts=1 | | mean | 277.719-190.720=86.998 | | σ | 0.011-0.016=-0.005 | | min | 277.701-190.704=86.996 | | max | 277.727-190.741=86.986 |
| | mean | 2836.000-2632.000=204.000 | | σ | 0.000 | | min | 2836.000-2632.000=204.000 | | max | 2836.000-2632.000=204.000 |
| | mean | 0.409-0.280=0.130 | | σ | 0.005-0.000=0.005 | | min | 0.405-0.279=0.126 | | max | 0.418-0.280=0.137 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.888-1989.492=278.397 | | σ | 0.011-0.024=-0.013 | | min | 2267.878-1989.451=278.427 | | max | 2267.901-1989.508=278.393 |
| | mean | 2836.000-2632.000=204.000 | | σ | 0.000 | | min | 2836.000-2632.000=204.000 | | max | 2836.000-2632.000=204.000 |
| | mean | 3.010-2.519=0.491 | | σ | 0.238-0.246=-0.008 | | min | 2.723-2.280=0.442 | | max | 3.249-2.826=0.423 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.861-4880.073=74.788 | | σ | 0.693-0.592=0.101 | | min | 4954.002-4879.733=74.269 | | max | 4955.936-4881.122=74.814 |
| | mean | 2836.000-2632.000=204.000 | | σ | 0.000 | | min | 2836.000-2632.000=204.000 | | max | 2836.000-2632.000=204.000 |
| | mean | 7.746-8.204=-0.457 | | σ | 0.179-0.093=0.086 | | min | 7.598-8.081=-0.483 | | max | 8.007-8.331=-0.325 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.788-4891.556=278.232 | | σ | 0.087-0.178=-0.091 | | min | 5169.689-4891.312=278.378 | | max | 5169.872-4891.773=278.099 |
| | mean | 3412.000-3317.200=94.800 | | σ | 484.142-425.665=58.477 | | min | 2837.000-2897.000=-60.000 | | max | 4122.000-3748.000=374.000 |
| | mean | 9.328-8.114=1.214 | | σ | 0.373-0.163=0.210 | | min | 8.971-7.946=1.025 | | max | 9.920-8.316=1.604 |
|