iters=5 new-facts=1 prior-facts=1 | | mean | 286.828-286.820=0.007 | | σ | 0.028-0.040=-0.012 | | min | 286.793-286.768=0.025 | | max | 286.858-286.862=-0.003 |
| | mean | 1651.000-1620.000=31.000 | | σ | 0.000 | | min | 1651.000-1620.000=31.000 | | max | 1651.000-1620.000=31.000 |
| | mean | 0.396-0.397=-0.001 | | σ | 0.009-0.007=0.002 | | min | 0.388-0.389=-0.000 | | max | 0.410-0.404=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.208-1297.208=0.000 | | σ | 0.106-0.110=-0.004 | | min | 1297.087-1297.085=0.002 | | max | 1297.331-1297.355=-0.024 |
| | mean | 1651.000-1620.000=31.000 | | σ | 0.000 | | min | 1651.000-1620.000=31.000 | | max | 1651.000-1620.000=31.000 |
| | mean | 1.939-1.874=0.065 | | σ | 0.114-0.067=0.047 | | min | 1.808-1.798=0.009 | | max | 2.061-1.933=0.127 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.401-1541.341=0.060 | | σ | 6.794-6.827=-0.033 | | min | 1538.132-1538.100=0.033 | | max | 1553.549-1553.550=-0.000 |
| | mean | 1651.000-1620.000=31.000 | | σ | 0.000 | | min | 1651.000-1620.000=31.000 | | max | 1651.000-1620.000=31.000 |
| | mean | 2.459-2.147=0.313 | | σ | 0.244-0.132=0.111 | | min | 2.060-2.047=0.012 | | max | 2.682-2.371=0.311 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.120-1859.112=0.008 | | σ | 0.058-0.061=-0.004 | | min | 1859.069-1859.052=0.017 | | max | 1859.199-1859.193=0.006 |
| | mean | 1780.800-1771.200=9.600 | | σ | 137.320-178.469=-41.149 | | min | 1651.000-1620.000=31.000 | | max | 1924.000-2032.000=-108.000 |
| | mean | 2.969-2.889=0.080 | | σ | 0.105-0.041=0.064 | | min | 2.853-2.858=-0.005 | | max | 3.121-2.956=0.165 |
|