iters=5 new-facts=1 prior-facts=1 | | mean | 301.475-273.402=28.072 | | σ | 0.060-0.012=0.048 | | min | 301.379-273.391=27.988 | | max | 301.530-273.416=28.114 |
| | mean | 1629.000-2514.000=-885.000 | | σ | 0.000 | | min | 1629.000-2514.000=-885.000 | | max | 1629.000-2514.000=-885.000 |
| | mean | 0.394-0.384=0.009 | | σ | 0.004-0.008=-0.005 | | min | 0.390-0.379=0.011 | | max | 0.400-0.399=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.055-1933.832=-609.778 | | σ | 0.104-0.012=0.092 | | min | 1323.924-1933.823=-609.899 | | max | 1324.190-1933.852=-609.662 |
| | mean | 1629.000-2514.000=-885.000 | | σ | 0.000 | | min | 1629.000-2514.000=-885.000 | | max | 1629.000-2514.000=-885.000 |
| | mean | 1.906-3.052=-1.146 | | σ | 0.105-0.113=-0.008 | | min | 1.816-2.885=-1.069 | | max | 2.076-3.187=-1.111 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.106-4754.401=-3192.295 | | σ | 6.924-0.805=6.120 | | min | 1558.792-4753.955=-3195.164 | | max | 1574.489-4755.833=-3181.345 |
| | mean | 1629.000-2514.000=-885.000 | | σ | 0.000 | | min | 1629.000-2514.000=-885.000 | | max | 1629.000-2514.000=-885.000 |
| | mean | 2.409-8.052=-5.643 | | σ | 0.377-0.405=-0.028 | | min | 2.003-7.701=-5.698 | | max | 2.846-8.682=-5.836 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.965-4944.799=-3052.834 | | σ | 0.067-0.087=-0.020 | | min | 1891.850-4944.729=-3052.879 | | max | 1892.006-4944.894=-3052.888 |
| | mean | 1769.000-2921.000=-1152.000 | | σ | 171.504-377.332=-205.828 | | min | 1629.000-2514.000=-885.000 | | max | 2036.000-3437.000=-1401.000 |
| | mean | 2.893-8.462=-5.568 | | σ | 0.071-0.123=-0.053 | | min | 2.841-8.374=-5.532 | | max | 3.017-8.677=-5.660 |
|