iters=5 new-facts=1 prior-facts=1 | | mean | 190.719-190.721=-0.002 | | σ | 0.017-0.008=0.009 | | min | 190.700-190.713=-0.012 | | max | 190.742-190.733=0.008 |
| | mean | 2606.000-2621.000=-15.000 | | σ | 0.000 | | min | 2606.000-2621.000=-15.000 | | max | 2606.000-2621.000=-15.000 |
| | mean | 0.279-0.280=-0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.278-0.279=-0.000 | | max | 0.280-0.280=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.489-1989.488=0.001 | | σ | 0.011-0.018=-0.006 | | min | 1989.478-1989.467=0.011 | | max | 1989.505-1989.509=-0.004 |
| | mean | 2606.000-2621.000=-15.000 | | σ | 0.000 | | min | 2606.000-2621.000=-15.000 | | max | 2606.000-2621.000=-15.000 |
| | mean | 2.409-2.536=-0.127 | | σ | 0.097-0.300=-0.203 | | min | 2.311-2.359=-0.048 | | max | 2.571-3.071=-0.500 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.071-4880.072=-0.001 | | σ | 0.598-0.538=0.060 | | min | 4879.730-4879.734=-0.004 | | max | 4881.133-4881.015=0.119 |
| | mean | 2606.000-2621.000=-15.000 | | σ | 0.000 | | min | 2606.000-2621.000=-15.000 | | max | 2606.000-2621.000=-15.000 |
| | mean | 8.196-8.174=0.022 | | σ | 0.197-0.062=0.135 | | min | 8.039-8.106=-0.068 | | max | 8.502-8.255=0.247 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.699-4891.626=0.073 | | σ | 0.080-0.215=-0.135 | | min | 4891.619-4891.268=0.351 | | max | 4891.792-4891.795=-0.003 |
| | mean | 3353.800-3224.600=129.200 | | σ | 460.461-400.662=59.799 | | min | 2789.000-2819.000=-30.000 | | max | 4015.000-3620.000=395.000 |
| | mean | 8.212-8.151=0.062 | | σ | 0.198-0.109=0.089 | | min | 7.977-8.033=-0.056 | | max | 8.392-8.265=0.127 |
|