iters=5 new-facts=1 prior-facts=1 | | mean | 285.416-285.654=-0.238 | | σ | 0.016-0.009=0.007 | | min | 285.395-285.642=-0.247 | | max | 285.432-285.667=-0.235 |
| | mean | 1640.000-1584.000=56.000 | | σ | 0.000 | | min | 1640.000-1584.000=56.000 | | max | 1640.000-1584.000=56.000 |
| | mean | 0.383-0.379=0.004 | | σ | 0.009-0.004=0.005 | | min | 0.373-0.375=-0.002 | | max | 0.393-0.385=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.378-1285.640=-0.262 | | σ | 0.130-0.125=0.005 | | min | 1285.316-1285.573=-0.257 | | max | 1285.611-1285.863=-0.252 |
| | mean | 1640.000-1584.000=56.000 | | σ | 0.000 | | min | 1640.000-1584.000=56.000 | | max | 1640.000-1584.000=56.000 |
| | mean | 1.986-1.912=0.074 | | σ | 0.167-0.070=0.097 | | min | 1.830-1.840=-0.010 | | max | 2.216-2.020=0.196 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.708-1807.965=-0.256 | | σ | 6.973-7.021=-0.048 | | min | 1804.326-1804.573=-0.246 | | max | 1820.166-1820.509=-0.343 |
| | mean | 1640.000-1584.000=56.000 | | σ | 0.000 | | min | 1640.000-1584.000=56.000 | | max | 1640.000-1584.000=56.000 |
| | mean | 4.150-4.208=-0.057 | | σ | 0.205-0.319=-0.114 | | min | 3.826-3.832=-0.006 | | max | 4.325-4.644=-0.319 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.205-2070.465=-0.259 | | σ | 0.034-0.008=0.027 | | min | 2070.177-2070.460=-0.283 | | max | 2070.263-2070.479=-0.215 |
| | mean | 1816.800-1843.800=-27.000 | | σ | 155.283-181.237=-25.954 | | min | 1640.000-1616.000=24.000 | | max | 1971.000-2091.000=-120.000 |
| | mean | 4.760-4.486=0.273 | | σ | 0.370-0.031=0.339 | | min | 4.346-4.445=-0.099 | | max | 5.200-4.530=0.670 |
|