iters=5 new-facts=1 prior-facts=1 | | mean | 394.156-339.183=54.974 | | σ | 0.086-0.062=0.024 | | min | 394.031-339.073=54.958 | | max | 394.219-339.217=55.002 |
| | mean | 1620.000-2411.000=-791.000 | | σ | 0.000 | | min | 1620.000-2411.000=-791.000 | | max | 1620.000-2411.000=-791.000 |
| | mean | 0.497-0.433=0.063 | | σ | 0.008-0.001=0.007 | | min | 0.490-0.433=0.058 | | max | 0.505-0.435=0.071 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1395.766-2003.801=-608.035 | | σ | 0.055-0.005=0.050 | | min | 1395.737-2003.792=-608.056 | | max | 1395.864-2003.806=-607.942 |
| | mean | 1620.000-2411.000=-791.000 | | σ | 0.000 | | min | 1620.000-2411.000=-791.000 | | max | 1620.000-2411.000=-791.000 |
| | mean | 2.070-3.257=-1.187 | | σ | 0.142-0.131=0.011 | | min | 1.982-3.150=-1.168 | | max | 2.320-3.443=-1.123 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1917.938-4828.607=-2910.668 | | σ | 7.149-7.738=-0.589 | | min | 1914.627-4824.964=-2910.337 | | max | 1930.723-4842.446=-2911.723 |
| | mean | 1620.000-2411.000=-791.000 | | σ | 0.000 | | min | 1620.000-2411.000=-791.000 | | max | 1620.000-2411.000=-791.000 |
| | mean | 4.330-8.427=-4.096 | | σ | 0.217-0.691=-0.474 | | min | 4.064-7.605=-3.540 | | max | 4.636-9.237=-4.601 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2180.564-5016.059=-2835.496 | | σ | 0.020-0.309=-0.290 | | min | 2180.553-5015.506=-2834.953 | | max | 2180.599-5016.208=-2835.609 |
| | mean | 1847.200-3008.800=-1161.600 | | σ | 196.462-298.438=-101.976 | | min | 1620.000-2599.000=-979.000 | | max | 2082.000-3382.000=-1300.000 |
| | mean | 4.712-8.642=-3.930 | | σ | 0.050-0.104=-0.054 | | min | 4.653-8.498=-3.844 | | max | 4.788-8.742=-3.954 |
|