iters=5 new-facts=1 prior-facts=1 | | mean | 278.700-278.698=0.003 | | σ | 0.008-0.013=-0.005 | | min | 278.690-278.686=0.004 | | max | 278.709-278.719=-0.010 |
| | mean | 2691.000-2683.000=8.000 | | σ | 0.000 | | min | 2691.000-2683.000=8.000 | | max | 2691.000-2683.000=8.000 |
| | mean | 0.420-0.417=0.003 | | σ | 0.001-0.001=0.000 | | min | 0.418-0.416=0.002 | | max | 0.422-0.419=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875-2268.861=0.014 | | σ | 0.003-0.015=-0.012 | | min | 2268.872-2268.844=0.028 | | max | 2268.880-2268.879=0.000 |
| | mean | 2691.000-2683.000=8.000 | | σ | 0.000 | | min | 2691.000-2683.000=8.000 | | max | 2691.000-2683.000=8.000 |
| | mean | 2.979-2.964=0.015 | | σ | 0.174-0.174=-0.000 | | min | 2.819-2.857=-0.038 | | max | 3.276-3.272=0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.084-4952.199=-0.115 | | σ | 0.615-0.771=-0.156 | | min | 4951.695-4951.730=-0.035 | | max | 4953.177-4953.571=-0.393 |
| | mean | 2691.000-2683.000=8.000 | | σ | 0.000 | | min | 2691.000-2683.000=8.000 | | max | 2691.000-2683.000=8.000 |
| | mean | 8.051-7.873=0.178 | | σ | 0.397-0.281=0.116 | | min | 7.761-7.627=0.134 | | max | 8.690-8.347=0.344 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.781-5166.929=-0.148 | | σ | 0.294-0.022=0.271 | | min | 5166.256-5166.914=-0.658 | | max | 5166.921-5166.969=-0.048 |
| | mean | 3396.600-3353.800=42.800 | | σ | 446.700-446.573=0.127 | | min | 2769.000-2831.000=-62.000 | | max | 3941.000-4001.000=-60.000 |
| | mean | 9.788-9.716=0.072 | | σ | 0.289-0.487=-0.198 | | min | 9.449-9.181=0.267 | | max | 10.221-10.414=-0.193 |
|