iters=5 new-facts=1 prior-facts=1 | | mean | 278.680-278.678=0.002 | | σ | 0.007-0.012=-0.005 | | min | 278.669-278.661=0.007 | | max | 278.686-278.693=-0.007 |
| | mean | 2612.000-2660.000=-48.000 | | σ | 0.000 | | min | 2612.000-2660.000=-48.000 | | max | 2612.000-2660.000=-48.000 |
| | mean | 0.423-0.419=0.004 | | σ | 0.007-0.001=0.006 | | min | 0.417-0.418=-0.001 | | max | 0.430-0.420=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.849-2268.848=0.000 | | σ | 0.005-0.010=-0.005 | | min | 2268.842-2268.835=0.007 | | max | 2268.853-2268.858=-0.005 |
| | mean | 2612.000-2660.000=-48.000 | | σ | 0.000 | | min | 2612.000-2660.000=-48.000 | | max | 2612.000-2660.000=-48.000 |
| | mean | 2.974-2.967=0.007 | | σ | 0.175-0.144=0.031 | | min | 2.856-2.889=-0.033 | | max | 3.272-3.223=0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.235-4952.232=0.003 | | σ | 0.840-0.763=0.077 | | min | 4951.769-4951.709=0.060 | | max | 4953.730-4953.578=0.152 |
| | mean | 2612.000-2660.000=-48.000 | | σ | 0.000 | | min | 2612.000-2660.000=-48.000 | | max | 2612.000-2660.000=-48.000 |
| | mean | 8.108-7.903=0.205 | | σ | 0.277-0.317=-0.040 | | min | 7.739-7.709=0.031 | | max | 8.495-8.455=0.040 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.949-5166.953=-0.004 | | σ | 0.086-0.082=0.004 | | min | 5166.885-5166.885=-0.001 | | max | 5167.044-5167.043=0.001 |
| | mean | 3446.800-3381.200=65.600 | | σ | 456.092-480.715=-24.623 | | min | 2865.000-2723.000=142.000 | | max | 4099.000-3983.000=116.000 |
| | mean | 9.258-9.379=-0.121 | | σ | 0.242-0.327=-0.085 | | min | 9.028-9.030=-0.001 | | max | 9.594-9.769=-0.175 |
|