iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-284.699=2.120 | | σ | 0.037-0.031=0.006 | | min | 286.775-284.670=2.105 | | max | 286.864-284.737=2.127 |
| | mean | 1644.000-1643.000=1.000 | | σ | 0.000 | | min | 1644.000-1643.000=1.000 | | max | 1644.000-1643.000=1.000 |
| | mean | 0.397-0.396=0.001 | | σ | 0.004-0.009=-0.005 | | min | 0.391-0.385=0.006 | | max | 0.402-0.405=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.234-1295.077=2.157 | | σ | 0.075-0.110=-0.034 | | min | 1297.142-1294.960=2.183 | | max | 1297.302-1295.214=2.088 |
| | mean | 1644.000-1643.000=1.000 | | σ | 0.000 | | min | 1644.000-1643.000=1.000 | | max | 1644.000-1643.000=1.000 |
| | mean | 2.053-1.901=0.152 | | σ | 0.042-0.090=-0.048 | | min | 2.006-1.805=0.201 | | max | 2.117-2.005=0.111 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.295-1539.187=2.107 | | σ | 6.843-6.840=0.002 | | min | 1538.049-1535.916=2.133 | | max | 1553.531-1551.420=2.110 |
| | mean | 1644.000-1643.000=1.000 | | σ | 0.000 | | min | 1644.000-1643.000=1.000 | | max | 1644.000-1643.000=1.000 |
| | mean | 2.138-2.263=-0.126 | | σ | 0.121-0.261=-0.140 | | min | 1.984-2.031=-0.047 | | max | 2.288-2.668=-0.380 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.113-1856.984=2.128 | | σ | 0.086-0.055=0.031 | | min | 1858.991-1856.930=2.060 | | max | 1859.201-1857.059=2.142 |
| | mean | 1773.200-1775.400=-2.200 | | σ | 134.226-130.178=4.048 | | min | 1644.000-1643.000=1.000 | | max | 1912.000-1908.000=4.000 |
| | mean | 3.105-3.076=0.029 | | σ | 0.339-0.206=0.134 | | min | 2.738-2.850=-0.112 | | max | 3.602-3.366=0.236 |
|