iters=5 new-facts=1 prior-facts=1 | | mean | 278.672-278.670=0.002 | | σ | 0.015-0.012=0.003 | | min | 278.657-278.661=-0.004 | | max | 278.697-278.690=0.007 |
| | mean | 2604.000-2858.000=-254.000 | | σ | 0.000 | | min | 2604.000-2858.000=-254.000 | | max | 2604.000-2858.000=-254.000 |
| | mean | 0.417-0.417=0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.417-0.416=0.000 | | max | 0.419-0.418=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.835-2268.847=-0.012 | | σ | 0.013-0.006=0.007 | | min | 2268.816-2268.841=-0.026 | | max | 2268.850-2268.856=-0.006 |
| | mean | 2604.000-2858.000=-254.000 | | σ | 0.000 | | min | 2604.000-2858.000=-254.000 | | max | 2604.000-2858.000=-254.000 |
| | mean | 2.967-3.005=-0.039 | | σ | 0.105-0.119=-0.015 | | min | 2.893-2.911=-0.018 | | max | 3.150-3.166=-0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.325-4952.121=0.204 | | σ | 0.924-0.234=0.690 | | min | 4951.723-4951.960=-0.237 | | max | 4953.965-4952.531=1.434 |
| | mean | 2604.000-2858.000=-254.000 | | σ | 0.000 | | min | 2604.000-2858.000=-254.000 | | max | 2604.000-2858.000=-254.000 |
| | mean | 8.089-7.737=0.351 | | σ | 0.514-0.151=0.363 | | min | 7.757-7.608=0.149 | | max | 8.989-7.924=1.065 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.985-5167.048=-0.063 | | σ | 0.160-0.012=0.148 | | min | 5166.699-5167.030=-0.331 | | max | 5167.071-5167.063=0.008 |
| | mean | 3368.200-3391.600=-23.400 | | σ | 493.587-412.736=80.851 | | min | 2772.000-2858.000=-86.000 | | max | 4084.000-3941.000=143.000 |
| | mean | 9.330-9.347=-0.017 | | σ | 0.313-0.249=0.064 | | min | 8.864-9.057=-0.193 | | max | 9.688-9.671=0.017 |
|