iters=5 new-facts=1 prior-facts=1 | | mean | 284.693-301.477=-16.785 | | σ | 0.035-0.061=-0.026 | | min | 284.650-301.384=-16.734 | | max | 284.730-301.540=-16.810 |
| | mean | 1644.000-1451.000=193.000 | | σ | 0.000 | | min | 1644.000-1451.000=193.000 | | max | 1644.000-1451.000=193.000 |
| | mean | 0.395-0.392=0.003 | | σ | 0.009-0.005=0.004 | | min | 0.387-0.388=-0.001 | | max | 0.405-0.400=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.068-1324.070=-29.002 | | σ | 0.108-0.118=-0.010 | | min | 1294.949-1323.924=-28.976 | | max | 1295.224-1324.208=-28.984 |
| | mean | 1644.000-1451.000=193.000 | | σ | 0.000 | | min | 1644.000-1451.000=193.000 | | max | 1644.000-1451.000=193.000 |
| | mean | 1.869-1.908=-0.038 | | σ | 0.059-0.071=-0.012 | | min | 1.826-1.831=-0.005 | | max | 1.968-1.973=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.220-1562.085=-22.865 | | σ | 6.868-6.954=-0.086 | | min | 1535.961-1558.741=-22.780 | | max | 1551.504-1574.519=-23.015 |
| | mean | 1644.000-1451.000=193.000 | | σ | 0.000 | | min | 1644.000-1451.000=193.000 | | max | 1644.000-1451.000=193.000 |
| | mean | 2.146-2.313=-0.167 | | σ | 0.129-0.299=-0.169 | | min | 2.014-2.027=-0.013 | | max | 2.349-2.790=-0.441 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.981-1891.968=-34.988 | | σ | 0.064-0.064=0.000 | | min | 1856.899-1891.859=-34.960 | | max | 1857.065-1892.011=-34.947 |
| | mean | 1771.200-1723.400=47.800 | | σ | 124.502-234.628=-110.126 | | min | 1644.000-1451.000=193.000 | | max | 1901.000-2027.000=-126.000 |
| | mean | 3.067-2.917=0.150 | | σ | 0.264-0.105=0.160 | | min | 2.846-2.858=-0.012 | | max | 3.514-3.103=0.411 |
|