iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.824=-0.006 | | σ | 0.041-0.034=0.007 | | min | 286.774-286.782=-0.008 | | max | 286.868-286.867=0.001 |
| | mean | 1639.000-1653.000=-14.000 | | σ | 0.000 | | min | 1639.000-1653.000=-14.000 | | max | 1639.000-1653.000=-14.000 |
| | mean | 0.400-0.401=-0.001 | | σ | 0.006-0.013=-0.007 | | min | 0.391-0.390=0.001 | | max | 0.405-0.419=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.253-1297.226=0.027 | | σ | 0.048-0.074=-0.026 | | min | 1297.199-1297.143=0.056 | | max | 1297.305-1297.327=-0.022 |
| | mean | 1639.000-1653.000=-14.000 | | σ | 0.000 | | min | 1639.000-1653.000=-14.000 | | max | 1639.000-1653.000=-14.000 |
| | mean | 2.163-2.079=0.084 | | σ | 0.092-0.065=0.027 | | min | 2.036-2.014=0.022 | | max | 2.287-2.174=0.113 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.352-1541.396=-0.044 | | σ | 6.823-6.823=0.001 | | min | 1538.131-1538.199=-0.069 | | max | 1553.554-1553.598=-0.043 |
| | mean | 1639.000-1653.000=-14.000 | | σ | 0.000 | | min | 1639.000-1653.000=-14.000 | | max | 1639.000-1653.000=-14.000 |
| | mean | 2.312-2.397=-0.086 | | σ | 0.168-0.175=-0.007 | | min | 2.129-2.139=-0.010 | | max | 2.524-2.542=-0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.115-1859.117=-0.002 | | σ | 0.078-0.063=0.015 | | min | 1858.998-1859.040=-0.042 | | max | 1859.193-1859.193=0.000 |
| | mean | 1786.400-1773.000=13.400 | | σ | 142.047-123.219=18.828 | | min | 1639.000-1653.000=-14.000 | | max | 1928.000-1902.000=26.000 |
| | mean | 3.138-3.080=0.058 | | σ | 0.328-0.264=0.064 | | min | 2.867-2.789=0.078 | | max | 3.636-3.420=0.216 |
|