iters=5 new-facts=1 prior-facts=1 | | mean | 324.682-275.567=49.115 | | σ | 0.051-0.007=0.044 | | min | 324.593-275.562=49.031 | | max | 324.716-275.578=49.138 |
| | mean | 2823.000-2640.000=183.000 | | σ | 0.000 | | min | 2823.000-2640.000=183.000 | | max | 2823.000-2640.000=183.000 |
| | mean | 0.438-0.391=0.047 | | σ | 0.017-0.008=0.009 | | min | 0.425-0.383=0.041 | | max | 0.466-0.400=0.066 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.266-2168.099=-182.833 | | σ | 0.010-0.009=0.001 | | min | 1985.250-2168.089=-182.839 | | max | 1985.274-2168.110=-182.836 |
| | mean | 2823.000-2640.000=183.000 | | σ | 0.000 | | min | 2823.000-2640.000=183.000 | | max | 2823.000-2640.000=183.000 |
| | mean | 2.687-2.997=-0.310 | | σ | 0.163-0.161=0.002 | | min | 2.510-2.836=-0.326 | | max | 2.890-3.223=-0.332 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.672-5047.922=-239.250 | | σ | 7.216-0.896=6.320 | | min | 4805.422-5047.391=-241.969 | | max | 4821.581-5049.516=-227.935 |
| | mean | 2823.000-2640.000=183.000 | | σ | 0.000 | | min | 2823.000-2640.000=183.000 | | max | 2823.000-2640.000=183.000 |
| | mean | 9.145-9.018=0.128 | | σ | 0.200-0.328=-0.128 | | min | 8.977-8.597=0.380 | | max | 9.469-9.493=-0.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-5179.041=-182.575 | | σ | 0.018-0.082=-0.064 | | min | 4996.446-5178.961=-182.514 | | max | 4996.489-5179.131=-182.642 |
| | mean | 3029.400-3218.800=-189.400 | | σ | 281.789-388.112=-106.323 | | min | 2823.000-2684.000=139.000 | | max | 3471.000-3704.000=-233.000 |
| | mean | 8.507-9.864=-1.357 | | σ | 0.127-0.271=-0.144 | | min | 8.359-9.489=-1.131 | | max | 8.699-10.214=-1.515 |
|