iters=5 new-facts=1 prior-facts=1 | | mean | 278.284-278.284=-0.000 | | σ | 0.006-0.006=-0.001 | | min | 278.276-278.274=0.002 | | max | 278.290-278.290=0.000 |
| | mean | 2799.000-2745.000=54.000 | | σ | 0.000 | | min | 2799.000-2745.000=54.000 | | max | 2799.000-2745.000=54.000 |
| | mean | 0.409-0.412=-0.003 | | σ | 0.008-0.008=-0.001 | | min | 0.400-0.403=-0.002 | | max | 0.418-0.423=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.534-2175.540=-0.006 | | σ | 0.035-0.024=0.011 | | min | 2175.485-2175.517=-0.032 | | max | 2175.574-2175.578=-0.004 |
| | mean | 2799.000-2745.000=54.000 | | σ | 0.000 | | min | 2799.000-2745.000=54.000 | | max | 2799.000-2745.000=54.000 |
| | mean | 2.870-2.923=-0.052 | | σ | 0.108-0.177=-0.069 | | min | 2.764-2.741=0.023 | | max | 3.027-3.165=-0.138 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.562-5134.569=-0.007 | | σ | 0.992-0.977=0.015 | | min | 5134.049-5134.065=-0.015 | | max | 5136.331-5136.315=0.016 |
| | mean | 2799.000-2745.000=54.000 | | σ | 0.000 | | min | 2799.000-2745.000=54.000 | | max | 2799.000-2745.000=54.000 |
| | mean | 9.101-8.933=0.169 | | σ | 0.205-0.324=-0.119 | | min | 8.901-8.490=0.411 | | max | 9.441-9.296=0.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.366-5238.376=-0.010 | | σ | 0.083-0.096=-0.012 | | min | 5238.293-5238.293=-0.001 | | max | 5238.463-5238.486=-0.023 |
| | mean | 3273.200-3256.400=16.800 | | σ | 429.332-444.151=-14.819 | | min | 2799.000-2745.000=54.000 | | max | 3833.000-3849.000=-16.000 |
| | mean | 9.096-8.984=0.112 | | σ | 0.476-0.298=0.178 | | min | 8.772-8.519=0.253 | | max | 9.929-9.229=0.700 |
|