iters=5 new-facts=1 prior-facts=1 | | mean | 266.781-273.401=-6.620 | | σ | 0.007-0.008=-0.001 | | min | 266.772-273.394=-6.622 | | max | 266.789-273.414=-6.626 |
| | mean | 2474.000-2491.000=-17.000 | | σ | 0.000 | | min | 2474.000-2491.000=-17.000 | | max | 2474.000-2491.000=-17.000 |
| | mean | 0.368-0.385=-0.017 | | σ | 0.009-0.007=0.002 | | min | 0.364-0.379=-0.015 | | max | 0.383-0.392=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.210-1933.842=-6.632 | | σ | 0.010-0.012=-0.001 | | min | 1927.202-1933.828=-6.626 | | max | 1927.225-1933.852=-6.628 |
| | mean | 2474.000-2491.000=-17.000 | | σ | 0.000 | | min | 2474.000-2491.000=-17.000 | | max | 2474.000-2491.000=-17.000 |
| | mean | 3.047-3.042=0.006 | | σ | 0.231-0.182=0.048 | | min | 2.751-2.744=0.007 | | max | 3.386-3.182=0.204 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.697-4754.338=-6.641 | | σ | 0.845-0.867=-0.022 | | min | 4747.189-4753.754=-6.565 | | max | 4749.199-4755.875=-6.676 |
| | mean | 2474.000-2491.000=-17.000 | | σ | 0.000 | | min | 2474.000-2491.000=-17.000 | | max | 2474.000-2491.000=-17.000 |
| | mean | 8.543-8.544=-0.000 | | σ | 0.495-0.534=-0.039 | | min | 7.932-7.699=0.232 | | max | 9.157-9.053=0.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.173-4944.800=-6.627 | | σ | 0.091-0.073=0.018 | | min | 4938.099-4944.740=-6.640 | | max | 4938.276-4944.887=-6.612 |
| | mean | 3003.000-3012.800=-9.800 | | σ | 272.715-351.222=-78.507 | | min | 2612.000-2546.000=66.000 | | max | 3337.000-3340.000=-3.000 |
| | mean | 8.667-8.747=-0.080 | | σ | 0.267-0.319=-0.052 | | min | 8.427-8.434=-0.006 | | max | 9.001-9.137=-0.136 |
|