iters=5 new-facts=1 prior-facts=1 | | mean | 269.911-269.933=-0.023 | | σ | 0.009-0.009=-0.000 | | min | 269.901-269.922=-0.021 | | max | 269.920-269.943=-0.024 |
| | mean | 2845.000-2814.000=31.000 | | σ | 0.000 | | min | 2845.000-2814.000=31.000 | | max | 2845.000-2814.000=31.000 |
| | mean | 0.384-0.378=0.006 | | σ | 0.003-0.007=-0.004 | | min | 0.382-0.372=0.011 | | max | 0.390-0.390=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.400-1930.400=-0.000 | | σ | 0.008-0.010=-0.002 | | min | 1930.390-1930.387=0.004 | | max | 1930.413-1930.414=-0.001 |
| | mean | 2845.000-2814.000=31.000 | | σ | 0.000 | | min | 2845.000-2814.000=31.000 | | max | 2845.000-2814.000=31.000 |
| | mean | 2.508-2.549=-0.041 | | σ | 0.060-0.136=-0.076 | | min | 2.454-2.445=0.009 | | max | 2.603-2.764=-0.161 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.909-4750.879=0.029 | | σ | 0.823-0.889=-0.066 | | min | 4750.415-4750.262=0.153 | | max | 4752.371-4752.453=-0.083 |
| | mean | 2845.000-2814.000=31.000 | | σ | 0.000 | | min | 2845.000-2814.000=31.000 | | max | 2845.000-2814.000=31.000 |
| | mean | 8.442-8.625=-0.183 | | σ | 0.685-0.724=-0.039 | | min | 7.715-7.702=0.013 | | max | 9.357-9.424=-0.067 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.333-4941.335=-0.002 | | σ | 0.087-0.079=0.008 | | min | 4941.264-4941.268=-0.004 | | max | 4941.437-4941.422=0.015 |
| | mean | 3040.200-3039.800=0.400 | | σ | 199.547-237.504=-37.957 | | min | 2845.000-2814.000=31.000 | | max | 3317.000-3383.000=-66.000 |
| | mean | 8.637-8.684=-0.047 | | σ | 0.203-0.276=-0.073 | | min | 8.483-8.395=0.088 | | max | 8.906-8.970=-0.064 |
|