iters=5 new-facts=1 prior-facts=1 | | mean | 278.698-278.696=0.001 | | σ | 0.013-0.014=-0.001 | | min | 278.686-278.683=0.003 | | max | 278.719-278.720=-0.001 |
| | mean | 2683.000-2837.000=-154.000 | | σ | 0.000 | | min | 2683.000-2837.000=-154.000 | | max | 2683.000-2837.000=-154.000 |
| | mean | 0.417-0.419=-0.002 | | σ | 0.001-0.002=-0.001 | | min | 0.416-0.416=0.000 | | max | 0.419-0.420=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.861-2268.868=-0.007 | | σ | 0.015-0.010=0.005 | | min | 2268.844-2268.854=-0.010 | | max | 2268.879-2268.877=0.002 |
| | mean | 2683.000-2837.000=-154.000 | | σ | 0.000 | | min | 2683.000-2837.000=-154.000 | | max | 2683.000-2837.000=-154.000 |
| | mean | 2.964-3.059=-0.094 | | σ | 0.174-0.168=0.006 | | min | 2.857-2.870=-0.013 | | max | 3.272-3.201=0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.199-4952.221=-0.022 | | σ | 0.771-0.745=0.027 | | min | 4951.730-4951.847=-0.117 | | max | 4953.571-4953.552=0.019 |
| | mean | 2683.000-2837.000=-154.000 | | σ | 0.000 | | min | 2683.000-2837.000=-154.000 | | max | 2683.000-2837.000=-154.000 |
| | mean | 7.873-7.764=0.109 | | σ | 0.281-0.137=0.144 | | min | 7.627-7.613=0.014 | | max | 8.347-7.918=0.429 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.929-5166.917=0.012 | | σ | 0.022-0.008=0.014 | | min | 5166.914-5166.906=0.008 | | max | 5166.969-5166.929=0.040 |
| | mean | 3353.800-3331.400=22.400 | | σ | 446.573-392.164=54.408 | | min | 2831.000-2837.000=-6.000 | | max | 4001.000-3871.000=130.000 |
| | mean | 9.716-9.254=0.462 | | σ | 0.487-0.195=0.293 | | min | 9.181-9.021=0.161 | | max | 10.414-9.457=0.958 |
|