iters=5 new-facts=1 prior-facts=1 | | mean | 285.258-285.257=0.000 | | σ | 0.036-0.037=-0.001 | | min | 285.211-285.205=0.005 | | max | 285.294-285.294=0.000 |
| | mean | 1645.000-1642.000=3.000 | | σ | 0.000 | | min | 1645.000-1642.000=3.000 | | max | 1645.000-1642.000=3.000 |
| | mean | 0.405-0.415=-0.010 | | σ | 0.011-0.014=-0.004 | | min | 0.392-0.402=-0.010 | | max | 0.416-0.439=-0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.208-1295.203=0.006 | | σ | 0.113-0.114=-0.000 | | min | 1295.081-1295.085=-0.004 | | max | 1295.358-1295.356=0.002 |
| | mean | 1645.000-1642.000=3.000 | | σ | 0.000 | | min | 1645.000-1642.000=3.000 | | max | 1645.000-1642.000=3.000 |
| | mean | 1.861-1.902=-0.041 | | σ | 0.060-0.073=-0.014 | | min | 1.798-1.815=-0.017 | | max | 1.936-1.978=-0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.098-1538.153=-0.055 | | σ | 4.039-4.008=0.030 | | min | 1536.046-1536.073=-0.028 | | max | 1545.315-1545.313=0.002 |
| | mean | 1645.000-1642.000=3.000 | | σ | 0.000 | | min | 1645.000-1642.000=3.000 | | max | 1645.000-1642.000=3.000 |
| | mean | 2.315-2.434=-0.119 | | σ | 0.261-0.286=-0.025 | | min | 2.044-2.100=-0.056 | | max | 2.687-2.754=-0.067 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.110-1857.110=-0.000 | | σ | 0.049-0.058=-0.009 | | min | 1857.071-1857.051=0.020 | | max | 1857.175-1857.185=-0.011 |
| | mean | 1774.400-1774.600=-0.200 | | σ | 163.627-139.127=24.500 | | min | 1645.000-1642.000=3.000 | | max | 2017.000-1919.000=98.000 |
| | mean | 3.005-2.941=0.064 | | σ | 0.328-0.109=0.219 | | min | 2.788-2.858=-0.070 | | max | 3.580-3.124=0.456 |
|