iters=5 new-facts=1 prior-facts=1 | | mean | 270.127-270.130=-0.003 | | σ | 0.001-0.004=-0.002 | | min | 270.126-270.126=-0.001 | | max | 270.129-270.137=-0.008 |
| | mean | 2850.000-2454.000=396.000 | | σ | 0.000 | | min | 2850.000-2454.000=396.000 | | max | 2850.000-2454.000=396.000 |
| | mean | 0.373-0.378=-0.005 | | σ | 0.004-0.001=0.003 | | min | 0.370-0.377=-0.007 | | max | 0.379-0.380=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.584-1930.591=-0.007 | | σ | 0.019-0.018=0.001 | | min | 1930.563-1930.571=-0.008 | | max | 1930.608-1930.611=-0.004 |
| | mean | 2850.000-2454.000=396.000 | | σ | 0.000 | | min | 2850.000-2454.000=396.000 | | max | 2850.000-2454.000=396.000 |
| | mean | 2.544-2.496=0.048 | | σ | 0.116-0.050=0.066 | | min | 2.451-2.452=-0.001 | | max | 2.738-2.573=0.165 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.129-4750.779=0.350 | | σ | 0.783-0.707=0.076 | | min | 4750.652-4750.189=0.463 | | max | 4752.520-4751.946=0.575 |
| | mean | 2850.000-2454.000=396.000 | | σ | 0.000 | | min | 2850.000-2454.000=396.000 | | max | 2850.000-2454.000=396.000 |
| | mean | 8.092-8.113=-0.021 | | σ | 0.382-0.463=-0.081 | | min | 7.650-7.574=0.076 | | max | 8.476-8.652=-0.176 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.456-4941.529=-0.074 | | σ | 0.201-0.090=0.111 | | min | 4941.120-4941.455=-0.335 | | max | 4941.619-4941.635=-0.015 |
| | mean | 3060.600-3014.800=45.800 | | σ | 270.281-259.761=10.520 | | min | 2850.000-2629.000=221.000 | | max | 3475.000-3323.000=152.000 |
| | mean | 8.374-8.534=-0.160 | | σ | 0.132-0.225=-0.093 | | min | 8.256-8.269=-0.013 | | max | 8.586-8.803=-0.217 |
|