iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-272.757=-0.000 | | σ | 0.006-0.007=-0.001 | | min | 272.750-272.748=0.002 | | max | 272.764-272.765=-0.001 |
| | mean | 2779.000-2773.000=6.000 | | σ | 0.000 | | min | 2779.000-2773.000=6.000 | | max | 2779.000-2773.000=6.000 |
| | mean | 0.383-0.381=0.002 | | σ | 0.008-0.008=-0.000 | | min | 0.378-0.377=0.001 | | max | 0.397-0.395=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.168-1933.159=0.009 | | σ | 0.015-0.015=-0.000 | | min | 1933.145-1933.146=-0.001 | | max | 1933.181-1933.176=0.005 |
| | mean | 2779.000-2773.000=6.000 | | σ | 0.000 | | min | 2779.000-2773.000=6.000 | | max | 2779.000-2773.000=6.000 |
| | mean | 3.057-3.057=0.000 | | σ | 0.054-0.051=0.003 | | min | 3.019-3.008=0.010 | | max | 3.152-3.123=0.029 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.923-4756.922=0.001 | | σ | 7.561-7.579=-0.017 | | min | 4753.485-4753.391=0.094 | | max | 4770.449-4770.477=-0.029 |
| | mean | 2779.000-2773.000=6.000 | | σ | 0.000 | | min | 2779.000-2773.000=6.000 | | max | 2779.000-2773.000=6.000 |
| | mean | 8.436-8.742=-0.306 | | σ | 0.400-0.432=-0.033 | | min | 7.837-8.340=-0.503 | | max | 8.909-9.459=-0.550 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.325-4944.322=0.002 | | σ | 0.146-0.164=-0.018 | | min | 4944.065-4944.031=0.034 | | max | 4944.406-4944.409=-0.003 |
| | mean | 3038.200-2996.800=41.400 | | σ | 315.303-282.298=33.004 | | min | 2779.000-2773.000=6.000 | | max | 3512.000-3420.000=92.000 |
| | mean | 8.496-8.442=0.054 | | σ | 0.114-0.096=0.018 | | min | 8.414-8.302=0.112 | | max | 8.690-8.549=0.141 |
|