iters=5 new-facts=1 prior-facts=1 | | mean | 275.753-275.755=-0.003 | | σ | 0.010-0.006=0.004 | | min | 275.742-275.749=-0.007 | | max | 275.765-275.765=0.000 |
| | mean | 2647.000-2646.000=1.000 | | σ | 0.000 | | min | 2647.000-2646.000=1.000 | | max | 2647.000-2646.000=1.000 |
| | mean | 0.395-0.401=-0.006 | | σ | 0.009-0.016=-0.007 | | min | 0.387-0.384=0.002 | | max | 0.407-0.423=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.280-2168.282=-0.002 | | σ | 0.005-0.016=-0.010 | | min | 2168.272-2168.259=0.013 | | max | 2168.286-2168.297=-0.012 |
| | mean | 2647.000-2646.000=1.000 | | σ | 0.000 | | min | 2647.000-2646.000=1.000 | | max | 2647.000-2646.000=1.000 |
| | mean | 2.909-2.957=-0.048 | | σ | 0.166-0.157=0.009 | | min | 2.701-2.756=-0.055 | | max | 3.056-3.146=-0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.117-5047.990=0.127 | | σ | 0.939-0.649=0.290 | | min | 5047.558-5047.575=-0.016 | | max | 5049.789-5049.136=0.653 |
| | mean | 2647.000-2646.000=1.000 | | σ | 0.000 | | min | 2647.000-2646.000=1.000 | | max | 2647.000-2646.000=1.000 |
| | mean | 8.858-8.655=0.202 | | σ | 0.526-0.365=0.160 | | min | 8.086-8.155=-0.069 | | max | 9.364-9.087=0.278 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.239-5179.240=-0.001 | | σ | 0.081-0.079=0.002 | | min | 5179.162-5179.169=-0.007 | | max | 5179.341-5179.336=0.005 |
| | mean | 3225.400-3266.800=-41.400 | | σ | 389.844-378.852=10.991 | | min | 2699.000-2732.000=-33.000 | | max | 3733.000-3724.000=9.000 |
| | mean | 9.920-9.879=0.041 | | σ | 0.361-0.323=0.038 | | min | 9.468-9.429=0.038 | | max | 10.309-10.139=0.170 |
|