iters=5 new-facts=1 prior-facts=1 | | mean | 303.526-303.522=0.005 | | σ | 0.036-0.044=-0.008 | | min | 303.479-303.455=0.024 | | max | 303.571-303.574=-0.003 |
| | mean | 1517.000-1628.000=-111.000 | | σ | 0.000 | | min | 1517.000-1628.000=-111.000 | | max | 1517.000-1628.000=-111.000 |
| | mean | 0.387-0.388=-0.001 | | σ | 0.001-0.002=-0.000 | | min | 0.386-0.387=-0.001 | | max | 0.388-0.391=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.080-1326.034=0.047 | | σ | 0.133-0.076=0.056 | | min | 1325.903-1325.929=-0.026 | | max | 1326.232-1326.126=0.107 |
| | mean | 1517.000-1628.000=-111.000 | | σ | 0.000 | | min | 1517.000-1628.000=-111.000 | | max | 1517.000-1628.000=-111.000 |
| | mean | 1.948-1.888=0.059 | | σ | 0.112-0.059=0.053 | | min | 1.838-1.829=0.010 | | max | 2.136-1.950=0.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.107-1564.158=-0.050 | | σ | 6.894-6.909=-0.015 | | min | 1560.797-1560.897=-0.100 | | max | 1576.433-1576.513=-0.080 |
| | mean | 1517.000-1628.000=-111.000 | | σ | 0.000 | | min | 1517.000-1628.000=-111.000 | | max | 1517.000-1628.000=-111.000 |
| | mean | 2.278-2.463=-0.185 | | σ | 0.175-0.287=-0.112 | | min | 2.126-2.119=0.007 | | max | 2.570-2.832=-0.262 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.006-1893.999=0.008 | | σ | 0.069-0.063=0.006 | | min | 1893.890-1893.889=0.001 | | max | 1894.065-1894.040=0.025 |
| | mean | 1740.200-1770.400=-30.200 | | σ | 171.319-170.805=0.514 | | min | 1517.000-1628.000=-111.000 | | max | 1960.000-2037.000=-77.000 |
| | mean | 2.924-3.000=-0.076 | | σ | 0.074-0.151=-0.077 | | min | 2.825-2.869=-0.044 | | max | 2.997-3.210=-0.213 |
|