iters=5 new-facts=1 prior-facts=1 | | mean | 326.443-326.452=-0.009 | | σ | 0.058-0.031=0.027 | | min | 326.339-326.398=-0.059 | | max | 326.477-326.472=0.005 |
| | mean | 2835.000-2825.000=10.000 | | σ | 0.000 | | min | 2835.000-2825.000=10.000 | | max | 2835.000-2825.000=10.000 |
| | mean | 0.427-0.424=0.003 | | σ | 0.012-0.003=0.009 | | min | 0.420-0.421=-0.001 | | max | 0.449-0.430=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.612-1848.274=140.338 | | σ | 0.014-313.784=-313.770 | | min | 1988.593-1286.960=701.633 | | max | 1988.627-1988.617=0.009 |
| | mean | 2835.000-2825.000=10.000 | | σ | 0.000 | | min | 2835.000-2825.000=10.000 | | max | 2835.000-2825.000=10.000 |
| | mean | 2.728-2.666=0.062 | | σ | 0.142-0.500=-0.358 | | min | 2.558-1.798=0.760 | | max | 2.879-3.001=-0.122 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.391-4813.512=-0.121 | | σ | 7.763-7.694=0.069 | | min | 4809.610-4809.911=-0.300 | | max | 4827.273-4827.274=-0.001 |
| | mean | 2835.000-2825.000=10.000 | | σ | 0.000 | | min | 2835.000-2825.000=10.000 | | max | 2835.000-2825.000=10.000 |
| | mean | 8.212-8.194=0.017 | | σ | 0.572-0.561=0.011 | | min | 7.609-7.744=-0.135 | | max | 9.044-9.114=-0.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.005-5001.017=-0.012 | | σ | 0.035-0.035=0.000 | | min | 5000.975-5000.975=-0.000 | | max | 5001.063-5001.065=-0.002 |
| | mean | 3035.800-2986.800=49.000 | | σ | 253.285-232.556=20.729 | | min | 2835.000-2825.000=10.000 | | max | 3411.000-3351.000=60.000 |
| | mean | 9.442-9.781=-0.339 | | σ | 0.635-0.274=0.360 | | min | 8.520-9.328=-0.808 | | max | 10.229-10.012=0.217 |
|