iters=5 new-facts=1 prior-facts=1 | | mean | 279.503-279.530=-0.028 | | σ | 0.019-0.007=0.012 | | min | 279.470-279.524=-0.054 | | max | 279.515-279.539=-0.024 |
| | mean | 2701.000-2738.000=-37.000 | | σ | 0.000 | | min | 2701.000-2738.000=-37.000 | | max | 2701.000-2738.000=-37.000 |
| | mean | 0.411-0.413=-0.003 | | σ | 0.008-0.008=0.001 | | min | 0.403-0.407=-0.004 | | max | 0.421-0.426=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.450-2178.453=-0.004 | | σ | 0.012-0.014=-0.002 | | min | 2178.439-2178.437=0.001 | | max | 2178.466-2178.474=-0.008 |
| | mean | 2701.000-2738.000=-37.000 | | σ | 0.000 | | min | 2701.000-2738.000=-37.000 | | max | 2701.000-2738.000=-37.000 |
| | mean | 3.502-3.275=0.228 | | σ | 0.149-0.335=-0.186 | | min | 3.320-2.785=0.535 | | max | 3.727-3.726=0.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.433-5056.158=0.275 | | σ | 1.047-1.259=-0.212 | | min | 5055.925-5055.226=0.699 | | max | 5058.304-5058.295=0.009 |
| | mean | 2701.000-2738.000=-37.000 | | σ | 0.000 | | min | 2701.000-2738.000=-37.000 | | max | 2701.000-2738.000=-37.000 |
| | mean | 9.129-8.982=0.147 | | σ | 0.831-0.257=0.574 | | min | 8.149-8.746=-0.597 | | max | 10.231-9.404=0.827 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.790-5193.800=-0.010 | | σ | 0.092-0.083=0.009 | | min | 5193.684-5193.704=-0.020 | | max | 5193.859-5193.870=-0.011 |
| | mean | 3278.400-3199.400=79.000 | | σ | 412.593-450.588=-37.996 | | min | 2701.000-2738.000=-37.000 | | max | 3657.000-3825.000=-168.000 |
| | mean | 9.245-8.742=0.503 | | σ | 0.328-0.119=0.209 | | min | 8.854-8.660=0.193 | | max | 9.631-8.942=0.689 |
|