iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.766=-0.005 | | σ | 0.043-0.053=-0.010 | | min | 324.684-324.671=0.013 | | max | 324.790-324.794=-0.004 |
| | mean | 2840.000-2822.000=18.000 | | σ | 0.000 | | min | 2840.000-2822.000=18.000 | | max | 2840.000-2822.000=18.000 |
| | mean | 0.417-0.431=-0.014 | | σ | 0.002-0.010=-0.008 | | min | 0.416-0.423=-0.007 | | max | 0.420-0.442=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313-1985.317=-0.004 | | σ | 0.015-0.022=-0.006 | | min | 1985.292-1985.297=-0.005 | | max | 1985.334-1985.343=-0.009 |
| | mean | 2840.000-2822.000=18.000 | | σ | 0.000 | | min | 2840.000-2822.000=18.000 | | max | 2840.000-2822.000=18.000 |
| | mean | 2.636-2.636=0.000 | | σ | 0.129-0.134=-0.004 | | min | 2.515-2.518=-0.003 | | max | 2.817-2.812=0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.111-4809.120=-0.009 | | σ | 7.773-7.705=0.068 | | min | 4805.604-4805.573=0.030 | | max | 4823.016-4822.903=0.113 |
| | mean | 2840.000-2822.000=18.000 | | σ | 0.000 | | min | 2840.000-2822.000=18.000 | | max | 2840.000-2822.000=18.000 |
| | mean | 9.162-8.833=0.329 | | σ | 0.341-0.473=-0.133 | | min | 8.925-7.993=0.932 | | max | 9.755-9.127=0.629 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.552-4996.626=-0.074 | | σ | 0.151-0.024=0.127 | | min | 4996.285-4996.593=-0.309 | | max | 4996.646-4996.653=-0.007 |
| | mean | 3047.600-3054.400=-6.800 | | σ | 270.853-303.324=-32.471 | | min | 2840.000-2822.000=18.000 | | max | 3465.000-3520.000=-55.000 |
| | mean | 8.503-8.512=-0.009 | | σ | 0.114-0.122=-0.008 | | min | 8.444-8.410=0.033 | | max | 8.705-8.723=-0.017 |
|