iters=5 new-facts=1 prior-facts=1 | | mean | 280.289-280.262=0.027 | | σ | 0.006-0.006=-0.001 | | min | 280.281-280.252=0.029 | | max | 280.297-280.270=0.027 |
| | mean | 2458.000-2659.000=-201.000 | | σ | 0.000 | | min | 2458.000-2659.000=-201.000 | | max | 2458.000-2659.000=-201.000 |
| | mean | 0.412-0.416=-0.004 | | σ | 0.004-0.004=0.000 | | min | 0.409-0.412=-0.003 | | max | 0.419-0.422=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.270-2270.321=-0.051 | | σ | 0.042-0.030=0.012 | | min | 2270.218-2270.272=-0.054 | | max | 2270.323-2270.349=-0.026 |
| | mean | 2458.000-2659.000=-201.000 | | σ | 0.000 | | min | 2458.000-2659.000=-201.000 | | max | 2458.000-2659.000=-201.000 |
| | mean | 3.035-2.986=0.049 | | σ | 0.117-0.098=0.019 | | min | 2.917-2.860=0.057 | | max | 3.191-3.093=0.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.476-5147.465=0.011 | | σ | 1.143-1.042=0.101 | | min | 5146.384-5146.584=-0.199 | | max | 5149.422-5149.273=0.149 |
| | mean | 2458.000-2659.000=-201.000 | | σ | 0.000 | | min | 2458.000-2659.000=-201.000 | | max | 2458.000-2659.000=-201.000 |
| | mean | 8.782-8.669=0.113 | | σ | 0.749-0.656=0.093 | | min | 8.169-8.171=-0.002 | | max | 10.002-9.821=0.181 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.580-5285.570=0.010 | | σ | 0.210-0.126=0.084 | | min | 5285.246-5285.396=-0.149 | | max | 5285.763-5285.743=0.020 |
| | mean | 3457.800-3362.000=95.800 | | σ | 506.048-563.990=-57.942 | | min | 2777.000-2659.000=118.000 | | max | 3936.000-4086.000=-150.000 |
| | mean | 10.158-10.029=0.128 | | σ | 0.286-0.230=0.056 | | min | 9.650-9.655=-0.005 | | max | 10.320-10.289=0.031 |
|