iters=5 new-facts=1 prior-facts=1 | | mean | 273.403-274.828=-1.424 | | σ | 0.011-0.004=0.006 | | min | 273.395-274.823=-1.428 | | max | 273.418-274.834=-1.416 |
| | mean | 2478.000-2663.000=-185.000 | | σ | 0.000 | | min | 2478.000-2663.000=-185.000 | | max | 2478.000-2663.000=-185.000 |
| | mean | 0.387-0.391=-0.004 | | σ | 0.008-0.009=-0.001 | | min | 0.377-0.383=-0.007 | | max | 0.398-0.402=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.839-1940.003=-6.164 | | σ | 0.011-0.008=0.003 | | min | 1933.826-1939.994=-6.168 | | max | 1933.850-1940.011=-6.161 |
| | mean | 2478.000-2663.000=-185.000 | | σ | 0.000 | | min | 2478.000-2663.000=-185.000 | | max | 2478.000-2663.000=-185.000 |
| | mean | 2.913-3.053=-0.140 | | σ | 0.262-0.099=0.163 | | min | 2.471-2.956=-0.486 | | max | 3.118-3.196=-0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.357-4758.853=-4.496 | | σ | 0.853-0.897=-0.044 | | min | 4753.735-4758.334=-4.599 | | max | 4755.859-4760.451=-4.592 |
| | mean | 2478.000-2663.000=-185.000 | | σ | 0.000 | | min | 2478.000-2663.000=-185.000 | | max | 2478.000-2663.000=-185.000 |
| | mean | 8.648-8.170=0.478 | | σ | 0.610-0.643=-0.033 | | min | 7.754-7.731=0.023 | | max | 9.465-9.294=0.171 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.803-4953.979=-9.176 | | σ | 0.078-0.088=-0.010 | | min | 4944.737-4953.909=-9.172 | | max | 4944.888-4954.080=-9.192 |
| | mean | 3015.200-2976.800=38.400 | | σ | 359.008-354.721=4.287 | | min | 2533.000-2663.000=-130.000 | | max | 3348.000-3490.000=-142.000 |
| | mean | 8.873-8.478=0.395 | | σ | 0.390-0.133=0.257 | | min | 8.524-8.382=0.142 | | max | 9.422-8.707=0.715 |
|