iters=5 new-facts=1 prior-facts=1 | | mean | 299.436-303.790=-4.354 | | σ | 0.063-0.054=0.009 | | min | 299.337-303.707=-4.370 | | max | 299.494-303.845=-4.351 |
| | mean | 1427.000-1518.000=-91.000 | | σ | 0.000 | | min | 1427.000-1518.000=-91.000 | | max | 1427.000-1518.000=-91.000 |
| | mean | 0.390-0.393=-0.003 | | σ | 0.007-0.004=0.003 | | min | 0.386-0.389=-0.003 | | max | 0.402-0.399=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.873-1326.332=-16.459 | | σ | 0.083-0.102=-0.019 | | min | 1309.766-1326.201=-16.435 | | max | 1309.983-1326.452=-16.469 |
| | mean | 1427.000-1518.000=-91.000 | | σ | 0.000 | | min | 1427.000-1518.000=-91.000 | | max | 1427.000-1518.000=-91.000 |
| | mean | 1.864-1.937=-0.073 | | σ | 0.129-0.119=0.010 | | min | 1.660-1.801=-0.141 | | max | 2.015-2.059=-0.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.980-1564.437=-10.457 | | σ | 6.874-6.855=0.019 | | min | 1550.652-1561.203=-10.551 | | max | 1566.271-1576.697=-10.425 |
| | mean | 1427.000-1518.000=-91.000 | | σ | 0.000 | | min | 1427.000-1518.000=-91.000 | | max | 1427.000-1518.000=-91.000 |
| | mean | 2.304-2.376=-0.072 | | σ | 0.233-0.241=-0.008 | | min | 2.041-2.056=-0.015 | | max | 2.643-2.667=-0.023 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.762-1894.278=-22.516 | | σ | 0.045-0.065=-0.020 | | min | 1871.703-1894.162=-22.459 | | max | 1871.810-1894.319=-22.508 |
| | mean | 1733.400-1761.400=-28.000 | | σ | 173.458-211.806=-38.348 | | min | 1524.000-1518.000=6.000 | | max | 1976.000-2035.000=-59.000 |
| | mean | 2.875-3.062=-0.187 | | σ | 0.041-0.102=-0.061 | | min | 2.827-2.902=-0.076 | | max | 2.935-3.163=-0.228 |
|