iters=5 new-facts=1 prior-facts=1 | | mean | 303.801-303.501=0.300 | | σ | 0.034-0.080=-0.045 | | min | 303.762-303.368=0.394 | | max | 303.842-303.572=0.270 |
| | mean | 1633.000-1513.000=120.000 | | σ | 0.000 | | min | 1633.000-1513.000=120.000 | | max | 1633.000-1513.000=120.000 |
| | mean | 0.390-0.396=-0.006 | | σ | 0.002-0.007=-0.005 | | min | 0.389-0.390=-0.002 | | max | 0.393-0.407=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.326-1326.056=0.271 | | σ | 0.098-0.101=-0.003 | | min | 1326.191-1325.934=0.257 | | max | 1326.442-1326.206=0.236 |
| | mean | 1633.000-1513.000=120.000 | | σ | 0.000 | | min | 1633.000-1513.000=120.000 | | max | 1633.000-1513.000=120.000 |
| | mean | 2.037-1.968=0.069 | | σ | 0.159-0.135=0.024 | | min | 1.878-1.844=0.034 | | max | 2.264-2.157=0.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.413-1564.116=0.297 | | σ | 6.921-6.922=-0.001 | | min | 1561.088-1560.805=0.284 | | max | 1576.788-1576.492=0.296 |
| | mean | 1633.000-1513.000=120.000 | | σ | 0.000 | | min | 1633.000-1513.000=120.000 | | max | 1633.000-1513.000=120.000 |
| | mean | 2.420-2.320=0.100 | | σ | 0.284-0.253=0.032 | | min | 2.161-2.043=0.118 | | max | 2.887-2.679=0.207 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.289-1894.016=0.273 | | σ | 0.090-0.073=0.016 | | min | 1894.132-1893.886=0.246 | | max | 1894.356-1894.059=0.297 |
| | mean | 1780.000-1758.400=21.600 | | σ | 114.164-152.141=-37.976 | | min | 1633.000-1527.000=106.000 | | max | 1949.000-1950.000=-1.000 |
| | mean | 2.958-2.973=-0.014 | | σ | 0.161-0.127=0.034 | | min | 2.819-2.858=-0.039 | | max | 3.216-3.175=0.041 |
|