iters=5 new-facts=1 prior-facts=1 | | mean | 273.496-273.504=-0.007 | | σ | 0.009-0.007=0.002 | | min | 273.482-273.495=-0.013 | | max | 273.508-273.513=-0.006 |
| | mean | 2603.000-2871.000=-268.000 | | σ | 0.000 | | min | 2603.000-2871.000=-268.000 | | max | 2603.000-2871.000=-268.000 |
| | mean | 0.376-0.376=-0.001 | | σ | 0.007-0.005=0.001 | | min | 0.372-0.372=-0.000 | | max | 0.388-0.386=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.894-1933.893=0.002 | | σ | 0.009-0.011=-0.001 | | min | 1933.887-1933.881=0.006 | | max | 1933.909-1933.902=0.007 |
| | mean | 2603.000-2871.000=-268.000 | | σ | 0.000 | | min | 2603.000-2871.000=-268.000 | | max | 2603.000-2871.000=-268.000 |
| | mean | 2.954-2.955=-0.002 | | σ | 0.175-0.057=0.117 | | min | 2.700-2.875=-0.175 | | max | 3.148-3.020=0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.670-4754.644=0.026 | | σ | 0.820-0.805=0.015 | | min | 4754.145-4754.158=-0.013 | | max | 4756.127-4756.069=0.058 |
| | mean | 2603.000-2871.000=-268.000 | | σ | 0.000 | | min | 2603.000-2871.000=-268.000 | | max | 2603.000-2871.000=-268.000 |
| | mean | 8.538-8.687=-0.149 | | σ | 0.569-0.424=0.145 | | min | 7.641-8.153=-0.511 | | max | 9.095-9.015=0.080 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.977-4945.121=-0.144 | | σ | 0.196-0.013=0.183 | | min | 4944.743-4945.109=-0.366 | | max | 4945.143-4945.138=0.005 |
| | mean | 3010.400-3067.200=-56.800 | | σ | 262.956-193.133=69.823 | | min | 2624.000-2871.000=-247.000 | | max | 3323.000-3316.000=7.000 |
| | mean | 8.590-8.646=-0.056 | | σ | 0.121-0.054=0.067 | | min | 8.442-8.584=-0.142 | | max | 8.723-8.715=0.008 |
|