iters=5 new-facts=1 prior-facts=1 | | mean | 273.402-277.711=-4.310 | | σ | 0.010-0.011=-0.000 | | min | 273.392-277.696=-4.303 | | max | 273.417-277.722=-4.305 |
| | mean | 2451.000-2650.000=-199.000 | | σ | 0.000 | | min | 2451.000-2650.000=-199.000 | | max | 2451.000-2650.000=-199.000 |
| | mean | 0.383-0.410=-0.027 | | σ | 0.008-0.002=0.005 | | min | 0.376-0.408=-0.032 | | max | 0.392-0.413=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.832-2267.882=-334.050 | | σ | 0.012-0.019=-0.007 | | min | 1933.812-2267.849=-334.037 | | max | 1933.843-2267.896=-334.053 |
| | mean | 2451.000-2650.000=-199.000 | | σ | 0.000 | | min | 2451.000-2650.000=-199.000 | | max | 2451.000-2650.000=-199.000 |
| | mean | 3.044-3.208=-0.164 | | σ | 0.192-0.157=0.035 | | min | 2.732-2.945=-0.213 | | max | 3.238-3.340=-0.102 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.335-4955.046=-200.712 | | σ | 0.848-0.844=0.004 | | min | 4753.789-4954.567=-200.778 | | max | 4755.841-4956.549=-200.707 |
| | mean | 2451.000-2650.000=-199.000 | | σ | 0.000 | | min | 2451.000-2650.000=-199.000 | | max | 2451.000-2650.000=-199.000 |
| | mean | 8.676-8.003=0.672 | | σ | 0.504-0.349=0.155 | | min | 7.804-7.704=0.100 | | max | 9.058-8.507=0.552 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.799-5169.786=-224.987 | | σ | 0.092-0.094=-0.002 | | min | 4944.720-5169.669=-224.950 | | max | 4944.909-5169.871=-224.961 |
| | mean | 2986.600-3355.000=-368.400 | | σ | 351.799-448.675=-96.876 | | min | 2485.000-2918.000=-433.000 | | max | 3294.000-3814.000=-520.000 |
| | mean | 8.733-9.383=-0.649 | | σ | 0.307-0.214=0.093 | | min | 8.435-9.150=-0.716 | | max | 9.082-9.623=-0.541 |
|