iters=5 new-facts=1 prior-facts=1 | | mean | 285.365-286.824=-1.460 | | σ | 0.038-0.037=0.000 | | min | 285.310-286.774=-1.463 | | max | 285.401-286.861=-1.461 |
| | mean | 1652.000-1641.000=11.000 | | σ | 0.000 | | min | 1652.000-1641.000=11.000 | | max | 1652.000-1641.000=11.000 |
| | mean | 0.391-0.394=-0.004 | | σ | 0.009-0.005=0.004 | | min | 0.381-0.388=-0.007 | | max | 0.404-0.401=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.745-1297.265=-1.520 | | σ | 0.113-0.092=0.020 | | min | 1295.625-1297.131=-1.505 | | max | 1295.883-1297.373=-1.490 |
| | mean | 1652.000-1641.000=11.000 | | σ | 0.000 | | min | 1652.000-1641.000=11.000 | | max | 1652.000-1641.000=11.000 |
| | mean | 1.900-2.282=-0.382 | | σ | 0.081-0.139=-0.058 | | min | 1.806-2.133=-0.327 | | max | 1.975-2.485=-0.510 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.900-1541.389=-1.489 | | σ | 6.853-6.841=0.012 | | min | 1536.612-1538.210=-1.597 | | max | 1552.154-1553.626=-1.472 |
| | mean | 1652.000-1641.000=11.000 | | σ | 0.000 | | min | 1652.000-1641.000=11.000 | | max | 1652.000-1641.000=11.000 |
| | mean | 2.360-2.308=0.052 | | σ | 0.233-0.234=-0.001 | | min | 2.009-2.147=-0.138 | | max | 2.564-2.704=-0.140 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.657-1859.117=-1.460 | | σ | 0.070-0.064=0.006 | | min | 1857.570-1859.040=-1.470 | | max | 1857.751-1859.200=-1.449 |
| | mean | 1778.200-1786.800=-8.600 | | σ | 120.082-147.955=-27.873 | | min | 1652.000-1641.000=11.000 | | max | 1897.000-1938.000=-41.000 |
| | mean | 2.985-3.059=-0.074 | | σ | 0.108-0.184=-0.075 | | min | 2.841-2.887=-0.045 | | max | 3.086-3.355=-0.269 |
|