iters=5 new-facts=1 prior-facts=1 | | mean | 324.682-324.709=-0.027 | | σ | 0.051-0.048=0.003 | | min | 324.593-324.624=-0.031 | | max | 324.716-324.739=-0.023 |
| | mean | 2823.000-2824.000=-1.000 | | σ | 0.000 | | min | 2823.000-2824.000=-1.000 | | max | 2823.000-2824.000=-1.000 |
| | mean | 0.438-0.423=0.015 | | σ | 0.017-0.001=0.016 | | min | 0.425-0.423=0.002 | | max | 0.466-0.424=0.042 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.266-1985.262=0.004 | | σ | 0.010-0.015=-0.005 | | min | 1985.250-1985.238=0.011 | | max | 1985.274-1985.278=-0.003 |
| | mean | 2823.000-2824.000=-1.000 | | σ | 0.000 | | min | 2823.000-2824.000=-1.000 | | max | 2823.000-2824.000=-1.000 |
| | mean | 2.687-2.677=0.010 | | σ | 0.163-0.113=0.050 | | min | 2.510-2.550=-0.040 | | max | 2.890-2.792=0.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.672-4808.861=-0.189 | | σ | 7.216-7.669=-0.453 | | min | 4805.422-4805.404=0.018 | | max | 4821.581-4822.580=-0.999 |
| | mean | 2823.000-2824.000=-1.000 | | σ | 0.000 | | min | 2823.000-2824.000=-1.000 | | max | 2823.000-2824.000=-1.000 |
| | mean | 9.145-8.799=0.346 | | σ | 0.200-0.141=0.059 | | min | 8.977-8.614=0.363 | | max | 9.469-8.931=0.538 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.466=0.000 | | σ | 0.018-0.021=-0.003 | | min | 4996.446-4996.431=0.015 | | max | 4996.489-4996.482=0.006 |
| | mean | 3029.400-3059.000=-29.600 | | σ | 281.789-306.841=-25.053 | | min | 2823.000-2824.000=-1.000 | | max | 3471.000-3533.000=-62.000 |
| | mean | 8.507-8.561=-0.054 | | σ | 0.127-0.296=-0.169 | | min | 8.359-8.406=-0.047 | | max | 8.699-9.089=-0.390 |
|