iters=5 new-facts=1 prior-facts=1 | | mean | 279.556-279.558=-0.002 | | σ | 0.004-0.009=-0.005 | | min | 279.550-279.546=0.004 | | max | 279.560-279.568=-0.008 |
| | mean | 2771.000-2836.000=-65.000 | | σ | 0.000 | | min | 2771.000-2836.000=-65.000 | | max | 2771.000-2836.000=-65.000 |
| | mean | 0.409-0.410=-0.001 | | σ | 0.004-0.006=-0.002 | | min | 0.406-0.405=0.001 | | max | 0.415-0.419=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.494-2178.496=-0.002 | | σ | 0.015-0.020=-0.005 | | min | 2178.474-2178.468=0.006 | | max | 2178.509-2178.517=-0.008 |
| | mean | 2771.000-2836.000=-65.000 | | σ | 0.000 | | min | 2771.000-2836.000=-65.000 | | max | 2771.000-2836.000=-65.000 |
| | mean | 3.249-3.353=-0.104 | | σ | 0.282-0.198=0.084 | | min | 2.783-3.039=-0.255 | | max | 3.525-3.538=-0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.443-5056.426=0.016 | | σ | 0.897-0.977=-0.081 | | min | 5055.975-5055.808=0.167 | | max | 5058.045-5058.162=-0.116 |
| | mean | 2771.000-2836.000=-65.000 | | σ | 0.000 | | min | 2771.000-2836.000=-65.000 | | max | 2771.000-2836.000=-65.000 |
| | mean | 8.938-8.939=-0.001 | | σ | 0.459-0.645=-0.186 | | min | 8.378-8.192=0.186 | | max | 9.490-9.596=-0.106 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.655-5193.804=-0.149 | | σ | 0.284-0.082=0.202 | | min | 5193.162-5193.738=-0.575 | | max | 5193.898-5193.902=-0.005 |
| | mean | 3273.800-3302.000=-28.200 | | σ | 422.829-357.387=65.442 | | min | 2771.000-2836.000=-65.000 | | max | 3850.000-3650.000=200.000 |
| | mean | 8.823-9.068=-0.245 | | σ | 0.274-0.367=-0.093 | | min | 8.620-8.781=-0.161 | | max | 9.280-9.690=-0.409 |
|