iters=5 new-facts=1 prior-facts=1 | | mean | 303.801-303.523=0.278 | | σ | 0.034-0.034=0.000 | | min | 303.762-303.486=0.276 | | max | 303.842-303.570=0.271 |
| | mean | 1633.000-1632.000=1.000 | | σ | 0.000 | | min | 1633.000-1632.000=1.000 | | max | 1633.000-1632.000=1.000 |
| | mean | 0.390-0.390=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.389-0.389=-0.000 | | max | 0.393-0.390=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.326-1326.059=0.267 | | σ | 0.098-0.105=-0.006 | | min | 1326.191-1325.929=0.261 | | max | 1326.442-1326.192=0.250 |
| | mean | 1633.000-1632.000=1.000 | | σ | 0.000 | | min | 1633.000-1632.000=1.000 | | max | 1633.000-1632.000=1.000 |
| | mean | 2.037-1.908=0.129 | | σ | 0.159-0.069=0.089 | | min | 1.878-1.839=0.039 | | max | 2.264-1.994=0.270 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.413-1564.123=0.290 | | σ | 6.921-6.920=0.001 | | min | 1561.088-1560.830=0.259 | | max | 1576.788-1576.498=0.290 |
| | mean | 1633.000-1632.000=1.000 | | σ | 0.000 | | min | 1633.000-1632.000=1.000 | | max | 1633.000-1632.000=1.000 |
| | mean | 2.420-2.350=0.069 | | σ | 0.284-0.333=-0.049 | | min | 2.161-2.017=0.144 | | max | 2.887-2.795=0.092 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.289-1894.003=0.286 | | σ | 0.090-0.065=0.025 | | min | 1894.132-1893.890=0.241 | | max | 1894.356-1894.049=0.307 |
| | mean | 1780.000-1769.800=10.200 | | σ | 114.164-167.728=-53.564 | | min | 1633.000-1632.000=1.000 | | max | 1949.000-2033.000=-84.000 |
| | mean | 2.958-2.976=-0.018 | | σ | 0.161-0.176=-0.015 | | min | 2.819-2.793=0.026 | | max | 3.216-3.215=0.001 |
|