iters=5 new-facts=1 prior-facts=1 | | mean | 278.943-280.285=-1.342 | | σ | 0.009-0.011=-0.001 | | min | 278.932-280.273=-1.341 | | max | 278.955-280.302=-1.347 |
| | mean | 2817.000-2749.000=68.000 | | σ | 0.000 | | min | 2817.000-2749.000=68.000 | | max | 2817.000-2749.000=68.000 |
| | mean | 0.408-0.417=-0.009 | | σ | 0.004-0.007=-0.004 | | min | 0.401-0.410=-0.009 | | max | 0.410-0.428=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2177.862-2270.305=-92.442 | | σ | 0.014-0.015=-0.001 | | min | 2177.839-2270.286=-92.447 | | max | 2177.874-2270.323=-92.449 |
| | mean | 2817.000-2749.000=68.000 | | σ | 0.000 | | min | 2817.000-2749.000=68.000 | | max | 2817.000-2749.000=68.000 |
| | mean | 3.291-3.192=0.099 | | σ | 0.160-0.382=-0.221 | | min | 3.048-2.792=0.255 | | max | 3.496-3.706=-0.210 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5055.823-5147.275=-91.452 | | σ | 0.941-0.601=0.341 | | min | 5055.338-5146.603=-91.265 | | max | 5057.503-5148.225=-90.722 |
| | mean | 2817.000-2749.000=68.000 | | σ | 0.000 | | min | 2817.000-2749.000=68.000 | | max | 2817.000-2749.000=68.000 |
| | mean | 8.409-8.994=-0.584 | | σ | 0.529-0.738=-0.209 | | min | 7.998-8.245=-0.247 | | max | 9.333-9.931=-0.598 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.108-5285.582=-92.475 | | σ | 0.121-0.125=-0.004 | | min | 5192.929-5285.391=-92.463 | | max | 5193.270-5285.735=-92.465 |
| | mean | 3179.600-3465.400=-285.800 | | σ | 364.815-445.008=-80.193 | | min | 2865.000-2837.000=28.000 | | max | 3722.000-3997.000=-275.000 |
| | mean | 8.661-10.073=-1.412 | | σ | 0.116-0.367=-0.251 | | min | 8.559-9.621=-1.061 | | max | 8.854-10.618=-1.764 |
|