iters=5 new-facts=1 prior-facts=1 | | mean | 278.675-278.674=0.001 | | σ | 0.011-0.013=-0.002 | | min | 278.660-278.657=0.003 | | max | 278.689-278.689=-0.000 |
| | mean | 2606.000-2611.000=-5.000 | | σ | 0.000 | | min | 2606.000-2611.000=-5.000 | | max | 2606.000-2611.000=-5.000 |
| | mean | 0.420-0.419=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.417-0.418=-0.001 | | max | 0.422-0.420=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.844-2268.847=-0.002 | | σ | 0.013-0.005=0.008 | | min | 2268.828-2268.844=-0.016 | | max | 2268.863-2268.856=0.007 |
| | mean | 2606.000-2611.000=-5.000 | | σ | 0.000 | | min | 2606.000-2611.000=-5.000 | | max | 2606.000-2611.000=-5.000 |
| | mean | 3.085-3.091=-0.006 | | σ | 0.335-0.286=0.050 | | min | 2.885-2.917=-0.032 | | max | 3.670-3.591=0.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.098-4952.004=0.094 | | σ | 0.920-0.960=-0.040 | | min | 4951.378-4951.317=0.061 | | max | 4953.710-4953.673=0.037 |
| | mean | 2606.000-2611.000=-5.000 | | σ | 0.000 | | min | 2606.000-2611.000=-5.000 | | max | 2606.000-2611.000=-5.000 |
| | mean | 8.012-7.972=0.040 | | σ | 0.262-0.183=0.079 | | min | 7.811-7.757=0.054 | | max | 8.451-8.204=0.247 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.884-5166.955=-0.071 | | σ | 0.201-0.076=0.125 | | min | 5166.546-5166.888=-0.342 | | max | 5167.046-5167.041=0.006 |
| | mean | 3492.200-3461.000=31.200 | | σ | 481.290-452.625=28.665 | | min | 2865.000-2890.000=-25.000 | | max | 4164.000-4130.000=34.000 |
| | mean | 9.338-9.142=0.196 | | σ | 0.221-0.262=-0.041 | | min | 9.026-8.759=0.266 | | max | 9.637-9.467=0.170 |
|