iters=5 new-facts=1 prior-facts=1 | | mean | 297.316-297.307=0.009 | | σ | 0.012-0.017=-0.005 | | min | 297.303-297.277=0.025 | | max | 297.335-297.321=0.014 |
| | mean | 1596.000-1563.000=33.000 | | σ | 0.000 | | min | 1596.000-1563.000=33.000 | | max | 1596.000-1563.000=33.000 |
| | mean | 0.391-0.392=-0.001 | | σ | 0.006-0.010=-0.003 | | min | 0.386-0.386=0.000 | | max | 0.401-0.409=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.996-1299.000=-0.004 | | σ | 0.089-0.092=-0.003 | | min | 1298.839-1298.840=-0.001 | | max | 1299.058-1299.070=-0.012 |
| | mean | 1596.000-1563.000=33.000 | | σ | 0.000 | | min | 1596.000-1563.000=33.000 | | max | 1596.000-1563.000=33.000 |
| | mean | 1.994-1.883=0.111 | | σ | 0.078-0.074=0.005 | | min | 1.909-1.772=0.138 | | max | 2.119-1.939=0.180 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.184-1719.187=-0.003 | | σ | 6.880-6.895=-0.016 | | min | 1715.995-1715.994=0.001 | | max | 1731.488-1731.519=-0.032 |
| | mean | 1596.000-1563.000=33.000 | | σ | 0.000 | | min | 1596.000-1563.000=33.000 | | max | 1596.000-1563.000=33.000 |
| | mean | 2.921-3.045=-0.124 | | σ | 0.259-0.220=0.039 | | min | 2.663-2.854=-0.191 | | max | 3.268-3.352=-0.084 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.932-1981.935=-0.003 | | σ | 0.024-0.046=-0.022 | | min | 1981.890-1981.868=0.022 | | max | 1981.946-1981.996=-0.049 |
| | mean | 1818.400-1848.000=-29.600 | | σ | 162.682-245.423=-82.742 | | min | 1596.000-1563.000=33.000 | | max | 1960.000-2144.000=-184.000 |
| | mean | 3.115-3.271=-0.156 | | σ | 0.127-0.262=-0.135 | | min | 2.940-3.078=-0.138 | | max | 3.257-3.716=-0.458 |
|