iters=5 new-facts=1 prior-facts=1 | | mean | 286.823-285.031=1.792 | | σ | 0.036-0.037=-0.001 | | min | 286.774-284.985=1.789 | | max | 286.861-285.073=1.788 |
| | mean | 1647.000-1639.000=8.000 | | σ | 0.000 | | min | 1647.000-1639.000=8.000 | | max | 1647.000-1639.000=8.000 |
| | mean | 0.394-0.396=-0.002 | | σ | 0.008-0.008=0.000 | | min | 0.386-0.386=-0.000 | | max | 0.404-0.405=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.266-1295.414=1.852 | | σ | 0.097-0.111=-0.014 | | min | 1297.128-1295.288=1.840 | | max | 1297.385-1295.550=1.835 |
| | mean | 1647.000-1639.000=8.000 | | σ | 0.000 | | min | 1647.000-1639.000=8.000 | | max | 1647.000-1639.000=8.000 |
| | mean | 2.249-1.985=0.264 | | σ | 0.116-0.123=-0.008 | | min | 2.169-1.814=0.355 | | max | 2.453-2.156=0.297 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.392-1539.574=1.818 | | σ | 6.775-6.807=-0.032 | | min | 1538.268-1536.320=1.948 | | max | 1553.510-1551.747=1.763 |
| | mean | 1647.000-1639.000=8.000 | | σ | 0.000 | | min | 1647.000-1639.000=8.000 | | max | 1647.000-1639.000=8.000 |
| | mean | 2.369-2.386=-0.017 | | σ | 0.263-0.240=0.024 | | min | 2.148-2.030=0.118 | | max | 2.767-2.673=0.093 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1857.315=1.801 | | σ | 0.066-0.057=0.009 | | min | 1859.027-1857.272=1.754 | | max | 1859.193-1857.400=1.794 |
| | mean | 1776.800-1773.600=3.200 | | σ | 126.308-135.188=-8.880 | | min | 1647.000-1639.000=8.000 | | max | 1904.000-1913.000=-9.000 |
| | mean | 3.101-3.054=0.046 | | σ | 0.274-0.385=-0.111 | | min | 2.854-2.642=0.212 | | max | 3.527-3.687=-0.160 |
|