iters=5 new-facts=1 prior-facts=1 | | mean | 324.770-324.768=0.002 | | σ | 0.032-0.041=-0.008 | | min | 324.716-324.697=0.019 | | max | 324.802-324.797=0.006 |
| | mean | 2684.000-2683.000=1.000 | | σ | 0.000 | | min | 2684.000-2683.000=1.000 | | max | 2684.000-2683.000=1.000 |
| | mean | 0.418-0.427=-0.009 | | σ | 0.008-0.009=-0.001 | | min | 0.412-0.422=-0.010 | | max | 0.432-0.443=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.323-1985.320=0.003 | | σ | 0.013-0.023=-0.010 | | min | 1985.302-1985.284=0.017 | | max | 1985.336-1985.341=-0.005 |
| | mean | 2684.000-2683.000=1.000 | | σ | 0.000 | | min | 2684.000-2683.000=1.000 | | max | 2684.000-2683.000=1.000 |
| | mean | 2.620-2.639=-0.019 | | σ | 0.083-0.087=-0.004 | | min | 2.555-2.561=-0.007 | | max | 2.738-2.778=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.089-4809.099=-0.010 | | σ | 7.725-7.714=0.011 | | min | 4805.571-4805.618=-0.047 | | max | 4822.908-4822.898=0.010 |
| | mean | 2684.000-2683.000=1.000 | | σ | 0.000 | | min | 2684.000-2683.000=1.000 | | max | 2684.000-2683.000=1.000 |
| | mean | 8.957-9.085=-0.128 | | σ | 0.258-0.320=-0.062 | | min | 8.667-8.670=-0.003 | | max | 9.285-9.528=-0.243 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.559-4996.627=-0.068 | | σ | 0.155-0.028=0.127 | | min | 4996.284-4996.591=-0.307 | | max | 4996.658-4996.652=0.006 |
| | mean | 3041.800-3000.800=41.000 | | σ | 270.855-361.720=-90.864 | | min | 2684.000-2683.000=1.000 | | max | 3403.000-3521.000=-118.000 |
| | mean | 8.681-8.503=0.178 | | σ | 0.242-0.102=0.141 | | min | 8.361-8.364=-0.002 | | max | 8.977-8.648=0.329 |
|