iters=5 new-facts=1 prior-facts=1 | | mean | 279.511-279.513=-0.002 | | σ | 0.006-0.007=-0.001 | | min | 279.502-279.504=-0.002 | | max | 279.517-279.519=-0.002 |
| | mean | 2771.000-2746.000=25.000 | | σ | 0.000 | | min | 2771.000-2746.000=25.000 | | max | 2771.000-2746.000=25.000 |
| | mean | 0.408-0.408=-0.000 | | σ | 0.005-0.006=-0.001 | | min | 0.403-0.404=-0.001 | | max | 0.415-0.418=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.440-2178.395=0.045 | | σ | 0.015-0.079=-0.065 | | min | 2178.421-2178.254=0.167 | | max | 2178.457-2178.447=0.010 |
| | mean | 2771.000-2746.000=25.000 | | σ | 0.000 | | min | 2771.000-2746.000=25.000 | | max | 2771.000-2746.000=25.000 |
| | mean | 3.265-3.476=-0.212 | | σ | 0.357-0.322=0.035 | | min | 2.763-3.253=-0.490 | | max | 3.619-4.040=-0.421 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.127-5056.371=-0.244 | | σ | 0.812-0.982=-0.169 | | min | 5055.395-5055.840=-0.444 | | max | 5057.514-5058.119=-0.605 |
| | mean | 2771.000-2746.000=25.000 | | σ | 0.000 | | min | 2771.000-2746.000=25.000 | | max | 2771.000-2746.000=25.000 |
| | mean | 8.842-9.020=-0.178 | | σ | 0.554-0.556=-0.002 | | min | 8.129-8.230=-0.101 | | max | 9.390-9.586=-0.196 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.685-5193.534=0.151 | | σ | 0.120-0.133=-0.012 | | min | 5193.508-5193.346=0.162 | | max | 5193.848-5193.694=0.154 |
| | mean | 3236.600-3273.800=-37.200 | | σ | 342.575-383.682=-41.108 | | min | 2771.000-2746.000=25.000 | | max | 3668.000-3630.000=38.000 |
| | mean | 8.847-8.960=-0.113 | | σ | 0.209-0.218=-0.009 | | min | 8.667-8.736=-0.070 | | max | 9.197-9.314=-0.117 |
|