iters=5 new-facts=1 prior-facts=1 | | mean | 270.114-270.127=-0.013 | | σ | 0.012-0.006=0.006 | | min | 270.097-270.117=-0.020 | | max | 270.127-270.134=-0.007 |
| | mean | 2849.000-2504.000=345.000 | | σ | 0.000 | | min | 2849.000-2504.000=345.000 | | max | 2849.000-2504.000=345.000 |
| | mean | 0.386-0.381=0.004 | | σ | 0.006-0.003=0.003 | | min | 0.380-0.379=0.001 | | max | 0.395-0.387=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.593-1930.598=-0.005 | | σ | 0.007-0.008=-0.001 | | min | 1930.583-1930.588=-0.005 | | max | 1930.603-1930.608=-0.005 |
| | mean | 2849.000-2504.000=345.000 | | σ | 0.000 | | min | 2849.000-2504.000=345.000 | | max | 2849.000-2504.000=345.000 |
| | mean | 2.487-2.495=-0.009 | | σ | 0.057-0.041=0.016 | | min | 2.440-2.463=-0.023 | | max | 2.578-2.564=0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.090-4750.860=0.230 | | σ | 0.893-1.106=-0.213 | | min | 4750.509-4749.966=0.543 | | max | 4752.667-4752.783=-0.116 |
| | mean | 2849.000-2504.000=345.000 | | σ | 0.000 | | min | 2849.000-2504.000=345.000 | | max | 2849.000-2504.000=345.000 |
| | mean | 8.558-8.663=-0.104 | | σ | 0.465-0.556=-0.091 | | min | 7.996-7.710=0.286 | | max | 9.077-9.055=0.021 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.491-4941.561=-0.070 | | σ | 0.214-0.076=0.138 | | min | 4941.127-4941.475=-0.348 | | max | 4941.627-4941.627=0.000 |
| | mean | 3057.000-2988.000=69.000 | | σ | 185.451-282.571=-97.120 | | min | 2849.000-2600.000=249.000 | | max | 3321.000-3323.000=-2.000 |
| | mean | 8.528-8.467=0.061 | | σ | 0.133-0.129=0.004 | | min | 8.380-8.372=0.008 | | max | 8.716-8.681=0.034 |
|