iters=5 new-facts=1 prior-facts=1 | | mean | 270.227-270.217=0.011 | | σ | 0.005-0.006=-0.001 | | min | 270.222-270.207=0.015 | | max | 270.235-270.223=0.012 |
| | mean | 2849.000-2586.000=263.000 | | σ | 0.000 | | min | 2849.000-2586.000=263.000 | | max | 2849.000-2586.000=263.000 |
| | mean | 0.383-0.372=0.011 | | σ | 0.004-0.001=0.003 | | min | 0.380-0.371=0.008 | | max | 0.389-0.373=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.676-1930.688=-0.013 | | σ | 0.018-0.009=0.009 | | min | 1930.649-1930.680=-0.031 | | max | 1930.694-1930.702=-0.008 |
| | mean | 2849.000-2586.000=263.000 | | σ | 0.000 | | min | 2849.000-2586.000=263.000 | | max | 2849.000-2586.000=263.000 |
| | mean | 2.555-2.532=0.023 | | σ | 0.127-0.129=-0.002 | | min | 2.428-2.441=-0.013 | | max | 2.744-2.754=-0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.186-4751.152=0.034 | | σ | 0.880-0.866=0.014 | | min | 4750.707-4750.600=0.107 | | max | 4752.744-4752.689=0.055 |
| | mean | 2849.000-2586.000=263.000 | | σ | 0.000 | | min | 2849.000-2586.000=263.000 | | max | 2849.000-2586.000=263.000 |
| | mean | 8.460-8.714=-0.254 | | σ | 0.465-0.679=-0.214 | | min | 7.843-7.703=0.140 | | max | 9.088-9.394=-0.305 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.618-4941.621=-0.003 | | σ | 0.078-0.086=-0.009 | | min | 4941.547-4941.549=-0.002 | | max | 4941.704-4941.716=-0.012 |
| | mean | 3081.400-3024.800=56.600 | | σ | 308.260-311.880=-3.620 | | min | 2849.000-2605.000=244.000 | | max | 3560.000-3419.000=141.000 |
| | mean | 8.442-8.672=-0.229 | | σ | 0.096-0.174=-0.078 | | min | 8.336-8.499=-0.163 | | max | 8.584-8.890=-0.306 |
|