iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-277.193=0.002 | | σ | 0.005-0.004=0.002 | | min | 277.188-277.190=-0.002 | | max | 277.202-277.197=0.005 |
| | mean | 2650.000-2621.000=29.000 | | σ | 0.000 | | min | 2650.000-2621.000=29.000 | | max | 2650.000-2621.000=29.000 |
| | mean | 0.397-0.396=0.001 | | σ | 0.008-0.004=0.003 | | min | 0.392-0.393=-0.000 | | max | 0.411-0.403=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.430-2174.432=-0.002 | | σ | 0.005-0.012=-0.007 | | min | 2174.425-2174.415=0.010 | | max | 2174.436-2174.449=-0.013 |
| | mean | 2650.000-2621.000=29.000 | | σ | 0.000 | | min | 2650.000-2621.000=29.000 | | max | 2650.000-2621.000=29.000 |
| | mean | 3.055-3.050=0.005 | | σ | 0.146-0.225=-0.079 | | min | 2.809-2.830=-0.020 | | max | 3.199-3.333=-0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.638-5052.580=0.059 | | σ | 0.962-0.970=-0.008 | | min | 5052.036-5052.020=0.016 | | max | 5054.344-5054.305=0.039 |
| | mean | 2650.000-2621.000=29.000 | | σ | 0.000 | | min | 2650.000-2621.000=29.000 | | max | 2650.000-2621.000=29.000 |
| | mean | 8.698-9.005=-0.308 | | σ | 0.476-0.328=0.148 | | min | 8.257-8.538=-0.281 | | max | 9.409-9.336=0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.420-5188.422=-0.002 | | σ | 0.091-0.095=-0.004 | | min | 5188.349-5188.335=0.014 | | max | 5188.521-5188.525=-0.003 |
| | mean | 3233.000-3269.800=-36.800 | | σ | 385.841-386.731=-0.889 | | min | 2696.000-2729.000=-33.000 | | max | 3720.000-3741.000=-21.000 |
| | mean | 8.992-9.225=-0.234 | | σ | 0.407-0.531=-0.124 | | min | 8.725-8.729=-0.003 | | max | 9.701-9.795=-0.094 |
|