iters=5 new-facts=1 prior-facts=1 | | mean | 329.707-329.713=-0.006 | | σ | 0.051-0.049=0.002 | | min | 329.617-329.627=-0.010 | | max | 329.737-329.747=-0.010 |
| | mean | 2696.000-2849.000=-153.000 | | σ | 0.000 | | min | 2696.000-2849.000=-153.000 | | max | 2696.000-2849.000=-153.000 |
| | mean | 0.427-0.427=0.001 | | σ | 0.000-0.001=-0.000 | | min | 0.427-0.426=0.001 | | max | 0.428-0.427=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1991.879-1991.870=0.010 | | σ | 0.010-0.011=-0.001 | | min | 1991.865-1991.854=0.011 | | max | 1991.891-1991.882=0.009 |
| | mean | 2696.000-2849.000=-153.000 | | σ | 0.000 | | min | 2696.000-2849.000=-153.000 | | max | 2696.000-2849.000=-153.000 |
| | mean | 2.665-2.749=-0.084 | | σ | 0.089-0.278=-0.189 | | min | 2.570-2.513=0.057 | | max | 2.767-3.230=-0.463 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4816.729-4816.731=-0.002 | | σ | 7.719-7.724=-0.005 | | min | 4813.214-4813.205=0.009 | | max | 4830.538-4830.549=-0.011 |
| | mean | 2696.000-2849.000=-153.000 | | σ | 0.000 | | min | 2696.000-2849.000=-153.000 | | max | 2696.000-2849.000=-153.000 |
| | mean | 8.856-8.807=0.049 | | σ | 0.332-0.612=-0.280 | | min | 8.371-7.987=0.384 | | max | 9.173-9.633=-0.460 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5004.202-5004.268=-0.066 | | σ | 0.174-0.019=0.154 | | min | 5003.893-5004.248=-0.355 | | max | 5004.302-5004.296=0.006 |
| | mean | 3027.800-3015.000=12.800 | | σ | 288.567-192.302=96.265 | | min | 2696.000-2849.000=-153.000 | | max | 3417.000-3319.000=98.000 |
| | mean | 9.808-9.638=0.170 | | σ | 0.073-0.212=-0.139 | | min | 9.721-9.441=0.279 | | max | 9.912-9.948=-0.035 |
|