iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.692=0.004 | | σ | 0.014-0.013=0.001 | | min | 278.684-278.677=0.007 | | max | 278.719-278.707=0.012 |
| | mean | 2611.000-2689.000=-78.000 | | σ | 0.000 | | min | 2611.000-2689.000=-78.000 | | max | 2611.000-2689.000=-78.000 |
| | mean | 0.426-0.421=0.005 | | σ | 0.013-0.000=0.013 | | min | 0.416-0.421=-0.005 | | max | 0.442-0.421=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.873-2268.842=0.030 | | σ | 0.005-0.020=-0.015 | | min | 2268.868-2268.822=0.047 | | max | 2268.881-2268.870=0.011 |
| | mean | 2611.000-2689.000=-78.000 | | σ | 0.000 | | min | 2611.000-2689.000=-78.000 | | max | 2611.000-2689.000=-78.000 |
| | mean | 2.948-3.393=-0.445 | | σ | 0.117-0.347=-0.229 | | min | 2.864-2.828=0.035 | | max | 3.151-3.781=-0.631 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.363-4956.045=-3.683 | | σ | 0.992-0.852=0.140 | | min | 4951.723-4955.643=-3.920 | | max | 4954.125-4957.569=-3.443 |
| | mean | 2611.000-2689.000=-78.000 | | σ | 0.000 | | min | 2611.000-2689.000=-78.000 | | max | 2611.000-2689.000=-78.000 |
| | mean | 8.342-8.010=0.332 | | σ | 0.677-0.215=0.462 | | min | 7.810-7.802=0.008 | | max | 9.527-8.275=1.252 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.074-5170.763=-3.689 | | σ | 0.014-0.082=-0.068 | | min | 5167.066-5170.674=-3.609 | | max | 5167.099-5170.832=-3.733 |
| | mean | 3422.800-3467.800=-45.000 | | σ | 454.531-469.483=-14.952 | | min | 2809.000-2806.000=3.000 | | max | 3992.000-4018.000=-26.000 |
| | mean | 9.234-9.404=-0.171 | | σ | 0.255-0.312=-0.057 | | min | 8.985-9.103=-0.118 | | max | 9.615-9.810=-0.195 |
|