iters=5 new-facts=1 prior-facts=1 | | mean | 285.677-285.677=-0.000 | | σ | 0.007-0.010=-0.004 | | min | 285.666-285.664=0.002 | | max | 285.683-285.689=-0.007 |
| | mean | 1556.000-1645.000=-89.000 | | σ | 0.000 | | min | 1556.000-1645.000=-89.000 | | max | 1556.000-1645.000=-89.000 |
| | mean | 0.379-0.382=-0.003 | | σ | 0.008-0.010=-0.003 | | min | 0.374-0.374=-0.000 | | max | 0.392-0.397=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.634-1285.645=-0.011 | | σ | 0.125-0.135=-0.010 | | min | 1285.574-1285.575=-0.001 | | max | 1285.856-1285.886=-0.029 |
| | mean | 1556.000-1645.000=-89.000 | | σ | 0.000 | | min | 1556.000-1645.000=-89.000 | | max | 1556.000-1645.000=-89.000 |
| | mean | 1.833-1.986=-0.152 | | σ | 0.109-0.074=0.036 | | min | 1.744-1.871=-0.127 | | max | 2.018-2.055=-0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.987-1807.959=0.028 | | σ | 7.027-6.992=0.035 | | min | 1804.587-1804.572=0.015 | | max | 1820.541-1820.446=0.094 |
| | mean | 1556.000-1645.000=-89.000 | | σ | 0.000 | | min | 1556.000-1645.000=-89.000 | | max | 1556.000-1645.000=-89.000 |
| | mean | 4.220-4.072=0.149 | | σ | 0.292-0.251=0.041 | | min | 3.872-3.829=0.043 | | max | 4.545-4.426=0.120 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.457-2070.472=-0.015 | | σ | 0.006-0.040=-0.034 | | min | 2070.450-2070.442=0.008 | | max | 2070.465-2070.541=-0.076 |
| | mean | 1856.200-1858.800=-2.600 | | σ | 210.366-193.837=16.529 | | min | 1587.000-1645.000=-58.000 | | max | 2081.000-2086.000=-5.000 |
| | mean | 4.464-4.564=-0.100 | | σ | 0.035-0.237=-0.203 | | min | 4.426-4.414=0.012 | | max | 4.515-4.985=-0.470 |
|