iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-277.193=0.004 | | σ | 0.005-0.004=0.001 | | min | 277.192-277.190=0.002 | | max | 277.203-277.197=0.006 |
| | mean | 2649.000-2621.000=28.000 | | σ | 0.000 | | min | 2649.000-2621.000=28.000 | | max | 2649.000-2621.000=28.000 |
| | mean | 0.394-0.396=-0.002 | | σ | 0.002-0.004=-0.002 | | min | 0.392-0.393=-0.000 | | max | 0.397-0.403=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.420-2174.432=-0.012 | | σ | 0.031-0.012=0.019 | | min | 2174.369-2174.415=-0.046 | | max | 2174.450-2174.449=0.001 |
| | mean | 2649.000-2621.000=28.000 | | σ | 0.000 | | min | 2649.000-2621.000=28.000 | | max | 2649.000-2621.000=28.000 |
| | mean | 3.001-3.050=-0.049 | | σ | 0.126-0.225=-0.099 | | min | 2.793-2.830=-0.037 | | max | 3.124-3.333=-0.209 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.479-5052.580=-0.100 | | σ | 1.041-0.970=0.071 | | min | 5051.719-5052.020=-0.301 | | max | 5054.311-5054.305=0.007 |
| | mean | 2649.000-2621.000=28.000 | | σ | 0.000 | | min | 2649.000-2621.000=28.000 | | max | 2649.000-2621.000=28.000 |
| | mean | 9.090-9.005=0.084 | | σ | 0.432-0.328=0.104 | | min | 8.638-8.538=0.099 | | max | 9.686-9.336=0.350 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.291-5188.422=-0.130 | | σ | 0.202-0.095=0.107 | | min | 5188.005-5188.335=-0.329 | | max | 5188.520-5188.525=-0.004 |
| | mean | 3222.200-3269.800=-47.600 | | σ | 381.692-386.731=-5.039 | | min | 2687.000-2729.000=-42.000 | | max | 3699.000-3741.000=-42.000 |
| | mean | 8.994-9.225=-0.231 | | σ | 0.429-0.531=-0.102 | | min | 8.690-8.729=-0.038 | | max | 9.740-9.795=-0.055 |
|