iters=5 new-facts=1 prior-facts=1 | | mean | 270.240-270.241=-0.001 | | σ | 0.004-0.007=-0.003 | | min | 270.233-270.232=0.001 | | max | 270.244-270.250=-0.006 |
| | mean | 2491.000-2411.000=80.000 | | σ | 0.000 | | min | 2491.000-2411.000=80.000 | | max | 2491.000-2411.000=80.000 |
| | mean | 0.382-0.387=-0.005 | | σ | 0.007-0.008=-0.001 | | min | 0.377-0.380=-0.004 | | max | 0.393-0.397=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.699-1930.699=-0.000 | | σ | 0.011-0.012=-0.001 | | min | 1930.687-1930.681=0.006 | | max | 1930.712-1930.711=0.001 |
| | mean | 2491.000-2411.000=80.000 | | σ | 0.000 | | min | 2491.000-2411.000=80.000 | | max | 2491.000-2411.000=80.000 |
| | mean | 2.483-2.614=-0.131 | | σ | 0.072-0.168=-0.095 | | min | 2.413-2.433=-0.021 | | max | 2.567-2.847=-0.279 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.363-4751.363=-0.001 | | σ | 0.950-0.969=-0.018 | | min | 4750.874-4750.877=-0.003 | | max | 4753.060-4753.094=-0.034 |
| | mean | 2491.000-2411.000=80.000 | | σ | 0.000 | | min | 2491.000-2411.000=80.000 | | max | 2491.000-2411.000=80.000 |
| | mean | 8.745-8.887=-0.142 | | σ | 0.350-0.334=0.016 | | min | 8.242-8.485=-0.243 | | max | 9.097-9.263=-0.165 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.867-4941.869=-0.002 | | σ | 0.011-0.029=-0.018 | | min | 4941.854-4941.839=0.015 | | max | 4941.879-4941.900=-0.021 |
| | mean | 3017.800-3006.400=11.400 | | σ | 312.344-349.045=-36.701 | | min | 2598.000-2543.000=55.000 | | max | 3414.000-3332.000=82.000 |
| | mean | 8.504-8.705=-0.201 | | σ | 0.086-0.321=-0.236 | | min | 8.400-8.433=-0.033 | | max | 8.610-9.239=-0.629 |
|