iters=5 new-facts=1 prior-facts=1 | | mean | 324.773-324.774=-0.001 | | σ | 0.056-0.038=0.018 | | min | 324.674-324.707=-0.034 | | max | 324.804-324.803=0.001 |
| | mean | 2424.000-2683.000=-259.000 | | σ | 0.000 | | min | 2424.000-2683.000=-259.000 | | max | 2424.000-2683.000=-259.000 |
| | mean | 0.431-0.426=0.005 | | σ | 0.011-0.009=0.002 | | min | 0.418-0.418=0.000 | | max | 0.445-0.436=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.321-1985.314=0.007 | | σ | 0.018-0.025=-0.007 | | min | 1985.294-1985.281=0.013 | | max | 1985.340-1985.336=0.004 |
| | mean | 2424.000-2683.000=-259.000 | | σ | 0.000 | | min | 2424.000-2683.000=-259.000 | | max | 2424.000-2683.000=-259.000 |
| | mean | 2.617-2.759=-0.142 | | σ | 0.144-0.275=-0.131 | | min | 2.466-2.546=-0.080 | | max | 2.839-3.150=-0.311 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4810.208-4810.053=0.155 | | σ | 7.594-7.781=-0.187 | | min | 4806.657-4806.146=0.510 | | max | 4823.790-4823.965=-0.176 |
| | mean | 2424.000-2683.000=-259.000 | | σ | 0.000 | | min | 2424.000-2683.000=-259.000 | | max | 2424.000-2683.000=-259.000 |
| | mean | 8.443-8.626=-0.184 | | σ | 0.633-0.518=0.115 | | min | 7.695-7.900=-0.205 | | max | 9.344-9.115=0.229 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.711-4997.638=0.073 | | σ | 0.022-0.172=-0.150 | | min | 4997.684-4997.332=0.353 | | max | 4997.733-4997.736=-0.003 |
| | mean | 2979.800-2996.800=-17.000 | | σ | 297.061-255.473=41.588 | | min | 2593.000-2683.000=-90.000 | | max | 3346.000-3312.000=34.000 |
| | mean | 8.674-8.648=0.026 | | σ | 0.159-0.211=-0.052 | | min | 8.440-8.433=0.008 | | max | 8.834-8.971=-0.136 |
|