iters=5 new-facts=1 prior-facts=1 | | mean | 278.943-278.913=0.030 | | σ | 0.011-0.005=0.006 | | min | 278.929-278.907=0.022 | | max | 278.956-278.918=0.039 |
| | mean | 2753.000-2833.000=-80.000 | | σ | 0.000 | | min | 2753.000-2833.000=-80.000 | | max | 2753.000-2833.000=-80.000 |
| | mean | 0.412-0.414=-0.002 | | σ | 0.006-0.006=-0.000 | | min | 0.405-0.408=-0.002 | | max | 0.418-0.421=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2177.869-2177.875=-0.006 | | σ | 0.021-0.013=0.007 | | min | 2177.852-2177.863=-0.011 | | max | 2177.899-2177.893=0.007 |
| | mean | 2753.000-2833.000=-80.000 | | σ | 0.000 | | min | 2753.000-2833.000=-80.000 | | max | 2753.000-2833.000=-80.000 |
| | mean | 3.344-3.368=-0.025 | | σ | 0.217-0.084=0.133 | | min | 3.187-3.272=-0.085 | | max | 3.721-3.489=0.232 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5055.699-5055.775=-0.076 | | σ | 0.745-0.969=-0.224 | | min | 5055.198-5055.201=-0.003 | | max | 5057.009-5057.498=-0.489 |
| | mean | 2753.000-2833.000=-80.000 | | σ | 0.000 | | min | 2753.000-2833.000=-80.000 | | max | 2753.000-2833.000=-80.000 |
| | mean | 9.041-9.135=-0.094 | | σ | 0.745-0.445=0.300 | | min | 8.132-8.396=-0.264 | | max | 9.829-9.598=0.231 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.106-5193.114=-0.009 | | σ | 0.132-0.204=-0.072 | | min | 5192.919-5192.778=0.141 | | max | 5193.290-5193.280=0.010 |
| | mean | 3191.600-3304.000=-112.400 | | σ | 436.014-375.630=60.383 | | min | 2753.000-2833.000=-80.000 | | max | 3803.000-3673.000=130.000 |
| | mean | 8.963-8.805=0.158 | | σ | 0.413-0.152=0.261 | | min | 8.547-8.677=-0.131 | | max | 9.611-9.035=0.576 |
|