iters=5 new-facts=1 prior-facts=1 | | mean | 285.675-326.635=-40.960 | | σ | 0.015-0.054=-0.039 | | min | 285.651-326.539=-40.888 | | max | 285.690-326.668=-40.978 |
| | mean | 1598.000-2832.000=-1234.000 | | σ | 0.000 | | min | 1598.000-2832.000=-1234.000 | | max | 1598.000-2832.000=-1234.000 |
| | mean | 0.375-0.423=-0.048 | | σ | 0.000-0.001=-0.000 | | min | 0.375-0.422=-0.048 | | max | 0.376-0.424=-0.048 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.641-1988.804=-703.164 | | σ | 0.135-0.008=0.126 | | min | 1285.573-1988.792=-703.219 | | max | 1285.882-1988.814=-702.932 |
| | mean | 1598.000-2832.000=-1234.000 | | σ | 0.000 | | min | 1598.000-2832.000=-1234.000 | | max | 1598.000-2832.000=-1234.000 |
| | mean | 1.880-2.703=-0.823 | | σ | 0.019-0.105=-0.087 | | min | 1.863-2.578=-0.715 | | max | 1.909-2.831=-0.921 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.983-4813.663=-3005.680 | | σ | 7.016-7.776=-0.760 | | min | 1804.616-4810.133=-3005.518 | | max | 1820.517-4827.572=-3007.055 |
| | mean | 1598.000-2832.000=-1234.000 | | σ | 0.000 | | min | 1598.000-2832.000=-1234.000 | | max | 1598.000-2832.000=-1234.000 |
| | mean | 4.218-8.991=-4.773 | | σ | 0.176-0.405=-0.229 | | min | 4.000-8.602=-4.603 | | max | 4.472-9.591=-5.119 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.462-5001.211=-2930.749 | | σ | 0.010-0.039=-0.029 | | min | 2070.448-5001.177=-2930.729 | | max | 2070.477-5001.274=-2930.797 |
| | mean | 1844.000-3054.000=-1210.000 | | σ | 217.430-216.849=0.581 | | min | 1598.000-2832.000=-1234.000 | | max | 2086.000-3328.000=-1242.000 |
| | mean | 4.453-9.915=-5.461 | | σ | 0.028-0.203=-0.174 | | min | 4.412-9.641=-5.230 | | max | 4.488-10.195=-5.707 |
|