iters=5 new-facts=1 prior-facts=1 | | mean | 324.699-324.701=-0.002 | | σ | 0.057-0.055=0.002 | | min | 324.598-324.603=-0.005 | | max | 324.734-324.732=0.002 |
| | mean | 2796.000-2840.000=-44.000 | | σ | 0.000 | | min | 2796.000-2840.000=-44.000 | | max | 2796.000-2840.000=-44.000 |
| | mean | 0.424-0.424=0.000 | | σ | 0.002-0.001=0.001 | | min | 0.422-0.423=-0.001 | | max | 0.426-0.425=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.251-1985.255=-0.004 | | σ | 0.023-0.017=0.007 | | min | 1985.215-1985.229=-0.014 | | max | 1985.267-1985.271=-0.003 |
| | mean | 2796.000-2840.000=-44.000 | | σ | 0.000 | | min | 2796.000-2840.000=-44.000 | | max | 2796.000-2840.000=-44.000 |
| | mean | 2.614-2.623=-0.009 | | σ | 0.055-0.164=-0.109 | | min | 2.544-2.517=0.027 | | max | 2.687-2.913=-0.226 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.864-4808.776=0.088 | | σ | 7.708-7.720=-0.012 | | min | 4805.367-4804.827=0.539 | | max | 4822.652-4822.575=0.076 |
| | mean | 2796.000-2840.000=-44.000 | | σ | 0.000 | | min | 2796.000-2840.000=-44.000 | | max | 2796.000-2840.000=-44.000 |
| | mean | 8.929-8.358=0.571 | | σ | 0.223-0.497=-0.273 | | min | 8.561-7.688=0.874 | | max | 9.100-8.887=0.213 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.466-4996.388=0.078 | | σ | 0.016-0.154=-0.138 | | min | 4996.448-4996.117=0.331 | | max | 4996.486-4996.481=0.005 |
| | mean | 3037.600-3052.600=-15.000 | | σ | 250.899-292.244=-41.345 | | min | 2796.000-2840.000=-44.000 | | max | 3394.000-3513.000=-119.000 |
| | mean | 8.684-8.502=0.182 | | σ | 0.196-0.114=0.082 | | min | 8.505-8.350=0.156 | | max | 8.991-8.654=0.337 |
|