iters=5 new-facts=1 prior-facts=1 | | mean | 278.678-278.676=0.002 | | σ | 0.014-0.014=-0.000 | | min | 278.664-278.662=0.002 | | max | 278.700-278.699=0.001 |
| | mean | 2644.000-2608.000=36.000 | | σ | 0.000 | | min | 2644.000-2608.000=36.000 | | max | 2644.000-2608.000=36.000 |
| | mean | 0.418-0.419=-0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.417-0.417=-0.000 | | max | 0.419-0.420=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.855-2268.844=0.011 | | σ | 0.006-0.016=-0.010 | | min | 2268.850-2268.818=0.032 | | max | 2268.861-2268.856=0.005 |
| | mean | 2644.000-2608.000=36.000 | | σ | 0.000 | | min | 2644.000-2608.000=36.000 | | max | 2644.000-2608.000=36.000 |
| | mean | 2.913-2.928=-0.015 | | σ | 0.074-0.100=-0.026 | | min | 2.852-2.831=0.021 | | max | 3.039-3.096=-0.057 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.341-4952.172=0.169 | | σ | 0.773-1.050=-0.277 | | min | 4951.947-4951.191=0.756 | | max | 4953.721-4953.964=-0.243 |
| | mean | 2644.000-2608.000=36.000 | | σ | 0.000 | | min | 2644.000-2608.000=36.000 | | max | 2644.000-2608.000=36.000 |
| | mean | 7.934-8.289=-0.355 | | σ | 0.201-0.501=-0.300 | | min | 7.702-7.761=-0.059 | | max | 8.148-8.813=-0.665 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.980-5167.054=-0.074 | | σ | 0.156-0.011=0.145 | | min | 5166.702-5167.045=-0.343 | | max | 5167.065-5167.072=-0.008 |
| | mean | 3408.200-3348.600=59.600 | | σ | 460.388-460.383=0.005 | | min | 2819.000-2793.000=26.000 | | max | 4026.000-4009.000=17.000 |
| | mean | 9.263-9.393=-0.130 | | σ | 0.287-0.319=-0.032 | | min | 8.985-8.990=-0.005 | | max | 9.673-9.788=-0.115 |
|