iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-270.146=-0.001 | | σ | 0.009-0.010=-0.001 | | min | 270.134-270.131=0.003 | | max | 270.153-270.156=-0.003 |
| | mean | 2765.000-2776.000=-11.000 | | σ | 0.000 | | min | 2765.000-2776.000=-11.000 | | max | 2765.000-2776.000=-11.000 |
| | mean | 0.379-0.379=-0.001 | | σ | 0.007-0.005=0.002 | | min | 0.367-0.371=-0.003 | | max | 0.387-0.384=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.588-1930.608=-0.020 | | σ | 0.026-0.005=0.021 | | min | 1930.562-1930.603=-0.042 | | max | 1930.617-1930.617=0.000 |
| | mean | 2765.000-2776.000=-11.000 | | σ | 0.000 | | min | 2765.000-2776.000=-11.000 | | max | 2765.000-2776.000=-11.000 |
| | mean | 2.500-2.557=-0.057 | | σ | 0.184-0.135=0.049 | | min | 2.339-2.464=-0.125 | | max | 2.791-2.774=0.017 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.296-4751.314=-0.018 | | σ | 0.878-0.834=0.044 | | min | 4750.824-4750.798=0.026 | | max | 4752.856-4752.792=0.063 |
| | mean | 2765.000-2776.000=-11.000 | | σ | 0.000 | | min | 2765.000-2776.000=-11.000 | | max | 2765.000-2776.000=-11.000 |
| | mean | 8.640-8.422=0.218 | | σ | 0.354-0.506=-0.153 | | min | 8.065-7.684=0.382 | | max | 8.983-9.078=-0.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.772-4941.771=0.001 | | σ | 0.023-0.025=-0.002 | | min | 4941.747-4941.744=0.003 | | max | 4941.801-4941.802=-0.000 |
| | mean | 3037.800-3038.000=-0.200 | | σ | 232.347-233.983=-1.636 | | min | 2765.000-2776.000=-11.000 | | max | 3319.000-3377.000=-58.000 |
| | mean | 8.458-8.586=-0.128 | | σ | 0.188-0.174=0.015 | | min | 8.190-8.395=-0.205 | | max | 8.715-8.798=-0.082 |
|