iters=5 new-facts=1 prior-facts=1 | | mean | 278.829-278.826=0.003 | | σ | 0.005-0.004=0.001 | | min | 278.824-278.821=0.003 | | max | 278.838-278.832=0.006 |
| | mean | 2683.000-2642.000=41.000 | | σ | 0.000 | | min | 2683.000-2642.000=41.000 | | max | 2683.000-2642.000=41.000 |
| | mean | 0.411-0.409=0.002 | | σ | 0.005-0.005=-0.001 | | min | 0.408-0.405=0.003 | | max | 0.419-0.417=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.884-2268.892=-0.008 | | σ | 0.006-0.013=-0.008 | | min | 2268.874-2268.877=-0.003 | | max | 2268.891-2268.914=-0.023 |
| | mean | 2683.000-2642.000=41.000 | | σ | 0.000 | | min | 2683.000-2642.000=41.000 | | max | 2683.000-2642.000=41.000 |
| | mean | 2.925-2.995=-0.069 | | σ | 0.090-0.111=-0.021 | | min | 2.856-2.871=-0.015 | | max | 3.083-3.114=-0.031 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.246-4954.264=-0.017 | | σ | 0.848-0.804=0.045 | | min | 4953.729-4953.813=-0.085 | | max | 4955.753-4955.697=0.057 |
| | mean | 2683.000-2642.000=41.000 | | σ | 0.000 | | min | 2683.000-2642.000=41.000 | | max | 2683.000-2642.000=41.000 |
| | mean | 8.012-7.922=0.090 | | σ | 0.333-0.137=0.196 | | min | 7.742-7.828=-0.086 | | max | 8.493-8.161=0.332 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.725-5168.795=-0.070 | | σ | 0.203-0.076=0.127 | | min | 5168.386-5168.733=-0.348 | | max | 5168.885-5168.881=0.004 |
| | mean | 3430.200-3394.600=35.600 | | σ | 463.168-491.430=-28.262 | | min | 2803.000-2821.000=-18.000 | | max | 4016.000-4126.000=-110.000 |
| | mean | 9.463-9.273=0.190 | | σ | 0.166-0.280=-0.115 | | min | 9.256-8.908=0.348 | | max | 9.615-9.668=-0.053 |
|