iters=5 new-facts=1 prior-facts=1 | | mean | 266.763-266.783=-0.019 | | σ | 0.017-0.009=0.008 | | min | 266.749-266.773=-0.024 | | max | 266.793-266.795=-0.002 |
| | mean | 2857.000-2850.000=7.000 | | σ | 0.000 | | min | 2857.000-2850.000=7.000 | | max | 2857.000-2850.000=7.000 |
| | mean | 0.365-0.367=-0.002 | | σ | 0.001-0.003=-0.001 | | min | 0.363-0.365=-0.002 | | max | 0.366-0.371=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.216-1927.209=0.007 | | σ | 0.010-0.007=0.003 | | min | 1927.202-1927.202=-0.000 | | max | 1927.230-1927.218=0.012 |
| | mean | 2857.000-2850.000=7.000 | | σ | 0.000 | | min | 2857.000-2850.000=7.000 | | max | 2857.000-2850.000=7.000 |
| | mean | 2.999-3.000=-0.001 | | σ | 0.096-0.092=0.005 | | min | 2.876-2.935=-0.059 | | max | 3.114-3.159=-0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.728-4747.738=-0.010 | | σ | 0.782-0.777=0.005 | | min | 4747.343-4747.370=-0.026 | | max | 4749.125-4749.127=-0.002 |
| | mean | 2857.000-2850.000=7.000 | | σ | 0.000 | | min | 2857.000-2850.000=7.000 | | max | 2857.000-2850.000=7.000 |
| | mean | 8.240-8.345=-0.106 | | σ | 0.620-0.519=0.101 | | min | 7.675-7.694=-0.019 | | max | 9.011-8.907=0.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.170-4938.096=0.074 | | σ | 0.091-0.211=-0.121 | | min | 4938.086-4937.750=0.336 | | max | 4938.272-4938.273=-0.000 |
| | mean | 3088.400-3074.400=14.000 | | σ | 310.236-236.192=74.044 | | min | 2857.000-2850.000=7.000 | | max | 3572.000-3416.000=156.000 |
| | mean | 8.517-8.516=0.001 | | σ | 0.279-0.224=0.055 | | min | 8.285-8.319=-0.035 | | max | 8.953-8.876=0.077 |
|