iters=5 new-facts=1 prior-facts=1 | | mean | 285.678-326.644=-40.966 | | σ | 0.021-0.046=-0.026 | | min | 285.652-326.563=-40.911 | | max | 285.708-326.679=-40.971 |
| | mean | 1596.000-2824.000=-1228.000 | | σ | 0.000 | | min | 1596.000-2824.000=-1228.000 | | max | 1596.000-2824.000=-1228.000 |
| | mean | 0.382-0.428=-0.046 | | σ | 0.007-0.005=0.002 | | min | 0.377-0.423=-0.046 | | max | 0.394-0.435=-0.040 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.637-1988.791=-703.153 | | σ | 0.131-0.020=0.111 | | min | 1285.574-1988.773=-703.199 | | max | 1285.871-1988.819=-702.948 |
| | mean | 1596.000-2824.000=-1228.000 | | σ | 0.000 | | min | 1596.000-2824.000=-1228.000 | | max | 1596.000-2824.000=-1228.000 |
| | mean | 1.892-2.775=-0.883 | | σ | 0.055-0.150=-0.095 | | min | 1.836-2.595=-0.759 | | max | 1.970-2.925=-0.955 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.984-4813.536=-3005.552 | | σ | 7.035-7.793=-0.758 | | min | 1804.587-4809.569=-3004.981 | | max | 1820.553-4827.468=-3006.915 |
| | mean | 1596.000-2824.000=-1228.000 | | σ | 0.000 | | min | 1596.000-2824.000=-1228.000 | | max | 1596.000-2824.000=-1228.000 |
| | mean | 4.177-8.677=-4.500 | | σ | 0.299-0.623=-0.324 | | min | 3.848-7.866=-4.019 | | max | 4.560-9.298=-4.738 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.463-5001.213=-2930.750 | | σ | 0.003-0.033=-0.030 | | min | 2070.460-5001.183=-2930.722 | | max | 2070.466-5001.261=-2930.795 |
| | mean | 1855.200-3016.000=-1160.800 | | σ | 212.292-261.583=-49.291 | | min | 1596.000-2824.000=-1228.000 | | max | 2092.000-3423.000=-1331.000 |
| | mean | 4.524-9.916=-5.391 | | σ | 0.083-0.162=-0.079 | | min | 4.422-9.777=-5.355 | | max | 4.629-10.142=-5.512 |
|