iters=5 new-facts=1 prior-facts=1 | | mean | 190.714-190.714=-0.000 | | σ | 0.006-0.007=-0.000 | | min | 190.703-190.708=-0.005 | | max | 190.718-190.724=-0.006 |
| | mean | 2581.000-2666.000=-85.000 | | σ | 0.000 | | min | 2581.000-2666.000=-85.000 | | max | 2581.000-2666.000=-85.000 |
| | mean | 0.280-0.280=-0.000 | | σ | 0.002-0.002=-0.001 | | min | 0.278-0.279=-0.001 | | max | 0.281-0.284=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.491-1989.485=0.006 | | σ | 0.031-0.021=0.010 | | min | 1989.443-1989.462=-0.019 | | max | 1989.519-1989.515=0.004 |
| | mean | 2581.000-2666.000=-85.000 | | σ | 0.000 | | min | 2581.000-2666.000=-85.000 | | max | 2581.000-2666.000=-85.000 |
| | mean | 2.497-2.497=0.000 | | σ | 0.218-0.266=-0.048 | | min | 2.285-2.131=0.154 | | max | 2.743-2.790=-0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.162-4880.087=0.074 | | σ | 0.598-0.564=0.034 | | min | 4879.886-4879.732=0.154 | | max | 4881.232-4881.076=0.155 |
| | mean | 2581.000-2666.000=-85.000 | | σ | 0.000 | | min | 2581.000-2666.000=-85.000 | | max | 2581.000-2666.000=-85.000 |
| | mean | 8.289-8.126=0.162 | | σ | 0.113-0.241=-0.128 | | min | 8.184-7.894=0.290 | | max | 8.477-8.490=-0.013 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.724-4891.693=0.031 | | σ | 0.142-0.090=0.052 | | min | 4891.471-4891.614=-0.143 | | max | 4891.801-4891.806=-0.005 |
| | mean | 3286.400-3267.400=19.000 | | σ | 420.126-404.559=15.567 | | min | 2871.000-2866.000=5.000 | | max | 3711.000-3675.000=36.000 |
| | mean | 8.222-8.154=0.068 | | σ | 0.216-0.200=0.016 | | min | 8.005-8.019=-0.014 | | max | 8.520-8.490=0.030 |
|