iters=5 new-facts=1 prior-facts=1 | | mean | 277.720-190.721=86.999 | | σ | 0.008-0.007=0.001 | | min | 277.707-190.715=86.992 | | max | 277.725-190.732=86.993 |
| | mean | 2648.000-2616.000=32.000 | | σ | 0.000 | | min | 2648.000-2616.000=32.000 | | max | 2648.000-2616.000=32.000 |
| | mean | 0.418-0.284=0.134 | | σ | 0.001-0.003=-0.001 | | min | 0.417-0.280=0.137 | | max | 0.419-0.286=0.133 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.888-1989.484=278.405 | | σ | 0.007-0.045=-0.039 | | min | 2267.879-1989.408=278.471 | | max | 2267.898-1989.528=278.369 |
| | mean | 2648.000-2616.000=32.000 | | σ | 0.000 | | min | 2648.000-2616.000=32.000 | | max | 2648.000-2616.000=32.000 |
| | mean | 2.863-2.440=0.423 | | σ | 0.058-0.144=-0.086 | | min | 2.817-2.237=0.580 | | max | 2.963-2.605=0.358 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.960-4880.083=74.877 | | σ | 0.564-0.622=-0.057 | | min | 4954.662-4879.735=74.928 | | max | 4955.967-4881.188=74.779 |
| | mean | 2648.000-2616.000=32.000 | | σ | 0.000 | | min | 2648.000-2616.000=32.000 | | max | 2648.000-2616.000=32.000 |
| | mean | 7.923-8.286=-0.363 | | σ | 0.227-0.205=0.022 | | min | 7.653-8.099=-0.446 | | max | 8.189-8.513=-0.325 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.793-4891.689=278.104 | | σ | 0.079-0.077=0.002 | | min | 5169.704-4891.616=278.088 | | max | 5169.869-4891.773=278.096 |
| | mean | 3379.200-3201.000=178.200 | | σ | 473.000-376.060=96.940 | | min | 2730.000-2828.000=-98.000 | | max | 3969.000-3580.000=389.000 |
| | mean | 9.216-8.222=0.993 | | σ | 0.313-0.247=0.066 | | min | 8.761-8.003=0.758 | | max | 9.531-8.605=0.926 |
|