iters=5 new-facts=1 prior-facts=1 | | mean | 278.681-278.678=0.004 | | σ | 0.012-0.014=-0.002 | | min | 278.670-278.664=0.006 | | max | 278.697-278.700=-0.003 |
| | mean | 2632.000-2644.000=-12.000 | | σ | 0.000 | | min | 2632.000-2644.000=-12.000 | | max | 2632.000-2644.000=-12.000 |
| | mean | 0.418-0.418=-0.000 | | σ | 0.001-0.001=0.001 | | min | 0.416-0.417=-0.001 | | max | 0.420-0.419=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847-2268.855=-0.008 | | σ | 0.006-0.006=0.001 | | min | 2268.841-2268.850=-0.009 | | max | 2268.857-2268.861=-0.004 |
| | mean | 2632.000-2644.000=-12.000 | | σ | 0.000 | | min | 2632.000-2644.000=-12.000 | | max | 2632.000-2644.000=-12.000 |
| | mean | 2.908-2.913=-0.005 | | σ | 0.062-0.074=-0.012 | | min | 2.829-2.852=-0.022 | | max | 2.998-3.039=-0.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.344-4952.341=0.003 | | σ | 0.765-0.773=-0.007 | | min | 4951.926-4951.947=-0.021 | | max | 4953.709-4953.721=-0.013 |
| | mean | 2632.000-2644.000=-12.000 | | σ | 0.000 | | min | 2632.000-2644.000=-12.000 | | max | 2632.000-2644.000=-12.000 |
| | mean | 7.788-7.934=-0.146 | | σ | 0.140-0.201=-0.061 | | min | 7.648-7.702=-0.054 | | max | 8.015-8.148=-0.133 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4960.762-5166.980=-206.218 | | σ | 461.101-0.156=460.945 | | min | 4135.920-5166.702=-1030.782 | | max | 5167.074-5167.065=0.009 |
| | mean | 3358.000-3408.200=-50.200 | | σ | 447.349-460.388=-13.039 | | min | 2834.000-2819.000=15.000 | | max | 4006.000-4026.000=-20.000 |
| | mean | 9.089-9.263=-0.174 | | σ | 0.749-0.287=0.461 | | min | 7.772-8.985=-1.213 | | max | 9.599-9.673=-0.074 |
|