iters=5 new-facts=1 prior-facts=1 | | mean | 274.825-277.193=-2.368 | | σ | 0.006-0.004=0.002 | | min | 274.817-277.190=-2.373 | | max | 274.830-277.197=-2.367 |
| | mean | 2449.000-2621.000=-172.000 | | σ | 0.000 | | min | 2449.000-2621.000=-172.000 | | max | 2449.000-2621.000=-172.000 |
| | mean | 0.391-0.396=-0.005 | | σ | 0.008-0.004=0.003 | | min | 0.385-0.393=-0.007 | | max | 0.402-0.403=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.999-2174.432=-234.433 | | σ | 0.008-0.012=-0.004 | | min | 1939.991-2174.415=-234.424 | | max | 1940.010-2174.449=-234.438 |
| | mean | 2449.000-2621.000=-172.000 | | σ | 0.000 | | min | 2449.000-2621.000=-172.000 | | max | 2449.000-2621.000=-172.000 |
| | mean | 2.973-3.050=-0.077 | | σ | 0.283-0.225=0.058 | | min | 2.480-2.830=-0.350 | | max | 3.166-3.333=-0.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4758.847-5052.580=-293.733 | | σ | 0.899-0.970=-0.070 | | min | 4758.329-5052.020=-293.690 | | max | 4760.443-5054.305=-293.861 |
| | mean | 2449.000-2621.000=-172.000 | | σ | 0.000 | | min | 2449.000-2621.000=-172.000 | | max | 2449.000-2621.000=-172.000 |
| | mean | 8.149-9.005=-0.856 | | σ | 0.670-0.328=0.342 | | min | 7.520-8.538=-1.018 | | max | 9.242-9.336=-0.094 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4953.985-5188.422=-234.437 | | σ | 0.078-0.095=-0.016 | | min | 4953.925-5188.335=-234.409 | | max | 4954.073-5188.525=-234.452 |
| | mean | 2954.200-3269.800=-315.600 | | σ | 430.012-386.731=43.282 | | min | 2481.000-2729.000=-248.000 | | max | 3532.000-3741.000=-209.000 |
| | mean | 8.417-9.225=-0.809 | | σ | 0.067-0.531=-0.465 | | min | 8.329-8.729=-0.400 | | max | 8.490-9.795=-1.306 |
|