iters=5 new-facts=1 prior-facts=1 | | mean | 324.682-324.713=-0.031 | | σ | 0.051-0.038=0.013 | | min | 324.593-324.646=-0.053 | | max | 324.716-324.737=-0.021 |
| | mean | 2823.000-2840.000=-17.000 | | σ | 0.000 | | min | 2823.000-2840.000=-17.000 | | max | 2823.000-2840.000=-17.000 |
| | mean | 0.438-0.424=0.014 | | σ | 0.017-0.001=0.016 | | min | 0.425-0.422=0.002 | | max | 0.466-0.426=0.040 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.266-1985.273=-0.007 | | σ | 0.010-0.007=0.003 | | min | 1985.250-1985.267=-0.018 | | max | 1985.274-1985.285=-0.011 |
| | mean | 2823.000-2840.000=-17.000 | | σ | 0.000 | | min | 2823.000-2840.000=-17.000 | | max | 2823.000-2840.000=-17.000 |
| | mean | 2.687-2.617=0.070 | | σ | 0.163-0.084=0.079 | | min | 2.510-2.553=-0.043 | | max | 2.890-2.728=0.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.672-4808.863=-0.191 | | σ | 7.216-7.653=-0.437 | | min | 4805.422-4805.387=0.035 | | max | 4821.581-4822.554=-0.973 |
| | mean | 2823.000-2840.000=-17.000 | | σ | 0.000 | | min | 2823.000-2840.000=-17.000 | | max | 2823.000-2840.000=-17.000 |
| | mean | 9.145-8.926=0.220 | | σ | 0.200-0.201=-0.002 | | min | 8.977-8.636=0.341 | | max | 9.469-9.136=0.333 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.465=0.001 | | σ | 0.018-0.019=-0.001 | | min | 4996.446-4996.445=0.002 | | max | 4996.489-4996.490=-0.001 |
| | mean | 3029.400-3041.400=-12.000 | | σ | 281.789-211.079=70.710 | | min | 2823.000-2840.000=-17.000 | | max | 3471.000-3345.000=126.000 |
| | mean | 8.507-8.641=-0.134 | | σ | 0.127-0.183=-0.055 | | min | 8.359-8.493=-0.134 | | max | 8.699-8.935=-0.236 |
|