iters=5 new-facts=1 prior-facts=1 | | mean | 278.821-278.826=-0.005 | | σ | 0.009-0.004=0.005 | | min | 278.808-278.821=-0.013 | | max | 278.828-278.832=-0.003 |
| | mean | 2726.000-2642.000=84.000 | | σ | 0.000 | | min | 2726.000-2642.000=84.000 | | max | 2726.000-2642.000=84.000 |
| | mean | 0.407-0.409=-0.002 | | σ | 0.004-0.005=-0.001 | | min | 0.405-0.405=-0.000 | | max | 0.414-0.417=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.882-2268.892=-0.010 | | σ | 0.011-0.013=-0.003 | | min | 2268.868-2268.877=-0.010 | | max | 2268.892-2268.914=-0.022 |
| | mean | 2726.000-2642.000=84.000 | | σ | 0.000 | | min | 2726.000-2642.000=84.000 | | max | 2726.000-2642.000=84.000 |
| | mean | 2.899-2.995=-0.095 | | σ | 0.123-0.111=0.013 | | min | 2.775-2.871=-0.096 | | max | 3.106-3.114=-0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.230-4954.264=-0.033 | | σ | 0.796-0.804=-0.007 | | min | 4953.730-4953.813=-0.084 | | max | 4955.636-4955.697=-0.061 |
| | mean | 2726.000-2642.000=84.000 | | σ | 0.000 | | min | 2726.000-2642.000=84.000 | | max | 2726.000-2642.000=84.000 |
| | mean | 8.011-7.922=0.089 | | σ | 0.233-0.137=0.096 | | min | 7.769-7.828=-0.059 | | max | 8.285-8.161=0.124 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.659-5168.795=-0.136 | | σ | 0.275-0.076=0.199 | | min | 5168.179-5168.733=-0.554 | | max | 5168.885-5168.881=0.003 |
| | mean | 3391.000-3394.600=-3.600 | | σ | 492.335-491.430=0.905 | | min | 2801.000-2821.000=-20.000 | | max | 4067.000-4126.000=-59.000 |
| | mean | 9.407-9.273=0.134 | | σ | 0.238-0.280=-0.042 | | min | 9.115-8.908=0.207 | | max | 9.717-9.668=0.050 |
|