iters=5 new-facts=1 prior-facts=1 | | mean | 286.836-286.837=-0.001 | | σ | 0.040-0.043=-0.003 | | min | 286.779-286.775=0.005 | | max | 286.875-286.883=-0.009 |
| | mean | 1621.000-1642.000=-21.000 | | σ | 0.000 | | min | 1621.000-1642.000=-21.000 | | max | 1621.000-1642.000=-21.000 |
| | mean | 0.392-0.399=-0.007 | | σ | 0.005-0.005=0.000 | | min | 0.388-0.392=-0.005 | | max | 0.400-0.404=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.194-1297.231=-0.037 | | σ | 0.105-0.106=-0.001 | | min | 1297.109-1297.115=-0.006 | | max | 1297.366-1297.379=-0.013 |
| | mean | 1621.000-1642.000=-21.000 | | σ | 0.000 | | min | 1621.000-1642.000=-21.000 | | max | 1621.000-1642.000=-21.000 |
| | mean | 1.932-1.880=0.052 | | σ | 0.193-0.087=0.106 | | min | 1.751-1.788=-0.036 | | max | 2.226-2.004=0.222 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.353-1541.356=-0.003 | | σ | 6.816-6.833=-0.016 | | min | 1538.171-1538.108=0.063 | | max | 1553.544-1553.576=-0.032 |
| | mean | 1621.000-1642.000=-21.000 | | σ | 0.000 | | min | 1621.000-1642.000=-21.000 | | max | 1621.000-1642.000=-21.000 |
| | mean | 2.236-2.150=0.086 | | σ | 0.204-0.125=0.079 | | min | 2.050-2.052=-0.001 | | max | 2.563-2.363=0.200 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.134-1859.145=-0.011 | | σ | 0.054-0.063=-0.009 | | min | 1859.073-1859.082=-0.009 | | max | 1859.203-1859.231=-0.029 |
| | mean | 1769.800-1790.200=-20.400 | | σ | 135.234-153.957=-18.723 | | min | 1621.000-1642.000=-21.000 | | max | 1906.000-1949.000=-43.000 |
| | mean | 3.084-2.875=0.208 | | σ | 0.270-0.065=0.205 | | min | 2.875-2.800=0.075 | | max | 3.539-2.978=0.561 |
|