iters=5 new-facts=1 prior-facts=1 | | mean | 280.285-280.284=0.001 | | σ | 0.011-0.010=0.001 | | min | 280.273-280.272=0.001 | | max | 280.302-280.295=0.007 |
| | mean | 2749.000-2791.000=-42.000 | | σ | 0.000 | | min | 2749.000-2791.000=-42.000 | | max | 2749.000-2791.000=-42.000 |
| | mean | 0.417-0.417=0.001 | | σ | 0.007-0.005=0.002 | | min | 0.410-0.410=-0.000 | | max | 0.428-0.422=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.305-2270.270=0.035 | | σ | 0.015-0.083=-0.069 | | min | 2270.286-2270.130=0.156 | | max | 2270.323-2270.356=-0.032 |
| | mean | 2749.000-2791.000=-42.000 | | σ | 0.000 | | min | 2749.000-2791.000=-42.000 | | max | 2749.000-2791.000=-42.000 |
| | mean | 3.192-3.135=0.057 | | σ | 0.382-0.190=0.192 | | min | 2.792-2.920=-0.128 | | max | 3.706-3.327=0.379 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.275-5147.474=-0.199 | | σ | 0.601-1.101=-0.500 | | min | 5146.603-5146.655=-0.051 | | max | 5148.225-5149.405=-1.180 |
| | mean | 2749.000-2791.000=-42.000 | | σ | 0.000 | | min | 2749.000-2791.000=-42.000 | | max | 2749.000-2791.000=-42.000 |
| | mean | 8.994-8.867=0.127 | | σ | 0.738-0.756=-0.018 | | min | 8.245-8.172=0.073 | | max | 9.931-9.966=-0.035 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.582-5285.554=0.028 | | σ | 0.125-0.244=-0.119 | | min | 5285.391-5285.144=0.247 | | max | 5285.735-5285.750=-0.015 |
| | mean | 3465.400-3400.600=64.800 | | σ | 445.008-418.104=26.904 | | min | 2837.000-2816.000=21.000 | | max | 3997.000-3926.000=71.000 |
| | mean | 10.073-10.133=-0.060 | | σ | 0.367-0.185=0.182 | | min | 9.621-9.931=-0.310 | | max | 10.618-10.352=0.265 |
|