iters=5 new-facts=1 prior-facts=1 | | mean | 269.927-266.778=3.149 | | σ | 0.009-0.005=0.004 | | min | 269.921-266.771=3.150 | | max | 269.941-266.782=3.159 |
| | mean | 2484.000-2475.000=9.000 | | σ | 0.000 | | min | 2484.000-2475.000=9.000 | | max | 2484.000-2475.000=9.000 |
| | mean | 0.373-0.365=0.007 | | σ | 0.007-0.003=0.003 | | min | 0.369-0.361=0.008 | | max | 0.384-0.370=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.383-1927.212=3.171 | | σ | 0.020-0.010=0.010 | | min | 1930.360-1927.202=3.158 | | max | 1930.399-1927.223=3.175 |
| | mean | 2484.000-2475.000=9.000 | | σ | 0.000 | | min | 2484.000-2475.000=9.000 | | max | 2484.000-2475.000=9.000 |
| | mean | 2.556-2.924=-0.368 | | σ | 0.159-0.275=-0.117 | | min | 2.427-2.460=-0.033 | | max | 2.831-3.170=-0.339 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.860-4747.684=3.177 | | σ | 0.875-0.953=-0.078 | | min | 4750.435-4746.927=3.508 | | max | 4752.424-4749.336=3.088 |
| | mean | 2484.000-2475.000=9.000 | | σ | 0.000 | | min | 2484.000-2475.000=9.000 | | max | 2484.000-2475.000=9.000 |
| | mean | 8.694-8.213=0.481 | | σ | 0.401-0.441=-0.041 | | min | 8.275-7.692=0.583 | | max | 9.133-8.907=0.226 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.295-4938.196=3.099 | | σ | 0.152-0.087=0.065 | | min | 4941.065-4938.094=2.971 | | max | 4941.435-4938.279=3.156 |
| | mean | 2997.200-2969.200=28.000 | | σ | 283.625-434.536=-150.911 | | min | 2606.000-2475.000=131.000 | | max | 3330.000-3556.000=-226.000 |
| | mean | 8.621-8.598=0.024 | | σ | 0.362-0.419=-0.057 | | min | 8.333-8.299=0.034 | | max | 9.215-9.315=-0.100 |
|