iters=5 new-facts=1 prior-facts=1 | | mean | 269.378-270.111=-0.733 | | σ | 0.006-0.006=0.000 | | min | 269.371-270.106=-0.735 | | max | 269.385-270.118=-0.732 |
| | mean | 2657.000-2676.000=-19.000 | | σ | 0.000 | | min | 2657.000-2676.000=-19.000 | | max | 2657.000-2676.000=-19.000 |
| | mean | 0.381-0.386=-0.005 | | σ | 0.003-0.007=-0.003 | | min | 0.377-0.380=-0.003 | | max | 0.385-0.398=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.742-1930.479=-0.737 | | σ | 0.009-0.018=-0.009 | | min | 1929.727-1930.448=-0.721 | | max | 1929.752-1930.494=-0.742 |
| | mean | 2657.000-2676.000=-19.000 | | σ | 0.000 | | min | 2657.000-2676.000=-19.000 | | max | 2657.000-2676.000=-19.000 |
| | mean | 2.908-3.002=-0.094 | | σ | 0.100-0.188=-0.088 | | min | 2.799-2.749=0.050 | | max | 3.010-3.227=-0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.478-4751.233=-0.756 | | σ | 0.953-0.926=0.027 | | min | 4749.987-4750.734=-0.747 | | max | 4752.180-4752.886=-0.706 |
| | mean | 2657.000-2676.000=-19.000 | | σ | 0.000 | | min | 2657.000-2676.000=-19.000 | | max | 2657.000-2676.000=-19.000 |
| | mean | 8.732-8.677=0.055 | | σ | 0.571-0.442=0.129 | | min | 7.821-8.015=-0.194 | | max | 9.219-9.136=0.083 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.981-4941.717=-0.735 | | σ | 0.014-0.018=-0.003 | | min | 4940.964-4941.697=-0.733 | | max | 4940.997-4941.733=-0.735 |
| | mean | 2968.600-2974.400=-5.800 | | σ | 243.957-247.755=-3.798 | | min | 2657.000-2676.000=-19.000 | | max | 3299.000-3312.000=-13.000 |
| | mean | 8.465-8.485=-0.021 | | σ | 0.056-0.104=-0.048 | | min | 8.395-8.361=0.035 | | max | 8.523-8.625=-0.103 |
|