iters=5 new-facts=1 prior-facts=1 | | mean | 285.024-284.694=0.330 | | σ | 0.035-0.034=0.001 | | min | 284.979-284.649=0.330 | | max | 285.067-284.730=0.336 |
| | mean | 1650.000-1634.000=16.000 | | σ | 0.000 | | min | 1650.000-1634.000=16.000 | | max | 1650.000-1634.000=16.000 |
| | mean | 0.391-0.395=-0.003 | | σ | 0.008-0.010=-0.003 | | min | 0.386-0.382=0.003 | | max | 0.403-0.403=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.387-1295.088=0.299 | | σ | 0.111-0.128=-0.017 | | min | 1295.289-1294.954=0.335 | | max | 1295.572-1295.262=0.310 |
| | mean | 1650.000-1634.000=16.000 | | σ | 0.000 | | min | 1650.000-1634.000=16.000 | | max | 1650.000-1634.000=16.000 |
| | mean | 2.006-1.871=0.135 | | σ | 0.194-0.067=0.127 | | min | 1.761-1.790=-0.029 | | max | 2.170-1.936=0.234 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.605-1539.182=0.422 | | σ | 6.790-6.834=-0.044 | | min | 1536.464-1535.930=0.533 | | max | 1551.749-1551.405=0.344 |
| | mean | 1650.000-1634.000=16.000 | | σ | 0.000 | | min | 1650.000-1634.000=16.000 | | max | 1650.000-1634.000=16.000 |
| | mean | 2.394-2.239=0.155 | | σ | 0.233-0.251=-0.018 | | min | 2.169-2.045=0.124 | | max | 2.750-2.645=0.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.324-1856.977=0.347 | | σ | 0.056-0.060=-0.004 | | min | 1857.275-1856.903=0.372 | | max | 1857.411-1857.062=0.348 |
| | mean | 1770.800-1767.800=3.000 | | σ | 122.494-129.947=-7.453 | | min | 1650.000-1634.000=16.000 | | max | 1899.000-1900.000=-1.000 |
| | mean | 2.990-3.008=-0.018 | | σ | 0.236-0.287=-0.050 | | min | 2.691-2.762=-0.070 | | max | 3.354-3.491=-0.137 |
|