iters=5 new-facts=1 prior-facts=1 | | mean | 269.379-273.611=-4.232 | | σ | 0.007-0.007=-0.000 | | min | 269.370-273.600=-4.229 | | max | 269.386-273.617=-4.231 |
| | mean | 2693.000-2837.000=-144.000 | | σ | 0.000 | | min | 2693.000-2837.000=-144.000 | | max | 2693.000-2837.000=-144.000 |
| | mean | 0.377-0.384=-0.007 | | σ | 0.004-0.007=-0.003 | | min | 0.374-0.380=-0.007 | | max | 0.383-0.396=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.751-1934.003=-4.253 | | σ | 0.006-0.011=-0.005 | | min | 1929.745-1933.996=-4.251 | | max | 1929.761-1934.023=-4.262 |
| | mean | 2693.000-2837.000=-144.000 | | σ | 0.000 | | min | 2693.000-2837.000=-144.000 | | max | 2693.000-2837.000=-144.000 |
| | mean | 3.063-3.077=-0.014 | | σ | 0.069-0.278=-0.209 | | min | 3.000-2.780=0.220 | | max | 3.167-3.527=-0.361 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.519-4754.761=-4.242 | | σ | 0.866-0.819=0.047 | | min | 4749.975-4754.301=-4.325 | | max | 4752.051-4756.217=-4.166 |
| | mean | 2693.000-2837.000=-144.000 | | σ | 0.000 | | min | 2693.000-2837.000=-144.000 | | max | 2693.000-2837.000=-144.000 |
| | mean | 8.675-8.449=0.225 | | σ | 0.682-0.501=0.181 | | min | 7.892-7.639=0.253 | | max | 9.761-8.923=0.838 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.988-4945.140=-4.153 | | σ | 0.013-0.175=-0.162 | | min | 4940.970-4944.831=-3.861 | | max | 4940.998-4945.254=-4.256 |
| | mean | 3034.200-3047.200=-13.000 | | σ | 281.615-225.900=55.716 | | min | 2693.000-2837.000=-144.000 | | max | 3411.000-3382.000=29.000 |
| | mean | 8.584-8.623=-0.039 | | σ | 0.187-0.253=-0.066 | | min | 8.395-8.294=0.101 | | max | 8.840-8.938=-0.098 |
|