iters=5 new-facts=1 prior-facts=1 | | mean | 303.793-301.483=2.310 | | σ | 0.042-0.045=-0.004 | | min | 303.731-301.417=2.314 | | max | 303.841-301.529=2.312 |
| | mean | 1630.000-1629.000=1.000 | | σ | 0.000 | | min | 1630.000-1629.000=1.000 | | max | 1630.000-1629.000=1.000 |
| | mean | 0.392-0.394=-0.002 | | σ | 0.005-0.011=-0.005 | | min | 0.389-0.386=0.003 | | max | 0.402-0.408=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.329-1324.053=2.276 | | σ | 0.109-0.105=0.004 | | min | 1326.197-1323.928=2.269 | | max | 1326.461-1324.208=2.253 |
| | mean | 1630.000-1629.000=1.000 | | σ | 0.000 | | min | 1630.000-1629.000=1.000 | | max | 1630.000-1629.000=1.000 |
| | mean | 1.956-1.954=0.002 | | σ | 0.164-0.128=0.036 | | min | 1.765-1.838=-0.072 | | max | 2.159-2.158=0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.393-1562.097=2.297 | | σ | 6.911-6.932=-0.020 | | min | 1561.100-1558.753=2.346 | | max | 1576.752-1574.489=2.263 |
| | mean | 1630.000-1629.000=1.000 | | σ | 0.000 | | min | 1630.000-1629.000=1.000 | | max | 1630.000-1629.000=1.000 |
| | mean | 2.388-2.394=-0.006 | | σ | 0.327-0.357=-0.031 | | min | 2.073-2.009=0.063 | | max | 2.896-2.889=0.007 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.271-1891.981=2.290 | | σ | 0.067-0.082=-0.014 | | min | 1894.153-1891.838=2.316 | | max | 1894.314-1892.043=2.271 |
| | mean | 1772.000-1795.000=-23.000 | | σ | 172.153-118.844=53.308 | | min | 1630.000-1629.000=1.000 | | max | 2037.000-1941.000=96.000 |
| | mean | 2.928-2.995=-0.067 | | σ | 0.100-0.182=-0.082 | | min | 2.875-2.871=0.005 | | max | 3.106-3.313=-0.207 |
|