iters=5 new-facts=1 prior-facts=1 | | mean | 266.787-271.645=-4.857 | | σ | 0.010-0.009=0.001 | | min | 266.778-271.633=-4.854 | | max | 266.799-271.654=-4.855 |
| | mean | 2774.000-2818.000=-44.000 | | σ | 0.000 | | min | 2774.000-2818.000=-44.000 | | max | 2774.000-2818.000=-44.000 |
| | mean | 0.365-0.386=-0.021 | | σ | 0.001-0.011=-0.010 | | min | 0.363-0.377=-0.014 | | max | 0.366-0.403=-0.037 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.216-1932.094=-4.878 | | σ | 0.009-0.015=-0.006 | | min | 1927.206-1932.078=-4.872 | | max | 1927.228-1932.109=-4.880 |
| | mean | 2774.000-2818.000=-44.000 | | σ | 0.000 | | min | 2774.000-2818.000=-44.000 | | max | 2774.000-2818.000=-44.000 |
| | mean | 2.977-2.621=0.356 | | σ | 0.095-0.159=-0.064 | | min | 2.866-2.425=0.440 | | max | 3.118-2.841=0.277 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.730-4752.579=-4.849 | | σ | 0.803-0.854=-0.051 | | min | 4747.295-4752.061=-4.766 | | max | 4749.162-4754.098=-4.936 |
| | mean | 2774.000-2818.000=-44.000 | | σ | 0.000 | | min | 2774.000-2818.000=-44.000 | | max | 2774.000-2818.000=-44.000 |
| | mean | 8.298-8.500=-0.203 | | σ | 0.698-0.594=0.103 | | min | 7.682-7.732=-0.050 | | max | 9.191-9.130=0.061 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.168-4943.043=-4.875 | | σ | 0.079-0.076=0.004 | | min | 4938.105-4942.983=-4.878 | | max | 4938.266-4943.128=-4.862 |
| | mean | 3038.400-3061.200=-22.800 | | σ | 313.774-314.276=-0.502 | | min | 2774.000-2818.000=-44.000 | | max | 3501.000-3542.000=-41.000 |
| | mean | 8.387-8.426=-0.039 | | σ | 0.124-0.068=0.056 | | min | 8.259-8.317=-0.059 | | max | 8.595-8.498=0.097 |
|